Pinned toot

If you make a lot of noise, you're my personal enemy. Sooner or later I'll get to you. Enjoy your life so far.

Pinned toot

economics? Show more

Pinned toot

aphorism Show more

Pinned toot

aphorism Show more

re: Coq sorts Show more

McMaster researchers perform simple calculations by shining light patterns through a translucent polymer cube.
eurekalert.org/pub_releases/20

Mirrored Ceilings and Criss-Crossed Stairwells Give a Chinese Bookstore the Feeling of an M.C. Escher Woodcut

thisiscolossal.com/2019/05/inf

semi'joke/pun Show more

math in Coq Show more

misc. Show more

Le problème actuel du contrôle de l'ordre, c'est que l'on a oublié la séparation des pouvoirs. L'immunité de la police fait qu'elle est à la fois exécutive et judiciaire : elle décide d'intervenir, et elle décide quand elle est en tort.

“We generally change ourselves for one of two reasons: inspiration or desperation.”

math in Coq Show more

math in Coq Show more

carbon footprint / climate change Show more

carbon footprint / climate change Show more

Coq sorts, rant Show more

fun fact: "FOSS" sounds a lot like one of the Hungarian words for "poop", whereas "Free Software" does not

do with this information what you wish

abstract Show more

Show more
Functional Café

functional.cafe is an instance for people interested in functional programming and languages.