otini @otini@functional.cafe

Pourquoi @mdiplo est un journal que j'apprécie beaucoup :
- les articles nous sortent de notre zone de confort (je vais rarement lire de moi-même un article sur la Bolivie par exemple)
- des articles sourcés
- des articles fouillés, qui n'hésitent pas à être longs
- il y a encore des gens qui font la relecture ortho-typo, avec des règles d'écriture communes à tous les articles, et ça se voit bien 😍
- peu de pub (et toujours discrète)

Bref, c'est du bon, mangez-en¹ 😋

¹ si vous le pouvez

Stephen Diehl is painfully on-point in this one. We need to get rid of the cryptocurrency cult in the #Haskell community (and by extensions all other programming communities). Once and for all. https://www.stephendiehl.com/posts/crypto.html

@iitalics me when I rebase

recursive programming

Facebook taking the EU to court for privacy invasion? Sounds like a start of a bad sitcom

"cost free abstractions" just means excessive monomorphization send toot

rust's iterators are really cool dont get me wrong, but theyre basically a way to trick the optimizing compiler into performing stream-deforesting sheerly thru the power of inlining and monomorphization.

this would be fine if it didnt leak into the type system in confusing ways, like now we're stuck with `impl Iterator`s and super long type definitions if you try to make an associated type an iterator, which are really weird and make it very hard to determine what the performance characteristics of your iterators really are, and just how much code rustc is going to hand to LLVM

the 👏 double 👏 semicolons 👏 in 👏 ocaml 👏 are 👏 optional

@nebunez the legendary book Structure and Interpretation of Computer Programs (SICP) could be an excellent introduction to Scheme, it is often strongly recommended, I liked it very much.

Also, I think How To Design Programs (another book) might be worth checking out in a second time.

Both are freely available online 🎉

coders and non-coders of the fediverse: what is your **favorite ever** monospaced font?

(boosts? i like monospaced fonts.)

Nouvelle version de #peertube 2.3

Avec fonction de recherche enntre instances fédérées grâce à un index par instance 😎

https://joinpeertube.org/fr_FR/news#release-2-3-0

What's the lightest weight mouse-based text editor on Linux? Something that doesn't use a big GUI framework. In other words, what is comparable to notepad.exe? (and don't say gedit, because that doesn't open nearly as fast; not for me anyway).