Software

Show HN: Rulebook AI – rules and memory manager for AI coding IDEs

Hacker News - Wed, 2025-06-18 02:56
Comments
Categories: Software

Show HN: Tiny Hoare logic verifier using SMT

Hacker News - Wed, 2025-06-18 02:49
Comments
Categories: Software

Dinesh's Mid-Summer Death Valley Walk (1998)

Hacker News - Wed, 2025-06-18 01:56
Comments
Categories: Software

How to use Prometheus to efficiently detect anomalies at scale

Hacker News - Wed, 2025-06-18 00:50
Comments
Categories: Software

He '70s Performance Artist Who Became a Hero to 'Garbage Men'

Hacker News - Wed, 2025-06-18 00:24
Comments
Categories: Software

A Python-first data lakehouse

Hacker News - Wed, 2025-06-18 00:22
Comments
Categories: Software

Bots are overwhelming websites with their hunger for AI data

Hacker News - Tue, 2025-06-17 23:26
Comments
Categories: Software

The Right Chemistry: How Jean Harlow became a 'platinum blond' (2020)

Hacker News - Tue, 2025-06-17 23:22
Comments
Categories: Software

Apple: Prepare your network for quantum-secure encryption in TLS

Hacker News - Tue, 2025-06-17 23:03
Comments
Categories: Software

Foundry (YC F24) Hiring Early Engineer to Build Web Agent Infrastructure

Hacker News - Tue, 2025-06-17 23:00
Comments
Categories: Software

Captain Cook's missing ship found after sinking 250 years ago

Hacker News - Tue, 2025-06-17 22:46
Comments
Categories: Software

The Grug Brained Developer

Hacker News - Tue, 2025-06-17 22:24
Comments
Categories: Software

AI will shrink Amazon's workforce in the coming years, CEO Jassy says

Hacker News - Tue, 2025-06-17 22:24
Comments
Categories: Software

Bzip2 crate switches from C to 100% rust

Hacker News - Tue, 2025-06-17 22:06
Comments
Categories: Software

An analysis of recent multithreading improvements for a smoother game

Hacker News - Tue, 2025-06-17 21:56
Comments
Categories: Software

Painting with Math: A Gentle Study of Raymarching

Hacker News - Tue, 2025-06-17 21:52
Comments
Categories: Software

Texas electricity maximum renewables record

Hacker News - Tue, 2025-06-17 21:40
Comments
Categories: Software

Real-time action chunking with large models

Hacker News - Tue, 2025-06-17 21:39
Comments
Categories: Software

Reworking Memory Management in CRuby [pdf]

Hacker News - Tue, 2025-06-17 21:37
Comments
Categories: Software

What Google Translate Can Tell Us About Vibecoding

Hacker News - Tue, 2025-06-17 21:23
Comments
Categories: Software

Pages