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.
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.
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.
How to Build Wealth as a Career Person(asheradeniyi.com)
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.
What should we tell our students?(terrytao.wordpress.com)
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.
Related stories
Linux phones are more important now than ever(feddit.org)
627 points by wicket | 394 comments
A Lemmy forum post arguing Linux phone development must accelerate as Android becomes more closed, citing AOSP changes and bootloader lock removals.
I'm switching my phone from Android to Linux(runarcn.no)
388 points by speckx | 395 comments
Personal blog post explaining the author's decision to replace Android with a Linux-based OS on their phone, citing Google's changes to AOSP and surveying mobile Linux options.
Linux gaming is faster because Windows APIs are becoming Linux kernel features(xda-developers.com)
930 points by haunter | 571 comments
XDA Developers article explaining how Linux gaming performance is improving as Windows API behaviors are implemented as Linux kernel features.
Exploring the Internals of Linux v0.01(seiya.me)
458 points by ingve | 112 comments
A blog post walking through the source code and internals of Linux v0.01, the roughly 10,000-line first release of the Linux kernel.
My first contribution to Linux(vkoskiv.com)
633 points by vkoskiv | 76 comments
A blog post recounting the author's experience upstreaming their first Linux kernel patch, fixing a hardware issue on a 2005 Fujitsu Lifebook S2110.
Writing a basic Linux device driver when you know nothing about Linux drivers(crescentro.se)
457 points by sbt567 | 63 comments
Blog post recounting how the author wrote a basic Linux USB driver for the Nanoleaf Pegboard Desk Dock using protocol docs from Nanoleaf support.