otini boosted
otini boosted

In 2025 the two major browsers engine gonna be:
1. blink (chrome, edge, vivaldi and cie)
2. youtube-dl (yeah they gonna have to do they own browser engine to be able to download videos)

otini boosted

We have a new #blog! And since its boring to check out a new blog without new content, we also wrote a new article! There is a lot of new stuff, most importantly: We have a first beta release of our #android app 🎉

blog.funkwhale.audio/2021-sept

#Funkwhale #DevelopmentUpdate

otini boosted

I don't understand the interactions between records and implicit parameters in #idris. Why can't I manually set the declared implicit parameters of a record's field outside the record's declaration?

otini boosted
otini boosted

NixOS users, what experiences tripped you up at first?

I'm looking to write or contribute to an onboarding guide, where some Linux experience is assumed (like for someone who uses Arch/Debian/Ubuntu).

#NixOS

otini boosted
otini boosted

nourriture et orthographe 

huître avant s'écrivait sans h, qui a été rajouté pour distinguer ce mot du mot vitre, car les u s'écrivaient v :hhHHHAAAH:

pareil pour huile et ville

l'orthographe est une vaste blague épisode 53986

otini boosted

it‘s always „why combinator“ but no one ever asks how combinator

otini boosted
@turion haskell fans be like: haskell good for parallel because immutable
haskell rts be like: haha mutator and gc both mutating the mutable heap go brrr
otini boosted

I have to do a lot of manual cleaning of my Zotero references to uniformize field format, and it's quite frustrating.

Don't do `git push -f` when your supervisor might just decide to start editing your paper, fellas

otini boosted

Today, I created the first files of my thesis TeX source. 😳

otini boosted

We are writing the year 2149. All our machine overlords are running on #haskell. It is a day of great celebration, for we await - since over a century - the major release of a library our very lives depend on: base-5.0.0.0

otini boosted

Il y a COMPAS'21 la semaine prochaine! Je présenterai "FlexOS : Vers une Isolation Flexible du Noyau". On parlera compartimentage, noyau, spécialisation, sécurité, et un peu vérification formelle...

2021.compas-conference.fr/

otini boosted

Mobilizon v.1.2 is out 🎉
About our partnership with Koena Connect
An updated roadmap
👉 It's the last news about #Mobilizon project
joinmobilizon.org/en/news#21-0

otini boosted

À noter ce joli truc de C si vous voulez convertir des lettres majuscules en minuscule ou réciproquement :

x |= ' ' // conversion majuscule → minuscule
x &= ~' ' // conversion minuscule → majuscule

Ne vous attendez pas à ce que ça fonctionne sur de l’Unicode ou quoi que ce soit qui ne sont pas des lettres, par contre 😅​

Show thread
Show older
Functional Café

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