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.

Formalizing Julia in Lean (and finding 400 bugs in Base)

https://discourse.julialang.org/t/formalizing-julia-in-lean-and-finding-400-bugs-in-base/140243
1•anewhnaccount2•4m ago•0 comments

Proof Repair and (Co)algebra Equivalences

https://arxiv.org/abs/2610.36669
1•matt_d•10m ago•0 comments

Aipicks.ca – Using multi-sport AI models to find edges in table tennis

https://aipicks.ca/
1•prepperscanada•10m ago•0 comments

Fable 5.2 and Jagged AGI: General, often expert, and sometimes jagged

https://www.oneusefulthing.org/p/fable-52-and-jagged-agi
2•nradov•11m ago•0 comments

Ford Reveals Mach-E Battery Degradation After 100k Miles

https://insideevs.com/news/814780/ford-mustang-mach-e-battery-degradation-range-study/
3•xbmcuser•21m ago•1 comments

Show HN: 3D Conformal Transformations via Geometric Algebra

https://static.laszlokorte.de/conformal-3d/
1•laszlokorte•26m ago•0 comments

Gisting

https://shopify.engineering/gisting
1•sonabinu•33m ago•0 comments

Mountains of Kong

https://en.wikipedia.org/wiki/Mountains_of_Kong
1•silver92bullet•34m ago•0 comments

Adaptive Agentic Worms Are Here

https://www.lesswrong.com/posts/fpLDjKg3ej49beqTC/adaptive-agentic-worms-are-here
1•gmays•35m ago•0 comments

Anthropic joins AI's natural gas frenzy, buys $3.4B worth of turbines

https://techcrunch.com/2026/11/09/anthropic-joins-ais-natural-gas-frenzy-buys-3-4b-worth-of-turbi...
1•jomon003•36m ago•1 comments

Apple Store Subscription Sign-Up Controversy Exposed

https://www.macrumors.com/2026/11/08/apple-store-subscription-controversy/
2•ksec•37m ago•0 comments

Winsight: Transparent security suite for Windows, in the spirit of Objective-See

https://github.com/ClementG91/winsight
1•philonoist•37m ago•0 comments

Project Lighthouse

https://github.com/professorsolderin/project-lighthouse
1•gslin•39m ago•1 comments

Socratic-tutor – turns an LLM into a strict personal tutor

https://github.com/janestreet/agent_skills
1•vpj•39m ago•0 comments

Discuss: America Should Unleash Cyber Privateers

https://www.realcleardefense.com/cyber-warfare/articles/america-should-unleash-cyber-privateers-2...
2•Gaishan•40m ago•2 comments

FlashStates Unlocking Flexible Hybrid State Management for Agentic LLM Inference

https://flashstates.ai/
1•matt_d•42m ago•0 comments

Autonomous AI Agents Conduct End-to-End Research with Human Participants

https://advanced.onlinelibrary.wiley.com/doi/10.1002/advs.76675
1•Gaishan•42m ago•0 comments

Land: Using Determinstic methods for faster CI and merging

https://useland.dev/
1•rohanucla•46m ago•0 comments

OSS devtool seed stage startup looking to hire DevRel In SF

1•rohankhameshra•48m ago•2 comments

Factors in Choosing WebRTC vs. HLS

https://www.red5.net/blog/5-factors-in-choosing-webrtc-vs-hls/
1•mondainx•50m ago•0 comments

The Occupational Ladder: Implications for Life-Cycle Wage Dynamics

https://www.nber.org/papers/w35929
1•rohanm93•56m ago•0 comments

Make this forward pass as fast as possible

https://ianbarber.blog/2026/11/09/make-this-forward-pass-as-fast-as-possible/
2•matt_d•1h ago•0 comments

All your clusters. One workspace. – Kite

https://kitehq.dev/
1•xdasf•1h ago•0 comments

GlitchTip 7.0 Released

https://glitchtip.com/blog/2026-11-09-glitchtip-7-0-release/
1•gslin•1h ago•1 comments

CoderPad Reports a Security Breach

3•werrett•1h ago•0 comments

Blunt Banhammer Blocks Basic Bots Ballistically

https://shkspr.mobi/blog/2026/11/blunt-banhammer-blocks-basic-bots-ballistically/
2•jay_kyburz•1h ago•1 comments

Lumo. On Your Desktop

https://mrthp.github.io/lumo-desktop/
1•misterthp•1h ago•0 comments

Nvidia CEO Huang sued over disclosures related to suspected Chinese spy

https://www.reuters.com/world/nvidia-ceo-huang-sued-over-disclosures-related-suspected-chinese-sp...
5•theanonymousone•1h ago•0 comments

macOS-Uke: Full macOS 26.5 (25F71) on the Xiaomi Pad 7

https://github.com/iOSNJBrepo/macOS-uke
4•Teever•1h ago•0 comments

Ultorg: The User Interface for Relational Databases

https://www.ultorg.com/
2•Ivoah•1h ago•0 comments