- 3Formal Verification Is Not Verifiable (alperenkeles.com)
- 1Why rust-cache never restores on host-mode Forgejo runners (stokeci.dev)
- 2Reading JSON at 277 GB/s in Python (lemire.me)
- 2Bufferbloat is the undesirable latency that comes from a router (bufferbloat.net)
- 112Show HN: DeepSeek V3 in ~200 lines of pure Jax (github.com)
- 1Show HN: Mopup – clean up after builds and coding agents on macOS (mopup.online)
- 2ML Modules for Mere Mortals (thunderseethe.dev)
- 3China builds 800MW AI data center campus to rival US Stargate project (tomshardware.com)
- 3Logvinovich's IR Dichotomy in SU(N) Yang-Mills on R^4: Peano/Gribov (physicsforums.com)
- 2"The Year of Linux" isn't coming (old.reddit.com)
- 2Tokenizer Fairness in 2026 (partyfly.github.io)
- 2Show HN: SrcWranglr v0.13 – A C/C++ Graphical Code Explorer for Vuln. Research (github.com)
- 1Your app already has a voice interface. It just can't hear yet. (keavi.app)
- 1HexOS Anywhere (docs.hexos.com)
- 2The Challenge of Flying Below Sea Level (avgeekery.com)
- 1Wild select: intuitive queries for JSON, XML, and other hierarchical data (developforperformance.com)
- 46Demystifying phone unlocking tools: A technical overview (osservatorionessuno.org)
- 1DJI Gives ROMO 2 Its Drone Offline Mode, Eight Months After the Hack (dronexl.co)
- 1Show HN: I made an alternative Wireshark macOS app (tcpviewer.proxyman.com)
- 1Show HN: Burrmill – SQL over Parquet with exact integer arithmetic (github.com)
- 1How to Keep an App Out of Siri AI on iPhone (privateorchards.com)
- 1Shadow DOM (2014) (acko.net)
- 4Amazon has a plan to index the online shopping data (theverge.com)
- 2Building a human-in-the-loop Slackbot agent (mays.co)
- 1InfinityFree's "?I=1" (rtnf.substack.com)
- 2Show HN: Epistemic News – re-ranking HN comments (ianchanning.com)
- 1Show HN: Track Cassette Looper for iPad (autographmusic.com)
- 2Spend Your Boon (macsparky.com)
- 2AI model for predicting neurophysiological responses to text and pictures (nature.com)
- 1Score Perfect to MusicXML Converter (geekabit.nl)