FWIW, I'm looking to relocate myself to Berlin. Don't mind remote or office based, though light preference for the former.
@lthms I looked at the odoc library but there doesn't seem to be anything about mli weirdly enough (might be worth asking them though).
Otherwise I'd say the simplest solution would be to directly use compiler-libs :/
woop, from the #MirageOS land:
- qubes-mirage-firewall supporting dynamic rules was released yesterday https://groups.google.com/forum/#!topic/qubes-users/Xzplmkjwa5Y
- TLS 1.3 is released, and live at https://mirage.io/blog/tls-1-3-mirageos
- no clue what will be announced tomorrow ;)
TIL about Gnome Boxes
me: "my laptop has been a bit slow for a while now, I wonder why..."
also me: *gets OOM-killed with 16Go of RAM*
dam, they recruited the whole Hermitcraft server or what??! wtf
I hope she'll manage to convince her friends too. She'll say something along the line of "my daughter working in cyber security* told me not to use Zoom", that should work
(*: I'm not 🤫 but close enough yknow)
Nasty compiler bug, yum!
@Nocta et encore ils testent quasi personne... (comme partout ailleurs)
if you only had this plot to figure out where face mask wearing is normalized/common/expected in public you'd be correct:
I did almost everything right. Worked at home. Saw one friend in the last 10 days. Had a beer for an hour outside a pub, either side of a big table. Fresh air, no contact. Washed my hands 3 times.
Still caught corona from him.
Do not fuck around with this thing.
Bienvenue en France, 6e puissance économique mondiale, où l'on trouve des dizaines de milliards d'euros en 2 jours pour "aider les entreprises" mais où les hôpitaux lancent des APPEL AUX DONS pour maintenir les malades en vie ! https://twitter.com/BFMTV/status/1240700505170436096
OCaml CI girl at OCamllabs · Admin of lesbiab.space · Anarchist Communist · Programming Languages Theory (PP: modified art from chomado)
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!