News for hackers. Stuff that matters.

A comment on Salt v1.0.0 – a systems language with Z3 theorem proving in the compiler. Parent comment

Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by luckystarr on Tuesday July 07, 2026 @05:25AM (#48815430)
Can be that I remembered it incorrectly, as it was in 2008, but here it is:

https://se-radio.net/2008/03/episode-88-the-singularity-rese...

[ Parent | on HN ]
Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by psd1 on Wednesday July 08, 2026 @06:18AM (#48830049)
Thanks, that was fascinating! I also see that Galen Hunt contributed to Windows Phone, which I adored. (Maybe I'm quixotic, maybe I'm a poor picker, but i love a thing that's beautiful and doomed.)
[ Parent | on HN ]