Nintendo .DS_Store

@slim.bsky.social

1756 Followers 61 Following

Pidgin algebraist, baseball influencer https://slim.computer

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.
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
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 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!
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.
Michael Morgan and the Oakland Symphony Orchestra performing "Somewhere" from Bernstein/Sondheim's West Side Story, featuring Julie Adams as Maria, Bobby Conte Thornton as Tony, Eileen Meredith as Anita, and Ryan Bradford as Riff
Michael Morgan and the Oakland Symphony Orchestra performing "Tonight" from Bernstein/Sondheim's West Side Story, featuring Julie Adams as Maria, Bobby Conte Thornton as Tony, Eileen Meredith as Anita, and Ryan Bradford as Riff (video with audio)
A guy earnestly beaming as he proclaims his love of baseball, with quotes like "Okay guys, this is wild, but today I'm going to a baseball game!" "I love baseball, it's America's pastime." "Baseball is literally so good" "LET'S GO BASEBALL"
View of the infield from my seat, about 13 rows back and a section past 3rd base. Holding a tray of lumpia in the foreground
Hand-scribbled diagram of proof-theoretic terms and their relationships to one another. I'm sorry this is terrible alt text, I promise all my others are better!
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.
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."
Beamer presentation titled "System ◊◯: Baseball for the skeptical and apathetic", by Slim Lim, EECS Department, UC Berkeley, OPLSS 2025
Photo of spectators at a sports game. A man in sunglasses and an Astros T-shirt is gesticulating wildly as he enthusiastically mansplains something to his date, a blonde-ponytailed woman who stares back blankly.
WebSocket connection to the MLB real-time game data (wss:// ws.statsapi.mlb.com/api/ v1/game/push/subscribe/ gameday/<GAME_ID>), showing live JSON updates for game events, such as count changing to 2-2 after a called strike, etc.
Slack message: "Are we allowed to let people in ourselves after hours? In 2017 I let the treason guy in around midnight. (to clarify the treason guy was an OPLSSer. I thought he was famous)"
R Tyler performs onstage at an algorave, playing a set composed with Tidal Cycles. The venue is dark, illuminated by pulsating neon lights. The artist's ghci session is projected onto a translucent mesh screen in the foreground, superimposed with undulating visualizations. Pointfree Haskell, do blocks, Tidal eDSL patterns, and the artist's comments flash onscreen throughout the set's transitions. In front of the screen, silhouetted figures dance to the beat.
R Tyler performs onstage at an algorave, illuminated by blue and green patterned light projections. Bright purple sinusoidal visuals appear onscreen behind him, alongside code written in the Tidal Cycles Haskell eDSL
In late February, Michael Grimes, a senior official at the Department of Commerce and former investment banker at Morgan Stanley, conducted brief interviews with employees of the CHIPS Program Office, which oversees the grants. In interactions some described as “demeaning,” Mr. Grimes asked employees to justify their intellect by providing test results from the SAT or an IQ test, said four people familiar with the evaluations. Some were asked to do math problems, like calculate the value of four to the fourth power or long division.
[Slim, today at 18:05] 1. have you played frog detective 2. I love refried beans I could eat refried beans rest of life [Slim, today at 18:22] help I overate refried beans fml
Poorly hand-drawn infographic titled “Daylight Savings Time for Fools (me), California Edition”. A long bar represents a year in the Gregorian calendar. The first ~quarter (January through March-ish) is PST (UTC-8), then lose 1 hr :( into PDT (UTC-7) for ~half the year from March-October/November-ish, then gain 1 hr :) back into PST (UTC-8) through the end of December. There are two side-by-side comparisons using sun and moon icons to illustrate the progression of daylight throughout the day. The “Normal” version shows the 9AM-5PM workday starting after sunrise and ending past sunset, whereas the “+DST (lies)” version shows the 9AM-5PM window shifted earlier so that it perfectly aligns with the period of sunrise. A disclaimer says “not to scale; enlarged to show texture”.
The blue "Intel Inside" logo, but it says "Interlake Inside" instead
"We'll counter the PLA's mass with mass of our own, but ours will be harder to plan for, harder to hit, harder to beat." In a follow-up speech, delivered on September 6, Hicks provided (slightly) more detail on what she called all-domain attritable autonomous (ADA2) weapons systems. "Imagine distributed pods of self-propelled ADA2 systems afloat...packed with sensors aplenty.... Imagine fleets of ground-based ADA2 systems delivering novel logistics support, scouting ahead to keep troops safe.... Imagine flocks of [aerial] ADA2 systems, flying at all sorts of altitudes, doing a range of missions, building on what we've seen in Ukraine."
Photograph of a completed Friday crossword puzzle in a book, accompanied by a pencil and eraser shavings. Some of the clues include: "1D. Wife in '8 Simple Rules for Dating My Teenage Daughter'" (CATE), "12D. Where gobs go" (ASEA), and "27D. Subject of 'Toots' by Bob Considine, 1969" (SHOR). At the top of the page are scribbled notes: "Gob" = sailor; "versifier" = poet; (n.) otters HOLT (burrow); INGA Swenson Young Frankenstein actress; (v.) TED (dry) hay
Two Tamagotchi Connection (2024) devices facing each other, connected on an IR playdate. The left Tamagotchi has a blue shell with bubble accents, and a pink Flowertchi character with a wide head and small green and yellow flowers in place of ears. The right Tamagotchi has a pink shell with ice cream cone accents, and a green Kuchipatchi character facing sideways with their bill opened wide.
GitHub PR by user multiplealiases, September 15, 2024: "WSL/wsl-config.md: rewrite lead for clarity #2021" > This is a rewrite of the lead section, as I feel the previous one was overly long-winded, yet did not meaningfully summarize the most important points of the article in a way that enables readers to quickly answer the questions "what is wsl.conf?" and "what is .wslconfig?". The information is technically present, but it is scattered about in the body of the article when it could be in the lead. > The main thing this adds is a short comparison table that summarizes the differences between wsl.conf and .wslconfig, as I feel it will make the summarized information (otherwise totally buried in the sections below) much easier to find for future readers.
Tweet from @sliminality: '"They have turned their back to Me and not their face; though I taught them, teaching again and again, they would not listen and receive instruction." Jeremiah 32:33 😐' attached image is a screenshot of a chat conversation in which I say "I fucking love pandoc" and someone replies "WE KNOW"
"The general theme of your life during this period is to expose yourself to new subjects and ideas. Linear logic can be overrated. Good intentions can also yield bad results."
ASCII art drawing of a cube, with vertices labeled according to the lattice structure of Haskell import syntax. Vertex (0, 0, 0) is labeled "import Foo". (1, 0, 0) is "import Foo as T". (0, 1, 0) is "import Foo (Text)". (0, 0, 1) is "import qualified Foo". The next set of vertices are combinations of these constructs: "import qualified Foo as T", "import Foo as T (Text)", and "import qualified Foo (Text)". The final vertex (1, 1, 1) is "import qualified Foo as T (Text)".
Tweet from Nintendo .DS_Store @sliminality, 1/29/20: 'It took me 22 years to start dancing the chorus to "YMCA" in flag semaphore, but I'm here now, I've arrived'
Ransom note made of magazine clippings of letters, but the letters are all S, K, I, B, C, Y
The United States is obviously failing to regulate immigration. Over the past four years, some eight million people settled in this country, and most of them did so unlawfully. As the editorial board wrote on Friday, there is no doubt that the federal government needs to act urgently to establish control over who is able to live and work in the United States. But Donald Trump, the president-elect, is wrong to argue that many immigrants already living in the country should be deported, and that future immigration should be reduced. America actually needs more immigrants.
Tweet from @ShriramKMurthi, 2022-11-23: "Why do I freakin' love my job? I left open how to do subtraction with Church numerals (having worked up through multiplication), and a student FIGURED IT OUT HERSELF. (Church himself was stumped!) She's applying to some of your PhD programs. (-:"
Me: You're right that making `Result` a proper thenable overloads the meaning of `then` in JavaScript. But consider this just as a thought experiment. If we did make `Result` a thenable, we could use JS's native `async`/`await` syntax with it. And then wouldn't we end up with something like `await await foo()` where `foo` returns a `Promise<ThenableResult<Foo, Bar>>`? Wouldn't this `await await` be analogous to `lift . lift`? Claude: This is a really interesting observation! You're onto something - there is an analogy here, but with some subtle differences. If we made `Result` thenable and had a `Promise<Result<A, E>>`, then yes, we'd need `await await` to fully unwrap it. This is superficially similar to `lift . lift` because: 1. Both involve repeated application of an operator to "dig through" layers 2. Both are about accessing the inner value through multiple wrappers 3. The number of repetitions corresponds to the number of layers However, there's a key difference in what these operators are doing: - `lift` in a monad transformer stack is about lifting operations UP through layers to the top level of the stack. It's saying "this operation from a lower layer should be visible at the current layer" - `await` is about unwrapping/extracting values DOWN through layers to get to the inner content. It's more like repeated applications of `join` or `>>=` (bind) So while the syntax looks similar [some code snippets in Haskell and TS] They're actually going in opposite directions - `lift` promotes operations up the stack, while `await` extracts values down through the wrappers. That said, it's a fascinating parallel because both patterns emerge from similar underlying causes: the need to work with multiple layers of monadic structure without built-in composition tools. The repetitive syntax in both cases points to a missing abstraction for handling these layered effects more elegantly.
Among the particular grants, which, on closer inspection, will be seen to be included in one or more of the four general grants, especially the first, the Enchiridion Indulgentiarum draws special attention 161 to four activities for which a plenary indulgence can be gained on any day, though only once a day: 1. Piously reading or listening to Sacred Scripture for at least half an hour. [161 2. Adoration of Jesus in the Eucharist for at least half an hour. 16] 3. The pious exercise of the Stations of the Cross. 116] 4. Recitation of the Rosary or the Akathist in a church or oratory, or in a family, a religious community, an association of the faithful and, in general, when several people come together for an honourable purpose. 116]
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.
2024 Flighty Passport, with a pseudo-holographic world map depicting flight routes across the United States (primarily between San Francisco and the Pacific Northwest, East Coast, and Hawai'i), and overseas to Japan, Ireland, and Finland. 27 flights, covering 59,018 mi, 5 days and 17h of flight time, 15 airports, and 5 airlines.
Product listing for Gardein "turk'y roast" (4.0 stars)
Sent chat messages: > I realized that epsilon delta limit definition holds the key to milestone decompsition for me > because the problem with most goals is that they subtend a time period of months or even years and I only understand "now" vs. "not now" hence even hard deadline-bound goals have limited utility in structuring my time but this is just zeno's paradox > and the answer to zeno's paradox is calculus > and so by recursively subdividing intervals into units i can magically go from continuous to discrete > just like the blood glucose lady > take that, ADHD > rare W for continuity
A woman with large glasses and long black hair tied half up stands smirking. She is wearing a long, dark green silk dress and a white sash with PANDOC spelled in brightly-colored and trimmed block letters. The lighting in the background is a mix of blue and orange hues, and appears to be at a party/event.
The creators' and producers' goals were to "empower, challenge, and build the self-esteem of preschoolers"[58] while entertaining them. Kessler, Santomero and Johnson were influenced by Sesame Street, the first children's television program to utilize a detailed and comprehensive educational curriculum developed from research.[59] "We wanted to learn from Sesame Street and take it one step further," Santomero said.[60] Like Sesame Street, formative research which the producers called their "secret sauce,"[61] was used during all aspects of the creative and decision-making process during the production of Blue's Clues.[62][63] In addition to a curriculum that emphasized reasoning skills relevant to preschoolers' everyday lives, the producers wanted to include audience participation, called by Variety its "call and response style,"[25] that encouraged mastery of the information presented, positive reinforcement, and prosocial messages.[58] In their first brainstorming sessions in 1994, Santomero, Kessler, and Johnson decided to promote mastery rather than rote learning or memorizing, make sure that their viewers knew the answers to the puzzles with which they were presented, and include elements of surprise and play. By 2001, the show's research team consisted of head researcher Alice Wilder, Alison Sherman, Karen Leavitt, and Koshi Dhingra.[64][note 3] The research team and creators worked collaboratively.[66]
An Instagram post by user @annamariamatziorinis, depicting a greyscale image of a shiny metallic ball swerving through sand. Superimposed on the photo is the following center-aligned, serif-typeset text: `updatedRelationship :: Maybe String updatedRelationship = relationshipState >>= \state -> insecurity >>= insec -> return (state ++ " (fragmented by: " ++ insec ++*;` The post description reads: "This Haskell pseudocode provides a powerful metaphor for how insecurities propagate through relationships and social networks. By using the Maybe monad to model these dynamics, it parallels the way Social Echoes Effects can reveal the broader implications of individual actions. The monadic structure allows for dependencies between states, ensuring that the absence of a relationship state or insecurity gracefully halts the computation, just as unresolved issues in […]"
Photograph of a serene lakefront scene at sunset. The lake is calm and reflective, mirroring the sky above. In the foreground, there are some rocks visible along the shoreline. On the opposite shore, there appears to be a building or structure. The sky is a beautiful gradient of blues, oranges, and pinks, creating a peaceful and picturesque scene.
Tweet from @sliminality, 7/2/22: "the first plank of my political platform is that people who correct me should be correct"
Screenshot of the Bluesky iOS notifications pane with slightly larger text size