I'm an award winning mathematician. Trump just cut my fundingnewsletter.ofthebrave.org51 points·by dargscisyhp·há 11 meses·7 comments
Terence Tao on the suspension of UCLA grantsmathstodon.xyz280 points·by dargscisyhp·há 12 meses·305 comments
NSF suspends nearly 300 UCLA grants (Terence Tao, Plasma Science Facility, etc.)grant-witness.us36 points·by dargscisyhp·há 12 meses·1 comments
Mezzano, an operating system written in Common Lispgithub.com114 points·by dargscisyhp·há 12 meses·25 comments
On "local" and "global" errors in mathematical papers, and how to detect themterrytao.wordpress.com4 points·by dargscisyhp·há 12 meses·0 comments
How "Do Your Own Research" Became a Slogan for Epistemic Collapseinfinitehearsay.com9 points·by dargscisyhp·ano passado·2 comments
Formalizing a Proof in Lean Using GitHub Copilot Only [video]youtube.com4 points·by dargscisyhp·ano passado·0 comments
Writing N-body gravity simulations code in Pythonalvinng4.github.io153 points·by dargscisyhp·ano passado·47 comments
Lectures on the Geometric Anatomy of Theoretical Physicsyoutube.com3 points·by dargscisyhp·ano passado·0 comments
dargscisyhp·há 3 meses·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·há 12 meses·discussYea, but most other immigrants are also far from being that productive.
dargscisyhp·ano passado·discussBeen using it for a couple of years, and in practice it does not cause me much trouble, at least not for me.
dargscisyhp·ano passado·discussYou can already do this using Emacs with EXWM. I've been living this way for years.