lyxia boosted

I’ve finally started to work on my next blogpost: Why algebraic datatypes are “algebraic,” explained.

Inspired by @na and her nice write-up (in French, here blog.gelez.xyz/type-produit/)

Proofs are done[§], I need to actually write the explanation now x).

[§]: gist.github.com/lthms/8f93f3c4

lyxia boosted
lyxia boosted

Goldman's new "free" typeface has a license that prevents you from using it to criticize Goldman Sachs.

Whoops

lyxia boosted

HTTP status emojis:

- 200 👍
- 201 🆕
- 301 👉
- 400 👎
- 401 🔒
- 402 💰
- 403 🚫
- 404 🤷‍♂️
- 408 ⌛️
- 410 💨
- 418 🍵
- 500 💩

(via francesc)

lyxia boosted

Il y a deux types d'escargots : les escargots avec habitat, et les escargots sans habitat… Mais ceux-là, on les appelle des limaces.

Parmi les escargots avec habitat, il y a deux types d'escargots : les escargots sans rayures, et les escargots avec rayures… Mais ceux-là, on les appelle des berlingots.

Cependant, nous distinguons les escargots avec habitat sans rayure sphériques, des escargots avec habitat sans rayure non sphériques. Mais ceux-là on les appelle des galets.

Il faut noter qu'il existe deux types de berlingots : les berlingots lévogyres et les berlingots dextrogyres… Mais ceux-là on les appelles des sucettes.

Nous vous devons de vous informer que nous distinguons deux types de galets : les galets blancs et les galets jaunes… Mais ceux-là on les appelle des sablés bretons.

Revenons à nos limaces, il existe deux espèces de limaces : les limaces marrons et les limaces oranges, mais celles-là on les appelle des rustines (aussi appelé chewing gum fruit de la passion).

Parmi les sablés bretons, nous trouvons les sablés bretons sans œuf et les sablés bretons avec œuf… Mais ceux-là, on les appelle omelette.

Il existe deux types d'omelettes : les omelettes bien cuites et les omelettes baveuses. Mais celles-là, on les appelle escargots.

-florian66-

lyxia boosted
lyxia boosted

Vous connaissez un endroit ou les films / séries ont un score en fonction de leur taux de perpétuation des stéréotypes de genre ?

Ça saoule, a force.

Adding more threads slows my program down. 😱

lyxia boosted

9 services en ligne libres, du collectif CHATONS pour télétravailler : rédaction et tableur collaboratifs, partage de fichiers, d'images, visio-conférence, etc.
Parfaitement libres, gratuits, sans inscription et respectueux de votre .
entraide.chatons.org/fr/

lyxia boosted
lyxia boosted

I've just realized "resumption" and "continuation" are synonymous. I somehow did equate the two subconsciously when reading papers using either words. Now I'm just shocked my subconsciousness did that without telling me.

Nyalas are badly painted antelopes.

lyxia boosted

Sinon, mon cours d’OCaml est officiellement complet !

Il est dispo ici si vous voulez le lire : ocaml.gelez.xyz/

Ça couvre toutes les bases du langage : les fonctions, les types de base, la création de types, la récursivité, le polymorphisme, l’ordre supérieur, la curryfication, le type list, et les arbres. Bref pas mal de trucs pour découvrir tout l’aspect fonctionnel du langage.
Le tout avec des petits quiz interactifs et des exercices corrigés pour chaque chapitre.

Du coup si vous voulez apprendre le OCaml (qui est un langage fonctionnel assez abordable à mon avis) je pense que c’est une bonne introduction en français (enfin j’espère).

Et c’est sur GitHub aussi, si jamais vous trouvez une faute ou si vous voyez un truc à améliorer : github.com/elegaanz/cours-ocaml/

#BoostWelcome #OCaml #FP #ProgrammationFonctionelle

homepages.inf.ed.ac.uk/slindle

> We have changed the title to include three letter words in the hope that Google Scholar will index it this time.

Show thread

There's a POPL paper titled do be do be do (Lindley et al., 2017). The title is so funny Google Scholar won't index it. Now they've published an extended version that tries to avoid the issue: doo bee doo bee doo.

Finger trees are a really cool data structure. I made a PR to containers to document some internals of Sequence:

github.com/haskell/containers/

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!