Functional Abstract Interpretation
simon.peytonjones.org·21h·
Discuss: Hacker News
🔗Functional Compilers
Historical highlights?
logicmatters.net·10h
🔀Category Theory
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·21h·
Discuss: Hacker News
🔍Type Inference
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
A Rust shaped hole
ente.io·1d
🦀Rust Macros
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·21h
🧠Learned Indexing
Cactus Language • Stylistics 4
inquiryintoinquiry.com·6h
🌳Context free grammars
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
Song recommendations with pipes and filters
blog.ploeh.dk·1d
λLambda Formalization
Discrete Differential Principle for Continuous Smooth Function Representation
arxiv.org·17h
🌀Differential Geometry
Parsing Safetensors File Format in C
leetarxiv.substack.com·5h·
Discuss: Substack, r/programming
✅Format Verification
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·6h
🦀Rust Verification
A distributed systems reliability glossary
antithesis.com·6h·
Discuss: Lobsters, Hacker News
✅Archive Fixity
Billions of Edges per Second with Postgres
onesparse.com·2h·
Discuss: Hacker News
🗜️Graph Compression
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
FSM Library for Embedded C Projects
hackster.io·1d
🦀Embedded Rust
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·1d·
Discuss: r/programming
✅Format Verification
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·4h
🎯Gradual Typing