hannesm is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

.oO(yesterday I learned a new trick in my favourite programming language.. now I feel like I need to rewrite all the libraries)

what was the trick about? storing heterogenous typea in a key value store (i.e. key A -> value type int, key B -> value type string), using GADT (and a closed set of keys, unlike buenzli's hmap library). Now I can reduce the matches on my sum types, and will never have to deal that someone stored an IP address as NS record \o/

@qrs if you're interested, it would be a pleasure to have you at marrakech2017.mirage.io in Morocco (nov 29th - dec 6th)

hannesm boosted
hannesm boosted
hannesm boosted

thanks that this bubble here is not full of police violence. Being sceptical of nations, I recommend to read this nice article from veterans qho fought against Franco "It’s about class. I don’t have a problem with the person standing next to me, it’s the one above me who’s the problem."

theguardian.com/world/2017/sep

hannesm boosted

In a world of specialization, a sufficiently advanced generalist is indistinguishable from magic.

hannesm boosted

There is an autonomous relief fund for the earthquakes in #mexico

we.riseup.net/apoyo-autonomo/a

Consider helping them out if you can.

<3

Dear people who build more trustworthy&secure systems, please submit to the resilience track at 34c3 events.ccc.de/2017/09/19/34c3- -- I need your submission! :)

There'll be another MirageOS hack retreat early December in Marrakesh, marrakech2017.mirage.io :) looking forward to that!

hannesm boosted

If it is public money, it should be public code as well! I support @fsfe 's call for more : publiccode.eu/

hannesm boosted

One of the patches at the anarchist book fair of today

If there's a security issue and the only contact is a mail address without any OpenPGP key, what to do? Is there any reason to submit it to CVE (owned by US intelligence), or as unencrypted mail to the company? Maybe post it directly to pastebin (and/or full disclosure FWIW)!?

hannesm boosted

Can't get enough of HackOn and SHA2017? Join us at Bornhack! bornhack.dk/bornhack-2017/

Dinosaure opened a giant PR for to improve this project (PR created with his git implementation): github.com/mirage/ocaml-git/pu

This is great news, everyone... At least myself was waiting since years to be able to finally git push from a MirageOS unikernel, and seems to be so close now :) <3

hannesm boosted

already crossed the german border by train.. sunny day, sad that is over - but we'll meet again <3

hannesm boosted