Elies García Alvira

Bookmarks (16)

Sep 2026 (4)

If math is more than proof, we need to better celebrate the rest of itterrytao.wordpress.com · Terence Tao · post
On Proof and Progress in Mathematicsarxiv.org · William P. Thurston · essay
The contagion of fearbcantrill.dtrace.org · Bryan Cantrill · post
Conventional Commits Change my Brainpoint.free · Christina Emilie Sørensen · post

Aug 2026 (1)

A Graphical Notation for the Lambda Calculus With Animated Reductiondkeenan.com · David C. Keenan · article

Jul 2026 (1)

On Proofs Without Wordswhitman.edu · Robin L. Miller · thesis

May 2026 (2)

Types as axioms, or: playing god with static typeslexi-lambda.github.io · Alexis King · post
Parse, don't validatelexi-lambda.github.io · Alexis King · post

Feb 2026 (1)

Taste for Makerspaulgraham.com · Paul Graham · essay

Dec 2025 (1)

It's rude to show AI output to peopledistantprovince.by · Alex Martsinovich · post

Nov 2025 (1)

Push Ifs Up And Fors Downmatklad.github.io · Alex Kladov · post

Oct 2025 (3)

Epoch Semantic Versioningantfu.me · Anthony Fu · post
Three Clocks are Better than Onetigerbeetle.com · Joran Dirk Greef · post
TigerStylegithub.com · TigerBeetle · guide

Sep 2025 (1)

APIs as laddersblog.sbensu.com · Sebastian Bensusan · post

Nov 2024 (1)

What is an Invariant?matklad.github.io · Alex Kladov · post