frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: VibeSpec – A tool to generate structured specs for Spec2Code

https://vibespec.guaeca.com
1•paulistaunb•10mo ago
I've been experimenting with a new concept called Spec2Code, and just launched a prototype SaaS tool named VibeSpec.

We hear a lot about no-code, low-code, or prompt-to-code—but these often rely on constant human input.Most agents today need us every few seconds: write a prompt, check the output, correct, repeat. You can’t step away. You definitely can’t ask them to build overnight.

Spec2Code is different. It draws from how engineers in aerospace or automotive define complex systems: with structured, layered specifications. The goal is to give agents enough information upfront that they can work autonomously for 15–30 minutes at a time—without micromanagement.

The hardest part? Writing those specs.

Nobody enjoys it, and tooling for structured requirements is basically non-existent in the software world.

So I built VibeSpec, a tool (and eventually, a framework) to turn loose ideas into structured, machine-usable specs—using agents designed specifically for that task.

Once done, the specs can be handed off to coding agents for implementation.

You can check it out here: https://vibespec.guaeca.com And here’s what the agents built from one of these specs: https:https://secretmessage.guaeca.com/

~10 minutes writing the spec with the agent ~10 minutes refining via “vibe coding” (adding missing cases) ~5 minutes testing + iterating

Would love to hear thoughts from others working on agent workflows or spec-driven development.

Do MCPs improve coding agent performance?

https://marginlab.ai/blog/do-mcps-improve-coding-agents-part-1/
5•jbatmargin•2m ago•0 comments

Servo is now available on crates.io

https://servo.org/blog/2026/04/13/servo-0.1.0-release/
1•ffin•2m ago•0 comments

Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib

https://github.com/yamafaktory/formal
1•yamafaktory•3m ago•0 comments

EU and US near critical minerals deal to combat Chinese control

https://www.reuters.com/world/china/eu-us-near-critical-minerals-deal-combat-chinese-control-bloo...
1•giuliomagnifico•4m ago•0 comments

That Time Is Gone

https://marcobambini.substack.com/p/that-time-is-gone
1•marcobambini•5m ago•0 comments

Direct hardware capture of our GTA3 port running on the Dreamcast

https://twitter.com/falco_girgis/status/2043379700794327492
1•bpierre•6m ago•0 comments

How Netflix Uses Java (2026 Edition) [video]

https://www.youtube.com/watch?v=ucJTPda_zx0
1•jonbaer•6m ago•0 comments

Apple's AI chief John Giannandrea to exit next week

https://www.msn.com/en-in/money/general/apple-s-ai-chief-john-giannandrea-to-exit-next-week/ar-AA...
1•totalmarkdown•7m ago•0 comments

Show HN: Turn your cat into a Cubism Cat via an app

https://cubismcat.damjanski.com/
2•whatifbelief•8m ago•1 comments

Michigan 'digital age' bills pulled after privacy concerns raised

https://www.thecentersquare.com/michigan/article_7ca4e268-4a68-42fb-9042-f9d8604ebd7f.html
1•iamnothere•9m ago•0 comments

Pope says he has 'no fear of Trump administration' after president slams him

https://www.cnn.com/2026/04/12/politics/trump-pope-leo-criticism-hnk-intl
2•rawgabbit•10m ago•0 comments

Show HN: Loreo – Bot-free, 8MB AI meeting transcriber using Scribe v2

https://getloreo.com/
1•fnel•13m ago•1 comments

Show HN: A web newspaper that looks like a newspaper

https://myown.news/
1•auxten•14m ago•0 comments

I Don't Use Twitter or Microsoft. My Logs Disagree

https://the.unknown-universe.co.uk/privacy-security/my-logs-disagree/
1•TheIPW•14m ago•1 comments

The Life-and-Death Exhaustion of React

https://im.not.ci/what-a-react/
5•Nullpinter•16m ago•0 comments

The Outlaws: On the Road with a 1960s Biker Gang

https://flashbak.com/the-outlaws-on-the-road-a-1960s-biker-gang-482415/
1•bookofjoe•25m ago•0 comments

Commitgen – AI-generated Conventional Commit messages from your staged diff

2•TheAary•25m ago•0 comments

Android now stops you sharing your location in photos

https://shkspr.mobi/blog/2026/04/android-now-stops-you-sharing-your-location-in-photos/
3•edent•26m ago•0 comments

HumansMap, an interactive graph visualization of 3M+ Wikidata entities

https://humansmap.com
1•abstracthinking•27m ago•1 comments

The Global API Injection Pattern

https://www.elbeno.com/blog/?p=1831
2•ingve•28m ago•0 comments

Show HN: Digest – a Claude Code skill for your daily dev news digest

https://github.com/camilleroux/tech-digest
2•camilleroux•29m ago•0 comments

AIs can 'memorize' data they shouldn't. Can they be forced to forget?

https://www.science.org/content/article/ais-can-memorize-data-they-shouldn-t-can-they-be-forced-f...
1•giuliomagnifico•30m ago•0 comments

Share private Gitea/Forgejo repos secretly

https://sharemygit.com/
1•onesandofgrain•30m ago•1 comments

Ronja: Optical point-to-point data link with 1.4km range and 10Mbps full duplex

https://ronja.twibright.com/about.php
1•fanf2•32m ago•0 comments

How to Tax Billionaires

https://www.theatlantic.com/ideas/2026/04/estate-tax-billionaires-wealth/686770/
1•monkeydust•34m ago•0 comments

"Darwin-27B-Opus: Surpassing the Foundation Model Without Training"

https://huggingface.co/blog/FINAL-Bench/darwin-gpqa
2•makaimc•35m ago•0 comments

ReBot-DevArm: open-source Robotic Arm

https://github.com/Seeed-Projects/reBot-DevArm
1•rickcarlino•35m ago•0 comments

Data centers' heat exhaust is not raising the land temperature

https://blog.andymasley.com/p/data-centers-heat-exhaust-is-not
1•zajio1am•36m ago•0 comments

Announcing DuckDB 1.5.2

https://duckdb.org/2026/04/13/announcing-duckdb-152
1•henrikhorluck•36m ago•0 comments

Show HN: Git-style branching for your Rails database

https://github.com/carldaws/activerecord-postgresql-branched
1•carldaws•39m ago•0 comments