Seb Mondet @smondet@framapiaf.org

Latest #ocaml weekly news is out
http://alan.petitepomme.net/cwn/2019.08.20.html

Little tutorial on how to write a deriving plugin in #ocaml
http://rgrinberg.com/posts/deriving-slowly/

I wrote a blogpost about X.509 and #OCaml and #MirageOS :) https://hannes.nqsb.io/Posts/X50907

Holly shit this new down toplevel plugin is great!!

at #cccamp if you're interested in MirageOS unikernels, please come and talk to me. also happy for hands-on sessions :)

📆 If you still don't know @OCamlLang or just are interested in #FunctionalProgramming it's time to register for next 🐫 #OCaml #MOOC session which will start the 22th September with @yurug @rdicosmo 👨‍💻 https://t.co/EPaEnzTINu

Latest #ocaml weekly news is out
http://alan.petitepomme.net/cwn/2019.08.13.html

gathered metrics that show our CalDAV server uses ~4 times fewer CPU ticks when run as virtual machine (#MirageOS unikernel) compared to a Unix process -- and thus emits less CO₂ //cc @PrototypeFund https://berlin.ccc.de/~hannes/crobur-june-2019-cpu.png -- was running till June 13th as process; read more at https://hannes.nqsb.io/Posts/Summer2019

Woohoo, the creation of a new #ocaml switch is way faster now.

ocaml compiler distribution: use parallel build for OCaml 4.07 and above
https://github.com/ocaml/opam-repository/pull/14257/files

Latest #ocaml weekly news is out
http://alan.petitepomme.net/cwn/2019.07.30.html

RT @typer_uma@twitter.com

Type-checking the session-typed pi-calculus in Coq (master's thesis)

https://github.com/umazalakain/session-types-coq/blob/master/src/SessionTypes.v

🐦🔗: https://twitter.com/typer_uma/status/1154483968785440771

Just a little program in #OCaml (all) to send a mail ...

If you still don't know #OCaml or if you're learning #ReasonML you really should enroll to this #MOOC https://t.co/6SZs7G2U3w

Latest #ocaml weekly news is out http://alan.petitepomme.net/cwn/2019.07.02.html

SKS keyserver, my personal TL;DR:
- its hard to find maintainers for projects (see OpenSSL/GnuPG/...), esp. if there's no funding
- SKS predates opam etc. -- it has been written as a rather monolithic piece of software
- license-wise it may not make everybody comfortable to work on it (speaking about myself: I prefer to work on permissively licensed code even in my spare time)
- maintenance + refactoring: I'd estimate ~1 month of work to get SKS into shape -- anyone interested in funding this?

The OCaml MOOC is back for a fourth edition! Register now!
https://www.fun-mooc.fr/courses/course-v1:parisdiderot+56002+session04/about

Latest #ocaml weekly news is out
http://alan.petitepomme.net/cwn/2019.06.25.html

wow, remotely executed a `ls` with RSA private key authentication using awa-ssh and #OCaml... just a simple matter of programming :D

Latest #ocaml weekly news is out
http://alan.petitepomme.net/cwn/2019.06.18.html

Hey, if you're in #madisonWI and interested in #unikernels or #libraryOperatingSystems or #OCaml, I'm talking about that stuff at the Haskallywags meetup tonight: https://www.meetup.com/Haskallywags/events/260155970/ . Come join the Haskeletons and the terrifying flesh suits that surround them!

They were nice enough to invite me even though my Haskell knowledge stops slightly before "hello world" 😅