Hacker News: alphabeta3r56

New comment by alphabeta3r56 in "Lean now ships with verified kernels"

alphabeta3r56 — Sun, 18 Oct 2026 04:00:54 +0000

I mean we had Coq for the longest time.

New comment by alphabeta3r56 in "Passkeys are not a trap"

alphabeta3r56 — Wed, 14 Oct 2026 16:02:40 +0000

Passkeys only make sense if every user has a open source Fido 2 hardware based USB passkey (like yubikey but opensource).

Then the user still controls the passkey using a password and then everything else flows from that.

New comment by alphabeta3r56 in "'Breathtaking,' 'Devastating': Mathematics Reels After New OpenAI Release"

alphabeta3r56 — Fri, 09 Oct 2026 18:09:23 +0000

Mathematics is much easier that way to train. Science in general. Governments will again need to become powerhouses of resources for compute to generate public research.

New comment by alphabeta3r56 in "Tesla takes on $30B in credit as it approaches unprofitability"

alphabeta3r56 — Wed, 30 Sep 2026 08:38:24 +0000

BYD had revenue of 110B while tesla had 96B and both have around 4B dollar of profits. BYD also has better credit line (from Chinese govt), which is the whole point of market cap. I dont think official market cap value reflrct this reality.

New comment by alphabeta3r56 in "On caring for user data: NeoVim caused Vim undo files to be deleted"

alphabeta3r56 — Sun, 27 Sep 2026 16:06:00 +0000

If one really needs an undo in today's day and age, use git.

New comment by alphabeta3r56 in "ASML says it sold 'absolutely nothing' in Europe in 2026"

alphabeta3r56 — Sun, 27 Sep 2026 09:07:08 +0000

Not the OP and 1 year is too much. But eu is still much slower than Arizona. See https://www.datacenterdynamics.com/en/news/intels-german-fab...

New comment by alphabeta3r56 in "Toyota is taking the Corolla electric"

alphabeta3r56 — Thu, 24 Sep 2026 18:01:25 +0000

Toyota does sell those. Just not in EU/NA. Toyota hyryder sells in India for 15k Euros.

New comment by alphabeta3r56 in "Toyota is taking the Corolla electric"

alphabeta3r56 — Thu, 24 Sep 2026 17:53:59 +0000

They have. See toyota hyryder

New comment by alphabeta3r56 in "Six-year-old breaks women's world Rubik's Cube record [video]"

alphabeta3r56 — Thu, 24 Sep 2026 14:02:10 +0000

Evoltuonarily, males have evolved to be more competitive.

Specially in contest competitions.

New comment by alphabeta3r56 in "Six-year-old breaks women's world Rubik's Cube record [video]"

alphabeta3r56 — Thu, 24 Sep 2026 14:00:15 +0000

You are trying to extrapolate one single solution to all situations because they appear identical to your mind. Those situations are very different in their details.

New comment by alphabeta3r56 in "Six-year-old breaks women's world Rubik's Cube record [video]"

alphabeta3r56 — Thu, 24 Sep 2026 13:58:45 +0000

It depends on what your goals are. If your goal is to get more women to do rubik cube becsuse they are underrepresbted then the discrimination is justified.

Any kind of treatment that doesn't follow the law of jungle is discrimination. We need to think which one of them are better for our societal outcomes as a whole.

New comment by alphabeta3r56 in "Why is privacy so hard? (2019)"

alphabeta3r56 — Sun, 13 Sep 2026 21:21:54 +0000

Privacy is only hard because comoanies are not telling/asking tgeir customers before sharing their data.

A way to solve this problem would be to create a portal where customer data is stored in control of the customer. Companies are only allowed to tell each other about customers, not even which data they hold.

And then each data request goes directly through the customers.

Then customers can decide who to share data with. And then those customers will be happy with their choices.

New comment by alphabeta3r56 in "Europe's summer drought is so extreme that desertification is a growing threat"

alphabeta3r56 — Sun, 30 Aug 2026 15:42:50 +0000

Yeah in this case the cycle might be 5000 years long once Milankovich cools things down again.

New comment by alphabeta3r56 in "Apple introduces M6 and M5 Ultra"

alphabeta3r56 — Thu, 27 Aug 2026 06:55:19 +0000

Yeah battery.

New comment by alphabeta3r56 in "U.S. State Department pauses immigrant visa applications"

alphabeta3r56 — Thu, 27 Aug 2026 06:53:14 +0000

> The reason it is a weasel's move is because decisions at the consulate are made by consular officers who are career public workers and won't deny visas for arbitrary reasons.

No? Visa can be denied for arbitrary reasons based on what executive branch of US. there have been multiple cases where it has been clear that visas are a privilige not a right. Visa needs a reason to be granted, by default it is denied.

New comment by alphabeta3r56 in "U.S. State Department pauses immigrant visa applications"

alphabeta3r56 — Thu, 27 Aug 2026 06:37:11 +0000

That's by design too because immigrants visas are capped by country of birth. And the quota has nothing to do with reality.

New comment by alphabeta3r56 in "U.S. State Department pauses immigrant visa applications"

alphabeta3r56 — Thu, 27 Aug 2026 06:35:29 +0000

That's on purpose too. To send a clear signal that we don't want you. It's just a mobster way of doing it.

New comment by alphabeta3r56 in "Apple introduces M6 and M5 Ultra"

alphabeta3r56 — Tue, 25 Aug 2026 19:55:13 +0000

Linux (especially KDE) is probably the best desktop OS right now. Not great for laptops though

New comment by alphabeta3r56 in "Being ambitious and being a dad"

alphabeta3r56 — Wed, 19 Aug 2026 10:33:36 +0000

I also dont think the OPs done was condescending.

New comment by alphabeta3r56 in "Being ambitious and being a dad"

alphabeta3r56 — Wed, 19 Aug 2026 10:29:44 +0000

Thanks for the answer. And I understand that. But for me, that answer is potentially a very biased answer. Is it a feeling that comes naturally or is it forced in the sense that you realise you are everything for the kid and the kid is everything for you and both you the kid have no other choice.

Talking to a lot of people (bit you) i felt it was more the latter.