Seb Mondet @smondet@framapiaf.org
Seb Mondet
a partagé
Petit overview of what I did this summer about #MirageOS #OCaml - https://blog.x25519.net/2020-09-04--blog.html
Seb Mondet
a partagé
Latest #ocaml weekly news is out
http://alan.petitepomme.net/cwn/2020.09.15.html
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 https://paste.x25519.net/
Seb Mondet
a partagé
Latest #ocaml weekly news is out
http://alan.petitepomme.net/cwn/2020.09.01.html
Seb Mondet
a partagé
Latest #ocaml weekly news is out
http://alan.petitepomme.net/cwn/2020.08.18.html
Seb Mondet
a partagé
Latest #ocaml weekly news is out
http://alan.petitepomme.net/cwn/2020.08.11.html
Seb Mondet
a partagé
Latest #ocaml weekly news is out:
http://alan.petitepomme.net/cwn/2020.07.28.html
Next one will be on August 11th
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.
https://soap.coffee/~lthms/posts/MixingLtacAndGallina.html
Thanks! and <3
Seb Mondet
a partagé
Latest #ocaml weekly news is out:
http://alan.petitepomme.net/cwn/2020.07.21.html
Blog post: “A Quick Website for HSCrypt”
HSCrypt got a new small website with examples
… an occasion to re-present this quick hack …
https://seb.mondet.org/b/0005-hscrypt-website.html
Number 5 of #100daystooffload
Seb Mondet
a partagé
Latest #ocaml weekly news is out
http://alan.petitepomme.net/cwn/2020.07.14.html
Seb Mondet
a partagé
Proving Algebraic Datatypes are “Algebraic” in #Coq
https://soap.coffee/~lthms/posts/AlgebraicDatatypes.html
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é
Latest #ocaml weekly news is out:
http://alan.petitepomme.net/cwn/2020.07.07.html
Blog post: “Adding an RSS Feed to This Blog”
Quick OCaml hack to generate some old-school XML.
https://seb.mondet.org/b/0004-adding-an-rss-feed.html
Number 4 of #100daystooffload
Seb Mondet
a partagé
Latest #ocaml weekly new is out:
http://alan.petitepomme.net/cwn/2020.06.30.html
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.
https://seb.mondet.org/b/0003-ni3-jack-setup.html
Number 3 of #100daystooffload
Blog post: “Generating OCaml From Michelson Types”
Statically typed interaction between smart contracts and application code:
🖝 code-generator: Michelson-type → OCaml-modules
https://seb.mondet.org/b/0002-michokit-codegen-intro.html
Post 2 of #100daystooffload
Seb Mondet
a partagé
Latest #ocaml weekly news is out:
http://alan.petitepomme.net/cwn/2020.06.23.html
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) -- https://gist.github.com/hannesm/10ae02dbfd42568b24518fddcb39060f #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.
https://seb.mondet.org/b/0001-comk-intro.html
Day 1 of #100daystooffload
