Idris, Agda, Proof Assistants, Type-Level Programming
How to use the Python builtin function list() to generate lists
codetheory.inยท2d
Can Private Investment Unlock a New Nuclear Energy Era ?
oilprice.comยท8h
Issue 729
iosdevweekly.comยท2d
AI Engineering and Evals as New Layers of Software Work
towardsdatascience.comยท2d
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 - #172, Apr 17th 2017
llvmweekly.orgยท3d
LLVM Weekly - #223, April 9th 2018
llvmweekly.orgยท3d
LLVM Weekly - #314, January 6th 2020
llvmweekly.orgยท3d
Loading...Loading more...