Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance
A bunch of readings and a new book on Bayesian meta-analysis
statmodeling.stat.columbia.edu·1d
Rivulets of Life
dothemath.ucsd.edu·1d
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·15h
D3FL: Data Distribution and Detrending for Robust Federated Learning in Non-linear Time-series Data
arxiv.org·16h
Loading...Loading more...