| | How to Search for Theorems in Lean 4 (brick.do) |
| 4 points by lakesare 5 months ago | past |
|
| | How to Learn Statistics (brick.do) |
| 4 points by lakesare 10 months ago | past |
|
| | ADHD Guide to Spaced Repetition (brick.do) |
| 29 points by lakesare 10 months ago | past | 9 comments |
|
| | Lean, Coq and other proof assistants: Visualising proofs as trees (brick.do) |
| 158 points by lakesare on Sept 20, 2023 | past | 28 comments |
|
| | Metaprogramming in Lean: An Overview (brick.do) |
| 5 points by lakesare on March 14, 2023 | past |
|
| | Carl Rogers' non-directive teaching (brick.do) |
| 1 point by neongreen on Dec 13, 2022 | past |
|
| | Explaining types, sorts and universes in Lean (brick.do) |
| 1 point by lakesare on Dec 1, 2022 | past |
|
| | Testing your code VS testing your scientific model (brick.do) |
| 3 points by lakesare on Sept 16, 2022 | past |
|
| | Demystifying tables (cells inside; borders outside) (brick.do) |
| 64 points by lakesare on Sept 14, 2022 | past | 21 comments |
|
| | The Myth of the Good Practice (brick.do) |
| 2 points by lakesare on Sept 14, 2022 | past | 2 comments |
|
| | Diminishing and Emphasizing Emotion (brick.do) |
| 1 point by rajlego on Sept 3, 2021 | past |
|
| | The syndrome of subtle and persistent lack of motivation when coding (brick.do) |
| 5 points by neongreen on June 17, 2021 | past | 2 comments |
|
| | Reasons to Dislike Reasons (brick.do) |
| 2 points by TheTrotters on June 15, 2021 | past |
|
| | My Best Autohotkey Scripts (brick.do) |
| 2 points by rajlego on May 10, 2021 | past |
|
| | Let Us Prepare (2021) (brick.do) |
| 1 point by rajlego on May 9, 2021 | past |
|
| | A basic intuition for copyright law and GPL (brick.do) |
| 2 points by neongreen on Jan 3, 2021 | past |
|
| | Learn Just Enough About Linear Types (brick.do) |
| 2 points by jbrot on Dec 26, 2020 | past |
|
| | Chronic procrastination as a coping mechanism for guilt (brick.do) |
| 4 points by neongreen on Nov 7, 2020 | past |
|
| | Show HN: Brick, a free Notion-like tool for zero-hassle site making (brick.do) |
| 187 points by neongreen on Aug 2, 2020 | past | 101 comments |
|
| | Brick: Publish your writing with zero hassle (brick.do) |
| 1 point by yoloswagins on May 19, 2020 | past |
|
