Hacker News: japgolly

New comment by japgolly in "Rust Style Guide"

japgolly — Thu, 22 Oct 2026 02:49:32 +0000

That being said there was a story about him debugging an issue recently with some pretty serious help from AI.

New comment by japgolly in "Rust Style Guide"

japgolly — Thu, 22 Oct 2026 02:46:42 +0000

But there's a rustfmt already. Anyway, the style guide is larger in scope than just code formatting.

New comment by japgolly in "Rust Style Guide"

japgolly — Thu, 22 Oct 2026 02:43:29 +0000

Apply #[non_exhaustive] to publicly-exposed enums seems like a crazy recommendation to me. So much of the power of enums is that when you add a new case the compiler will flag all pattern matches that you need to update, which is a good thing because you're forced to consider each case. Having a catch-all saves dev-time but it risks not appropriately handling new cases becoming a runtime issue instead of a compile time error.

New comment by japgolly in "Shredding JSON columns gave Logfire up to 1000x faster queries"

japgolly — Mon, 12 Oct 2026 02:21:29 +0000

> Rather than storing all attributes in a single JSON column, we automatically extract the most frequently accessed attributes into separate, strongly typed columns.

I'm glad they made the discovery but this is DB 101

New comment by japgolly in "Anecdotally, programmers dislike "reduce""

japgolly — Tue, 15 Sep 2026 00:53:47 +0000

I assume the author is talking about `fold`, as in `[A] -> B -> ((B,A) -> B) -> B`, and not what I often think of as reduce as `[A] -> ((A,A) -> A) -> A`.

`fold` is awesome and super useful. It's the easiest and most convenient way to turn a collection into a single value. Put me anecdotally in the opposite bucket.

New comment by japgolly in "Pandas Should Go Extinct"

japgolly — Sat, 12 Sep 2026 04:22:40 +0000

Nitpick for the author: it looks like you've got (a,b] when you actually mean [a,b). Either that or change the ≥ to be >.

New comment by japgolly in "Claude is only available to people over 18 years"

japgolly — Sat, 12 Sep 2026 02:02:13 +0000

Aren't AI's already G-rated cos of the built-in guardrails?

New comment by japgolly in "Claude is only available to people over 18 years"

japgolly — Sat, 12 Sep 2026 01:59:08 +0000

> every OS developer

They exempted Linux, from what I remember reading.

New comment by japgolly in "Hepburn Romanization: How to Read Japanese in the Latin Alphabet"

japgolly — Sat, 12 Sep 2026 01:15:52 +0000

> Kunreisiki is also better for serious Japanese learners as it greatly simplifies the description of Japanese grammar: cf. matu/matte/matimasu (all with the same verb stem mat-) vs. Hepburn matsu/matte/machimasu (with 3 different verb stems)."

This is a silly argument because anyone learning Japanese is going to need to learn how to pronounce it anyway. Also "serious Japanese learners" would likely be using kana.

New comment by japgolly in "Hepburn Romanization: How to Read Japanese in the Latin Alphabet"

japgolly — Sat, 12 Sep 2026 01:10:00 +0000

Detecting AI writing is a skill that not everyone has.

New comment by japgolly in "27.5KB language-agnostic WebGPU syntax highlighter"

japgolly — Thu, 10 Sep 2026 06:11:44 +0000

What does this even mean? In the future it will be considered too big?

New comment by japgolly in "OpenAI have no mathematicians capable of understanding what they put out"

japgolly — Thu, 10 Sep 2026 06:00:18 +0000

> our hypodissipative result (which is not public), but as I understand it part of their training data

How did it become part of their training data if it wasn't public? /confused

New comment by japgolly in "Gemini 3.8 Flash and 3.8 Flash Cyber"

japgolly — Thu, 03 Sep 2026 00:51:43 +0000

They do have a cli: https://github.com/google-antigravity/antigravity-cli

New comment by japgolly in "Why do I lose my passion and want to do nothing?"

japgolly — Mon, 31 Aug 2026 04:58:48 +0000

Note: Anhedonia is the inability to feel pleasure or joy.

New comment by japgolly in "The Hugging Face incident and the road ahead"

japgolly — Thu, 27 Aug 2026 04:41:45 +0000

Ignoring the fact that their NAT was apparently wide open with no domain rules, a simple dashboard over their NAT showing requests grouped by domain could've gotten them a long way.

New comment by japgolly in "The Case Against Formal Verification, 50 Years Later"

japgolly — Mon, 17 Aug 2026 04:36:18 +0000

1) With formal verification you can prove properties about your system. With extensive testing you can also do the same but you need to take care and make sure you cover all possible cases.

2) With formal verification you can easily test things that are normally hard to cover by traditional testing. For example, if you want to test if that a postgres randomly goes offline, you don't lose any data, it's pretty hard to cover with extensive testing, whereas with formal verification you just say "postgres exists, it has state and can be online/offline, it can go online/offline at anytime" and you're covered.

New comment by japgolly in "The Case Against Formal Verification, 50 Years Later"

japgolly — Mon, 17 Aug 2026 04:27:33 +0000

In my opinion, it's not very different than writing an implementation of quicksort by looking at pseudocode in an algorithms book. You still need to write unit/property tests for your implementation if you want to verify it to be correct.

Any time you code up an externally specified algorithm, the onus is still on you to verify your implementation, even if the correctness of the algorithm is already verified.

New comment by japgolly in "Compression is prediction"

japgolly — Wed, 12 Aug 2026 03:12:48 +0000

Awesome read and absolutely loved the interactivity. A lot of effort was put into this.

New comment by japgolly in "Oracle bans AI-generated code from OpenJDK"

japgolly — Sat, 08 Aug 2026 02:15:13 +0000

KTLO = Keep The Lights On

New comment by japgolly in "Changes at Google DeepMind: Demis Hassabis from CEO to Chair, Jeff Dean departs"

japgolly — Thu, 06 Aug 2026 02:37:37 +0000

> It’s time for AI to prove its unequivocal value to the world, and what better way to demonstrate that than to help finally cure diseases like cancer.

What a worthy goal!