Feeds to Scour
SubscribedAll
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·7h
λLambda Encodings
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.com·4h·
Discuss: Hacker News
🔬Lean
Preview
Report Post
Build self-hosted AI Agent with Ollama, Pydantic AI and Django Ninja
blog.devops.dev·3h
🌳Incremental Parsing
Preview
Report Post
Mathematics of natural intelligence
arxiv.org·7h
🔲Cellular Automata
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·1d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
Fast and Accurate Causal Parallel Decoding using Jacobi Forcing
hao-ai-lab.github.io·16h
📊Quantization
Preview
Report Post
AI ALPHABITZ and AXI.
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Preview
Report Post
Why proteins fold and how GPUs help us fold
aval.bearblog.dev·5h·
Discuss: Hacker News
🔲Cellular Automata
Preview
Report Post
Bounding Hallucinations: Information-Theoretic Guarantees for RAG Systems via Merlin-Arthur Protocols
arxiv.org·7h
🛡️Proof-Carrying Archives
Preview
Report Post
From Zero to QED: An informal introduction to formality with Lean 4
sdiehl.github.io·1d·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·3d
✅Format Verification
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·2d
📋Formal Verification
Preview
Report Post
Yale Shooting Problem
en.wikipedia.org·1d·
Discuss: Hacker News
🔬Logic in Computer Science
Preview
Report Post
Experienced in C/C++/Java but feeling lost looking at Rust code. Does the readability 'click' eventually?
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·3d
⚔️Lean Tactics
Preview
Report Post
I Fed 24 Years of My Blog Posts to a Markov Model
susam.net·2d
🦀Rust Macros
Preview
Report Post
String Theory Inspires a Brilliant, Baffling New Math Proof
quantamagazine.org·2d
📐Mathematical Art
Preview
Report Post
A Pythonista’s Guide to the 2026 Code Rush
efficientcoder.net·2d
📝Concrete Syntax
Preview
Report Post
There are things that AIs understand and no human can
jovex.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·5d
🧮Theorem Proving
Preview
Report Post