-
121
Unraveling the mysteries of habit formation
(kyoto-u.ac.jp)
-
10
Stanford Online: CS329A Self-Improving AI Agents
(youtube.com)
-
113
But can your calculator run Linux?
(raymii.org)
-
13
As a Windows user, it's a surreal way to install a program
(unsung.aresluna.org)
-
7
Show HN: Korvo – Local-first AI workspace that traces answers to the source
(korvo.xyz)
-
16
Incus 7.3 adds easy GPU virtualization
(discuss.linuxcontainers.org)
-
278
Apple is getting this wrong
(openai.com)
-
10
Show HN: Listnr – macOS meeting transcription that never mixes mic and speakers
(github.com)
-
4
Building Community Out of Strangers
(tracydurnell.com)
-
332
Show HN: I'm a 15 Year Old Wannabe Engineer, This Is a Cycloidal Gearbox I Built
(github.com)
-
45
RFC 9851: TLS 1.2 is in Feature Freeze
(rfc-editor.org)
-
29
This Month in Ladybird – July 2026
(ladybird.org)
-
222
Is AI reasoning right for the wrong reasons?
(quantamagazine.org)
-
158
Show HN: I worked on a new browser for 2 years, today it passed Acid 3
(code.intellios.ai)
-
25
Scientists find clearing cholesterol from blood also removes forever chemicals
(independent.co.uk)
-
6
Why Estonians invite strangers into their back gardens each summer
(bbc.com)
-
109
Rust All Hands 2026 Retrospective
(blog.rust-lang.org)
-
4
Topological Horizon – Zero-allocation Rust engine for predictive telemetry
(github.com)
-
16
Convex raises a $57M Series B
(news.convex.dev)
-
4
Agents that narrate their work are the best team players – Jon Udell
(blog.jonudell.net)
-
14
A Civilian Plane Crashed in New Mexico. Was the Military's Tech to Blame?
(wired.com)
-
188
Increasing the lifespan of a bulb makes it worse in every other way
(maurycyz.com)
-
3
Configuring Port Mirroring and Suricata IDS Firewall on Proxmox VE
(blog.lyc8503.net)
-
5
How the 'fecal revolution' changed Earth's ecosystems
(phys.org)
-
580
Google fixed more Chrome bugs in June than over the past two years, thanks to AI
(blog.google)
-
166
Twenty Years of RISC OS Open
(riscosopen.org)
-
4
From One Seed to a Thousand Leaves – Merkle's Authentication Tree
(0xkrt26.github.io)
-
130
Linux on ESP32
(github.com)
-
70
Situational Awareness and the Impending Stock Market Volatility
(emergingtrajectories.com)
-
186
F*: A general-purpose proof-oriented programming language
(fstar-lang.org)