Hacker News

Subscribe to Hacker News feed
Links for the intellectually curious, ranked by readers.
URL: https://news.ycombinator.com/
Updated: 1 min 23 sec ago

More than 100 rally against data centers at Michigan Capitol

Wed, 2025-12-17 00:27
Comments
Categories: Software

Dafny: Verification-Aware Programming Language

Tue, 2025-12-16 23:50
Comments
Categories: Software

I Ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in 4.5h

Tue, 2025-12-16 23:48
Comments
Categories: Software

TRELLIS.2: state-of-the-art large 3D generative model (4B)

Tue, 2025-12-16 23:09
Comments
Categories: Software

No AI* Here – A Response to Mozilla's Next Chapter

Tue, 2025-12-16 23:07
Comments
Categories: Software

MIT professor shot at his Massachusetts home dies

Tue, 2025-12-16 22:52
Comments
Categories: Software

A centennial look back at Edward Gorey's macabre art and guarded life

Tue, 2025-12-16 22:37
Comments
Categories: Software

I Program on the Subway

Tue, 2025-12-16 22:23
Comments
Categories: Software

Reverse-Engineering the RK3588 NPU: Hacking Limits to Run Vision Transformers

Tue, 2025-12-16 22:18
Comments
Categories: Software

Chat-tails: Throwback terminal chat, built on Tailscale

Tue, 2025-12-16 22:16
Comments
Categories: Software

Prediction: AI will make formal verification go mainstream

Tue, 2025-12-16 22:14
Comments
Categories: Software

Texas is suing all of the big TV makers for spying on what you watch

Tue, 2025-12-16 22:04
Comments
Categories: Software

Show HN: Deterministic PCIe Diagnostics for GPUs on Linux

Tue, 2025-12-16 22:03
Comments
Categories: Software

Ty: A fast Python type checker and LSP

Tue, 2025-12-16 21:52
Comments
Categories: Software

Letta Code

Tue, 2025-12-16 21:51
Comments
Categories: Software

Linux computer designed with AI boots on first attempt

Tue, 2025-12-16 21:50
Comments
Categories: Software

Show HN: Stop AI scrapers from hammering your self-hosted blog

Tue, 2025-12-16 21:42
Comments
Categories: Software

Our New Sam Audio Model Transforms Audio Editing

Tue, 2025-12-16 21:25
Comments
Categories: Software

Show HN: I built a fast RSS reader in Zig

Tue, 2025-12-16 20:55
Comments
Categories: Software

No Graphics API

Tue, 2025-12-16 20:20
Comments
Categories: Software

Pages