List HNews
Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified against a concise specifi..
2:05 pm, July 28, 2026 Hacker News
New HIV vaccine shows unprecedented success in preclinical study
Article URL: https://www.lji.org/news-events/news/post/new-hiv-vaccine-shows-unprecedented-success-in-preclinical-study/ Comments URL: https://news.ycombinator.com/item?id=49083314 Points: 53 # Commen..
2:05 pm, July 28, 2026 Hacker News
Show HN: Ctrlb-decompose: Strip the noise from logs before sending to LLMs
Article URL: https://github.com/ctrlb-hq/ctrlb-decompose Comments URL: https://news.ycombinator.com/item?id=49083336 Points: 25 # Comments: 3
2:05 pm, July 28, 2026 Hacker News
Over 150k Flights: Airlines Just Flew the Busiest Day in Recorded History
Article URL: https://simpleflying.com/over-150000-flights-airlines-busiest-day-recorded-history/ Comments URL: https://news.ycombinator.com/item?id=49083364 Points: 14 # Comments: 2
2:05 pm, July 28, 2026 Hacker News
Show HN: tale.fyi, we deserve a home for fiction
for decades, i have been concerned that the internet was being built around non-fiction, so i built something to show how we could celebrate great fiction on the web.i started with an amazing library ..
2:05 pm, July 28, 2026 Hacker News
A $500 RL fine-tune of a 9B open model beat frontier models on catalog review
Article URL: https://fermisense.com/when-machines-take-the-wheel/ Comments URL: https://news.ycombinator.com/item?id=49078454 Points: 146 # Comments: 42
8:05 am, July 28, 2026 Hacker News
EYG: A Programming Language for Humans
Article URL: https://crowdhailer.me/2026-06-08/a-programming-language-for-humans/ Comments URL: https://news.ycombinator.com/item?id=49078463 Points: 61 # Comments: 31
8:05 am, July 28, 2026 Hacker News
An Uncomplicated Man – A review of The Odyssey, directed by Christopher Nolan
Article URL: https://www.lrb.co.uk/the-paper/v48/n14/emily-wilson/an-uncomplicated-man Comments URL: https://news.ycombinator.com/item?id=49078575 Points: 75 # Comments: 48
8:05 am, July 28, 2026 Hacker News
Using an open model feels surprisingly good
Article URL: https://matthewsaltz.com/blog/using-an-open-model-feels-surprisingly-good/ Comments URL: https://news.ycombinator.com/item?id=49078583 Points: 248 # Comments: 75
8:05 am, July 28, 2026 Hacker News
The age of token efficiency, the age of libraries
Article URL: https://golemui.com/blog/the-age-of-token-efficiency/ Comments URL: https://news.ycombinator.com/item?id=49079146 Points: 19 # Comments: 1
8:05 am, July 28, 2026 Hacker News
Why do we think we understand the world more than we actually do?
Article URL: https://thedecisionlab.com/biases/the-illusion-of-explanatory-depth Comments URL: https://news.ycombinator.com/item?id=49079175 Points: 59 # Comments: 43
8:05 am, July 28, 2026 Hacker News
PyTorch: A Reference Language
Article URL: https://docs.pytorch.org/devlogs/compiler/2026-07-25-pytorch-a-reference-language/ Comments URL: https://news.ycombinator.com/item?id=49079454 Points: 23 # Comments: 2
8:05 am, July 28, 2026 Hacker News
Neutrino-1 8B
Article URL: https://www.fermionresearch.com/models/neutrino-8b/ Comments URL: https://news.ycombinator.com/item?id=49079490 Points: 58 # Comments: 11
8:05 am, July 28, 2026 Hacker News
Ars Astronomica – English translations of rare Hebrew and Latin astronomy texts
Article URL: https://arsastronomica.com/ Comments URL: https://news.ycombinator.com/item?id=49079727 Points: 43 # Comments: 7
8:05 am, July 28, 2026 Hacker News
7.1 Earthquake in Japan
Article URL: https://www.data.jma.go.jp/multi/quake/quake_detail.html?eventID=20260728163528&lang=en Comments URL: https://news.ycombinator.com/item?id=49080664 Points: 6 # Comments: 0
8:05 am, July 28, 2026 Hacker News
Our position on open-weights models
Article URL: https://www.anthropic.com/news/position-open-weights-models Comments URL: https://news.ycombinator.com/item?id=49076057 Points: 450 # Comments: 619
2:05 am, July 28, 2026 Hacker News
A missing underscore sent innocent man to prison for 18 months
Article URL: https://arstechnica.com/tech-policy/2026/07/police-missed-one-underscore-and-sent-the-wrong-man-to-prison/ Comments URL: https://news.ycombinator.com/item?id=49076116 Points: 137 # Commen..
2:05 am, July 28, 2026 Hacker News
Hard Road – A beautiful procedural post-apocalyptic game
Article URL: https://hardroad.xyz/ Comments URL: https://news.ycombinator.com/item?id=49076382 Points: 30 # Comments: 10
2:05 am, July 28, 2026 Hacker News
Benchmarking Opus 5 on SlopCodeBench
Article URL: https://github.com/humanlayer/advanced-context-engineering-for-coding-agents/blob/main/benchmarking-opus-5-on-slop-code-bench.md Comments URL: https://news.ycombinator.com/item?id=4907639..
2:05 am, July 28, 2026 Hacker News
Kimi K3 Now Available via Telnyx Inference API
Article URL: https://telnyx.com/release-notes/kimi-k3-telnyx-inference Comments URL: https://news.ycombinator.com/item?id=49076505 Points: 12 # Comments: 5
2:05 am, July 28, 2026 Hacker News
C/C++ projects packaged for Zig
Article URL: https://github.com/allyourcodebase Comments URL: https://news.ycombinator.com/item?id=49076791 Points: 27 # Comments: 19
2:05 am, July 28, 2026 Hacker News
DConf 2026 in London
Article URL: https://dconf.org/2026/index.html Comments URL: https://news.ycombinator.com/item?id=49076840 Points: 44 # Comments: 15
2:05 am, July 28, 2026 Hacker News
Astronauts describe persistent 'observer' sensation after 6 month missions
Article URL: https://spacedaily.com/sd-v-astronauts-returning-from-six-month-missions-describe-a-persistent-observer-sensation-the-feeling-of-watching-their-own-lives-from-a-half-step-outside-the-fram..
2:05 am, July 28, 2026 Hacker News
Netflix employee fired for sharing personal details in retreat trust exercise
Article URL: https://www.inc.com/amaya-nichole/netflix-company-retreat-sparked-lawsuit-experts-say-real-damage-may-be-just-beginning/91380349 Comments URL: https://news.ycombinator.com/item?id=4907692..
2:05 am, July 28, 2026 Hacker News
The Burau representation of the braid group is faithful for n = 4
Article URL: https://arxiv.org/abs/2607.05283 Comments URL: https://news.ycombinator.com/item?id=49077209 Points: 15 # Comments: 5
2:05 am, July 28, 2026 Hacker News
Show HN: Let's Seal – Let's Encrypt for document signing, free and self-hosted
TLDR, Let's Seal gives the finger to Adobe and every doc signing tool (docusign, google, etc) who pay to play with the Adobe Approved Trust List and then charge you for something that should be free.C..
8:05 pm, July 27, 2026 Hacker News
Show HN: Infrawrench – A tool to manage cloud and svcs with workflows and chat
Article URL: https://infrawrench.com Comments URL: https://news.ycombinator.com/item?id=49071915 Points: 15 # Comments: 0
8:05 pm, July 27, 2026 Hacker News
Decathlon Germany adds Wero payment option to decathlon.de website
Article URL: https://www.sgieurope.com/e-commerce/decathlon-germany-launches-wero-payment-on-its-website/122397.article Comments URL: https://news.ycombinator.com/item?id=49072310 Points: 203 # Commen..
8:05 pm, July 27, 2026 Hacker News
MAI-Cyber-1-Flash inside MDASH
Article URL: https://microsoft.ai/news/introducing-mai-cyber-1-flash-inside-mdash/ Comments URL: https://news.ycombinator.com/item?id=49072361 Points: 177 # Comments: 91
8:05 pm, July 27, 2026 Hacker News
Show HN: FeyNoBg – Automatic background removal model and training library
Hey HN, I’m Shreyash from Feyn. We help companies build custom models from their data.Today, we’re releasing FeyNoBg, an automatic background removal model. Alongside it, we're open-sourcing NoBg,..
8:05 pm, July 27, 2026 Hacker News
UpCodes (YC S17) is hiring remote AE's to help make buildings cheaper
Article URL: https://up.codes/careers?utm_source=HN Comments URL: https://news.ycombinator.com/item?id=49072523 Points: 0 # Comments: 0
8:05 pm, July 27, 2026 Hacker News
Judge Rejects Google's Attempt to DMCA Its Way Out of Being Scraped
Article URL: https://www.techdirt.com/2026/07/27/judge-rejects-googles-attempt-to-dmca-its-way-out-of-being-scraped/ Comments URL: https://news.ycombinator.com/item?id=49073513 Points: 62 # Comments: ..
8:05 pm, July 27, 2026 Hacker News
Bytecode-to-Source Mapping
Article URL: https://tidefield.dev/bytecode-to-source-mapping/ Comments URL: https://news.ycombinator.com/item?id=49073665 Points: 12 # Comments: 1
8:05 pm, July 27, 2026 Hacker News
The Artist Who Colored Ghibli
Article URL: https://animationobsessive.substack.com/p/the-artist-who-colored-ghibli Comments URL: https://news.ycombinator.com/item?id=49073785 Points: 23 # Comments: 1
8:05 pm, July 27, 2026 Hacker News
Self-contained highly-portable Python distributions
Article URL: https://gregoryszorc.com/docs/python-build-standalone/main/ Comments URL: https://news.ycombinator.com/item?id=49073942 Points: 33 # Comments: 2
8:05 pm, July 27, 2026 Hacker News
Removing React.js from the codebase and adapting Htmx for UI interactivity
Article URL: https://misago-project.org/t/removing-reactjs-from-the-codebase-and-adapting-htmx-for-ui-interactivity/1267/ Comments URL: https://news.ycombinator.com/item?id=49067301 Points: 56 # Comme..
2:05 pm, July 27, 2026 Hacker News
Libsm64: Mario 64 as a library for use in external game engines
Article URL: https://github.com/libsm64/libsm64 Comments URL: https://news.ycombinator.com/item?id=49067352 Points: 57 # Comments: 10
2:05 pm, July 27, 2026 Hacker News
The Birth of the American 12-string Guitar
Article URL: https://www.harpguitars.net/history/grunewald/12-string.htm Comments URL: https://news.ycombinator.com/item?id=49067690 Points: 35 # Comments: 16
2:05 pm, July 27, 2026 Hacker News
How is the Bun Rewrite in Rust going?
Article URL: https://lockwood.dev/ai/2026/07/27/how-is-the-bun-rewrite-in-rust-going.html Comments URL: https://news.ycombinator.com/item?id=49067854 Points: 199 # Comments: 133
2:05 pm, July 27, 2026 Hacker News
Google Chrome Arrives on ARM64 Linux, Widevine DRM Included
Article URL: https://www.omgubuntu.co.uk/2026/07/chrome-arm64-linux-available Comments URL: https://news.ycombinator.com/item?id=49067919 Points: 24 # Comments: 7
2:05 pm, July 27, 2026 Hacker News
Elevated errors on Claude Opus 5
Article URL: https://status.claude.com/incidents/mfdtrknpxghq Comments URL: https://news.ycombinator.com/item?id=49068029 Points: 40 # Comments: 40
2:05 pm, July 27, 2026 Hacker News
Worse on Purpose
Article URL: https://ledger.worseonpurpose.com/brands Comments URL: https://news.ycombinator.com/item?id=49068707 Points: 50 # Comments: 16
2:05 pm, July 27, 2026 Hacker News
The Proof Machine (2016)
Article URL: https://incredible.pm/ Comments URL: https://news.ycombinator.com/item?id=49068711 Points: 11 # Comments: 0
2:05 pm, July 27, 2026 Hacker News
AI companies are shredding rare books
Article URL: https://xcancel.com/HedgieMarkets/status/2081534588485296565 Comments URL: https://news.ycombinator.com/item?id=49068738 Points: 232 # Comments: 127
2:05 pm, July 27, 2026 Hacker News
Should you wash your solar panels?
Article URL: https://incoherency.co.uk/blog/stories/should-you-wash-your-solar-panels.html Comments URL: https://news.ycombinator.com/item?id=49069132 Points: 23 # Comments: 8
2:05 pm, July 27, 2026 Hacker News
Simulate cassette tape audio profiles using FFmpeg
Article URL: https://github.com/AARomanov1985/Audio-Cassette-Simulation Comments URL: https://news.ycombinator.com/item?id=49061887 Points: 115 # Comments: 46
8:05 am, July 27, 2026 Hacker News
Scriptc by Vercel: TypeScript-to-Native compiler, no JavaScript engine in binary
Article URL: https://github.com/vercel-labs/scriptc Comments URL: https://news.ycombinator.com/item?id=49063175 Points: 139 # Comments: 67
8:05 am, July 27, 2026 Hacker News
EU Fines Google $1.02B for Favoring Its Own Services
Article URL: https://www.wsj.com/tech/google-fined-1-02-billion-under-eus-tech-antitrust-rules-7e8ae1fb Comments URL: https://news.ycombinator.com/item?id=49065498 Points: 58 # Comments: 40
8:05 am, July 27, 2026 Hacker News
Kimi-K3 Releases on HuggingFace 7/27
Article URL: https://huggingface.co/moonshotai/Kimi-K3 Comments URL: https://news.ycombinator.com/item?id=49065752 Points: 105 # Comments: 29
8:05 am, July 27, 2026 Hacker News
We have proof automation now
Article URL: https://www.imperialviolet.org/2026/07/26/zstd-lean.html Comments URL: https://news.ycombinator.com/item?id=49062291 Points: 73 # Comments: 10
2:05 am, July 27, 2026 Hacker News
AI Testing
