Elies García Alvira

Marcadores (16)

sept 2026 (4)

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

ago 2026 (1)

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

jul 2026 (1)

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

may 2026 (2)

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

feb 2026 (1)

Taste for Makerspaulgraham.com · Paul Graham · ensayo

dic 2025 (1)

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

nov 2025 (1)

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

oct 2025 (3)

Epoch Semantic Versioningantfu.me · Anthony Fu · entrada
Three Clocks are Better than Onetigerbeetle.com · Joran Dirk Greef · entrada
TigerStylegithub.com · TigerBeetle · guía

sept 2025 (1)

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

nov 2024 (1)

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