Who Gives a S T About Cursing Robots? (spectrum.ieee.org)

9 points by dxs 2 days ago | 1 comment

211

Ask HN: Who is hiring? (June 2025)

367 points by whoishiring 4 days ago | 472 comments

212

A High-Level View of TLA+ (lamport.azurewebsites.net)

91 points by blobcode 7 days ago | 19 comments

213

Aspects to video generation that may not be fully appreciated (Andrej Karpathy) (twitter.com)

15 points by Michelangelo11 16 hours ago | 1 comment

214

Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (mongodb.com)

109 points by todsacerdoti 4 days ago | 63 comments

215

Advanced Time Manipulation with GDB (developers.redhat.com)

30 points by r4um 3 days ago | 0 comments

216

Who wrote the Bible? A pioneering new algorithm may shatter scholarly certitude (timesofisrael.com)

17 points by names_are_hard 21 hours ago | 3 comments

217

Photos taken inside musical instruments (dpreview.com)

1113 points by worik 7 days ago | 55 comments

218

A new Pitt study has upended decades-old assumptions about brain plasticity (pittwire.pitt.edu)

38 points by XzetaU8 2 days ago | 14 comments

219

The Shape of the Essay Field (paulgraham.com)

67 points by luisb 4 days ago | 43 comments

220

Preventing Flash of Incomplete Markdown when streaming AI responses (engineering.streak.com)

33 points by biot 2 days ago | 10 comments

221

Just 15 buyers are in charge of £14B in UK central government tech spending (theregister.com)

11 points by rntn 16 hours ago | 1 comment

222

The Visual World of 'Samurai Jack' (animationobsessive.substack.com)

517 points by ani_obsessive 5 days ago | 89 comments

223

Autopen Guide (astroautopens.com)

20 points by rolph 2 days ago | 4 comments

224

Nncp: Ad-hoc friend-to-friend delay-tolerant sneakernet-compatible darknet (nncpgo.org)

61 points by gasull 7 days ago | 13 comments

225

Bookish Diversions: Reading as Help for Living (millersbookreview.com)

34 points by ingve 7 days ago | 0 comments

226

HeidiSQL Available Also for Linux (heidisql.com)

169 points by Daril 9 days ago | 49 comments

227

Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)

60 points by Jtsummers 4 days ago | 20 comments

228

Show HN: Localize React apps without rewriting code (github.com)

87 points by maxpr 3 days ago | 71 comments

229

Infomaniak comes out in support of controversial Swiss encryption law (tomsguide.com)

182 points by BafS 17 hours ago | 97 comments

230

How to Read a Novel (adjacentpossible.substack.com)

38 points by ingve 7 days ago | 57 comments

231

Show HN: Controlling 3D models with voice and hand gestures (github.com)

97 points by getToTheChopin 4 days ago | 20 comments

232

Show HN: Verysmall.site – vibecode single page websites (verysmall.site)

27 points by sixhobbits 3 days ago | 14 comments

233

Every 5x5 Nonogram (pixelogic.app)

175 points by eieio 7 days ago | 84 comments

234

Vision Language Models Are Biased (vlmsarebiased.github.io)

173 points by taesiri 4 days ago | 140 comments

235

Standard Completions (standardcompletions.org)

40 points by todsacerdoti 7 days ago | 2 comments

236

Show HN: Open a browser by clapping twice (inspired by Iron Man) (github.com)

9 points by ponta17 2 days ago | 5 comments

237

New adaptive optics shows details of our star's atmosphere (nso.edu)

183 points by sohkamyung 6 days ago | 32 comments

238

A critical look at OpenBSD's installer (eerielinux.wordpress.com)

8 points by JdeBP 2 days ago | 4 comments

239

GUIs are built at least 2.5 times (patricia.no)

247 points by mpweiher 7 days ago | 147 comments

240

More...