Top New Best Ask Show Jobs

lakesare

180 karma · joined April 26, 2019

https://github.com/lakesare

submissions comments

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

meresei.com·3 pts·lakesare·

How to Search for Theorems in Lean 4

lakesare.brick.do·4 pts·lakesare·

How to Learn Statistics

page.brick.do·4 pts·lakesare·

ADHD Guide to Spaced Repetition

page.brick.do·29 pts·lakesare·

Uppy publishes v4.0 – full conversion to TypeScript, GooglePhotos, and more

uppy.io·4 pts·lakesare·

Not a real engineer (2019)

twitchard.github.io·292 pts·lakesare·

Scraping training data for your mind

henrikkarlsson.xyz·2 pts·lakesare·

Models of Memory and Understanding

lesswrong.com·1 pts·lakesare·

Browsing Paper Copies of “Nature” and “Science”

jawws.substack.com·1 pts·lakesare·

Lean, Coq and other proof assistants: Visualising proofs as trees

lakesare.brick.do·158 pts·lakesare·

Metaprogramming in Lean: An Overview

lakesare.brick.do·5 pts·lakesare·

Explaining types, sorts and universes in Lean

lakesare.brick.do·1 pts·lakesare·

Testing your code VS testing your scientific model

lakesare.brick.do·3 pts·lakesare·

Demystifying tables (cells inside; borders outside)

lakesare.brick.do·64 pts·lakesare·

The Myth of the Good Practice

lakesare.brick.do·2 pts·lakesare·

Open-source spaced-repetition site for developers

github.com·3 pts·lakesare·

What if: Deeply Nested SCSS Is Good

medium.com·3 pts·lakesare·