Untitled topic

Post by abmfy » Fri, Nov 21, 2025, 1:07 AM UTC

tomhow wrote: post #55

[stub]

Post by RossBencina » Fri, Nov 21, 2025, 5:19 AM UTC

accheng wrote: post #42

jryio wrote: post #38

Chris Latner of Apple's Swift and Tesla fame is running a company entirely predicated on this, but at the deterministic language design level rather than the inference level. https://www.modular.com/mojo If a beam search, initiative plan and execute phase is more effective than having better tooling in a deterministic programming language then this will clearly take the lead.

Thanks for the link! I am not familiar with the company but reminds me of the whole formal methods debate in distributed systems. Sure, writing TLA+ specs is the 'correct' deterministic way to build a Raft implementation, but in reality everyone just writes messy Go/Java and patches bugs as they pop up because its faster.