frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Theo Conjecture solves 35-year-old math problem, finds a term no one predicted

https://firstprinciples.com/blog-article/ai-system-theo-conjecture-solves-35-year-old-math-conjec...
1•otalp•32s ago•0 comments

A Shortlist of Potential Future Euro Banknote Designs

https://www.ecb.europa.eu/euro/banknotes/future_banknotes/html/design-proposals.en.html
1•karakoram•1m ago•0 comments

RimWorld's Code Defines Strict Gender Roles (2016)

https://www.rockpapershotgun.com/rimworld-code-analysis
1•Tomte•3m ago•0 comments

HAR Extractor

https://github.com/azu/har-extractor
1•soupspaces•5m ago•0 comments

Show HN: Resume Tailor – Fit your resume to any job

https://tailor.resume.academy/
1•vednig•6m ago•1 comments

A Trampoline

https://dogdogfish.com/blog/2026/07/29/a-trampoline/
2•matthewsharpe3•7m ago•0 comments

Basebrowserproject

https://mastodon.social/@sarahjamielewis/116965925134524215
1•birdculture•7m ago•0 comments

XGBoost 3.3.0 Release

https://xgboost.ai/2026/07/21/xgboost-3-3-release.html
2•nickbecker•9m ago•0 comments

Anyone else think Claude Code and Codex are too slow? We hate it

https://bullet.davidhf.com
3•alsima•10m ago•0 comments

YC startup offers interviews to people who get their name permanently tattooed

3•codexon•13m ago•1 comments

Neuroprosthesis restores hand movement&sensation in human w complete tetraplegia

https://www.nature.com/articles/s41591-026-04498-0
1•bookofjoe•13m ago•0 comments

Benchmarking LLMs on SAST Triage

https://www.fencer.dev/blog/llm-triage-sast-false-positives
6•timols•14m ago•0 comments

FrameCut – Split contact sheet negative film scans in Chrome

https://github.com/stabruriss/framecut/blob/main/README.md
1•chriswunan•14m ago•0 comments

Runlayer sues Rippling, alleging source-code access preceded rival AI gateway

https://runtimewire.com/article/runlayer-sues-rippling-alleging-source-code-access-preceded-rival...
2•ryanmerket•15m ago•0 comments

Collection of Vintage User-Interfaces

https://typewritten.org/Media/
1•karakoram•15m ago•0 comments

A digitally controlled silicon quantum processing unit

https://www.nature.com/articles/s41586-026-10754-7
1•sbulaev•15m ago•0 comments

China's Moonshot AI reportedly used Nvidia Blackwell chips for training Kimi K3

https://www.tomshardware.com/tech-industry/artificial-intelligence/chinas-moonshot-ai-reportedly-...
2•rndsignals•17m ago•0 comments

Thorpe – semi-WYSIWYG Markdown editor

https://thorpeapp.com/
1•jasoncartwright•17m ago•0 comments

Botswana Did Everything Right

https://www.cremieux.xyz/p/botswana-did-everything-right
1•admp•17m ago•0 comments

Microsoft FY26 Q4 Earnings

https://www.microsoft.com/en-us/Investor/earnings/FY-2026-Q4/press-release-webcast
3•corvad•18m ago•1 comments

Meta Reports Second Quarter 2026 Results

https://investor.atmeta.com/investor-news/press-release-details/2026/Meta-Reports-Second-Quarter-...
1•mfiguiere•18m ago•0 comments

Kimi k3 now runs on one consumer GPU

https://twitter.com/Akashi203/status/2082555972380401852
5•OsamaJaber•19m ago•0 comments

Why too much time online makes us unhappy

https://www.cnn.com/2026/07/29/health/too-much-time-online-wellness
2•01-_-•21m ago•1 comments

Schools Are Confiscating Phones All Day

https://www.gadgetreview.com/schools-are-confiscating-phones-all-day-and-most-americans-are-fine-...
1•01-_-•22m ago•0 comments

Cory Doctorow on Why AI Won't Replace Workers, but Will Crash the Economy [video]

https://www.youtube.com/watch?v=rRRmUuxJolY
1•SockThief•22m ago•0 comments

The GitHub Platform Era Is Over

https://julien.danjou.info/blog/the-github-platform-era-is-over/
1•yruzin•23m ago•0 comments

The Prevention Paradox: Why Successful Resilience Work Becomes Its Own Enemy

https://newsletter.resiliumlabs.com/p/the-prevention-paradox
1•gpi•25m ago•0 comments

Cloudflare removes top open coding models from free tier

https://developers.cloudflare.com/changelog/post/2026-07-28-models-require-workers-paid/
1•ankushKun•27m ago•1 comments

Kimi K3 for local use (1.56TB –> 594GB) compressed by Unsloth

https://huggingface.co/unsloth/Kimi-K3-GGUF
4•pavelai•28m ago•1 comments

Can You Survive the Kobayashi Maru?

https://moai.studio/blog/posts/rewrite-the-simulator.html
1•ionwake•28m 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.