Y Hacker News new | ask | show | jobs

user: lakesare created: 2019-04-26 karma: 180 https://github.com/lakesare submissions: 0 points | 0 comments Show HN: Meresei – Calendar for Non-24 (Sleep-Wake Disorder) 3 points | 0 comments How to Search for Theorems in Lean 4 4 points | 0 comments How to Learn Statistics 4 points | 0 comments ADHD Guide to Spaced Repetition 29 points | 9 comments Uppy publishes v4.0 – full conversion to TypeScript, GooglePhotos, and more 4 points | 0 comments Not a real engineer (2019) 292 points | 79 comments 0 points | 0 comments Scraping training data for your mind 2 points | 0 comments Models of Memory and Understanding 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Browsing Paper Copies of “Nature” and “Science” 1 points | 0 comments Lean, Coq and other proof assistants: Visualising proofs as trees 158 points | 28 comments 0 points | 0 comments Metaprogramming in Lean: An Overview 5 points | 0 comments Explaining types, sorts and universes in Lean 1 points | 0 comments Testing your code VS testing your scientific model 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Demystifying tables (cells inside; borders outside) 64 points | 21 comments 0 points | 0 comments The Myth of the Good Practice 2 points | 2 comments 0 points | 0 comments