Alexander Bandukwala's Avatar

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

748
Followers
730
Following
1,751
Posts
01.07.2023
Joined
Posts Following

Latest posts by Alexander Bandukwala @bandukwala.me

Post image

> @covie93.bsky.social

28.02.2026 16:11 πŸ‘ 25944 πŸ” 5449 πŸ’¬ 247 πŸ“Œ 188

β€œ I want to spend exactly as much time reading it as I'd spend on a website's terms of service before accepting.”

I am doing this but not in the direction I think you want.

28.02.2026 04:16 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Preview
Hazel Lively Typed Tables The aim of this research study is to evaluate components of a Tabular Programming System implemented as a part of Hazel. Completing this survey indicates your non-binding interest in participating in ...

Your participation will involve completing programming tasks using the prototype.

We’re especially looking for folks with experience in statically typed functional languages (OCaml, Haskell, Scala, F#, Rust, etc.).

27.02.2026 19:16 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I’m looking for participants for a paid user study on a prototype system for tabular programming (programming with tables / data frames).
2 hours β€’ $50 Visa prepaid card
Hoping to finish sessions by March 13.
Details + sign up in 🧡
Reposts appreciated! πŸ™

27.02.2026 19:16 πŸ‘ 7 πŸ” 12 πŸ’¬ 1 πŸ“Œ 0

About to put this agent on a PIP

27.02.2026 15:31 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

OH: as a research lab i'm quite comfortable backporting the future

26.02.2026 22:20 πŸ‘ 14 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

Me being healthy: I'll have 1 piece of tilapia instead of 2
Me earlier that day: I'll have a 1010 calorie milkshake at shake shack

26.02.2026 21:57 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Dejan MiličiΔ‡ - Unison: A New Programming Paradigm
Dejan MiličiΔ‡ - Unison: A New Programming Paradigm Unison is a pure functional language introducing a groundbreaking concept: content-addressed code. On top of the well-known advantages of functional programm...

πŸŽ₯ New conference recording from the Unison community!

A deep dive into content-addressed code and how it changes refactoring, dependency management, and remote code execution.

🌟 Dejan's keynote is one to watch!

www.youtube.com/watch?v=mQHo...

26.02.2026 18:10 πŸ‘ 11 πŸ” 7 πŸ’¬ 0 πŸ“Œ 0

Why are we using AI to create podcasts instead of using it to create chapter markers

24.02.2026 21:49 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I knew software development would come down to who was the best at tmux and readline

24.02.2026 21:05 πŸ‘ 7 πŸ” 0 πŸ’¬ 1 πŸ“Œ 1

I got a 45" ultrawide and this is the closest I've felt to vr

24.02.2026 20:46 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

"Package Managers Γ  la Carte, A Formal Model of Dependency Resolution" preprint out today: a new package calculus to describe the cambrian explosion of systems that exist today arxiv.org/pdf/2602.18602 lead by @ryan.freumh.org

24.02.2026 09:29 πŸ‘ 22 πŸ” 9 πŸ’¬ 2 πŸ“Œ 0

Why do I have to pretend that I'm going to print something in order to save it as a PDF. Why do I have to engage in a little ruse.

23.02.2026 21:43 πŸ‘ 19287 πŸ” 2923 πŸ’¬ 344 πŸ“Œ 1

I wish .sketchy was a tld

21.02.2026 23:13 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I don't even know if this is using any "fancy" ai. It does it on the beat but a few bars before the song ends which is absolutely insane. Also cross-fades songs with completely different tones.

20.02.2026 16:37 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
AutoMix
Songs transition at the perfect moment, based on analysis of the key and tempo of the music.

AutoMix Songs transition at the perfect moment, based on analysis of the key and tempo of the music.

The worst feature of Apple Music

20.02.2026 00:26 πŸ‘ 2 πŸ” 0 πŸ’¬ 3 πŸ“Œ 0
Video thumbnail

Do you make drag-and-drop interfaces? Or do you wish you did, but they're just too hard?

We're working on a new way to drag & drop! Wanna try it out? Join our study – we'll ask you about your drag-and-drop experiences, and get your hands on the prototype.

Join here: forms.gle/J82tFtu6DqS8.... πŸ™!

17.02.2026 23:25 πŸ‘ 118 πŸ” 21 πŸ’¬ 3 πŸ“Œ 1

We need the why-combinator

18.02.2026 19:25 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Dow is below 50,000 πŸ€”

17.02.2026 20:23 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Can’t believe we are still doing this

15.02.2026 14:03 πŸ‘ 6130 πŸ” 1279 πŸ’¬ 60 πŸ“Œ 24

Why not triple luge?

15.02.2026 03:42 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I am now liminary

15.02.2026 01:09 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Lab trip to Stockholm

14.02.2026 01:07 πŸ‘ 4 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Evil business idea: tracing card packs but its visa prepaid gift cards with random amounts

13.02.2026 20:22 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Going to try to convince Maddie we should just play Tony Hawk Pro Skater 2 for Valentine’s Day

13.02.2026 19:42 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I have no reason to be a hater but it feels like it lacks conviction.

13.02.2026 19:15 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Spider noir being available in black and white or color feels off to me

13.02.2026 19:00 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Not actually a Number

12.02.2026 18:18 πŸ‘ 5 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
The program (1.0/.0.0, 0./.0., (0-.1.0) /.0) in hazel evaluating to 

(∞, πŸ«“, -∞)

The program (1.0/.0.0, 0./.0., (0-.1.0) /.0) in hazel evaluating to (∞, πŸ«“, -∞)

πŸͺ„

12.02.2026 18:17 πŸ‘ 7 πŸ” 0 πŸ’¬ 0 πŸ“Œ 1

Thinking about replacing every instance of NaN in Hazel with πŸ«“

12.02.2026 15:39 πŸ‘ 11 πŸ” 2 πŸ’¬ 1 πŸ“Œ 0