dargscisyhp

Recent Submissions

1. 1. ▲ I'm an award winning mathematician. Trump just cut my funding (newsletter.ofthebrave.org) 51 points · 4 months ago · 7 comments
2. 2. ▲ Terence Tao on the suspension of UCLA grants (mathstodon.xyz) 280 points · 4 months ago · 305 comments
3. 3. ▲ NSF suspends nearly 300 UCLA grants (Terence Tao, Plasma Science Facility, etc.) (grant-witness.us) 36 points · 4 months ago · 1 comment
4. 4. ▲ Mezzano, an operating system written in Common Lisp (github.com) 114 points · 4 months ago · 25 comments
5. 5. ▲ On "local" and "global" errors in mathematical papers, and how to detect them (terrytao.wordpress.com) 4 points · 5 months ago · 0 comments
6. 6. ▲ Org tutorials (orgmode.org) 189 points · 5 months ago · 74 comments
7. 7. ▲ Do Clouds Mostly Form Above the Lakes? (old.reddit.com) 3 points · 6 months ago · 0 comments
8. 8. ▲ How "Do Your Own Research" Became a Slogan for Epistemic Collapse (infinitehearsay.com) 9 points · 7 months ago · 2 comments
9. 9. ▲ Theory of Stupidity [pdf] (onthewing.org) 72 points · 7 months ago · 28 comments
10. 10. ▲ Formalizing a Proof in Lean Using GitHub Copilot Only [video] (youtube.com) 4 points · 7 months ago · 0 comments