July 2025 Archive
31231.
Commentary: AI Reasoning on IMO(International Math Olympiad)
(jonaskgomo.com)
31232.
Setup GitHub Copilot with Vim (2024)
(kevin-haas.com)
31233.
What if we're thinking about AGI all wrong?
(kaystoner.substack.com)
31234.
Monad Acquires Tarsal
(monad.com)
31235.
31236.
Show HN: I Built ChatGPT into Microsoft Outlook
(usescrutiny.com)
31237.
31238.
I can easily make an MCP server out of almost anything
(mattsayar.com)
31239.
HTML Day 2025: NYC
(html.energy)
31240.
31241.
31242.
31243.
Build, Learn, Delete, Repeat
(ymichael.com)
31245.
Swift and C++ Interoperability in Practice
(arturgruchala.com)
31246.
Show HN: Open-source Android root and mod toolkit
(github.com)
31247.
Mentoring junior engineers in the age of coding agents
(blog.marcua.net)
31248.
Show HN: ExpoLaunch – A full-featured Expo starter for mobile apps
(expolaunch.dev)
31249.
Show HN: I made a simple offline licensing system with JWTs
(keyforge.dev)
31250.
Show HN: AI Technical Discovery for Non-Tech Founders
(varstatt.com)
31251.
The Force: A Star Wars themed programming language
(github.com)
31252.
Show HN: InnerSight – A journaling app with therapist mode and photo uploads
(innersightjournal.com)
31254.
Microsoft Response Point PBX System [video]
(youtube.com)
31255.
Meta Deal Cuts Short Landmark Test of Corporate Oversight Law
(news.bloomberglaw.com)
31256.
Browse the web in Markdown using an HTML->Markdown language model
(leidnedya.github.io)
31258.
GoogleDeepMind announces official IMO Gold
(twitter.com)
31260.
Venice – Private and Uncensored AI
(venice.ai)