✨ Effect Handlers

Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

Footnotes to the week: Zen painting, the size of sets, Maddy
logicmatters.net·20h
🏗️Constructive Mathematics
Flexible and easy to care for: testing without mocks
heise.de·1d
🧪Property-Based Testing
The Garden Speaks: On Cucumbers, Mildew, and Projects
zakelfassi.com·5h·
Discuss: Hacker News
🐚Shell Calculus
(Republished from 2021): Your legacy database is outgrowing itself
unstructedtech.com·14m·
Discuss: Hacker News
🦀Rusty Databases
Fil's Unbelievable Garbage Collector
fil-c.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🧠Separation Logic
Thoughts on Visual Programming
btmc.substack.com·13h·
Discuss: Substack
📟Terminal Physics
C-to-N atom swap enables direct access to benzimidazoles from drug-like indoles
nature.com·10h·
Discuss: Hacker News
🌈Spectroscopy
Automating Security Research: AI Engine Exploits Complex Blind Code Injection
blog.ostorlab.co·3d·
Discuss: Hacker News
⚡Proof Automation
ML Systems: Motivating Dense Models
jacobkahn.me·3d·
Discuss: Hacker News
🧠Machine Learning
Look Out For Bugs
matklad.github.io·3d·
Discuss: Lobsters
🦀Rust Macros
Quality vs. Efficacy: Learning with AI
dev.to·2d·
Discuss: DEV
🧠Intelligence Compression
UNAUTHORIZED WINDOWS/386
virtuallyfun.com·12h·
Discuss: Hacker News
🕸️WASM Archives
INCPrompt: Task-Aware incremental Prompting for Rehearsal-Free Class-incremental Learning
arxiv.org·3d
🌳Incremental Parsing
Breaking the Mirror: Activation-Based Mitigation of Self-Preference in LLM Evaluators
arxiv.org·2d
💻Programming languages
Curse of Knowledge: When Complex Evaluation Context Benefits yet Biases LLM Judges
arxiv.org·3d
🎯Dependent Parsing
AI Artists vs. AI Engineers
frontierai.substack.com·2d·
Discuss: Substack
⚡Proof Automation
AI-Powered Personalized Physiotherapy Protocol Optimization via Bio-Signal Fusion and Reinforcement Learning
dev.to·1d·
Discuss: DEV
🎵Audio ML
This One Python Trick Will Make Your Code Look Like a Pro’s
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Cut Costs, Not Accuracy: LLM-Powered Data Processing with Guarantees
arxiv.org·3d
💻Local LLMs
Just One More Prompt
commandpattern.org·1d·
Discuss: Hacker News
⚡Proof Automation