Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem
7 hours ago (github.com)
Excel now supports multiple values in a single cell
1 day ago (techcommunity.microsoft.com)
New Satellite Engine Could Use Earth's Atmosphere to Stay in Orbit Indefinitely
9 hours ago (scitechdaily.com)
First Principles Thinking
1 day ago (sunilsadasivan.com)
Lab on a Contact Lens Can Measure Stress Through Serotonin
1 day ago (spectrum.ieee.org)
Show HN: A Claude Code skill to analyze your chess games
8 hours ago (github.com)
Fourier Analysis: Drawing Llamas with Circles
2 days ago (adekau.github.io)
U.S. appeals court upholds designation of Anthropic as supply chain risk
1 day ago (cnbc.com)
My brother's new high rise apartment doesn't allow individual internet services
5 hours ago (reddit.com)
A new world airport and its baggage
3 days ago (computer.rip)
From Thin Air to Bootable Images: The Tine Build System
2 days ago (amutable.com)
AI Data Center Are Monkey Business [video]
2 hours ago (youtube.com)
I wrote a ray tracer in Brainfuck
2 days ago (epestr.com)
Microsoft abandons personal AI chatbot race with Copilot reboot
1 day ago (bloomberg.com)
Remembering Johannes Doerfert
2 days ago (blog.llvm.org)
What even is an OS now?
1 day ago (sockpuppet.org)
Banks and Credit Unions to Team Up Against Apple Pay Fees
8 hours ago (macrumors.com)
Newly Discovered Neo Asteroid 2026 SA8 Close but Safe Approach
7 hours ago (astrophyzix.com)
Show HN: Hacker Atlas - A map of what Hacker News talks about
1 day ago (hackeratlas.com)
Postgres SELECT DISTINCT Does Not Scale
2 days ago (dbos.dev)
Gravity seems holographic. What does that mean for reality?
1 day ago (quantamagazine.org)
Platform-independent SIMD in Go
2 days ago (go.dev)
One Piece of Flock Camera Data Put This Innocent Woman in Jail for 13 Days
1 day ago (jezebel.com)
The far side of the Moon provides clues to a previous magnetic field
16 hours ago (ethz.ch)
What happens when you analyze your favorite college football team like the CIA?
1 day ago (cultivatelabs.com)
Neomacs: GPU rendered Rust hard fork of Emacs
8 hours ago (github.com)
Git-bug: Distributed, offline-first bug tracker embedded in Git
2 days ago (github.com)
Boards of Casio
2 days ago (ambionix.com)
Entering and Breaking the Avast Antivirus Sandbox Part 2
2 days ago (safateam.com)
Washington Heights Man Cleans One NYC Block a Day for 100 Days,Neighbors Join In
7 hours ago (hoodline.com)