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
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist
Pinned
Alexander Bandukwala
@bandukwala.me
· Nov 15
Tell me who to add to this #ProgrammingLanguages go.bsky.app/KPyf9X8
Make all your commits compile so you can use bisect
November 14, 2025 at 7:49 PM
Make all your commits compile so you can use bisect
Can valve's steam frame arm translation be used to get x86 games on mac in the future?
November 14, 2025 at 7:33 PM
Can valve's steam frame arm translation be used to get x86 games on mac in the future?
Thanks I hate it.
November 14, 2025 at 7:26 PM
Thanks I hate it.
8k virtual reality Galaga
November 13, 2025 at 11:10 PM
8k virtual reality Galaga
Reposted by Alexander Bandukwala
Steam Frame, Steam Controller, Steam Machine announcement is expected soon, here's a first look!
November 12, 2025 at 5:17 PM
Steam Frame, Steam Controller, Steam Machine announcement is expected soon, here's a first look!
I'm sure this works fine with ocaml and not reason syntax but it's pretty funny
November 13, 2025 at 12:20 AM
I'm sure this works fine with ocaml and not reason syntax but it's pretty funny
just searching for posts including nico harrison and chuck schumer
November 12, 2025 at 5:32 PM
just searching for posts including nico harrison and chuck schumer
If you're making a build tool please keep the old artifacts around and atomically replace them so I can still use the old version while the next compiles.
November 11, 2025 at 10:58 PM
If you're making a build tool please keep the old artifacts around and atomically replace them so I can still use the old version while the next compiles.
Reposted by Alexander Bandukwala
I think you fix the moral panics about the energy use of this vs. the energy use of that by imposing a carbon tax. You levy it at the mine, the wellhead, and the port. Done.
November 11, 2025 at 12:45 PM
I think you fix the moral panics about the energy use of this vs. the energy use of that by imposing a carbon tax. You levy it at the mine, the wellhead, and the port. Done.
Reposted by Alexander Bandukwala
What they took from us.
June 15, 2024 at 1:04 AM
What they took from us.
I want a McMaster-Carr catalog as a coffee table book
November 8, 2025 at 6:41 PM
I want a McMaster-Carr catalog as a coffee table book
Reposted by Alexander Bandukwala
haskell is just so nice to write
November 6, 2025 at 6:02 PM
haskell is just so nice to write
Reposted by Alexander Bandukwala
Reposted by Alexander Bandukwala
Does anyone have a reference for combining unification-based type inference with bidirectional type-checking?
November 4, 2025 at 9:12 PM
Does anyone have a reference for combining unification-based type inference with bidirectional type-checking?
Reposted by Alexander Bandukwala
Stuff just is dependently typed now. If you can't cope yet, hit me up and I'll help you get with the programme.
November 5, 2025 at 12:25 AM
Stuff just is dependently typed now. If you can't cope yet, hit me up and I'll help you get with the programme.
Someone save my plant
November 5, 2025 at 1:23 AM
Someone save my plant
What are they even trying to say here?
November 5, 2025 at 12:19 AM
What are they even trying to say here?
mo nads mo problems.
November 4, 2025 at 1:39 PM
mo nads mo problems.
I wish someone would write an ethnography of Gaia online.
November 4, 2025 at 1:29 PM
I wish someone would write an ethnography of Gaia online.
One must imagine Sisyphus happy
November 1, 2025 at 11:29 PM
One must imagine Sisyphus happy
Curtis Sliwa for mayor of Gotham
October 30, 2025 at 10:41 AM
Curtis Sliwa for mayor of Gotham
What's the best interface for "sets of radio buttons that are compatible together"? If I have a bunch of options and certain sets are not possible together how is this best displayed.
October 29, 2025 at 8:44 PM
What's the best interface for "sets of radio buttons that are compatible together"? If I have a bunch of options and certain sets are not possible together how is this best displayed.
I need a better scheme for managing local network domain names and IPs. The amount of raspberry pis are getting a bit out of hand. How are people handling this?
October 28, 2025 at 8:48 PM
I need a better scheme for managing local network domain names and IPs. The amount of raspberry pis are getting a bit out of hand. How are people handling this?
Reposted by Alexander Bandukwala
hazel development, september 2020 - september 2025
October 28, 2025 at 3:45 AM
hazel development, september 2020 - september 2025