vslira's blog

Carousel of Progress is one of the most famous attractions in Disney World. It's a 20-minute "ride" of pure, unadultered promethean americana and for anyone who believes in - and hopes for - the material progress of the human race it's hard to leave the show unmoved by the ideal of progress presented therein. As a non-American children who didn't speak English as his first language, though, I didn't quite understand the full lyrics for some time and even when I got fluent in English I still misheard one crucial part of the lyrics: instead of Man has a dream and that's the start I heard Man has a dream and that's the stars In other words, I thought old Walt was proclaiming his support for the exploration of the final frontier. And when got on that stage, that would be "a dream come true, for you and me". That always struck me as very romantic: this idea that after shaping our world to support our well-being - the obvious sequence to the peri

File this under highly speculative. I’m sure there is better research on this topic than this writing This past week, for no obvious reason, I considered a few thoughts at the same time: Exercise is supposedly one of the best anti-aging “drugs”, and also highly effective (relatively speaking) against cognitive decline There’s this vague idea that after you become “professionally inactive”, you accelerate your cognitive decline To avoid cognitive decline, one must keep “exercising the brain”, so the incentive for seniors to have hobbies, do crosswords, sudoku, etc Now, from this point it seems that I’d go to a very commonplace conclusion about how exercising is probably better than sudoku or something, and to be frank that’s exactly where I’m going. But another two things crossed my mind at the same time: Recent advances in AI, and less recent advances in computing in general showed that a lot of the things we consider “cognitively hard” - from symbolic manipulation to arithmetic, “draw

 Following the great advice I just read on https://simonwillison.net/2022/Nov/6/what-to-blog-about/ (thanks Hacker News for the pointer), I'll try to start posting TILs So, Today I Learned how to use tags on git

It's election year in my country and we'll be choosing our next president through the traditional two-round system . The two major contenders this year have both very high rejection in part of the electorate, and this rejection is usually manifested by supporting the candidate which is most likely to defeat the rejected candidate in the second round. I wish it was possible for voters to manifest their disapproval more directly, through some kind of negative voting schema. For example, if candidate A gets 50 votes for and 30 agains (net 20), Candidate B gets 40 votes for and 10 against (net 30) and candidate C gets 30 votes for and 5 (net 25) against, the second round would be against B and C. Since the second round is a binary option, negative votes count exactly the same as a vote for the opponent, so negative voting wouldn't be necessary. I know that there's an infinite number of potential voting schemas, and not any of them is perfect, but I believe that simplicity i

 In the appendix of the third chapter of Spivak's Calculus, on case 1 of his definition of ordered pairs he admits that (1, 1) = {1} (from the way sets are defined). I don't get it. That is not a pair. What am I missing?

Intro My media consumption is too provincial, mostly focused on national publications and major US outlets. I feel like there's a lot of stuff happening outside my view, so I started listing English language news publications around the world to use as references for significant events in the future and maybe following different perspectives on trends. I started with East and Southern Asia due to a mix of the region's share of global economic activity and population and focused on business-oriented publications because I was interested in understanding how different regions(' economic elites) read global developments. I don't know if these papers lead their respective geography, or how meaningful they are, but I tried to get major names from a not too deep Wikipedia reading. Greater China Mainland Caixin Global Hong Kong Interestingly enough, I didn't find on Wikipedia an obvious English-language business oriented publication. I'm sure there is one, or many, but