frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: Resolv – AI Agentic IDE that insists AI cannot think

https://resolv.sh
1•ericgilerson•1h ago
Hey HN,

I'm launching Resolv, an AI-powered IDE built on the premise that's increasingly unpopular in the industry: generative models do not think, they only simulate reasoning. They are incredible at exploring possibilities, surfacing context, and amplifying human judgment—but the moment we let them make decisions, we get misalignment, subtle bugs, and architectural drift.

Most AI coding tools today pretend that the model can reason autonomously. They rush to output code, hide tradeoffs, and quietly make hundreds of micro-decisions on your behalf. Resolv does the opposite: it refuses to proceed until every ambiguity, tradeoff, and architectural question is explicitly resolved by you. The workflow is deliberately rigid:

- Supervisor explores your codebase and blocks progress until you resolve every open question or detected inconsistency. - Planner helps you turn intent into a precise, human-approved technical blueprint. - Executor follows that blueprint exactly ("Plan is Law") and surfaces alternatives without ever choosing. - Auditor checks the result against your intent and project standards.

The central interface is the Logic Specification: a structured place where you (not the model) document missing information, and most importantly, all technical tradeoffs and logic decisions before any code is written. It's slower than the "vibe-coding" tools, but it eliminates the expensive hallucinations and technical debt that come from letting models pretend they understand.

It's in early alpha, rough around the edges, but already useful for real projects. Would love feedback from anyone who's frustrated with the current generation of AI agents.

Try it at https://resolv.sh, email me at eric@resolv.sh if you have any questions or comments. Note that there is also a community page on the website.

Thanks, Eric

Writing a SQL database, take two: Zig and RocksDB

https://notes.eatonphil.com/zigrocks-sql.html
1•ibobev•45s ago•0 comments

Converting data to hexadecimal outputs quickly

https://lemire.me/blog/2026/02/02/converting-data-to-hexadecimal-outputs-quickly/
1•ibobev•1m ago•0 comments

Judgment Isn't Uniquely Human

https://stevenadler.substack.com/p/judgment-isnt-uniquely-human
1•gmays•1m ago•0 comments

Expansion Microscopy Has Transformed How We See the Cellular World

https://www.quantamagazine.org/expansion-microscopy-has-transformed-how-we-see-the-cellular-world...
1•ibobev•3m ago•0 comments

WebCad – free browser-based CAD with AI (export STEP)

https://app.webcad.ca/
1•tonio67•4m ago•1 comments

Show HN: Backseat Writer – AI pair writing

https://backseat-writer.vercel.app/demo
1•Dansvidania•6m ago•0 comments

Show HN: Implementation of Google's PaperBanana (diagram generation from text)

https://github.com/llmsresearch/paperbanana
1•dippatel1994•8m ago•0 comments

Clean Coder: The Dark Path (2017)

https://blog.cleancoder.com/uncle-bob/2017/01/11/TheDarkPath.html
1•andrewjf•8m ago•1 comments

What Do You Think of My Business Idea? (Claude Ad) [video]

https://www.youtube.com/watch?v=De-_wQpKw0s
2•eamag•11m ago•0 comments

Show HN: Grok Imagine – High-fidelity FLUX.1 generation with cinematic video

https://grok-imagine.me/
1•thenextechtrade•12m ago•0 comments

Show HN: Seren – Serverless Postgres, Rust SDK, CLI, & MCP Server for AI Agents

https://github.com/serenorg/seren
2•taariqlewis•12m ago•0 comments

Recursive Knowledge Synthesis for Multi-LLM Systems

https://arxiv.org/abs/2601.08839
1•bob1029•15m ago•0 comments

Microsoft's Pivotal AI Product Is Running into Big Problems

https://www.wsj.com/tech/ai/microsofts-pivotal-ai-product-is-running-into-big-problems-ce235b28
3•fortran77•15m ago•1 comments

Even after cutting EV incentives, Norway only sold 98 diesel cars in January

https://electrek.co/2026/02/03/even-after-cutting-ev-incentives-norway-only-sold-98-diesel-cars-i...
3•ceejayoz•17m ago•0 comments

Show HN: CuaBot – Co-op computer-use for any coding agent

https://github.com/trycua/cua
1•frabonacci•18m ago•0 comments

Forensic Photonics verifies digital evidence with Content Credentials

https://contentauthenticity.org/blog/how-forensic-photonics-verifies-digital-evidence-with-conten...
1•hasheddan•19m ago•0 comments

DuoBolt – a review-first duplicate file finder powered by BLAKE3

https://duobolt.app/
2•r9ne•19m ago•1 comments

LibreQoS: Online Bufferbloat Test

https://bufferbloat.libreqos.com/
1•goodburb•20m ago•0 comments

Why the Future of Movies Lives on Letterboxd

https://www.nytimes.com/interactive/2026/02/03/magazine/letterboxd-film-discussion-site-streaming...
1•mitchbob•20m ago•1 comments

How do you validate AI-generated data transformations before prod?

https://www.yorph.ai
1•areddyfd•20m ago•1 comments

If AI Writes the Code, What Should Engineers Learn?

https://the-learning-agency.com/the-cutting-ed/article/if-ai-writes-the-code-what-should-engineer...
2•selvaprakash•20m ago•0 comments

A programmable, Lego-like material for robots emulates life's flexibility

https://techxplore.com/news/2026-02-programmable-lego-material-robots-emulates.html
1•Brajeshwar•21m ago•0 comments

Anthropic Super Bowl Spot Skewers ChatGPT Ads

https://www.businessinsider.com/anthropic-super-bowl-openai-chatgpt-ads-claude-2026-2
2•tortilla•21m ago•0 comments

Physicists achieve near-zero friction on macroscopic scales

https://phys.org/news/2026-02-physicists-friction-macroscopic-scales.html
1•Brajeshwar•21m ago•0 comments

Pipe organ playing a single, nonstop song until 2640

https://www.popsci.com/technology/pipe-organ-one-song-2640/
1•Brajeshwar•21m ago•0 comments

SpaceX grounds Falcon 9 missions, could impact ISS launch

https://phys.org/news/2026-02-spacex-grounds-falcon-missions-impact.html
2•bookmtn•22m ago•0 comments

Show HN: Distr 2.0 – A year of learning how to ship to customer environments

https://github.com/distr-sh/distr
1•louis_w_gk•22m ago•0 comments

Show HN: Orpheus, An Agent runtime that scales on queue depth and not CPU

https://github.com/arpitnath/orpheus
3•arpitnath42•24m ago•0 comments

Anthropic Performance Team Take-Home for Dummies

https://www.ikot.blog/anthropic-take-home-for-dummies
2•vinhnx•25m ago•0 comments

A field guide to sandboxes for AI

https://www.luiscardoso.dev/blog/sandboxes-for-ai
1•Dangeranger•25m ago•0 comments