Hacker News: grg0

New comment by grg0 in "Chess invariants"

grg0 — Fri, 22 May 2026 16:00:19 +0000

That's how you know "principal research scientist" are true credentials. I'm sure the offline version is a postscript instead of pdf.

New comment by grg0 in "Chess invariants"

grg0 — Fri, 22 May 2026 15:57:30 +0000

Correct. Also: https://www.learntla.com/

New comment by grg0 in "I’ve banned query strings"

grg0 — Sat, 09 May 2026 20:17:59 +0000

Do you really need to? Basic statistics will tell you if the email campaign had any significant effect on site visits.

New comment by grg0 in "Modern C++ Programming: Busato"

grg0 — Sat, 02 May 2026 22:25:04 +0000

Regardless, it is a very comprehensive review for C++ programmers, and even intermediate ones will probably see new material there.

New comment by grg0 in "VS Code inserting 'Co-Authored-by Copilot' into commits regardless of usage"

grg0 — Sat, 02 May 2026 22:20:47 +0000

Emacs is not VC-backed.

New comment by grg0 in "Framework Laptop 13 Pro: Major Upgrades and Linux Front and Center"

grg0 — Sat, 25 Apr 2026 18:40:59 +0000

Interesting that the new laptop is selling beyond their expectation, and that the Ubuntu version is outselling the Windows one. Maybe their customer base is a "niche", but it seems to be one that makes them good coin nevertheless.

New comment by grg0 in "How to make a fast dynamic language interpreter"

grg0 — Tue, 21 Apr 2026 01:56:04 +0000

Interesting, thanks for sharing. It is a topic I'd like to explore in detail at some point.

I also like how, according to Github, the repo is 99.7% HTML and 0.3% C++. A testament to the interpreter's size, I guess?

New comment by grg0 in "State of Kdenlive"

grg0 — Sun, 19 Apr 2026 00:34:45 +0000

Very thankful for this video editor.

New comment by grg0 in "Reflections on 30 years of HPC programming"

grg0 — Fri, 17 Apr 2026 21:27:20 +0000

C++ comes with baggage and requires up-front training. You need to dive into every language feature and STL library, learn how compilers implement stuff, then decide what to use and what not to, and the decision often depends on context. It has a high cognitive load in my opinion for that reason. But once you do that, you get a relatively high-level language that can go as low and be as fast as C.

New comment by grg0 in "Reflections on 30 years of HPC programming"

grg0 — Fri, 17 Apr 2026 21:23:58 +0000

I'd say it's being able to structure your data however suits your problem and your hardware, then being able to look at a profile and being able to map read/writes back to source. Both C and C++ excel at this.

The advantage of C++ over C is that, with care, you can write zero-cost abstractions over whatever mess your data ends up as, and make the API still look intuitive. C isn't as good here.

New comment by grg0 in "SDL bans AI-written commits"

grg0 — Fri, 17 Apr 2026 00:30:37 +0000

Visual Studio programmer spotted.

They're going to force you to use vim. Better start learning those key bindings as soon as possible.

New comment by grg0 in "Lean proved this program correct; then I found a bug"

grg0 — Tue, 14 Apr 2026 02:51:54 +0000

Nobody with experience in the field advertises formally-verified software like that, and it is understood that the spec may as well be wrong. It is also understood that the non-verified parts may have bugs (surprise). There is no news here.

New comment by grg0 in "Lean proved this program correct; then I found a bug"

grg0 — Tue, 14 Apr 2026 01:51:27 +0000

And it took them several thousand words to explain what you just said in a sentence.

New comment by grg0 in "Lean proved this program correct; then I found a bug"

grg0 — Tue, 14 Apr 2026 01:44:42 +0000

Clickbait title, the proved part of the program had no bugs?

As an aside, why can't people just write factually? This isn't a news site gamed for ad revenue. It's also less effort. I felt this post was mostly an insulting waste of time. I come to HN to read interesting stuff.

New comment by grg0 in "Lean proved this program correct; then I found a bug"

grg0 — Tue, 14 Apr 2026 01:44:10 +0000

That one little word that changes everything in how you interpret the statement.

New comment by grg0 in "Small models also found the vulnerabilities that Mythos found"

grg0 — Sun, 12 Apr 2026 01:11:04 +0000

AKA F-score. https://en.wikipedia.org/wiki/F-score

New comment by grg0 in "Every plane you see in the sky – you can now follow it from the cockpit in 3D"

grg0 — Sat, 11 Apr 2026 19:33:36 +0000

Double-clicking on an airplane should send you to the cockpit view imo.

New comment by grg0 in "Every plane you see in the sky – you can now follow it from the cockpit in 3D"

grg0 — Sat, 11 Apr 2026 19:33:20 +0000

This is great, smart application of graphics and public data.

New comment by grg0 in "Chimpanzees in Uganda locked in eight-year 'civil war', say researchers"

grg0 — Fri, 10 Apr 2026 21:05:01 +0000

Damn, they've been polarized by social media too? Zuckerberg's greed knows no limits.

New comment by grg0 in "Caveman: Why use many token when few token do trick"

grg0 — Mon, 06 Apr 2026 01:24:08 +0000

I dropped dead after reading this.