Mathematics solves problems by pen and paper. CS helps us to go far beyond that
📈Complexity Theory
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
🧩Theorem Proving
Flag this post
Handbook of Satisfiability (2021)
🎯Constraint Programming
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·6h
⚙Functional Programming
Flag this post
This is one way I use AI for coding
🧩Theorem Proving
Flag this post
Dive into Systems
🧩Theorem Proving
Flag this post
Can-t stop till you get enough
⚙Functional Programming
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·1h
🧩Theorem Proving
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
🔐Cryptography
Flag this post
Solving a problem with mindware
lesswrong.com·2h
🎲Probabilistic Programming
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·12h
🎲Probabilistic Programming
Flag this post
A self-rewriting AI from KAUST revives Jürgen Schmidhuber’s vision of a Gödel Machine
the-decoder.com·1h
🧩Theorem Proving
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·4d
🧩Theorem Proving
Flag this post
From Lossy to Lossless Reasoning
🔗Parser Combinators
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
🎲Probabilistic Programming
Flag this post
Makefile vs. YAML: Modernizing verification simulation flows
edn.com·7h
🔍Static Analysis
Flag this post
Scala vs. F#
⚙Functional Programming
Flag this post
Loading...Loading more...