emorning4·6 months ago·discussI 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·6 months ago·discussThe 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·7 months ago·discussSuppose some random nutjob thought they had solved this problem. What should they do with it?
emorning4·9 months ago·discuss>>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 months ago·discussYou 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 months ago·discuss>>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 months ago·discussI own the bare-bones, bottom tiered Samsung dishwasher and fridge. They're both pretty good.Just refuse to pay for fancy crappola.
emorning4·10 months ago·discuss>>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.