frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

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

https://verse-lab.org/papers/leetproof-ase26.pdf
1•matt_d•7m ago•0 comments

Dev tools must be opensourced thats why I build this

1•Thomeras•7m ago•0 comments

Harness Engineering for Self-Improvement

https://lilianweng.github.io/posts/2026-07-04-harness/
2•tosh•9m ago•0 comments

Show HN: ePub Translator

https://epubtranslator.net/
2•xiaoape•11m ago•0 comments

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

https://github.com/agentty-xyz/agentty
2•minev-dev•12m ago•1 comments

Bubo: AI code-reviewer that learns from review comments

https://github.com/mountainowl/bubo
1•mt_owl•15m 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•15m ago•0 comments

A SpaceX Falcon 9 is going to hit the Moon Wednesday

https://arxiv.org/abs/2608.00360
1•mbrandstifter•16m 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•18m 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•19m ago•0 comments

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

https://arxiv.org/abs/2607.29211
2•sbulaev•20m ago•0 comments

What nonfiction books talk about, 1960-2025

https://book-prize-index.vercel.app/fun/what-nonfiction-talks-about
1•benbreen•22m ago•0 comments

German Driving Licenses for Expats

https://horstmann.com/unblog/2025-04-16/index.html
1•slow_typist•24m 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•29m ago•1 comments

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

1•TechSci•30m ago•0 comments

Google's $200B finance machine for Anthropic

https://www.ft.com/content/549f2e23-5aa2-49c7-9ea6-a9784ab7087c
1•sega_sai•30m ago•0 comments

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

https://github.com/kamihork/cckeep
1•kamihork•31m ago•0 comments

How to groth hack in AI era

2•aratama123•32m 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•38m 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•44m ago•0 comments

Assert(): A Modern How To

https://fiberfs.io/blog/assert_a_modern_how_to
1•nyc_pizzadev•45m ago•0 comments

Apple is getting this wrong

https://openai.com/index/apple-is-getting-this-wrong/
51•meetpateltech•55m ago•28 comments

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

https://manazir.dev/work/anamnesis-forecasting-memory-corruption
1•mnzrdev•56m ago•0 comments

A Versatile PDP-11/70 Emulator

https://hackaday.com/2026/08/03/a-versatile-pdp-11-70-emulator/
1•jandeboevrie•56m 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
Open in hackernews

Do not use OVHcloud for production services

https://lagomor.ph/indieweb/20260804/1352-note/
3•ChilledTonic•1h ago

Comments

dabinat•18m ago
One thing I’ve learned on my journey of switching away from AWS is that I took reliability for granted and a lot of third party services are not as solid. You have to do your homework to find the ones that are, or you need to assume unreliability and add mitigations.