Song recommendations from F# combinators
blog.ploeh.dk·3d
🔗Functional Compilers
An in-depth look at the implementation of an Undo/Redo system in a large complex visual application
mlacast.com·2d·
Discuss: Hacker News, r/programming
💾Persistence Strategies
BNFGen: A random text generator based on context-free grammars
baturin.org·12h·
Discuss: Hacker News
🌳Context free grammars
Accumulation of Cognitive Debt When Using an AI Assistant for Essay Writing Task
media.mit.edu·2d·
Discuss: Hacker News
🧠Intelligence Compression
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org·2d
🎯Performance Proofs
Counterfactual Influence as a Distributional Quantity
arxiv.org·2h
🎯Arithmetic Coding Theory
📢 GreyCollar: Supervised Agentic AI Project
dev.to·14h·
Discuss: DEV
🌊Stream Processing
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.org·2h
🔲Cellular Automata
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·12h·
Discuss: Hacker News
⚡Proof Automation
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·16h·
Discuss: DEV
📏Code Metrics
Program Synthesis is Interesting and Open
stephendiehl.com·4d·
Discuss: Hacker News
💻Programming languages
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·2h
🔗Parser Combinators
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·2d
📏Linear Logic
🧠 My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.to·23h·
Discuss: DEV
⚡Proof Automation
⚡️ Stop Writing Flaky Tests: Your Foundational Guide to Async in Playwright
dev.to·48m·
Discuss: DEV
⚡Proof Automation
NTRL: Encounter Generation via Reinforcement Learning for Dynamic Difficulty Adjustment in Dungeons and Dragons
arxiv.org·1d
🔲Cellular Automata
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·2h
📏Linear Logic
A Comment On "The Illusion of Thinking": Reframing the Reasoning Cliff as an Agentic Gap
arxiv.org·1d
🔲Cellular Automata
Leveling the Playing Field: Carefully Comparing Classical and Learned Controllers for Quadrotor Trajectory Tracking
arxiv.org·2d
✨Effect Handlers