Nintendo .DS_Store
@slim.bsky.social
📤 1703
📥 61
📝 537
Pidgin algebraist, baseball influencer
https://slim.computer
pinned post!
Slides are up for my magnum opus
slim.computer/assets/teach...
add a skeleton here at some point
6 months ago
3
21
7
reposted by
Nintendo .DS_Store
thank you all for joining me on 2024, a space odyssey
about 1 year ago
0
40
1
My talk "Concrete syntax matters, actually" from the Topos Institute Colloquium is now available!
www.youtube.com/watch?v=kQjr...
loading . . .
Slim Lim: "Concrete syntax matters, actually"
YouTube video by Topos Institute
https://www.youtube.com/watch?v=kQjrcSMYpaA
25 days ago
0
31
4
and yet a trace of the true self exists in the false self
about 2 months ago
0
17
0
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?
about 2 months ago
0
1
0
Business Algebraist at McKinsey and Company
about 2 months ago
0
8
0
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
about 2 months ago
1
5
0
Congratulations to Yoshinobu Yamamoto on being the first baseball player in MLB history to win the World Series alone!
2 months ago
1
19
0
I'm delivering tremendous value in the enterprise Slack
2 months ago
0
8
1
New blug: feeling like I’ve gotten better at conceptualizing and worse at verbalizing over time
2 months ago
3
16
0
@danabra.mov
relevant to your interests
types.pl/@markusde@ma...
loading . . .
types.pl
https://types.pl/@
[email protected]
/115446833697826247
2 months ago
0
3
0
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.
2 months ago
3
23
0
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
2 months ago
1
4
0
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) ᕕ( ᐛ )ᕗ
3 months ago
0
7
0
LET'S GOOOO
add a skeleton here at some point
3 months ago
0
8
0
reposted by
Nintendo .DS_Store
Satnam Singh
3 months ago
The video recording of my ICFP 2025 keynote talk Functional Programming for Hardware Design is up on YouTube.
www.youtube.com/watch?v=1oBO...
loading . . .
[ICFP/SPLASH'25] Orchid Plenary Ballroom - ICFP Papers and Events (Oct 13th)
YouTube video by ACM SIGPLAN
https://www.youtube.com/watch?v=1oBOu6wX8lc&t=1619s
1
22
6
I miss PL Twitter so much. There has truly been no replacement. We're fragmented now across three websites, and it sucks!!
3 months ago
2
31
2
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
3 months ago
1
5
0
A lifetime of media underrepresentation has left me wholly unprepared for this moment. My head is spinning; I don't know how to respond
loading . . .
4 months ago
1
4
0
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
4 months ago
2
24
1
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!
4 months ago
2
36
1
Wait so in frontend land, "headless" just means "minimally-styled"?
4 months ago
2
5
0
reposted by
Nintendo .DS_Store
Conor Mc Bride
5 months ago
I live for ideas. Nobody wants them. I live to see you need them.
0
8
2
These days I only log onto this website to get the latest updates on Dan's type theory journey
5 months ago
2
11
0
Actually infuriating how the NYT keeps adding games and leaderboards for everything except the crossword and sudoku
5 months ago
0
2
0
reposted by
Nintendo .DS_Store
dan
5 months ago
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
2
42
3
What are things to do in Anaheim other than Disneyland??
5 months ago
2
0
0
iconic bakery miscommunication
5 months ago
0
19
0
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!!!
5 months ago
0
7
0
Just found out "vibe-coding" is not "looking at a program and assigning it a natural number based on its chakras" wtf
6 months ago
0
13
3
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
6 months ago
2
2
0
I would actually be an incredibly effective governess
6 months ago
0
4
0
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"
6 months ago
1
28
3
Are there any good software packages or libraries for building web-based code comprehension user studies?
6 months ago
1
1
0
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
6 months ago
0
17
0
Sf has no good places for late-night studying and this is to its profound detriment
6 months ago
1
5
0
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
6 months ago
1
7
0
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
6 months ago
1
4
0
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
6 months ago
1
8
0
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
6 months ago
0
7
0
Studying furiously for an upcoming Cubs game. So far the team appears to revolve around a star player named Principal Component Analysis
6 months ago
0
8
1
Has anyone tried to learn to write with their other hand? Any advice?
6 months ago
2
1
0
Baseball is western civilization's greatest contribution to the world after, like, Girard and the A=440 orchestral tuning standard
6 months ago
0
8
0
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
6 months ago
5
10
0
Not enough people have considered this
6 months ago
0
9
0
Slides are up for my magnum opus
slim.computer/assets/teach...
add a skeleton here at some point
6 months ago
3
21
7
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 👍
6 months ago
1
5
0
Didn't skate or stretch for two weeks and my spiral got even higher…is this wu wei and if so I hate it
6 months ago
0
2
0
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
6 months ago
0
2
0
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
6 months ago
0
8
0
I keep thinking the WHIP pitching stat stands for "Weak Head Innings Pitched"
6 months ago
0
1
0
Load more
feeds!
log in