News for hackers. Stuff that matters.
Re:OCaml Programming: Correct and Efficient and Beautiful by pmarreck on Sunday July 27, 2025 @01:04AM (#44699008)
I'll have to have a look at Lean 4 then.

The simulation hypothesis has a flaw IMHO- If it is modelable and therefore computable, it may be subject to the halting problem

There are no comments on this comment yet.