Hacker News: 3836293648

New comment by 3836293648 in "Vera – A language designed for machines to write"

3836293648 — Thu, 09 Apr 2026 10:12:45 +0000

Given the focus on static verification of contracts and orthogonality, surely the division operator also has one.

New comment by 3836293648 in "Neovim 0.12.0"

3836293648 — Mon, 30 Mar 2026 11:07:04 +0000

Kernel panics are almost entirely about bad RAM on all systems today. But last time I was stuck on Windows, about 2017ish, I was suffering constantly from blue screens in a way that never triggered on linux.

New comment by 3836293648 in "The EU still wants to scan your private messages and photos"

3836293648 — Sat, 28 Mar 2026 12:26:25 +0000

I pay just as much attention to the prime ministerial candidate as the Commission presidential candidate. Both are blatantly obvious per party.

If what you really mean is that you don't follow EU level politics, just say so.

New comment by 3836293648 in "LG's new 1Hz display is the secret behind a new laptop's battery life"

3836293648 — Sat, 28 Mar 2026 02:24:23 +0000

The real unanswered question is how much of this is the panel itself and how much is baked into Windows.

Saving battery is nice, but I'm not leaving Linux for that misery any time soon

New comment by 3836293648 in "$500 GPU outperforms Claude Sonnet on coding benchmarks"

3836293648 — Fri, 27 Mar 2026 08:22:47 +0000

But that $20/month is still heavily subsidised. You have to compare to the API costs, not the direct subscription.

New comment by 3836293648 in "End of "Chat Control": EU parliament stops mass surveillance"

3836293648 — Thu, 26 Mar 2026 13:26:56 +0000

Something something constitutional (ish*) rights say you can't do this.

Chat Control 1 says, eh do it anyway if you want on a voluntary and temporary basis until the Courts get around to saying no.

Chat Control 2 says you have to. Until the courts finally get around to striking it down in 15 years.

New comment by 3836293648 in "The EU still wants to scan your private messages and photos"

3836293648 — Thu, 26 Mar 2026 12:57:54 +0000

You don't vote for Prime Minister. Either Parliament votes for a Prime Minister or your country messed up the translation of President.

New comment by 3836293648 in "The EU still wants to scan your private messages and photos"

3836293648 — Thu, 26 Mar 2026 06:19:54 +0000

This in standard in europe. Most places don't vote for their PM or President either, they're just the leader of the largest party in parliament and chosen by parliament

New comment by 3836293648 in "ARC-AGI-3"

3836293648 — Thu, 26 Mar 2026 04:11:21 +0000

Ew. Cool demo, what idiot thought it was ok to have a half second cooldown between inputs? If I hit up three times I should move up three steps, not two steps because I pressed too quickly.

New comment by 3836293648 in "Epoch confirms GPT5.4 Pro solved a frontier math open problem"

3836293648 — Tue, 24 Mar 2026 07:42:48 +0000

No?

That's literally the thing they suggested to move away from. That is just an issue when using tools designed for us.

Make them write in formal verification languages and we only have to understand the types.

To be clear, I don't think this is a good idea, at least not yet, but we do not have to always understand the code.

New comment by 3836293648 in "Reports of code's death are greatly exaggerated"

3836293648 — Sun, 22 Mar 2026 22:08:49 +0000

Yes, and I was responding to

> it would take a few years at least

New comment by 3836293648 in "Reports of code's death are greatly exaggerated"

3836293648 — Sun, 22 Mar 2026 20:14:59 +0000

You could probably do it in a few days, C is not that hard to compile

New comment by 3836293648 in "Google details new 24-hour process to sideload unverified Android apps"

3836293648 — Fri, 20 Mar 2026 02:19:35 +0000

Where I live, in the EU, we just have signs and the parking meters have been gone for several years

New comment by 3836293648 in "Nvidia greenboost: transparently extend GPU VRAM using system RAM/NVMe"

3836293648 — Thu, 19 Mar 2026 02:48:45 +0000

I don't think Windows does this, but Ollama does

New comment by 3836293648 in "Even faster asin() was staring right at me"

3836293648 — Mon, 16 Mar 2026 22:25:48 +0000

I'm surprised that the compiler couldn't see through this.

New comment by 3836293648 in "My “grand vision” for Rust"

3836293648 — Mon, 09 Mar 2026 14:37:15 +0000

Or effect aliases. But given that it's strictly a syntactic transformation it seems like make the wrong default today, fix it in the next edition. (Editions come with tools to update syntax changes)

New comment by 3836293648 in "Maybe there's a pattern here?"

3836293648 — Sat, 07 Mar 2026 04:41:17 +0000

No, this does not apply to AI because they're not well intentioned and very open about it.

New comment by 3836293648 in "Tove Jansson's criticized illustrations of The Hobbit (2023)"

3836293648 — Mon, 02 Mar 2026 00:56:45 +0000

This gets posted every few months, so you probably got it from the internet

New comment by 3836293648 in "We Will Not Be Divided"

3836293648 — Sat, 28 Feb 2026 02:29:44 +0000

You may be correct about the level of models you can actually run on consumer hardware, but it's not fud and you're being needlessly aggressive here.

New comment by 3836293648 in "How will OpenAI compete?"

3836293648 — Thu, 26 Feb 2026 08:34:06 +0000

Copilot doesn't have users. They're rebranding their non-llm offerings as copilot to make it not look like a failure