Hacker News

1.		AI will make formal verification go mainstream (kleppmann.com)
		535 points by evankhoury 10 hours ago \| hide \| 267 comments
2.		alpr.watch (alpr.watch)
		726 points by theamk 14 hours ago \| hide \| 353 comments
3.		No Graphics API (sebastianaaltonen.com)
		561 points by ryandrake 12 hours ago \| hide \| 101 comments
4.		Announcing the Beta release of ty (astral.sh)
		494 points by gavide 10 hours ago \| hide \| 90 comments
5.		VA Linux: The biggest dotcom IPO (homeip.net)
		43 points by giuliomagnifico 3 hours ago \| hide \| 10 comments
6.		Annual Production of 1/72 (22mm) scale plastic soldiers, 1958-2025 (plasticsoldierreview.com)
		18 points by YeGoblynQueenne 1 hour ago \| hide \| 5 comments
7.		Subsets (YC S23) is hiring engineers in Copenhagen, Denmark (workatastartup.com)
		33 minutes ago \| hide
8.		GPT Image 1.5 (openai.com)
		407 points by charlierguo 13 hours ago \| hide \| 191 comments
9.		No AI* Here – A Response to Mozilla's Next Chapter (waterfox.com)
		259 points by MrAlex94 9 hours ago \| hide \| 140 comments
10.		Pricing Changes for GitHub Actions (resources.github.com)
		600 points by kevin-david 14 hours ago \| hide \| 665 comments
11.		Introduction to Software Development Tooling (2024) (bernsteinbear.com)
		65 points by vismit2000 6 hours ago \| hide \| 4 comments
12.		Mozilla appoints new CEO Anthony Enzor-Demeo (blog.mozilla.org)
		481 points by recvonline 17 hours ago \| hide \| 734 comments
13.		40 percent of fMRI signals do not correspond to actual brain activity (tum.de)
		429 points by geox 17 hours ago \| hide \| 179 comments
14.		Thin desires are eating life (joanwestenberg.com)
		435 points by mitchbob 12 hours ago \| hide \| 171 comments
15.		A Guide to Magnetizing N48 Magnets in Ansys Maxwell (ozeninc.com)
		19 points by peter_d_sherman 3 hours ago \| hide \| 1 comment
16.		Show HN: Titan – JavaScript-first framework that compiles into a Rust server (npmjs.com)
		24 points by soham_byte 4 hours ago \| hide \| 12 comments
17.		I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
		138 points by pbowyer 8 hours ago \| hide \| 85 comments
18.		Various locale mismatch scenarios in Windows clipboard text format synthesis (devblogs.microsoft.com/oldnewthing)
		8 points by ibobev 2 hours ago \| hide \| 2 comments
19.		Dafny: Verification-Aware Programming Language (dafny.org)
		65 points by handfuloflight 8 hours ago \| hide \| 24 comments
20.		Japan to revise romanization rules for first time in 70 years (japantimes.co.jp)
		175 points by rgovostes 13 hours ago \| hide \| 143 comments
21.		Show HN: Learn Japanese contextually while browsing (lingoku.ai)
		61 points by englishcat 6 hours ago \| hide \| 28 comments
22.		Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) (gamehistory.org)
		247 points by wicket 18 hours ago \| hide \| 39 comments
23.		Testing a cheaper laminar flow hood (chillphysicsenjoyer.substack.com)
		32 points by surprisetalk 6 hours ago \| hide \| 7 comments
24.		Nvidia Nemotron 3 Family of Models (nvidia.com)
		184 points by ewt-nv 16 hours ago \| hide \| 32 comments
25.		The World Happiness Report is beset with methodological problems (yaschamounk.substack.com)
		111 points by thatoneengineer 13 hours ago \| hide \| 132 comments
26.		Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
		106 points by tempodox 12 hours ago \| hide \| 64 comments
27.		FTX insider Caroline Ellison has been moved out of prison (businessinsider.com)
		40 points by harambae 2 hours ago \| hide \| 10 comments
28.		Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
		79 points by nulbyte 10 hours ago \| hide \| 13 comments
29.		Show HN: Sqlit – A lazygit-style TUI for SQL databases (github.com/maxteabag)
		134 points by MaxTeabag 15 hours ago \| hide \| 19 comments
30.		Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola (arstechnica.com)
		14 points by PaulHoule 5 hours ago \| hide \| 4 comments
		More