Alexander Bandukwala
banner
bandukwala.me
Alexander Bandukwala
@bandukwala.me
💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist
Pinned
Tell me who to add to this #ProgrammingLanguages go.bsky.app/KPyf9X8
King cake bakery includes a plastic baby and also recommends microwaving
February 8, 2026 at 7:05 PM
I just saw a kalshi ad advocating for war betting. The darkest timeline
February 8, 2026 at 2:41 AM
Bad Bunny Bowl
February 7, 2026 at 5:24 PM
A bar I was at was replaying the 2015 Super Bowl and I was very confused for a bit
February 7, 2026 at 1:27 AM
@disconcision.com yearns for the ants
February 7, 2026 at 12:37 AM
When are mathematicians going to unlock big ints
February 6, 2026 at 9:48 PM
Please don't talk to me until I finish The Fall-Off
February 6, 2026 at 8:26 PM
LeBron so old he gets call outs in Tokyo drift
February 2, 2026 at 11:39 PM
I like that American milk chocolate is a little sour
February 2, 2026 at 8:41 PM
Having another make illegal states unrepresentable moment
February 2, 2026 at 4:13 PM
I need a playlist of all the original songs from the fast and furious franchise
February 2, 2026 at 2:31 AM
Finished first draft of tax returns 😮‍💨
February 1, 2026 at 9:06 PM
Maddie’s options for movies tonight: past lives or 2 fast 2 furious
January 31, 2026 at 11:40 PM
Dynamic type checking makes the definition of type safety so confusing.
January 30, 2026 at 9:57 PM
Tried getting claude to integrate a react toggle button 🙃
January 30, 2026 at 6:27 PM
Reposted by Alexander Bandukwala
haskell's ffi is soo good
January 30, 2026 at 5:57 PM
Don’t shame me like this google
January 30, 2026 at 3:26 PM
Reposted by Alexander Bandukwala
Modular explicits are coming to OCaml 5.5

🎊🫰🥳🎉🎂

github.com/ocaml/ocaml...
January 28, 2026 at 4:58 PM
Reposted by Alexander Bandukwala
sorry, but the Founding Fathers' original intent for the 2nd Amendment was always *just* to do school shootings
January 24, 2026 at 10:28 PM
Comcast is always emailing me to tell me what a good job they're doing trying to keep their services working and it always has the opposite affect on me. Like I wouldn't otherwise be thinking about how awful they are if they weren't constantly reminding me.
January 23, 2026 at 8:48 PM
Is it too passive aggressive to delete WhatsApp chain messages from the family group chat?
January 22, 2026 at 7:01 PM
Reposted by Alexander Bandukwala
2026 will finally be the year that fancy type systems will have to provide good error messages, so that coding agents can actually use the error messages to effectively fix the programs.

We didn't do it for the humans, but we'll be forced to do it for the machines. (-:
Sure! He didn't say types either. It has to be a thing with hard failures, so the agent has a clear reward function for the reinforcement loop. He didn't say, but I would also expect, it's got to be hard failures *with useful diagnostics* so that the coding agent knows how to go about fixing things.
January 21, 2026 at 9:24 PM
Frosted tips season
January 21, 2026 at 2:54 PM
Just made my first Wikipedia edit
January 19, 2026 at 3:50 PM