Hacker News Reader

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

>>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... https://www.cnn.com/2025/09/18/business/us-k-shaped-economy-...

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 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.

Having masked men with guns and body armor shackle and kidnap workers is not 'calling out visa abuse'.

Why is the most relevant comment at the bottom of the page?

The expression problem absolutely captures the nature of the issue and a lot has been written about it.

I just want to remind people that in the 1980's it was still possible to support yourself and work your way through school on minimum wage jobs.

I know because I did it. Took almost seven years but it was possible.

And it's it also how I know that the U.S. has truly gone to shit.

>Why would it be against their terms?<

Azure's terms of service probably require customer agreement for data processing.

The Israelis certainly have no such agreement.

>That is an unreasonable assumption.< It definitely is.

Neither language nor writing is required to perform logic, see (Existential graph)[https://en.wikipedia.org/wiki/Existential_graph].

You can perform automated logic by putting/removing beads on a colored tile floor, see (Flower Calculus)[https://arxiv.org/abs/2402.15174].