| 50 years of proof assistants 142 points by baruchel | 30 Comments |
| Lean theorem prover mathlib 83 points by downboots | 4 Comments |
| Do dyslexia fonts work? (2022) 59 points by CharlesW | 68 Comments |
| US Tech Force 223 points by purple_ferret | 298 Comments |
| I tried Gleam for Advent of Code 349 points by tymscar | 211 Comments |
| Modalz Modalz Modalz (2018) 18 points by iamwil | 5 Comments |
| Async DNS 135 points by todsacerdoti | 48 Comments |
| Read Something Wonderful 189 points by snorbleck | 33 Comments |
| Checkers Arcade 44 points by fogus | 3 Comments |