"I just preferred the pacing of the book. The main character's arc felt a lot more believable," I say, taking another huge bite of my Uncrustable as my interlocutor nods on appreciatively
Nintendo .DS_Store
@slim.bsky.social
Pidgin algebraist, baseball influencer https://slim.computer
My talk "Concrete syntax matters, actually" from the Topos Institute Colloquium is now available! www.youtube.com/watch?v=kQjr...
Slim Lim: "Concrete syntax matters, actually"
YouTube video by Topos Institute
youtube.com
and yet a trace of the true 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?
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!
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
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.
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) ᕕ( ᐛ )ᕗ
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
youtube.com
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
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
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"?
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
Actually infuriating how the NYT keeps adding games and leaderboards for everything except the crossword and sudoku
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??
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