HN Explorer

lakesare

↗ HN profile [ 3832 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Meresei – Calendar for Non-24 (Sleep-Wake Disorder) (meresei.com)

    I have non-24-hour sleep disorder with a 25-hour cycle, and used to draw these calendars manually in Excel to track my shifting sleep schedule. Finally automated it. Green cells show when you're awake. You can click any…

    3 points 0
  2. How to Search for Theorems in Lean 4 (lakesare.brick.do)
    4 points 0
  3. How to Learn Statistics (page.brick.do)
    4 points 0
  4. ADHD Guide to Spaced Repetition (page.brick.do)
    29 points 11
  5. Uppy publishes v4.0 – full conversion to TypeScript, GooglePhotos, and more (uppy.io)
    4 points 0
  6. Not a real engineer (2019) (twitchard.github.io)
    292 points 86
  7. Scraping training data for your mind (henrikkarlsson.xyz)
    2 points 0
  8. Models of Memory and Understanding (lesswrong.com)
    1 points 0
  9. Browsing Paper Copies of “Nature” and “Science” (jawws.substack.com)
    1 points 0
  10. Lean, Coq and other proof assistants: Visualising proofs as trees (lakesare.brick.do)

    This is my overview of proof visualisation tools among all modern proof assistants. If you're aware of any tools I might have missed, please @ me in the comments. I aimed to cover every one I could find.

    158 points 32
  11. 1 points 1
  12. Metaprogramming in Lean: An Overview (lakesare.brick.do)
    5 points 0
  13. Explaining types, sorts and universes in Lean (lakesare.brick.do)
    1 points 0
  14. Testing your code VS testing your scientific model (lakesare.brick.do)
    3 points 0
  15. Demystifying tables (cells inside; borders outside) (lakesare.brick.do)
    64 points 22
  16. The Myth of the Good Practice (lakesare.brick.do)
    2 points 2
  17. Open-source spaced-repetition site for developers (github.com)
    3 points 1
  18. What if: Deeply Nested SCSS Is Good (medium.com)
    3 points 2