- 44Evaluation order and nontermination in query languages (rntz.net)
- 48A 2048-spin bulk acoustic wave Ising machine for number partitioning and Sudoku (arxiv.org)
- 7New Research: A "Verified" GitHub Commit Is Not Unique (internationalcyberdigest.com)
- 5Satteri: A Markdown pipeline forged in Rust for the JavaScript world (satteri.bruits.org)
- 373AMD Ryzen AI Halo – $4k AI Dev Kit (lttlabs.com)
- 190Linux on the Atari Jaguar (cakehonolulu.github.io)
- 55Ask HN: Where are the good search engines for mathematical formulas? ()
ask - 101Show HN: Pulpie – Models for Cleaning the Web (usefeyn.com)
- 79The LLVM Compiler Infrastructure (cacm.acm.org)
- 6Neural Geometry in Vision Models with Block-Sparse Featurizers (goodfire.ai)
- 16Muse Image: Image Generation Built for Your World (about.fb.com)
- 410Real-time map of Great Britain's rail network (map.signalbox.io)
- 6Digital Signals Theory Book (brianmcfee.net)
- 145Pruning RAG context down to what the answer actually needs (kapa.ai)
- 194Fable 5 On Vending-Bench: Misbehaving, With Plausible Deniability (andonlabs.com)
- 35JPMorgan, BofA and Others Explore Buying Card Network to Raise Debit-Card Fees (wsj.com)
- 50Ask HN: Is GitHub preparing to go behind a login wall? ()
ask - 92Apricot Computers: An underrated British brand (dfarq.homeip.net)
- 5Chorus: A fast WAL for object storage (rockwotj.com)
- 283Aluminum foil (2021) (dernocua.github.io)
- 21A Script for Mark Zuckerberg (stratechery.com)
- 49EndBASIC 0.14: Are we multimedia yet? (endbasic.dev)
- 214OfficeCLI: Office suite for AI agents to read and edit Microsoft Office files (github.com)
- 343Road to Elm 1.0 (elm-lang.org)
- 413GPT-5.6 Sol Ultra will be in Codex (twitter.com)
- 148Egypt Is Building a New Nile (theb1m.com)
- 951k Words: A Writing Contest (writingclub.world)
- 5Show HN: OCR Buddy: local browser OCR for code, formulas (LaTeX) and tables (github.com)
- 85Full Writeup of the Windows GDID (github.com)
- 11FluxCD turns 10 today, stats and nostalgia (fluxcd.io)