Feeds to Scour
SubscribedAll
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·7h
λLambda Encodings
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.com·4h·
Discuss: Hacker News
🔬Lean
Preview
Report Post
DeepSeek-V3.2 + DocLing + Agentic RAG: Parse Any Document with Ease
dev.to·5h·
Discuss: DEV
🤖Archive Automation
Preview
Report Post
Advent of Swift
leahneukirchen.org·19h
🔗Lisp
Preview
Report Post
From Shell to Stealth: Building AV-Evasive Binary
infosecwriteups.com·3h
🧪Binary Fuzzing
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·3d
✅Format Verification
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·1d·
Discuss: Hacker News
🧠Lisp Dialects
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
JustHTML is a fascinating example of vibe engineering in action
simonwillison.net·20h
🌀Brotli Internals
Preview
Report Post
Sliced ReLU attention: Quasi-linear contextual expressivity via sorting
arxiv.org·7h
🧮Kolmogorov Complexity
Preview
Report Post
Mining Legal Arguments to Study Judicial Formalism
arxiv.org·7h
🧮Theorem Proving
Preview
Report Post
Writing CLIs
markjgsmith.com·2d
📟CLI Design
Preview
Report Post
I Fed 24 Years of My Blog Posts to a Markov Model
susam.net·2d
🦀Rust Macros
Preview
Report Post
.NET Wrapper for latest PCRE2 library
github.com·2d·
Discuss: Hacker News
✅Format Verification
Preview
Report Post
REshare Ramblings - Bad Vibes with IDA
scrapco.de·2d
🔧KAITAI
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·1d·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
An Intro to Large Language Models and the Transformer Architecture: Talking to a calculator
dev.to·1d·
Discuss: DEV
💻Local LLMs
Preview
Report Post
REMODEL-LLM: Transforming C code to Java using LLMs
arxiv.org·7h
⬆️Lambda Lifting
Preview
Report Post
Leveraging Text Guidance for Enhancing Demographic Fairness in Gender Classification
arxiv.org·7h
🔤Character Classification
Preview
Report Post
Bounding Hallucinations: Information-Theoretic Guarantees for RAG Systems via Merlin-Arthur Protocols
arxiv.org·7h
🛡️Proof-Carrying Archives
Preview
Report Post