Feeds to Scour
SubscribedAll
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·1d
⚔️Lean Tactics
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·12h·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
PICK for Regular Expressions
blog.brownplt.org·1d
🔍RegEx Engines
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·22h
⚔️Lean Tactics
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·3d
🧮Theorem Proving
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·7h
📋Formal Verification
Preview
Report Post
String Theory Inspires a Brilliant, Baffling New Math Proof
quantamagazine.org·17h
📐Mathematical Art
Preview
Report Post
Living In Flatland
irreal.org·17h
🦀Rust Macros
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·22h
Format Verification
Preview
Report Post
A Pythonista’s Guide to the 2026 Code Rush
efficientcoder.net·8h
📝Concrete Syntax
Preview
Report Post
I Fed 24 Years of My Blog Posts to a Markov Model
susam.net·8h
🦀Rust Macros
Preview
Report Post
.NET Wrapper for latest PCRE2 library
github.com·5h·
Discuss: Hacker News
Format Verification
Preview
Report Post
Building Your First Agentic AI: Complete Guide to MCP + Ollama Tool Calling
dev.to·22h·
Discuss: DEV
🖥️Modern Terminals
Preview
Report Post
There are things that AIs understand and no human can
jovex.substack.com·13h·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
Polymorphism, but for Your Database
typedb.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
Preview
Report Post
Achieving Olympia-Level Geometry Large Language Model Agent via Complexity Boosting Reinforcement Learning
arxiv.org·1d
🔲Cellular Automata
Preview
Report Post
The Python Object-Oriented Programming 5th Edition
slott56.github.io·1d
📝Concrete Syntax
Preview
Report Post
Show HN: A daily logic puzzle game based on parity constraints
news.ycombinator.com·1d·
Discuss: Hacker News
🎯Interactive Provers
Preview
Report Post
From Alternation to FPRAS: Toward a Complexity Classification of Approximate Counting
arxiv.org·1d
🎯Performance Proofs
Preview
Report Post
My experience with Lean 4 for general programming
quamserena.com·2d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post