July 2026 Archive
29971.
29972.
29973.
Learning games for the proof assistant Lean
(adam.math.hhu.de)
29974.
Dally – a privacy first – routine app
(apps.apple.com)
29976.
Show HN: PullCard – Pull your AI coding style as a holographic trading card
(pullcard.sakimyto.com)
29977.
29978.
TPU and GPU Clusters: The Anatomy of Collective Communication
(aleksagordic.com)
29979.
Cisco licenses iOS name to Apple, screenshot shows iWork on iPhone (2010)
(appleinsider.com)
29980.
6 months of OpenClaw
(notesbylex.com)
29981.
Ptolemaic and LLM Architecture Compared (In 3D)
(celestial-llm-mirror.vercel.app)
29982.
Show HN: Gomoku AI Edu – A Native macOS Gomoku Game with AI Opponent
(gomoku.w3cub.com)
29983.
29984.
Cell Just Changed Biology
(youtube.com)
29985.
Atto Primo Oh God Opera Song
(open.spotify.com)
29986.
Australia creates world-first Office of AI
(minister.industry.gov.au)
29987.
29988.
Yoman – A KDE Calendar Widget Inspired by Calendr
(github.com)
29991.
Failing is Common, Trying is Rare
(raptitude.com)
29993.
29994.
Traces vs. Spans in OpenTelemetry
(dash0.com)
29995.
29996.
Open Source: How to Popularize Your Project
(github.com)
29997.
Show HN: I'm a Robot
(castrio.me)
29998.
The Model Was Never the Hard Part
(srirupa19.github.io)
29999.
30000.
GeoSQL: Showing AI a map increased its accuracy by 4× (Korean)
(ideas.paasup.io)