frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Boffin – Staff-engineer layer for AI coding agents

https://github.com/MicSm/boffin
11•mic_sm•1h ago
Staff-engineer layer for AI coding agents: routes per-edit architectural constraints for AI coding agents

Comments

mic_sm•1h ago
Hi HN - author here.

Problem I kept hitting: ask the agent for a 15-line fix, get a 500-line renovation that still compiles and passes tests.

Boffin is a small control layer for AI coding agents. Before an edit, it feeds the agent only the architectural constraints for the file it is about to touch, then makes it verify the result. Not another static AGENTS.md for the whole repo.

On DuckDB, a guided refactor landed at +17 / -17 lines with 2,104 assertions passing. Same shape of cases also on FastAPI and LangChain (in the repo examples/).

Try it: npx boffinit cursor

Also works with Claude Code, Codex, and OpenCode.

Happy to answer questions — especially if you have a place where the agent keeps "improving" load-bearing code.

johnfn•18m ago
To be blunt the degree to which I take these projects seriously is basically the same as how extensive their eval suite is. A single guided refactor is better than nothing, but one success could just be a fluke. I want to see hundreds, if not thousands, of evals to convince me you’re a project worth looking into.

The AI generated text is also not doing you any favors.

capevace•2m ago
I think we are converging on similar approaches to how deterministic quality verification with coding agents should be performed, but from different angles.

I’ve been tinkering on a package to capture linking, testing and gating quality output in a framework unified way across coding agents.

I would love to have a chat with you about how you see this space developing and how you look at it.

https://github.com/mateffy/gesetz

Show HN: The Occult Gatsby

https://occultgatsby.work
1•morganw•40s ago•0 comments

The Strongest El Niño Ever

https://www.theclimatebrink.com/p/the-strongest-el-nino-ever
1•ndsipa_pomu•3m ago•0 comments

Show HN: Rucksack alpha CLI that pins a Mac to a hotspot and holds a sleep lease

https://github.com/noahnawara/rucksack
1•thirdface•4m ago•0 comments

How to Block Some of the Bots

https://nochan.net/b/Internet-Crap/20260606-How-To-Block-Some-Of-The-Bots/
1•Bender•6m ago•0 comments

Show HN: An OS where a hard question escalates itself to a bigger model

https://github.com/hertz-ai/HARTOS
1•hevolveai•6m ago•0 comments

"Grill Me" Skill

https://www.aihero.dev/skills-grill-me
1•theptip•9m ago•0 comments

Show HN: Open-plan-annotator – local annotation UI for working with agent plans

https://github.com/ndom91/open-plan-annotator
1•ndom91•10m ago•0 comments

Portable Executable

http://justine.lol/ape.html
1•tosh•14m ago•0 comments

Ask HN: Anyone suffering from the tyranny of the Waiting Equation?

1•akersten•14m ago•0 comments

Decker

https://beyondloom.com/decker/
1•tosh•15m ago•0 comments

Code Complexity Hooks for Agents

https://github.com/dekobon/big-code-analysis
1•dekobon•16m ago•1 comments

Show HN: ModelFuzz – Open-source runtime guardrails for AI agents

https://www.modelfuzz.com/
1•higagan•16m ago•0 comments

Header-only C/C++ Meshtastic LoRa protocol stack for embedded systems

https://github.com/jstockdale/meshtastic-lite
1•westurner•17m ago•1 comments

Narcissism, Machiavellianism, and AI Use

https://thenextweb.com/news/dark-traits-problematic-ai-use-psychology
2•colinprince•18m ago•0 comments

Sell the Company for $400M? He's Giving It Away Instead

https://www.nytimes.com/2026/07/25/business/grady-white-boats-charity.html
3•keithly•19m ago•0 comments

Terminal Sessions – VSCode extension for tmux terminals that survive restarts

https://github.com/visul/terminal-sessions
1•testycool•19m ago•0 comments

Google Cache used to have a copy of this page at

https://www.hornet.org/wikipedia-notes.txt
1•jruohonen•19m ago•0 comments

Show HN: Readability for web and PDFs with TTS and local AI summary

https://github.com/ldenoue/readability-read-aloud-web-pdf-ai-summary
1•ldenoue•20m ago•2 comments

Show HN: How many other kids need to be in the room before they match names

https://names.vaguespac.es/
1•thebigship•20m ago•0 comments

The Rust Async Runtime Footgun That Blocks Your Tokio Thread Pool

https://medium.com/@yalovoy/the-rust-async-runtime-footgun-that-blocks-your-entire-tokio-thread-p...
1•zero-ground-445•20m ago•0 comments

Show HN: An interactive way to exploit an LLM without going to jail

https://github.com/joshfischer1108/jailbreak-lab
1•joshfischer1108•22m ago•0 comments

The Segment Descriptor Cache (1998)

https://www.rcollins.org/ddj/Aug98/Aug98.html
1•jruohonen•25m ago•0 comments

Introduction to Data-Oriented Design [pdf]

https://www.gamedevs.org/uploads/introduction-to-data-oriented-design.pdf
1•tosh•27m ago•0 comments

Show HN: I made Claude quiz me on my own code before showing it

https://github.com/De-Cri/dont-kick-me-out
1•Ssamu3909•27m ago•0 comments

I Find Problems to Solve as a Staff Engineer

https://lalitm.com/post/find-problems-staff-engineer/
3•birdculture•31m ago•0 comments

Good productivity tools that run 100% in the browser (privacy in mind)

https://github.com/slaveofcode/goodwebtools
1•kresnadev•31m ago•0 comments

Show HN: Forkbench – a native Mac control room for several CLI coding agents

https://forkbench.com
1•forkbench•31m ago•0 comments

Hugging Face CEO calls for 'radical transparency' after 'unprecedented' OpenAI

https://techcrunch.com/2026/07/26/hugging-face-ceo-calls-for-radical-transparency-after-unprecede...
2•sbulaev•31m ago•0 comments

Oil tanker explodes after hitting naval mine in Strait of Hormuz

https://www.jpost.com/middle-east/iran-news/article-903687
2•ipunchghosts•31m ago•2 comments

Thoughts about the Leiden Declaration

https://gowers.wordpress.com/2026/07/26/thoughts-about-the-leiden-declaration/
1•artninja1988•35m ago•1 comments