First screen, captured .
229 points by amosbatto | 259 comments
Blog post discussing whether Linux-based phones can become a viable alternative to Android and iOS; the capture shows only a browser-check interstitial.
178 points by matt_d | 50 comments
Terence Tao blog post on what mathematicians should know about the Lean theorem prover, covering reliability and AI; the capture shows only a browser-check interstitial.
247 points by colinprince | 562 comments
A Conversable Economist blog post on homeowners wanting rising home values alongside falling property taxes; the capture shows only a browser-check interstitial.
79 points by jacobedawson | 73 comments
A blog post on Proofs and Prompts reacting to over 100 solutions, likely AI-generated math proofs; the page showed only a browser check screen.
121 points by doppp | 120 comments
A blog post by Asher Adeniyi on how salaried professionals can build wealth; the capture shows only a browser-check interstitial.
129 points by sajid | 173 comments
A Terry Tao blog post titled "What should we tell our students?"; the capture shows only a browser-check interstitial instead of the content.
540 points by bubblehack3r | 358 comments
Troy Hunt's blog post analyzing the National Public Data breach, which was claimed to expose records on 3 billion people.
97 points by matt_d | 48 comments
A Reasonable blog post introducing TLA+ and discussing how temporal specifications, proof systems, and AI agents can combine to produce specified, verified software.
418 points by Anon84 | 24 comments
Edward Yang's long-form blog essay on PyTorch internals, based on his talk at the PyTorch NYC meetup on May 14, 2019.
447 points by theanonymousone | 55 comments
A blog post explaining every field and value shown in the htop and top process monitors on Linux, such as load average, memory, and process states.
![Screenshot of teorth.github.io: Terence Tao: Math 2.0 [pdf]](https://hn.urlbox.com/shots/renders/2026/10/11/5fa8cc24-3e1c-4321-8c9a-8aee16c4af72.jpg)
533 points by Anon84 | 530 comments
PDF slide deck titled "Math 2.0" by mathematician Terence Tao, dated October 2026, apparently from a Caltech talk.
447 points by todsacerdoti | 142 comments
Blog post by Jonathan Protzenko describing how CPython now uses the formally verified HACL* library for all its default hash and HMAC algorithms.