Monthly Highlights
20821.
The Foldable Tractatus – Wittgenstein web app
(foldabletractatus.aethermug.com)
20822.
20823.
Securing the agentic era: formal verification for CEL Common Expression Language
(opensource.googleblog.com)
20824.
Unix V4 Workshop at Low Resource Computing
(github.com)
20825.
1931 China Floods
(en.wikipedia.org)
20826.
20827.
UmmahRank – sponsor a listing, your bid sets your rank
(ummahrank.pro)
20828.
Show HN: The Milky Way, in the Browser
(inertialref.jonjaques.com)
20829.
On-chain Ethereum pay-to-rank leaderboard
(ethbid.fun)
20830.
AI datasets (2.6k entries) – automated collection, updated daily
(huggingface.co)
20831.
Deep Stresser
(deepstresser.su)
20832.
20833.
My experience as a first time speaker
(blog.guillheu.dev)
20834.
Re: [jgit-dev] Update on JGit on DHT
(eclipse.org)
20835.
A Calmer, Clearer EMDR Experience
(medium.com)
20836.
Evaluating Shrinking (Experience Report)
(dl.acm.org)
20837.
Speaking for the Dead
(longreads.com)
20838.
20840.
20841.
20842.
What is modified about a modified Bessel function?
(johndcook.com)
20843.
Text Watermarking
(tbray.org)
20844.
In the product end game, every change carries significant risk, episode 2
(devblogs.microsoft.com)
20845.
What Devices Are Connected to My Mac?
(medium.com)
20846.
20847.
Show HN: Agent Mayday
(agentmayday.org)
20848.
Do Rural Residents Have the Power to Say No to Data Centers?
(barnraisingmedia.com)
20849.