Hacker News on Tuesday, 15 July 2025

LLM Inevitabilism(tomrenner.com)

1607 points by SwoopsFromAbove 1 year ago | 1502 comments

Blog post by Tom Renner titled "The sound of inevitability" arguing against framing widespread LLM adoption as inevitable.

Reflections on OpenAI(calv.info)

697 points by calvinfo 1 year ago | 380 comments

Calvin French-Owen's blog post reflecting on the culture of working at OpenAI after leaving the company, where he worked from May 2024.

Show HN: Shoggoth Mini – A soft tentacle robot powered by GPT-4o and RL(matthieulc.com)

563 points by cataPhil 1 year ago | 104 comments

Blog post by Matthieu Le Cauchois presenting Shoggoth Mini, a soft tentacle robot controlled using GPT-4o and reinforcement learning.

To be a better programmer, write little proofs in your head(the-nerve-blog.ghost.io)

414 points by mprast 1 year ago | 154 comments

Blog post by Matthew Prast on the Nerve blog arguing that programmers write better code by informally proving correctness in their heads as they work.

NIST ion clock sets new record for most accurate clock(nist.gov)

337 points by voxadam 1 year ago | 118 comments

NIST news release announcing its aluminum ion clock set a record as the world's most accurate atomic clock, measuring time to the 19th decimal place.

Ask HN: Is it time to fork HN into AI/LLM and "Everything else/other?"

337 points by bookofjoe 1 year ago | 255 comments

Ask HN discussion thread proposing splitting Hacker News into AI/LLM content and everything else due to perceived AI topic dominance.

Where's Firefox going next?(connect.mozilla.org)

294 points by ReadCarlBarks 1 year ago | 447 comments

Blender 4.5 LTS(blender.org)

283 points by obdev 1 year ago | 83 comments

Helix Editor 25.07(helix-editor.com)

274 points by matrixhelix 1 year ago | 111 comments

GPUHammer: Rowhammer attacks on GPU memories are practical(gpuhammer.com)

260 points by jonbaer 1 year ago | 89 comments

My Family and the Flood(texasmonthly.com)

234 points by herbertl 1 year ago | 83 comments

The new literalism plaguing today’s movies(newyorker.com)

203 points by frogulis 1 year ago | 367 comments

OpenAI – vulnerability responsible disclosure(requilence.any.org)

198 points by requilence 1 year ago | 57 comments

Cloudflare starts blocking pirate sites for UK users(torrentfreak.com)

191 points by gloxkiqcza 1 year ago | 205 comments

Trying Guix: A Nixer's impressions(tazj.in)

190 points by todsacerdoti 1 year ago | 66 comments

Designing for the Eye: Optical corrections in architecture and typography(nubero.ch)

181 points by ArmageddonIt 1 year ago | 25 comments

The FIPS 140-3 Go Cryptographic Module(go.dev)

177 points by FiloSottile 1 year ago | 62 comments

Plasma Bigscreen rises from the dead with a better UI(neowin.net)

169 points by bundie 1 year ago | 63 comments

Show HN: We made our own inference engine for Apple Silicon(github.com)

145 points by darkolorin 1 year ago | 42 comments

Inside the box: Everything I did with an Arduino starter kit(lopespm.com)

143 points by lopespm 1 year ago | 39 comments

Claude for Financial Services(anthropic.com)

135 points by mildlyhostileux 1 year ago | 75 comments

Code highlighting extension for Cursor AI used for $500k theft(securelist.com)

132 points by Daviey 1 year ago | 118 comments

Claude Code Unleashed(ymichael.com)

128 points by ymichael 1 year ago | 92 comments

Mira Murati’s AI startup Thinking Machines valued at $12B in early-stage funding(reuters.com)

127 points by spenvo 1 year ago | 162 comments

Encrypting Files with Passkeys and Age(words.filippo.io)

122 points by Bogdanp 1 year ago | 29 comments

Doge Denizen Marko Elez Leaked API Key for XAI(krebsonsecurity.com)

113 points by todsacerdoti 1 year ago | 37 comments

How I lost my backpack with passports and laptop(psychotechnology.substack.com)

110 points by eatitraw 1 year ago | 100 comments

Voxtral – Frontier open source speech understanding models(mistral.ai)

