Software

Coris (YC S22) Is Hiring

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

Game math: precise control over numeric springing

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

Show HN: PlutoPrint – Generate Beautiful PDFs and PNGs from HTML with Python

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

Arrays in Practice (2024)

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

Claim: GPT-5-pro can prove new interesting mathematics

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

Introduction to Bluesky's AT Protocol

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

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

Pages