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.

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

Show thread

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 🫠)

RT @rob_rix@twitter.com

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

🐦🔗: twitter.com/rob_rix/status/154

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 🫠

in which @hillelogram@twitter.com makes me regret I can read

RT @hillelogram@twitter.com

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/

🐦🔗: twitter.com/hillelogram/status

RT @JoshuaGrosso@twitter.com

@andy_kelley@twitter.com @wilbowma@twitter.com “malloc()” << “free_you_later_allocator()”

🐦🔗: twitter.com/JoshuaGrosso/statu

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

Also discovered layouts recently, it's a gamechanger!

Show thread

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"?
More details here: reddit.com/r/haskellquestions/
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

Show thread

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

(Image credit: en.wikipedia.org/wiki/Block_ci)

Show thread

(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

Show thread

(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 thread
Show older
types.pl

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