doonesbury

10 ms·

31.
by doonesbury 6y ago
Exactly - I am also left handed. I hope my guitar practice, which I just picked up, will help train my fingers out of octopus mode where they go everywhere. That'll help a bit.
32.
Apple: WTF: MacbookPro 2019: Control Strip
2 points by doonesbury 6y ago|4 comments
33.
by doonesbury 6y ago
Agree! Like a Judge I was thinking: obviously there is a payment dispute since otherwise why would I be reading pleadings? But where in hell does it say what IT is? The whole long story behind the dispute may be interesting for the writer
34.
by doonesbury 6y ago
By advancing vapid imagination only to take the whole thing back at the end (writing paraphrasing OK that dystopian future won't happen) ... Coindesk tries to ... oh, never mind I can't pretend: OP's link is a giant waste of
35.
by doonesbury 6y ago
Meanwhile, that's not what the nature article says!
36.
by doonesbury 6y ago
There is an emotional appeal here, which complains that ivory tower types are too goody-two-shoes to accept mother nature doesn't ship the wine and pate we thought we deserved. It's a Trump like whining session about the entitledn
37.
by doonesbury 6y ago
Really? At our company we ran out of compiler .text space and were shopping for things could remove. It depends ...
38.
by doonesbury 6y ago
Per title.
39.
A Note on Formal Specification for Programmers(github.com)
1 points by doonesbury 6y ago|1 comments
40.
by doonesbury 6y ago
This piece would be more powerful and elucidating if it similarly wrote out in plain English what the US was doing in the Middle East in the first place. This piece focuses on means. We need ends too for context so we can better evaluate ho
41.
by doonesbury 6y ago
I want to better motivate my question on traces by quoting from a paper I enjoyed reading: https://homes.cs.washington.edu/~ztatlock/pubs/verdi-wilcox-... which gives this example for a distributed lock: mutex(τ )
42.
by doonesbury 6y ago
>I don't know if I'd use the word disingenuous. Point taken. Programmers may see project uncertainly as less pressing/difficult while formal methods are onerous. How much one or the other depends on details, and how the te
43.
by doonesbury 6y ago
OK, that's clearer. Thank you. Certainly not nit-picking, but it's worth pointing out in passing that computing the state to check qll the interleavings --- albeit not actually running each path through the reachable states but lo
44.
by doonesbury 6y ago
While tla+ supports pluscal so the the spec is closer to imperative programming one ultimately would do it's true there is an insuperable gap between the spec and implementation. It should be noted dafny and Verdi are better here. Both
45.
by doonesbury 6y ago
>don't only not run all possible executions of a program, they don't even run it once. Can you please clarify? A tla+ spec (or pluscal to tla+) is supposed to verify against all possible interleavings of reachable states like s
46.
by doonesbury 6y ago
See ... what I do not like or agree with is the essentially paranoid, mistrustful nature of your statement. No, not everybody will "will just ask for the moon and over-sell whatever their team in particular is focussing". A couple
47.
by doonesbury 6y ago
I read the article and in and of itself it's adequate. However, as an editor here are some of changed I'd implement esp. in context: - no more headlines like "what nobody (read power structure) will tell you .. the real stor
48.
by doonesbury 6y ago
Hang on. Managers had damn well be getting rid of politics right? Also managers deal with info and people not either or primarily one right?
49.
by doonesbury 6y ago
Agree. There are consequences if the notary lies. If bad data is posted to the blockchain ... Well ... So what? That's why I asked the original poster of scenario what the end receiver's recourse is if he gets a car with too many
50.
by doonesbury 6y ago
I agree with the question: is anything really be solved here? No, not really. A db table of jpegs taken at different points in the hand off is essentially fine too. Carfax seems to so fine without blockchain. And really the bottom line is t
51.
by doonesbury 6y ago
Author writes: ----- match item_option { Some(item) => { //Do something with resource println!("{}", item); } None => {} --------- Wouldn't this be better with design by cont
52.
by doonesbury 6y ago
AI's first spoken words on second day at the job: "What in the hell goes on here anyway? Geeeez" Also software development makes all intelligent actors into mumblers usually after year 7 ... so we can expect to hear, if we st
53.
by doonesbury 6y ago
I've read this paper a couple of times without having learned everything. The modeling language Bloom looks to have died on the vine. It's a datalog descendant. Bloom is supposed to help tell one if their distributed system is cal
54.
by doonesbury 6y ago
Totally agree with need to assess when comfort crosses into stagnation. I'm 10+ years in the same division at my employer thought not in the same team. But I've become bored particularly on getting rid of hand me down tech debt I
55.
by doonesbury 6y ago
Trying to get up to speed on this whole issue .. but as a software engineer, I'm a little surprised APIs are not copyrightable. Putting aside the pedantically literal creative work that goes into documenting an API and naming functions
56.
by doonesbury 6y ago
Agree
57.
by doonesbury 6y ago
Wait - what are you arguing? That Frama or some other code can come up with loop invariants by itself from the code? Even if this is true and doable, it's bad. The question always was: does the code satisfy the spec, not whether we can
58.
by doonesbury 6y ago
>I had to provide my own loop invariants, which is also a pain You either make your spec up as you go along and don't check it as its hidden in the code, or provide it so that static analysis tools and/or things like tla+ can h
59.
by doonesbury 6y ago
Feelings I'm afraid have little to so with the legal realities at play here. He had choice to sign or not sign. He signed. While not same subject, there are equally intense feelings that arise in marital separation agreements especiall
60.
by doonesbury 6y ago
Agree. This judgement seems a pretty pedestrian outcome of not following a contract.

More ›