Feeds to Scour
SubscribedAll
Impossible translations: Why we struggle to translate words when we don't experience the concept
phys.org·3d
💻Programming languages
Preview
Report Post
Reasoning Models Ace the CFA Exams
arxiv.org·12h
🌳Context free grammars
Preview
Report Post
KJS: A Complete Formal Semantics of JavaScript
github.com·3d·
Discuss: Hacker News
📜Proof Carrying Code
Preview
Report Post
PSA: a category satisfying all but the smallness condition from Giraud’s theorem…
thehighergeometer.wordpress.com·5d
🧮Algebraic Archives
Preview
Report Post
Adding Unpack Syntax to RCL
ruudvanasseldonk.com·2d·
Discuss: Hacker News
📝Concrete Syntax
Preview
Report Post
Münchhausen Trilemma
en.wikipedia.org·5d·
Discuss: Hacker News
⚔️Lean Theorem
Preview
Report Post
Bridging the gaps between protocol specifications and practice
blog.apnic.net·5d
🌐NetworkProtocols
Preview
Report Post
What is a Pedersen commitment?
johndcook.com·4d
🔐Quantum Security
Preview
Report Post
Embedded Universal Predictive Intelligence: a coherent framework for multi-agent
arxiviq.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
Resolving Zadehs Paradox Axiomatic Possibility Theory as a Foundation for Reliable Artificial Intelligence
arxiv.org·2d
🧠Computational Logic
Preview
Report Post
Theory and AI Alignment
scottaaronson.blog·3d
🔲Cellular Automata
Preview
Report Post
Reliable AWS Lambda Data Pipelines with AsyncAPI Specification • Hari Krishnan • GOTO 2025
youtube.com·2d
🌊Streaming Systems
Preview
Report Post
IntelliJ Scala Plugin 2025.3 Is Out
blog.jetbrains.com·2d·
Discuss: Hacker News
💧Liquid Types
Preview
Report Post
The story of Erdős problem #1026
terrytao.wordpress.com·1d
🎯Proof Tactics
Preview
Report Post
Toward Patch Robustness Certification and Detection for Deep Learning Systems Beyond Consistent Samples
arxiv.org·1d
🧪Binary Fuzzing
Preview
Report Post
Toward Reliable Machine Unlearning: Theory, Algorithms, and Evaluation
arxiv.org·1d
🧠Machine Learning
Preview
Report Post
Compiler having difficulty inferring closure type (possible compiler bug?)
reddit.com·3d·
Discuss: r/rust
🔒Type Safety
Preview
Report Post
I made a prompt framework that makes LLMs stop hedging and speak straight
news.ycombinator.com·2d·
Discuss: Hacker News
Effect Handlers
Preview
Report Post
The SAM2-to-SAM3 Gap in the Segment Anything Model Family: Why Prompt-Based Expertise Fails in Concept-Driven Image Segmentation
arxiv.org·1d
🧠Machine Learning
Preview
Report Post
Soft Inductive Bias Approach via Explicit Reasoning Perspectives in Inappropriate Utterance Detection Using Large Language Models
arxiv.org·12h
🤖Grammar Induction
Preview
Report Post