at #cccamp if you're interested in MirageOS unikernels, please come and talk to me. also happy for hands-on sessions :)
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
Type-checking the session-typed pi-calculus in Coq (master's thesis)
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!
wow, remotely executed a `ls` with RSA private key authentication using awa-ssh and #OCaml... just a simple matter of programming :D
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" 😅
Framapiaf est un service de microblog similaire à Twitter. Il est libre, décentralisé et fédéré. Il permet de courts messages (max. 500 caractères), de définir leur degré de confidentialité et de suivre les membres du réseau sans publicité ni pistage.