| 1. | | Show HN: Meresei – Calendar for Non-24 (Sleep-Wake Disorder) (meresei.com) |
| 3 points by lakesare 6 months ago | past |
|
| 2. | | How to Search for Theorems in Lean 4 (brick.do) |
| 4 points by lakesare 8 months ago | past |
|
| 3. | | How to Learn Statistics (brick.do) |
| 4 points by lakesare on Feb 27, 2025 | past |
|
| 4. | | ADHD Guide to Spaced Repetition (brick.do) |
| 29 points by lakesare on Feb 27, 2025 | past | 9 comments |
|
| 5. | | Uppy publishes v4.0 – full conversion to TypeScript, GooglePhotos, and more (uppy.io) |
| 4 points by lakesare on July 25, 2024 | past |
|
| 6. | | Not a real engineer (2019) (twitchard.github.io) |
| 292 points by lakesare on Dec 3, 2023 | past | 79 comments |
|
| 7. | | Scraping training data for your mind (henrikkarlsson.xyz) |
| 2 points by lakesare on Sept 22, 2023 | past |
|
| 8. | | Models of Memory and Understanding (lesswrong.com) |
| 1 point by lakesare on Sept 22, 2023 | past |
|
| 9. | | Browsing Paper Copies of “Nature” and “Science” (jawws.substack.com) |
| 1 point by lakesare on Sept 21, 2023 | past |
|
| 10. | | Lean, Coq and other proof assistants: Visualising proofs as trees (brick.do) |
| 158 points by lakesare on Sept 20, 2023 | past | 28 comments |
|
| 11. | | Metaprogramming in Lean: An Overview (brick.do) |
| 5 points by lakesare on March 14, 2023 | past |
|
| 12. | | Explaining types, sorts and universes in Lean (brick.do) |
| 1 point by lakesare on Dec 1, 2022 | past |
|
| 13. | | Testing your code VS testing your scientific model (brick.do) |
| 3 points by lakesare on Sept 16, 2022 | past |
|
| 14. | | Demystifying tables (cells inside; borders outside) (brick.do) |
| 64 points by lakesare on Sept 14, 2022 | past | 21 comments |
|
| 15. | | The Myth of the Good Practice (brick.do) |
| 2 points by lakesare on Sept 14, 2022 | past | 2 comments |
|
| 16. | | Open-source spaced-repetition site for developers (github.com/lakesare) |
| 3 points by lakesare on April 22, 2020 | past | 1 comment |
|
| 17. | | What if: Deeply Nested SCSS Is Good (medium.com/lakesare) |
| 3 points by lakesare on Sept 3, 2019 | past | 2 comments |
|
