Cyclic Proofs for iGL via Corecursion
arxiv.org·3d
🧮Functional Programming
Flag this post
Unpicking How to Measure the Complexity of Knots
wired.com·32m
🧮Functional Programming
Flag this post
Agent Foundations: Paradigmatizing in Math and Science
lesswrong.com·11h
🧮Functional Programming
Flag this post
essential spectrum
ncatlab.org·4d
🧮Functional Programming
Flag this post
NOV. 13th COLLOQUIUM: Sheldon Katz (University of Illinois at Urbana-Champaign)
math.columbia.edu·1d
🧮Functional Programming
Flag this post
Universality Classes for Purification in Nonunitary Quantum Processes
journals.aps.org·10h
🧮Functional Programming
Flag this post
r/mathematics
🧮Functional Programming
Flag this post
Multi-Method Analysis of Mathematics Placement Assessments: Classical, Machine Learning, and Clustering Approaches
arxiv.org·1d
🧮Functional Programming
Flag this post
Announcing the 2025 Innovator Award Winners
blog.wolfram.com·20h
🧮Functional Programming
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
🧮Functional Programming
Flag this post
Generalized Witt and Morita equivalences
arxiv.org·3d
🦀Rust
Flag this post
Why Colts QB Daniel Jones isn't to blame for all 5 turnovers vs. Steelers: Watch video
nytimes.com·19h
🦀Rust
Flag this post
Half life of Frameworks
rsdoiel.github.io·9h
🌳Elm
Flag this post
Visualizing Intersecting Sets
📐Haskell
Flag this post
Introducing Nested Learning: A new ML paradigm for continual learning
🧮Functional Programming
Flag this post
Loading...Loading more...