Jeko a partagé

What free software programs are you using purely for fun during quarantine? Got any recommendations to share?

Jeko a partagé

#WriteFreely v0.12 is just about ready! This upcoming version includes #ActivityPub mentions, OAuth support, and plenty of small improvements.

For anyone interested in helping us test out this new version, we've just put out a release candidate for you to try today, and would love your feedback!

github.com/writeas/writefreely

Jeko a partagé

Another month, another update on data.guix.gnu.org/ :
lists.gnu.org/archive/html/gui

I'm pretty excited about some of the speed improvements, and it's nice that generating the database dumps is finally automated!

#guix

Jeko a partagé

Today landed a cool hack in #Guix: lists.gnu.org/archive/html/gui . The problem had been on my mind for years; the solution is not perfect, but it's rather minimal and pleasant to the mind!

A force de le laver les mains, j'ai la peau sèche et ça fou la merde avec l'authentification biométrique !

Start using Anki !

Here are my first decks :
- emacs
- guile
- guix
- nutrition

apps.ankiweb.net/

Jeko a partagé
Jeko a partagé

It's done! #hikari 1.0.0 is out. 🎉 Let the journey begin. There are features that want to get implemented and bugs that need squashing 🐞 Time to move #Wayland adoption on #FreeBSD and #Linux forward. 😺 hikari.acmelabs.space/

Jeko a partagé
Jeko a partagé

"Working from home, keeping connected: 17 video conferencing and collaboration tools to consider"
@Computing_News

«Jami is a #free, #opensource, #peertopeer, #crossplatform, #SIP-compatible #audio and #video #conferencing #service»
Article: computing.co.uk/feature/401286

Jeko a partagé

Is your #youtubeDOWN? Try using an alternative that respects your rights: #Peertube, the decentralized free software alternative to videos platforms developed by @Framasoft: u.fsf.org/30q

Jeko a partagé

Starting up writing prompts again with a simple question — what has been giving you joy lately? Respond to the prompt here, no sign-up needed: submit.as/cues/joy

Jeko a partagé

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

My only thick enough book is the Guile 2.0 reference...

It used to be only a hacking companion. Now it is also a workout companion.

Badass

m.imgur.com/gallery/yYmEOnO

Jeko a partagé

Calling all teachers! LibreOffice is a great choice for schools and education – it's free and open source, compatible with Microsoft Office, and you don't have to worry about license fees, subscriptions or software audits. Learn more: blog.documentfoundation.org/bl

Afficher plus
Framapiaf

Le réseau social de l'avenir : Pas d'annonces, pas de surveillance institutionnelle, conception éthique et décentralisation ! Possédez vos données avec Mastodon !