# Bookmarks

Articles, papers and guides Elies García Alvira has saved, with the date each was saved.

## Sep 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, post, 2026-09-23)
- [On Proof and Progress in Mathematics](https://arxiv.org/pdf/math/9404236) (William P. Thurston, arxiv.org, essay, 2026-09-21)
- [The contagion of fear](https://bcantrill.dtrace.org/2026/09/13/the-contagion-of-fear/) (Bryan Cantrill, bcantrill.dtrace.org, post, 2026-09-14)
- [Conventional Commits Change my Brain](https://point.free/blog/conventional-commits/) (Christina Emilie Sørensen, point.free, post, 2026-09-09)

## Aug 2026

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

## Jul 2026

- [On Proofs Without Words](https://www.whitman.edu/documents/academics/majors/mathematics/Miller.pdf) (Robin L. Miller, whitman.edu, thesis, 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, post, 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, post, 2026-05-05)

## Feb 2026

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

## Dec 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, post, 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, post, 2025-11-18)

## Oct 2025

- [Epoch Semantic Versioning](https://antfu.me/posts/epoch-semver) (Anthony Fu, antfu.me, post, 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, post, 2025-10-02)
- [TigerStyle](https://github.com/tigerbeetle/tigerbeetle/blob/main/docs/TIGER_STYLE.md) (TigerBeetle, github.com, guide, 2025-10-02)

## Sep 2025

- [APIs as ladders](https://blog.sbensu.com/posts/apis-as-ladders/) (Sebastian Bensusan, blog.sbensu.com, post, 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, post, 2024-11-25)