Monthly Highlights
3001.
3002.
3003.
3004.
3005.
3006.
A Critical Look at Lean4 (lesswrong.com)
3007.
In Memory of Deno (orgsoft.org)
3008.
3009.
3010.
3011.
3012.
3013.
3014.
3015.
3016.
3017.
3018.
3019.
3020.
3021.
3022.
3023.
3024.
3025.
3026.
3027.
3028.
3029.
AI Safety Is Not a Corporate Plot (astralcodexten.com)
3030.