Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
emorning4
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
1.
▲
by
emorning4
8mo ago
Down-voting me without providing a counter comment is just pathetic.
2.
▲
by
emorning4
8mo ago
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
3.
▲
by
emorning4
9mo ago
Still hell-banning me I see. OK
4.
▲
by
emorning4
9mo ago
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.
5.
▲
by
emorning4
9mo ago
Suppose some random nutjob thought they had solved this problem. What should they do with it?
6.
▲
by
emorning4
10mo ago
You can tell
7.
▲
by
emorning4
1y ago
>>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.
8.
▲
by
emorning4
1y ago
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.
9.
▲
by
emorning4
1y ago
>>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&
10.
▲
by
emorning4
1y ago
I own the bare-bones, bottom tiered Samsung dishwasher and fridge. They're both pretty good. Just refuse to pay for fancy crappola.
11.
▲
by
emorning4
1y ago
>>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
12.
▲
by
emorning4
1y ago
Having masked men with guns and body armor shackle and kidnap workers is not 'calling out visa abuse'.
13.
▲
by
emorning4
1y ago
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.
14.
▲
by
emorning4
1y ago
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 al
15.
▲
by
emorning4
1y ago
>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.
16.
▲
by
emorning4
1y ago
>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 autom