logoalt Hacker News

nasretdinovyesterday at 6:41 PM2 repliesview on HN

The code needs to be not in the state of "no obvious bugs", but "obviously no bugs". Especially the programming language runtime. Otherwise there is no hope you can sustain any development whatsoever


Replies

pizlonatoryesterday at 6:51 PM

No language runtime is ever in a state of "obviously no bugs".

Good luck demanding that of anything of JSC's or LLVM's complexity

show 3 replies
baqyesterday at 8:12 PM

Won’t happen unless the thing is implemented in lean4.

show 1 reply