- 255Things Zig comptime won't do (matklad.github.io)
- 385Gemma 3 QAT Models: Bringing AI to Consumer GPUs (developers.googleblog.com)
- 56Find the Odd Disk (colors2.alessandroroussel.com)
- 44Falsify: Hypothesis-Inspired Shrinking for Haskell (2023) (well-typed.com)
- 33Crows can recognize geometric regularity (phys.org)
- 22Decomposing Transactional Systems (transactional.blog)
- 66Signal Carnival (quiss.org)
- 57New Proof Settles Decades-Old Bet About Connected Networks (quantamagazine.org)
- 278The movie mistake mystery from "Revenge of the Sith" (fxrant.blogspot.com)
- 86Show 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 - 592Which year: guess which year each photo was taken (whichyr.com)
- 81Turing-Drawings (github.com)
- 12Better Error Handling (meowbark.dev)
- 141Jagged AGI: o3, Gemini 2.5, and everything after (oneusefulthing.org)
- 97The Joy of Linux Theming in the Age of Bootable Containers (blues.win)
- 53Home galleries are hiding in plain sight across Canada (cbc.ca)
- 64Recursive LLM prompts (github.com)
- 160Healthy soil is the hidden ingredient (nature.com)
- 3Efficient E-Matching for Super Optimizers (blog.vortan.dev)
- 579Show HN: I built an AI that turns GitHub codebases into easy tutorials (github.com)
- 128First hormone-free male birth control pill enters human trials (scitechdaily.com)
- 611Raspberry Pi Lidar Scanner (github.com)
- 74A 1980s toy robot arm inspired modern robotics (technologyreview.com)
- 39Pushing the Limits of LLM Quantization via the Linearity Theorem (arxiv.org)
- 18How encryption for Cinema Movies works (serverless.industries)
- 48Perplexingly Book-Learned Emacs (lars.ingebrigtsen.no)
- 8Mapping the half-billion connections that allow mice to see (engineering.princeton.edu)
- 200100 Years to Solve an Integral (2020) (liorsinai.github.io)
- 21Show HN: Real-time 4/20 cannabis sales dashboard using Estuary and Tinybird (420.headset.io)