News for hackers. Stuff that matters.

A comment on We need visual programming. No, not like that. Parent comment

Re:We need visual programming. No, not like that by tossandthrow on Monday July 15, 2024 @06:10AM (#40966540)
Just encode your business logic in types first! Coq, Idris, or F* will certainly get the job done for you!

/s

[ Parent | on HN ]
Re:We need visual programming. No, not like that by anonzzzies on Monday July 15, 2024 @06:12AM (#40966546)
Yes, you do if you want to make money on decades timescales instead of some grifter vc 2 year thingy.
[ Parent | on HN ]
Re:We need visual programming. No, not like that by mananaysiempre on Monday July 15, 2024 @07:08AM (#40966786)
Unfortunately you end up selling your stuff to people building missiles and bombs that way—witness CompCert and Frama-C.
[ Parent | on HN ]
Re:We need visual programming. No, not like that by anonzzzies on Tuesday July 16, 2024 @02:34AM (#40974079)
Not us, but yes, you have a point.
[ Parent | on HN ]