Hacker News

AI will make formal verification go mainstream

alpr.watch

No Graphics API

Announcing the Beta release of ty

Midjourney is alemwjsl

GPT Image 1.5

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

Pricing Changes for GitHub Actions

Sei AI (YC W22) Is Hiring

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

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

Mozilla appoints new CEO Anthony Enzor-Demeo

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

Testing a cheaper laminar flow hood

Dafny: Verification-Aware Programming Language

Thin desires are eating life

Chat-tails: Throwback terminal chat, built on Tailscale

Japan to revise romanization rules for first time in 70 years

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

MIT professor shot at his Massachusetts home dies

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

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

The World Happiness Report is beset with methodological problems

Nvidia Nemotron 3 Family of Models

Show HN: Learn Japanese contextually while browsing

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

More than 100 rally against data centers at Michigan Capitol

Can I use HTTPS RRs?

Letta Code

FVWM-95 (2001)