Hacker News

Prediction: AI will make formal verification go mainstream

alpr.watch

No Graphics API

GPT Image 1.5

MIT professor shot at his Massachusetts home dies

Ty: A fast Python type checker and LSP

40 percent of fMRI signals do not correspond to actual brain activity

Mozilla appoints new CEO Anthony Enzor-Demeo

Thin desires are eating life

The World Happiness Report is beset with methodological problems

Writing a blatant Telegram clone using Qt, QML and Rust. And C++

Chat-tails: Throwback terminal chat, built on Tailscale

Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)

GitHub will begin charging for self-hosted action runners on March 2026

Nvidia Nemotron 3 Family of Models

Show HN: Sqlit – A lazygit-style TUI for SQL databases

Letta Code

Creating custom yellow handshake emojis with zero-width joiners

Rust GCC back end: Why and how

Show HN: Deterministic PCIe Diagnostics for GPUs on Linux

The Beauty of Dissonance

How geometry is fundamental for chess

30 Years of Tags

Pizlix: Memory Safe Linux from Scratch

Vibe coding creates fatigue?

Purrtran – ᓚᘏᗢ – A Programming Language for Cat People

Full Unicode Search at 50× ICU Speed with AVX‑512

Confuse some SSH bots and make botters block you

Pricing Changes for GitHub Actions

Context: Odin’s Most Misunderstood Feature