50

With 86% of the words, you might understand only 38% of an anime's lines (learnfromx.com)

9 hours ago lakesare learnfromx.com

2

Show HN: Meresei – Calendar for Non-24 (Sleep-Wake Disorder) (meresei.com)

a year ago lakesare meresei.com

3

How to Search for Theorems in Lean 4 (brick.do)

a year ago lakesare brick.do

3

How to Learn Statistics (brick.do)

a year ago lakesare brick.do

20

ADHD Guide to Spaced Repetition (brick.do)

a year ago lakesare brick.do

2

Uppy publishes v4.0 – full conversion to TypeScript, GooglePhotos, and more (uppy.io)

2 years ago lakesare uppy.io

117

Not a real engineer (2019) (twitchard.github.io)

2 years ago lakesare github.io

1

Scraping training data for your mind (henrikkarlsson.xyz)

3 years ago lakesare henrikkarlsson.xyz

1

Models of Memory and Understanding (lesswrong.com)

3 years ago lakesare lesswrong.com

1

Browsing Paper Copies of “Nature” and “Science” (jawws.substack.com)

3 years ago lakesare substack.com

24

Lean, Coq and other proof assistants: Visualising proofs as trees (brick.do)

3 years ago lakesare brick.do

2

Metaprogramming in Lean: An Overview (brick.do)

3 years ago lakesare brick.do

1

Explaining types, sorts and universes in Lean (brick.do)

3 years ago lakesare brick.do

2

Testing your code VS testing your scientific model

4 years ago lakesare brick.do

29

Demystifying tables (cells inside; borders outside)

4 years ago lakesare brick.do

4

The Myth of the Good Practice

4 years ago lakesare brick.do