Tail Call Optimization, Continuations, Hygiene, Educational Lisp

Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·2d·
Discuss: Hacker News
πPi Calculus
Provable Cryptography for Bitcoin: An Introduction (Workbook)
delvingbitcoin.org·12h
📡Binary Protocols
List Vs. Tuple: Understanding The Differences In Python - Maine News Online
mainenewsonline.com·1d
🐍CPython Internals
Baking with Rails at scale: recipes in Ruby, cookware from Go, C, and Rust
evilmartians.com·2d
💬Smalltalk VMs
Don’t let a generation lose faith in free speech - The Bradford Era
bradfordera.com·19h
🏠indieweb
Linkage
11011110.github.io·1d
🧮Combinator Calculus
original ↗
blog.djnavarro.net·3d
📝Rope Editors
Is The Pursuit Of AI & Humanoid Robots Based On A Flawed Approach?
cleantechnica.com·10h
🏰Capability Machines
Need suggestions for learning Go
reddit.com·1d·
Discuss: r/golang
💬Interactive REPLs
MAIstro – multi-agent framework for medical imaging workflows
github.com·11h·
Discuss: Hacker News
🔮Metacircular Evaluators
Chapter 4: LLM Providers
cline.ghost.io·8h
🥾Bootstrapping Strategies
Fast Navigation Guide : ArcAlphabetIndexer in HarmonyOS Next Using ArkTS and ArkUI
dev.to·45m·
Discuss: DEV
📝Rope Editors
Second attempt at learning rust
reddit.com·2d·
Discuss: r/rust
🔒Rust Borrowing
FACTORS: Factorial Approximation for Complementary Two-factor Optimization with Risk-aware Scoring
arxiv.org·22h
Effect Inference
LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.to·2d·
Discuss: DEV
🌊Dataflow Languages
Linear Regression in a Nutshell
dev.to·10h·
Discuss: DEV
🌱Minimal ML
Krish Naik: Modern Approach To Learn AI For Any Roles
dev.to·10h·
Discuss: DEV
🎮Language Ergonomics
Erase and Rewind: Teaching LLMs to Forget Without Amnesia
dev.to·3h·
Discuss: DEV
🪜Recursive Descent
Many hard LeetCode problems are easy constraint problems
dev.to·3d·
Discuss: DEV
🧩Constraint Solvers
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🎯Finite Automata