fp.

Certified Program Synthesis with a Multi-Modal Verifier [pdf]

https://verse-lab.org/papers/leetproof-ase26.pdf

1•matt_d•9m ago•0 comments

Dev tools must be opensourced thats why I build this

1•Thomeras•9m ago•0 comments

Harness Engineering for Self-Improvement

https://lilianweng.github.io/posts/2026-07-04-harness/

2•tosh•11m ago•0 comments

Show HN: ePub Translator

https://epubtranslator.net/

2•xiaoape•13m ago•0 comments

Agentty ADE: preview of agentic orchestrator is out in v0.14.0

https://github.com/agentty-xyz/agentty

2•minev-dev•14m ago•1 comments

Bubo: AI code-reviewer that learns from review comments

https://github.com/mountainowl/bubo

1•mt_owl•17m ago•1 comments

An Internet for the Solar System [video]

https://media.ccc.de/v/emf2026-45-1-an-internet-for-the-solar-system

2•anticensor•17m ago•0 comments

A SpaceX Falcon 9 is going to hit the Moon Wednesday

https://arxiv.org/abs/2608.00360

1•mbrandstifter•17m ago•0 comments

Apple launches legal challenge against UK government demand to access data

https://www.theguardian.com/technology/2026/aug/03/apple-legal-challenge-uk-government-data-access

1•azalemeth•19m ago•0 comments

We gave an AI agent rootless VPN access to 1k live servers

https://ardor.cloud/blog/ardor-getblock-agentic-operations

2•Daniiar9•20m ago•0 comments

Knowing When to Quit: Diagnosing and Training LLMs to Abort Futile Reasoning

https://arxiv.org/abs/2607.29211

2•sbulaev•22m ago•0 comments

What nonfiction books talk about, 1960-2025

https://book-prize-index.vercel.app/fun/what-nonfiction-talks-about

1•benbreen•23m ago•0 comments

German Driving Licenses for Expats

https://horstmann.com/unblog/2025-04-16/index.html

1•slow_typist•26m ago•1 comments

Denmark: EVs Make Up 97% of New Private Car Sales in July

https://ing.dk/artikel/ny-rekord-maaned-elbilsalget-private-koeb-ligger-paa-97-procent

2•bogeholm•30m ago•1 comments

How big is the India three-wheeler market expected to be by 2031?

1•TechSci•32m ago•0 comments

Google's $200B finance machine for Anthropic

https://www.ft.com/content/549f2e23-5aa2-49c7-9ea6-a9784ab7087c

1•sega_sai•32m ago•0 comments

Show HN: Cckeep – Claude Code's remote session gives up reconnecting in 31s

https://github.com/kamihork/cckeep

1•kamihork•33m ago•0 comments

How to groth hack in AI era

2•aratama123•33m ago•0 comments

China's AI Blitz Creates 'Death Zone' for Rival US Model Makers

https://www.bloomberg.com/news/articles/2026-08-04/china-s-ai-blitz-creates-death-zone-for-rival-...

2•petethomas•40m ago•0 comments

Bitcoin owners rocked by $116M hack: What we know about the Coldcard exploit

https://fortune.com/2026/08/03/bitcoin-owners-116-million-hack-coldcard-coinkite-exploit/

2•LostMyLogin•46m ago•0 comments

Assert(): A Modern How To

https://fiberfs.io/blog/assert_a_modern_how_to

1•nyc_pizzadev•46m ago•0 comments

Apple is getting this wrong

https://openai.com/index/apple-is-getting-this-wrong/

53•meetpateltech•57m ago•29 comments

LLM memory doesn't only get written wrong, it goes wrong later

https://manazir.dev/work/anamnesis-forecasting-memory-corruption

1•mnzrdev•58m ago•0 comments

A Versatile PDP-11/70 Emulator

https://hackaday.com/2026/08/03/a-versatile-pdp-11-70-emulator/

1•jandeboevrie•58m ago•0 comments

Ursula K. Le Guin: Tales from Earthsea or Gedo Senki

https://www.ursulakleguin.com/adaptation-tales-of-earthsea

1•Rant423•1h ago•1 comments

High-Powered Real-Estate Fund Is Run by College Students

https://www.wsj.com/finance/investing/this-high-powered-real-estate-fund-is-run-by-college-studen...

1•kamaraju•1h ago•0 comments

Deep Dive: Anthropic's Performance Take-Home (The One Claude Beat Humans At)

https://trirpi.github.io/posts/anthropic-performance-takehome/

1•jxmorris12•1h ago•0 comments

Do not use OVHcloud for production services

https://lagomor.ph/indieweb/20260804/1352-note/

3•ChilledTonic•1h ago•1 comments

Show HN: HN-jobs aggregator – updated in real-time

1•freakynit•1h ago•0 comments

Korean stock market crash threatening to upset tech boom

https://www.abc.net.au/news/2026-08-03/korean-markets-threatening-upset-tech-boom/106981956

4•robin_reala•1h ago•0 comments