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)
What are you curious about w.r.t. algebraic effects & handlers? (Please RT for reach.)
in which @email@example.com makes me regret I can read
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
@firstname.lastname@example.org @email@example.com “malloc()” << “free_you_later_allocator()”
I'm basically the Gary Chess of music, AMA
Also discovered layouts recently, it's a gamechanger!
@ 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: https://www.reddit.com/r/haskellquestions/comments/uj759w/ghc_922_build_error/
I'm stumped, so any help is appreciated 🙃
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...."
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: https://en.wikipedia.org/wiki/Block_cipher_mode_of_operation#ECB)
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."
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.)
Christian, FP/formal verification enthusiast, and friendly neighborhood nerd. CS ‘23 at Caltech. axellang.github.io
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.