Advances In Formal Verification Technology
semiengineering.com·1w
⚙️Compilers
Flag this post
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·3w
🎨Computer Graphics
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
⚙️Compilers
Flag this post
The case against boolean logic
abuseofnotation.github.io·1w·
Discuss: Hacker News
🔢Number Theory
Flag this post
mikeizbicki/HLearn
github.com·2w
⚙️Compilers
Flag this post
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·3w
🎨Computer Graphics
Flag this post
Handbook of Satisfiability (2021)
iospress.com·4d·
Discuss: Hacker News
🔢Number Theory
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
⚙️Compilers
Flag this post
Another axiom that Euclid missed
web.archive.org·2w·
Discuss: Hacker News
🔢Number Theory
Flag this post
Sandy Maguire: Arrows to Arrows, Categories to Queries
reasonablypolymorphic.com·3w·
Discuss: Hacker News
🔢Number Theory
Flag this post
What is PL research and how is it useful?
pl-enthusiast.net·2w·
Discuss: Hacker News
⚙️Compilers
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·3d·
Discuss: Hacker News
🔢Number Theory
Flag this post
Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography
arxiv.org·2w
🔐Cryptography
Flag this post
Reversible Computation: A Next-Generation Theory for Software Construction
dev.to·2w·
Discuss: DEV
⚙️Compilers
Flag this post
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·3w
📐Linear Algebra
Flag this post
A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
arxiv.org·3w
⚙️Compilers
Flag this post
From Aristotle to John Searle and Back Again: Metaphysics and Computation (2016)
academia.edu·3w·
Discuss: Hacker News
📐Mathematics
Flag this post
A Proof of the Riemann Hypothesis
future.forem.com·2w·
Discuss: DEV
🔢Number Theory
Flag this post
Integer Set Library (ISL) - A Primer
jeremykun.com·2w·
Discuss: Lobsters, Hacker News
⚙️Compilers
Flag this post
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
arxiv.org·2w
⚙️Compilers
Flag this post