FACTFLOW

Tech

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: 24 # Comments: 17

Tech

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: 30 # Comments: 3

Tech

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: 118 # Comments: 30

Tech

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 specification that pins down the surface of the resulting

Tech

What AI developers could learn from Charles Bukowski?

Article URL: https://galjot.si/what-ai-developers-could-learn-from-charles-bukowski Comments URL: https://news.ycombinator.com/item?id=49083132 Points: 20 # Comments: 18

Tech

Show HN: Segue – Save context in one AI, load it in another by a short handle

Article URL: https://segue.ai/ Comments URL: https://news.ycombinator.com/item?id=49082779 Points: 9 # Comments: 5

Tech

Mondragon Corporation – a federation of co-operatives

Article URL: https://en.wikipedia.org/wiki/Mondragon_Corporation Comments URL: https://news.ycombinator.com/item?id=49082695 Points: 81 # Comments: 8

Tech

Fast Remediation Is the New Trust Model (JFrog and OpenAI Zero-Day Findings)

Article URL: https://jfrog.com/blog/jfrog-and-openai-collaboration-on-zero-day-security-findings/ Comments URL: https://news.ycombinator.com/item?id=49082550 Points: 22 # Comments: 7

Tech

Kimi Linear: An Expressive, Efficient Attention Architecture

Article URL: https://arxiv.org/abs/2510.26692 Comments URL: https://news.ycombinator.com/item?id=49082022 Points: 55 # Comments: 9

Tech

Usenet Archive Toolkit – process Usenet messages into a searchable archive

Article URL: https://github.com/wolfpld/usenetarchive Comments URL: https://news.ycombinator.com/item?id=49081862 Points: 12 # Comments: 0

Tech

DMARC Has Been Public Since 2012. 68.4% of Domains Still Don't Enforce It

Article URL: https://ciphercue.com/blog/dmarc-enforcement-gap-rua-fragmentation-2026 Comments URL: https://news.ycombinator.com/item?id=49081783 Points: 42 # Comments: 28

Tech

Google's Beyond Zero: Enterprise Security for the AI Era

Article URL: https://spawn-queue.acm.org/doi/10.1145/3819083 Comments URL: https://news.ycombinator.com/item?id=49081644 Points: 27 # Comments: 13

Tech

Don't ask an LLM for a confidence score

Article URL: https://justinflick.com/2026/07/27/llm-confidence-scores.html Comments URL: https://news.ycombinator.com/item?id=49077443 Points: 52 # Comments: 8

Tech

What Even Are Microservices?

Article URL: https://var0.xyz/posts/what-even-are-microservices.html Comments URL: https://news.ycombinator.com/item?id=49081594 Points: 9 # Comments: 9

Tech

About the security content of macOS Tahoe 26.6

Article URL: https://support.apple.com/en-us/128067 Comments URL: https://news.ycombinator.com/item?id=49081555 Points: 13 # Comments: 7