Monthly Highlights
13981.
13982.
Software Factories, Light and Dark
(twitter.com)
13983.
13984.
13985.
Tutorial: Introduction to Formal Verification with Lean (Part 1)
(hashcloak.com)
13986.
Dough: Audio engine for live coding, written in a single C file
(dough.strudel.cc)
13987.
Using Kamal 2.0 in Production
(rubys.github.io)
13988.
Show HN: LangDrift – test AI agents across languages
(github.com)
13989.
13990.
ESDM Is Now Open Source
(docs.eventsourcingdb.io)
13991.
The Accidental Cartel Queen
(thecut.com)
13992.
13993.
Africa's largest crypto exchange, VALR, Launches 200 Hyperliquid Perps Markets
(mybroadband.co.za)
13994.
How Predictable Are Laws? – By Brian Potter
(construction-physics.com)
13995.
Zaman – Comptime lifetime annotations for Zig
(github.com)
13996.
13997.
13998.
New flapping robot swims and flies like a diving bird
(news.mit.edu)
13999.
It's a World-Class Investment. It's a Junk Investment
(nytimes.com)
14000.
"material deletion occurred" Sol wiped out user's home
(twitter.com)
14001.
Lame 4.0 Released
(sourceforge.net)
14002.
Close the laptop and Claude keeps going
(twitter.com)
14003.
Moving Averages (2022)
(gregorygundersen.com)
14004.
Show HN: Zero Trust Boundary for Agents
(github.com)
14005.
14006.
Test the Email Verification Protocol with an origin trial
(developer.chrome.com)
14007.
Microsoft has acquired Winternals Software and Sysinternals
(learn.microsoft.com)
14008.
Medical debt ties NC residents in knots. Working to undo damage
(carolinapublicpress.org)
14009.
Stop Getting 'Good' at ChatGPT (2024)
(hitsubscribe.com)
14010.
Sushi – Your Raw Data Served Perfectly
(trysushi.xyz)