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 luckystarr on Thursday July 02, 2026 @01:21PM (#48764579)

I listened to an interview with one of the researchers. They had a component to verify "this binary will never allocate mem outside it's allowed area" and by statically verifying that they could enable high performance IPC. Also, that was the source for the decision to allow it to run on Ring 0. That's what stuck in my mind.

[ Parent | on HN ]

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 ]