Hacker News

1.		AI will make formal verification go mainstream (kleppmann.com)
		429 points by evankhoury 7 hours ago \| hide \| 208 comments
2.		alpr.watch (alpr.watch)
		683 points by theamk 12 hours ago \| hide \| 338 comments
3.		No Graphics API (sebastianaaltonen.com)
		488 points by ryandrake 9 hours ago \| hide \| 89 comments
4.		Announcing the Beta release of ty (astral.sh)
		405 points by gavide 8 hours ago \| hide \| 80 comments
5.		Midjourney is alemwjsl (aadillpickle.com)
		130 points by aadillpickle 6 hours ago \| hide \| 45 comments
6.		GPT Image 1.5 (openai.com)
		364 points by charlierguo 10 hours ago \| hide \| 182 comments
7.		Pricing Changes for GitHub Actions (resources.github.com)
		548 points by kevin-david 11 hours ago \| hide \| 626 comments
8.		CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024) (bernsteinbear.com)
		38 points by vismit2000 3 hours ago \| hide \| 4 comments
9.		I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
		100 points by pbowyer 6 hours ago \| hide \| 57 comments
10.		No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
		174 points by MrAlex94 6 hours ago \| hide \| 112 comments
11.		40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
		415 points by geox 15 hours ago \| hide \| 178 comments
12.		Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
		454 points by recvonline 15 hours ago \| hide \| 711 comments
13.		Tesla Robotaxis in Austin Crash 12.5x More Frequently Than Humans (electrek.co)
		89 points by hjouneau 2 hours ago \| hide \| 45 comments
14.		Sei AI (YC W22) Is Hiring (ycombinator.com)
		3 hours ago \| hide
15.		Show HN: Titan – JavaScript-first framework that compiles into a Rust server (npmjs.com)
		11 points by soham_byte 2 hours ago \| hide \| 6 comments
16.		Thin desires are eating life (joanwestenberg.com)
		378 points by mitchbob 10 hours ago \| hide \| 149 comments
17.		Dafny: Verification-Aware Programming Language (dafny.org)
		40 points by handfuloflight 6 hours ago \| hide \| 21 comments
18.		Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
		145 points by rgovostes 10 hours ago \| hide \| 127 comments
19.		Testing a cheaper laminar flow hood (chillphysicsenjoyer.substack.com)
		24 points by surprisetalk 4 hours ago \| hide \| 5 comments
20.		VA Linux: The biggest dotcom IPO (homeip.net)
		3 points by giuliomagnifico 1 hour ago \| hide \| discuss
21.		Show HN: Learn Japanese contextually while browsing (lingoku.ai)
		36 points by englishcat 4 hours ago \| hide \| 17 comments
22.		Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
		233 points by wicket 15 hours ago \| hide \| 38 comments
23.		The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
		96 points by thatoneengineer 10 hours ago \| hide \| 116 comments
24.		Nvidia Nemotron 3 Family of Models (nvidia.com)
		163 points by ewt-nv 13 hours ago \| hide \| 30 comments
25.		Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
		95 points by tempodox 9 hours ago \| hide \| 54 comments
26.		Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
		66 points by nulbyte 7 hours ago \| hide \| 12 comments
27.		Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola (arstechnica.com)
		8 points by PaulHoule 3 hours ago \| hide \| 3 comments
28.		Locked out: How a gift card purchase destroyed an Apple account (appleinsider.com)
		61 points by nonfamous 2 hours ago \| hide \| 27 comments
29.		Meta's new A.I. superstars are chafing against the rest of the company (nytimes.com)
		83 points by furcyd 9 hours ago \| hide \| 113 comments
30.		Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com/maxteabag)
		126 points by MaxTeabag 12 hours ago \| hide \| 18 comments
		More