Anand Balakrishnan
@anand-bala.bsky.social
Postdoc @ UT Austin. Formal methods, learning, robots, automata, and other mathematically (un)necessary complications.
Also: thoughts that should probably have remained thoughts.
Check me out at: https://anandb.dev
Also: thoughts that should probably have remained thoughts.
Check me out at: https://anandb.dev
Reposted by Anand Balakrishnan
Wow incredible, OpenAI has somehow come up with an even worse solution to the problem of “we will brute force all pure mathematics and ruin the field”, “we will brute force all pure mathematics and ruin the field, and also not even tell you peons the result so you can’t get mad at us like last time”
September 21, 2026 at 11:36 PM
Wow incredible, OpenAI has somehow come up with an even worse solution to the problem of “we will brute force all pure mathematics and ruin the field”, “we will brute force all pure mathematics and ruin the field, and also not even tell you peons the result so you can’t get mad at us like last time”
As someone who struggles with ADHD:
Generative models are to content creators (including academics) what doomscrolling/social media consumption is to content consumers.
The dopamine hits are just too good to pass up...
Generative models are to content creators (including academics) what doomscrolling/social media consumption is to content consumers.
The dopamine hits are just too good to pass up...
September 21, 2026 at 2:13 PM
As someone who struggles with ADHD:
Generative models are to content creators (including academics) what doomscrolling/social media consumption is to content consumers.
The dopamine hits are just too good to pass up...
Generative models are to content creators (including academics) what doomscrolling/social media consumption is to content consumers.
The dopamine hits are just too good to pass up...
This should probably not be my first post on this site, but... sometimes I think about how a lot of family trees are actually family directed acyclic graphs.
The "acyclic" is me being hopeful...
The "acyclic" is me being hopeful...
September 20, 2026 at 3:25 PM
This should probably not be my first post on this site, but... sometimes I think about how a lot of family trees are actually family directed acyclic graphs.
The "acyclic" is me being hopeful...
The "acyclic" is me being hopeful...