Monthly Highlights
22891.
Check any website up/down Status
(urlwatch.io)
22892.
22894.
Proving the fundamental theorem of arithmetic in Agda
(byorgey.github.io)
22895.
OpenCode, Pi, and Goose: Three Layers of the AI Agent Stack
(gist.github.com)
22896.
AI Model Co-Design: Hardware-Friendly LLM Design
(developer.nvidia.com)
22897.
22898.
A Tale of Two Modems
(daringfireball.net)
22899.
Fixing "Tool Amnesia" in Model Context Protocol Ecosystems
(pub.towardsai.net)
22900.
22901.
Show HN: MotionLoom – An open-source video-as-code language for video creation
(lovelyzombieyho.github.io)
22902.
These are real people [video][22 mins]
(youtube.com)
22903.
Contextual Information Retrieval
(luccogzest.substack.com)
22904.
Calculator built to teach/experiment with costing LLM chat apps
(calc.ajinkya.ai)
22905.
I ran an AI nuclear engineering department for a week
(charlesazam.com)
22906.
Different Types of Tubes for River Tubing (2023)
(riverbendfloats.com)
22907.
Recollections of Going Up Against Microsoft
(youtube.com)
22908.
The Gap Map v0.1
(currentai.org)
22909.
22910.
22911.
Putting an Agent in an Orb
(ampcode.com)
22912.
22913.
"Dimension 20s" Lore Keeper, Skye Smith, on Why AI Can't Replace Her
(businessinsider.com)
22914.
Image-to-emoji ASCII art generation
(philatype.github.io)
22915.
A Little Machine Near the Sun – Ecuador Robot Climbs Chimborazo
(latinamericanpost.com)
22916.
Built a 2007 like video website (CastIn2007)
(cast-in2007.edgeone.app)
22917.
22918.
22919.
Jujutsu (JJ) Release v0.43.0
(github.com)
22920.
No Te Dejes: La Lauren Pena Play
(thecredentialproject.substack.com)