Blog post: “Adding an RSS Feed to This Blog”

Quick OCaml hack to generate some old-school XML.

seb.mondet.org/b/0004-adding-a

Number 4 of

Seb Mondet a partagé

Blog post: “JackAudio Setup for NI3 Dance”

A post that describes NI3 Dance's live software setup:
All free and open-source software, MIDI and Audio routed with Jack.

seb.mondet.org/b/0003-ni3-jack

Number 3 of

@ni3dance

Blog post: “Generating OCaml From Michelson Types”

Statically typed interaction between smart contracts and application code:
🖝 code-generator: Michelson-type → OCaml-modules

seb.mondet.org/b/0002-michokit

Post 2 of

Seb Mondet a partagé
Seb Mondet a partagé

ok, that was fun... developing a traceroute as MirageOS unikernel, and preserving the ttl and timestamp of sent packet inside the UDP header (well, 2 * 16 bit ports is enough for everyone, no) -- gist.github.com/hannesm/10ae02 #MirageOS #traceroute

next: figure control flow to properly terminate :)

Blog post: “Comk: Graphical Menus In OCaml”

Re-Introducing the Comk library:
Making single-key and dmenu-like fast graphical menus with an OCaml EDSL.

seb.mondet.org/b/0001-comk-int

Day 1 of

Seb Mondet a partagé
Seb Mondet a partagé
Seb Mondet a partagé
Seb Mondet a partagé

woop, from the #MirageOS land:
- qubes-mirage-firewall supporting dynamic rules was released yesterday groups.google.com/forum/#!topi
- TLS 1.3 is released, and live at mirage.io/blog/tls-1-3-mirageo
- no clue what will be announced tomorrow ;)

Seb Mondet a partagé
Seb Mondet a partagé
Seb Mondet a partagé

tsort 2.0.0, the friendly topological sort library for OCaml, is now available from opam.
It now can sort a graph with cycles into strongly connected components (thanks for Martin Jambon) and reporting of nodes with non-existent dependencies has improved.
github.com/dmbaturin/ocaml-tso

Seb Mondet a partagé
Seb Mondet a partagé

today I developed a #MirageOS unikernel which serves the contents of a git remote via HTTP(S), including let's encrypt certificate provisioning. A test instance is setup at test.nqsb.io -- code is at github.com/hannesm/unipi (includes various protocols: git, ssh, tls, http, acme). it is < 300 lines of application code :D and even provides HTTP cache headers (last-modified / etag) :D A webhook is available that fetches the git remote (to update the contents) :D

Seb Mondet 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

Seb Mondet a partagé

New blog post about Eq(af), a library to protect us against the timing attack - blog.x25519.net/2020-03-14--eq

Seb Mondet a partagé
Seb Mondet a partagé
Déplier
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 !