Elies García Alvira

Bookmarks (11)

Sep 2026 (3)

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

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

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 (2)

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

Sep 2025 (1)

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

Nov 2024 (1)

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