# Marcadores

Artículos, ensayos y guías que Elies García Alvira ha guardado, con la fecha en que guardó cada uno.

## sept 2026

- [If math is more than proof, we need to better celebrate the rest of it](https://terrytao.wordpress.com/2026/09/18/if-math-is-more-than-proof-we-need-to-better-celebrate-the-rest-of-it) (Terence Tao, terrytao.wordpress.com, entrada, 2026-09-23)
- [On Proof and Progress in Mathematics](https://arxiv.org/pdf/math/9404236) (William P. Thurston, arxiv.org, ensayo, 2026-09-21)
- [The contagion of fear](https://bcantrill.dtrace.org/2026/09/13/the-contagion-of-fear/) (Bryan Cantrill, bcantrill.dtrace.org, entrada, 2026-09-14)
- [Conventional Commits Change my Brain](https://point.free/blog/conventional-commits/) (Christina Emilie Sørensen, point.free, entrada, 2026-09-09)

## ago 2026

- [A Graphical Notation for the Lambda Calculus With Animated Reduction](https://www.dkeenan.com/Lambda/index.htm) (David C. Keenan, dkeenan.com, artículo, 2026-08-14)

## jul 2026

- [On Proofs Without Words](https://www.whitman.edu/documents/academics/majors/mathematics/Miller.pdf) (Robin L. Miller, whitman.edu, tesis, 2026-07-18)

## may 2026

- [Types as axioms, or: playing god with static types](https://lexi-lambda.github.io/blog/2020/08/13/types-as-axioms-or-playing-god-with-static-types/) (Alexis King, lexi-lambda.github.io, entrada, 2026-05-06)
- [Parse, don't validate](https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/) (Alexis King, lexi-lambda.github.io, entrada, 2026-05-05)

## feb 2026

- [Taste for Makers](https://paulgraham.com/taste.html) (Paul Graham, paulgraham.com, ensayo, 2026-02-24)

## dic 2025

- [It's rude to show AI output to people](https://distantprovince.by/posts/its-rude-to-show-ai-output-to-people/) (Alex Martsinovich, distantprovince.by, entrada, 2025-12-23)

## nov 2025

- [Push Ifs Up And Fors Down](https://matklad.github.io/2023/11/15/push-ifs-up-and-fors-down.html) (Alex Kladov, matklad.github.io, entrada, 2025-11-18)

## oct 2025

- [Epoch Semantic Versioning](https://antfu.me/posts/epoch-semver) (Anthony Fu, antfu.me, entrada, 2025-10-15)
- [Three Clocks are Better than One](https://tigerbeetle.com/blog/2021-08-30-three-clocks-are-better-than-one/) (Joran Dirk Greef, tigerbeetle.com, entrada, 2025-10-02)
- [TigerStyle](https://github.com/tigerbeetle/tigerbeetle/blob/main/docs/TIGER_STYLE.md) (TigerBeetle, github.com, guía, 2025-10-02)

## sept 2025

- [APIs as ladders](https://blog.sbensu.com/posts/apis-as-ladders/) (Sebastian Bensusan, blog.sbensu.com, entrada, 2025-09-14)

## nov 2024

- [What is an Invariant?](https://matklad.github.io/2023/10/06/what-is-an-invariant.html) (Alex Kladov, matklad.github.io, entrada, 2024-11-25)