Weekly Best
8432.
Pumbkin – Roll your own custom voxel jack-O-lantern
(pumbkin.xyz)
8433.
The Silicon Compiler Comes Back as an AI Agent Factory
(brianroemmele.substack.com)
8437.
8439.
Mathematical proof in the age of AI
(rutar.org)
8441.
8442.
Domain Aware Software Factory
(sohit.substack.com)
8443.
8444.
8447.
Flashcards in ChatGPT
(help.openai.com)
8448.
List of Top Ideas and Articles
(manket16.github.io)
8449.
Ported2Browser
(ported2browser.com)
8450.
2026 AMS Committee on Education Workshop Report
(terrytao.wordpress.com)
8451.
I'm Not a Robot: The Internet's Human Test
(foundinthemachine.com)
8452.
Show HN: An Algol 60 compiler with a LuaJIT runtime
(github.com)
8453.
Perceptors AI – turning clinical expertise into reviewed courses
(perceptors.ai)
8454.
Multiuser, multinode "chat" program for RSX11 and DECnet
(rsx11.blogspot.com)
8455.
8456.
Orthogonal Goals Led to Unexpected Progress
(blog.nseldeib.com)
8457.
Show HN: Diaktoros
(github.com)
8458.
Pressy is back from the dead (on the Mac, at least)
(github.com)
8460.