For a visual break from agent tooling, open bilawalsidhu/gods-eye-view in a browser. It puts public feeds such as aircraft, ships and earthquakes on one interactive 3D Earth, and following a single flight across the terrain is a good way to get a feel for geographic data. Keep in mind that the night vision and heatmap looks are visualization styles, not real sensor imagery.
If you have a system design interview coming up, liquidslr/system-design-notes turns Alex Xu’s two interview books into folders, one per problem, from back-of-the-envelope estimation to rate limiters, URL shorteners and payment systems. Work through one folder at a time and sketch each design yourself before reading the notes, which beats rereading the whole book the night before.
For something completely different, openai/NavierStokesAndEuler holds Lean 4 formalizations of OpenAI’s finite-time blowup results for the Navier-Stokes and Euler equations, in both the whole-space and periodic-torus cases. The statements line up with two scenarios named in the Clay Millennium Prize problem description, and you can build the project with Lake or check the proofs independently with Comparator.