Oh god, I'm tempted to take my friend up on the idea of a 200km #cycle on Saturday! He wants to set a new record.
formal methods & C++
@amiloradovsky I’d be surprised if C++’s dark corners got less mind-boggling than it was 20 years ago, where a 1000+ page hard to read document was describing them...
Oh yes, the heatwave still to arrive tomorrow, with +28, and to cool down to +22 Monday :)
@otini never seen this. What area is this? Logic?
New book announced on "Programming Algorithms" in Lisp, under CC-BY-NC-ND license: http://lisp-univ-etc.blogspot.com/2019/07/programming-algorithms-book.html?m=1
@gentoo - for how long repo rsync will be down?
# ping rsync.gentoo.org
ping: rsync.gentoo.org: Temporary failure in name resolution
Oh my, someone finally went and broke the OpenPGP SKS Keyservers. Or rather, put garbage in them which in turn breaks GnuPG.
I've updated #Mailpile to cope, details and discussion are here: https://community.mailpile.is/t/mailpile-and-the-sks-keyserver-attacks/185
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!