Salt v1.0.0 – a systems language with Z3 theorem proving in the compiler

Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by psd1 on Friday July 03, 2026 @05:32AM (#48772931)

Information is sparse about Singularity, which i understand is the same as Midori. Can you find that interview again?

I know about OpenGenera; what left-field OSes might i have missed?

[ Parent | on HN ]

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 ]