Same-day upstream Linux support for Snapdragon 8 Elite Gen 5
qualcomm.com
Physicists drive antihydrogen breakthrough at CERN
phys.org
Tell HN: Happy Thanksgiving
Penpot: The Open-Source Figma
github.com
Pakistan says rooftop solar output to exceed grid demand in some hubs next year
reuters.com
Inspired by Spider-Man, scientists recreate web-slinging technology
scienceclock.com
Show HN: Runprompt – run .prompt files from the command line
github.com
The input stack on Linux: An end-to-end architecture overview
venam.net
The VanDersarl Blériot: a 1911 airplane homebuilt by teenage brothers
historynet.com
DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf]
github.com
TPUs vs. GPUs and why Google is positioned to win AI race in the long term
uncoveralpha.com
Coq: The World's Best Macro Assembler? (2013) [pdf]
nickbenton.name
Cherry gives up German production and wants to sell core division
heise.de
AI CEO – Replace your boss before they replace you
replaceyourboss.ai
The current state of the theory that GPL propagates to AI models
shujisado.org
Ray Marching Soft Shadows in 2D (2020)
rykap.com
Show HN: MkSlides – Markdown to slides with a similar workflow to MkDocs
github.com
It's cool, but I genuinely cannot fathom why they are targeting natural language proofs instead of a proof assistant.