Hacker News: olaird25

New comment by olaird25 in "We must pace the frontier"

olaird25 — Sat, 12 Sep 2026 15:33:04 +0000

Vitalik Buterin: “...But currently, I see zero plans for how to deal with an ASI transition that are not naive. Perhaps humanity is stuck with a choice between naive and naive squared (or maybe even naive squared and naive cubed), so I feel inclined to cut some slack to people who are trying.”

New comment by olaird25 in "Show HN: Drift – an embedding-model upgrade should be a rotation, not a reindex"

olaird25 — Wed, 10 Jun 2026 17:03:00 +0000

Interesting. But if you are upgrading your embedding model, wouldn't you want to re-embed to get its benefits on old entries?

New comment by olaird25 in "Show HN: RainBreak App – The AI doesn't need a break. But you do"

olaird25 — Tue, 09 Jun 2026 22:30:45 +0000

Very nice! How did you implement your rain effect?

New comment by olaird25 in "Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed"

olaird25 — Fri, 05 Jun 2026 14:54:20 +0000

Nice. So is the js/lean interface using exact rationals?

New comment by olaird25 in "Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed"

olaird25 — Thu, 04 Jun 2026 22:58:39 +0000

Is the web demo compiled from the lean?

New comment by olaird25 in "Tokenization Is the Bottleneck You're Not Measuring"

olaird25 — Tue, 26 May 2026 17:31:52 +0000

Have you tried just using a faster tokenization library?

Github's BPE crate (https://crates.io/crates/bpe) advertises >10x speedup relative to HF, as do others.

New comment by olaird25 in "AI Killed Stack Overflow (and why that sucks)"

olaird25 — Tue, 26 May 2026 16:35:36 +0000

"Writing the question WAS the lesson" Indeed!

New comment by olaird25 in "Code Mode: the better way to use MCP"

olaird25 — Sat, 27 Sep 2025 22:27:33 +0000

This seems exactly right. Its pretty common to watch your agent making the same mcp tool call again and again as it works through a list. These kinds of cases are solved by letting the agent just call any of its mcp tools in a script.