Idris, Agda, Proof Assistants, Type-Level Programming
Kobold Krew 2 - Back to Basics
jasonhpickering.itch.ioยท9h
Meet Mira Murati, the 36-year-old tech prodigy who shot to fame at OpenAI and now runs a startup thatโs a poaching target for Mark Zuckerberg
fortune.comยท46m
Diffusion Transformers for Imputation: Statistical Efficiency and Uncertainty Quantification
arxiv.orgยท6h
TabText: Language-Based Representations of Tabular Health Data for Predictive Modelling
arxiv.orgยท3d
LLVM Weekly - #328, Apr 13th 2020
llvmweekly.orgยท1d
LLVM Weekly - #156, Dec 26th 2016
llvmweekly.orgยท1d
Loading...Loading more...