Think our effort to address the damage done by DOGE Is over? Not at all! We just won summary judgment proving that they abused our data And we are also litigating in fed court on behalf of the countless people they injured at USAID

Show Post

Also implies something about LLM use in reviewing. First it's just for finding bugs in papers. Then people start trusting the LLM more, and pretty soon the person basically isn't reviewing at all, just rubber-stamping an LLM's analysis of a paper they don't understand.

Show Post

Faulty Towers, vibe sickness, and the vibe bobsled: dustycloud.org/blog/faulty-... I think this basically applies equally well to pure math, we're just a few months behind software engineering. Lean - even when it is correct - won't save us from the mountain of "understanding debt" being built. #🧮

Show Post

I hate it when my trolls wheel out the "genocide in the donbass" trope. It means i have to post this video of Progozhin saying it's rubbish

Show Post

U. Colorado Boulder Mathematics is hiring for two tenure-track faculty positions: 1 open area jobs.colorado.edu/jobs/JobDeta... due Nov 15 1 at the interface of AI + math jobs.colorado.edu/jobs/JobDeta... due Nov 11 Please help spread the word! #MathSky #AcademicSky

Show Post