First screen, captured .
Looks similar
What mathematicians should know about the Lean Theorem Prover: reliability & AI(terrytao.wordpress.com)
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.
Illustration Beyond Proof(terrytao.wordpress.com)
92 points by smilelamp | 14 comments
A blog post on Terence Tao's blog titled "Illustration Beyond Proof"; the capture only shows a browser-check interstitial.
Will Linux phones become a viable alternative to the Android/iOS duopoly?(amosbbatto.wordpress.com)
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.
I would like the value of my home to rise, while my property taxes fall(conversableeconomist.com)
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.
100+ reactions to 100+ solutions(proofsandprompts.com)
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.
Related stories
The secret inside One Million Checkboxes(eieio.games)
2201 points by todsacerdoti | 202 comments
An essay by eieio.games recounting how teens hid a secret message in the binary state of the One Million Checkboxes website, which the author first mistook for a hack.
A web page that shows you everything the browser told it without asking(sinceyouarrived.world)
495 points by mwheelz | 243 comments
An interactive web page that displays the information a browser reveals to websites automatically, such as device and environment details, without asking permission.
Microfeatures I love in blogs and personal websites(danilafe.com)
831 points by fabianholzer | 349 comments
A blog post cataloguing small convenience features the author likes in blogs and personal websites, inspired by Hillel Wayne's language microfeatures article.
There is no official XScreenSaver GitHub repository(github.com)
63 points by st_goliath | 66 comments
A GitHub repository by jwz whose only content is a README stating there is no official XScreenSaver GitHub repository.
Someone at BrowserStack is leaking users' email addresses(shkspr.mobi)
329 points by m_km | 88 comments
Blog post by Terence Eden describing how a unique email address he gave BrowserStack ended up with a third party via Apollo.io, implying a leak.
Elon Musk Emails(elonmuskmails.com)
26 points by rishikeshs | 3 comments
A searchable archive of 229 Elon Musk emails organized by year and company, including Tesla, SpaceX, OpenAI and Neuralink.