• Schemes in mathlib: Lean is a theorem prover; a piece of software that allows you to formalise mathematical objects and statements about them, whilst mathlib is a big library of such objects and results. And now schemes are a thing in Lean + mathlib! Many more things are also a thing in mathlib, but somehow the formalisation of schemes feels special.

  • Hunter Dinkins: Symplectic Duality of $\mathrm{T}^*\mathrm{Gr}(k,n)$ has a nice introduction to 3d mirror symmetry (or symplectic duaity), which made me have a small click when it comes to this subject. It might help you in getting a similar click (or maybe you are much deeper into this subject already).