3 ms·
I think you are perhaps missing the point. Investing into these techniques [2] enables you to do unhinged things. Such as building a compiler whilst you are AFK
by ghuntley 1y ago
I think you are perhaps missing the point. Investing into these techniques [2] enables you to do unhinged things. Such as building a compiler whilst you are AFK [1].
[1] https://x.com/i/broadcasts/1OyJALVOnEzGb https://x.com/i/broadcasts/1OyJALVOnEzGb
[2] https://ghuntley.com/ralph https://ghuntley.com/ralph
- moomoo11 1y agoSure if I want to just toy around for fun. Those are cool, but a production system is infinitely more complex.
- ghuntley 1y agoWhat do you define as a production system? Are you aware that one can generate TLA+ specifications, then code generate from these specifications and assert that the implementation matches the TLA+ spec?