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