Show more
otini boosted
otini boosted

Youtube nowadays makes you feel un-easy?

Switch to PeerTube!

PeerTube is a free as in freedom +decentralized video sharing and soon possibly even streaming platform.

The good people and developers Framasoft have a roadmap for version 3 of Peertube.

It includes all the things one needs, IN FREEDOM.

Say goodbye to Google (Goolag) oppression.

All about it here, please support if able ==> joinpeertube.org/roadmap
_
#framasoft #peertube #stream #p2p #youtube #deletegoogle #libre @Framasoft

otini boosted
otini boosted
otini boosted

Sometimes people complain that without type inference you need to annotate every subterm. Well... this is what happens if you need to annotate all the variables: gist.github.com/edwinb/029dd3e

(This is TinyIdris, for next week's SPLV course. It will get slightly nicer by lecture 4 :))

otini boosted
otini boosted
otini boosted

Je viens de voir que Coopaname ma #coopérative d'activité recherche toujours un un·e comptable clients / gestionnaire facturation!

Pour les détails et le contact voir l'offre, pas moi directement.

👉 coopaname.coop/actualite/coopa

#JeProposeUnJob #JeRecrute (ma coopérative) #CDI #job #coop #paris

otini boosted

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

otini boosted
otini boosted

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. stephendiehl.com/posts/crypto.

otini boosted
otini boosted

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

otini boosted

"cost free abstractions" just means excessive monomorphization send toot

otini boosted

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

Show thread
otini boosted

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

otini boosted

@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 🎉

otini boosted

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

(boosts? i like monospaced fonts.)

otini boosted

Nouvelle version de #peertube 2.3

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

joinpeertube.org/fr_FR/news#re

otini boosted
Show more
Functional Café

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