✨ Effect Handlers

Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

They can't always be good days
dev.to·3h·
Discuss: DEV
🎯Gradual Typing
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·1h·
Discuss: Hacker News
⬆️Lambda Lifting
Incremental query updating in adhesive categories
topos.institute·3h
🔗Combinatory Logic
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·16h·
Discuss: Hacker News
📊Count-Min Sketch
Tradeoffs of Highly-Expressive Types
jnkr.tech·22h·
Discuss: Hacker News
🎯Gradual Typing
Bootstrapping a Forth for Art
tia.mat.br·20h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Algebraic approach reveals how to restore complex altered gene networks
phys.org·3h
🔲Cellular Automata
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·2d
🎯Performance Proofs
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·3h·
Discuss: Hacker News
🔄Language Evolution
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Polynomial Chaos Expansion for Operator Learning
arxiv.org·2d
🧠Machine Learning
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev·17h·
Discuss: r/rust
🦀Rust Macros
Four Multipliers for Using AI Well: My Working Model
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·16h·
Discuss: Hacker News
🔩Systems Programming
Mojo Roadmap Document
docs.modular.com·2d·
Discuss: Hacker News
💻Programming languages
The AI Engineer's Guide to LLM Observability with OpenTelemetry
agenta.ai·7h·
Discuss: Hacker News
👁️System Observability
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·5h·
Discuss: Hacker News
🌊Stream Processing
The use of Claude Code in SciML repos
discourse.julialang.org·1d·
Discuss: Hacker News
📏Code Metrics
Explaining the Need for Strongly Happens Before in C++
nekrozqliphort.github.io·3d·
Discuss: Hacker News, r/cpp
✨Algebraic Effects
Understanding Matrices | Part 4: Matrix Inverse
towardsdatascience.com·1d
📐Linear Algebra