✨ Effect Handlers

Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·10h·
Discuss: DEV
⚡Performance Tools
Explaining software and computational methods
blog.khinsen.net·18h
📝Concrete Syntax
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·18h
🧮Prolog Parsing
Piloting Copilot, Codex, and StarCoder2: Hot Temperature, Cold Prompts, or Black Magic?
arxiv.org·1d
✨Algebraic Effects
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·6h·
Discuss: Hacker News
🔗Constraint Handling
Why Dyad?: A Perspective for Modelica Users
juliahub.com·3h·
Discuss: Hacker News
💧Liquid Types
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·14h
🔗Topological Sorting
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.com·23h
🤖Grammar Induction
Lessons from LangChain and Slack and MCP Integration
medium.com·21h·
Discuss: Hacker News
🔗Topological Sorting
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·14h
🔍Concolic Testing
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·11h
⬆️Lambda Lifting
An All-Around Better Horse
patrickhebron.com·57m·
Discuss: Hacker News
🧠Knowledge Management
Slashing CI Costs at Uber
uber.com·8h·
Discuss: Hacker News
🔄Reproducible Builds
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
PEGTL -- Parsing Expression Grammar Template Library
github.com·19h·
Discuss: Hacker News
🔗Parser Combinators