
Codnite - The Coding Arena | 1v1 Battles & Developer Community
Competitive coding arena where developers solve challenges and battle 1v1 with the community.
@md_shadann · X
The full gallery
Tech stack
60 projects

Competitive coding arena where developers solve challenges and battle 1v1 with the community.
@md_shadann · X

Practice coding interviews, system design, and code review with an AI coach instead of a judge.
@preproomai · X
🟢Get ready for #vibecoding and AI #codereview. It is cutting-age & you can't miss: Time to ditch old-school @LeetCode ! #SoftwareEngineering #TechInterviews #CodingSkills #TechCareers #PrepRoom #TechCareers #SystemDesign #ITJobs #CareerGrowth

AI-powered platform for intuitive vibe-based coding development.
@isuryatk · X
- World's most reliable vibe coding platform

A coding network where learners build visible proof through courses and challenges with mentoring and company operations.
@Michaela200_5 · X

Desktop app for running multiple AI coding agents in parallel across git worktrees
vuphanse

Learn code skills with flashcards, quizzes, and AI tutoring built on memory science.
@mkappworks · X
I am building lets connect

Turn conversations into verified API schemas and specifications.
@NeuralArchitec · X
Vibe coding a smart wallet is high-stakes. One logic gap and the funds are gone. We bridge that risk by turning messy vibe thoughts into verified schemas and API maps. Build fast, stay precise. 🏛️

Build databases, kanban boards, and notes for AI agents to collaborate on.
@emir_ogz · X
Just shipped - AI-native workspace for solo devs Agent reads/writes your project notes automaticly

Describe self-correcting coding workflows in plain English and run them until tests pass.
forgeapp

Practice system design interviews with AI-powered simulations and expert feedback.
@ShashankCode · X
Checkout here :

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...

Compare git, Jujutsu, and GitButler performance on coding tasks with Claude Code and Codex agents.
videlov · HN
I was interested in answering this question so I built a benchmark comparing git, jj and gitbutler in agentic context https://vcbench.dev/ Disclaimer - I am a co-founder of GitButler