✨ Effect Handlers

Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

Designing a Flexible Ability System in Games Using the Chain of Responsibility Pattern
hackernoon.com·3h
✨Algebraic Effects
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·2h·
Discuss: Hacker News
🦀Rust Macros
Extensions and Shadows (9)
sites.psu.edu·1d
📸PNG Optimization
Why Computer Science Is No Good, Redux
cacm.acm.org·6h
🎯Performance Proofs
Machine Learning Fundamentals: model evaluation project
dev.to·6h·
Discuss: DEV
📏Code Metrics
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·10h·
Discuss: www.blogger.com
🌳Persistent Data Structures
We beat GPT-4o's baseline with a simple re-prompting loop
aimon.ai·1h·
Discuss: Hacker News
🌳Incremental Parsing
A New Concurrent ML in Guile Scheme
wingolog.org·15h·
Discuss: Hacker News
🔄Lens Laws
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·4h
🔬Refinement Types
A comprehensive taxonomy of hallucinations in Large Language Models
arxiv.org·20h
🌳Context free grammars
Week 31 Status
blogs.gnome.org·1d
🎯Gradual Typing
Software Internals Book Club
eatonphil.com·18h
⚙️Operating System Design
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
Unraveling The Thread Events
gbstudiocentral.com·1d
⚡Effectful Programming
Poltergeist: The Ghost That Keeps Your Builds Fresh
steipete.me·10h
🎯Gradual Typing
318
skynettoday.com·2d
🌀Brotli Internals
[P] Implementing Einsum
lyadalachanchu.github.io·2d
📐Linear Algebra
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
The Curse of the A-Word
temporal.io·16h·
Discuss: Hacker News
✨Algebraic Effects
Encapsulation Isn't Java's Fault (and Python Needs It Too)
lihil.cc·4h·
Discuss: Hacker News, r/programming
🔒WASM Capabilities