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.

Most UK media reports on June heatwave failed to mention climate crisis

https://www.theguardian.com/environment/2026/jul/14/most-coverage-june-heatwave-did-not-mention-c...
1•robtherobber•37s ago•0 comments

A Framework for Frontier AI and the Dawning of a New Age

https://demishassabis.substack.com/p/a-framework-for-frontier-ai-and-the-dawning-of-a-new-age
1•nbraga•1m ago•0 comments

Can humans hibernate their way to Mars?

https://www.theguardian.com/science/ng-interactive/2026/jul/14/human-hibernation-space-mars
1•n1b0m•3m ago•0 comments

Show HN: An Agentic Data Platform can generate dashboards, models in minutes

https://datarelax.io/
1•phienhn•3m ago•0 comments

When the facts change, adequacy must be reviewed

https://edri.org/our-work/when-the-facts-change-adequacy-must-be-reviewed/
1•jruohonen•4m ago•0 comments

Show HN: Rejourney – Open-source revenue leak prediction for web and mobile apps

https://github.com/rejourneyco/rejourney
2•mrr7337•6m ago•0 comments

The Future Worth Building Is Human – Thinking Machines Lab

https://thinkingmachines.ai/blog/the-future-worth-building-is-human/
1•bilsbie•6m ago•0 comments

Australia Just Found a Way to Put Solar on Apartments [video]

https://www.youtube.com/watch?v=tnkmcNDYXlo
1•thelastgallon•7m ago•0 comments

Actegories

https://bartoszmilewski.com/2026/06/30/actegories/
1•ibobev•7m ago•0 comments

X just gave us an interface that AI agents can use. I pointed it at my own posts

https://lemire.me/blog/2026/07/11/x-just-gave-us-an-interface-that-ai-agents-can-use-i-pointed-it...
1•ibobev•7m ago•0 comments

Dot product: Component vs. Geometric definition

https://eli.thegreenplace.net/2026/dot-product-component-vs-geometric-definition/
1•ibobev•7m ago•0 comments

Merged at the Speed of AI

https://chaosguru.substack.com/p/merged-at-the-speed-of-ai
1•taubek•8m ago•0 comments

Show HN: BYO AI free notetaking with optional screen reading for OpenClaw/hermes

https://stagewhisper.io/lite
1•piotraleksander•9m ago•1 comments

The US government warns that Russia state hackers are coming after your router

https://arstechnica.com/security/2026/07/the-us-government-warns-that-russia-state-hackers-are-co...
2•joozio•10m ago•0 comments

Show HN: Git Buoy | A living terminal harbor for Git worktrees

https://github.com/markg-05/git-buoy
1•m_george•11m ago•0 comments

Indian activist urged to give up hunger strike over exam leaks

https://www.reuters.com/world/india/indian-activist-urged-give-up-hunger-strike-over-exam-leaks-2...
1•thunderbong•12m ago•0 comments

The great digital fatigue: How digital burnout is changing social media use

https://blog.incogni.com/digital-fatigue-and-burnout/
3•derbOac•13m ago•0 comments

Content Defined Chunking for Go

https://www.plakar.io/posts/2026-06-14/go-cdc-chunkers-v1.1.0-faster-leaner-and-provably-correct/
1•vcoisne•13m ago•0 comments

Patients reportedly beating cancer with just one tablet a day (2022) [video]

https://www.youtube.com/watch?v=sq2dfgg70hs
1•thelastgallon•15m ago•0 comments

The End of Effort: why no one is trying anymore [video]

https://www.youtube.com/watch?v=XZyE1sSNw8E
1•ilreb•17m ago•0 comments

AsyncAPI Supply Chain Compromise via GitHub Actions

https://www.wiz.io/blog/m-red-team-asyncapi-supply-chain-compromise-via-github-actions
2•ramimac•18m ago•0 comments

Tweak self-hosted SearXNG with Kagi domains (2025)

https://old.reddit.com/r/selfhosted/comments/1hs1oxg/appreciation_post_for_searxng/
1•patrickk•19m ago•1 comments

Show HN: Pg-jason-validator fastest JSON schema validation via C Macros

https://github.com/furstenheim/pg-jason-validator
1•furstenheim•19m ago•0 comments

The Marketplace of Ideals (2023)

https://www.dgtlgrove.com/p/the-marketplace-of-ideals
1•kugurerdem•20m ago•0 comments

The disk that never woke up: The Elasticsearch and Qdrant saga

https://www.elastic.co/search-labs/blog/vector-search-benchmark-elasticsearch-qdrant
2•talboren•21m ago•0 comments

Exch: Atomically exchanges paths between two files

https://man7.org/linux/man-pages/man1/exch.1.html
1•BoingBoomTschak•21m ago•0 comments

3D Campus Map

https://rtnf.substack.com/p/missionmap
1•altilunium•22m ago•0 comments

C3 0.8.2 a Modest Improvement

https://c3-lang.org/blog/0_8_2_a_modest_improvement/
1•lerno•24m ago•1 comments

PowerBrowsing

http://davide.eynard.it/malawiki/PowerBrowsing.html
1•navigaid•25m ago•0 comments

Replicant.space: An API-first space exploration game

https://replicant.space/
1•progval•25m ago•0 comments