104 points by meetpateltech 1 year ago | 23 comments

A Rust shaped hole(mnvr.in)

103 points by vishnumohandas 1 year ago | 241 comments

A 1960s schools experiment that created a new alphabet(theguardian.com)

101 points by Hooke 1 year ago | 114 comments

AWS Lambda Silent Crash – A Platform Failure, Not an Application Bug [pdf](lyons-den.com)

100 points by nonfamous 1 year ago | 80 comments

What were the earliest laws like?(worldhistory.substack.com)

98 points by crescit_eundo 1 year ago | 44 comments

When Sigterm Does Nothing: A Postgres Mystery(clickhouse.com)

93 points by saisrirampur 1 year ago | 26 comments

Inspect ANSI control codes and escape sequences(ansi.tools)

92 points by webpro 1 year ago | 46 comments

A look at IBM's short-lived "butterfly" ThinkPad 701 of 1995(fastcompany.com)

88 points by vontzy 1 year ago | 32 comments

Show HN: Beyond Z²+C, Plot Any Fractal(juliascope.com)

83 points by akunzler 1 year ago | 24 comments

Hierarchical Modeling (H-Nets)(cartesia.ai)

78 points by lukebechtel 1 year ago | 19 comments

C++: Zero-cost static initialization(cofault.com)

75 points by oecumena 1 year ago | 35 comments

Adding lookbehinds to rust-lang/regex(systemf.epfl.ch)

74 points by emschwartz 1 year ago | 29 comments

TCP-in-UDP Solution (eBPF)(blog.mptcp.dev)

71 points by todsacerdoti 1 year ago | 16 comments

DIY Telescope Mods That Transformed My Astrophotography(youtube.com)

70 points by karlperera 1 year ago | 16 comments

Unlike ChatGPT, Anthropic has doubled down on Artifacts(ben-mini.com)

68 points by bewal416 1 year ago | 23 comments

A Little-Known Microsoft Program Could Expose the Defense Department to Hackers(propublica.org)

67 points by danso 1 year ago | 26 comments

Meta shareholders look to haul CEO Mark Zuckerberg, Sheryl Sandberg to court(nypost.com)

65 points by 1vuio0pswjnm7 1 year ago | 56 comments

Show HN: CallFS – S3-style object store in one Go binary (MIT)(github.com)

63 points by ebogdum 1 year ago | 23 comments

What the Internet Was Like in 1998(cybercultural.com)

61 points by herbertl 1 year ago | 38 comments

Piano Keys(mathpages.com)

60 points by gametorch 1 year ago | 59 comments

When is tech not hype? Tulips, toilets, trains and tabs(ajmoon.com)

60 points by alex-moon 1 year ago | 47 comments

C++ Coroutines Advanced: Converting std:future to asio:awaitable(ddhigh.com)

58 points by xialeistudio 1 year ago | 29 comments

What caused the 'baby boom'? What would it take to have another?(derekthompson.org)

58 points by mmcclure 1 year ago | 387 comments

What's going on with gene therapies?(nehalslearnings.substack.com)

56 points by nehal96 1 year ago | 47 comments

HathiTrust Digital Library(hathitrust.org)

55 points by djoldman 1 year ago | 17 comments

Hazel: A live functional programming environment with typed holes(github.com)

54 points by azhenley 1 year ago | 11 comments

Voxtral-Mini-3B-2507 – Open source speech understanding model(huggingface.co)

53 points by thunderbong 1 year ago | 6 comments

RisingWave: An Open‑Source Stream‑Processing and Management Platform(github.com)

52 points by Sheldon_fun 1 year ago | 7 comments

How to Get Foreign Keys Horribly Wrong(hakibenita.com)

50 points by Bogdanp 1 year ago | 24 comments

15 Years of Building Jefit(jefit.com)

47 points by jasong 1 year ago | 29 comments

A CarFax for Used PCs: Hewlett Packard wants to give old laptops new life(spectrum.ieee.org)

44 points by miles 1 year ago | 39 comments

Ask HN: What's Your Useful Local LLM Stack?

43 points by Olshansky 1 year ago | 22 comments

The IRS Is Building a System to Share Taxpayers' Data with ICE(propublica.org)

42 points by srameshc 1 year ago | 22 comments