a ton of crates
@tonofcrates.bsky.social
don't know how to reconcile that i like working in coffee shops but also "study hall" is a horrible vibe
November 10, 2025 at 8:13 PM
don't know how to reconcile that i like working in coffee shops but also "study hall" is a horrible vibe
i hate doing cursed web development. what do you mean i can't use webassembly to dynamically decompress a zip file in a service worker for requests intercepted an iframe
November 9, 2025 at 5:10 PM
i hate doing cursed web development. what do you mean i can't use webassembly to dynamically decompress a zip file in a service worker for requests intercepted an iframe
- Vannevar Kush
As We May Toke
November 9, 2025 at 5:07 PM
- Vannevar Kush
ya our garbage collection is actually web scale
October 28, 2025 at 9:51 PM
ya our garbage collection is actually web scale
and really an emperor is not a king either, so
CHOTINER: So you're attending a No Kings protest today.
ME: That's right.
CHOTINER: But according to Steam, you've played over 450 hours of Crusader Kings 3.
ME: Okay, well- Now hold on. That's sort of unfair.
CHOTINER: Oh?
ME: Sometimes I play as a duke or a count.
CHOTINER: I see.
ME: That's right.
CHOTINER: But according to Steam, you've played over 450 hours of Crusader Kings 3.
ME: Okay, well- Now hold on. That's sort of unfair.
CHOTINER: Oh?
ME: Sometimes I play as a duke or a count.
CHOTINER: I see.
October 18, 2025 at 5:47 PM
and really an emperor is not a king either, so
generational report from boston no kings:
- boomers: unhinged facebook resistlib signs
- gen x: generic no kings signs
- millennials: andor or hamilton meme signs
- gen z: inflatable costumes and signs with inscrutable references
- boomers: unhinged facebook resistlib signs
- gen x: generic no kings signs
- millennials: andor or hamilton meme signs
- gen z: inflatable costumes and signs with inscrutable references
October 18, 2025 at 5:35 PM
generational report from boston no kings:
- boomers: unhinged facebook resistlib signs
- gen x: generic no kings signs
- millennials: andor or hamilton meme signs
- gen z: inflatable costumes and signs with inscrutable references
- boomers: unhinged facebook resistlib signs
- gen x: generic no kings signs
- millennials: andor or hamilton meme signs
- gen z: inflatable costumes and signs with inscrutable references
Reposted by a ton of crates
I am recruiting PhD students to start in 2026! If you are interested in robustness, training dynamics, interpretability for scientific understanding, or the science of LLM analysis you should apply. BU is building a huge LLM analysis/interp group and you’ll be joining at the ground floor.
Life update: I'm starting as faculty at Boston University
@bucds.bsky.social in 2026! BU has SCHEMES for LM interpretability & analysis, I couldn't be more pumped to join a burgeoning supergroup w/ @najoung.bsky.social @amuuueller.bsky.social. Looking for my first students, so apply and reach out!
@bucds.bsky.social in 2026! BU has SCHEMES for LM interpretability & analysis, I couldn't be more pumped to join a burgeoning supergroup w/ @najoung.bsky.social @amuuueller.bsky.social. Looking for my first students, so apply and reach out!
October 16, 2025 at 3:45 PM
I am recruiting PhD students to start in 2026! If you are interested in robustness, training dynamics, interpretability for scientific understanding, or the science of LLM analysis you should apply. BU is building a huge LLM analysis/interp group and you’ll be joining at the ground floor.
ah, erm, yes... i am actually quite parallel. it's a little embarrassing
October 15, 2025 at 9:52 PM
ah, erm, yes... i am actually quite parallel. it's a little embarrassing
an old man sits in the next row, watching fox news on the inflight tv. a pallid student speaks through airpods to a blonde anchor. the passenger, bored, pulls up TikTok. a young woman dances in an american flag bikini. swipe, it's sora footage of mr rogers talking to elvis presley. he lingers. swipe
October 10, 2025 at 1:14 PM
an old man sits in the next row, watching fox news on the inflight tv. a pallid student speaks through airpods to a blonde anchor. the passenger, bored, pulls up TikTok. a young woman dances in an american flag bikini. swipe, it's sora footage of mr rogers talking to elvis presley. he lingers. swipe
i regret to inform you that the next 700 programming languages are going to be "types with baggage"
October 4, 2025 at 6:49 PM
i regret to inform you that the next 700 programming languages are going to be "types with baggage"
"X% of code written by AI" seems like a silly metric without asking:
- how much of your code is written by other people
- how much of your code is written by the compiler
- how much of your code is written by other people
- how much of your code is written by the compiler
September 29, 2025 at 5:34 PM
"X% of code written by AI" seems like a silly metric without asking:
- how much of your code is written by other people
- how much of your code is written by the compiler
- how much of your code is written by other people
- how much of your code is written by the compiler
✅ ᴛᴇꜱᴛꜱ ᴘᴀꜱꜱᴇᴅ
✅ ʙᴜɢ ꜰɪxᴇᴅ
✅ ᴜɪ ᴛᴡᴇᴀᴋᴇᴅ
✅ ᴘʀᴏᴅ ʀᴇᴀᴅʏ
✅ ʙᴜɢ ꜰɪxᴇᴅ
✅ ᴜɪ ᴛᴡᴇᴀᴋᴇᴅ
✅ ᴘʀᴏᴅ ʀᴇᴀᴅʏ
September 28, 2025 at 10:26 PM
✅ ᴛᴇꜱᴛꜱ ᴘᴀꜱꜱᴇᴅ
✅ ʙᴜɢ ꜰɪxᴇᴅ
✅ ᴜɪ ᴛᴡᴇᴀᴋᴇᴅ
✅ ᴘʀᴏᴅ ʀᴇᴀᴅʏ
✅ ʙᴜɢ ꜰɪxᴇᴅ
✅ ᴜɪ ᴛᴡᴇᴀᴋᴇᴅ
✅ ᴘʀᴏᴅ ʀᴇᴀᴅʏ
there's a kind of brain damage that turns you into an LLM. cool cool cool
September 23, 2025 at 1:12 PM
there's a kind of brain damage that turns you into an LLM. cool cool cool
epub to kindle converter producing some solid poetry
September 1, 2025 at 1:26 PM
epub to kindle converter producing some solid poetry
lesson learned: pick your handle carefully
The systems group decided to welcome @tonofcrates.bsky.social to @browncsdept.bsky.social by filling his office with a … ton of crates. Way to get him, Carolyn and Justus!
August 28, 2025 at 10:16 PM
lesson learned: pick your handle carefully
Reposted by a ton of crates
No Country for Corporate Memphis
August 26, 2025 at 8:06 PM
No Country for Corporate Memphis
you: wow symbolic execution is the wave of the future
me:
me:
August 15, 2025 at 11:11 PM
you: wow symbolic execution is the wave of the future
me:
me:
i owe you an apology Queen Belessunu of Babylonia, i wasn't really familiar with your game
August 13, 2025 at 6:43 PM
i owe you an apology Queen Belessunu of Babylonia, i wasn't really familiar with your game
my most gamer trait is that i will put on some shit like Animal Crossing Lofi Hiphop Chill Music and instantly become 20% more relaxed and happy
August 4, 2025 at 2:59 PM
my most gamer trait is that i will put on some shit like Animal Crossing Lofi Hiphop Chill Music and instantly become 20% more relaxed and happy
separation logic renderers
🤝
anti-aliasing
🤝
anti-aliasing
August 4, 2025 at 1:00 PM
separation logic renderers
🤝
anti-aliasing
🤝
anti-aliasing
when my food wrapper says ᴄᴏɴᴛᴀɪɴꜱ ʙɪᴏᴇɴɢɪɴᴇᴇʀᴇᴅ ɪɴɢʀᴇᴅɪᴇɴᴛꜱ i whisper back hell yeah, brother
July 29, 2025 at 8:43 PM
when my food wrapper says ᴄᴏɴᴛᴀɪɴꜱ ʙɪᴏᴇɴɢɪɴᴇᴇʀᴇᴅ ɪɴɢʀᴇᴅɪᴇɴᴛꜱ i whisper back hell yeah, brother
what's stupid about "upskill w/ AI or die" is that we're currently talking about at best a ~25% productivity gain. that's probably in the same category as "learning all your IDE features", but govts / corps aren't in a full panic to push LSP onto everyone
July 29, 2025 at 4:59 PM
what's stupid about "upskill w/ AI or die" is that we're currently talking about at best a ~25% productivity gain. that's probably in the same category as "learning all your IDE features", but govts / corps aren't in a full panic to push LSP onto everyone
it rocks to give your job talk in a non-judgmental setting
July 25, 2025 at 8:37 PM
it rocks to give your job talk in a non-judgmental setting
possibly *the* foundational problem in program analysis is complexity cliffs: usability is not linear. once your program surpasses a threshold of complexity, everything goes to hell.
- type errors become useless
- program slicers miss dependencies
- SMT solver heuristics give way to O(2^n)
- etc
- type errors become useless
- program slicers miss dependencies
- SMT solver heuristics give way to O(2^n)
- etc
July 21, 2025 at 9:17 PM
possibly *the* foundational problem in program analysis is complexity cliffs: usability is not linear. once your program surpasses a threshold of complexity, everything goes to hell.
- type errors become useless
- program slicers miss dependencies
- SMT solver heuristics give way to O(2^n)
- etc
- type errors become useless
- program slicers miss dependencies
- SMT solver heuristics give way to O(2^n)
- etc