frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Ask HN: Books for LLMs

1•me3meme•1y ago
LLMs are weak in many fields, for example programming in prolog, so people provide the documentation to the LLM in order to avoid some hallucinations. It seems clear that it would be better to have books available tailored for LLMs for example containing warnings about use of words. (In prolog the thread library is library(thread) not library(threads). So there should be a github for LLMs and prior to prompting you give the url to the LLM to prepare for the concrete task.

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

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

Dev tools must be opensourced thats why I build this

1•Thomeras•2m ago•0 comments

Harness Engineering for Self-Improvement

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

Show HN: ePub Translator

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

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

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

Bubo: AI code-reviewer that learns from review comments

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

A SpaceX Falcon 9 is going to hit the Moon Wednesday

https://arxiv.org/abs/2608.00360
1•mbrandstifter•10m 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•12m 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•13m ago•0 comments

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

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

What nonfiction books talk about, 1960-2025

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

German Driving Licenses for Expats

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

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

1•TechSci•24m ago•0 comments

Google's $200B finance machine for Anthropic

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

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

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

How to groth hack in AI era

1•aratama123•26m 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•33m 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•38m ago•0 comments

Assert(): A Modern How To

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

Apple is getting this wrong

https://openai.com/index/apple-is-getting-this-wrong/
43•meetpateltech•49m ago•21 comments

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

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

A Versatile PDP-11/70 Emulator

https://hackaday.com/2026/08/03/a-versatile-pdp-11-70-emulator/
1•jandeboevrie•51m ago•0 comments

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

https://www.ursulakleguin.com/adaptation-tales-of-earthsea
1•Rant423•54m 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•54m 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•56m ago•0 comments

Do not use OVHcloud for production services

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

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

1•freakynit•57m 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•58m ago•0 comments