News for hackers. Stuff that matters.

A comment on AI is breaking our proxies for expertise. Parent comment

Re:AI is breaking our proxies for expertise by vatsachak on Tuesday September 15, 2026 @02:26PM (#49716688)
An interesting example was the neomacs post on the frontpage yesterday.

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

[ Parent | on HN ]
Re:AI is breaking our proxies for expertise by evalexec on Wednesday September 16, 2026 @09:33AM (#49726820)
Thank 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/

[ Parent | on HN ]
Re:AI is breaking our proxies for expertise by evalexec on Wednesday September 16, 2026 @09:36AM (#49726846)
neomacs 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。

[ Parent | on HN ]