Feeds to Scour
SubscribedAll
NeSTR: A Neuro-Symbolic Abductive Framework for Temporal Reasoning in Large Language Models
arxiv.org·15h
💾Binary Linguistics
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·3h
🧮Theorem Proving
Preview
Report Post
Use AI to Stand in for a Domain Expert
kerrick.blog·7h·
Discuss: Hacker News
🤖Grammar Induction
Preview
Report Post
🎯 Domain-Specific LLMs: Specialized AI for Healthcare, Finance, Legal, and Beyond
dev.to·1d·
Discuss: DEV
🗣️Domain-Specific Languages
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 8
hamberg.no·1d
🦀Rust Macros
Preview
Report Post
Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
arxiv.org·15h
⚙️Logic Synthesis
Preview
Report Post
Backdoors to Typical Case Complexity
danglingpointers.substack.com·1d·
Discuss: Substack
🧮SMT Solvers
Preview
Report Post
Schemas, Channels & Messages in MCAP
mmhaskell.com·1d
🔗Monadic Parsing
Preview
Report Post
RNA language models can generalize well on structure prediction tasks
nature.com·20h·
Discuss: Hacker News
🤖Grammar Induction
Preview
Report Post
Self-Supervised Temporal Pattern Mining for heritage language revitalization programs under multi-jurisdictional compliance
dev.to·23h·
Discuss: DEV
🤖Grammar Induction
Preview
Report Post
How to Build an LLM-Powered Database Query Bot for Your Web App in 1 Day
semicolonandsons.com·2d·
Discuss: Hacker News
🗄️Database Internals
Preview
Report Post
Ignore Prior Instructions: AI Still Befuddled by Basic Reasoning
thenewstack.io·2d
⚡Proof Automation
Preview
Report Post
Building a Bayesian Spam Classifier from First Principles
journal.hexmos.com·2d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Preview
Report Post
Ensembling LLM-Induced Decision Trees for Explainable and Robust Error Detection
arxiv.org·15h
💻Local LLMs
Preview
Report Post
Show HN: Chorus – Multi-agent debate through epistemological framework collision
chorusai.replit.app·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Preview
Report Post
On the Interplay of Pre-Training, Mid-Training, and RL on Reasoning Language Models
arxiv.org·15h
🤖Grammar Induction
Preview
Report Post
Relational Memory in LLMs: How Relational Memory Solves Finite Context
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Preview
Report Post
Create an intelligent insurance underwriter agent powered by Amazon Nova 2 Lite and Amazon Quick Suite
aws.amazon.com·1d
⚡gRPC
Preview
Report Post
Refactoring and minimal examples
markjgsmith.com·3d
🔗Concatenative Programming
Preview
Report Post
Theory and AI Alignment
scottaaronson.blog·2d
🔲Cellular Automata
Preview
Report Post