Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·35m
FLINT: Fast Library for Number Theory
flintlib.org·10h
busy beaver function
ncatlab.org·2d
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·14h
Mini-Review: The Life and Times of the Cubic-Solving Guy
daveagp.wordpress.com·1h
Generating C functions and prototypes using macros – part 2
subethasoftware.com·3h
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
Loading...Loading more...