The Cardinality of an Interval
youtube.com·3h
🏗️Constructive Analysis
In Ratio Section Method and Algorithms for Minimizing Unimodal Functions
arxiv.org·2h
📐Error Bounds
X Design Notes: Pattern Matching II
blog.polybdenum.com·7h
💻Programming languages
Cactus Language • Discussion 3
inquiryintoinquiry.com·1d
🧬Functional Programming
Isabelle rule musings
blueberrywren.dev·3d
🎯Proof Tactics
"Beauty Is Our Business"?
vanemden.wordpress.com·1d·
Discuss: Hacker News
📐Mathematical Art
Exploring chained operations and order of evaluation in python expressions
dev.to·1d·
Discuss: DEV
🔗Lisp
Who (or what) could have written a better book?
noncommutativeanalysis.wordpress.com·2d
🏗️Constructive Analysis
Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.com·5h
🔤Type Theory
Two Number Theory Items (and Woody Allen)
math.columbia.edu·1d
📚Archive Mathematics
My corner of the TTRPG universe
blog.balthazar-rouberol.com·8h
🔲Cellular Automata
Replacing clojure-lsp with clj-kondo and Refactor-nREPL
andreyor.st·11h
🧠Lisp Dialects
I built a Go framework: Anclax
github.com·22h·
Discuss: Hacker News
🔌Interface Evolution
Gauss–Seidel visually explained
wordsandbuttons.online·21h
📐Linear Algebra
My computer science RELEARNING progress logs
rbcrossley.github.io·20h·
Discuss: r/programming
🔩Systems Programming
Token Models as Statistical Simulations: A Different Take
medium.com·7h·
Discuss: Hacker News
💻Local LLMs
Everything you know is wrong
lawrencecpaulson.github.io·2d·
Discuss: Hacker News
🧮Theorem Proving
The Axiom of Choice
youtube.com·3h
⚔️Lean Theorem
Issue 490
haskellweekly.news·3d
🔗Functional Compilers
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·5d
⚔️Lean Tactics