Sign in

Nintendo .DS_Store

@slim.bsky.social
1.8K followers 61 following 538 posts

Pidgin algebraist, baseball influencer slim.computer

PostsRepliesMedia
Nintendo .DS_Store @slim.bsky.social · 28/04/2026
"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
An upright collection of coffee table art books, including National Geographic's "Spectacle," Lonely Planet's "The Place to Be," Thames & Hudson's "What is Painting?" by Julian Bell (title typeset in Lydian so you know they're angling for a specific Vibe). Amid the serene blue spines stands a comparably-sized bright yellow entry published by DK, titled "THE BEE BOOK" in bold black lettering.
060
Reposted by Nintendo .DS_Store
Nintendo .DS_Store @slim.bsky.social · 01/01/2025
thank you all for joining me on 2024, a space odyssey
A three-panel photo strip captioned "Me on new year". [23:59] A woman in a yellow tank top and tight braided bun sits at a desk, typing in front of an older desktop computer. [0:00] The woman turns away from the computer towards the camera, smiling and making "peace" signs with both hands. [0:01] The woman has returned to working on the computer. In fact, this panel is identical to the 23:59 photo.
0401
Nintendo .DS_Store @slim.bsky.social · 13/12/2025
My talk "Concrete syntax matters, actually" from the Topos Institute Colloquium is now available! www.youtube.com/watch?v=kQjr...
youtube.com
Slim Lim: "Concrete syntax matters, actually"
YouTube video by Topos Institute
0314
Nintendo .DS_Store @slim.bsky.social · 20/11/2025
and yet a trace of the true self exists in the false self
Photo taken in a MUJI store of a hand holding up a clear packet containing a wool-felted sheep ornament. Both "Animal Sheep" and "wool felt" are labeled on the packaging
0170
Nintendo .DS_Store @slim.bsky.social · 19/11/2025
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?
010
Nintendo .DS_Store @slim.bsky.social · 19/11/2025
Business Algebraist at McKinsey and Company
080
Nintendo .DS_Store @slim.bsky.social · 18/11/2025
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
150
Nintendo .DS_Store @slim.bsky.social · 02/11/2025
Congratulations to Yoshinobu Yamamoto on being the first baseball player in MLB history to win the World Series alone!
1180
Nintendo .DS_Store @slim.bsky.social · 29/10/2025
I'm delivering tremendous value in the enterprise Slack
Slack thread in #all-water-cooler: this past weekend some friends invited me to watch the first game of the world series, in part so i could learn how to watch baseball.

they kept recommending a slide deck which explained how the game worked, made by "some rando on the internet".
this is what they shared with me:
https://slim.computer/assets/teaching/ baseball.pdf

at first i thought maybe this deck was made by some other person who happened to call themselves "slim lim".
but after a few slides i was convinced it was made by our own @sliminal and eerie.

28 :slim: reacts
081
Nintendo .DS_Store @slim.bsky.social · 29/10/2025
New blug: feeling like I’ve gotten better at conceptualizing and worse at verbalizing over time
 I don’t know how this works for everyone else, so here’s an example: suppose I’m engaged in a back-and-forth with a knowledgeable interlocutor on a reasonably nuanced topic, say, baseball or the desired behavior of a particular programming language construct or why a particular person we both know behaves the way they do. Or suppose I’m reading a blog post that lays out a multifaceted argument in favor of some proposal. As soon as I understand what the person is saying (which is very much not a given), an entire response—enthusiastic partial agreement, hesitant elaboration, and multi-subpoint refutation framed by indignation—materializes all at once within my body in pre-linguistic form, and I feel overwhelmed trying to even capture it for myself, let alone convey it to another party. In practice, this usually manifests as me staring into space while speaking comically slowly, or stammering and replacing words with noises which, to me, capture the underlying emotion and therefore both denotation and connotation, but to everyone else just sound like noises. A far cry from the supposedly “articulate” communication my teachers once commended!
