Hacker News: japgolly

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!

New comment by japgolly in "Introduction to Formal Verification with Lean Part 1"

japgolly — Thu, 23 Jul 2026 02:51:05 +0000

The code doesn't work. I pasted in the full code at the end into Lean Web, and it gives 4 errors and a warning (all in the lemmas).

New comment by japgolly in "After 7 years in production, Scarf has reluctantly moved away from Haskell"

japgolly — Sat, 11 Jul 2026 01:54:40 +0000

There's definitely less Scala jobs on the market these days.

New comment by japgolly in "After 7 years in production, Scarf has reluctantly moved away from Haskell"

japgolly — Sat, 11 Jul 2026 01:42:00 +0000

It's about the feedback loop being so slow. Agents often compile and run tests to verify their work

New comment by japgolly in "Show HN: Isthistechdead.com got a full UI revamp"

japgolly — Sun, 05 Jul 2026 05:56:41 +0000

Clicking on Scala results in a 404, same with Perl, same with Terraform

New comment by japgolly in "Open-sourcing ShipReq – a requirements platform written in FP Scala/Scala.js"

japgolly — Tue, 19 May 2026 03:22:18 +0000

In 2013 I began work on ShipReq — an ambitious project to rethink how requirements are stored and maintained. Today I’m choosing to open-source this, my life’s work and magnum opus.

I hope someone somewhere enjoys this!

Open-sourcing ShipReq – a requirements platform written in FP Scala/Scala.js

japgolly — Tue, 19 May 2026 03:22:18 +0000

Article URL: https://gist.github.com/japgolly/538875580ec648ca7517ce04d63dc009

Comments URL: https://news.ycombinator.com/item?id=48188814

Points: 2

# Comments: 1

New comment by japgolly in "Show HN: TRUST – Coding Rust like it's 1989"

japgolly — Sat, 09 May 2026 02:37:33 +0000

Scala is painfully slow to compile too

Show HN: ClearConfig for Java – A modern, highly-composable config library

japgolly — Fri, 27 Mar 2026 01:22:23 +0000

Article URL: https://github.com/japgolly/clear-config-java

Comments URL: https://news.ycombinator.com/item?id=47538003

Points: 1

# Comments: 0

New comment by japgolly in "Show HN: Lux – Drop-in Redis replacement in Rust. 5.6x faster, ~1MB Docker image"

japgolly — Sun, 15 Mar 2026 22:52:16 +0000

Good read here - https://www.luxdb.dev/architecture

New comment by japgolly in "Grep.app: search across a half million Git repos"

japgolly — Mon, 06 Sep 2021 10:17:08 +0000

This is amazing!! Super fast, I can actually enter symbols, search case-sensitively, I love it!

New comment by japgolly in "“YouTube is shutting down dissenting Biology PhDs and MDs”"

japgolly — Sun, 13 Jun 2021 22:17:44 +0000

It takes orders of magnitude more effort to counteract bullshit than it does to produce it. Your opinion doesn't scale and not only is it easily exploitable by bad actors, it's happening in practice all over the place these days and is a huge, huge problem.

New comment by japgolly in "GHC 9.0, supporting linear types"

japgolly — Thu, 31 Dec 2020 06:58:36 +0000

> linear-typed arrays can perform in-place updates if there are no external pointers to the data.

Holy crap! That's amazing and I hadn't thought of that!

New comment by japgolly in "Why Japanese web design is so different (2013)"

japgolly — Tue, 01 Dec 2020 02:39:03 +0000

Wow thanks! I didn't understand that despite being able to read and write Japanese! Sarcasm aside you don't seem to have a very deep understanding so maybe you should be a bit nicer when expressing your opinion.

> 1 kana represents 1 syllable

ちゅ <-- 2 kana, 1 syllable

> BY DEFINITION, more concise than Latin letters

smash <-- 1 syllable, 5 latin letters, ~3 kana in length スマッシュ <-- 5 kana

New comment by japgolly in "Please – A cross-language build system"

japgolly — Sat, 28 Nov 2020 19:47:53 +0000

> If you're familiar with Blaze / Bazel, Buck or Pants you will probably find Please very familiar

Yes, so why would I use Please over any of them? I've spent close to 10min reading and have no idea why this exists or why anyone would use it. It looks like Bazel with a different config format, in which case why wouldn't one just use Bazel?