derived set
ncatlab.org·3h
🧮Algebraic Archives
daily quizzz
dev.to·5h·
Discuss: DEV
λLambda Encodings
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·3h·
Discuss: DEV
✓Automated Theorem Proving
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, r/programming
🔍RegEx Engines
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Godel's Incompleteness Theorem
news.ycombinator.com·1h·
Discuss: Hacker News
🔤Type Theory
PATCH! {P}sychometrics-{A}ssis{T}ed Ben{CH}marking of Large Language Models against Human Populations: A Case Study of Proficiency in 8th Grade Mathematics
arxiv.org·14h
🧠Intelligence Compression
🧠 My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.to·11h·
Discuss: DEV
⚡Proof Automation
Primitive Kolmogorov complexity is computable
lewish.io·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
If You Want to Learn Algebra, You Need to Have Automaticity on Basic Arithmetic
justinmath.com·1d·
Discuss: Hacker News
📚Proof Pedagogy
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org·1d
🎯Performance Proofs
Bot or Human? Creating the Invisible Turing Test for the Internet
research.roundtable.ai·3h·
Discuss: Hacker News
🎯Threat Hunting
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·4h·
Discuss: Hacker News
📋DFDL
Cactus Language • Syntax 10
inquiryintoinquiry.com·3d
📝Concrete Syntax
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·17h·
Discuss: Hacker News
🦀Rust Macros
Signal Use and Emergent Cooperation
arxiv.org·14h
🔲Cellular Automata
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Hypercubical manifolds in homotopy type theory
arxiv.org·14h
🔶Cubical Type Theory