287 karma · joined December 16, 2021
https://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/E... "I must confess that I was very slow on appreciating LISP’s merits. My first introduction was via a paper that defined the semantics of LISP in terms of LISP, I did not see how that could make sense, I rejected the paper and LISP with it."
This and column-major order for matrices (a vector is a column, not a row)
" a) 2 ≤ i < 13
b) 1 < i ≤ 12
c) 2 ≤ i ≤ 12
d) 1 < i < 13
There is a smallest natural number. Exclusion of the lower bound —as in b) and d)— forces for a subsequence starting at the smallest natural number the lower bound as mentioned into the realm of the unnatural numbers. That is ugly, so for the lower bound we prefer the ≤ as in a) and c).
Consider now the subsequences starting at the smallest natural number: inclusion of the upper bound would then force the latter to be unnatural by the time the sequence has shrunk to the empty one. That is ugly, so for the upper bound we prefer < as in a) and d). We conclude that convention a) is to be preferred."
I despise this guy
"In 2015, a team of chemists in the US and Australia showed they could reverse the process. They added urea to liquefy the boiled egg whites, then put them in a vortex device to pull apart the proteins and return them to their original state." https://www.sciencefocus.com/science/can-you-unboil-an-egg
https://www.brookings.edu/wp-content/uploads/2020/12/201207_... https://www.margithenderson.com/wp-content/uploads/2018/03/H... https://i.insider.com/573a14b891058428008c31fe?width=1136&fo...
"High fitness in middle age reduces the chance of dementia by ninety percent" https://www.ergo-log.com/high-fitness-in-middle-age-reduces-...