31.
Is Mozilla trying hard to kill itself?(infosec.press)
▲ 838 points734 comments
32.
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours(simonwillison.net)
▲ 251 points132 comments
33.
TLA+ Modeling Tips(muratbuffalo.blogspot.com)
▲ 112 points29 comments
34.
AI will make formal verification go mainstream(martin.kleppmann.com)
▲ 794 points405 comments
35.
alpr.watch(alpr.watch)
▲ 886 points434 comments
36.
AI's real superpower: consuming, not creating(msanroman.io)
▲ 211 points157 comments
37.
The State of AI Coding Report 2025(greptile.com)
▲ 85 points89 comments
38.
I couldn't find a logging library that worked for my library, so I made one(hackers.pub)
▲ 26 points33 comments
39.
Modern SID chip substitutes [video](youtube.com)
▲ 59 points9 comments
40.
Japan to revise romanization rules for first time in 70 years(japantimes.co.jp)
▲ 258 points215 comments
41.
Announcing the Beta release of ty(astral.sh)
▲ 822 points154 comments
42.
No Graphics API(sebastianaaltonen.com)
▲ 807 points159 comments
43.
AI Isn't Just Spying on You. It's Tricking You into Spending More(newrepublic.com)
▲ 78 points54 comments
44.
The US govt has revoked the non-immigrant visa of Nobel laureate Wole Soyinka [video](youtube.com)
▲ 34 points5 comments
45.
US admits liability in helicopter collision with American jet that killed 67(cnbc.com)
▲ 12 points1 comment
46.
Introduction to Software Development Tooling (2024)(bernsteinbear.com)
▲ 111 points21 comments
47.
The World Happiness Report is beset with methodological problems(yaschamounk.substack.com)
▲ 161 points198 comments
48.
VRChat: “There are more Japanese creators than all other countries combined”(twitter.com)
▲ 70 points50 comments
49.
Nvidia Nemotron 3 Family of Models(research.nvidia.com)
▲ 242 points52 comments
50.
Semiquincentennial $1 Coin Candidate Designs(usmint.gov)
▲ 11 points7 comments
51.
UNC System President Peter Hans confirms all syllabuses will be public records(dailytarheel.com)
▲ 12 points2 comments
52.
No AI* Here – A Response to Mozilla's Next Chapter(waterfox.com)
▲ 529 points296 comments
53.
GitHub postponing the announced billing change for self-hosted GitHub Actions(twitter.com)
▲ 56 points14 comments
54.
Pricing Changes for GitHub Actions(resources.github.com)
▲ 778 points803 comments
55.
GPT Image 1.5(openai.com)
▲ 511 points246 comments
56.
Show HN: Sqlit – A lazygit-style TUI for SQL databases(github.com)
▲ 167 points39 comments
57.
Dafny: Verification-Aware Programming Language(dafny.org)
▲ 99 points31 comments
58.
AI capability isn't humanness(research.roundtable.ai)
▲ 46 points50 comments
59.
30 years of <br> tags(artmann.co)
▲ 209 points93 comments
60.
OpenAI Is Maneuvering for a Government Bailout(prospect.org)
▲ 13 points5 comments
← previous pagenext page →