Posted by david927 16 hours ago
Ask HN: What are you working on? (September 2026)
I set out to solve that with https://stayupfront.com and now that the build is in a good place i’m finally having to bite the bullet and learn marketing. I’m also realising that all the advice to start with marketing first was probably good advice!
Trace Python+NumPy programs into SymPy formulas and check them symbolically, across all branches
A habit tracker that allows for more flexible goals than daily ones, such as N times per period.
It's like a fixed up TypeScript specifically tailored for Wasm GC that can produce very small and fast binaries, but also has features like pattern matching, ownership / borrow checking for resources, pipeline, tail call elimination, multi-value returns, direct WASI component integration and a lot more.
I have pondered cloning Caddy in TypeScript just because...would Zena be capable of this?
I'm building HAR Analyzer: a native macOS app for searching and inspecting HAR files locally, without uploading sensitive traffic to the cloud.
Like Network Dev Tools but with a better UX.
Won’t that make it difficult to rotate your keys?
Keys should be something you don’t hesitate to throw away and rotate at the first hint of a compromise.
I think this is a good balance point, and I estimate that if we want to rotate the keys completely in the future, we should start using new key algorithms. (I estimate it will take another 5-8 years)
Yes, when certain situations arise, it is necessary to rotate the keys as soon as possible, but in the absence of such situations, losing key backups can be catastrophic.
I started it because I wanted simple brain-training exercises that didn’t require an account, app install, or subscription.
It’s also open source: https://github.com/loethen/freefocusgames
One UI for every coding agent - VS Code extension (GUI) to launch and work with any ACP-compatible agent harness. Supports Claude Code, Codex, OpenCode, Qwen and many others - https://agentclientprotocol.com/get-started/registry . Does not require any new subscription or user ID - this is still handled by the harness, so you can use existing Claude Code or Codex subscription. Multicoder just gives you a high-quality GUI to work with any of them without mental switching cost.
Really exciting stuff is happening literally every month, because underlying models are getting better and better. When I started it was pretty basic: “make a cube with a hole through it”. Now it’s at the point “make a raspberry pi 4 case” and the agent searches, builds, verifies…
What surprised me in this process is how little meaning AI benchmarks have. Pareto frontier for my use case looks completely different than any other benchmark portrays.
Personally, I’ve had the most success with GPT models using MCP servers for this task.