✨ Effect Handlers

Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

Highlighted tools
simonwillison.net·4h·
Discuss: Hacker News
🌀Brotli Internals
The repercussions of a typo in C++ & Rust
nablag.com·2d·
Discuss: Hacker News, r/programming
🦀Rust Borrowing
Prompt sensitivity is more nuanced (and useful) than we think
newsletter.aimuscle.com·1d·
Discuss: Hacker News
⚡Proof Automation
Are We Vibecoding Our Way to Disaster?
softwarearthopod.substack.com·9h·
Discuss: Substack
🧠Intelligence Compression
Why Rewriting Emacs Is Hard
kyo.iroiro.party·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
📝Concrete Syntax
Automated Job Function Decomposition and Re-Optimization via Constraint Programming and Deep Reinforcement Learning
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Knowledge Integration for Physics-informed Symbolic Regression Using Pre-trained Large Language Models
arxiv.org·22h
🧮Theorem Proving
Graphical Quadratic Algebra
arxiv.org·22h
🔄Graph Rewriting
Rethinking the Chain-of-Thought: The Roles of In-Context Learning and Pre-trained Priors
arxiv.org·1d
💻Programming languages
Theory Foundation of Physics-Enhanced Residual Learning
arxiv.org·1d
🧠Machine Learning
Unlock Agent-Based Models with Gradient-Powered Control by Arvind Sundararajan
dev.to·23m·
Discuss: DEV
🔲Cellular Automata
Morse sequences on stacks and flooding sequences
arxiv.org·1d
🌍Topological Codes
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·22h
🎯Performance Proofs
Real-Time OT Anomaly Detection via Hyperdimensional Federated Learning and Symbolic Reasoning
dev.to·13h·
Discuss: DEV
👁️Observatory Systems
An experience-based classification of quantum bugs in quantum software
arxiv.org·22h
⚛️Quantum Algorithms
[R] The Illusion of Progress: Re-evaluating Hallucination Detection in LLMs
reddit.com·3h·
Discuss: r/MachineLearning
🌀Brotli Internals
[D] How do you read code with Hydra
reddit.com·5h·
Discuss: r/MachineLearning
⬆️Lambda Lifting
Warming Up for Zeroth-Order Federated Pre-Training with Low Resource Clients
arxiv.org·22h
📊Quantization
On the local consequence of modal Product logic: standard completeness and decidability
arxiv.org·22h
🏗️Constructive Mathematics
Generalized Golub-Kahan bidiagonalization for generalized saddle point systems
arxiv.org·22h
📐Linear Algebra