Type-level Programming, Proof-carrying Code, Agda, Type Safety
7 Matplotlib Tricks to Better Visualize Your Machine Learning Models
machinelearningmastery.com·1d
On Accessibility Conformance, Design Systems, and CSS “Base” Units
css-tricks.com·1d
CoDAE: Adapting Large Language Models for Education via Chain-of-Thought Data Augmentation
arxiv.org·2d
Thoughts on creating a tracking pointer class, part 3: Using a std::vector
devblogs.microsoft.com·2d
Introducing Gemma 3 270M: The compact model for hyper-efficient AI
simonwillison.net·1d
Loading...Loading more...