July 2025 Archive
30511.
Annals of Formalized Mathematics Volume 1
(afm.episciences.org)
30512.
Lenin's Testament
(en.wikipedia.org)
30513.
Show HN: A free tool to auto-generate product mockups without Photoshop
(custommockupgenerator.com)
30514.
30516.
Sending Web Push Notifications from Rails
(joyofrails.com)
30517.
Nintendo Famicom and the secret of Nintendo's success
(dfarq.homeip.net)
30518.
Overappreciated
(seths.blog)
30519.
30521.
Show HN: Context Engineering Job Board
(context-engineering-rho.vercel.app)
30523.
A $50M foundation model to predict earthquakes
(worksinprogress.news)
30524.
Can AI run a physical shop?
(venturebeat.com)
30525.
Why pay for an analytics tool when Google Analytics is free?
(plausible.io)
30526.
Procedural Content Generation in Games
(pcgbook.com)
30527.
An Autistic "Linguatype"? Neologisms, New Words, and New Insights
(onlinelibrary.wiley.com)
30528.
Practically-a-Book Review: Byrnes on Trance
(astralcodexten.com)
30529.
30530.
30531.
An Armchair in the Shape of an Avocado
(amacad.org)
30532.
30534.
30535.
Start from 2D: How I Design 3D Levels Using the Wrap-around Method
(saarraz.substack.com)
30536.
How AI on Microcontrollers Actually Works: Registering Operators
(danielmangum.com)
30537.
Show HN: OS Yamato – A Gentle OS, Now with AI and Chinese
(hanaco875.com)
30538.
Cosmological Principle
(en.wikipedia.org)
30539.
30540.
Emulator Bugs: Zenki – Tenchi Meidou
(jsgroth.dev)