Viewing profile — asdftemp

cf. https://news.ycombinator.com/item?id=49279638 , "How art invented humanity"

after meditating regularly for a while, doing a noting practice produced a distinct shift for me on this point. I realized that most of the time, when I hear a sound there is also …

attempt to interpret the parent comment more charitably: when different people who've shared a common experience try to put it into words, there is some consistency between what th…

personally, the post resonates strongly. focusing on this way of seeing has improved my life tremendously. based on the very little I know of you (your two posts) it sounds possibl…

I really like this analysis, which also discusses the “fast doubling” method: https://extratricky.com/blog/fibonacci-complexity it points out that the bit complexity of the traditi…

sorry about the misleading title choice; it’s quoted from the author’s homepage in reference to this work: https://www.humprog.org/~stephen/ also, could be marked [2017]

if hoofprints in snow were legible as a book cover, an allusion to the Name of the Rose would be even better :)

that is a neat demo with a lot of useful links! In fact, it seems that the Lean developers/community are very interested in new methods of achieving readability, and providing user…

https://mitpress.mit.edu/sites/default/files/sicp/full-text/...

> My main idea is that as a programmer what I do is constantly reducing the set of all programs to a particular program which satisfies the specification. An alternate point of vie…

this is a neat way to avoid moving those pointers around: https://www.cs.kent.ac.uk/pubs/2010/2970/content.pdf

"swap sword" is a pretty neat recent ios game where the character/enemies inhabit a match-3 grid

a simpler introduction http://blog.sigfpe.com/2006/11/yoneda-lemma.html

hi there, you might start with this mathoverflow thread: http://mathoverflow.net/questions/106560/philosophy-behind-m...

https://en.wikipedia.org/wiki/Kirchhoff%27s_theorem ?