It literally took years, but on the upside, finally in the #OCaml#opam world, we got rid of using md5 as hash algorithm. There has been a PR merged which changed 15738 files, removing 30000 lines of metadata (pushing them into a separate repository for patches). \o/ \O/
Wir bieten nichtkommerzielle Seminar Infrastruktur fuer diverse Gruppen an, seit gut 10 Jahren. Jetzt brauchen wir fuer unsere Dachbaustelle und PV-Ertuechtigung Geld fuers Material.
Sign up early :) And yes, you're welcome to join (no #OCaml or #MirageOS expertise required).
On the website above there's a list of earlier retreats together with trip reports and blog articles. It is all about "delicious food, interesting discussions, and eventually develop some code". #unikernel
I learned the hard way that even recent macbooks don't support connecting more then two bluetooth devices? On connecting the third, my audio heavily stutters, seems kinda bad for these expensive machine.
The "robustness principle" is the most destructive concept in protocol design and implementation of all time. We should be embracing its inverse: strict, explicit state-machines with model-checked proofs
looking back, unfortunately formal methods work does not always pick up to ietf - e.g. our work on tcp/ip and the sockets api didn't get much resonance in the engineering community http://www.cl.cam.ac.uk/~pes20/Netsem/paper3.pdf
@geography@shakthimaan I completely agree (and won't get involved with NewSpace, neither SpaceOS), and FWIW I'm a contributor to #MirageOS and have some moral and ethics (and won't sell out to military). My interest in space and neoliberalism is very small.
Could someone who received funding from NLNet in Germany, France, Denmark - briefly get in touch with me (I'd like to evaluate gift taxes etc.). Thanks a lot
(for Germany, I guess it is 30% if above 20k (within 10 years))
