Stories by lakesare

How to Search for Theorems in Lean 4

How to Learn Statistics

ADHD Guide to Spaced Repetition

Not a real engineer (2019)

Scraping training data for your mind

Models of Memory and Understanding

Browsing Paper Copies of “Nature” and “Science”

Lean, Coq and other proof assistants: Visualising proofs as trees

Metaprogramming in Lean: An Overview

Explaining types, sorts and universes in Lean

Testing your code VS testing your scientific model

Demystifying tables (cells inside; borders outside)

The Myth of the Good Practice

Open-source spaced-repetition site for developers

What if: Deeply Nested SCSS Is Good