Posts Symbols and the real 2026-06-07 Principled testing 2026-02-15 Proof clarity 2025-12-25 CUDA ontology 2025-11-15 Distribution anti-patterns 2025-09-27 Research progress 2025-06-07 Premature intervention 2025-06-01Tools xiv arXiv CLI