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.
thank you all for joining me on 2024, a space odyssey
01.01.2025 01:43 โ ๐ 41 ๐ 1 ๐ฌ 0 ๐ 0
YouTube video by Topos Institute
Slim Lim: "Concrete syntax matters, actually"
My talk "Concrete syntax matters, actually" from the Topos Institute Colloquium is now available!
www.youtube.com/watch?v=kQjr...
13.12.2025 06:17 โ ๐ 31 ๐ 4 ๐ฌ 0 ๐ 0
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
and yet a trace of the true self
exists in the false self
20.11.2025 03:58 โ ๐ 17 ๐ 0 ๐ฌ 0 ๐ 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?
19.11.2025 12:28 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
Business Algebraist at McKinsey and Company
19.11.2025 10:07 โ ๐ 8 ๐ 0 ๐ฌ 0 ๐ 0
You show up expecting a normal gate but no, the transfer takes almost 30 minutes and the entire building feels like a memory leak hanging on by a forgotten reference cycle. Sublime
18.11.2025 14:05 โ ๐ 6 ๐ 0 ๐ฌ 0 ๐ 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
18.11.2025 14:05 โ ๐ 5 ๐ 0 ๐ฌ 1 ๐ 0
I can't believe it took us until 2025 to have an individual champion
02.11.2025 04:41 โ ๐ 5 ๐ 0 ๐ฌ 0 ๐ 0
Congratulations to Yoshinobu Yamamoto on being the first baseball player in MLB history to win the World Series alone!
02.11.2025 04:23 โ ๐ 19 ๐ 0 ๐ฌ 1 ๐ 0
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
I'm delivering tremendous value in the enterprise Slack
29.10.2025 20:43 โ ๐ 9 ๐ 1 ๐ฌ 0 ๐ 0
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!
New blug: feeling like Iโve gotten better at conceptualizing and worse at verbalizing over time
29.10.2025 05:10 โ ๐ 16 ๐ 0 ๐ฌ 3 ๐ 0
I take everything really seriously, by this definition :)
29.10.2025 05:08 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0
types.pl
@danabra.mov relevant to your interests types.pl/@markusde@ma...
29.10.2025 05:07 โ ๐ 3 ๐ 0 ๐ฌ 0 ๐ 0
Happy to :) it's a beautiful tradition, I hope it never dies out fully!
26.10.2025 22:00 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
Somehow I accidentally spawned a copy of the game in picture-in-picture, and I didn't notice for 3 innings (due to not looking at the screen) until Truf walked in and said "why does the game have a second, smaller version of itself playing in the corner" anyways, let's go baseball!!!!!
25.10.2025 04:20 โ ๐ 5 ๐ 0 ๐ฌ 1 ๐ 0
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.
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.
25.10.2025 04:20 โ ๐ 23 ๐ 0 ๐ฌ 3 ๐ 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
24.10.2025 17:54 โ ๐ 4 ๐ 0 ๐ฌ 1 ๐ 0
wait how is Rino skating third????
24.10.2025 08:40 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
I just "fuck yeah"ed like I've never "fuck yeah"ed before
22.10.2025 09:24 โ ๐ 3 ๐ 0 ๐ฌ 0 ๐ 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) แ( แ )แ
20.10.2025 16:49 โ ๐ 7 ๐ 0 ๐ฌ 0 ๐ 0
LET'S GOOOO
18.10.2025 12:18 โ ๐ 8 ๐ 0 ๐ฌ 0 ๐ 0
I'm not a functional programmer because of the company I work for; I'm a functional programmer because of the company that allowed me to broadcast 140-character pseudorandom neuron-firings to the only people who would get them, and which has devolved into a fash hellscape bizarrely obsessed with IQ
15.10.2025 10:04 โ ๐ 11 ๐ 0 ๐ฌ 0 ๐ 0
YouTube video by ACM SIGPLAN
[ICFP/SPLASH'25] Orchid Plenary Ballroom - ICFP Papers and Events (Oct 13th)
The video recording of my ICFP 2025 keynote talk Functional Programming for Hardware Design is up on YouTube. www.youtube.com/watch?v=1oBO...
15.10.2025 07:56 โ ๐ 22 ๐ 5 ๐ฌ 1 ๐ 1
The actual problem is that I have approx. 40 people I enjoy talking to and hearing from, so losing touch with 1/3 of them represents a huge contraction in my social environment
15.10.2025 09:04 โ ๐ 4 ๐ 0 ๐ฌ 1 ๐ 0
IATA classifies coconuts (specifically the inside meat, copra) as a combustion risk; umbrellas are pokey weapon-shaped; I believe India specifically scrutinizes spice mixes to rule out explosives?
15.10.2025 09:01 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
I miss when Shriram would reply to someone while forgetting to set "reply" and then everyone would just dunk on it, and I also miss when the community could have any sort of interesting discussion in public but also somewhat insulated from unserious trolls/onlookers
15.10.2025 08:51 โ ๐ 10 ๐ 0 ๐ฌ 1 ๐ 0
I've done a bad job posting here, because it's sort of become the nothingburger estuary for my interests: Mastodon has more PL weenies, Twitter has more chatter overall (even though half of it is insipid and I'm also effectively shadowbanned by virtue of not paying a monthly tithe to Elon Musk)
15.10.2025 08:51 โ ๐ 5 ๐ 0 ๐ฌ 1 ๐ 0
In retrospect, it's not clear how much of my post-COVID depression stemmed from social distancing as such versus the demise of PL Twitter
15.10.2025 08:45 โ ๐ 8 ๐ 0 ๐ฌ 1 ๐ 0
I miss PL Twitter so much. There has truly been no replacement. We're fragmented now across three websites, and it sucks!!
15.10.2025 08:44 โ ๐ 31 ๐ 1 ๐ฌ 2 ๐ 1
http://github.com/frankmcsherry/blog
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
they/them
I'm Conor. I'm a nonbinary
Computer Scientist. God loves irony.
Femme presenting apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
@pigworker@types.pl on fedi
unmappable territory
please leave a message after the beep
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
Socially leftist, fiscal liberal.
Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
computers can be understood โข she/her, โข โข Chicago
Doing fundamental research in UI and 2D graphics
Active on Mastodon: https://mastodon.social/@danluu. Also trying https://threads.net/@danluu.danluu
Born Samuel Langhorne Clemens in rural Missouri. Adopted the pen name "Sridhar Ramesh" from riverboat slang.
I'm over here! โ @slim.bsky.social
Empowering humans in an age of AI. CEO, Imbue. Interested in agency, interfaces, & experimental social processes
yields falsehood when preceded by his own quotation
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
๐ฑ ruining programming forever @ hazel.org
๐ฑ professoring @ Michigan
๐ฑ poetry
๐ฑ dendrites
๐ฑ immersion
๐ฑ flowers
๐ฑ resisting idiocracy
https://web.eecs.umich.edu/~comar
Dare mighty things! Journeyman wondersmith at Speculative Technologies. ๐ดโโ ๏ธ๐ช๐
https://Benjaminreinhardt.com + https://spec.tech
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her