Ok, too long. So
Posts tagged with 'repair'
This morning, woke up. Phone dead. Computer off. Got steno pad. Started writing. Did this. Hope it’ll make sense when I reread it. I know it’ll map. I SUSPECT this work was done by another long before me. But it’s precisely the process of DIY in some fashion that’s needed. You have to program it to understand it and to translate it.
This morning, woke up.
… [read full article]Pickup sticks is a mapping of one coordinate system to another. But if the sticks break and need glue it still maps BUT you need to insert subprocesses that don’t map to both systems but to an internal relative coordinate system and ALSO to ANOTHER system (however you do the gluing) that’s orthogonal to the pickup sticks mapping.
Pickup sticks is a
… [read full article]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
I’m in the mentor role. Not a hero. Always been in that role. Help a bit, let go, next.
I’m in the mentor … [read full article]
Tyndall F-22s, Left Behind Before Michael Hit, Possibly Damaged Beyond Repair
I’m not a military … [read full article]
More Than 9 Million Broken Wikipedia Links Have Been Rescued — Popular Mechanics
Links are infrastructure. Amazing … [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]