[HN Gopher] Archive (2026-02-21) - Page 3
___________________________________________________________________
(DIR) Lean 4: How the theorem prover works and why it's the new compet...
124 points by tesserato (57 comments)
(DIR) Coccinelle: The Linux kernel's source-to-source transformation tool
78 points by anon111332142 (24 comments)
(DIR) Ace is a complete BASIC compiler for the Amiga computer platform
3 points by doener (0 comments)
(DIR) Amazon blames human employees for an AI coding agent's mistake
6 points by mooreds (1 comments)
(DIR) Toggle: A simple and keyboard friendly graphics drawing tool
5 points by zynovex (0 comments)
(DIR) What Is OAuth?
199 points by cratermoon (75 comments)
(DIR) The bare minimum for syncing Git repos
56 points by speckx (31 comments)
(DIR) How an inference provider can prove they're not serving a quanti...
59 points by FrasiertheLion (44 comments)
(DIR) I found a vulnerability. they found a lawyer
840 points by toomuchtodo (392 comments)
(DIR) Approaches to writing two-sentence journal entries
79 points by fi-le (12 comments)
(DIR) Blue light filters don't work - controlling total luminance is a...
222 points by pminimax (225 comments)
(DIR) NSA and IETF, Part 6
5 points by Tomte (1 comments)
(DIR) Index, Count, Offset, Size
151 points by ingve (76 comments)
(DIR) OpenScan
218 points by joebig (20 comments)
(DIR) Gitas - A tool for Git account switching
54 points by letmutex (41 comments)
(DIR) Turn Dependabot off
612 points by todsacerdoti (179 comments)
(DIR) Denonomicon: The Dark Arts of Deno Foreign Function Interface Pr...
8 points by enz (1 comments)
(DIR) Ggml.ai joins Hugging Face to ensure the long-term progress of L...
808 points by lairv (214 comments)
(DIR) Wikipedia deprecates Archive.today, starts removing archive links
573 points by nobody9999 (345 comments)
(DIR) Facebook is cooked
1427 points by npilk (792 comments)
___________________________________________________________________
(page generated 2026-02-21 23:02 UTC)