It's True: The Jaws Shark Is Public Domain

Show HN: Inspect and extract files from MSI installers directly in your browser

Wiki Radio: The thrilling sound of random Wikipedia

Phoenix.new – Remote AI Runtime for Phoenix

Visualizing environmental costs of war in Hayao Miyazaki's Nausicaä

Show HN: Nxtscape – an open-source agentic browser

Verified Dynamic Programming with Σ-types in Lean

Cracovians: The Twisted Twins of Matrices

Tuxracer.js play Tux Racer in the browser

Smartphones: Parts of Our Minds? Or Parasites?

Jürgen Schmidhuber：the Father of Generative AI Without Turing Award

Oklo, the Earth's Two-billion-year-old only Known Natural Nuclear Reactor (2018)

Libraries are under-used. LLMs make this problem worse

Alpha Centauri

A Python-first data lakehouse

Finding Peter Putnam

An analysis of recent multithreading improvements for a smoother game

Harper – an open-source alternative to Grammarly

Ancient termite poo reveals 120M-year-old secrets of Australia's forests

Show HN: SnapQL – Desktop app to query Postgres with AI

Klong: A Simple Array Language

A Brief, Incomplete, and Mostly Wrong History of Robotics

How to Design Programs 2nd Ed (2024)