Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.com·12h·
Discuss: Substack
⚔️Lean Theorem
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Schaltwerk – The IDE Without Editor
github.com·2h·
Discuss: Hacker News
🐚Nordic Shell
Flag this post
Unlocking LLMs: The Self-Steering Revolution
dev.to·1d·
Discuss: DEV
💻Local LLMs
Flag this post
Enhancing Diffusion-based Restoration Models via Difficulty-Adaptive Reinforcement Learning with IQA Reward
arxiv.org·3h
📊Learned Metrics
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·3h
🕸️Tensor Networks
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·4d
🧮Algebraic Archives
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·1d
🧮Kolmogorov Complexity
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·3h
📏Code Metrics
Flag this post
Optimizing Native Sparse Attention with Latent Attention and Local Global Alternating Strategies
arxiv.org·3h
🧮Vector Embeddings
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
dev.to·18h·
Discuss: DEV
🧮Kolmogorov Bounds
Flag this post
On the Structure of Floating-Point Noise in Batch-Invariant GPU Matrix Multiplication
arxiv.org·3h
📐Error Bounds
Flag this post
Part 3: Building Station Station - Agent-OS Workflow in Action
dev.to·2h·
Discuss: DEV
🦋Format Metamorphosis
Flag this post
An introduction to the a posteriori error analysis of parabolic partial differential equations
arxiv.org·3h
🎯Performance Proofs
Flag this post
Measuring Machine Companionship: Scale Development and Validation for AI Companions
arxiv.org·3h
🤖AI Curation
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·3h
🔍Information Retrieval
Flag this post
ScaleCall - Agentic Tool Calling at Scale for Fintech: Challenges, Methods, and Deployment Insights
arxiv.org·3h
🌀Brotli Internals
Flag this post