lakesare

6 ms·

1.
by lakesare 1y ago
Loving the sepia theme, and in general fells really pleasant to me (something I did lack in other writing software). I think I will try it for my next project :)
2.
Show HN: Meresei – Calendar for Non-24 (Sleep-Wake Disorder)(meresei.com)
3 points by lakesare 1y ago|0 comments
3.
How to Search for Theorems in Lean 4(lakesare.brick.do)
4 points by lakesare 1y ago|0 comments
4.
How to Learn Statistics(page.brick.do)
4 points by lakesare 2y ago|0 comments
5.
ADHD Guide to Spaced Repetition(page.brick.do)
29 points by lakesare 2y ago|9 comments
6.
Uppy publishes v4.0 – full conversion to TypeScript, GooglePhotos, and more(uppy.io)
4 points by lakesare 2y ago|0 comments
7.
Not a real engineer (2019)(twitchard.github.io)
292 points by lakesare 3y ago|79 comments
8.
by lakesare 3y ago
Thanks for the link. I've been reading Leslie Lamport's TLA works this year coincidentally, but never stumbled upon this one. His structured proofs would turn into a paperproof-style tree if he turned his 3.1.1.1. numbers into a t
9.
Scraping training data for your mind(henrikkarlsson.xyz)
2 points by lakesare 3y ago|0 comments
10.
Models of Memory and Understanding(lesswrong.com)
1 points by lakesare 3y ago|0 comments
11.
by lakesare 3y ago
Reminds me of characteristica universalis
12.
by lakesare 3y ago
I love "Lean" actually, have you noticed ∃∀. Googling Lean concepts does primarily return the codeine syrup links though yes.
13.
by lakesare 3y ago
That's correct, in fact we would have a DAG if we displayed all possible arrows, but we conceal it to make the UI easier to interact with for the user. Hypotheses (green nodes) form many little trees, and goals (red trees) form a singl
14.
by lakesare 3y ago
It isn't necessary to know theory for these visualisations to be useful, both Traf and Paperproof (and sequence calculus trees!) should, ideally, just reflect what's already happening in your mental image while you're writing
15.
Browsing Paper Copies of “Nature” and “Science”(jawws.substack.com)
1 points by lakesare 3y ago|0 comments
16.
Lean, Coq and other proof assistants: Visualising proofs as trees(lakesare.brick.do)
158 points by lakesare 3y ago|28 comments
17.
by lakesare 3y ago
A blog post where I catalog all Lean [proof assistant] books that exist in nature, share my opinion on them, and suggest learning paths for Lean novices.
18.
Metaprogramming in Lean: An Overview(lakesare.brick.do)
5 points by lakesare 4y ago|0 comments
19.
Explaining types, sorts and universes in Lean(lakesare.brick.do)
1 points by lakesare 4y ago|0 comments
20.
Testing your code VS testing your scientific model(lakesare.brick.do)
3 points by lakesare 4y ago|0 comments
21.
by lakesare 4y ago
It does violate the perfect "Cartesian coordinates" normalization I described earlier, however I consider this is a permissible step up over the full normalization, because, while cutting down repetition (entirely), it still sugge
22.
by lakesare 4y ago
Hah, it basically goes into denormalisation! This certainly looks prettier than the initially shown full-fledged table structure, however I'm having more trouble reading it - it makes me slightly uncertain what text belongs to what ro
23.
by lakesare 4y ago
Sounds interesting, please link me to those guidelines if you stumble upon them!
24.
Demystifying tables (cells inside; borders outside)(lakesare.brick.do)
64 points by lakesare 4y ago|21 comments
25.
The Myth of the Good Practice(lakesare.brick.do)
2 points by lakesare 4y ago|2 comments
26.
by lakesare 4y ago
No gods no masters no best practices
27.
by lakesare 6y ago
Have you tried the open-source SRS https://www.memcode.com folks? With images & formatting & SM2 spaced-repetition algorithm too.
28.
by lakesare 6y ago
Hi! I'm the author, I'd love to introduce Memcode. Memcode is an open-source flashcards site, created with STEM students/developers in mind. I created it because other spaced-repetition sites I've tried didn't inclu
29.
Open-source spaced-repetition site for developers(github.com)
3 points by lakesare 6y ago|1 comments
30.
by lakesare 7y ago
In the current frontend ecosystem, I felt fairly alone with my love for structuring CSS in a deeply nested fashion. I have had numerous discussions with my coworkers about it, and now, finally, I laid out my main arguments pro-deep-nesting,

More ›