Hacker Newsnew | past | comments | ask | show | jobs | submit | lakesare's submissionslogin
1.Show HN: Meresei – Calendar for Non-24 (Sleep-Wake Disorder) (meresei.com)
3 points by lakesare 6 months ago | past
2.How to Search for Theorems in Lean 4 (brick.do)
4 points by lakesare 8 months ago | past
3.How to Learn Statistics (brick.do)
4 points by lakesare on Feb 27, 2025 | past
4.ADHD Guide to Spaced Repetition (brick.do)
29 points by lakesare on Feb 27, 2025 | past | 9 comments
5.Uppy publishes v4.0 – full conversion to TypeScript, GooglePhotos, and more (uppy.io)
4 points by lakesare on July 25, 2024 | past
6.Not a real engineer (2019) (twitchard.github.io)
292 points by lakesare on Dec 3, 2023 | past | 79 comments
7.Scraping training data for your mind (henrikkarlsson.xyz)
2 points by lakesare on Sept 22, 2023 | past
8.Models of Memory and Understanding (lesswrong.com)
1 point by lakesare on Sept 22, 2023 | past
9.Browsing Paper Copies of “Nature” and “Science” (jawws.substack.com)
1 point by lakesare on Sept 21, 2023 | past
10.Lean, Coq and other proof assistants: Visualising proofs as trees (brick.do)
158 points by lakesare on Sept 20, 2023 | past | 28 comments
11.Metaprogramming in Lean: An Overview (brick.do)
5 points by lakesare on March 14, 2023 | past
12.Explaining types, sorts and universes in Lean (brick.do)
1 point by lakesare on Dec 1, 2022 | past
13.Testing your code VS testing your scientific model (brick.do)
3 points by lakesare on Sept 16, 2022 | past
14.Demystifying tables (cells inside; borders outside) (brick.do)
64 points by lakesare on Sept 14, 2022 | past | 21 comments
15.The Myth of the Good Practice (brick.do)
2 points by lakesare on Sept 14, 2022 | past | 2 comments
16.Open-source spaced-repetition site for developers (github.com/lakesare)
3 points by lakesare on April 22, 2020 | past | 1 comment
17.What if: Deeply Nested SCSS Is Good (medium.com/lakesare)
3 points by lakesare on Sept 3, 2019 | past | 2 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: