4 ms·
An interesting example was the neomacs post on the frontpage yesterday. https://neomacs.org https://neomacs.org Some buttons on the front page don't even work
by vatsachak 19d ago
An interesting example was the neomacs post on the frontpage yesterday.
https://neomacs.org https://neomacs.org
Some buttons on the front page don't even work.
And then you have Joachim Breitner using Claude Code to produce Soundness proofs in Lean4, mostly vibe coded.
It really is the QB in charge methinks
- evalexec 18d agoneomacs is still in it's very early of development。 I believe that, after continuous multiple iterations of development/test， neomacs will undoubtedly become excellent software。
- evalexec 18d agoThank you for the feedback, I'm busy on the development of neomacs, so I didn't well polish the neomacs's landing page. I have updated the neomacs's landing page, make the "work in progress" indicator more prominent. Also, I'm working on using neomacs's wasm build as neomacs's landing page: https://eval-exec.github.io/neomacs/ https://eval-exec.github.io/neomacs/