@notunknownkyun · X

- leetcode style interview prep for agentic AI interviews and unskilling folks.

@a1siel · X

@davidtostscale · X

@aarsh_30 · X

@GetPrbl · X

jayaprabhakar · HN

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 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 working code in fewer iterations. Please give it a try and share your feedback. https://fizzbee.ai/ You can also look at a sample project. https://fizzbee.ai/projects/94bf2869-97a1-445c-8f5d-4445848b...

@Galliard232634 · X

Come study with me on

@polycontext · X

Context-aware localization for apps, games, and software.

@recuerdateapp · X

es una aplicación web minimalista que funciona como un diario personal rápido. Te permite escribir un pequeño mensaje o "pósit" al día (con un límite de 280 caracteres) para registrar cómo te sientes o qué ha pasado, creando un espacio de reflexión privado

othmanosx · HN

I still don't like the fact that AI is adding more stuff for us to read, it's accelerating the code production but slowing down the code review. I built my own code reviewer as well ( https://pyor.review/ ), surfacing the important stuff first is the right track, but adding more stuff to read is daunting, but asking AI to just point you to what you need to focus on and skim the noise is what I'm leaning more towards.

@AadyaAI · X

Aadya AI turns a client conversation into a branded, ready-to-send proposal or invoice PDF in 60 seconds — no templates, no formatting, no chasing.