2. All Lean Books and Where to Find Them (lakesare.brick.do)
Respecting traditions of the city I'm currently in
This could have been a classic "Awesome Lean" repo (like this), however I'd much prefer reading subjective o...
This could have been a classic "Awesome Lean" repo (like this), however I'd much prefer reading subjective o...
4. Show HN: Twixt – transform one word into another in four moves (twixt.games)
A free daily word puzzle. Transform the start word into the end word in four moves: anagram, verb, homophone, compound.
5. Buildcraft Is a Compiler Problem (mitander.xyz)
Support gems and weird item rules get easier when content compiles into runtime facts.
6. The C++ Standard Library Has Been Walking Itself Back for Fifteen Years (hftuniversity.com)
# The C++ standard library has been walking itself back for fifteen years, and the receipts are public Sandor Dargo's [post this month on `std::copyable_function`](https://www.sandordargo.com/blog/2026/05/20/cpp26-copyable-function) closes with a quick-reference table. Four call...
7. Show HN: Kanban CLI (A local-first, agent-first task manager for the terminal) (codeberg.org)
A local-first, agent-first CLI for software development workflows.
8. Show HN: A platform to find people to jam on side projects with (www.letsjam.live)
Find people to jam with on side projects.
11. The Worlds Left to Conquer (ludic.mataroa.blog)
13. Show HN: Local note engine uses LLM to organize notes into a knowledge graph (github.com)
Local note engine that uses LLM to build and evolve a knowledge graph - AlexWasHeree/NoteCast
14. No Juniors Today, No Seniors in 2031 (www.fbritoferreira.com)
Junior hiring is down 40%. AI gave boards the rationale to keep cutting. The apprenticeship lag is 5–7 years — no juniors today means no seniors in 2031.
15. The day my ping took countermeasures (blog.cloudflare.com)
Ping developers clearly put some thought into that. I wondered how far they went. Did they handle clock changes in both directions? Are the bad measurements excluded from the final statistics? How do they test the software?
16. When does learning from data work (math starting from basic probability) (prateekchandrajha.github.io)
17. Show HN: I turned my dev stack into an alien planet ruled by my dog (bkawa-bot.github.io)
strange agents, strange world. A local-first agent orchestrator where your AI agents are weird alien dogs that know a little too much.
18. Predicting the 2026 Bristol Bay and Kodiak Salmon Runs (www.salmonfinder.com)
Track Alaska salmon counts in real time. Download for iOS & Android.
21. NeuralNote (github.com)
Audio Plugin for Audio to MIDI transcription using deep learning. - DamRsn/NeuralNote
24. Did a British SMS Honeypot Discover Election Fraud in the US Midterms? (commsrisk.com)
26. Show HN: Play nbsdgames to increase your brain (exclamation mark) (github.com)
A package of 21 new, improved, text-based modern games. Some are entirely original ideas. Best and lightest! - abakh/nbsdgames
27. CBP updated its electronic device search directive in Jan 2026 (www.mayerbrown.com)
29. The Security of Ephemeral Pages (schalkneethling.com)
A walkthrough of the security vulnerabilities flagged by an AI agent skill review of Ephemeral Pages, and the mitigations put in place as a result.
30. Show HN: Replacing a 3.4MB video with 40kb of GSAP (spanthi.com)
How to build a scripted product walkthrough animation with GSAP: timeline architecture, cursor choreography, click feedback, scene transitions, and responsive scaling — no video files.