Free Theory of Computation text
reddit.com·1d·
Discuss: r/compsci
🧮Programming Language Theory
An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
arxiv.org·2d
🧭SMT Solvers
how to decide on the sequence of computable numbers
academia.edu·1d·
Discuss: Hacker News, r/programming
🧮Programming Language Theory
How Far Can You Run Before Sundown?
thefiddler.substack.com·1h·
Discuss: Substack
⚖Algorithmic Game Theory
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com·1d·
Discuss: Hacker News, r/programming
🧠Memory Management
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·9h
🧭SMT Solvers
Can AI generate truly novel algorithms?
research.ibm.com·4d
🧭SMT Solvers
Micropycelium - prototype routable mesh network for ESP32
hackster.io·3h
🤝Protocol Design
Reproducing prospect theory with 'differentiable decision theories'
science.org·16h·
Discuss: Hacker News
🎲Probabilistic Programming
AI-Driven Cognitive Prosthesis Calibration via Adaptive Hyperparameter Optimization
dev.to·5h·
Discuss: DEV
🎲Probabilistic Programming
Correction: A Comprehensive Behavioral Dataset for the Abstraction and Reasoning Corpus
nature.com·1h
🔗Parser Combinators
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·2d·
Discuss: Hacker News, Hacker News
🧫Cellular Automata
Show HN: Zen Lake – 50B-digit π computation on modest hardware
github.com·3h·
Discuss: Hacker News
🏗Computer Architecture
Securing private data at scale with differentially private partition selection
research.google·1d
🔐Cryptography
StateSort — Fastest Comparison Sort?
pub.towardsai.net·17h
🧠Memory Management
UnderColor’s spiral challenge from 1984 – part 3
subethasoftware.com·19h
💾Retrocomputing
Optimizing our way through Metroid
antithesis.com·1h
🧭SMT Solvers
Time-Optimal Directed q-Analysis
arxiv.org·9h
🔐Cryptography
Optimizing multiprecision LLL in FLINT
fredrikj.net·1d
🧭SMT Solvers
Benchmarking Computer Science Survey Generation
arxiv.org·9h
🎲Probabilistic Programming