✨ Effect Handlers

Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

Three Meanings of Effects
burakemir.ch·10h·
Discuss: Hacker News
✨Algebraic Effects
SteeringControl: Holistic Evaluation of Alignment Steering in LLMs
arxiv.org·1d
🎯Gradual Typing
Mastering Go Interfaces: Memory Overhead and Optimization Tips
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Obscure feature + obscure feature + obscure feature = bug
antithesis.com·14h·
Discuss: Lobsters, r/programming
🧪Binary Fuzzing
Why Do LLMs Design Mediocre Architecture?
recurse.ml·11h·
Discuss: Hacker News, r/programming
🌀Brotli Internals
Fail loudly: a plea to stop hiding bugs
alejo.ch·4h·
Discuss: r/programming
🛡️Error Boundaries
Issue 490
haskellweekly.news·1d
🔗Functional Compilers
Isabelle rule musings
blueberrywren.dev·1d
🎯Proof Tactics
System Instruction Fixed Point
funcall.blogspot.com·3d·
Discuss: www.blogger.com
⚡Proof Automation
haskell/mtl
github.com·2d
🔗Functional Compilers
Cactus Language • Mechanics 1
inquiryintoinquiry.com·1d
📝Concrete Syntax
Automated Anomaly Detection & Root Cause Analysis in Distributed Transactional Systems via Causal Graph Embedding
dev.to·5h·
Discuss: DEV
👁️Observatory Systems
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·9h·
Discuss: Hacker News
🔨Compilers
If you are good at code review, you will be good at using AI agents
seangoedecke.com·2h
⚡Proof Automation
Controlling program flow with capabilities in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
From Prompt Chaos to Production: Engineering Reliable AI Conversations
dev.to·12h·
Discuss: DEV
⚡Proof Automation
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·1d·
Discuss: Hacker News
🌀Brotli Internals
What I learned building a programming language with LLM agents
eddmann.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Combating headcrabs in the Source SDK codebase
gamedev.net·1d·
Discuss: Hacker News
🦀Rust Macros
Yesterday’s talk video posted: Reflection — C++’s decade-defining rocket engine
herbsutter.com·1d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🦀Rust Borrowing