3150
Nintendo .DS_Store @slim.bsky.social · 29/10/2025
@danabra.mov relevant to your interests types.pl/@markusde@ma...
types.pl
types.pl
030
Nintendo .DS_Store @slim.bsky.social · 25/10/2025
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.
Scorebook filled out in pencil for the Toronto Blue Jays' (Yesavage) 11-4 win at home over the Los Angeles Dodgers (Snell) in Game 1 of the 2025 World Series, October 24. The Dodgers took an early lead in the 2nd and 3rd inning on a series of walks and singles, until the Jays' center fielder Varsho tied the game with a two-run home run in the 4th. The score remained even until the top of the 6th, when the Dodgers' starting pitcher Snell loaded the bases with no outs on a walk, hit, and hit by pitch. This prompted a Dodgers bullpen implosion, allowing the Blue Jays to score 9 runs in the 6th inning across 12 plate appearances. Notably, the Jays' Addison Barger accomplished the first pinch-hit grand slam in World Series history during this inning.
3220
Nintendo .DS_Store @slim.bsky.social · 24/10/2025
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
140
Nintendo .DS_Store @slim.bsky.social · 20/10/2025
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) ᕕ( ᐛ )ᕗ
070
Nintendo .DS_Store @slim.bsky.social · 18/10/2025
LET'S GOOOO
080
Reposted by Nintendo .DS_Store
Satnam Singh @satnam6502.bsky.social · 15/10/2025
The video recording of my ICFP 2025 keynote talk Functional Programming for Hardware Design is up on YouTube. www.youtube.com/watch?v=1oBO...
youtube.com
[ICFP/SPLASH'25] Orchid Plenary Ballroom - ICFP Papers and Events (Oct 13th)
YouTube video by ACM SIGPLAN
1225
Nintendo .DS_Store @slim.bsky.social · 15/10/2025
I miss PL Twitter so much. There has truly been no replacement. We're fragmented now across three websites, and it sucks!!
2311
Nintendo .DS_Store @slim.bsky.social · 25/09/2025
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
150
Nintendo .DS_Store @slim.bsky.social · 05/09/2025
A lifetime of media underrepresentation has left me wholly unprepared for this moment. My head is spinning; I don't know how to respond
140
Nintendo .DS_Store @slim.bsky.social · 04/09/2025
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>&nbsp;</span> elements and invisible tables under the hood
2231
Nintendo .DS_Store @slim.bsky.social · 01/09/2025
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!
View of the infield from my seat, about 13 rows back and a section past 3rd base. Holding a tray of lumpia in the foregroundPostgame Jumbotron showing the final score of Oreos 8 runs, 10 hits, 3 errors and Giants 15 runs, 18 hits, 0 errors. Season high runs scored! Fans clad in orange-and-black (incidentally the colors of both teams) standing jubilant against the night skyA drone conflagration forming a 3D Pokéball and the text "Gotcha!" in the night sky, framed by a yellow foul pole and conspicuously-named Bank of America arcade seatsAn open scorebook with the game details penciled in, showing 15 runs scored by the giants, and a transparent Sangean pocket radio with an attached monobud
2351
Nintendo .DS_Store @slim.bsky.social · 28/08/2025
Wait so in frontend land, "headless" just means "minimally-styled"?
240
Reposted by Nintendo .DS_Store
Conor Titania Mc Bride @pigworker.bsky.social · 25/08/2025
I live for ideas. Nobody wants them. I live to see you need them.
082
Nintendo .DS_Store @slim.bsky.social · 20/08/2025
These days I only log onto this website to get the latest updates on Dan's type theory journey
2110
Nintendo .DS_Store @slim.bsky.social · 18/08/2025
Actually infuriating how the NYT keeps adding games and leaderboards for everything except the crossword and sudoku
020
Reposted by Nintendo .DS_Store
dan @danabra.mov · 17/08/2025
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
2422
Nintendo .DS_Store @slim.bsky.social · 15/08/2025
What are things to do in Anaheim other than Disneyland??
200
Nintendo .DS_Store @slim.bsky.social · 04/08/2025
iconic bakery miscommunication
A strawberry shortcake covered in white frosting. The perimeter is decorated with strawberry halves and red-green strawberry-shaped frosting blobs. "Happy Birthday Pandoc!" is written in red cursive icing.
0190
Nintendo .DS_Store @slim.bsky.social · 31/07/2025
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!!!
060
Nintendo .DS_Store @slim.bsky.social · 22/07/2025
Just found out "vibe-coding" is not "looking at a program and assigning it a natural number based on its chakras" wtf
0133
Nintendo .DS_Store @slim.bsky.social · 18/07/2025
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
220
Nintendo .DS_Store @slim.bsky.social · 18/07/2025
I would actually be an incredibly effective governess
040
Nintendo .DS_Store @slim.bsky.social · 16/07/2025
I really wish the dominant ethos of expository materials was less "here's why topic X is actually super simple" and more of "you—yes, you!—are capable of understanding difficult things"
1283
Nintendo .DS_Store @slim.bsky.social · 15/07/2025
Are there any good software packages or libraries for building web-based code comprehension user studies?
110
Nintendo .DS_Store @slim.bsky.social · 14/07/2025
I'm at a wedding attended by a nontrivial number of /r/Pokemon moderators, but I can't actually tell who they are irl so this is a high-risk/high-reward situation
0170
Nintendo .DS_Store @slim.bsky.social · 12/07/2025
Sf has no good places for late-night studying and this is to its profound detriment
150
Nintendo .DS_Store @slim.bsky.social · 11/07/2025
Say what you will about baseball, but none of these people are feigning interest bc they think it will make them look smarter or more high-status, and I think that's beautiful
170
Nintendo .DS_Store @slim.bsky.social · 11/07/2025
My mom once texted me a world map depicting average IQ by country, sister responded "where's this data from? it seems biased towards Western countries," and my mom responded "IQ tests themself are Western." This happened a year ago and I still have NO idea how to interpret the whole interaction
140
Nintendo .DS_Store @slim.bsky.social · 11/07/2025
Current physical goals in progress, as of 29th birthday: - Front splits (open, to start) - Pistol squat - Write/chopsticks with left hand - Roll my R's
180
Nintendo .DS_Store @slim.bsky.social · 11/07/2025
I have learned, by asking this question in complete earnestness, that the easiest way to upset an American football fan is to ask if it's just like baseball but with the bases stretched out in a taut line
070
Nintendo .DS_Store @slim.bsky.social · 11/07/2025
Studying furiously for an upcoming Cubs game. So far the team appears to revolve around a star player named Principal Component Analysis
071
Nintendo .DS_Store @slim.bsky.social · 11/07/2025
Has anyone tried to learn to write with their other hand? Any advice?
210
Nintendo .DS_Store @slim.bsky.social · 09/07/2025
Baseball is western civilization's greatest contribution to the world after, like, Girard and the A=440 orchestral tuning standard
080
Nintendo .DS_Store @slim.bsky.social · 09/07/2025
it kinda feels like everyone I talk to on here is also on Mastodon, along with way more PL people, and I should maybe just go back there
5100
Nintendo .DS_Store @slim.bsky.social · 09/07/2025
Not enough people have considered this
Slide from a Patrick Cousot talk at LICS 2014, titled "Example: reasoning on computational structures." Dozens of examples are listed in a word cloud, including model checking, type inference, systems biology analysis, SMT solvers, malware detection, etc. Everything is circled and grouped together under the label "abstract interpretation." Prominently edited into the word cloud of abstract interpretation examples is the word "baseball."
090
Nintendo .DS_Store @slim.bsky.social · 08/07/2025
Slides are up for my magnum opus slim.computer/assets/teach...
Beamer presentation titled "System ◊◯: Baseball for the skeptical and apathetic", by Slim Lim, EECS Department, UC Berkeley, OPLSS 2025
3244
Nintendo .DS_Store @slim.bsky.social · 08/07/2025
It's actually so misleading that the "hello world" of abstract interpretation involves abstracting integers to signs, because everyone initially assumes the poset relation arises from the total ordering of integers and - ≤ 0 ≤ +, and by everyone I mean me 👍
150
Nintendo .DS_Store @slim.bsky.social · 08/07/2025
Didn't skate or stretch for two weeks and my spiral got even higher…is this wu wei and if so I hate it
020
Nintendo .DS_Store @slim.bsky.social · 07/07/2025
I felt so normal this OPLSS compared to previous ones that I thought there would be no comedown period but it turns out there's always a comedown period
020
Nintendo .DS_Store @slim.bsky.social · 07/07/2025
another OPLSS in the books 🫡 it's kinda crazy how in 2019 I understood literally nothing and in 2025 I came in knowing at least a tiny bit of every topic
080