Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·1d·
Discuss: Hacker News
πPi Calculus
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·1d·
Discuss: Hacker News
🎯Type Theory
List Vs. Tuple: Understanding The Differences In Python - Maine News Online
mainenewsonline.com·13h
🐍CPython Internals
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
functional programming
You can't test if quantum uses complex numbers
algassert.com·9h·
Discuss: Hacker News
Control Synthesis
original ↗
blog.djnavarro.net·1d
📝Rope Editors
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·34m·
Discuss: Hacker News
🏗️Cranelift
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·8h·
Discuss: DEV
🏗️Cranelift
Folks, we have the best π
lcamtuf.substack.com·14h·
Discuss: Substack
🧮Combinator Calculus
VoidCrawlers v0.2.0.25 to v0.2.0.33 Devlog
drjuicybear.itch.io·1h
🏗️Custom Allocators
Muon for Improved Foundation Model Pretraining Data Efficiency
building.nubank.com·3h
📋JSON Parsing
Math Game Monday: Honeycomb
denisegaskins.com·2h
🐹Minimal Go
Speeding up my Ray Tracer using JAX
kayleegeorge.github.io·3h·
Discuss: Hacker News
🔍Lens Libraries
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
🔒Rust Borrowing
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·5d
🔗Category Theory
Status Week 37
blogs.gnome.org·2h
⚙️TOML Parsers
OTW - Bandit Level 4 to Level 5
tbhaxor.com·15h
📦Executable Size
The success of artificial selection for collective composition hinges on initial and target values
elifesciences.org·21h
🗺️Region Polymorphism
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·8h·
Discuss: Hacker News
🌱Minimal Lisps