LearnVector – Andrew Ng's AI company building one‑to‑one learning experiences(learnvector.ai)ajhai772h42
Show HN: I was tired of opening 2 tabs for every HN link, so I made a userscript(github.com)twalichiewicz1856h57
Show HN: Manim (3Blue1Brown's animation engine) in the browser via WebGPU(studio.academa.ai)sinaatalay364h14
Show HN: XY – A Fast, composable, GPU-accelerated interactive plotting library(github.com)apetuskey11712h43
Anthropeum – Where in the world, and when, does this human artifact belong?(anthropeum.com)bookofjoe15213h46
DMARC has been public since 2012 but most company domains still don't enforce it(ciphercue.com)adulion17818h110
Industry Brief: Private 5G for Manufacturing and Industrial Sites [pdf](framerusercontent.com)y2so83h2
Stop Killing the Internet: No Digital ID and No Age Verification(citizens-initiative.europa.eu)doener54113h193
Harmony Explained: Progress Towards a Scientific Theory of Music (2012)(arxiv.org)surprisetalk9713h88
Underwater oxygen loss threatens earth's stability, researchers warn(scripps.ucsd.edu)littlexsparkee1396h78
An introduction to formal proof verification and the Curry-Howard Correspondence(max-amb.github.io)max-amb244d3
A $500 RL fine-tune of a 9B open model beat frontier models on catalog review(fermisense.com)ilreb3111d120
A walk through of the DeltaNet family of linear attention variants(blog.doubleword.ai)AnhTho_FR28612h116
Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code(github.com)permute10815h47