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

Finally, it's done, pasteur use the new stack (conduit + git) and it is alive with a proper way to get a let's encrypt certificate #OCaml #MirageOS paste.x25519.net/

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

So, I think it is mostly ready. The focus has shifted, as the example I had in mind has proven to be harder to implement than anticipated.

Side note: I don’t think I have already read a similar write-up yet.

If the subject is of some interest for you, I am interested in your feedback prior to sharing it more vastly.

soap.coffee/~lthms/posts/Mixin

Thanks! and <3

Afficher le fil de discussion
Seb Mondet a partagé

Blog post: “A Quick Website for HSCrypt”

HSCrypt got a new small website with examples
… an occasion to re-present this quick hack …

seb.mondet.org/b/0005-hscrypt-

Number 5 of

Seb Mondet a partagé
Seb Mondet a partagé

Proving Algebraic Datatypes are “Algebraic” in #Coq
soap.coffee/~lthms/posts/Algeb

It was fun to write, hope you enjoy reading it. I tried to spellcheck it, but tbh I wouldn’t be surprise to find mistakes… If you notice some, feel free to tell me!

Seb Mondet a partagé

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

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 !