Hacker News: LudwigNagasena

New comment by LudwigNagasena in "Redesigning source control at Anthropic"

LudwigNagasena — Wed, 14 Oct 2026 03:28:00 +0000

Because you still need short-lived branches for editing, CI/CD gates, bisecting, and an audit trail.

New comment by LudwigNagasena in "Our approach to EU text provenance rules"

LudwigNagasena — Mon, 05 Oct 2026 21:41:44 +0000

It’s obvious that such boneheaded methods don’t work. So what’s next? First, we need to deal with basic word substitution, which seems theoretically feasible. Then we need to deal with encodings such as Caesar cipher, replacing spaces with zero-width spaces, Base64, etc. Your account will be flagged and reported for outputting obfuscated text. What’s next after that? Ooops, you output too many vim commands instead of outputting text directly, your account is flagged and reported to Europol. You think you can bypass that with Deepseek? No, it will be banned alongside VPN.

New comment by LudwigNagasena in "ADHD, autism or complex trauma? [pdf]"

LudwigNagasena — Sat, 03 Oct 2026 19:16:30 +0000

What does a diagnosis have to do with any of that? How is that a whole other bag worms, that’s exactly the topic at hand.

New comment by LudwigNagasena in "Amazon seeks to offload $8B of Nvidia chips to investors"

LudwigNagasena — Fri, 02 Oct 2026 15:05:25 +0000

Looks like a sale-leaseback. Similar in spirit to an asset-backed loan.

New comment by LudwigNagasena in "Jeeves. Reasoning improves Jev-like decision models"

LudwigNagasena — Tue, 29 Sep 2026 13:19:39 +0000

In Bayesian statistics that’s called credence. Weird that they felt the need to invent a new term.

New comment by LudwigNagasena in "Steam Frame starts at $1059"

LudwigNagasena — Mon, 14 Sep 2026 19:52:33 +0000

It’s hard to meaningfully compare prices across countries due to differences in tax regimes.

New comment by LudwigNagasena in "Iranian banks' SSL certificates are being revoked due to OFAC sanctions"

LudwigNagasena — Mon, 14 Sep 2026 18:55:53 +0000

Russia recently moved to its own SSL certificates due to sanctions. Now you cannot use a bank without allowing the government to MITM you.

New comment by LudwigNagasena in "Stop Making TUIs"

LudwigNagasena — Sat, 22 Aug 2026 12:12:32 +0000

That example doesn't use any TUI.

New comment by LudwigNagasena in "Omacom Foundation launches with $8M"

LudwigNagasena — Sat, 22 Aug 2026 11:15:15 +0000

> Posts like his Calling someone a "nazi" is a permission slip for violence is simply untrue no matter who you are or where you live.

It is simply true. Lots of people think it’s okay to punch nazis. There was a whole public debate about that around 7 years ago when a famous nazi got punched. The phrase “punch a nazi” got quite popular after that.

New comment by LudwigNagasena in "Omacom Foundation launches with $8M"

LudwigNagasena — Fri, 21 Aug 2026 17:10:02 +0000

It’s Ruby on Rails in the world of distros. If you find other distros tasteless and unpolished, you may want to try Omarchy. At least that’s how I see it (I find most Linux distros and development frameworks tasteless and unpolished).

New comment by LudwigNagasena in "Logic for Programmers"

LudwigNagasena — Fri, 31 Jul 2026 14:36:43 +0000

I don't see much value in knowing that dependent types can be used to encode logical quantifiers or similar stuff in applied programming. Maybe there is actual value that it creates after you grok those concepts (beyond the general applicability of any concept or metaphor in your thinking), but I don't see it.

"Functional programming" in applied programming usually just means using less mutable state and using stuff like `map` and `reduce` to make semantics of code more predictable and move the burden of optimizing actual implicit mess it creates to compiler/interpreter.

New comment by LudwigNagasena in "Logic for Programmers"

LudwigNagasena — Thu, 30 Jul 2026 11:05:14 +0000

> I feel like no serious work with this ambition

What ambition? The book is an applied introduction for people who aren’t even familiar with what ∃ means. It’s 200 pages, which is at best comparable to a semester-long course.

New comment by LudwigNagasena in "Codex Micro"

LudwigNagasena — Wed, 15 Jul 2026 16:41:02 +0000

Looks like a novelty item made with the purpose of testing their hardware production capabilities before producing a real product.

Also, translated pages transform newlines into \n.

New comment by LudwigNagasena in "OpenWiki: CLI that writes and maintains agent documentation for your codebase"

LudwigNagasena — Sun, 05 Jul 2026 23:40:43 +0000

That's just cruft unless there is a benchmark demonstrating it's actually better than just asking an agent to write docs and/or using one of the thousands of document-writing skills like Anthropic's doc-coauthoring.

New comment by LudwigNagasena in "Fable created novel 4D splat format"

LudwigNagasena — Sun, 05 Jul 2026 00:18:45 +0000

Moving camera completely distorts the video both on my Mac and iPhone.

New comment by LudwigNagasena in "LaTeX.wasm: LaTeX Engines in Browsers"

LudwigNagasena — Fri, 26 Jun 2026 19:23:34 +0000

Hard to imagine anything worse than LaTeX for web layout. Imagine resizing a page and waiting for the re-compilation of the whole page.

New comment by LudwigNagasena in "What we call "age verification" is actually mass surveillance"

LudwigNagasena — Tue, 23 Jun 2026 17:30:57 +0000

The age verification that doesn't have to be a nightmare dystopia of 24/7 fine-grained tracking and recording is called parental controls and it already exists in most systems. It doesn't require any proof of ID, internet connection, complex distributed systems, and so on. And it has near 100% success rate.

New comment by LudwigNagasena in "What we call "age verification" is actually mass surveillance"

LudwigNagasena — Tue, 23 Jun 2026 17:24:55 +0000

> Sure, it won't hold up against collusion between website and government, but nothing would.

Right, so it's just privacy theatre.

New comment by LudwigNagasena in "There are no instances in ATProto"

LudwigNagasena — Sat, 20 Jun 2026 01:01:16 +0000

Does really do a great job? It just says there are no “instances”, it doesn’t explain how the architecture circumvents all the troubles that it leads to such as auth, sync, discovery, etc.

New comment by LudwigNagasena in "Hyundai buys Boston Dynamics"

LudwigNagasena — Fri, 19 Jun 2026 19:48:40 +0000

I remember around 2018 Tesla was actually criticised for excessive automation because it purportedly was slower and more expensive than manual work.