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