emorning4·7 か月前·議論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
emorning4·7 か月前·議論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.
emorning4·8 か月前·議論Suppose some random nutjob thought they had solved this problem. What should they do with it?
emorning4·10 か月前·議論>>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.
emorning4·10 か月前·議論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.
emorning4·10 か月前·議論>>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... https://www.cnn.com/2025/09/18/business/us-k-shaped-economy-...
emorning4·10 か月前·議論I own the bare-bones, bottom tiered Samsung dishwasher and fridge. They're both pretty good.Just refuse to pay for fancy crappola.
emorning4·11 か月前·議論>>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 structures are emergent properties of the structure itself.I'm not an academic, can you point me to where you encountered this idea of emergent notations??Or anything regarding computational structures and web development. Such a thing seems like alien technology to me right now.