Monthly Highlights
23341.
23342.
Formalizing Julia in Lean
(discourse.julialang.org)
23344.
23345.
Build a better AI product with explicit classification
(steadily.ca)
23346.
The diameter and distribution of Sidon sets
(terrytao.wordpress.com)
23347.
23348.
Remembering the Thread
(madeleinedore.substack.com)
23349.
23350.
23351.
23352.
Show HN: Say Cheese Game Hub – Roblox endings, board-game solver
(saycheesegame.org)
23353.
23354.
23355.
Scaling Agentic Coding as If People Still Mattered
(adamtornhill.substack.com)
23356.
What if any process could handle SIGKILL?
(vulpinecitrus.info)
23357.
YipitData ($2.5B financial data start up): Multi-day system-wide outage
(portal.yipitdata.com)
23358.
23359.
Show HN: Cooja-NG – IoT network emulator running real firmware in the browser
(mikroverk.github.io)
23360.
Course Feedback as a Measure of Teaching Effectiveness
(evals.stanford.edu)
23361.
23362.
Show HN: Mwmbl Index Dumps
(mwmbl.org)
23363.
Plan Advice in PostgreSQL 19
(tapoueh.org)
23364.
Polybius – The Video Game That Doesn't Exist
(youtube.com)
23365.
Agentic Security Engineering
(synthesia.io)
23366.
A historical timeline of Show HN
(worldintimelines.com)
23367.
MathHeist – Criss-cross math crosswords and number matching
(apps.apple.com)
23368.
23369.
AuditCent – Deterministic PDF invoice math auditor and reconciler
(auditcent-io.netlify.app)