Hacker News

91.		OpenSSH 10.4/10.4p1 Released (openssh.org)
		111 points by throw0101a 1 day ago \| hide \| 22 comments
92.		Learning to code is still worthwhile (stevekrouse.com)
		312 points by stevekrouse 1 day ago \| hide \| 302 comments
93.		Composing TLA+ Specifications with State Machines (hillelwayne.com)
		5 points by Jimmc414 9 hours ago \| hide \| discuss
94.		Fable 5 wrote a Windows kernel in 38 minutes (tolmo.com)
		8 points by adolfoabegg 10 hours ago \| hide \| 7 comments
95.		In Praise of Observational Evidence (asteriskmag.com)
		74 points by fi-le 1 day ago \| hide \| 38 comments
96.		New Research: A "Verified" GitHub Commit Is Not Unique (internationalcyberdigest.com)
		6 points by yogthos 10 hours ago \| hide \| discuss
97.		Better Auth is joining Vercel (better-auth.com)
		122 points by sync 16 hours ago \| hide \| 81 comments
98.		Chorus: A fast WAL for object storage (rockwotj.com)
		5 points by cbrewster 9 hours ago \| hide \| 4 comments
99.		JPMorgan, BofA and Others Explore Buying Card Network to Raise Debit-Card Fees (wsj.com)
		34 points by JumpCrisscross 10 hours ago \| hide \| 17 comments
100.		EU AI Act becomes applicable Aug 2: an engineering checklist (conformityengineering.com)
		4 points by stevalsoto 9 hours ago \| hide \| discuss
101.		Introduction to Genomics for Engineers (learngenomics.dev)
		266 points by yreg 2 days ago \| hide \| 42 comments
102.		Clojure 1.13 adds support for checked keys (clojure.org)
		219 points by FelipeCortez 1 day ago \| hide \| 47 comments
103.		Redis Patterns for Coding Agents (antirez.com)
		7 points by Jimmc414 9 hours ago \| hide \| discuss
104.		Rotman Lens (wikipedia.org)
		136 points by thomasjb 1 day ago \| hide \| 45 comments
105.		Kani: A Model Checker for Rust (arxiv.org)
		160 points by Jimmc414 1 day ago \| hide \| 9 comments
106.		Waymo reports teen riders for bad behavior and delivers them to the police (latimes.com)
		46 points by pilingual 10 hours ago \| hide \| 12 comments
107.		Amazon without the knockoffs (knockoff.shopping)
		313 points by plurby 16 hours ago \| hide \| 243 comments
108.		Januscape: Guest-to-Host Escape in KVM/x86 [CVE-2026-53359] (github.com/v4bel)
		137 points by Imustaskforhelp 1 day ago \| hide \| 58 comments
109.		Inkfield (inkfield.studio)
		62 points by surprisetalk 1 day ago \| hide \| 19 comments
110.		Men's average testosterone levels have halved in last 50 years (theguardian.com)
		63 points by samizdis 11 hours ago \| hide \| 63 comments
111.		GLM 5.2 and the coming AI margin collapse (martinalderson.com)
		669 points by martinald 1 day ago \| hide \| 454 comments
112.		Demystifying the Red Zone: Optimizing Leaf Functions (zlnv.ch)
		14 points by zlnvch 17 hours ago \| hide \| discuss
113.		Resetting Xbox (xbox.com)
		728 points by dijksterhuis 1 day ago \| hide \| 906 comments
114.		Muse Image: Image Generation Built for Your World (fb.com)
		15 points by senade 13 hours ago \| hide \| 5 comments
115.		A global workspace in language models (anthropic.com)
		450 points by in-silico 1 day ago \| hide \| 192 comments
116.		But Nothing Has Changed on Our Side (acm.org)
		49 points by adunk 17 hours ago \| hide \| 13 comments
117.		Ask HN: Is GitHub preparing to go behind a login wall?
		47 points by reconnecting 13 hours ago \| hide \| 33 comments
118.		Microsoft 365 Copilot adoption is under 4.5%, only 1% use it weekly (windowslatest.com)
		23 points by pier25 10 hours ago \| hide \| 14 comments
119.		Half of Americans struggle to afford groceries and gas, exclusive poll finds (theguardian.com)
		14 points by rawgabbit 4 hours ago \| hide \| 5 comments
120.		Rejected Emoji Proposals (charlottebuff.com)
		6 points by gaws 10 hours ago \| hide \| 1 comment
		More