Readit News logoReadit News
User23 commented on Asynchrony is not concurrency   kristoff.it/blog/asynchro... · Posted by u/kristoff_it
User23 · a month ago
Asynchrony, parallelism, concurrency, and even deterministic execution (albeit as a degenerate case) are all just species of nondeterminism. Dijkstra and Scholten’s work on the subject is sadly under appreciated. And lest one thing this was ivory tower stuff, before he was a professor Dijkstra was a systems engineer writing operating systems on hilariously bad, by our standards, hardware.
User23 commented on Show HN: Ten years of running every day, visualized   nodaysoff.run... · Posted by u/friggeri
nathan_compton · a month ago
I think part of it is that I just don't think of pain as per se bad. A lot of people I know who struggle with exercise feel a little discomfort and act like its the end of the world. They get shin splits or something and they decide they can't run. I've had mild shin splits continuously for 15 years. It doesn't really bother me in the same way, I guess. When I get back from a run if I lightly bump my shins its excruciating.

I will say that now that I am getting older its getting a bit tougher - the pain is worse and lasts longer and real chronic pain kind of bums me out, but I just enjoy the challenge of trying to work around my body.

User23 · a month ago
Some people get literally high when running. Some don’t. The get high types invariably posture as if they have more dedication or willpower. Funny stuff.
User23 commented on They tried Made in the USA – it was too expensive for their customers   reuters.com/business/they... · Posted by u/petethomas
User23 · 2 months ago
It took decades to gut American consumer manufacturing. Anyone who thinks it can be brought back without pain is deluded. But nevertheless, it’s worth that pain.

As the Chinese are well aware, every time in history a great financial power and a great industrial power have come into conflict, the industrial power wins.

User23 commented on Central Park hits temp record last seen in 1888   cnn.com/2025/06/23/weathe... · Posted by u/geox
vidarh · 2 months ago
Uhm, censuses are described in the Bible - in fact one has a central enough role that even a committed heathen like me is aware of it -, and existed many places on a similar timeline. I have no problem believing that they were imprecise, and not widespread enough to give good global numbers, but they had certainly been invented much earlier.
User23 · 2 months ago
Given that we basically use the same technique for censuses today, the ancient ones probably weren’t especially less reliable.
User23 commented on The Art of Lisp and Writing (2003)   dreamsongs.com/ArtOfLisp.... · Posted by u/Bogdanp
KerrAvon · 2 months ago
You’ve got to read more poetry before making assertions like this. In practice, the definition is more fluid than that.

Lisp cannot be completely redefined. You can’t avoid parentheses, and if you stray too far from common idiom, you’re no longer writing Lisp, you’re writing something else using Lisp syntactic forms.

User23 · 2 months ago
> You can’t avoid parentheses

Well, you can with reader macros, assuming you’re willing to consider an init file that you only look at when you write sufficiently avoidant.

It’s not done though, because experience has shown it’s not really worth it.

User23 commented on The Art of Lisp and Writing (2003)   dreamsongs.com/ArtOfLisp.... · Posted by u/Bogdanp
mightyham · 2 months ago
Ironically, this author gets the relationship between lisp and writing totally wrong. Lisp may be much more artistic, but programming in Java, for instance, is much more akin to writing than programming in lisp is. Written languages have well established vocabulary and grammar, that cannot be changed or redefined by the writer. The author is completely correct that lisp is more of a "programming medium" than a "programming language", since the language itself can be molded and changed by the programmer in very self-expressive ways. However, he doesn't follow through with this observation to the obvious conclusion that this feature of lisp, as a medium, makes it fundamentally different from human language.
User23 · 2 months ago
Have you seen LOOP[1]? That example barely scratches the surface too.

As for being able to make words mean different things and break grammatical strictures; that’s called poetry when we do it in English. And yes there is bad poetry, but some is superlative.

[1] https://www.lispworks.com/documentation/lw51/LWRM/html/lwref...

User23 commented on Peano arithmetic is enough, because Peano arithmetic encodes computation   math.stackexchange.com/a/... · Posted by u/btilly
Retr0id · 2 months ago
Python block indentation is an example of nested structure that's at least easier to visually scan. You don't need to count opening/closing parens, just look down a column of text - assuming nobody mixed tabs and spaces. (but I wouldn't go as far as saying you don't need to scan it)
User23 · 2 months ago
Canonically indented Lisp reads an awful lot like Python. You don’t read the braces, you read the indentation.
User23 commented on Cysteine depletion triggers adipose tissue thermogenesis and weight loss   nature.com/articles/s4225... · Posted by u/bookofjoe
LPisGood · 3 months ago
Cysteine is also an irreplaceable building block of vital proteins required to sustain life. It’s unclear if there is any potential benefit of applying these findings to the problem of human weight loss or fitness.
User23 · 3 months ago
I would make a stronger statement and say that this belongs squarely on the effect and not the cause side.

I could be wrong, but I doubt it. Amino acid depletion sounds way more likely to be due to some kind of disruption in homeostasis rather than dietary intake.

u/User23

KarmaCake day7068October 17, 2016View Original