| | 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
|
|
