busy beaver function
ncatlab.org·4h
⚔️Lean Theorem
Simpler Category Theory
ryanbrewer.dev·3d·
Discuss: Hacker News
🔀Category Theory
Characterizing NC1 with Typed Monoids
arxiv.org·5d
⚙️Syntactic Monoids
You could have invented CuTe hierarchical layout (but maybe not the rest of it?)
blog.ezyang.com·1d·
Discuss: blog.ezyang.com
⟷Bidirectional Programming
HigherOrderCO/HVM3
github.com·12h
🔗Functional Compilers
Knuth’s Twindragon
johndcook.com·1h
📐Mathematical Art
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
What is a smooth manifold?
burttotaro.wordpress.com·1d
🕸️Algebraic Topology
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·14h·
Discuss: Hacker News
⚔️Lean Theorem
Show HN: Novel GPT-2 sampling and memory architecture
github.com·4h·
Discuss: Hacker News
💎Information Crystallography
Scheme Basics
courses.cs.washington.edu·1d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·18h
🔲Cellular Automata
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
Software convergence
underlap.org·1d
🔢Denotational Semantics
A byte week
blog.mitrichev.ch·2h·
Discuss: blog.mitrichev.ch
🧪Binary Fuzzing
Icepath: a 2D Programming Language
healeycodes.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Beyond Bézier
beyondbezier.ch·4h·
Discuss: Hacker News
📖Nordic Typography
A better for loop?
cirw.in·1d
🦀Rust Macros
[$] The "impossibly small" Microdot web framework
lwn.net·23h
🌀Brotli Internals
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·4d·
Discuss: r/programming
🔤Type Theory