Recent submissions

Comment · 1 day ago
I own a bunch of tech stocks.
Comment · 1 day ago
Most of world did worse in 2008. The bailout worked in the US
Comment · 1 day ago
What's your short position?
Comment · 2 days ago
> Stop entertaining your kid.

> Take them out.

?

Comment · 2 days ago
With 3 kids and both parents working we still never use these things. The few times I tried the food takes a long time and arrives kind of slimy.

The way I see it: customer service sucks real bad now. In San Francisco it sucks incredibly bad. Adding another layer of it is another place for things to get worse.

I completely understand how door dash is useful. But I've been so disappointed that I just don't consider it anymore

Comment · 2 days ago
The usual answer to this question: "things were shitty in the past"
Comment · 5 days ago
That seems like the way to go. Also tokamaks etc
Comment · 5 days ago
Not really. P=NP but the degree of the polynomial is Grahams number doesn't let people into your bank account
Comment · 5 days ago
Godel says that there are statements that are true but have no proof within that system. It's not about algorithms.

I'm saying it'd be funny if Riemann were true but not proveable.

Though I guess it's actually funnier. If Riemann were false then there would be a counterexample, so it's clearly within existing axioms.

So if one can prove that Riemann isn't proveable in our current axioms then it has to be true.

Comment · 5 days ago
It's the limitations for sure.

AI has dominion over the digital world, when it can verify things in Lean it's able to crush problems like they're a game of Go.

But when the real world and digital world don't quite connect AI is bottlenecked.

Comment · 5 days ago
I don't know if that's a "flaw". It's what Godel Incompleteness guarantees.

Would be funny if the most famous problem turns out be an example though

Comment · 24 days ago
> elegant code

Usually it's the opposite. "That's in prod? And it works? It shouldn't work and I thought it was doing something else. Why does it work?"

Comment · 25 days ago
Non-doomer perspective is that it'll figure out LK-99 for us. Among other things that would be great to have.
Comment · 27 days ago
If this tech was being used for traffic enforcement then I'm all for it. Unfortunately it seems like people will still be able to browse their phone behind the wheel and run over kids on bikes despite the surveillance

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton