Continuation Passing Style, Control Flow, Tail Calls, Functional Compilers

Handbook of Satisfiability (2021)
iospress.com·21h·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
honeycomb.io·3d·
📚Stack Data Structures
Flag this post
A new chapter at the Recurse Center
henryfellerhoff.com·1d
🔄Bootstrapping
Flag this post
Antonio Cuni: Inside SPy, part 1: Motivations and Goals
antocuni.eu·4d·
Discuss: Hacker News
🚀PyPy JIT
Flag this post
Bold Devlog - October Summary
bold-edit.com·1d·
Discuss: r/programming
📚Forth Compilers
Flag this post
The Shift Toward Reactive Programming in Modern Web Development
dev.to·1d·
Discuss: DEV
🌊Reactive Languages
Flag this post
What if you don't need MCP at all?
mariozechner.at·1d
🌐Browser Compilers
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·15h·
Discuss: DEV
Control Synthesis
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·1d·
Discuss: Hacker News
🐛Interactive Debuggers
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·4h
🪜Recursive Descent
Flag this post
Breakdown of JavaScript cores concept in connection to html with examples
dev.to·15h·
Discuss: DEV
🎪Playground Compilation
Flag this post
C++ needs a proper 'uninitialozed' value state
reddit.com·21h·
Discuss: r/cpp
🏷️Symbol Mangling
Flag this post
Why Your AI Agent Keeps Failing in Production (And How to Fix It)
pub.towardsai.net·11h
🎭Erlang OTP
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·3d
🔗Category Theory
Flag this post
Events as State are an Antipattern in MVI and MVVM - Here's Why
dev.to·9h·
Discuss: DEV
🌊Reactive Languages
Flag this post
I made a tensor runtime & inference framework in C (good for learning how inference works)
github.com·8h·
🐪MinCaml
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·4d·
Discuss: Substack
functional programming
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·2d·
🗂️Type Indexing
Flag this post
Turbocharge Claude Desktop: Use Docker MCP Toolkit for Real Developer Workflows
dev.to·3h·
Discuss: DEV
🌪️V8 TurboFan
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·2d·
Discuss: Hacker News
🎭Racket Modules
Flag this post