> @covie93.bsky.social
@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
> @covie93.bsky.social
β 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.
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.).
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! π
About to put this agent on a PIP
OH: as a research lab i'm quite comfortable backporting the future
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
π₯ 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...
Why are we using AI to create podcasts instead of using it to create chapter markers
I knew software development would come down to who was the best at tmux and readline
I got a 45" ultrawide and this is the closest I've felt to vr
"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
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.
I wish .sketchy was a tld
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.
AutoMix Songs transition at the perfect moment, based on analysis of the key and tempo of the music.
The worst feature of Apple Music
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.... π!
We need the why-combinator
Dow is below 50,000 π€
Canβt believe we are still doing this
Why not triple luge?
I am now liminary
Lab trip to Stockholm
Evil business idea: tracing card packs but its visa prepaid gift cards with random amounts
Going to try to convince Maddie we should just play Tony Hawk Pro Skater 2 for Valentineβs Day
I have no reason to be a hater but it feels like it lacks conviction.
Spider noir being available in black and white or color feels off to me
Not actually a Number
The program (1.0/.0.0, 0./.0., (0-.1.0) /.0) in hazel evaluating to (β, π«, -β)
πͺ
Thinking about replacing every instance of NaN in Hazel with π«