✨ 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·9h·
Discuss: Substack
🦀Rust Macros
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·15h·
Discuss: DEV
⚡Performance Tools
How to survive the apocalypse: a conversation with Tim O’Reilly about Generative AI
chelseatroy.com·2h
📏Code Metrics
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
My AI Workflow for Understanding Any Codebase
steipete.me·13h
⚡Proof Automation
Piloting Copilot, Codex, and StarCoder2: Hot Temperature, Cold Prompts, or Black Magic?
arxiv.org·1d
✨Algebraic Effects
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·45m·
Discuss: Hacker News
📟Terminal Typography
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·12h·
Discuss: Hacker News
🔗Constraint Handling
Why Dyad?: A Perspective for Modelica Users
juliahub.com·9h·
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·20h
🔗Topological Sorting
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.com·1d
🤖Grammar Induction
Lessons from LangChain and Slack and MCP Integration
medium.com·1d·
Discuss: Hacker News
🔗Topological Sorting
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·20h
🔍Concolic Testing
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·16h
⬆️Lambda Lifting
An All-Around Better Horse
patrickhebron.com·6h·
Discuss: Hacker News
🧠Knowledge Management
Explaining software and computational methods
blog.khinsen.net·1d·
Discuss: Hacker News
📝Concrete Syntax
Slashing CI Costs at Uber
uber.com·14h·
Discuss: Hacker News
🔄Reproducible Builds