Show more

Sweet drama around The Study on the effect of programming languages on software defects.

This is How Science Happens • Hillel Wayne

lyxia boosted

I figured out a name for my #Gopher client I wrote in #Haskell... "Waffle!"

Both "gopher" and "waffle" in French is "gaufre:"

"The origin of the word 'gopher' is uncertain; French gaufre, meaning 'waffle', has been suggested, on account of the gopher tunnels resembling the honeycomb-like pattern of holes in a waffle…"
—"Gopher," Wikipedia.

I only have a few things left before the first release!


lyxia boosted

An Inconvenient Truth: The Curry-Howard Perspective. That has to be a great joke paper. 4/4

Show thread

Hot take: general recursion has something to do with global warming. 3/

Show thread

A connection is thus to be drawn between recursion and feedback loops of certain physical systems. 2/

Show thread

Notions of loops in various domains are unified under abstractions like traced monoidal categories. 1/

lyxia boosted

Rain drops from the sky, grave and cloudy,
falls on the walls, damp and gloomy,
coats the windows with drum and clatter,
storms the streets in a tantrum and a roar,
showers away the dirt and the spirits,
bows to the bearer of warmth and light.

lyxia boosted
Constructive set theorists are the HP Lovecraft of mathematics.
lyxia boosted
lyxia boosted

"There are two ways of constructing a software design:

One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies.

The first method is far more difficult."

C. A. R. Hoare, The Emperor’s Old Clothes, 1980 Turing Award Lecture

lyxia boosted
lyxia boosted


PhD student : I hope no one scoops my only idea.

Post-doc: I better publish old stuff before I’m scooped so I can focus on new ideas.

Associate professor: I hope someone scoops all ideas I’ve ever had. Please. I don’t have time. There’s free datasets too. I’ll pay you.


Substitution is the dual of superstition.

In a talk at Strange Loop 2015 (on Youtube), Wadler compares the general attitude towards algorithms prior to Gödel's incompleteness results, to pornography: "I know it when I see it".

I'm annoyed my next blog post takes ages to write, it's not even that long.

Theorem provers like help with both ensuring proofs are correct as well as coming up with those very proofs.

Show thread
Show more
La Quadrature du Net - Mastodon - Media Fédéré

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!