Sequential Programming Models, Linear Processing, Magnetic Computation, Storage Abstractions
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·5h
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·19h
Programmable k-local Ising Machines and all-optical Kolmogorov-Arnold Networks on Photonic Platforms
arxiv.org·5h
Loading...Loading more...