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...
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
Reposted by Nintendo .DS_Store
people often ask me why i’m into this stuff and how it helps software development, and like… i don’t know if it does? i’m not doing it for any practical purpose. i just think it’s a privilege to visit the infinite land
August 17, 2025 at 4:00 PM
people often ask me why i’m into this stuff and how it helps software development, and like… i don’t know if it does? i’m not doing it for any practical purpose. i just think it’s a privilege to visit the infinite land
What are things to do in Anaheim other than Disneyland??
August 15, 2025 at 8:32 AM
What are things to do in Anaheim other than Disneyland??
iconic bakery miscommunication
August 4, 2025 at 1:21 AM
iconic bakery miscommunication
Update: I'm experiencing my first MLB trade deadline and I don't like baseball anymore. Apparently losing isn't bad enough; you also have to send all your favorite players away??? Wtf!!!
July 31, 2025 at 7:38 AM
Update: I'm experiencing my first MLB trade deadline and I don't like baseball anymore. Apparently losing isn't bad enough; you also have to send all your favorite players away??? Wtf!!!
Just found out "vibe-coding" is not "looking at a program and assigning it a natural number based on its chakras" wtf
July 22, 2025 at 9:16 PM
Just found out "vibe-coding" is not "looking at a program and assigning it a natural number based on its chakras" wtf
Would I enjoy Cyberpunk 2077 if I love exploring vast open worlds, especially urban ones, but don't particularly care about combat or getting tons of weapons? In BotW/TotK I just explored a lot and often avoided combat situations until I was OP enough for them
July 18, 2025 at 6:44 PM
Would I enjoy Cyberpunk 2077 if I love exploring vast open worlds, especially urban ones, but don't particularly care about combat or getting tons of weapons? In BotW/TotK I just explored a lot and often avoided combat situations until I was OP enough for them
I would actually be an incredibly effective governess
July 18, 2025 at 1:18 AM
I would actually be an incredibly effective governess