Monthly Highlights
23341.
23342.
Formalizing Julia in Lean (discourse.julialang.org)
23343.
23344.
23345.
23346.
23347.
23348.
Remembering the Thread (madeleinedore.substack.com)
23349.
23350.
23351.
23352.
23353.
23354.
23355.
23356.
23357.
23358.
23359.
23360.
23361.
23362.
23363.
23364.
23365.
23366.
A historical timeline of Show HN (worldintimelines.com)
23367.
23368.
23369.
23370.