Education4 days ago
A coding network where learners build visible proof through courses and challenges with mentoring and company operations.
@Michaela200_5 · X
The full gallery
Tech stack
23 projects
A coding network where learners build visible proof through courses and challenges with mentoring and company operations.
@Michaela200_5 · X
Learn code skills with flashcards, quizzes, and AI tutoring built on memory science.
@mkappworks · X
I am building lets connect
Local-first cognitive runtime with live AST graphs, runs in your browser with no data sharing.
@fortsignal1 · X
AI tool that asks clarifying questions and generates verified specifications for coding agents.
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...
Generate code documentation automatically on GitHub pull requests.
Aldasams · HN
Show HN: DocFlow – AI documentation updates for GitHub pull requests
Create dynamic QR codes with custom logos, colors, and usage tracking.
@IfeanyiArinze10 · X
What does What makes it unique?
Desktop app for running multiple AI coding agents in parallel across git worktrees
vuphanse
Block distracting websites by solving math or coding puzzles.
hackitup7 · HN
TLDR built a Chrome site blocker that lets you into distracting sites only after you do some math or simple coding (JS only right now). Direct link to extension (the site just gives you more context): https://chromewebstore.google.com/detail/sphinx-earn-your-di... Philosophically it's a speed bump rather than a hard gate, because you'll eventually tear a gate down but you'll leave a speed bump. I've always eventually removed site blockers, or just had them become a nuisance that I reflexively dismiss before getting to distracting sites. Site blockers don't really reduce the "start navigating to a distracting site" muscle memory, and they eventually just become annoying. Dopamine is a hell of a drug. At the same time, I've been getting frustrated that my intermediate/advanced math skills have atrophied, and becoming more senior in my career (plus AI...) has caused my coding skills to atrophy even further. Realistically I'm not going to force myself to do math or coding exercises aft
Convert one-sentence ideas into precise AI prompts for coding agents.
@_m3rl1n
Translate locale files with context and tone awareness for games and software.
@polycontext · X
Context-aware localization for apps, games, and software.
Answer questions to generate structured AI prompts for ChatGPT, Claude, Cursor, and other AI tools.
@askjames_co · X
Upload code to automatically scan for security vulnerabilities.
@POONAMSING9999 · X
Forget this fight. The problem in AI is vibe coding security risk so i made vibe Guard ai that analysis user code and found out security risks. For the sake of humanity, to solve a painful problem I made this It had free version try now