frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Provenance – A Spec That Evolves with Your Code

https://github.com/quality-sh/provenance
1•xScrubghetti•59m ago
Hi all,

I've been building Provenance, a tool for growing your specification of your code as your understanding of it becomes clearer. Currently I feel that the lifecycle around software improving feels too detached. We talk to our teams, spec things out with our agents, track work in tickets, but there's nothing really to connect it all together and there's no neat way to keep it all updated.

Provenance is my attempt to solve that problem by building direct links between planning, requirements, implementation, and verification. I've purposely tried to keep the concepts as agnostic to everyone's own workflows as possible. I'll go over some of them here:

Sources: a source is anything you can link to that might be of value to understanding your software. I.e. a diagram, meeting notes, legislation, a video even.

Requirement: a requirement is a high level description of some need of your system.

Resolution: A resolution is a decison made about some property of your system you believe needs to be documented. Generally resolutions are the child of one or more requirements and the parent many requirements.

Rule: A rule is the child of a requirement used to describe some single property of a requirement. Rules are linkable directly to functions that implement them and tests that verify them.

We're still in the early stages, but I'd be interested to see what you all think.

The worst month for ships in the Strait of Hormuz

https://interactive.aljazeera.com/aje/2026/hormuz-journey-seafarer/
1•gmays•43s ago•0 comments

The Attack, the Ransom and the Unexpected Outcome

https://blogbychris.net/archives/1091
1•wmchen•1m ago•0 comments

Y Combinator's Garry Tan uses AI agents so much

https://techcrunch.com/2026/11/02/y-combinators-garry-tan-uses-ai-agents-so-much-he-spends-up-to-...
1•saikatsg•1m ago•0 comments

The Nordic Token Tax

https://research.klang.ai/papers/the-nordic-token-tax
1•silfverstrom•2m ago•0 comments

Mav AI | FULL MATCH. FULL INSIGHT. UNDER 30 MIN.

https://www.mavai.tech
1•mikile•5m ago•0 comments

Show HN: Hacker GitHub – the GitHub repos HN links to most

https://hackergithub.novian.works/
2•reverseblade2•13m ago•0 comments

A founding document of mechanistic interpretability [Elhage et al. 2021]

https://transformer-circuits.pub/2021/framework/index.html#summary-of-results
2•philipfweiss•15m ago•0 comments

"This Is Fine": How Clean Rooms Train Agents to Close the Books on Fire

https://archytas-ai.com/blog/this-is-fine
2•nlpnerd•15m ago•0 comments

Cobbly – Write one line. Get a website, or a 3D object you can print

https://cobbly.online/
2•dotmanish•17m ago•0 comments

Show HN: Bitcoin-rs – An independent Bitcoin full node in Rust

https://github.com/gosuda/bitcoin-rs
6•dreamcacao02183•17m ago•0 comments

Vercel: Computer use CLI for AI agents

https://agent-browser.dev/desktop
1•soltanov•22m ago•0 comments

A unusual sight catches the eye of those passing through the town

https://www.facebook.com/reel/1654659392879719
1•moltean•25m ago•0 comments

Show HN: Run xv6-riscv(64Bit,MMU) with RP2350

https://github.com/kamisori-daijin/pico-rv64-emu
1•kamisori-daijin•26m ago•0 comments

Show HN: Open a 300k-row XLSX in the browser in ~300ms, no server

https://github.com/p10node/office-engine
14•pierreneter•35m ago•1 comments

Test and verification technique effectiveness with GPT-6 Astra

https://danluu.com/astra-testing/
1•surprisetalk•38m ago•0 comments

Kenneth Boulding's Sonnets on Numbers

https://crab.rutgers.edu/users/goertzel/bouldingsonnets.htm
1•pkress2•40m ago•0 comments

Show HN: MCPgraphy – a proxy that learns when your agent's MCP tools work

https://github.com/hemanth1999k/mcpgraphy
1•hemanth2k•41m ago•0 comments

Six Companies Adopt the Accessible Games Initiative Tags

https://accessiblegames.com/news/six-companies-adopt-the-tags/
2•rbits•43m ago•0 comments

Thoughts on LLMs Editing Weights: What's New?

https://ycao.net/posts/llm-rw-weights
1•xiaoyu2006•46m ago•0 comments

Cloudflare experiencing multiple active incidents

https://www.cloudflarestatus.com/
3•jp1016•51m ago•0 comments

VeilCC – AI-resistant binary hardening that seals critical logic

https://veilcc.com/
1•AmeerArsala•53m ago•0 comments

The Midterm Downturn

https://www.reuters.com/graphics/USA-ELECTIONS/MIDTERM-SWINGS/xmpjwxbeovr/
1•gmays•54m ago•0 comments

Show HN: Provenance – A Spec That Evolves with Your Code

https://github.com/quality-sh/provenance
1•xScrubghetti•59m ago•0 comments

Front End Without the Browser

https://redmonk.com/kholterhoff/2026/11/03/frontend-without-the-browser-wth/
1•zapt02•1h ago•0 comments

NASA's Swift space telescope predicted to crash back to Earth tomorrow

https://www.abc.net.au/news/science/2026-11-03/nasa-swift-telescope-crash-landing/100018476
6•Gaishan•1h ago•2 comments

35% Faster Than the Filesystem

https://www.sqlite.org/fasterthanfs.html
1•prakashqwerty•1h ago•0 comments

A new take on the Fermi paradox

1•danbmil99•1h ago•0 comments

Show HN: Followz – A simple RSS feed for the blogs of people you like

https://followz.vercel.app/
1•addy0001•1h ago•1 comments

Eject yourself from work with a little help from Codex

https://github.com/openai/redcard
1•prakashqwerty•1h ago•0 comments

A LoveLetter to Flash Animation [video]

https://www.youtube.com/watch?v=ggoEoBCpMAs
2•joeyjojo•1h ago•0 comments