Dependent Types, Linear Types, Effect Systems, Hindley-Milner
Simplicity
extranapkins.club·1d
Sonali Dev, Fantasy, & More
smartbitchestrashybooks.com·30m
Briefly Noted
newyorker.com·6h
Generating Structured Outputs from LLMs
towardsdatascience.com·2d
Gödel's Incompleteness Theorem - Computerphile
youtube.com·4d
SQUID G.A.M.E.: Gamma, Atmospheric, and Mono-Energetic Neutron Effects on Quantum Devices
arxiv.org·12h
mxmlnkn/rapidgzip rapidgzip-v0.15.0
github.com·20h
Loading...Loading more...