Alternatives
Products that do what Aver – a language designed for AI to write and humans to review does
I’ve been building Aver around a simple question: If AI is going to write more of the first draft, what should the source look like for the human reviewer? Aver is an experimental statically typed language and toolchain for AI-written, human-reviewed code. My bet is that source code should carry more than implementation. In most projects, implementation survives in the code, but intent lives in docs, decisions live in ADRs or tickets, and expected behavior lives in tests that may or may not stay close to what they describe. Aver tries to make those parts first-class: explicit method-level…
- 1
- 2
- 3
- 4
- 5
Hello everyone. I've been working on this experimental editor called Huzzah. I've been working almost exclusively with coding agents since January of this year, and over the past few months I began to feel utterly exhausted by them. They're great, but I'm finding it more and more tedious to write full sentences for every change I want. Not only that, but it seems there's a complexity limit for codebases - beyond a certain point the agent begins confusing itself. I'd like to go back to writing code, but I don't want to go all the way back to fully manual coding. So I've come up with this…
17d ago · danielvaughn.dev
- 6WB
Hey HN, We’re two developers (co-founders) with a team of 20 who got tired of spending hours reviewing PRs, so we built Infinitcode.ai, an AI-powered code reviewer that: - *Summarizes PRs in plain English*: No more deciphering 1,000-line diff jungles - *Catches more than bugs*: Security holes, performance pitfalls, code smells, even typos (yes, we’ll flag “vurnerabilities” and vulnerabilities) - *Zero onboarding*: Works instantly—no “let me learn your codebase for weeks” nonsense. Why we’re posting: We’re in alpha and need brutal honesty. Roast our tool, mock our UI, or tell us why AI will…
2025 · infinitcode.ai
- 7QA
Oct 2025 · github.com
- 8
- 9RA
I started building this 10 months ago, largely using agentic coding tools. I've stayed very involved in the code base and architecture, and have never moved faster in my life as a dev. The word processor engine and rendering layer are all built from scratch - the only 3rd party library I used was the excellent Y.js for the CRDT stack. Would love some feedback!
Mar 2026 · revise.io
- 10JA
I'm fascinated by the generative AI wave rolling over us, and wondered if AI could create a language that it might prefer using over the ones created by and for humans. To create the design, I had AI analyze the ASTs of several mainstream languages plus a few of the conceptually groundbreaking but esoteric ones (listed in the README) and then create a new structure and new syntax. It was named after the Jacquard machine (https://en.wikipedia.org/wiki/Jacquard_machine), a precursor to Babbage's Analytical Engine (and punch cards). The result reused a lot of existing ideas…
Jul 2026 · github.com
- 11MA
I've been exploring the (not so=) amazing potential of AI in coding and have compiled a list of tools. From AI-powered IDEs to code generators, this resource is my contribution to the community. I'm still on the fence about including txt2sql projects, as their functionality seems too basic to me. And I'm personally maintaining this, so your feedback is wellcome.
2025 · aicode.danvoronov.com
- 12
- 13AH
autoresearch@home is a collaborative research collective where AI agents share GPU resources to collectively improve a language model. Think SETI@home, but for model training. How it works: Agents read the current best result, propose a hypothesis, modify train.py, run the experiment on your GPU, and publish results back. When an agent beats the current best validation loss, that becomes the new baseline for every other agent. Agents learn from great runs and failures, since we're using Ensue as the collective memory layer. This project extends Karpathy's autoresearch by adding the missing…
Mar 2026 · ensue-network.ai
- 14IM
Mar 2026 · github.com
- 15DA
Hi HN, I'm Jared from Drafting AI (https://getdrafting.com/). We're a Chrome extension that helps operations and customer support teams work through their inboxes more efficiently. Here's a quick demo video: https://www.youtube.com/watch?v=PCDqAMaYx2Q We believe AI can be deployed more widely when you mitigate hallucinations through human-in-the-loop review. This led to two decisions: 1. A Chrome Extension is ideal for presenting actions in third-party apps for human review. When AI suggests issuing a refund via Shopify, what better way to show it than through…
2024 · getdrafting.com
- 16
- 17PR
Apr 2026 · preprompt.org
- 18IM
Jan 2026 · auth-auth.vercel.app
- 19
25% faster while cutting token costs by 30%-67%
Jul 2026 · forsale.dynadot.com
- 20RS
Mar 2026 · github.com
- 21AT
Hey HN! While writing prompts for a few projects recently, a couple of friends and I realised that writing prompts today is like writing code in a txt file - it sucks and there is no tooling to help you. So we decided to hack on a tool to help you fix this - https://optimist.varied.ai/ It is literally a hack rn but we already find it useful for writing prompts. That said we'd love to talk to folks who are writing serious prompts everyday and see how the product can be better. Also the only reason the waitlist is there, is running this is super expensive like $100/day for…
2023 · optimist.varied.ai
- 22
- 23IB
After countless hours of solo coding, designing, and iterating, I’m both excited and nervous to share my first-ever product: PrompTessor — now live. As someone who constantly experiments with AI tools like ChatGPT and Midjourney, I often found myself stuck in a loop of trial-and-error. The issue wasn’t always the AI — it was often the prompt itself. That observation became the starting point for PrompTessor. This tool doesn’t just optimize your prompt — it analyzes it. It gives you: - A prompt score - A breakdown of strengths and weaknesses - A fully optimized version of your prompt - And…
2025 · promptessor.com
- 24
Contribute to alpbahadur/interns-review-plugin development by creating an account on GitHub.
1d ago · github.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →