Travels, 10
cameroncounts.wordpress.com·7h
🎯Performance Proofs
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·22h
🧮Prolog Parsing
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·13h·
Discuss: Hacker News
🌀Brotli Internals
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
The more LLMs think, the worse they translate
nuenki.app·10h·
Discuss: Hacker News
⚙️Compression Benchmarking
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·1d
📏Linear Logic
ECCoT: A Framework for Enhancing Effective Cognition via Chain of Thought in Large Language Model
arxiv.org·18h
📐Format Grammars
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
On Union-Closedness of Language Generation
arxiv.org·1d
🔗Monadic Parsing
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·10h·
Discuss: Hacker News
🔗Constraint Handling
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·1d
💻Local LLMs
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
RL for Reasoning by Adaptively Revealing Rationales
arxiv.org·1d
🤖Grammar Induction
🧠 The Illusion of Thinking: Apple’s Deep Dive into AI’s Reasoning Limits
dev.to·5h·
Discuss: DEV
💻Local LLMs
Lower Bounds for Conjunctive Query Evaluation
arxiv.org·1d
🧮Kolmogorov Complexity
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·1d
💾Persistence Strategies
SRFT: A Single-Stage Method with Supervised and Reinforcement Fine-Tuning for Reasoning
arxiv.org·18h
💻Local LLMs
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·1d
🔐Quantum Security
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·12h·
Discuss: DEV
🧮Kolmogorov Complexity