user: lakesare

180 karma | created 6 years ago

https://github.com/lakesare

recent submissions

(no title)

5 months ago|discuss

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

3 pts|5 months ago|discuss

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

4 pts|8 months ago|discuss

How to Learn Statistics (page.brick.do)

4 pts|1 year ago|discuss

ADHD Guide to Spaced Repetition (page.brick.do)

29 pts|1 year ago|9 comments

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

4 pts|1 year ago|discuss

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

292 pts|2 years ago|79 comments

(no title)

2 years ago|discuss

Scraping training data for your mind (henrikkarlsson.xyz)

2 pts|2 years ago|discuss

Models of Memory and Understanding (lesswrong.com)

1 pts|2 years ago|discuss

(no title)

2 years ago|discuss

(no title)

2 years ago|discuss

(no title)

2 years ago|discuss

(no title)

2 years ago|discuss

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

1 pts|2 years ago|discuss

(no title)

2 years ago|discuss

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

158 pts|2 years ago|28 comments

(no title)

2 years ago|discuss

(no title)

1 pts|2 years ago|discuss

(no title)

2 years ago|discuss