| 1. | | A Simple Guide to Five Normal Forms in Relational Database Theory (1982) (bkent.net) |
| 14 points by dargscisyhp 6 days ago | past | discuss |
|
| 2. | | How to Disagree (paulgraham.com) |
| 3 points by dargscisyhp 14 days ago | past |
|
| 3. | | Relativistic Space Invaders (github.com/jarrydac) |
| 4 points by dargscisyhp 3 months ago | past |
|
| 4. | | EWM: The Emacs Wayland Manager (codeberg.org/ezemtsov) |
| 3 points by dargscisyhp 6 months ago | past |
|
| 5. | | Hello Worg, the Org-Mode Community (orgmode.org) |
| 154 points by dargscisyhp 6 months ago | past | 51 comments |
|
| 6. | | The Linux Graphics Stack in a Nutshell (lwn.net) |
| 2 points by dargscisyhp 7 months ago | past |
|
| 7. | | I'm an award winning mathematician. Trump just cut my funding (ofthebrave.org) |
| 51 points by dargscisyhp on Aug 18, 2025 | past | 7 comments |
|
| 8. | | Terence Tao on the suspension of UCLA grants (mathstodon.xyz) |
| 280 points by dargscisyhp on Aug 2, 2025 | past | 305 comments |
|
| 9. | | NSF suspends nearly 300 UCLA grants (Terence Tao, Plasma Science Facility, etc.) (grant-witness.us) |
| 36 points by dargscisyhp on Aug 1, 2025 | past | 1 comment |
|
| 10. | | Mezzano, an operating system written in Common Lisp (github.com/froggey) |
| 114 points by dargscisyhp on July 30, 2025 | past | 25 comments |
|
| 11. | | On "local" and "global" errors in mathematical papers, and how to detect them (terrytao.wordpress.com) |
| 4 points by dargscisyhp on July 25, 2025 | past |
|
| 12. | | Org tutorials (orgmode.org) |
| 189 points by dargscisyhp on July 23, 2025 | past | 74 comments |
|
| 13. | | Do Clouds Mostly Form Above the Lakes? (reddit.com) |
| 3 points by dargscisyhp on June 14, 2025 | past |
|
| 14. | | How "Do Your Own Research" Became a Slogan for Epistemic Collapse (infinitehearsay.com) |
| 9 points by dargscisyhp on May 29, 2025 | past | 2 comments |
|
| 15. | | Theory of Stupidity [pdf] (onthewing.org) |
| 72 points by dargscisyhp on May 28, 2025 | past | 28 comments |
|
| 16. | | Formalizing a Proof in Lean Using GitHub Copilot Only [video] (youtube.com) |
| 4 points by dargscisyhp on May 17, 2025 | past |
|
| 17. | | Writing N-body gravity simulations code in Python (alvinng4.github.io) |
| 153 points by dargscisyhp on May 10, 2025 | past | 47 comments |
|
| 18. | | Lectures on the Geometric Anatomy of Theoretical Physics (youtube.com) |
| 3 points by dargscisyhp on April 11, 2025 | past |
|
| 19. | | The Art of Scripting HTTP Requests Using Curl (curl.se) |
| 2 points by dargscisyhp on April 10, 2025 | past |
|
| 20. | | Advanced Python Development Workflow in Emacs (blog.serghei.pl) |
| 3 points by dargscisyhp on Dec 1, 2024 | past |
|
| 21. | | Brewington Hardaway Becomes First U.S. Born Black Grandmaster (chess.com) |
| 16 points by dargscisyhp on Nov 10, 2024 | past | 3 comments |
|
| 22. | | The Book Written by Tiny Paws (webtoons.com) |
| 2 points by dargscisyhp on Nov 6, 2024 | past |
|
| 23. | | Yale prof solves part of math's 'Rosetta (yale.edu) |
| 12 points by dargscisyhp on Nov 4, 2024 | past | 1 comment |
|
| 24. | | When are two proofs of the same theorem different proofs (mathoverflow.net) |
| 3 points by dargscisyhp on Oct 29, 2024 | past |
|
| 25. | | John J. Hopfield Talk, "Collective Properties of Neuronal Networks" [video] (youtube.com) |
| 2 points by dargscisyhp on Oct 24, 2024 | past |
|
| 26. | | A Guided Tour of Emacs (gnu.org) |
| 6 points by dargscisyhp on Oct 23, 2024 | past | 1 comment |
|
| 27. | | Why (Chess) Opening Statistics Are Wrong (lichess.org) |
| 2 points by dargscisyhp on Oct 1, 2024 | past |
|
| 28. | | An astrophysicist attempts to measure the physics of Outer Wilds (thephysicsmill.com) |
| 1 point by dargscisyhp on Sept 21, 2024 | past |
|
| 29. | | Investigating Cleo (cleoinvestigation.notion.site) |
| 7 points by dargscisyhp on Sept 7, 2024 | past | 1 comment |
|
| 30. | | Rosser's Theorem via Turing Machines (2011) (scottaaronson.blog) |
| 67 points by dargscisyhp on June 20, 2024 | past | 9 comments |
|
|
| More |
