✨ Effect Handlers

Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

Show HN: AI Distiller (aid) reduces hallucinations during vibe coding
github.com·3h·
Discuss: Hacker News
🌀Brotli Internals
The Architecture of Web-Based Graphic Editors and 7 Design Patterns (Part 2)
dev.to·10h·
Discuss: DEV
⚡Effectful Programming
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·7h·
Discuss: Hacker News
🔗Functional Compilers
Experiment proposal: In-place initialization
github.com·5h
🦀Rust Macros
Cactus Language • Syntax 10
inquiryintoinquiry.com·4h
📝Concrete Syntax
To Bind and Loose a Reference
thephd.dev·20h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
My (mostly) minimalistic AI setup as a Senior Engineer in Big Tech
read.highgrowthengineer.com·5h·
Discuss: r/programming
⚡Proof Automation
Reflection and open implementations (2006)
dcc.uchile.cl·1d·
Discuss: Lobsters, Hacker News
🌐Protocol Synthesis
What Is Wrong with Statement Coverage
bullseye.com·2h·
Discuss: Hacker News
🧪Property-Based Testing
Counting with Categories (Part 1)
golem.ph.utexas.edu·5h
λLambda Formalization
Program Synthesis is Interesting and Open
stephendiehl.com·19h·
Discuss: Hacker News
💻Programming languages
Python Fundamentals: LEGB rule
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
higher: Your favourite Haskell type classes for Rust (2023)
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Engineered Meta-Cognitive Workflow Architecture for Windsurf
entrepeneur4lyf.github.io·2d·
Discuss: Hacker News
⚡Effectful Programming
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
Beyond Model Stacking: The Architecture Principles That Make Multimodal AI Systems Work
towardsdatascience.com·2d
✨Algebraic Effects
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·3d·
Discuss: Hacker News
🔢Denotational Semantics
RAG Made Simple: Simplicity’s Approach to Modular Retrieval & Generation (Part 1)
dev.to·7h·
Discuss: DEV
🌀Brotli Internals