Nintendo .DS_Store
@slim.bsky.social
Pidgin algebraist, baseball influencer https://slim.computer
Pinned
Nintendo .DS_Store
@slim.bsky.social
· Jul 8
Slides are up for my magnum opus slim.computer/assets/teach...
@rockerskating.com where are you we need you to report a grand larceny (Rino's components)
November 21, 2025 at 4:16 PM
@rockerskating.com where are you we need you to report a grand larceny (Rino's components)
I am terrified of conventionally hot people because I assume they're going to kill me, but you'd never know it from the deftness with which I fabricate a more substantive justification for my unease!
November 20, 2025 at 4:02 PM
I am terrified of conventionally hot people because I assume they're going to kill me, but you'd never know it from the deftness with which I fabricate a more substantive justification for my unease!
Livetweeting #GPFigure #FinlandiaTrophy for a bit so nerds feel free to mute me/this thread
November 20, 2025 at 11:23 AM
Livetweeting #GPFigure #FinlandiaTrophy for a bit so nerds feel free to mute me/this thread
and yet a trace of the true self
exists in the false self
exists in the false self
November 20, 2025 at 3:58 AM
and yet a trace of the true self
exists in the false self
exists in the false self
I started furiously listening to Mayday on repeat bc my (Taiwanese) mom commented that my accent has gotten more PRC-sounding. But now whenever she says anything to me I respond by belting out 「那一天 那一刻那個場景/你出現在我生命～」 and she thinks I'm doing a stereotype. Does anyone have advice?
November 19, 2025 at 12:28 PM
I started furiously listening to Mayday on repeat bc my (Taiwanese) mom commented that my accent has gotten more PRC-sounding. But now whenever she says anything to me I respond by belting out 「那一天 那一刻那個場景/你出現在我生命～」 and she thinks I'm doing a stereotype. Does anyone have advice?
Business Algebraist at McKinsey and Company
November 19, 2025 at 10:07 AM
Business Algebraist at McKinsey and Company
LAX gate 52 ("the Eagle's nest") was clearly conceived as a malediction against heap allocation. They ran out of space in the terminals proper, so "gate" 52 is actually a bus through utter no man's land to an abject satellite building with subscripted gates 52A-52I
November 18, 2025 at 2:05 PM
LAX gate 52 ("the Eagle's nest") was clearly conceived as a malediction against heap allocation. They ran out of space in the terminals proper, so "gate" 52 is actually a bus through utter no man's land to an abject satellite building with subscripted gates 52A-52I
Congratulations to Yoshinobu Yamamoto on being the first baseball player in MLB history to win the World Series alone!
November 2, 2025 at 4:23 AM
Congratulations to Yoshinobu Yamamoto on being the first baseball player in MLB history to win the World Series alone!
I'm delivering tremendous value in the enterprise Slack
October 29, 2025 at 8:43 PM
I'm delivering tremendous value in the enterprise Slack
New blug: feeling like I’ve gotten better at conceptualizing and worse at verbalizing over time
October 29, 2025 at 5:10 AM
New blug: feeling like I’ve gotten better at conceptualizing and worse at verbalizing over time
@danabra.mov relevant to your interests types.pl/@markusde@ma...
types.pl
types.pl
October 29, 2025 at 5:07 AM
@danabra.mov relevant to your interests types.pl/@markusde@ma...
World Series Game 1: Dodgers @ Blue Jays (W, 11-4)
We recently got a television off Marketplace Zuckerberg. The main challenge is remembering to look at the screen, because I'll be focused on my scoresheet while listening attentively to the announcers and then forget to actually watch.
We recently got a television off Marketplace Zuckerberg. The main challenge is remembering to look at the screen, because I'll be focused on my scoresheet while listening attentively to the announcers and then forget to actually watch.
October 25, 2025 at 4:20 AM
World Series Game 1: Dodgers @ Blue Jays (W, 11-4)
We recently got a television off Marketplace Zuckerberg. The main challenge is remembering to look at the screen, because I'll be focused on my scoresheet while listening attentively to the announcers and then forget to actually watch.
We recently got a television off Marketplace Zuckerberg. The main challenge is remembering to look at the screen, because I'll be focused on my scoresheet while listening attentively to the announcers and then forget to actually watch.
My work laptop just force-updated to macOS Tahoe and it's an enormous blast from the past because I once used Glasklart on my jailbroken iPod touch
October 24, 2025 at 5:54 PM
My work laptop just force-updated to macOS Tahoe and it's an enormous blast from the past because I once used Glasklart on my jailbroken iPod touch
WiFi didn't work on the flight home, so I had no choice but to spend seven hours listening to West Side Story (1961 and 2009 cast recordings obvi) ᕕ( ᐛ )ᕗ
October 20, 2025 at 4:49 PM
WiFi didn't work on the flight home, so I had no choice but to spend seven hours listening to West Side Story (1961 and 2009 cast recordings obvi) ᕕ( ᐛ )ᕗ
LET'S GOOOO
We have a shiny new website courtesy of @spiralganglion.com and @seaofclouds.com 🙌
🚀 Check it out: automerge.org
🚀 Check it out: automerge.org
October 18, 2025 at 12:18 PM
LET'S GOOOO
Reposted by Nintendo .DS_Store
The video recording of my ICFP 2025 keynote talk Functional Programming for Hardware Design is up on YouTube. www.youtube.com/watch?v=1oBO...
[ICFP/SPLASH'25] Orchid Plenary Ballroom - ICFP Papers and Events (Oct 13th)
YouTube video by ACM SIGPLAN
www.youtube.com
October 15, 2025 at 7:56 AM
The video recording of my ICFP 2025 keynote talk Functional Programming for Hardware Design is up on YouTube. www.youtube.com/watch?v=1oBO...
I miss PL Twitter so much. There has truly been no replacement. We're fragmented now across three websites, and it sucks!!
October 15, 2025 at 8:44 AM
I miss PL Twitter so much. There has truly been no replacement. We're fragmented now across three websites, and it sucks!!
I really do think West Side Story is the superlative American composition of the 20th century, and I am ordinarily not into musicals or even vocals. I've spent probably thousands of hours listening to the score, and I still grow verklempt from Bernstein's passion and harmonic creativity every time
September 25, 2025 at 7:10 AM
I really do think West Side Story is the superlative American composition of the 20th century, and I am ordinarily not into musicals or even vocals. I've spent probably thousands of hours listening to the score, and I still grow verklempt from Bernstein's passion and harmonic creativity every time
A lifetime of media underrepresentation has left me wholly unprepared for this moment. My head is spinning; I don't know how to respond
September 5, 2025 at 6:21 AM
A lifetime of media underrepresentation has left me wholly unprepared for this moment. My head is spinning; I don't know how to respond
AI-based frontend development has the same problems as Dreamweaver-era WYSIWYG editors: you're supposed to be able to manually edit the HTML, but in practice you absolutely cannot because each seemingly-innocuous change produces fifty <span> </span> elements and invisible tables under the hood
September 4, 2025 at 1:39 AM
AI-based frontend development has the same problems as Dreamweaver-era WYSIWYG editors: you're supposed to be able to manually edit the HTML, but in practice you absolutely cannot because each seemingly-innocuous change produces fifty <span> </span> elements and invisible tables under the hood
I went to a baseball game alone on Friday night, and it was the most fun I've had in recent memory!! I found a great ticket on last-minute resale. Brought my radio and scored the entire game listening to the broadcast with one earbud in. Giants won, and there was a Pokémon drone show afterwards!
September 1, 2025 at 2:26 AM
I went to a baseball game alone on Friday night, and it was the most fun I've had in recent memory!! I found a great ticket on last-minute resale. Brought my radio and scored the entire game listening to the broadcast with one earbud in. Giants won, and there was a Pokémon drone show afterwards!
Wait so in frontend land, "headless" just means "minimally-styled"?
August 28, 2025 at 7:07 PM
Wait so in frontend land, "headless" just means "minimally-styled"?
Reposted by Nintendo .DS_Store
I live for ideas. Nobody wants them. I live to see you need them.
August 25, 2025 at 1:52 AM
I live for ideas. Nobody wants them. I live to see you need them.
These days I only log onto this website to get the latest updates on Dan's type theory journey
August 19, 2025 at 11:45 PM
These days I only log onto this website to get the latest updates on Dan's type theory journey
Actually infuriating how the NYT keeps adding games and leaderboards for everything except the crossword and sudoku
August 18, 2025 at 9:56 PM
Actually infuriating how the NYT keeps adding games and leaderboards for everything except the crossword and sudoku