"Why not just use Lean?"
IT 2026-04-27

The Woes of Sanitizing SVGs
IT 2026-04-27

4TB of voice samples just stolen from 40k AI contractors at Mercor
IT 2026-04-27

Pgbackrest is no longer being maintained
IT 2026-04-27

Show HN: OSS Agent I built topped the TerminalBench on Gemini-3-flash-preview
IT 2026-04-27

Fully Featured Audio DSP Firmware for the Raspberry Pi Pico
IT 2026-04-25

It's OK to abandon your side-project
IT 2026-04-27

Flipdiscs
IT 2026-04-23

Self-updating screenshots
IT 2026-04-26

TurboQuant: A First-Principles Walkthrough
IT 2026-04-27

The Prompt API
IT 2026-04-27

Three constraints before I build anything
IT 2026-04-25

I bought Friendster for $30k – Here's what I'm doing with it
IT 2026-04-26

Fast16: High-precision software sabotage 5 years before Stuxnet
IT 2026-04-26

Sawe becomes first athlete to run a sub-two-hour marathon in a competitive race
IT 2026-04-26

Two Athletes Break Sub-2-HR Marathon in Adizero Adios Pro Evo 3
IT 2026-04-26

Box to Save Memory in Rust
IT 2026-04-23

GoDaddy Gave a Domain to a Stranger Without Any Documentation
IT 2026-04-26

A.I. is creating engineers who can't think without it
IT 2026-04-26

Dillo Browser Release 3.3.0
IT 2026-04-26

An AI agent deleted our production database. The agent's confession is below
IT 2026-04-26

Asahi Linux Progress Linux 7.0
IT 2026-04-26

Clay PCB Tutorial
IT 2026-04-26

Why SWE-bench Verified no longer measures frontier coding capabilities
IT 2026-04-26

The Nintendo Switch Switch (2019)
IT 2026-04-24

Statecharts: hierarchical state machines
IT 2026-04-26

I spent 6 years building my Kanban as I hated how managers run the boards
IT 2026-04-23

The West Forgot How to Make Things. Now It's Forgetting How to Code
IT 2026-04-26

Tell HN: An app is silently installing itself on my iPhone every day
IT 2026-04-26

Amateur armed with ChatGPT solves an Erdős problem
IT 2026-04-25