Atomic and Saturated Models
functor.networkยท2dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Theory
Type Theory and Functional Programming (1999) [pdf]
dev.toยท4dยท
Discuss: DEV
๐Ÿ”งAPI Design
Recurse Checkins
404wolf.comยท4h
๐Ÿ”„Bootstrapping
Dimensional Analysis in Programming Languages (2018)
gmpreussner.comยท10hยท
Discuss: Hacker News
๐Ÿ”ขAlgebraic Datatypes
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.orgยท1h
๐ŸŽฒParser Fuzzing
TypeScript and the Illusion of Type-Safety
medium.comยท2dยท
Discuss: r/typescript
๐Ÿ”งAPI Design
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.toยท1hยท
Discuss: DEV
๐ŸŒณPattern Match Compilation
Python PEP 636 โ€“ Structural Pattern Matching: Tutorial
peps.python.orgยท18hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
Category Theory Illustrated โ€“ Natural Transformations
abuseofnotation.github.ioยท4dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Category Theory
ECS Implementation
reddit.comยท20hยท
Discuss: r/cpp
๐Ÿค–Embedded Go
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.comยท10hยท
Discuss: Hacker News
๐Ÿ›ก๏ธStack Safety
Domain Driven Design in Clojure with Generalized Hiccup
biotz.ioยท3dยท
Discuss: Lobsters, Hacker News
โšกfunctional programming
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinลฏ
logicmatters.netยท1d
๐Ÿ”—Concatenative Theory
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ieยท2h
๐Ÿ”’Rust Borrowing
OO Design Principles: GRASP patterns
slott56.github.ioยท1d
๐Ÿ”€Control Structures
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.comยท11h
๐ŸงฎCombinator Calculus
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.orgยท1h
๐Ÿ”ฌNanopasses
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.orgยท2dยท
Discuss: Lobsters, Hacker News
๐ŸŽญRacket Modules
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.ioยท1dยท
Discuss: Hacker News, r/LLM
๐Ÿ”ML Language
Show HN: Is-Kit โ€“ Lightweight TypeScript Guard and Validator Toolkit
github.comยท17hยท
Discuss: Hacker News
๐Ÿ”งAPI Design