Feeds to Scour
SubscribedAll
Münchhausen Trilemma
en.wikipedia.org·6d·
Discuss: Hacker News
⚔️Lean Theorem
Preview
Report Post
Softly Symbolifying Kolmogorov-Arnold Networks
arxiv.org·1d
🧮Kolmogorov Bounds
Preview
Report Post
What is a Pedersen commitment?
johndcook.com·4d
🔐Quantum Security
Preview
Report Post
Resolving Zadehs Paradox Axiomatic Possibility Theory as a Foundation for Reliable Artificial Intelligence
arxiv.org·3d
🧠Computational Logic
Preview
Report Post
Theory and AI Alignment
scottaaronson.blog·4d
🔲Cellular Automata
Preview
Report Post
PSA: a category satisfying all but the smallness condition from Giraud’s theorem…
thehighergeometer.wordpress.com·6d
🧮Algebraic Archives
Preview
Report Post
Reliable AWS Lambda Data Pipelines with AsyncAPI Specification • Hari Krishnan • GOTO 2025
youtube.com·3d
🌊Streaming Systems
Preview
Report Post
Toward Reliable Machine Unlearning: Theory, Algorithms, and Evaluation
arxiv.org·2d
🧠Machine Learning
Preview
Report Post
The story of Erdős problem #1026
terrytao.wordpress.com·2d
🎯Proof Tactics
Preview
Report Post
Compiler having difficulty inferring closure type (possible compiler bug?)
reddit.com·4d·
Discuss: r/rust
🔒Type Safety
Preview
Report Post
A Proof of P = NP
dev.to·6d·
Discuss: DEV
🎯Performance Proofs
Preview
Report Post
Soft Inductive Bias Approach via Explicit Reasoning Perspectives in Inappropriate Utterance Detection Using Large Language Models
arxiv.org·1d
🤖Grammar Induction
Preview
Report Post
I made a prompt framework that makes LLMs stop hedging and speak straight
news.ycombinator.com·3d·
Discuss: Hacker News
Effect Handlers
Preview
Report Post
Alignment Is Capability
off-policy.com·3d·
Discuss: Hacker News
📏Code Metrics
Preview
Report Post
Toward Patch Robustness Certification and Detection for Deep Learning Systems Beyond Consistent Samples
arxiv.org·2d
🧪Binary Fuzzing
Preview
Report Post
DaGRPO: Rectifying Gradient Conflict in Reasoning via Distinctiveness-Aware Group Relative Policy Optimization
arxiv.org·2d
🔗Parser Combinators
Preview
Report Post
Embedded Universal Predictive Intelligence: a coherent framework for multi-agent
arxiviq.substack.com·3d·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
Adding Unpack Syntax to RCL
ruudvanasseldonk.com·3d·
Discuss: Hacker News
📝Concrete Syntax
Preview
Report Post
PlantBiMoE: A Bidirectional Foundation Model with SparseMoE for Plant Genomes
arxiv.org·2d
🔗Monadic Parsing
Preview
Report Post
IntelliJ Scala Plugin 2025.3 Is Out
blog.jetbrains.com·3d·
Discuss: Hacker News
💧Liquid Types
Preview
Report Post