Monthly Highlights
31081.
DayDeck: Visual task management dashboard for Obsidian
(community.obsidian.md)
31082.
Neurodiversity in Tech Slack
(nd-in-tech.org)
31083.
ProtoBot – A Robot That Grows with You
(microbots.io)
31084.
31085.
Iridis Alpha Theory
(iridisalpha.com)
31087.
Psychedelia syndrome: book-length exploration of the assembly code of the game
(psychedelia.homemade.systems)
31088.
The Discoverable Evidence of AI-Assisted Software Porting
(williamcotton.com)
31089.
Smart Stock Agent
(smartstockagent.com)
31090.
Learning games for the proof assistant Lean
(adam.math.hhu.de)
31091.
The Auditor's Opinion
(cringely.com)
31092.
Curry-Howard Correspondence – How proof assistants work [pdf]
(cklixx.people.wm.edu)
31093.
Dally – a privacy first – routine app
(apps.apple.com)
31094.
31095.
Cq: A Shared Knowledge Commons for AI Agents
(i-programmer.info)
31096.
A Statement from the CEO of Windscribe [June]
(xcancel.com)
31097.
31098.
Ace: Apple Type-C Port Controller Secrets – Part 1 (2020)
(web.archive.org)
31099.
Equilibrium Points in Dyson's Toy Cell Model
(chillphysicsenjoyer.substack.com)
31100.
Preview of Carbon's memory safety model
(hachyderm.io)
31101.
31102.
Reproducible Builds in June 2026
(reproducible-builds.org)
31103.
I let AI build a trading bot, then Reddit caught my overfitting mistake
(aiprojectlog.com)
31104.
Real-time on page diagnostics for Blazor developers
(blazrlytics.com)
31105.
Use caffeinate to keep Claude Code and Codex running on Mac
(narendravardi.com)
31106.
Async Hydration in Preact
(jovidecroock.com)
31107.
31108.
Plotting of and by Students
(leancrew.com)
31109.
Show HN: Makefile tutorial that runs make in the browser
(sandbox.bio)
31110.
Nostalgic Visual Novels Archive
(tss.asenheim.org)