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
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
Finally achieved my goal and made a calculator
October 27, 2025 at 10:47 PM
Finally achieved my goal and made a calculator
Software supporting 64 arms isn’t as exciting as it sounds
October 26, 2025 at 3:59 PM
Software supporting 64 arms isn’t as exciting as it sounds
Is anyone making 3d tldraw?
October 23, 2025 at 2:13 PM
Is anyone making 3d tldraw?
Reposted by Alexander Bandukwala
I can't understate how good of a job the @inkandswitch.com folks did at this Automerge website. Wow, holy shit automerge.org
And the fact that you can *interact* with the visual demo at the top?
This is the new high bar for a technical website. Holy moly.
And the fact that you can *interact* with the visual demo at the top?
This is the new high bar for a technical website. Holy moly.
Automerge
Automerge is a library for building collaborative, local-first applications.
automerge.org
October 17, 2025 at 4:09 PM
I can't understate how good of a job the @inkandswitch.com folks did at this Automerge website. Wow, holy shit automerge.org
And the fact that you can *interact* with the visual demo at the top?
This is the new high bar for a technical website. Holy moly.
And the fact that you can *interact* with the visual demo at the top?
This is the new high bar for a technical website. Holy moly.