Hacker News: wofo

New comment by wofo in "Open source security at Astral"

wofo — Thu, 09 Apr 2026 13:51:24 +0000

Out of curiosity, is there a build setup you have seen in the past that you think could be a good replacement for this complex GitHub CI setup? Asking for a friend ;)

Update: now I've finished reading the article, my impression is that complexity is mostly inherent to this problem space. I'd be glad to be proven wrong, though!

New comment by wofo in "Cloudflare targets 2029 for full post-quantum security"

wofo — Tue, 07 Apr 2026 20:59:31 +0000

Does this mean we should be migrating our SSH keys to post-quantum crypto right now?

New comment by wofo in "What changes when you turn a Linux box into a router"

wofo — Tue, 07 Apr 2026 13:30:23 +0000

Thanks! It's always scary when container technology fiddles with your network... I wonder how they can be at peace with such defaults. Another reason to stick with good old containerd units, I guess.

New comment by wofo in "Battle for Wesnoth: open-source, turn-based strategy game"

wofo — Tue, 07 Apr 2026 12:23:18 +0000

Surprised Teeworlds hasn't been mentioned yet (https://teeworlds.com/)

A real-world case of property-based verification

wofo — Mon, 06 Apr 2026 12:53:18 +0000

Article URL: https://ochagavia.nl/blog/a-real-world-case-of-property-based-verification/

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

Points: 1

# Comments: 0

New comment by wofo in "12k AI-generated blog posts added in a single commit"

wofo — Sat, 04 Apr 2026 18:58:35 +0000

It would be better not to post urls to the blog, to prevent it from getting links and get even higher in search results...

New comment by wofo in "What changes when you turn a Linux box into a router"

wofo — Sat, 04 Apr 2026 11:46:46 +0000

Could you share more details about this? Do you mean that e.g., if I run LXD/Incus on a machine with a public IP address, anyone on the internet could route traffic through it?

New comment by wofo in "Noq: n0's new QUIC implementation in Rust"

wofo — Fri, 20 Mar 2026 01:09:04 +0000

Many QUIC features get implemented while in draft stage as people iterate on the RFC's design (e.g., ACK Frequency[0] is currently on draft version 14 and I implemented support for it three years ago in quinn).

[0]: https://datatracker.ietf.org/doc/html/draft-ietf-quic-ack-fr...

From WSL to bare-metal Linux

wofo — Tue, 17 Mar 2026 15:56:55 +0000

Article URL: https://ochagavia.nl/blog/from-wsl-to-bare-metal-linux/

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

Points: 2

# Comments: 0

Do the Illegible

wofo — Tue, 10 Mar 2026 11:45:33 +0000

Article URL: https://ashwinsundar.com/posts/legibility-and-programming/

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

Points: 3

# Comments: 0

New comment by wofo in "My “grand vision” for Rust"

wofo — Sun, 08 Mar 2026 07:34:59 +0000

Thanks for posting this! As a long-time Rust user (and contributor, in the good old days), the thing that has always fascinated me about Rust is the healthy balance it strikes between academic brilliance and industry pragmatism. Radical changes like the ones suggested by the OP risk damaging that balance IMO. I'd rather put up with some language quirks and see Rust achieve "boring technology" status...

But who knows, maybe the "academic brilliance" from the article is more pragmatic than I give it credit for. I sure hope for it if these changes ever go through.

New comment by wofo in "Fix your tools"

wofo — Sun, 22 Feb 2026 21:54:20 +0000

That's what I actually used to fix this one! I'm not too deep into the JVM ecosystem, so I gave Claude a try just in case... and it fixed it :)

Btw I didn't mention it in the blog post, because I think that would have derailed the conversation (after all, the point of the article is not "use LLMs", but "fix your tools"). In any case, I agree that LLMs can make it easier to fix the tools without getting side-tracked.

New comment by wofo in "Fix your tools"

wofo — Sun, 22 Feb 2026 17:36:04 +0000

Calling Kotlin from Rust (and other languages) is useful when you want access to an existing Kotlin codebase and would rather avoid creating a full-blown port. I guess most people don't do things like this because creating bindings for languages that are not C (or C-like) is usually cumbersome. Krossover is trying to fill that gap for Kotlin. Does that make sense?

New comment by wofo in "Fix your tools"

wofo — Sun, 22 Feb 2026 17:32:59 +0000

I got a notification through F5 bot (https://f5bot.com/)

New comment by wofo in "Fix your tools"

wofo — Sun, 22 Feb 2026 16:21:38 +0000

OP here, thanks for submitting!

New comment by wofo in "Farewell, Rust for web"

wofo — Fri, 20 Feb 2026 09:47:35 +0000

Thanks for taking the time! I love being able to see through abstractions too, but for web applications I'm looking for a bit more "magic" (e.g., .NET's EF Core is the gold standard for what I'd look for in an ORM).

New comment by wofo in "Farewell, Rust for web"

wofo — Fri, 20 Feb 2026 01:17:30 +0000

It's been a while since I last had a detailed look at web applications in Rust (i.e., stuff with databases, auth, etc). You could use axum for the web server, which is very mature, but I'd say it's too low-level (IIRC you cannot even generate an OpenAPI spec of your endpoints, which IMO is table-stakes). Have you found something more batteries-included, with a similar level of maturity, and actively maintained by a community you can trust? It's a very high bar.

Your reply made me curious about ORMs, btw. Which one would you recommend? Maybe things have improved since I last checked. Last time I didn't like any of them and ended up settling on `sqlx` + hand-written SQL (the code is open source, hosted at https://github.com/rustls/rustls-bench-app/tree/main/ci-benc...).

New comment by wofo in "Farewell, Rust for web"

wofo — Thu, 19 Feb 2026 20:53:44 +0000

I'm a heavy Rust user and fan, but I'd never pick Rust for web. There are way more mature ecosystems out there to choose from. Why would you waste "innovation tokens" in a Rust-based web application?

New comment by wofo in "HackMyClaw"

wofo — Wed, 18 Feb 2026 16:33:10 +0000

Spelling mistake, I'd guess? The spanish word for it is inyección.

New comment by wofo in "Debian adds LoongArch as officially supported architecture"

wofo — Tue, 23 Dec 2025 12:53:01 +0000

You surely meant to write "a loong way", right?