← Back to news
H

Hacker News

OpenAI’s Navier-Stokes release included a Lean 4 formal proof

H

Show HN: Bodily Oddities

H

Proof of Capture: Apple Reference Image, but open source and using steganography

H

OpenAI Agents API

H

The Deathray: A simple way for an untrusted site to freeze a Mac

H

Creativity is the new moat

H

Show HN: Two small Chrome extensions for Hebrew text and dates

H

The Magic Behind Cubacadabra

H

JEP 544: Ahead-of-Time Code Compilation

H

Detecting and countering misuse of AI: September 2026

H

Music Theory for the 21st-Century Classroom

H

Anthropic Says It Blocked Possible Efforts to Build Biological Weapons

H

Cognition's SWE-2 achieves 92.8 on Terminal-Bench 2.1

H

Native Python and TypeScript Drivers for ArcadeDB, from OpenAPI and Protobuf

H

I have a theory that software drives people insane

H

One resignation turned the embers of AI fear into a wildfire

H

Detailed report on the use of solar geoengineering

H

Forgejo <=16.0.3 Critical RCE

H

Casablanca: How an unproduced play marched into movie history

H

Serverless DTLS

H

Show HN: MultiMatte, a Promptable Image Background Removal Model

H

Neki is sharded Postgres by PlanetScale

H

Silicon Valley is transforming the military-industrial complex? (2024)

H

Neki – Sharded Postgres

H

LG denies TV spying claims, says tracking and snooping concerns 'not true'

H

Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra

H

Technique for Manipulating Satellite Photos Now Reveals Ancient Images (2025)

H

NASA Color Trick Was Meant for Mars. Now It's Unveiling Rock Art on Earth

H

Don't let anyone take away your big box of cables

H

Galaxy Z Fold 8 get the same folding animation as iPhone Duo

H

Show HN: Syq – copy files between machines fast (better than rsync)

H

The Four-Color Theorem Gets a Rare New Proof

H

Show HN: See Sounds on Your Webcam

H

AI 2027 (2025)

H

Movie Review: Musk

H

Amazon pilots ad services in ChatGPT

H

Show HN: I couldn't afford interview prep, so I built a free alternative

H

Shopify is moving from React Native back to Swift and Kotlin

H

Who Dung It? (Turdle.fun)

H

Bending Spoons buying Miro for $1.355B

H

Tell HN: OpenAI keeps re-enabling the 'allow training' setting

H

Rust is tier-1 language at Microsoft

H

LRU is harder to beat than the KV-cache papers suggest

H

Another researcher says OpenAI trained on conversations, then claimed breakthrou

H

The Feminist Was a Spy

H

Who People Talk to When They're Struggling

H

Designing for Dual Screen and Foldable Devices with CSS (2023)

H

List of references on Sony websites to players "owning" their digital games

H

Mathematicians want proof OpenAI didn't use their work

H

Thanks to Siri Recaps, your Apple Watch is always listening

H