Viewing profile — old8man

Good question. The main difference is where the spec lives and who enforces it. TLA+ is a specification language separate from your implementation. TLC model-checks the spec. Wheth…

thanks.. I would phrase the pitch differently though. Verum is a systems language, not a method for AI systems. The thing that is actually load-bearing is that verification is a kn…

[dead]

Ruliology provides a powerful descriptive framework - a taxonomy of computational behavior. However, it operates at the level of external dynamics without grounding in a primitive …

Anthropic's Claude Code has revolutionized the workflow forever.

While the reduction of a compiler to a deterministic function is theoretically sound, modern engineering practice necessitates addressing "Compiler-as-a-Service" architectures (LSP…

Very useful article, thank you! Many people suggest CUID2, but it is less efficient and is better used for frontend/url encoding. For backend/db, only UUID v7 should be used.