zackbach.bsky.social
Undergraduate programming languages researcher @ Northeastern PRL Logic, types, compilers, categories
👤 Joined on 12 January 2025
Followers
Following
Total Posts
@zackbach.bsky.socialUsing Apple's Numbers for the first time, and simply CANNOT convince it that "Jan" is a name, not "January". I tried to trick it in several different ways. At one point it even came back to me as "1/1/2026". Clearly Apple didn't want Excel to have all the fun destroying data.
Show Post"a function is literally anything it's basically nothing" - my friend while studying probability
Show PostSeems like a good time as any to say I'm: (1) moving to New York next week, where I'll: (2) be writing OxCaml at Jane Street! Excited to start the next thing :)
Show PostSuccessfully defended my dissertation today. Now Dr. Joe!
Show Postinspired by CLAUDE.md, I’ve started putting markdown files named after coworkers into work code repos so I can remind them to stop doing shit to the codebase that annoys me for some reason they’re all mad at me now, which means ill be adding commands to JEREMY.md for an attitude adjustment
Show Post