Post #1546582
2026-04-14 22:53 UTC
@regehr loved the article; while ill never write formally verified code, love stretching my mind around it and also seeing the validation/verification parallel to the LLM “did you understand what you wanted well and completely enough to describe it to the robot?”
Replies (1)
-
@purp@mastodon.social 2026-04-14 22:54
@regehr the Claude quote “This is genuinely one of the most memory-safe codebases I've analyzed.” made me :laugh-cry: #rapidlyShrinkingContextWindow