Software

Verus is a tool for verifying the correctness of code written in Rust

Hacker News - Mon, 2026-04-20 22:42
Comments
Categories: Software

Tim Cook to become Apple Executive Chairman

Hacker News - Mon, 2026-04-20 22:39
Comments
Categories: Software

Tim Cook Stepping Down

Hacker News - Mon, 2026-04-20 22:35
Comments
Categories: Software

AI Resistance Is Growing

Hacker News - Mon, 2026-04-20 22:19
Comments
Categories: Software

F-35 is a masterpiece built for the wrong war

Hacker News - Mon, 2026-04-20 22:07
Comments
Categories: Software

Soul Player C64 – A real transformer running on a 1 MHz Commodore 64

Hacker News - Mon, 2026-04-20 21:51
Comments
Categories: Software

NASA had to train Apollo 11's astronauts to not use profanity

Hacker News - Mon, 2026-04-20 21:47
Comments
Categories: Software

Rumor: Anthropic is going to buy Atlassian?

Hacker News - Mon, 2026-04-20 21:24
Comments
Categories: Software

Anduril, Palantir and SpaceX are changing how America wages war

Hacker News - Mon, 2026-04-20 20:55
Comments
Categories: Software

We got 207 tok/s with Qwen3.5-27B on an RTX 3090

Hacker News - Mon, 2026-04-20 20:46
Comments
Categories: Software

Kimi vendor verifier – verify accuracy of inference providers

Hacker News - Mon, 2026-04-20 20:39
Comments
Categories: Software

Expansion Artifacts

Hacker News - Mon, 2026-04-20 20:38
Comments
Categories: Software

Changes to GitHub Copilot individual plans

Hacker News - Mon, 2026-04-20 20:24
Comments
Categories: Software

The Palantir's Stasi Protocols

Hacker News - Mon, 2026-04-20 20:01
Comments
Categories: Software

Anonymous credentials: an illustrated primer (Part 2)

Hacker News - Mon, 2026-04-20 19:58
Comments
Categories: Software

A History of Erasures Learning to Write Like Leylâ Erbil

Hacker News - Mon, 2026-04-20 19:39
Comments
Categories: Software

Highlights from Git 2.54

Hacker News - Mon, 2026-04-20 19:29
Comments
Categories: Software

At Long Last, InfoWars Is Ours

Hacker News - Mon, 2026-04-20 19:24
Comments
Categories: Software

At Long Last, InfoWars Is Ours

Hacker News - Mon, 2026-04-20 19:23
Comments
Categories: Software

Colorado River disappeared record for 5M years: now we know where it was

Hacker News - Mon, 2026-04-20 19:05
Comments
Categories: Software

Pages