sqwxl
Re:LLMs are making formal software verification feasible at a much lar...
on Saturday October 24, 2026 @06:12AM (#50219778)
interesting. I've been working towards something vaguely similar, but it's far from complete. can you say more about what you mean by "traces"?
Re:What Is Codemode
on Wednesday October 07, 2026 @06:00AM (#49990531)
i was also confused. this introductory post by the creators of Codemode is much easier to follow: https://blog.cloudflare.com/code-mode/
Re:Ask HN: What are you working on? (August 2026)
on Sunday August 09, 2026 @08:31PM (#49237832)
I'm working on a go (the game) server. still unpolished, but it's functional! currently hosted on a raspberry pi in my living room and proxied to the public Web via Tailscale.
Rust backend, SQLite, preact frontend.
Re:Show HN: Calcu-gator.com – Financial calculators for Canadians
on Saturday December 20, 2025 @08:43PM (#46341477)
super cool, thank you!
Re:Code Reviews: A Success Story
on Wednesday January 15, 2025 @08:13PM (#42719727)
This looks really interesting. I've been using a similar tool called spr https://github.com/spacedentist/spr for the last six or so months at work. I really like the stacked diff/PR workflow. But spr has a lot of rough edges and im on the lookout for a better alternative.
Do you happen to know how your tool compares to spr? How production-ready is it?
Never again accidentally run `commit –amend` in a merge conflict (fish script)
Taguchi Methods
Re:HonoJS: Small, simple, and ultrafast web framework for the Edges
on Tuesday April 16, 2024 @04:05PM (#40056524)
We are using a similar stack. I assume your client is located in the same repo as your server? That's a no-go for us, so we're planning on using the OpenAPI spec to generate a type-safe frontend client. I kind of wish it was as easy as using the RPC middleware, though.
Re:Bazzite – The Next Generation of Linux Gaming
on Friday March 08, 2024 @04:41PM (#39646855)
I overlaid bluefin-dx [1], the developer oriented build by ublue, over my Fedora Silverblue system and it's been pretty great so far. Feels a little bloated for my taste, which is why I started my own fork [2]. The ability to change things up in a layered way (basically a Dockerfile) without risking breaking anything at the host level is really nice!
1. https://universal-blue.discourse.group/docs?topic=39 2. https://github.com/sqwxl/sophon
Re:The Eval Game
on Thursday December 07, 2023 @10:08AM (#38557179)
Very cool, gave up at level 10. How do you get around using the builtins?
Is Raspberry Pi Moving in the Wrong Direction?
Re:A Simple Guide to ARM vs. RISC-V vs. x86
on Wednesday November 08, 2023 @11:23AM (#38192658)
That's actually a good summary. Bookmarking this, thank you ;)