Top stories for one week

Show HN: Every site gives a different P/E ratio, so I open-sourced the math

An LLM verifier rated math proofs near-perfect; an expert found 17% correct

Soumitra Dutta – Technology, Innovation and Global Policy

Optimus Cirrus

Stop the bloatware in modern Linux. Noctalia V5 and labwc and dinit [video]

Increasing Photon Upconversion Efficiency with Structural Exciton Localization

A Charter School Spent $500k on AI-Powered Humanoid Robots. Was It Worth It?

Show HN: OmniCore – A neural engine for multimodal NPC agency (Beta)

Following a USPS smishing kit through censys DNS data

Daily Stock Analysis

OpenAI Mulls Delaying IPO Until 2027

Pliny the Younger's Letters About the Eruption of Vesuvius

Reading AI Model Compilation in MLIR Through the Lens of Formal Theories

AI in research: we need to stop treating every AI-related issue as misconduct

How the DeepMind mafia brought the AI boom to London

Trump administration asks OpenAI to stagger release of new model

4chan dating app is FOSS

A Survey on Lawvere's Fixed-Point Theorem (2025)

Facebook/Astryx

Ludwig Spec Driven Development MCP

233 234 235 236 237 238 239 240 241 242