Hacker News

AI will make formal verification go mainstream

alpr.watch

No Graphics API

Announcing the Beta release of ty

No AI* Here – A Response to Mozilla's Next Chapter

Midjourney is alemwjsl

GPT Image 1.5

Pricing Changes for GitHub Actions

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours

CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)

Sei AI (YC W22) Is Hiring

Why many Asian megacities are miserable places

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

More than 100 rally against data centers at Michigan Capitol

Mozilla appoints new CEO Anthony Enzor-Demeo

Testing a cheaper laminar flow hood

Dafny: Verification-Aware Programming Language

Thin desires are eating life

Japan to revise romanization rules for first time in 70 years

Locked out: How a gift card purchase destroyed an Apple account

Show HN: Learn Japanese contextually while browsing

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

The World Happiness Report is beset with methodological problems

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

Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents

Nvidia Nemotron 3 Family of Models

Meta's new A.I. superstars are chafing against the rest of the company

Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola

Tesla Robotaxis in Austin Crash 12.5x More Frequently Than Humans

Chat-tails: Throwback terminal chat, built on Tailscale