Monthly Highlights
28261.
Caltech mathematicians call for suspension of AI Mathathon
(proofsandprompts.com)
28262.
PrimalLift
(facebook.com)
28263.
28264.
28265.
Pushing Collision Attacks on SHA-2 to 39 Steps
(eprint.iacr.org)
28266.
DeepSeek v4.1-Flash on Openrouter
(openrouter.ai)
28267.
28268.
Sellular – Boost SaaS Visibility
(Sellular.online)
28269.
Almost: A one-button browser game where a dog chases its tail
(public.ilands.ai)
28270.
Towards Self-Driving Codebases
(cursor.com)
28271.
28272.
Outdoor Signage
(ambert.ae)
28273.
Scientificfigure
(scientificfigure.com)
28274.
28276.
LeanHTTP: HTTP Client for Lean 4
(github.com)
28277.
I Go to the Cloud [video]
(youtube.com)
28278.
Sandbox-first AI coding harness
(chock.ws)
28279.
Plaindromes
(futilitycloset.com)
28280.
28281.
When the Compiler Is a PCB Factory
(kevin.md)
28282.
28283.
TreasuryDirect is introducing a new login experience using ID.me
(treasurydirect.gov)
28284.
Little Green Dots
(devcodehack.com)
28285.
Why Google is helping homeowners buy heat pumps
(fastcompany.com)
28286.
28287.
28288.
28289.
Optimizing a Spin-Lock
(david.alvarezrosa.com)
28290.