Feeds to Scour
SubscribedAll
Scoured 11755 posts in 4.24 s
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·13h
λLambda Encodings
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.com·10h·
Discuss: Hacker News
🔬Lean
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·18h
🧠Lisp Dialects
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·1d·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·1d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
DeepSeek-V3.2 + DocLing + Agentic RAG: Parse Any Document with Ease
dev.to·12h·
Discuss: DEV
🤖Archive Automation
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·2d
📋Formal Verification
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·3d
⚔️Lean Tactics
Preview
Report Post
Tautological assertions are not always caused by aliasing
blog.ploeh.dk·3h
⚖️Hoare Logic
Preview
Report Post
CloudSEK Hiring CTF Writeup
infosecwriteups.com·9h
🧪Binary Fuzzing
Preview
Report Post
A 13-10 week
blog.mitrichev.ch·8h·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
Preview
Report Post
Evaluating GPT-5.2 Thinking: Cryptographic Challenge Case Study
irregular.com·3d·
Discuss: Hacker News
🌳Archive Merkle Trees
Preview
Report Post
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
arxiv.org·13h
🎯Performance Proofs
Preview
Report Post
Riddler Solution: Can You Skillfully Ski The Slopes?
possiblywrong.wordpress.com·2d
🔲Cellular Automata
Preview
Report Post
Honeypots can help defenders, or damn them if implemented badly
theregister.com·19h
🔓Hacking
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
CI/CD Evolution: From Pipelines to AI-Powered DevOps • Olaf Molenveld & Julian Wood • GOTO 2025
youtube.com·5h
🔄Reproducible Builds
Preview
Report Post
Claude in a Game Theory Tournament
matthodges.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Preview
Report Post
Mining Legal Arguments to Study Judicial Formalism
arxiv.org·13h
🧮Theorem Proving
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·3d
✅Format Verification
Preview
Report Post