Feeds to Scour
SubscribedAll
Scoured 11711 posts in 2.44 s
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·15h
λLambda Encodings
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.com·12h·
Discuss: Hacker News
🔬Lean
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·20h
🧠Lisp Dialects
Preview
Report Post
The case against predicting tokens to build AGI
the-decoder.com·3h
🧠Intelligence Compression
Preview
Report Post
A 13-10 week
blog.mitrichev.ch·10h·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
Preview
Report Post
What 30 Years of Python Reveal About Programming Language Design?
dev.to·6h·
Discuss: DEV
💻Programming languages
Preview
Report Post
Make use of time, let not advantage slip
quantumfrontiers.com·19h
⏰Time Crystals
Preview
Report Post
Tautological assertions are not always caused by aliasing
blog.ploeh.dk·5h
⚖️Hoare Logic
Preview
Report Post
Neo, 6 years and 600 citations later
rmarcus.info·20h
🚀Query Optimization
Preview
Report Post
CI/CD Evolution: From Pipelines to AI-Powered DevOps • Olaf Molenveld & Julian Wood • GOTO 2025
youtube.com·7h
🔄Reproducible Builds
Preview
Report Post
Fast and Accurate Causal Parallel Decoding using Jacobi Forcing
hao-ai-lab.github.io·1d
📊Quantization
Preview
Report Post
Mining Legal Arguments to Study Judicial Formalism
arxiv.org·15h
🧮Theorem Proving
Preview
Report Post
“New Ways to Corrupt LLMs”
garymarcus.substack.com·1d·
Discuss: Substack
💻Local LLMs
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·3d
⚔️Lean Tactics
Preview
Report Post
The Math of Universality
pma.caltech.edu·1d·
Discuss: Hacker News
📐Mathematical Art
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·1d·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
String Theory Inspires a Brilliant, Baffling New Math Proof
quantamagazine.org·3d
📐Mathematical Art
Preview
Report Post
Living In Flatland
irreal.org·3d
🦀Rust Macros
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·3d·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
[D] On the linear trap of autoregression
reddit.com·1d·
Discuss: r/MachineLearning
🌳Context free grammars
Preview
Report Post