Feeds to Scour
SubscribedAll
Scoured 11613 posts in 2.68 s
Some Lean Syntax for Knuckledragger
philipzucker.com·1d
🧠Lisp Dialects
Preview
Report Post
Argumentative Reasoning with Language Models on Non-factorized Case Bases
arxiv.org·7h
🌳Context free grammars
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.com·1d·
Discuss: Hacker News
🔬Lean
Preview
Report Post
News for November 2025
ptreview.sublinear.info·21h
🎯Performance Proofs
Preview
Report Post
Token Prism
blog.scottlogic.com·5h
🌀Brotli Internals
Preview
Report Post
DeepSeek-V3.2 + DocLing + Agentic RAG: Parse Any Document with Ease
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·2d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
Errors in Rust: A Deep Dive
halcyon.hr·15h·
Discuss: Hacker News
🦀Rust Verification
Preview
Report Post
Tautological assertions are not always caused by aliasing
blog.ploeh.dk·21h
⚖️Hoare Logic
Preview
Report Post
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·1d
λLambda Encodings
Preview
Report Post
How LLMs Think Like Clinicians
dochobbs.github.io·1d·
Discuss: Hacker News
🔗Constraint Handling
Preview
Report Post
Copy-on-write teaches you EVERYTHING about Swift Internals 🐮
blog.jacobstechtavern.com
·20h
🔗Functional Compilers
Preview
Report Post
CloudSEK Hiring CTF Writeup
infosecwriteups.com·1d
🧪Binary Fuzzing
Preview
Report Post
A Monad-Based Clause Architecture for Artificial Age Score (AAS) in Large Language Models
arxiv.org·7h
🔗Monadic Parsing
Preview
Report Post
Sign Relations • Definition
inquiryintoinquiry.com·1d
🔍Archive Semantics
Preview
Report Post
Chomsky and the Two Cultures of Statistical Learning
norvig.com·3h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Preview
Report Post
Advent of Swift
leahneukirchen.org·1d
🔗Lisp
Preview
Report Post
The code is disposable. The specification is permanent
recursiveai.net·13h·
Discuss: Hacker News
🔄Reproducible Builds
Preview
Report Post
Building a Brainfuck DSL in Forth using code generation
venko.blog·7h·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
Database Research needs an Abstract Relational Query Language
arxiv.org·7h
🧮Datalog
Preview
Report Post