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
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.
I would be interested turning those string fields into columns 🤔
November 9, 2025 at 4:47 AM
I would be interested turning those string fields into columns 🤔
Hear me out, first we open a garage…
November 8, 2025 at 6:54 PM
Hear me out, first we open a garage…
I’m wondering if there’s a more authentic way to get one than just eBay
November 8, 2025 at 6:51 PM
I’m wondering if there’s a more authentic way to get one than just eBay
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.
That’s where we got it!
November 1, 2025 at 1:16 AM
That’s where we got it!
We also did full size this year. It’s really nice if you don’t get a ton floor trick or treaters.
October 31, 2025 at 11:52 PM
We also did full size this year. It’s really nice if you don’t get a ton floor trick or treaters.
I’m using Tailscale for remote access. Hadn’t considered using it for configuring stuff on the local network.
October 28, 2025 at 10:12 PM
I’m using Tailscale for remote access. Hadn’t considered using it for configuring stuff on the local network.