Feed aggregator

Proving Liveness with TLA

Hacker News - Sat, 2026-01-03 02:15
Comments
Categories: Software

Representing Hierarchies

Hacker News - Sat, 2026-01-03 02:14
Comments
Categories: Software

Show HN: I used AI to recreate a $4000 piece of audio hardware as a plugin

Hacker News - Sat, 2026-01-03 02:08
Comments
Categories: Software

Blaze: A Dec VT420 (and More) Emulator

Hacker News - Sat, 2026-01-03 02:02
Comments
Categories: Software

Looking for Alice

Hacker News - Sat, 2026-01-03 01:50
Comments
Categories: Software

2026 will be my year of the Linux desktop

Hacker News - Sat, 2026-01-03 01:15
Comments
Categories: Software

Show HN: Website that plays the lottery every second

Hacker News - Sat, 2026-01-03 01:12
Comments
Categories: Software

Microsoft kills official way to activate Windows 11/10 without internet

Hacker News - Sat, 2026-01-03 01:01
Comments
Categories: Software

Building a rain predictor on a C64 with 1985's "XPER," expert system software

Hacker News - Sat, 2026-01-03 00:53
Comments
Categories: Software

The most friendless place on Earth

Hacker News - Sat, 2026-01-03 00:52
Comments
Categories: Software

The Agentic Self: Parallels Between AI and Self-Improvement

Hacker News - Sat, 2026-01-03 00:47
Comments
Categories: Software

How Dependabot Actually Works

Hacker News - Sat, 2026-01-03 00:44
Comments
Categories: Software

Residues: Time, Change and Uncertainty in Software Architecture [video]

Hacker News - Sat, 2026-01-03 00:36
Comments
Categories: Software

How HTML changes in ePub

Hacker News - Sat, 2026-01-03 00:11
Comments
Categories: Software

NY Fed cash transfers to banks increase dramatically in Q4 2025

Hacker News - Sat, 2026-01-03 00:01
Comments
Categories: Software

The Lottery Ticket Hypothesis: finding sparse trainable NNs with 90% less params

Hacker News - Fri, 2026-01-02 23:53
Comments
Categories: Software

Grok Sexual Images Draw Rebuke, France Flags Content as Illegal

Hacker News - Fri, 2026-01-02 23:35
Comments
Categories: Software

1M for Non-Specialists: Introduction

Hacker News - Fri, 2026-01-02 23:32
Comments
Categories: Software

Show HN: Open-source AI workflows with read-only auth scopes

Hacker News - Fri, 2026-01-02 23:16
Comments
Categories: Software

The creator of Claude Code's Claude setup

Hacker News - Fri, 2026-01-02 23:07
Comments
Categories: Software

Pages