Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

Hannes

@hannes@social.coop
  • Open on social.coop

#OCaml #MirageOS #anarchist #cooperative #tree_warden #lomilomi #hacker #antifascist #non-violent_communication #nvc

0 Followers
0 Following
6 Posts
Joined April 28, 2025
homepage:
https://hannes.robur.coop

Posts

Open post
hannes
Hannes @hannes@social.coop · May 08, 2026
Hannes
@hannes@social.coop

#OCaml #MirageOS #anarchist #cooperative #tree_warden #lomilomi #hacker #antifascist #non-violent_communication #nvc

social.coop

Tried to convert a timestamp to UTC, google AI presented me with this.

And I wonder if they get the day wrong even at such a simple thing (and they as well claim "day is Thursday"), what a horrible mess we're going to get in the future? You booked your airline tickets? Sorry, I rebooked you to two days ago and forgot to inform you (but actually the flight was yesterday)... #aifail

4
3
2
0
Open post
hannes
Hannes @hannes@social.coop · Mar 21, 2026
Hannes
@hannes@social.coop

#OCaml #MirageOS #anarchist #cooperative #tree_warden #lomilomi #hacker #antifascist #non-violent_communication #nvc

social.coop

I'm still ecstatic about tree pruning and the lost art of it.... I drove today an hour to cut an apple tree at a friends place. I was already awaited by neighbours who want their cherry tree to be cut... fascinating how all of this knowledge seem to be lost or getting lost these days. cherry trees are esp. nice to cut when the cherries can be harvested, so you have a nice tree and all the cherries... thus looking forward to go there again in late June \o/

to preserv our nice fruit trees, go out and take some tree pruning workshop and make good connections with your neighbours :)

19
0
3
0
Open post
hannes
Hannes @hannes@social.coop · Mar 14, 2026
Hannes
@hannes@social.coop

#OCaml #MirageOS #anarchist #cooperative #tree_warden #lomilomi #hacker #antifascist #non-violent_communication #nvc

social.coop

It was nice to see so many functional programming people at #bobkonf. And then so many interesting talks covering #haskell #scala #OCaml -- well done, thanks to the organizers

10
0
4
0
Open post
hannes
Hannes @hannes@social.coop · Mar 13, 2026
Hannes
@hannes@social.coop

#OCaml #MirageOS #anarchist #cooperative #tree_warden #lomilomi #hacker #antifascist #non-violent_communication #nvc

social.coop

@xvw@merveilles.town nice talk!! :) if you haven't seen this https://github.com/lpw25/girards-paradox -- may be of interest for you ;)

1
0
1
0
Open post
hannes
Hannes @hannes@social.coop · Mar 11, 2026
Hannes
@hannes@social.coop

#OCaml #MirageOS #anarchist #cooperative #tree_warden #lomilomi #hacker #antifascist #non-violent_communication #nvc

social.coop

I'm pretty happy what we at robur achieved over the years in terms of deploying #MirageOS unikernels, take a look yourself http://webmshare.com/play/QG0jJ

What you see is the deployment of the unikernel "unipi" (https://github.com/robur-coop/unipi) named "website", with a remote to my blog repository.

Now, dnsvizor (https://github.com/robur-coop/dnsvizor) hands out IP address (DHCP) and registers the name "website.mirage". It also acts as DNS resolver.

What we see next is the website served by the just deployed unikernel (on http://website.mirage)

The last bit we see is the query log of the dnsvizor resolver (at 10.0.42.2 -- out of a habit, http://dnsvizor.mirage would work as well). Here we see that the website.mirage unikernel requested git.robur.coop (both A and AAAA records), and later firefox looked up website.mirage.

The initial web interface is mollymawk (https://github.com/robur-coop/mollymawk).

Running on albatross https://github.com/robur-coop/albatross

This has been achieved thanks to the brilliant robur team and NGI funding :) 🎉 🙌🏾

15
0
12
0
Open post
hannes
Hannes @hannes@social.coop · Feb 17, 2026
Hannes
@hannes@social.coop

#OCaml #MirageOS #anarchist #cooperative #tree_warden #lomilomi #hacker #antifascist #non-violent_communication #nvc

social.coop

We (the #OCaml #security response team) https://ocaml.org/security published today an advisory for the OCaml runtime (Marshal decoding over-read) https://osv.dev/vulnerability/OSEC-2026-01

I'm happy we managed to coordinate this, turned out to be an excessive amount of work - fixing the runtime, fuzzing, performance testing, but also integrating into osv.dev -- any feedback is highly appreciated, esp. if we're missing out on best practices. Otherwise, please welcome OSEC to your vulnerability databases. We're here to stay. :)

If you like our work, please fund OCSF https://ocaml-sf.org or apply to our calls for proposals (or both ;) https://discuss.ocaml.org/t/ocaml-security-grants/

Have a nice evening 😍

17
0
10
0

Remote instance

social.coop
Open on original server

Media

313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 23:02:41 UTC