🔢 lambda calculus - abnv · Scour

Matrix Calculus (for ML and beyond) -- notes. 🔍ML Language

kosti.bearblog.dev·2d·

Problem 00206 ∫Mathematical DSLs

andreinc.net·4d·

rahultumpala/dsm: Declarative finite state machines and pipelines 🎭Staged Interpreters

github.com·14h·

Meribah–Angelic–Coulon: Torsion, Functorial Redistribution & Quantum De πPi Calculus

beyondturbulence.blogspot.com·12m·

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·2d·Hacker News·

.me: The Identity Calculus λLambda Calculus

medium.com·4d·

bqn-smt 🔢Algebraic Datatypes

codeberg.org·2d·Lobsters·

Combinators 🧮Combinator Calculus

tinyapl.rubenverg.com·2d·Hacker News·

My theoretical computer science notes from Epsilon Camp πPi Calculus

scottaaronson.blog·4d·

llm 0.30 🔍ML Language

simonwillison.net·2d·

An Update On Typed Racket For HtDP 🎭Racket Modules

callumr.com·4d·

Wrapping my head around Tail Recursion and TCO 🔄Tail Recursion

reddit.com·1d·Substack·

Rust to C++: Implementing the Question Mark Operator 🦀Rust Macros

quarterstar.tech·1d·r/cpp·

When You Run Out of Types... 🌈Gradual Languages

buttondown.com·6d·

Eliding await keyword 🔗Lexical Scoping

alwaysdeveloping.net·2d·

A+ 💬REPL Design

aplwiki.com·2d·Hacker News·

From Prompt to Prediction: Understanding Prefill, Decode, and the KV Cache in LLMs 🔄Subinterpreters

machinelearningmastery.com·3d·

Functional programming is the simplest way to scale agentic development ✨Gleam

cyrusradfar.com·1d·Hacker News·

Introducing liter-llm: a Rust-based alternative to LiteLLM, available for 11 languages 🪆Embedded DSLs

reddit.com·4d·r/Python·

Donald Raab: Measuring the Startup Memory Cost for Lazy Iteration Patterns in Java 🗑️Garbage Collection

donraab.medium.com·2d·

Loading more...