sn41

50 ms·

571.
by sn41 6y ago
No need to be aggressive, I am not being condescending. x and y are variables. \ is a notation people use because you cannot type lambdas in ASCII. For the basic rules regarding application, you need to understand substitution rules.
572.
by sn41 6y ago
Church numerals are essentially like the unary notation. 1. 0 : Think of 'y' as a blank blackboard in (\ x (\ y . y )), because when you apply it to two arguments, you get a "blank blackboard" - (\ x (\ y . y )) x y -&g
573.
by sn41 6y ago
Really beautiful idea, and thanks for the link for John Tromp's idea. I will use your notation in my course. I am sure, being from where you are, you have heard of "Henderson Diagrams" from SICP. They are also a great visual
574.
by sn41 6y ago
Thanks, I will try this out.
575.
by sn41 6y ago
It is not about "cannot be done". Most high-level languages are Turing complete, hence every program in one can be written as some program in another. The real clincher is expressiveness: shorter code is better, modular code is be
576.
by sn41 6y ago
Great article. A tangential benefit: I learned about Taoist breathing practices, and Pol.is. I also see that the global media is very reluctant to discuss Vietnam's success in handling Covid. I wonder why.
577.
by sn41 6y ago
from lux, Latin for light. Similarly, lucent, pellucid, lucifer (light bearer).
578.
by sn41 6y ago
You make a great point. I think you are right in your classification. But the basic point in my comment was that the Wim Hof technique is simpler than Pranayama, and is highly beneficial in itself. Pranayama is very technical, and I am alwa
579.
by sn41 6y ago
The Carlos Ghosn case highlights some of the points you raise about the arbitrariness and closed-box nature of Japanese nativism. I have worked for a Japanese client (big firm, I will not name them). I think it is a miracle that Japanese in
580.
by sn41 6y ago
This phenomenon has been known from ancient times. A slighted ego is a powerful incentive to turn to the other side. For example, in the ancient Indian work on statecraft, the Arthashastra, Chanakya lists the kind of personalities who can b
581.
by sn41 6y ago
What a mass of verbiage. It sounds like an upspeak guy had a double shot of Asperger's. I truly hope that is not the future of communication.
582.
by sn41 6y ago
I am not sure whether every flock is a swarm.
583.
by sn41 6y ago
I have read parts of TAOCP vol 2 and the TeXBook. His attention to detail inspires me. I have found that whenever I pay close attention and immerse myself in details of a paper, shutting off my computer, it is very relaxing.
584.
by sn41 6y ago
Chess grandmasters don't make great mathematicians. Similarly, great warriors may not become great scientists. I don't see a lot of people making jumps from one technical field into another. They make a jump from one technical fie
585.
by sn41 6y ago
Honestly, I would definitely enjoy that. Somehow the discussion on such boards was much more engaging.
586.
by sn41 6y ago
Fill your shoes with small pebbles. Once in a while, you'll stomp on them and wince. I guess it will change your gait.
587.
by sn41 6y ago
What I find nice about his technique, is that it is much simpler than yoga and pranayama. He does not, for example, emphasise inhaling or holding or exceeding for a particular count of seconds. I find that it is easier to perform the Wim H
588.
by sn41 6y ago
Can confirm that I "smell" through one nostril at a time. I can smell more sensitively than others (for example, realise that milk is rotten before others do). I have noticed that when I try blocking one of my nostrils, my sense o
589.
by sn41 6y ago
Sorry, you are right.
590.
by sn41 6y ago
It is well-known that the place-value system introduced into Europe from India via the Arabs played an invaluable role in modern arithmetic. But, if you read the "Sand Reckoner" by Archimedes, what he lays out are the rudiments of
591.
by sn41 6y ago
True, but NZ has also learned it the hard way. There was once a vibrant birdlife in the South Island, especially. There is some early settler who said that the morning birdsong in Queenstown was deafening. Cats, introduced by European settl
592.
by sn41 6y ago
It uses Landsat, as far as I can gather from the code.
593.
by sn41 6y ago
It's not just such countries. All political parties all around the world are doing similar things, and have their own troll farms and twitter armies. Look up the profiles of the "followers" of major world leaders. Many of the
594.
by sn41 6y ago
This is the current normal in many countries. Actually many of these have been empowered by some kind of internet troll movement. The emergence of such parties is eerily similar - an overwhelming majority who is peeved at some designated an
595.
by sn41 6y ago
Yup. Recently bought an affordable mechanical keyboard without consulting any review websites. Am very happy with it for about a month. Then I went to Amazon to see the reviews, out of curiosity. They are very negative for the product I am
596.
by sn41 6y ago
Of course Lebanese economy was in trouble before Covid, but the pandemic made the situation worse. This might be a foreshadowing of what is in store for other countries, at least in part, if this covid induced shutdown of the economy contin
597.
by sn41 6y ago
Of all things I am grateful to NewPipe for, the best is that I am able to turn off the screen of my mobile while listening to Podcasts hosted on YouTube, and also to run it in the background. Thank you, developers!!!
598.
by sn41 6y ago
I didn't know that Doug DeMuro had done an episode on the Isetta. I love his presentation. His geeky joy in driving any car, whether ultra luxury, or just plain odd, is infectious.
599.
by sn41 6y ago
I disagree with this note, even though I often read Dijkstra's notes for enlightenment. The pigeonhole principle is one of the basic tools we have to approach mathematics, and therefore deserves a name. We often assimilate proofs by &q
600.
by sn41 6y ago
That's part of the point, I think. The author does not agree that "cutting to the chase" and the "message" is the most important part of literature.

More ›