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