Alexander Mikhailian

Hacker News

Links for the intellectually curious, ranked by readers.

URL: https://news.ycombinator.com/

Updated: 20 sec ago

Arrays in Practice (2024)

Wed, 2025-08-20 21:58

Categories: Software

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

Wed, 2025-08-20 21:42

Categories: Software

Introduction to Bluesky's AT Protocol

Wed, 2025-08-20 21:13

Categories: Software

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

Wed, 2025-08-20 20:59

Categories: Software

Zed fork focused on privacy and being local-first

Wed, 2025-08-20 20:47

Categories: Software

How Can AI ID a Cat? An Illustrated Guide

Wed, 2025-08-20 20:36

Categories: Software

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

Wed, 2025-08-20 20:31

Categories: Software

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

Wed, 2025-08-20 20:27

Categories: Software

Lean proof of Fermat's Last Theorem [pdf]

Wed, 2025-08-20 20:27

Categories: Software

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

Wed, 2025-08-20 20:12

Categories: Software

Zed for Windows: What's Taking So Long?

Wed, 2025-08-20 19:56

Categories: Software

Show HN: Bizcardz.ai – Custom metal business cards

Wed, 2025-08-20 19:54

Categories: Software

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

Wed, 2025-08-20 19:52

Categories: Software

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

Wed, 2025-08-20 19:50

Categories: Software

Pixel 10 Phones

Wed, 2025-08-20 19:24

Categories: Software

An Update on Pytype

Wed, 2025-08-20 19:04

Categories: Software

Debugging Behind the Iron Curtain (2010)

Wed, 2025-08-20 18:53

Categories: Software

Crash Cows

Wed, 2025-08-20 18:53

Categories: Software

Digg.com Is Back

Wed, 2025-08-20 18:35

Categories: Software

Best Options for Using AI in Chip Design

Wed, 2025-08-20 18:29

Categories: Software

Pages