thank you all for joining me on 2024, a space odyssey

My talk "Concrete syntax matters, actually" from the Topos Institute Colloquium is now available! www.youtube.com/watch?v=kQjr...

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?

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

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

@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.

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) ᕕ( ᐛ )ᕗ

LET'S GOOOO

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!!

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>&nbsp;</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??

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!!!

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

I would actually be an incredibly effective governess

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"

Are there any good software packages or libraries for building web-based code comprehension user studies?

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

Sf has no good places for late-night studying and this is to its profound detriment

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

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

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

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

Studying furiously for an upcoming Cubs game. So far the team appears to revolve around a star player named Principal Component Analysis

Has anyone tried to learn to write with their other hand? Any advice?

Baseball is western civilization's greatest contribution to the world after, like, Girard and the A=440 orchestral tuning standard

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

Not enough people have considered this

Slides are up for my magnum opus slim.computer/assets/teach...

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 👍

Didn't skate or stretch for two weeks and my spiral got even higher…is this wu wei and if so I hate it

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

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

I keep thinking the WHIP pitching stat stands for "Weak Head Innings Pitched"