Using formal methods to write better requirements
Using formal methods to write better requirements launched on June 18, 2022 with 6 votes, #1,147 of 3,005 launches that month and more than 50% of that year's launches. The site was not reachable when checked in September 2026.
Does a similar job
all alternatives →
Requirements AI2025 · requirementsai.com · ▲183From meeting transcript to product requirements in seconds.
Requirements Engineering with Formal VerificationJul 2026 · fizzbee.ai · ▲27I'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 uncover gaps and produce precise instructions for your coding agents to follow. When given a prompt, it - asks high signal follow-up questions - converts to formal spec and identifies complex requirements gaps - generates validation scenario At the end, it produces a specification document that can be shared with coding agents. In my trials on various projects, it produces…
More life & fun this month
the category →
A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.
Life & fun · 1d ago · permit.petercai.com
- IV
Life & fun · 13d ago · tanzaniaeducationproject.org
Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.
Life & fun · 14d ago · bigwords.page
Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.
Life & fun · 8d ago · guitoro.com
Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.
Life & fun · 12d ago · carrierexplode.com
Life & fun · 22d ago · space.bl2.net
Source: Show HN post ↗
Launched alongside, June 2022
the whole month →- AF
I've seen some interests in (simulation) video games here on HN so I thought I'd share a short version of our story. More than 6 years ago, me and my friend from university were playing around with an idea of making a game we always wanted to play. We worked on it on weekends but the progress was quite slow, especially due to so many dead ends and wasted effort. Eventually however, we solidified our direction and decided to take the risk to resign from our well paid SWE jobs and work on it full time. It took more than a year but yesterday we have finally released it on Steam:…
Life & fun · 2022
Life & fun · 2022 · benoitessiambre.com
min(DALL·E) is a fast, minimal port of DALL·E Mini to PyTorch - kuprel/min-dalle
Life & fun · 2022 · github.com
MakerBox▲621600 tools with generous free plans for indie entrepreneurs
Dev tools · 2022 · makerbox.club
Typedream CMS▲593Display your Notion data beautifully on your site, no-code
Dev tools · 2022 · typedream.com