hannesm @hannesm@mastodon.social
.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/
two deadlines this sunday: signup for MirageOS retreat http://marrakech2017.mirage.io ++ submit to resilience track at 34c3 https://events.ccc.de/2017/09/19/34c3-call-for-participation-and-submission-guidelines/
@qrs if you're interested, it would be a pleasure to have you at http://marrakech2017.mirage.io in Morocco (nov 29th - dec 6th)
Latest #ocaml weekly news http://alan.petitepomme.net/cwn/2017.10.10.html
A new way of blogging about #Ocaml
http://blog.klipse.tech/ocaml/2017/10/05/blog-ocaml.html
Totally missed that #34C3 has a resilience track separate from security! https://events.ccc.de/2017/09/19/34c3-call-for-participation-and-submission-guidelines/
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."
https://www.theguardian.com/world/2017/sep/30/red-belt-catalonia-labour-movement-referendum
In a world of specialization, a sufficiently advanced generalist is indistinguishable from magic.
There is an autonomous relief fund for the earthquakes in #mexico
https://we.riseup.net/apoyo-autonomo/autonomous-relief-fund
Consider helping them out if you can.
<3
Dear people who build more trustworthy&secure systems, please submit to the resilience track at 34c3 https://events.ccc.de/2017/09/19/34c3-call-for-participation-and-submission-guidelines/ -- I need your submission! :)
There'll be another MirageOS hack retreat early December in Marrakesh, http://marrakech2017.mirage.io :) looking forward to that!
If it is public money, it should be public code as well! I support @fsfe 's call for more #publiccode: https://publiccode.eu/
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)!?
Can't get enough of HackOn and SHA2017? Join us at Bornhack! https://bornhack.dk/bornhack-2017/
Dinosaure opened a giant PR for #OCaml #Git to improve this project (PR created with his git implementation): https://github.com/mirage/ocaml-git/pull/227
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
already crossed the german border by train.. sunny day, sad that #hackon is over - but we'll meet again <3