Broken Proofs and Broken Provers
(lawrencecpaulson.github.io)
January 2026 Archive
18991.
18992.
18993.
Upcoming Changes to Spotify Premium Subscriptions
(newsroom.spotify.com)
18994.
I Did a Daring Fireball Ad
(finalist.works)
18995.
Gail.com
(gail.com)
18996.
18997.
A.I. Is Keeping Aging Coal Plants Online
(e360.yale.edu)
18998.
Hyperfocus vs. Perspective as a Staff Engineer (2023)
(softwaredoug.com)
18999.
Show HN: Grain Synonym: Create multi-aesthetic OS variants
(codeberg.org)
19000.
Show HN: Keep Talking and Nobody Explodes as a TUI over SSH
(defuse.party)
19001.
All the news that's fit to WhatsApp
(theverge.com)
19003.
Cursor CEO Built a Browser Using AI, but Does It Work?
(finalroundai.com)
19004.
19005.
Show HN: Crapless craps – flutter PWA vibe coded from my phone
(craps.exe.xyz)
19006.
19007.
Depth-First Unary Degree Sequence
(bruceediger.com)
19008.
Researchers use virtual reality to reduce anxiety about death
(medicalxpress.com)
19009.
19010.
Tormentmaxxing 'Simple Requests'
(xeiaso.net)
19011.
Tiny Neighborhoods
(iambateman.com)
19012.
Translate with ChatGPT
(chatgpt.com)
19014.
19015.
A Pathway to Privacy from AI – while using it?
(angadh.com)
19016.
Make Google Forms UI look better
(formglam.pro)
19017.
Technē without poiesis: rethinking craft beyond human
(jimiwen.substack.com)
19018.
New Lawsuit Shows Medical Privacy Could Be at Risk
(forbes.com)
19019.
19020.
Coolidge Effect
(en.wikipedia.org)