1. I've been building an open source formal methods system (fizzbee.io) for the past few years. Today I'm launching a new app built on the same technology. It performs requirements engineering using formal verification to…

  2. Hi HN, Claude’s desktop app is brilliant. But for our own daily work we kept wanting it to be less like a chat app and more like a full-fledged work app. Rowboat is our attempt at that, including the ability to build…

  3. Package agent behavior, skills, requirements, and permissions into a portable .zot file.

  4. Show HN: Super Dario (superdario.pawb.de)
  5. iOS Screen Time is a fantastic app blocker because it's built into the OS, unlike third party apps that can simply be uninstalled. The only problem is that it uses a 4 digit passcode. If I set the passcode myself, I can…

  6. Hi I’m Marco, co-founder of Exmergo. Me and my team created Dex to help Analytics Engineers do real work with Claude Code (and any other coding agent). We’ve found that Data and Analytics teams are stuck between a rock…

  7. I love iOS Screen Time because it's built into the operating system, so it's much harder to bypass than third party app blockers. The problem is that if you know the Screen Time passcode, it's only a few taps to ignore…

  8. i personally believe that the internet is the best thing we've ever built, and arguably, nothing we made before comes close. now agents can use it too, but the web treats them as second-class. every agent works for a…

  9. For the past few years I've been building a huge NAS storage with over 1PB in size. As its growing over time, buying new drives is always a tedious process. It's hard to tell whether a drive is CMR or not. Some…

  10. Kiyeovo is a decentralized, end-to-end encrypted messenger. It requires no accounts, no email, no central servers. Peers find each other and talk directly over libp2p. kad-DHT stores messages for offline peers and…

  11. Inevitably when starting a new web project I want to pick the perfect font. This is just a browser that shows Google Fonts, randomly, and lets me tag favorites. I built this years ago and just used AI to give it a minor…