- 219Things Zig comptime won't do (matklad.github.io)
- 35Falsify: Hypothesis-Inspired Shrinking for Haskell (2023) (well-typed.com)
- 47Find the Odd Disk (colors2.alessandroroussel.com)
- 354Gemma 3 QAT Models: Bringing AI to Consumer GPUs (developers.googleblog.com)
- 56Signal Carnival (quiss.org)
- 46New Proof Settles Decades-Old Bet About Connected Networks (quantamagazine.org)
- 25Show HN: JuryNow – Get an anonymous instant verdict from 12 real people (jurynow.app)
- FurtherAI (YC W24) Is Hiring Software and AI Engineers (ycombinator.com)
job - 12Crows can recognize geometric regularity (phys.org)
- 242The movie mistake mystery from "Revenge of the Sith" (fxrant.blogspot.com)
- 124Jagged AGI: o3, Gemini 2.5, and everything after (oneusefulthing.org)
- 68Turing-Drawings (github.com)
- 57Recursive LLM prompts (github.com)
- 574Which year: guess which year each photo was taken (whichyr.com)
- 86The Joy of Linux Theming in the Age of Bootable Containers (blues.win)
- 13Show HN: Real-time 4/20 cannabis sales dashboard using Estuary and Tinybird (420.headset.io)
- 44Home galleries are hiding in plain sight across Canada (cbc.ca)
- 153Healthy soil is the hidden ingredient (nature.com)
- 100First hormone-free male birth control pill enters human trials (scitechdaily.com)
- 565Show HN: I built an AI that turns GitHub codebases into easy tutorials (github.com)
- 36Pushing the Limits of LLM Quantization via the Linearity Theorem (arxiv.org)
- 602Raspberry Pi Lidar Scanner (github.com)
- 64A 1980s toy robot arm inspired modern robotics (technologyreview.com)
- 197100 Years to Solve an Integral (2020) (liorsinai.github.io)
- 37Perplexingly Book-Learned Emacs (lars.ingebrigtsen.no)
- 28OAuth's Role in MCP Security (defensiblesystems.substack.com)
- 7Voice Flight – A voice-controlled flying game
- 11How encryption for Cinema Movies works (serverless.industries)
- 178Why is OpenAI buying Windsurf? (theahura.substack.com)
- 73Attention Spans for Math and Stories (2019) (jeremykun.com)