| 1. | | I'm an award winning mathematician. Trump just cut my funding (ofthebrave.org) |
| 51 points by dargscisyhp 4 months ago | past | 7 comments |
|
| 2. | | Terence Tao on the suspension of UCLA grants (mathstodon.xyz) |
| 280 points by dargscisyhp 4 months ago | past | 305 comments |
|
| 3. | | NSF suspends nearly 300 UCLA grants (Terence Tao, Plasma Science Facility, etc.) (grant-witness.us) |
| 36 points by dargscisyhp 4 months ago | past | 1 comment |
|
| 4. | | Mezzano, an operating system written in Common Lisp (github.com/froggey) |
| 114 points by dargscisyhp 4 months ago | past | 25 comments |
|
| 5. | | On "local" and "global" errors in mathematical papers, and how to detect them (terrytao.wordpress.com) |
| 4 points by dargscisyhp 4 months ago | past |
|
| 6. | | Org tutorials (orgmode.org) |
| 189 points by dargscisyhp 4 months ago | past | 74 comments |
|
| 7. | | Do Clouds Mostly Form Above the Lakes? (reddit.com) |
| 3 points by dargscisyhp 6 months ago | past |
|
| 8. | | How "Do Your Own Research" Became a Slogan for Epistemic Collapse (infinitehearsay.com) |
| 9 points by dargscisyhp 6 months ago | past | 2 comments |
|
| 9. | | Theory of Stupidity [pdf] (onthewing.org) |
| 72 points by dargscisyhp 6 months ago | past | 28 comments |
|
| 10. | | Formalizing a Proof in Lean Using GitHub Copilot Only [video] (youtube.com) |
| 4 points by dargscisyhp 7 months ago | past |
|
| 11. | | Writing N-body gravity simulations code in Python (alvinng4.github.io) |
| 153 points by dargscisyhp 7 months ago | past | 47 comments |
|
| 12. | | Lectures on the Geometric Anatomy of Theoretical Physics (youtube.com) |
| 3 points by dargscisyhp 8 months ago | past |
|
| 13. | | The Art of Scripting HTTP Requests Using Curl (curl.se) |
| 2 points by dargscisyhp 8 months ago | past |
|
| 14. | | Advanced Python Development Workflow in Emacs (blog.serghei.pl) |
| 3 points by dargscisyhp on Dec 1, 2024 | past |
|
| 15. | | Brewington Hardaway Becomes First U.S. Born Black Grandmaster (chess.com) |
| 16 points by dargscisyhp on Nov 10, 2024 | past | 3 comments |
|
| 16. | | The Book Written by Tiny Paws (webtoons.com) |
| 2 points by dargscisyhp on Nov 6, 2024 | past |
|
| 17. | | Yale prof solves part of math's 'Rosetta (yale.edu) |
| 12 points by dargscisyhp on Nov 4, 2024 | past | 1 comment |
|
| 18. | | When are two proofs of the same theorem different proofs (mathoverflow.net) |
| 3 points by dargscisyhp on Oct 29, 2024 | past |
|
| 19. | | John J. Hopfield Talk, "Collective Properties of Neuronal Networks" [video] (youtube.com) |
| 2 points by dargscisyhp on Oct 24, 2024 | past |
|
| 20. | | A Guided Tour of Emacs (gnu.org) |
| 6 points by dargscisyhp on Oct 23, 2024 | past | 1 comment |
|
| 21. | | Why (Chess) Opening Statistics Are Wrong (lichess.org) |
| 2 points by dargscisyhp on Oct 1, 2024 | past |
|
| 22. | | An astrophysicist attempts to measure the physics of Outer Wilds (thephysicsmill.com) |
| 1 point by dargscisyhp on Sept 21, 2024 | past |
|
| 23. | | Investigating Cleo (cleoinvestigation.notion.site) |
| 7 points by dargscisyhp on Sept 7, 2024 | past | 1 comment |
|
| 24. | | Rosser's Theorem via Turing Machines (2011) (scottaaronson.blog) |
| 67 points by dargscisyhp on June 20, 2024 | past | 9 comments |
|
| 25. | | Programming with Lambda Calculus (hbr.github.io) |
| 14 points by dargscisyhp on June 14, 2024 | past |
|
| 26. | | What Justifies Dimensional Analysis? (physics.stackexchange.com) |
| 2 points by dargscisyhp on June 5, 2024 | past |
|
| 27. | | Teaching Data Science with Literate Programming Tools (mdpi.com) |
| 2 points by dargscisyhp on June 2, 2024 | past |
|
| 28. | | Agnikul Cosmos launches rocket powered by 3-D printed semi-cryo engine (thehindubusinessline.com) |
| 1 point by dargscisyhp on May 31, 2024 | past |
|
| 29. | | Superconductive Witch Hunt (forbetterscience.com) |
| 1 point by dargscisyhp on May 27, 2024 | past |
|
| 30. | | The Emacs Window Management Almanac (karthinks.com) |
| 198 points by dargscisyhp on May 11, 2024 | past | 37 comments |
|
|
| More |
