✨ Effect Handlers

Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·7h
🧮Theorem Proving
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·4h·
Discuss: Hacker News
🎯Gradual Typing
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·3h
📞Session Types
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·22h
⚡Proof Automation
Three Solutions to Nondeterminism in AI
blog.hellas.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
Revisiting Mixout: An Overlooked Path to Robust Finetuning
arxiv.org·1d
🧠Learned Codecs
The Library Method: Understanding @cache
dev.to·10h·
Discuss: DEV
⚡Cache Theory
An enough week
blog.mitrichev.ch·15h·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Getting a Hypergraph of Functions to a Browser
systeminit.com·18h·
Discuss: Hacker News
📐E-graphs
Multi-Core By Default
rfleury.com·10h·
Discuss: Hacker News
🔩Systems Programming
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·13h
🔲Cellular Automata
Injecting Hallucinations in Autonomous Vehicles: A Component-Agnostic Safety Evaluation Framework
arxiv.org·7h
✨Algebraic Effects
LINQ and Learning to Be Declarative
nickstambaugh.dev·20h·
Discuss: Hacker News
🔗Concatenative Programming
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·3h·
Discuss: Hacker News
⚙️Proof Engineering
Item Patterns and Struct Await
noratrieb.dev·6h·
Discuss: Hacker News
🦀Rust Macros
Causal Abstractions, Categorically Unified
arxiv.org·3d
🔀Category Theory
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·7h
🔗Parser Combinators
Ship Broken Things
matmul.net·16h·
Discuss: Hacker News
🔗Topological Sorting
Intent Weaving for AI Coding Agents
autohand.ai·9h·
Discuss: Hacker News
⚡Proof Automation
C++ Reflection and Qt MOC
wiki.qt.io·1d·
Discuss: Hacker News
🧩WASM Modules