Combinatory Logic, Church Encoding, Beta Reduction, Type Theory
The Case for Pascal, 55 Years On
hackaday.com·47m
Fast and Scalable Mixed Precision Euclidean Distance Calculations Using GPU Tensor Cores
arxiv.org·1d
Time's arrow => decision theory
lesswrong.com·20h
Adaptive generative moment matching networks for improved learning of dependence structures
arxiv.org·1d
Loading...Loading more...