Squash Types, Proposition Equality, Setoid Model, Type Theory
The Natural Endpoint of Trump’s Falsehoods
theatlantic.com·3h
A Novel Framework for Uncertainty Quantification via Proper Scores for Classification and Beyond
arxiv.org·21h
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·2d
Loading...Loading more...