NIST Ion Clock Sets New Record for Most Accurate Clock in the World (nist.gov)

200 points by voxadam 5h ago 67 comments

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

257 points by cataPhil 5h ago 51 comments

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

147 points by mprast 4h ago 66 comments

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

112 points by Bogdanp 3h ago 28 comments

LLM Inevitabilism (tomrenner.com)

1436 points by SwoopsFromAbove 17h ago 1342 comments

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

25 points by marviel 2h ago 8 comments

Helix Editor 25.07 (helix-editor.com)

166 points by matrixhelix 2h ago 59 comments

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

45 points by akunzler 3h ago 12 comments

Designing for the Eye: Optical Corrections in Architecture and Typography (nubero.ch)

65 points by ArmageddonIt 3h ago 5 comments

Reflections on OpenAI (calv.info)

238 points by calvinfo 4h ago 134 comments

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

16 points by azhenley 2h ago 2 comments

Human Stigmergy: The world is my task list (aethermug.com)

17 points by Petiver 2h ago 6 comments

Underwriting Superintelligence (underwriting-superintelligence.com)

18 points by brdd 2h ago 7 comments

Petabit-class transmission over > 1000 km using standard 19-core optical fiber (nict.go.jp)

62 points by the_arun 2d ago 22 comments

CoinTracker (YC W18) is hiring to solve crypto taxes and accounting (remote)

1 points by chanfest22 4h ago 0 comments

Lorem Gibson (loremgibson.com)

61 points by DyslexicAtheist 2d ago 12 comments

Blender 4.5 LTS Released (blender.org)

232 points by obdev 6h ago 70 comments

Most (ly Dead) Influential Programming Languages (2020) (hillelwayne.com)

48 points by azhenley 3d ago 27 comments

o3 and Grok 4 accidentally vindicate neurosymbolic AI (garymarcus.substack.com)

32 points by NotInOurNames 2d ago 8 comments

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

73 points by emschwartz 5h ago 28 comments

Apple's MLX adding CUDA support (github.com)

523 points by nsagent 23h ago 181 comments

KDE's official Roku/Android TV alternative is back from the dead (neowin.net)

103 points by bundie 4h ago 27 comments

Mel, Annotated (users.cs.utah.edu)

8 points by fanf2 3d ago 0 comments

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

125 points by darkolorin 10h ago 36 comments

A quick look at unprivileged sandboxing (uninformativ.de)

34 points by zdw 2d ago 10 comments

Literalism plaguing today’s movies (newyorker.com)

190 points by frogulis 17h ago 335 comments

LIGO detects most massive black hole merger to date (caltech.edu)

349 points by Eduard 1d ago 184 comments

Mistralai/Voxtral-Mini-3B-2507 · Hugging Face (huggingface.co)

48 points by thunderbong 3h ago 6 comments

Cognition (Devin AI) to Acquire Windsurf (cognition.ai)

487 points by alazsengul 1d ago 406 comments

VHS, VCDs, and Laserdiscs in Southeast Asia (rubenerd.com)

85 points by mikece 4d ago 48 comments

Where's Firefox Going Next? (connect.mozilla.org)

6 points by ReadCarlBarks 32m ago 0 comments

Show HN: I built this to talk Danish to my girlfriend – works with any language (menerdu.vercel.app)

160 points by lil_csom 2d ago 90 comments

Protecting my attention at the dopamine carnival (amirsharif.com)

150 points by overload119 21h ago 118 comments

Random selection is necessary to create stable meritocratic institutions (assemblingamerica.substack.com)

334 points by namlem 1d ago 287 comments

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

364 points by bookofjoe 6h ago 284 comments

"English Translators of Homer": A Review (whatisthequestion.wordpress.com)

27 points by johngossman 3d ago 20 comments

SQLite async connection pool for high-performance (github.com)

186 points by slaily 4d ago 77 comments

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

102 points by saisrirampur 16h ago 29 comments

Show HN: Bedrock – An 8-bit computing system for running programs anywhere (benbridle.com)

204 points by benbridle 4d ago 48 comments

Micro Adventure – Space Attack (online emulator) (auri-microadventure.azurewebsites.net)

18 points by AlexeyBrin 2d ago 4 comments

Context Rot: How increasing input tokens impacts LLM performance (research.trychroma.com)

236 points by kellyhongsn 1d ago 58 comments

Work Requirements – An Ineffective Policy (nominalnews.com)

12 points by MPLan 2h ago 1 comments

Win, lose, or draw: trends in English football match results (blog.engora.com)

33 points by Vermin2000 4d ago 36 comments

Study finds AI tools made open source software developers 19 percent slower (arstechnica.com)

12 points by samizdis 2h ago 1 comments

Developer angry that App Store is removing game that hasn't been updated in 7 yr (appleinsider.com)

25 points by ksec 3h ago 12 comments

Kiro: A new agentic IDE (kiro.dev)

988 points by QuinnyPig 1d ago 419 comments

How the Deep Sea Cables That Power the World Are Made (nytimes.com)

8 points by bookofjoe 2h ago 1 comments

Transition to using 16 KB page sizes for Android apps and games (android-developers.googleblog.com)

87 points by ingve 4d ago 61 comments

NeuralOS: An operating system powered by neural networks (neural-os.com)

195 points by yuntian 1d ago 51 comments

Santa Ragione says Apple is delisting Wheels of Aurelia 'without justification' (gamedeveloper.com)

23 points by saubeidl 4h ago 17 comments

Reddit starts verifying ages of users in the UK

8 rwmj 1 7/15/2025, 7:10:59 AM bbc.co.uk ↗

Comments (1)

chrisjj · 13h ago

> Persona will perform age verification for the social media platform either through an uploaded selfie or "a photo of your government ID"

s/your government ID/someone's government ID/