Think for Yourself
🧩Theorem Proving
Flag this post
Maps of Meaningness
🔄Category Theory
Flag this post
There is no truthy or falsy in Rust
joschuba.com·2h
🦀Rust
Flag this post
thread on history of calculus, in this thread i will trace origin of calculus in most unbiased way possible
threadreaderapp.com·2d
🔢Mathematical Logic
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·18h
🕸️Graph Theory
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
🧩Theorem Proving
Flag this post
News for October 2025
ptreview.sublinear.info·1d
📈Complexity Theory
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·18h
🔢Mathematical Logic
Flag this post
Decoding Kiroween
⚙Functional Programming
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·18h
🧭SMT Solvers
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·18h
🎲Probabilistic Programming
Flag this post
Artificial intelligence: Nirvana or apocalypse?
mathscholar.org·1h
🧫Cellular Automata
Flag this post
Loading...Loading more...