frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Marten 0.7 – A batteries-included web framework for Crystal

https://martenframework.com/news/2026-08-29-marten-release-0.7
1•ellmetha•1m ago•0 comments

Show HN: Radia – agent coordination with leases, permissions and provenance

https://radia.sh/
1•ymodulo•1m ago•0 comments

AIs as Modern Genies

https://www.lawfaremedia.org/article/ais-as-modern-genies
1•hn_acker•3m ago•0 comments

Interlune: Mining lunar helium-3 as a preemptive chokepoint for a fusion economy

https://beyondhorizonforesight.substack.com/p/interlune-the-rare-earth-play-for
1•beyondhorizonfs•3m ago•0 comments

ZGateway: Learnings from Putting a Proxy in Front of ZippyDB

https://engineering.fb.com/2026/09/03/core-infra/zgateway-proxy-zippydb-meta/
1•aravind_krishna•3m ago•0 comments

Global Heating Will Hit at Least 1.8 C, UN Warns, with "No Good Outcomes"

https://www.motherjones.com/politics/2026/09/un-environment-program-report-global-heating-warming...
2•cdrnsf•4m ago•0 comments

Show HN: I built an app that makes your goals inevitable

https://www.getinference.app/
1•ifeanyi_sa•4m ago•0 comments

The 2026 Ig Nobel Prize Ceremony

https://improbable.com/2026/09/03/the-2026-ig-nobel-prize-ceremony/
2•mynameisash•5m ago•0 comments

Show HN: A gravity simulator where forces propagate at the speed of light

https://github.com/alessandro-pioli/AstroCausal_Engine
1•alessandropioli•6m ago•0 comments

Nvidia launches free tool that links idle computers into personal AI datacenter

https://www.theverge.com/ai-artificial-intelligence/989435/nvidia-pair-personal-ai-router-home-lo...
1•andai•6m ago•1 comments

Show HN: WiringPi 3.20 – Updated GPIO Library for Raspberry Pi

https://github.com/WiringPi/WiringPi
1•evil99•7m ago•0 comments

Show HN: CodeBeasts – Barcode Monsters

https://play.google.com/store/apps/details?id=sh.albe.codebeasts&hl=en_US
1•solidarnosc•8m ago•0 comments

Sync personal commitments (during work hours) with work calendar

https://github.com/taslim/calsync
1•taslim•8m ago•0 comments

How to Build an Instagram AI Chatbot That Answers Your DMs

https://quickchat.ai/post/instagram-ai-chatbot-answer-dms
1•piotrgrudzien•9m ago•0 comments

How to Build a Free Roleplay AI Chatbot That Stays in Character

https://quickchat.ai/post/roleplay-ai-chatbot
1•piotrgrudzien•9m ago•0 comments

Show HN: Ensemble Prover - Open-Source Python Autonomous Theorem Prover

https://github.com/graviterra/ensemble-prover
1•stereochemical3•10m ago•1 comments

I built a hallucination detector for coding agents. 100 agent-hours killed it

https://github.com/robbe1912/anubis-public
1•robbe1912•10m ago•0 comments

Salesforce blames its Claude addiction for denting profit margin guidance

https://www.theregister.com/ai-and-ml/2026/09/03/salesforce-blames-its-claude-addiction-for-denti...
3•Alephinitesimal•10m ago•0 comments

I hate benchmarks: Moving a production workflow from GPT to GLM-5.3 Flash

https://polyform.ai/news/why-i-hate-benchmarks/
2•ahmedelsama•10m ago•1 comments

Practical Guide to Validating RFC 9421 HTTP Signatures for ActivityPub in PHP

https://shkspr.mobi/blog/2026/09/a-reasonably-practical-guide-to-validating-rfc-9421-http-signatu...
1•speckx•10m ago•0 comments

Popular wearable devices that are sharing your private data (2025)

https://www.zdnet.com/article/5-popular-wearable-devices-that-are-sharing-your-private-data-and-t...
1•Cider9986•11m ago•0 comments

Come On, Blink, You Can Be Better

1•vasanthv•11m ago•0 comments

The Dollar Is Just a Social Convention

https://newsletter.platypuseconomics.com/p/the-dollar-is-just-a-social-convention
1•mooreds•12m ago•0 comments

Get Markets Score Daily, Free, No Sign-In

https://gmdmarkets.com/markets-today
1•shlomysh•12m ago•0 comments

My resume. My monthly salary is 1,500 euros

https://drive.google.com/file/d/1Qap0JC-UZa6jszP42WBpn-DuX0_egcpr/view?usp=sharing
1•sfebreiro•13m ago•0 comments

American Bureaucracy (Literally) Steals Years from Your Life

https://lithub.com/how-american-bureaucracy-literally-steals-years-from-your-life/
2•speckx•16m ago•0 comments

Show HN: Deterministic Linter for Agent Runs

https://github.com/AshwinUgale/tracelint
1•Ashwin1121•16m ago•0 comments

Walkshop is a multi-day hiking and leadership development experience

https://www.walkshop.io
1•mooreds•17m ago•0 comments

Show HN: Claude's innerworkings: turn 170 costs 2.1x turn 20, over 14,640 turns

1•LordBron•17m ago•0 comments

Lessons from editing 439 blog posts in the last 4 years (and beyond)

https://ianv.substack.com/p/what-i-think-about-when-i-edit-blog
1•eyehurtsme•18m ago•0 comments
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.