kachnuv_ocasek

But why?

> A human can do the same by looking at the weights of an MLP trained on mnist

Excuse me?

Alex? You're alive after all?

* US president

Yes, until you introduce inconsistent axioms. Then you can prove anything.

> Supermarkets very efficiently drive down the cost of food

heh, the Czech supermarket cartel would like to speak to you.

So, can we get rid of those "I'm not a robot" widgets at last, as it's been proven beyond any doubt that they don't provide the expected benefits?

That's slightly less than the number of CVEs issued in 2003 in total (1,527).

For context, there are 48,152 CVEs from 2025 and 73,356 in 2026 so far.

It's almost as though "economic freedom" (whatever that means) and the government schmutzing in citizens' personal affairs are completely unrelated things!

And of by one errors

Hacker News saves the day once again!

ChatGPT is commonly referred to as Chappie (チャッピー) in Japan.

I don't think you appreciate what a hack job Windows really is. It's just that it's quite visible in the Linux world, but more obscured in the case of proprietary software.

Can you share more about the connection between MCMC and SAT/SMT? That's a crossover I never thought I'd see.