Feeds to Scour
SubscribedAll
Scoured 11497 posts in 913.3 ms
Understanding Mathematics Through Lean
bytesauna.com·20h·
Discuss: Hacker News
🔬Lean
Preview
Report Post
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·22h
λLambda Encodings
Preview
Report Post
Errors in Rust: A Deep Dive
halcyon.hr·6h·
Discuss: Hacker News
🦀Rust Verification
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·1d
🧠Lisp Dialects
Preview
Report Post
Sign Relations • Definition
inquiryintoinquiry.com·1d
🔍Archive Semantics
Preview
Report Post
Yale Shooting Problem
en.wikipedia.org·2d·
Discuss: Hacker News
⚖️Hoare Logic
Preview
Report Post
Tautological assertions are not always caused by aliasing
blog.ploeh.dk·12h
⚖️Hoare Logic
Preview
Report Post
DeepSeek-V3.2 + DocLing + Agentic RAG: Parse Any Document with Ease
dev.to·21h·
Discuss: DEV
🤖Archive Automation
Preview
Report Post
IsEven(int32_t) in O(1)
ceayo.neocities.org·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·3d
⚔️Lean Tactics
Preview
Report Post
CIP: A Plug-and-Play Causal Prompting Framework for Mitigating Hallucinations under Long-Context Noise
arxiv.org·22h
✨Effect Handlers
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·2d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
What 30 Years of Python Reveal About Programming Language Design?
dev.to·13h·
Discuss: DEV
💻Programming languages
Preview
Report Post
Mining Legal Arguments to Study Judicial Formalism
arxiv.org·22h
🧮Theorem Proving
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·3d
📋Formal Verification
Preview
Report Post
From Zero to QED: An informal introduction to formality with Lean 4
sdiehl.github.io·2d·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
The choice between Rust and C-derived languages is not only about memory safety
bbuyukliev.blogspot.com·3d·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
Mathematics of natural intelligence
arxiv.org·22h
🔲Cellular Automata
Preview
Report Post
REMODEL-LLM: Transforming C code to Java using LLMs
arxiv.org·22h
⬆️Lambda Lifting
Preview
Report Post
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
arxiv.org·22h
🎯Performance Proofs
Preview
Report Post