Idris, Agda, Proof Assistants, Type-Level Programming
How to use the Python builtin function list() to generate lists
codetheory.inยท2d
mathematics of the impossible: Revision. Feedback welcome especially on chapters 1,2,3
emanueleviola.wordpress.comยท3d
Some etymologies about spiders
blog.preterit.meยท2d
Issue 729
iosdevweekly.comยท2d
MobileNetV2 Paper Walkthrough: The Smarter Tiny Giant
towardsdatascience.comยท1d
SpurBreast: A Curated Dataset for Investigating Spurious Correlations in Real-world Breast MRI Classification
arxiv.orgยท2d
Adapting Large Language Models to Mitigate Skin Tone Biases in Clinical Dermatology Tasks: A Mixed-Methods Study
arxiv.orgยท3d
LLVM Weekly - #223, April 9th 2018
llvmweekly.orgยท3d
LLVM Weekly - #206, December 11th 2017
llvmweekly.orgยท3d
LLVM Weekly - #314, January 6th 2020
llvmweekly.orgยท3d