A DOLCE Decision Diagram as Web app (or: an attempt at vibe coding) 0 keet.wordpress.com · 2d · discuss
What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI 0 terrytao.wordpress.com · 2d · discuss ·
The tension between a fear of being abandoned and also not wanting to be seen so corporate data gathering doesn't really get you 0 angrybunnyman.com · 2d · discuss
You can now tell telemarkers to get lost officially in South Africa 0 gadgeteer.co.za · 2d · discuss ·