A DOLCE Decision Diagram as Web app (or: an attempt at vibe coding) 0 keet.wordpress.com · 28d · discuss
What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI 0 terrytao.wordpress.com · 28d · discuss ·
You can now tell telemarkers to get lost officially in South Africa 0 gadgeteer.co.za · 28d · discuss ·
Fun with low-rank vocab matrices (and a bonus test loss reduction?) 0 www.gilesthomas.com · 28d · discuss ·