Hacker News

1.		NIST Ion Clock Sets New Record for Most Accurate Clock in the World (nist.gov)
		210 points by voxadam 6 hours ago \| hide \| 75 comments
2.		Show HN: Shoggoth Mini – A soft tentacle robot powered by GPT-4o and RL (matthieulc.com)
		267 points by cataPhil 6 hours ago \| hide \| 54 comments
3.		To be a better programmer, write little proofs in your head (the-nerve-blog.ghost.io)
		156 points by mprast 4 hours ago \| hide \| 70 comments
4.		Encrypting Files with Passkeys and Age (filippo.io)
		119 points by Bogdanp 3 hours ago \| hide \| 29 comments
5.		Hierarchical Modeling (H-Nets) (cartesia.ai)
		33 points by marviel 2 hours ago \| hide \| 9 comments
6.		Voxtral-Mini-3B-2507 – Open source speech understanding model (huggingface.co)
		56 points by thunderbong 3 hours ago \| hide \| 6 comments
7.		Reflections on OpenAI (calv.info)
		255 points by calvinfo 5 hours ago \| hide \| 144 comments
8.		Helix Editor 25.07 (helix-editor.com)
		194 points by matrixhelix 2 hours ago \| hide \| 71 comments
9.		Designing for the Eye: Optical Corrections in Architecture and Typography (nubero.ch)
		70 points by ArmageddonIt 4 hours ago \| hide \| 7 comments
10.		Show HN: Beyond Z²+C, Plot Any Fractal (juliascope.com)
		50 points by akunzler 3 hours ago \| hide \| 12 comments
11.		The Story of Mel, A Real Programmer, Annotated (1996) (utah.edu)
		15 points by fanf2 2 hours ago \| hide \| 1 comment
12.		Human Stigmergy: The world is my task list (aethermug.com)
		24 points by Petiver 2 hours ago \| hide \| 8 comments
13.		Hazel: A live functional programming environment with typed holes (github.com/hazelgrove)
		20 points by azhenley 2 hours ago \| hide \| 4 comments
14.		How Culture Is Made (metalabel.com)
		7 points by surprisetalk 1 hour ago \| hide \| discuss
15.		Petabit-class transmission over > 1000 km using standard 19-core optical fiber (nict.go.jp)
		65 points by the_arun 6 hours ago \| hide \| 26 comments
16.		CoinTracker (YC W18) is hiring to solve crypto taxes and accounting (remote)
		5 hours ago \| hide
17.		Underwriting Superintelligence (underwriting-superintelligence.com)
		24 points by brdd 2 hours ago \| hide \| 12 comments
18.		Lorem Gibson (loremgibson.com)
		71 points by DyslexicAtheist 6 hours ago \| hide \| 12 comments
19.		LLM Inevitabilism (tomrenner.com)
		1445 points by SwoopsFromAbove 17 hours ago \| hide \| 1355 comments
20.		Blender 4.5 LTS Released (blender.org)
		240 points by obdev 6 hours ago \| hide \| 71 comments
21.		What caused the 'baby boom'? What would it take to have another? (derekthompson.org)
		29 points by mmcclure 6 hours ago \| hide \| 130 comments
22.		o3 and Grok 4 accidentally vindicate neurosymbolic AI (garymarcus.substack.com)
		37 points by NotInOurNames 1 day ago \| hide \| 9 comments
23.		The FIPS 140-3 Go Cryptographic Module (go.dev)
		6 points by FiloSottile 1 hour ago \| hide \| discuss
24.		US Government announces $200M Grok contract a week after 'MechaHitler' (theverge.com)
		11 points by virgildotcodes 31 minutes ago \| hide \| 7 comments
25.		Most (ly Dead) Influential Programming Languages (2020) (hillelwayne.com)
		50 points by azhenley 6 hours ago \| hide \| 33 comments
26.		Where's Firefox Going Next? (connect.mozilla.org)
		14 points by ReadCarlBarks 56 minutes ago \| hide \| 3 comments
27.		Show HN: We made our own inference engine for Apple Silicon (github.com/trymirai)
		130 points by darkolorin 10 hours ago \| hide \| 36 comments
28.		KDE's official Roku/Android TV alternative is back from the dead (neowin.net)
		106 points by bundie 4 hours ago \| hide \| 29 comments
29.		Adding lookbehinds to rust-lang/regex (epfl.ch)
		74 points by emschwartz 6 hours ago \| hide \| 29 comments
30.		SCP-055 is an "antimeme" – it erases itself from memory when observed (wikidot.com)
		68 points by rcpt 7 hours ago \| hide \| 70 comments
		More