asdftemp

5 ms·

1.
by asdftemp 13d ago
Came here also to point this out, because there is an easy to find solution that lacks only this property. I find this restriction somewhat unsatisfying though, because the easy solution does have the property that, for any smaller number o
2.
Gauguin, Descartes, Bayes: A Diurnal Golem's Brain(dl.acm.org)
25 points by asdftemp 1mo ago|5 comments
3.
by asdftemp 1mo ago
cf. https://news.ycombinator.com/item?id=49279638 , "How art invented humanity"
4.
by asdftemp 2y ago
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 a momentary "shred" of visual/muscular though
5.
by asdftemp 2y ago
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 they write. the harder the experience is to verbalize, th
6.
ChatGPT Doesn't Know Anything(jimmyhmiller.github.io)
1 points by asdftemp 2y ago|0 comments
7.
by asdftemp 2y ago
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 possible that the point isn’t landing. you seem to be living near
8.
by asdftemp 3y ago
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 traditional algorithm is actually quadratic.
9.
Dynamicland: A Communal Computer (2017)(dynamicland.org)
1 points by asdftemp 3y ago|0 comments
10.
by asdftemp 4y ago
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]
11.
Motto: Unsafe languages allow mostly-safe implementations(humprog.org)
51 points by asdftemp 4y ago|6 comments
12.
by asdftemp 4y ago
if hoofprints in snow were legible as a book cover, an allusion to the Name of the Rose would be even better :)
13.
Book Review: Crazy Like Us(astralcodexten.substack.com)
1 points by asdftemp 5y ago|0 comments
14.
by asdftemp 6y ago
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 users with tools to build interfaces that scale up to the c
15.
by asdftemp 6y ago
https://mitpress.mit.edu/sites/default/files/sicp/full-text/...
16.
Porta: Profiling Software Tutorials Using Operating-System-Wide Activity Tracing(pgbovine.net)
2 points by asdftemp 7y ago|0 comments
17.
by asdftemp 7y ago
> 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 view is to start with the specification, interpreted as a ge
18.
by asdftemp 8y ago
this is a neat way to avoid moving those pointers around: https://www.cs.kent.ac.uk/pubs/2010/2970/content.pdf
19.
by asdftemp 10y ago
"swap sword" is a pretty neat recent ios game where the character/enemies inhabit a match-3 grid
20.
by asdftemp 11y ago
a simpler introduction http://blog.sigfpe.com/2006/11/yoneda-lemma.html
21.
by asdftemp 11y ago
hi there, you might start with this mathoverflow thread: http://mathoverflow.net/questions/106560/philosophy-behind-m...
22.
by asdftemp 11y ago
https://en.wikipedia.org/wiki/Kirchhoff%27s_theorem ?