4I'm an award winning mathematician. Trump just cut my funding (opens in new tab)(newsletter.ofthebrave.org)51dargscisyhp8mo ago7
5Terence Tao on the suspension of UCLA grants (opens in new tab)(mathstodon.xyz)280dargscisyhp9mo ago305
6NSF suspends nearly 300 UCLA grants (Terence Tao, Plasma Science Facility, etc.) (opens in new tab)(grant-witness.us)36dargscisyhp9mo ago1
7Mezzano, an operating system written in Common Lisp (opens in new tab)(github.com)114dargscisyhp9mo ago25
8On "local" and "global" errors in mathematical papers, and how to detect them (opens in new tab)(terrytao.wordpress.com)4dargscisyhp9mo ago0
11How "Do Your Own Research" Became a Slogan for Epistemic Collapse (opens in new tab)(infinitehearsay.com)9dargscisyhp11mo ago2
13Formalizing a Proof in Lean Using GitHub Copilot Only [video] (opens in new tab)(youtube.com)4dargscisyhp11mo ago0
14Writing N-body gravity simulations code in Python (opens in new tab)(alvinng4.github.io)153dargscisyhp1y ago47
15Lectures on the Geometric Anatomy of Theoretical Physics (opens in new tab)(youtube.com)3dargscisyhp1y ago0
