✨ Effect Handlers

Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·10h
🔢Denotational Semantics
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1h·
Discuss: DEV
📝Concrete Syntax
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·23h
🦀Rust Verification
Claude is kicking ChatGPT's butt (in one thing)
ben-mini.com·14h·
Discuss: Hacker News
🌍Cultural Algorithms
Understanding Registers and Data Movement in x86-64 Assembly
blog.codingconfessions.com·1h
🔧RISC-V Assembler
Cactus Language • Stylistics 4
inquiryintoinquiry.com·22h
🌳Context free grammars
Inheritance over composition, sometimes
death.andgravity.com·1d
🦀Rust Macros
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·4h·
Discuss: r/MachineLearning
📊Learned Metrics
Canonical Bayesian Linear System Identification
arxiv.org·10h
🧠Machine Learning
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·14h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·1d
🧮Kolmogorov Complexity
A distributed systems reliability glossary
antithesis.com·23h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
A Rust Shaped Hole
mnvr.in·1d·
Discuss: Hacker News
🦀Rust Macros
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·22h
📜Proof Carrying Code
Ralph Wiggins as a "Software Engineer"
ghuntley.com·2d·
Discuss: Hacker News, Hacker News
🦀Rust Macros
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·2d·
Discuss: Hacker News
🔗Functional Compilers
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·6h·
Discuss: Hacker News
🌀Brotli Internals