My first fifteen compilers (2019)
🔬Nanopasses
Flag this post
Discovering JavaScript's Hidden Secrets: Understanding String Matching Algorithms.
🔤String Algorithms
Flag this post
Myths Programmers Believe about CPU Caches
🧠Memory Models
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·18h
🔗Category Theory
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🔒Rust Borrowing
Flag this post
Issue 496
haskellweekly.news·1d
👑Dependent Haskell
Flag this post
The next RISC-V processor frontier: AI
edn.com·11h
🔧RISC-V
Flag this post
7 AI Study Workflows Developers Use to Learn Faster (Prompt Recipes Included)
💬Interactive REPLs
Flag this post
Roadmap for Improving the Type Checker
✅Type Checking
Flag this post
From Lossy to Lossless Reasoning
🪜Recursive Descent
Flag this post
Rouille – Rust Programming, in French
⚙️TOML Parsers
Flag this post
011e021d6fa524b55bfc5ba67522daeb | MD5 Breakdown?
infosecwriteups.com·15h
🔗Hash Functions
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·22h
📚Stack Allocation
Flag this post
Challenging the Fastest OSS Workflow Engine
📡Erlang BEAM
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
🔗Go Generics
Flag this post
De Bruijn Numerals
λLambda Calculus
Flag this post
Turbo: Just another AUR helper.
🚂Cranelift Backend
Flag this post
Loading...Loading more...