A moonlit week
λLambda Encodings
Flag this post
Indexing Coffee with Notion
☕Coffee Science
Flag this post
The New Calculus of AI-based Coding
🔄Reproducible Builds
Flag this post
Rust Gets a Garbage Collector
🦀Rust Borrowing
Flag this post
Epistemic Deference to AI
arxiv.org·1d
🧮Theoretical Computer Science
Flag this post
Reasoning's Razor: Reasoning Improves Accuracy but Can Hurt Recall at Critical Operating Points in Safety and Hallucination Detection
arxiv.org·1d
🔬Logic in Computer Science
Flag this post
Far from the Shallow: Brain-Predictive Reasoning Embedding through Residual Disentanglement
arxiv.org·22h
🔲Cellular Automata
Flag this post
Additive Models Explained: A Computational Complexity Approach
arxiv.org·1d
🧮Kolmogorov Complexity
Flag this post
Quantifying Explainable AI Reliability Through Causal Graph Reconstruction and HyperScore Validation
🔗Constraint Handling
Flag this post
Three Sins of Contextual Mismatch: Obscurity, Ambiguity, and Confabulation
🇸🇪Nordic Algorithms
Flag this post
Artificial Hivemind: The Open-Ended Homogeneity of Language Models (and Beyond)
arxiv.org·22h
💻Local LLMs
Flag this post
K-DAREK: Distance Aware Error for Kurkova Kolmogorov Networks
arxiv.org·22h
🧮Kolmogorov Complexity
Flag this post
The AI Tutor in Engineering Education: Design, Results, and Redesign of an Experience in Hydrology at an Argentine University
arxiv.org·22h
🤖AI Curation
Flag this post
Interpretability Framework for LLMs in Undergraduate Calculus
arxiv.org·6d
🏗️Constructive Logic
Flag this post
VENI, VINDy, VICI: a generative reduced-order modeling framework with uncertainty quantification
arxiv.org·1d
✨Effect Handlers
Flag this post
The Trojan Example: Jailbreaking LLMs through Template Filling and Unsafety Reasoning
arxiv.org·1d
🌐NetworkProtocols
Flag this post
Loading...Loading more...