bkummel

What I don’t get: if someone that’s apparently not the average mathematician has so much trouble reading and understanding the paper, then why is everyone so sure that GPT really delivered a genuine proof? This is an honest question; I really don’t understand that.

Remember the days when people laughed at the range and charge times of first-gen electric vehicles?

I didn't even know that managing dotfiles was a "problem space".

Dick is a normal, be it old-fashioned, first name in The Netherlands.

Doesn't work for me. Says "No USB-C ports detected", although I'm pretty sure my monitor is connected via USB-C, and the monitor also has a built-in USB hub where my USB keyboard is connected to.

In what sense do we need Tangled if there's already ForgeFed?

Without having read the article, reacting on the headline: no single person should be allowed to control our future. Democracy is a thing in large parts of the world, and we should try very hard to keep that functioning and even improve it.

No shit, Sherlock!

I see comments about Swedish personal identification numbers. But the article is about source code that's leaked, not a database of numbers, right? I was thinking: should government source code not be open source anyway?

I used to envy people that work in Silicon Valley, right where all the action is. But with all the recent developments, I don't anymore. I'm happy that I live in Europe, where we are still acting more or less normal these days.