Handbook of Satisfiability (2021)
🎯Constraint Programming
Flag this post
A fun application of Green’s functions and geometric algebra: Residue calculus
peeterjoot.com·6h
🧫Cellular Automata
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
📈Complexity Theory
Flag this post
thread on history of calculus, in this thread i will trace origin of calculus in most unbiased way possible
threadreaderapp.com·21h
🧮Programming Language Theory
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
🎲Probabilistic Programming
Flag this post
Nonmonotonic Logic
⚖️Logic Programming
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
🧭SMT Solvers
Flag this post
Weak-To-Strong Generalization
lesswrong.com·1d
🎲Probabilistic Programming
Flag this post
George Boole, Boolean Logic and Computing
i-programmer.info·16h
💭Prolog
Flag this post
A Short Introduction to Categorical Logic
youtube.com·4d
🔄Category Theory
Flag this post
Can-t stop till you get enough
⚙Functional Programming
Flag this post
Computational Complexity and Explanations in Physics
gilkalai.wordpress.com·13h
🔐Cryptography
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·3d
🧮Programming Language Theory
Flag this post
Loading...Loading more...