I'm an award winning mathematician. Trump just cut my fundingnewsletter.ofthebrave.org51 points·by dargscisyhp·vor 11 Monaten·7 comments
Terence Tao on the suspension of UCLA grantsmathstodon.xyz280 points·by dargscisyhp·vor 12 Monaten·305 comments
NSF suspends nearly 300 UCLA grants (Terence Tao, Plasma Science Facility, etc.)grant-witness.us36 points·by dargscisyhp·vor 12 Monaten·1 comments
Mezzano, an operating system written in Common Lispgithub.com114 points·by dargscisyhp·vor 12 Monaten·25 comments
On "local" and "global" errors in mathematical papers, and how to detect themterrytao.wordpress.com4 points·by dargscisyhp·vor 12 Monaten·0 comments
How "Do Your Own Research" Became a Slogan for Epistemic Collapseinfinitehearsay.com9 points·by dargscisyhp·letztes Jahr·2 comments
Formalizing a Proof in Lean Using GitHub Copilot Only [video]youtube.com4 points·by dargscisyhp·letztes Jahr·0 comments
Writing N-body gravity simulations code in Pythonalvinng4.github.io153 points·by dargscisyhp·letztes Jahr·47 comments
Lectures on the Geometric Anatomy of Theoretical Physicsyoutube.com3 points·by dargscisyhp·letztes Jahr·0 comments
dargscisyhp·vor 3 Monaten·discussThat is a standard rule in chess. If your opponent has no legal moves (i.e. no way to move without moving his king into check) and is not currently in check, it is considered stalemate, which is a draw.
dargscisyhp·vor 12 Monaten·discussYea, but most other immigrants are also far from being that productive.
dargscisyhp·letztes Jahr·discussBeen using it for a couple of years, and in practice it does not cause me much trouble, at least not for me.