News for hackers. Stuff that matters.

A comment on A technical vision for the Haskell ecosystem. Parent comment

Re:A technical vision for the Haskell ecosystem by _doctor_love on Friday November 13, 2026 @03:20PM (#50489085)
The most interesting idea in this space I have heard is to have LLMs generate formally verified assembly. And then from that assembly generate higher levels projections in languages like Haskell to help the human understanding.
[ Parent | on HN ]
Re:A technical vision for the Haskell ecosystem by klntsky on Friday November 13, 2026 @03:37PM (#50489309)
It's not going to work. Formally verified assembly needs a low level spec which is comparable in length to the assembly code, so not really comprehensible.

"higher level projections" - wtf is this even about?

[ Parent | on HN ]