Feed aggregator

Show HN: Tool shows UK properties matching group commute/time preferences

Hacker News - Wed, 2025-08-20 20:59
Comments
Categories: Software

Zed fork focused on privacy and being local-first

Hacker News - Wed, 2025-08-20 20:47
Comments
Categories: Software

How Can AI ID a Cat? An Illustrated Guide

Hacker News - Wed, 2025-08-20 20:36
Comments
Categories: Software

Taking a look at my old Palm IIIx – by Paul Lefebvre

Hacker News - Wed, 2025-08-20 20:31
Comments
Categories: Software

Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover

Hacker News - Wed, 2025-08-20 20:27
Comments
Categories: Software

Lean proof of Fermat's Last Theorem [pdf]

Hacker News - Wed, 2025-08-20 20:27
Comments
Categories: Software

Say farewell to the AI bubble, and get ready for the crash

Hacker News - Wed, 2025-08-20 20:12
Comments
Categories: Software

Zed for Windows: What's Taking So Long?

Hacker News - Wed, 2025-08-20 19:56
Comments
Categories: Software

Show HN: Bizcardz.ai – Custom metal business cards

Hacker News - Wed, 2025-08-20 19:54
Comments
Categories: Software

The theory and practice of selling the Aga cooker (1935) [pdf]

Hacker News - Wed, 2025-08-20 19:52
Comments
Categories: Software

Show HN: Nestable.dev – local whiteboard app with nestable canvases, deep links

Hacker News - Wed, 2025-08-20 19:50
Comments
Categories: Software

Pixel 10 Phones

Hacker News - Wed, 2025-08-20 19:24
Comments
Categories: Software

An Update on Pytype

Hacker News - Wed, 2025-08-20 19:04
Comments
Categories: Software

Debugging Behind the Iron Curtain (2010)

Hacker News - Wed, 2025-08-20 18:53
Comments
Categories: Software

Crash Cows

Hacker News - Wed, 2025-08-20 18:53
Comments
Categories: Software

Digg.com Is Back

Hacker News - Wed, 2025-08-20 18:35
Comments
Categories: Software

Best Options for Using AI in Chip Design

Hacker News - Wed, 2025-08-20 18:29
Comments
Categories: Software

Phone Searches at the US Border Hit a Record High

Hacker News - Wed, 2025-08-20 18:19
Comments
Categories: Software

Show HN: Anchor Relay – A faster, easier way to get Let's Encrypt certificates

Hacker News - Wed, 2025-08-20 18:13
Comments
Categories: Software

Show HN: Luminal – Open-source, search-based GPU compiler

Hacker News - Wed, 2025-08-20 18:01
Comments
Categories: Software

Pages