← Back to news
H

Hacker News

Gap in Mochizuki's proof of ABC confirmed by Lean

H

NYC may require landlords and realtors to disclose the use of AI in listings

H

AI Mania Is Eviscerating Global Decision-Making

H

Real-Time LuaTeX: Recompiling Large Documents in 1ms [pdf]

H

Judge a book by its first pages

H

Classic Amiga titles, free to download

H

Hardcore IndieWeb: Run your own website 100% independently for only $0.01/day

H

UnifiedIR for Julia

H

Co-evolution of self-replication and function in a digital primordial soup

H

Ada: An AI business intelligence software from CSV and Excel(yes LLMs but more)

H

SpaceX and the myth of independent Wall St research

H

Typing Speed Test, but for Developers

H

What's the deal with all the random weekly quota resets for agents lately?

H

REO Trucks I4 4WD Pickup Truck Starts at $21,500

H

Show HN: Get alerts for good seats at 70mm IMAX showings of The Odyssey

H

The Kimi K3 Moment

H

Goodbye, and Thanks for All the Bikesheds

H

OpenEvidence is bribing spouses of CMI and Genentech leadership

H

Heresy

H

Young adults are poor despite every metric which suggests otherwise

H

Setting up your spare Mac for Claude Code to control, a step-by-step guide

H

Fake food delivery site for the dopamine

H

Frozen 2 should be Rated R

H

No link between acetaminophen use during pregnancy and adverse birth outcomes

H

Our Approach to Bioresilience: Isomorphic Labs and Google DeepMind

H

Gleam Is Now on Tangled

H

The Fermi Paradox, Percolation, and Inbreeding

H

If You Build It, They Will Come

H

Elixir-lang.org has a new design

H

Traders are increasingly betting against SpaceX just weeks after IPO

H

Show HN: Q3Edit – Edit and play Quake 3 maps in the browser

H

British runner Josh Kerr breaks world record for mile which stood for 27 years

H

LG ThinQ Terms of Use

H

EU ban on destruction of unsold clothes and shoes enters into application

H

GPT-5.6 used a prompt to close a 30-year gap in convex optimization

H

What AI did to stackoverflow in a graph

H

Why do AI company logos look like buttholes? (2025)

H

Fable 5 vs. GPT-5.6 Sol on an NP-Hard Problem: Does /goal help?

H

Steam Machine: Between 12k and 15k Units Sold per week

H

LG monitors silently install software through Windows Update without consent

H

Qubes OS Security in the Public Record

H

The Computer at the Bottom of a Canal

H

Show HN: Find someone in the dark – light them or light yourself? (Three.js)

H

Mac gaming is finally getting the overpowered upgrade it deserves

H

Show HN: IKEA Complexity Index

H

Regressive JPEGs

H

Algorithm for NP-Complete Sudoku

H

Moonstone: Modern, cross-platform Lua runtime and package manager written in Zig

H

I started a “dirt notebook”

H

DrDroid (YC W23) Is Hiring

H