Lichess Puzzle Timer: A browser extension to help you do chess puzzles slowercatswhisker.xyz·1 pts·cristoperb·1
Goedel-Prover-v2: The strongest open-source theorem prover to dateblog.goedel-prover.com·1 pts·cristoperb·0
Don’t record your social life on an append-only social network (2022)ctrl.blog·159 pts·cristoperb·136