Feeds to Scour
SubscribedAll
Scoured 11614 posts in 309.0 ms
DeepSeek-V3.2 + DocLing + Agentic RAG: Parse Any Document with Ease
dev.to·22h·
Discuss: DEV
🤖Archive Automation
Preview
Report Post
I built a self-improving agent with dynamic context and continuous learning
ashpreetbedi.com·5h·
Discuss: Hacker News
🗄️Database Internals
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·1d
🧠Lisp Dialects
Preview
Report Post
TLA+ modeling tips
muratbuffalo.blogspot.com·8h·
Discuss: Lobsters
⚙️TLA+
Preview
Report Post
A-LAMP: Agentic LLM-Based Framework for Automated MDP Modeling and Policy Generation
arxiv.org·23h
🧮Prolog Parsing
Preview
Report Post
How LLMs Think Like Clinicians
dochobbs.github.io·1d·
Discuss: Hacker News
🏗️Constructive Logic
Preview
Report Post
Neo, 6 years and 600 citations later
rmarcus.info·1d
🚀Query Optimization
Preview
Report Post
The Data Detox: Training Yourself for the Messy, Noisy, Real World
kdnuggets.com·11h
🧪Data science
Preview
Report Post
Errors in Rust: A Deep Dive
halcyon.hr·7h·
Discuss: Hacker News
🦀Rust Verification
Preview
Report Post
Playbook-Based Agent Reference Architecture
chatbotkit.com·18h·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
A 13-10 week
blog.mitrichev.ch·18h·
🧮SMT Solvers
Preview
Report Post
Mining Legal Arguments to Study Judicial Formalism
arxiv.org·23h
🧮Theorem Proving
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·3d
Format Verification
Preview
Report Post
CloudSEK Hiring CTF Writeup
infosecwriteups.com·20h
🧪Binary Fuzzing
Preview
Report Post
Customize agent workflows with advanced orchestration techniques using Strands Agents
aws.amazon.com·11h
🏠Homelab Orchestration
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.com·21h·
Discuss: Hacker News
🔬Lean
Preview
Report Post
📌 10 Things You Must Know Before Building Your Language Model from Scratch 📌
dev.to·3h·
Discuss: DEV
📊Quantization
Preview
Report Post
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·23h
λLambda Encodings
Preview
Report Post
If You Love Queuing, Will You Also Love Priority Queuing? • [Club]
thepythoncodingstack.com
·12h
Cache Theory
Preview
Report Post
AI, MCP, and the Hidden Costs of Data Hoarding
oreilly.com·15h
🛡️Preservation Proofs
Preview
Report Post