Hacker News

Article URL: https://boringsql.com/posts/mvcc-bad-bad/

Comments URL: https://news.ycombinator.com/item?id=49085050

Points: 1

# Comments: 0

My most valuable work was under NDA so I built this open source CLI to prove it. It scans your local git history. If you choose to submit it, a 196 line schema is all that leaves your machine. Happy to hear what you think.

Comments URL: https://news.ycombinator.com/item?id=49085044

Points: 1

# Comments: 0

Article URL: https://twitter.com/ClassicGamerTWR/status/2081569928490963022

Comments URL: https://news.ycombinator.com/item?id=49085042

Points: 1

# Comments: 0

Article URL: https://pluralistic.net/2026/07/28/hitl-ers/

Comments URL: https://news.ycombinator.com/item?id=49085039

Points: 1

# Comments: 1

Article URL: https://github.com/0xSufi/kimi-chrome

Comments URL: https://news.ycombinator.com/item?id=49085029

Points: 2

# Comments: 0

Article URL: https://www.lucebox.com/blog/deepseek-v4-strix-halo

Comments URL: https://news.ycombinator.com/item?id=49085014

Points: 2

# Comments: 0

Article URL: https://rhollick.wordpress.com/2026/07/27/well-why-not/

Comments URL: https://news.ycombinator.com/item?id=49085012

Points: 1

# Comments: 0

Article URL: https://hbr.org/2026/07/research-why-some-junior-employees-work-well-with-ai-and-others-dont

Comments URL: https://news.ycombinator.com/item?id=49085006

Points: 1

# Comments: 0

Compliance software like Vanta, Drata and similar only read 3rd party APIs (AWS, Github, Okta etc.) but cannot automatically audit your app that actually uses them, e.g. who had admin access in your app at given point in time.

I'm an engineer in Poland with no compliance background, so if you did an audit for your app in the past (SOC 2/ISO 27001/HIPAA/PCI etc.):

1. What did you produce (Screenshots? SQL query? CSV?)

2. Who did it in your company? How long did it take? Is it a recurring task?

3. Did you build anything in-house for it? Are you still maintaining it?

If you used a tool for that then I'd appreciate if you tell me which one.

Comments URL: https://news.ycombinator.com/item?id=49085002

Points: 1

# Comments: 0

Article URL: https://www.gao.gov/products/gao-26-108606

Comments URL: https://news.ycombinator.com/item?id=49084990

Points: 2

# Comments: 1

Article URL: https://anthropeum.com/

Comments URL: https://news.ycombinator.com/item?id=49084989

Points: 2

# Comments: 0

Article URL: https://cacm.acm.org/opinion/now-is-the-time-to-give-llms-access-to-the-acm-digital-library/

Comments URL: https://news.ycombinator.com/item?id=49084987

Points: 1

# Comments: 0

Article URL: https://www.lawfaremedia.org/article/what-they-want-to-hear--the-politicization-of-u.s.-intelligence

Comments URL: https://news.ycombinator.com/item?id=49084956

Points: 1

# Comments: 0

Article URL: https://citizens-initiative.europa.eu/initiatives/details/2026/000011_en

Comments URL: https://news.ycombinator.com/item?id=49084938

Points: 3

# Comments: 0

To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified against a concise specification that pins down the surface of the resulting mesh exactly and guarantees practical well-formedness conditions on the triangulation.

This project is also an experiment in avoiding having to trust AI-generated code. A human reviewer only needs to read 93 lines of formal specification and run the Lean checker to certify the correctness of the kernel, skipping the intricate 1000+ lines of AI-written implementation. To prove correctness, AI autonomously wrote over 60,000 lines of Lean proofs, which also never have to be inspected by a human. The Lean checker guarantees conformance to the specification at compile time, with zero trust placed in any LLM. This allows us to treat the implementation and proofs as a black box. I guided the agent through the milestones described in the readme to arrive at the result presented here.

Also take a look at the web demo https://schildep.github.io/verified-3d-mesh-intersection/, which runs the verified mesh intersection kernel compiled to WebAssembly in your browser.

Comments URL: https://news.ycombinator.com/item?id=49083239

Points: 1

# Comments: 0

Article URL: https://deepmind.google/blog/securing-the-future-of-ai-agents/

Comments URL: https://news.ycombinator.com/item?id=49083222

Points: 1

# Comments: 0

Article URL: https://hatchet.run/blog/first-idempotency-key

Comments URL: https://news.ycombinator.com/item?id=49083207

Points: 1

# Comments: 0

Article URL: https://zenodo.org/records/21277138

Comments URL: https://news.ycombinator.com/item?id=49083198

Points: 1

# Comments: 0

Article URL: https://www.wired.com/story/private-claude-chats-exposed-in-google-and-bing-search-results/

Comments URL: https://news.ycombinator.com/item?id=49083197

Points: 1

# Comments: 0

Article URL: https://mabels.github.io/ovn-fabric/blog/ovn-fabric-writeup.html

Comments URL: https://news.ycombinator.com/item?id=49083187

Points: 1

# Comments: 0