Cyclic Proofs for iGL via Corecursion
arxiv.org·2d
🧮Functional Programming
Flag this post
Agent Foundations: Paradigmatizing in Math and Science
lesswrong.com·2h
🧮Functional Programming
Flag this post
essential spectrum
ncatlab.org·3d
🧮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·2h
🧮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·22h
🧮Functional Programming
Flag this post
Announcing the 2025 Innovator Award Winners
blog.wolfram.com·11h
🧮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·2d
🦀Rust
Flag this post
Why Colts QB Daniel Jones isn't to blame for all 5 turnovers vs. Steelers: Watch video
nytimes.com·10h
🦀Rust
Flag this post
Half life of Frameworks
rsdoiel.github.io·32m
🌳Elm
Flag this post
Introducing Nested Learning: A new ML paradigm for continual learning
research.google·9h
🧮Functional Programming
Flag this post
13 Arguments About a Transition to Neuralese AIs
lesswrong.com·11h
🌳Elm
Flag this post
Even Numbers Are Tautologies
🧮Functional Programming
Flag this post
Loading...Loading more...