frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Jeffy Loop What if coding agents had to prove they were done?

https://github.com/lenamonj/jeffy-loop
2•lenamonj•1h ago

Comments

lenamonj•1h ago
Jeffy Loop is an autonomous engineering system I built designed around one principle: agents should not merely produce work. They should produce evidence that the work is correct.

Are we building coding agents or are we starting to build autonomous software engineers?

The combination of autonomous agents + software engineering + verification + adversarial evaluation + reproducible receipts.

Audit. Attack. Verify. Prove.

Benjamin Franklin's Alter Egos Gave Him the Most Freedom

https://www.smithsonianmag.com/history/among-all-great-things-benjamin-franklin-invented-discover...
1•cisc•1m ago•0 comments

Anthropic's Claude for Mac desktop app now has built-in browser

https://thenewstack.io/claude-built-in-browser-cowork/
1•thoughtpeddler•2m ago•0 comments

Anthropic was illegally blacklisted by the Trump administration, court rules

https://www.theverge.com/ai-artificial-intelligence/985947/anthropic-supply-chain-risk-lawsuit-ju...
1•sbulaev•4m ago•0 comments

Show HN: Turn your GitHub activity into a receipt

https://receipthub.io/github
1•sleepy_duck•12m ago•0 comments

AI is changing religion and religions are trying to change AI

https://economist.com/international/2026/08/27/ai-is-changing-religion-and-religions-are-trying-t...
1•andsoitis•13m ago•0 comments

ProveIT – a short game to help you learn how formal proofs work in Logic

https://voxelrifts.itch.io/proveit
1•vismit2000•13m ago•0 comments

.

https://economist.com/international/2026/08/27/ai-is-changing-religion-and-religions-are-trying-t...
1•andsoitis•14m ago•0 comments

Crbro – Local, file-based persistent memory for AI agents (MCP)

https://github.com/Octonove/crbro-memory
1•cerebromcp•15m ago•0 comments

Cancer vaccine shows promise in preventing recurrence of melanoma

https://www.nbcnews.com/health/health-news/merck-moderna-say-melanoma-vaccine-promise-prevent-rec...
1•gmays•16m ago•0 comments

He co-founded Burning Man. It was the least interesting thing he ever did

https://www.sfgate.com/sf-culture/article/burning-man-co-founder-least-interesting-thing-20826295...
1•andsoitis•19m ago•0 comments

Build Your Customer Service Team with AI Agents

https://aimujib.com/
2•anaspro•21m ago•0 comments

Why America's prisons are shrinking and racial gaps are closing

https://www.nature.com/articles/s41562-026-02536-y
2•marojejian•30m ago•1 comments

Open Oscar Server: open-source server compatible with AIM and ICQ clients

https://github.com/mk6i/open-oscar-server
1•gregsadetsky•37m ago•0 comments

Show HN: HN Mirror with Image Previews

https://hackernews.beliantech.com/
1•ernsheong•38m ago•1 comments

Network Performance Issues in Phoenix, Los Angeles – Cloudflare Status

https://www.cloudflarestatus.com/incidents/f8ms50xkfn4t
1•kyisaiah47•43m ago•0 comments

OSSBeacon – explainable PR risk for open-source maintainers

https://github.com/closedfiles23-web/ossbeacon
1•rafae01019•44m ago•0 comments

GLM-5.3-Flash-GGUF

https://huggingface.co/unsloth/GLM-5.3-Flash-GGUF
3•walrus01•45m ago•1 comments

Bug Blindness

https://danluu.com/bug-blind/
12•davidmckenna•49m ago•1 comments

'Snooping' on Dolphins Reveals Hotspots for Food and Friends

https://www.fau.edu/newsdesk/articles/snooping-on-dolphins-acoustic-study
1•gmays•50m ago•0 comments

Personal Holding Companies, Tax Progressivity, and Inequality

https://www.nber.org/papers/w35534
1•marojejian•51m ago•1 comments

Show HN: Cardwall – free external A2A health check and status badge for agents

https://cardwall.ai/
1•nvwalj•53m ago•0 comments

Man accused of posing as SF 49ers player to defraud women out of $1.3M, feds say

https://www.cbsnews.com/sanfrancisco/news/man-poses-as-san-francisco-49ers-player-defrauds-26-wom...
3•randycupertino•54m ago•1 comments

India's 'Cockroaches' Are Fighting Back

https://www.nytimes.com/2026/08/29/opinion/india-gen-z-cockroach-movement.html
1•mikhael•55m ago•0 comments

Marked Share – Markdown Publishing

https://brettterpstra.com/2026/08/29/marked-share-markdown-publishing/
3•alsetmusic•1h ago•0 comments

Jeffy Loop What if coding agents had to prove they were done?

https://github.com/lenamonj/jeffy-loop
2•lenamonj•1h ago•1 comments

Show HN: From a 9MB app to processing video and batching up to 100 photo

https://apps.apple.com/us/app/pixzool-video-photo-editor/id6759997803
1•marshiyar•1h ago•0 comments

China's Super-Dam Is Becoming an Upstream Water Bomb

https://www.project-syndicate.org/commentary/china-himalayan-super-dam-dangerous-and-plan-lacks-t...
4•haltingproblem•1h ago•0 comments

Unsloth Desktop

https://unsloth.ai/docs/desktop
2•pentagrama•1h ago•1 comments

Laurie Anderson's manuscript to be locked away for 88 years in Future Library

https://www.theguardian.com/books/2026/aug/29/laurie-anderson-manuscript-88-years-future-library-...
2•mitchbob•1h ago•0 comments

Phaseonebig: Message Board for Agents

https://phaseonebig.com/
1•fmarasho•1h ago•0 comments