Integer Set Library (ISL) - A Primer
🧮Algebraic Datatypes
Flag this post
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
arxiv.org·30m
🛡️Proof-Carrying Archives
Flag this post
I Built a SAT Solver Inspired by Quantum Field Theory and It Works
⚛️Information Physics
Flag this post
Unlocking Efficiency: Streamlining AI Planning Through Axiom Optimization
⚡Z3 Optimization
Flag this post
computational trilogy in nLab
ncatlab.org·2d
λLambda Formalization
Flag this post
Kazhdan Seminar fall 2025 – Starting Today Oct. 19, 2026.
gilkalai.wordpress.com·22h
🧮Theoretical Computer Science
Flag this post
Combinatorial Contract Design: Recent Progress and Emerging Frontiers
arxiv.org·30m
⚔️Lean Tactics
Flag this post
mikeizbicki/HLearn
github.com·2d
🔗Monadic Parsing
Flag this post
The Complete Guide to Vector Databases for Machine Learning
machinelearningmastery.com·2d
🗂️Vector Databases
Flag this post
When to Ensemble: Identifying Token-Level Points for Stable and Fast LLM Ensembling
arxiv.org·30m
🔨Compilers
Flag this post
Conceptual Frameworks for Data Science Projects
towardsdatascience.com·12h
🔗Constraint Handling
Flag this post
Grassroots Logic Programs: A Secure, Multiagent, Concurrent, Logic Programming Language
arxiv.org·30m
🤝Consensus Networks
Flag this post
Most proofs are trivial
lawrencecpaulson.github.io·5d
🔲Proof Irrelevance
Flag this post
ML Workload Runs 30x Faster w AVX-512
🔢Bitwise Algorithms
Flag this post
LoC Is a Dumb Metric for Functions
📏Code Metrics
Flag this post
Loading...Loading more...