Squash Types, Proposition Equality, Setoid Model, Type Theory
Academic Philosophy - My quixotic quest
notes.billmill.org·1d
Song recommendations with F# free monads
blog.ploeh.dk·23h
busy beaver function
ncatlab.org·2d
Claude Code's 19 cent Parser
blogger.com·18h
A critique of philosophical objectivity
lapcatsoftware.com·16h
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·17h
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·3h
Loading...Loading more...