Feeds to Scour
SubscribedAll
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·2h
🧮Theorem Proving
Preview
Report Post
NeSTR: A Neuro-Symbolic Abductive Framework for Temporal Reasoning in Large Language Models
arxiv.org·14h
💾Binary Linguistics
Preview
Report Post
SGML Syntax Reference
sgmljs.sgml.net·10h·
Discuss: Hacker News
📋Document Grammar
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 8
hamberg.no·1d
🦀Rust Macros
Preview
Report Post
RNA language models can generalize well on structure prediction tasks
nature.com·19h·
Discuss: Hacker News
🤖Grammar Induction
Preview
Report Post
Schemas, Channels & Messages in MCAP
mmhaskell.com·1d
🔗Monadic Parsing
Preview
Report Post
Self-Supervised Temporal Pattern Mining for heritage language revitalization programs under multi-jurisdictional compliance
dev.to·22h·
Discuss: DEV
🤖Grammar Induction
Preview
Report Post
The Easiest Way to Build a Type Checker
jimmyhmiller.github.io·1d
✅Format Verification
Preview
Report Post
What’s up Python ? Rust in CPython, immutable dicts, unpacking in comprehensions...
bitecode.dev·1d
🦀Rust Macros
Preview
Report Post
Use AI to Stand in for a Domain Expert
kerrick.blog·6h·
Discuss: Hacker News
🤖Grammar Induction
Preview
Report Post
Adding Unpack Syntax to RCL
ruudvanasseldonk.com·1d·
Discuss: Hacker News
📝Concrete Syntax
Preview
Report Post
MINES: Explainable Anomaly Detection through Web API Invariant Inference
arxiv.org·14h
🌐WARC Forensics
Preview
Report Post
Unison: A Fully Automatic, Task-Universal, and Low-Cost Framework for Unified Understanding and Generation
arxiv.org·14h
🔨Compilers
Preview
Report Post
Beyond Basic RAG: 3 Advanced Architectures I Built to Fix AI Retrieval
vibe.forem.com·2d·
Discuss: DEV
🌀Brotli Internals
Preview
Report Post
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·3d
λLambda Formalization
Preview
Report Post
Squint Testing Lisps
blog.toast.cafe·1d
🧠Lisp Dialects
Preview
Report Post
Featurized-Decomposition Join: Low-Cost Semantic Joins with Guarantees
arxiv.org·1d
🧠Query Planners
Preview
Report Post
An Attempt at a Compelling Articulation of Forth's Practical Strengths and Eter
im-just-lee.ing·1d·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
Can a 14B Model Match a 100B+ Model? We Fine-Tuned 8 Models to Find Out
orq.ai·3h·
Discuss: Hacker News
🧠Intelligence Compression
Preview
Report Post
Ensembling LLM-Induced Decision Trees for Explainable and Robust Error Detection
arxiv.org·14h
💻Local LLMs
Preview
Report Post