I've finished writing part 1 of "OcapPub: Towards networks of consent", which is to say the "Conceptual Overview" section https://gitlab.com/spritely/ocappub/blob/master/README.org
There's a lot there already, and we haven't even gotten to Part 2, the "How to Build It" section yet. I'll begin work on that tomorrow.
What's here already is more or less an explanation of *why* OcapPub is taking the particular direction it is taking, and why other approaches run into serious problems.
Lesestoff! Das XP1610 im Test bei LinuxUser: https://www.linux-community.de/ausgaben/linuxuser/2019/08/kraftprotz-in-schwarz-2/
Plasma reaches amazing places! Take the Large Hadron Collider's smaller sibling: the ALBA synchrotron.
Sergi Blanch-Torné, Controls Software Engineer, explains how ALBA provides insight into biology, nanotechnology, and more using KDE's software:
I can just quantify over two membership hypotheses. But then I need proof irrelevance to establish their equality.
Otherwise, I may try to use transportation of one hypothesis into another, but some stupid restrictions won't let me do what seems to be a totally legitimate operation, because dependencies between subterms.
Maybe the issue is simply with tactics, and I should write the terms manually, but what's the point then? And the term will be pretty huge.
I hate everything.
There's a progress on semi-artificial photosynthesis. Honestly, semi-biological technologies sound hella cool.
If the only things you know about atomic variables are that they exist and what operations you can perform in your favourite language, read this:
https://preshing.com/20150402/you-can-do-any-kind-of-atomic-read-modify-write-operation/ I cherish those posts that are right on the edge of my understanding - they're comfortable to read, yet teach me something new.
(Examples are in #cplusplus, but the idea is clear and universal).
OpenBIOS - open source Forth firmware
Is that an invitation to shop some domains now?
functional.cafe is an instance for people interested in functional programming and languages.