HackerTrans
TopNewTrendsCommentsPastAskShowJobs

emorning4

no profile record

comments

emorning4
·6 miesięcy temu·discuss
Down-voting me without providing a counter comment is just pathetic.
emorning4
·6 miesięcy temu·discuss
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
·6 miesięcy temu·discuss
Still hell-banning me I see. OK
emorning4
·6 miesięcy temu·discuss
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
·7 miesięcy temu·discuss
Suppose some random nutjob thought they had solved this problem. What should they do with it?
emorning4
·7 miesięcy temu·discuss
You can tell
emorning4
·9 miesięcy temu·discuss
[dead]
emorning4
·9 miesięcy temu·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
·9 miesięcy temu·discuss
[dead]
emorning4
·10 miesięcy temu·discuss
[dead]
emorning4
·10 miesięcy temu·discuss
[dead]
emorning4
·10 miesięcy temu·discuss
[dead]
emorning4
·10 miesięcy temu·discuss
[dead]
emorning4
·10 miesięcy temu·discuss
[dead]
emorning4
·10 miesięcy temu·discuss
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 miesięcy temu·discuss
[dead]
emorning4
·10 miesięcy temu·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 miesięcy temu·discuss
I own the bare-bones, bottom tiered Samsung dishwasher and fridge. They're both pretty good.

Just refuse to pay for fancy crappola.
emorning4
·10 miesięcy temu·discuss
[dead]
emorning4
·10 miesięcy temu·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.