I've been realizing recently just how much I rely on aspiration to distinguish /k/ from /g/. It's really freaking me out, because I can barely tell apart [k] from [kʰ] in isolation—but in the middle of a word, it makes a *massive* difference.

just hanging out on the slack dropping knowledge

^^ (unrelatedly, this tweet sounds like what you'd get from a Markov chain trained on Hacker News)

After the latest update, Firefox crashes constantly when uBlock Origin is enabled, so I've had to turn it off temporarily. The web has immediately become unbearable—the quality-of-life that an ad blocker provides is *unreal*.

(There's no moral to this story, I'm just venting 🫠)

What are you curious about w.r.t. algebraic effects & handlers? (Please RT for reach.)

Turns out, my arcade stick works pretty well as a low-budget HOTAS throttle (stock photos below for context)

Spent the last day and a half (and counting) trying to understand a single proof from Lang's Algebra 🫠

An adult human male can feed 100 people a luxurious 1200 Calorie meal. Mickie Mouse's head:body ratio suggests he's nowhere near done growing. He'd probably taste like veal

smithsonianmag.com/smart-news/

I'm basically the Gary Chess of music, AMA

"Hi, my name is Joshua 'Concerto' Grosso"

Also discovered layouts recently, it's a gamechanger!

Used advice-add in Emacs for the first time a few days ago... it's kinda cool, not gonna lie

@ Haskell Twitter: Has anyone else come across an error when building GHC 9.2.2, of the form "fatal error: 'primop-vector-uniques.hs-incl' file not found"?
I'm stumped, so any help is appreciated 🙃

Someone make a type theory that abbreviates to TMNTT, for the memes

(5/5)
The first email ever sent by a head of state was to announce a programming language! Sent by "HME2" (i.e. Her Majesty, Elizabeth II), it began "This message to all ARPANET users announces the availability on ARPANET of the Coral 66 compiler...."

wired.com/2012/12/queen-and-th

(4/5)
An old method of encryption was the Electronic Codebook (ECB). This is what it does to an image (or, more accurately, does not do).

Yeah, no one uses it anymore.

(3/5)
AFAICT, the military loves gigantic acronyms ("Naval Special Warfare Command" becomes NAVSPECWARCOM, "United States Indo-Pacific Command" becomes USINDOPACOM, etc.).

Behold, AUSCANNZUKUS. It sounds like a parody, or a misspelling of "Arkansas."

en.wikipedia.org/wiki/AUSCANNZ

(2b/5)
It's abbreviated to the NOAA OLE. What happened to "Fisheries"? No clue.

Also, Wikipedia warns, "Not to be confused with United States Fish and Wildlife Service Office of Law Enforcement." (I've got no abbreviation for that one.)

Show older

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.