Feeds to Scour
SubscribedAll
Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
arxiv.org·14h
⚙️Logic Synthesis
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·2h
🧮Theorem Proving
Preview
Report Post
If You're Going to Vibe Code, Why Not Do It in C?
stephenramsay.net·2h·
Discuss: Hacker News
💻Programming languages
Preview
Report Post
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·3d
λLambda Formalization
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 8
hamberg.no·1d
🦀Rust Macros
Preview
Report Post
How AI-Powered Tools Are Transforming the Future of Software Development
dev.to·8h·
Discuss: DEV
🔄Language Evolution
Preview
Report Post
Squint Testing Lisps
blog.toast.cafe·1d
🧠Lisp Dialects
Preview
Report Post
What’s up Python ? Rust in CPython, immutable dicts, unpacking in comprehensions...
bitecode.dev·1d
🦀Rust Macros
Preview
Report Post
Theory and AI Alignment
scottaaronson.blog·2d
🔲Cellular Automata
Preview
Report Post
A Neural Affinity Framework for Abstract Reasoning: Diagnosing the Compositional Gap in Transformer Architectures via Procedural Task Taxonomy
arxiv.org·14h
🧮Kolmogorov Complexity
Preview
Report Post
RNA language models can generalize well on structure prediction tasks
nature.com·19h·
Discuss: Hacker News
🤖Grammar Induction
Preview
Report Post
Crafting Interpreters in Rust: Parsing Unary Negation
blog.differentpla.net·2d
🦀Rust Macros
Preview
Report Post
Embedded Universal Predictive Intelligence: a coherent framework for multi-agent
arxiviq.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
Formalization of Erdős problems
xenaproject.wordpress.com·4d
🎯Performance Proofs
Preview
Report Post
Building a Bayesian Spam Classifier from First Principles
journal.hexmos.com·2d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Preview
Report Post
Evolutionary System 2 Reasoning: An Empirical Proof
arxiv.org·1d
✓Automated Theorem Proving
Preview
Report Post
On the Interplay of Pre-Training, Mid-Training, and RL on Reasoning Language Models
arxiv.org·14h
🤖Grammar Induction
Preview
Report Post
A Proof of P = NP
dev.to·4d·
Discuss: DEV
🎯Performance Proofs
Preview
Report Post
An Attempt at a Compelling Articulation of Forth's Practical Strengths and Eter
im-just-lee.ing·1d·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
Bridging the gaps between protocol specifications and practice
blog.apnic.net·4d
🌐NetworkProtocols
Preview
Report Post