Hacker News: dlahoda

New comment by dlahoda in "Tell HN: Docker pull fails in Spain due to football Cloudflare block"

dlahoda — Mon, 13 Apr 2026 03:35:58 +0000

1. We are more on OCI images? Assuming source available, run nix build and docker load of result.

2. Even if kernel.org or GitHub.com will be blocked, it likely than not it already was cached by nixos org cache or community cache or cachix or by your CI or by you workstation.

New comment by dlahoda in "Tell HN: Docker pull fails in Spain due to football Cloudflare block"

dlahoda — Mon, 13 Apr 2026 03:23:50 +0000

Just use Nix.

1. If nix fails to pull anything, it builds (up to and including Linux kernel and compiler).

2. Nix has several ways to build OCI images, some even faster to assemble and slimmer output of official Docker tooling.

3. It is allowed several providers for same artefact to resolve pull.

New comment by dlahoda in "High-Level Rust: Getting 80% of the Benefits with 20% of the Pain"

dlahoda — Mon, 13 Apr 2026 00:18:42 +0000

One can just use Lean4 and panic each time it asks proof. 5 of 5. Community is PhDs and geniuses. Types are values, full uniformity = simplicity. Perf > Swift because reference counters eliminated at compile time. AI likes types. Just panic when Lean4 asks for proofs. Backed by biggest corps out there. Macro are best of Rust and Scala.

New comment by dlahoda in "Claude Opus 4.6 accuracy on BridgeBench hallucination test drops from 83% to 68%"

dlahoda — Mon, 13 Apr 2026 00:10:50 +0000

are models really non deterministic?

New comment by dlahoda in "$500 GPU outperforms Claude Sonnet on coding benchmarks"

dlahoda — Fri, 27 Mar 2026 14:12:54 +0000

What are company or tools you are working?

New comment by dlahoda in "EU Inc.: A new harmonised corporate legal regime"

dlahoda — Wed, 18 Mar 2026 20:02:49 +0000

Sounds like EU deliberately evil?

New comment by dlahoda in "As US missiles leave South Korea, the Philippines asks: are we next?"

dlahoda — Wed, 11 Mar 2026 11:46:13 +0000

Why do you expect lies?

New comment by dlahoda in "The United States and Israel have launched a major attack on Iran"

dlahoda — Sat, 28 Feb 2026 06:53:20 +0000

why?

is not crypto going down on any "multinational"* war?

*war amid thai and kambodgia is not "multinational" kind of, just example of not any

New comment by dlahoda in "14-year-old Miles Wu folded origami pattern that holds 10k times its own weight"

dlahoda — Mon, 16 Feb 2026 23:40:57 +0000

I had to learn and relearn a lot at 30-31. It was good. But it was not good at 27 for example. Learning new is habit. Hard to start, bur goes fast.

New comment by dlahoda in "EU bans the destruction of unsold apparel, clothing, accessories and footwear"

dlahoda — Sun, 15 Feb 2026 18:22:35 +0000

eu is inefficent to be stable, until it is not, by design

New comment by dlahoda in "EU bans the destruction of unsold apparel, clothing, accessories and footwear"

dlahoda — Sun, 15 Feb 2026 18:21:22 +0000

producers and sellers will have to optimize via better consumption prediction or via less previous season throw away.

New comment by dlahoda in "Russia killed opposition leader Alexei Navalny using dart frog toxin, UK says"

dlahoda — Sat, 14 Feb 2026 14:36:07 +0000

what evidence do you exactly refer for supposition inclined?

New comment by dlahoda in "Anthropic raises $30B in Series G funding at $380B post-money valuation"

dlahoda — Thu, 12 Feb 2026 20:53:07 +0000

google the only ai which invests mixing llm ai with real ai, and it seems work well.

New comment by dlahoda in "Anthropic raises $30B in Series G funding at $380B post-money valuation"

dlahoda — Thu, 12 Feb 2026 20:52:11 +0000

race to the bottom. google in house cheaper inference hardware. anthropic buys it.

New comment by dlahoda in "F# 10"

dlahoda — Tue, 10 Feb 2026 06:33:34 +0000

when you tried? i have heard it improved over time

New comment by dlahoda in "F# 10"

dlahoda — Tue, 10 Feb 2026 06:30:54 +0000

vs code plugin is not free and opensource

New comment by dlahoda in "F# 10"

dlahoda — Tue, 10 Feb 2026 06:30:15 +0000

ide is proprietary, inuding vs code plugin

New comment by dlahoda in "Vouch"

dlahoda — Mon, 09 Feb 2026 00:27:10 +0000

may be it improved? when you last time tried?

New comment by dlahoda in "Vouch"

dlahoda — Sun, 08 Feb 2026 23:34:02 +0000

he seems like dislikes go and rust. and likely ts. go and ts were fully legit for such work.

zig is too low level.

New comment by dlahoda in "Amazon cuts 16k jobs"

dlahoda — Wed, 28 Jan 2026 20:41:56 +0000

would job hop allowance help?