Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism
Double Maths First Thing: Issue 2F
aperiodical.com·1d
What’s the purpose of a theorem? (Hint: It’s not what you think.)
statmodeling.stat.columbia.edu·5d
Keeping Article Demos Alive When Third-Party APIs Die
css-tricks.com·1d
Automated Identification of Sexual Orientation and Gender Identity Discriminatory Texts from Issue Comments
arxiv.org·3d
RRTO: A High-Performance Transparent Offloading System for Model Inference in Mobile Edge Computing
arxiv.org·2d
Text2VLM: Adapting Text-Only Datasets to Evaluate Alignment Training in Visual Language Models
arxiv.org·3d
VizGenie: Toward Self-Refining, Domain-Aware Workflows for Next-Generation Scientific Visualization
arxiv.org·2d
Loading...Loading more...