Down-voting me without providing a counter comment is just pathetic.
I can't imagine how writing C directly could possibly be better than using a language like Dafny and then generating C code. Edit: Dafny: A verification language capable of enforcing invariants
Still hell-banning me I see. OK
The ability to hyper focus is a symptom of your ADD. It's not a super power and if you treat it that way it'll consume your life. Don't let it.
Suppose some random nutjob thought they had solved this problem. What should they do with it?
You can tell
[dead]
>>Whatever is is, and what is not cannot be<< Well, that's not true. Particles, and thus facts, pop into and out of existence all the time.
You better think two or three or a thousand times before you buy one of these. Just this week we found a homeless and black guy swinging from trees.
>>What if the base of the economy is well-paid power point rangers buying stuff? << Moody's says that the top 20% of earners are supporting the economy right now...…
I own the bare-bones, bottom tiered Samsung dishwasher and fridge. They're both pretty good. Just refuse to pay for fancy crappola.
>>To avoid impedance mismatches the authoring notation must align exactly to and emerge from the underlying computational structure. << I thought that I was the only one that understood that the rules for transforming…
Having masked men with guns and body armor shackle and kidnap workers is not 'calling out visa abuse'.
Down-voting me without providing a counter comment is just pathetic.
I can't imagine how writing C directly could possibly be better than using a language like Dafny and then generating C code. Edit: Dafny: A verification language capable of enforcing invariants
Still hell-banning me I see. OK
The ability to hyper focus is a symptom of your ADD. It's not a super power and if you treat it that way it'll consume your life. Don't let it.
Suppose some random nutjob thought they had solved this problem. What should they do with it?
You can tell
[dead]
>>Whatever is is, and what is not cannot be<< Well, that's not true. Particles, and thus facts, pop into and out of existence all the time.
[dead]
[dead]
[dead]
[dead]
[dead]
[dead]
You better think two or three or a thousand times before you buy one of these. Just this week we found a homeless and black guy swinging from trees.
[dead]
>>What if the base of the economy is well-paid power point rangers buying stuff? << Moody's says that the top 20% of earners are supporting the economy right now...…
I own the bare-bones, bottom tiered Samsung dishwasher and fridge. They're both pretty good. Just refuse to pay for fancy crappola.
[dead]
>>To avoid impedance mismatches the authoring notation must align exactly to and emerge from the underlying computational structure. << I thought that I was the only one that understood that the rules for transforming…
[dead]
Having masked men with guns and body armor shackle and kidnap workers is not 'calling out visa abuse'.
[dead]
[dead]
[dead]