All
5+
10+
25+
50+
100+
3
How to Learn Statistics (brick.do)
3 months ago |
lakesare
| brick.do
|
newest
20
ADHD Guide to Spaced Repetition (brick.do)
3 months ago |
lakesare
| brick.do
|
frontpage
2
Uppy publishes v4.0 – full conversion to TypeScript, GooglePhotos, and more (uppy.io)
10 months ago |
lakesare
| uppy.io
|
newest
117
Not a real engineer (2019) (twitchard.github.io)
a year ago |
lakesare
| github.io
|
best
1
Scraping training data for your mind (henrikkarlsson.xyz)
a year ago |
lakesare
| henrikkarlsson.xyz
|
newest
1
Models of Memory and Understanding (lesswrong.com)
a year ago |
lakesare
| lesswrong.com
|
newest
1
Browsing Paper Copies of “Nature” and “Science” (jawws.substack.com)
a year ago |
lakesare
| substack.com
|
newest
24
Lean, Coq and other proof assistants: Visualising proofs as trees (brick.do)
a year ago |
lakesare
| brick.do
|
best
2
Metaprogramming in Lean: An Overview (brick.do)
2 years ago |
lakesare
| brick.do
|
newest
1
Explaining types, sorts and universes in Lean (brick.do)
2 years ago |
lakesare
| brick.do
|
newest
2
Testing your code VS testing your scientific model
2 years ago |
lakesare
| brick.do
|
newest
29
Demystifying tables (cells inside; borders outside)
2 years ago |
lakesare
| brick.do
|
frontpage
4
The Myth of the Good Practice
2 years ago |
lakesare
| brick.do
|
newest