I keep jumping around from past to present. I must be narrowing something down but I’m not sure what yet. “O’Hearn and Brookes are co-recipients of the 2016 Gödel Prize for their invention of Concurrent Separation Logic.” Just read: “Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity”, which uses the simple but fantastic notion of logical verification with TIMESTAMPS – AND using TWO histories simultaneously: SUBJECTIVE and Objective, allowing for things like dealing with programs that operate across networks, running concurrently, functions shared by the state space – even situations where it can decide not to do something if it was done by another program or by the state space itself. It’s part of https://en.wikipedia.org/wiki/Separation_logic – in this case, Concurrent Separation Logic. Why do I like this? If you abstract it’s function (take it out of the context of computer science), it’s logical reasoning that has PLACE and TIME and SUBJECTIVITY and multiple HISTORIES, features missing from many logics. Doing this gives the power to consider reasoning from TWO perspectives simultaneously: COARSE (objective, collective, hindsight) and FINE-GRAINED (subjective, individual, interactive, broken up).

I keep jumping around
[read full article]

Can’t have evidence without an investigation. Investigation “wasn’t necessary” and the hearing proceeding because they “felt like it was taking too long”. You want facts over feelings? Investigate. You want feelings over facts? Rush an appointment because you feel an accusation is false.

Can’t have evidence without [read full article]


Govt requires cooperation for good leadership. Firm and also cooperative. Executives don’t have to cooperate with anybody. But board members do. Forget CEO / COO. They’re bark-and-obey. But find a board member and you’ll find someone with transferrable skills, if you insist on business experience. Activism requires leadership. Coordinating an activist organization is leadership and far more difficult as it has no job title / corporate backup structure in case of failure.

Govt requires cooperation for [read full article]


The expression “God helps those who help themselves” is not a quote of Jesus nor anywhere in the Bible. It’s a very American expression, popularized by Ben Franklin, who might have gotten it from a political philosopher he liked. There’s a similar proverb in Islamic culture. But it also goes way back to Aesop’s fables, which is probably the source of both. “A WAGGONER was once driving a heavy load along a very muddy way. At last he came to a part of the road where the wheels sank half-way into the mire, and the more the horses pulled, the deeper sank the wheels. So the Waggoner threw down his whip, and knelt down and prayed to Hercules the Strong. “O Hercules, help me in this my hour of distress,” quoth he. But Hercules appeared to him, and said: “Tut, man, don’t sprawl there. Get up and put your shoulder to the wheel. “The gods help them that help themselves.” Where did Aesop get it from? Well, that’s where the trail goes cold. Maybe the Universe will support you on your quest (if you make use of what you can do yourself). The sentiment continues, modified through the millennia but mostly unchanged.

The expression “God helps … [read full article]