Submissions from brick.do

		How to Search for Theorems in Lean 4 (brick.do)
		4 points by lakesare 9 months ago \| past
		How to Learn Statistics (brick.do)
		4 points by lakesare on Feb 27, 2025 \| past
		ADHD Guide to Spaced Repetition (brick.do)
		29 points by lakesare on Feb 27, 2025 \| 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

HN For You