Incoming links: Ciro Santilli
This is a good approach. The downside is that while you are developing the implementation and testing interactively you might notice that the requirements are wrong, and then the tests have to change.
One intermediate approach Ciro Santilli likes is to do the implementation and be happy with interactive usage, then create the test, make it pass, then remove the code that would make it pass, and see it fail. This does have a risk that you will forget to test something, but Ciro finds it is a worth it generally. Unless it really is one of those features that you are unable to develop without an automated test, generally more "logical/mathematical" stuff. This is a sort of laziness Driven Development.
Although Ciro Santilli is a big fan of plaintext files and of Vim, not so for games. Games must be easy to understand since they are just a toy.
Tilesets to the rescue!
This was the most obscene Nobel Prize of all time. They were completely swept away by the AI boom, and gave this ridiculous prize completely unrelated to Physics.
- Nobel Foundation:Ciro Santilli:
Did you know that models for machine learning were based on equations from physics?
Nice try but the 2024 Nobel Prize in Physics still isn't about Physics.
- academia.stackexchange.com/questions/214109/is-there-a-reason-why-the-nobel-prize-in-physics-2024-is-awarded-to-a-computer-s
- lamarr-institute.org/blog/thoughts-physics-nobel-prize-2024
- www.reddit.com/r/AskPhysics/comments/1fz27m5/nobel_prize_2024/ User ervexHublot comments
Nobel prize sponsored by Nvidia
- x.com/skdh/status/1843675220433088598
Once upon a time in the 2010's, Ciro Santilli went to an artsy theatre venue in the suburbia of Paris, dragged by his wife then girlfriend of course.
In the venue, there was a politician, who was doing his best to show how much they supported the arts, and there were of course the artists, involved in the play.
The politician would see a political power score on top of every person's head, and would spend an amount of time talking to each person exactly proportional to that score. This meant basically one sentence to us. The words themselves didn't really matter of course, only the time spent, they just have to produce nice sounds.
Ciro Santilli intends to move his beauty list here little by little: github.com/cirosantilli/mathematics/blob/master/beauty.md
The most beautiful things in mathematics are results that are:
- simple to state but hard to prove:
- Fermat's Last Theorem
- number of unknown rationality, e.g. is rational?
- transcendental number conjectures, e.g. is transcendental?
- basically any conjecture involving prime numbers:
- many combinatorial game questions, e.g.:
- surprising results: we had intuitive reasons to believe something as possible or not, but a theorem shatters that conviction and brings us on our knees, sometimes via pathological counter-examples. General surprise themes include:Lists:
- classification of potentially infinite sets like: compact manifolds, etc.
- problems that are more complicated in low dimensions than high like:
- generalized Poincaré conjectures. It is also fun to see how in many cases complexity peaks out at 4 dimensions.
- classification of regular polytopes
- unpredictable magic constants:
- why is the lowest dimension for an exotic sphere 7?
- why is 4 the largest degree of an equation with explicit solution? Abel-Ruffini theorem
- undecidable problems, especially simple to state ones:
- mortal matrix problem
- sharp frontiers between solvable and unsolvable are also cool:
- attempts at determining specific values of the Busy beaver function for Turing machines with a given number of states and symbols
- related to Diophantine equations:
- applications: make life easier and/or modeling some phenomena well, e.g. in physics. See also: explain how to make money with the lesson
Good lists of such problems Lists of mathematical problems.
Whenever Ciro Santilli learns a bit of mathematics, he always wonders to himself:Unfortunately, due to how man books are written, it is not really possible to reach insight without first doing a bit of memorization. The better the book, the more insight is spread out, and less you have to learn before reaching each insight.
Am I achieving insight, or am I just memorizing definitions?
Video 1. Alegria, Alegria by Caetano Veloso (1968)Source. Critique of Military dictatorship in Brazil.
- 1972
- Transa (1972) album. Literally: "The Fuck", good old seventies. Caetano himself later mentions that this is one of his own favorite albums.[ref] The album was composed when he was living in London.
Video 2. Triste Bahia by Caetano Veloso (1972)Source. Inspired by (or more likely: actually is) capoeira music.Video 3. Mora na Filosofia by Caetano Veloso (1972)Source.
Video 4. Você Não Entende Nada by Caetano Veloso (1970)Source.Amazing performance at Coliseu dos Recreios, Lisbon. 1981. Discogs says original album is Legal (1970), but wiki page and photos of back disagree...This song talks about a man's mixed desires to remain with his partner and also escape to adventure. It contains one of the most amazing sexual innuendo ever recorded: the man describes foods that his partner will serve him, and the he endlessly eats and eats and eats:translation:eu como, eu como, eu como, você [... huge intentional pause ...] não está entendendo quase nada do que eu digo.
which makes it unclear "you" is part of "I eat you" (to eat (comer) is a slang for fucking), or if "you" is part of the next sentence.I eat, I eat, I eat, you [... huge intentional pause ...] don't understand anything that I'm saying.
Video 5. Partido Alto by Caetano Veloso (1972)Source. Atheism song (theodicy)! Lyrics by Chico Buarque, but Ciro Santilli prefers this interpretation. From the 1972 "Caetano E Chico Juntos E Ao Vivo" joint album with Chico Buarque.
- 1975 Qualquer coisa album
Video 6. Qualquer Coisa by Caetano Veloso (1975)Source.Video 7. Samba e Amor by Caetano Veloso (1975)Source. Cover from original song by Chico Buarque, original album Chico Buarque de Hollanda - Nº4. Desperately reminds Ciro of his University day weekend nights. Except that there was no Samba. And little Amor. Mostly a silent and wholesome loneliness and emulation.Video 8. Georde de Capadócia by Caetano Veloso (1975)Source.Composed by Jorge Ben, but this interpretation is remarkable. corpo fechado (closed body) style song. This idea is much linked to Capoeira/African religion idea. E.g. a more traditional capoeira corpo fechado song: www.youtube.com/watch?v=tfd9j6XFmSgVideo 9. Coricos' prayer scene from Black God, White Devil (1964)Source. This shows an Amazing corpo fechado scene from an amazing old black an white Brazilian film.
- 1976 Doces Bárbaros (1976) album
Video 10. Um Índio by Caetano Veloso (1976)Source. Recording from 1992. Also appeared in the Bicho (1977) album. - 1977 Bicho (1977)
- 1978 album Muito (Dentro da Estrela Azulada)
Video 12. Sampa by Caetano Veloso (1978)Source."Sampa" is an affectionate slang for São Paulo City. The song perfectly captures the city, and reminds Ciro so badly of his University days there.Video 13. Terra by Caetano Veloso (1978)Source.Ciro used to watch a television nature show called "Planeta Terra" in the legendary TV Cultura with his parents in the couch when he was young, and under a duvet when it was a bit cold. Those days were the best. The narrator's lady voice was particularly soothing, and would easily put you in a kind of sleepy trance, her name is Valéria GrilloTODO what was the original show exactly? Here is a sample: www.youtube.com/watch?v=vNwfYEMdrRU Very likely just a translation of some British nature show with a custom Brazilian intro and presenter. Credits at end mention English narrator: "Eugene Fraser", and "Thirteen WNET Nature" production, which produced Nature (1982) that ran since 1982, making that a likely candidate. - 1980
Video 14. Menino do Rio by Caetano Veloso (1980)Source. Apparently served as inspiration for the Menino do Rio (1980) movie, which is silly, but a worthwhile record of the times. - 1984 Velô (1984)
Video 15. O Quereres by Caetano Veloso (1984)Source. Notable quote from the chorus that is often in Ciro's mind:translation:Ah, bruta flor, do querer
Oh, brute flower of the wanting
Good selection: Acústico MTV - Gilberto Gil (1994).
- 1967 Louvação (1967) album
Video 1. Lunik 9 Gilberto Gil (1967)Source. Ciro Santilli prefers Elis Regina's interpretation however. - 1972 Expresso 2222 album.
Video 2. Expresso 2222 by Gilberto Gil (1972)Source. youtu.be/aSFahdu5ga8?t=4584 In the 2002 documentary Tempo Rei he explains the origin of the song as being based on seeing trains come by in Bahia, when they still existed before the automobile decimation. - 1975 Refazenda (1975) album. This album is just too Legendary. The cover is also legendary.
Video 4. Refazenda by Gilberto Gil (1975)Source.Video 6. Tenho sede by Gilberto Gil (1975)Source. Video 7. Sítio Do Picapau Amarelo by Gilberto Gil (1977)Source.This song is the opening theme of the 1977 children's television series based on the renowned children books of the same name by Brazilian author Monteiro Lobato.- Date unclear
Video 8. A Paz by Gilberto Gil (1967)Source. Performed 2009. The earliest recording we can find is from 1994: www.discogs.com/master/190615-Gilberto-Gil-Unplugged
Runner ups:
Video 9. Beira-Mar by Gilberto Gil. Source.
These are basically technically minded people that Ciro Santilli feels have similar interests/psychology to him, and who write too much for their own good:
- cat-v.org
- gwern.net. Dude's a bit overly obsessed with the popup preview though! "new Wikipedia popups (this 7th implementation enables recursive WP popups)" XD
- settheory.net by Sylvain Poirier
- HyperPhysics
- Orange Papers
Maybe one day these will also be legendary, who knows:
Another category Ciro admires are the "computational physics visualization" people, these people will go to Heaven:
Related:
Institution led:
- www.biology.arizona.edu/ The Biology Project
Other mentions:
- arngren.net/ lots of images of toys and gear with descriptions in Norwegian
It is such a huge shame that you have to understand Portuguese to appreciate those songs... this is yet another great evil outcome of having more than one natural language is bad for the world.
The good songs stopped before of just after Ciro Santilli was born, they were originally heard by his parent's generation. Those young new kids are boring.
The place to start is definitely the Holy Trinity of popular Brazilian music:
- Caetano Veloso is arguably Ciro Santilli's favorite MPB artist, he has just too many amazing songs, best ones at: Section "The best Caetano Veloso songs"
- Chico Buarque. Ciro's second favorite.
- Gilberto Gil. Perhaps Ciro likes him third because he is the most lighthearted one, although not always: Section "The best Gilberto Gil songs"
Video 1. Preciso Me Encontrar by Cartola. Source. Present in the 1976 eponymous album though it is likely from much earlier.Video 2. Asa Branca by Luiz Gonzaga. Source. Translation: "White wing". Written in 1947Video 3. O vento by Dorival Caymmi (1949)Source. Translation: "The wind".Video 4. Panis et Circenses from the Tropicália: ou Panis et Circencis (). Source. Translation: "Bread and circuses", a famous Latin phrase. Composed by Gilberto Gil and Caetano Veloso and performed by Os MutantesVideo 5. Mistério do Planeta from the Acabou Chorare album by Novos Baianos (1972)Source. Translation: "The mystery of the planet".Video 6. "Senhor Cidadão" from the Se O Caso É Chorar album by Tom Zé (1972)Source. Translation: "Mr. Citizen". This is likely reference to Military dictatorship in Brazil-lingo. This is an anti-Military dictatorship in Brazil song, appears to reuse terms used by the dictatorship propaganda in the song.Video 7. Marimbondo from the "Pirão de Peixe com Pimenta (1977)" album by Sá & Guarabyra (1977)Source.Video 8. Romaria by Renato Teixeira. Source."Romaria" is the name of a type of Catholic peregrination.Video 9. Metamorfose ambulante by Raul Seixas (1973)Source. Translation: "Itinerant metamorphosis". From the album Krig-ha, Bandolo!Video 10. Ouro de tolo by Raul Seixas (1973)Source. Translation: "Fool's gold". This dude should be a scientist. But well, he went for mystic/artist. Close enough.Video 11. Gita by Raul Seixas (1974)Source. "Gita" must be a reference to the Bhagavad Gita. From the album: Gita.Video 12. Maluco beleza by Raul Seixas (1977)Source. From the album O Dia em que a Terra ParouVideo 13. A telicidade by Tom Jobim (1958)Source. Translation: "Happiness". Composed for the Black Orpheus (1958) film. "Tristeza não tem fim, felicidade sim" (Sadness never ends, but happiness does). The movie itself is OK. Appeals to Ciro's Buddhist sensibilities.Video 14. Chega de saudade by Tom Jobim. Source. Translation: "Enough longing".Video 15. Jorge da Capadócia by Jorge Ben Jor (1975)Source. From the Solta o Pavão (1975) album. The Caetano interpretation is better however, poor Jorge.- Jair Rodrigues
Video 16. Disparada by Jair Rodrigues (1968)Source. This song is simply amazing. Not exactly MPB, a bit more towards country, but close enough. This was as the track of some soap opera.Video 17. Deixa Isso Pra Lá by Jair Rodrigues (1964)Source. Fantastic early example of early rap music!!! This is regocnized example at: www.youtube.com/watch?v=jfnDEuuPq4Q which builds upon the 1964 song. Amazing. An amazing live performance at: www.youtube.com/watch?v=O3E1uHdrJws, only not using that as the default link as it is not from the official channel. - Vinicius de Moraes. Many of his lyrics are poetry. Notably, he has some "children" songs that you think about as an adult and go "oh fuck". For some reason, Ciro can't help but think that he looks like a pedophile, but he doesn't have any scandals apparently, poor dude. He was a drunkard for sure though.
Video 20. Aquarela by Toquinho (1983)Source. This is a mega childhood hit, and it never gets old. Amazing. One of the most brutal memento moris ever?Video 21. Xô Saudade by Alceu Valença. Source. From the 1980 album "Coração Bobo"Video 22. Carcará by João Do Vale (1981)Source.From the eponymous album.Video 23. Carcará by Maria Bethânia (1981)Source. This very good interpretation likely did much to popularize the song.Video 25. Na Rua, Na Chuva, Na Fazenda by Hyldon (1974)Source. Translation: "On the Street, In the Rain, On the Farm".Video 26. Source. Translation: "All that you could be".Video 27. Caçador De Mim from the eponymous album by Milton Nascimento (1981)Source.
Ciro was even more stupid than as of 2020, and continued to try and hang out with those evil kids to show them he was cool too or that he was strong, and so continued to get hurt.
Advice to his children: stay away from evil people.
The bullied sometimes feels an almost masochistic desire to overcome the bullies' contempt, and to try and either become friends with the bullies, or to overpower them.
You must never give into those thoughts.
If you come across evil people, smile a fake smile to them, and walk away, but never give your back to them, and always be ready to fight.
If they laugh at you, know that you are shit like everyone else, pretend to laugh with them, take their post and repost it on your public profile, and silently stay away from those idiots.
Never show any weakness.
If a fight is likely, always be ready, always have your friends nearby, be as well armed as the enemy, and never be outnumbered.
On the Internet, never care about e-bully posts, either block them immediately, and anyone that likes their posts, or follow Ciro's reply policy.
Call parents or other authorities as soon as there is risk of physical harm. Better a living free pussy than dead or in youth detention for murder. Similar advice applies if you are going to jail I guess.
If a physical fight is inevitable however, ignore Jesus this once and don't give the other face, but rather follow the Talmud and fight all out on the beaches:References:
If someone comes to kill you, rise and kill first.
The Sikh knife, the Kirpan, which Sikhs must carry at all times as a religious obligation, also comes to mind. The Sikh must have been bullied out of the their minds at some point in history, Ciro understands.
Non-violence only works when you have bodies to spare from your followers.
Perhaps it was good to learn those lessons early, before the stakes were too high. Adults fake it much better, and therefore it is harder to learn those lessons from them, but they are still just as evil on the inside.
These experiences might have contributed to Ciro Santilli's self perceived compassionate personality.
Ciro Santilli believes that there is a positive correlation between being a software engineer and liking Buddhist-like things.
Maybe it is linked to minimalism and DRY, which software engineers value so greatly.
Even Ciro had to try an unoriginal Buddhist joke intro in one of this Stack Overflow answers.
Ciro also feels that his "minimal reproducible example" scientific language/concept learning method obsession of breaking things into tiny sub-problems has a strong link with Koans.
Some notable Buddhism/programmer examples:
- www.catb.org/~esr/writings/unix-koans/ "The Unix Koans of Master Foo - Rootless Root (无根的根)" by the legendary Eric Steven Raymond is notable
- thecodelesscode.com/ "The Codeless Code" by anonymous Qi.
- canonical.org/~kragen/tao-of-programming.html
- wiki.c2.com/?MysticalProgrammingKoans
- rubykoans.com/ even evil programming languages adopt them!
- The Zen of Python
Another thing that points the correlation out is the existence of wattsalan.github.io/ on a
github.io about Alan Watts.The Entire Criterion Collection Supercut by Reckoned Opinions
. Source. Featured at: www.reddit.com/r/criterion/comments/13x14he/the_entire_criterion_collection_all_1190_spine/ Holy crap, how!Ciro Santilli believes that the Donald Trump bans were extremely unfair, and highlight the need for government to ensure greater freedom of speech in social media, more information at: cirosantilli.com/china-dictatorship/unjust-social-media-censorship-in-the-west, related: globalization reduces the power of governments.
New developers won't want to learn your project, because they would rather shoot themselves.
Of course, at some point software gets large enough that things won't fit anymore in 5 seconds. But then you must have either some kind of build caching, or options to do partial builds/tests that will bring things down to that 5 second mark.
A slow build from scratch will mean that your continuous integration costs a lot, money that could be invested in a new developer!
One anecdote comes to mind. Ciro Santilli was trying to debug something, and more experience colleague came over.
To reproduce a problem, ciro was running one command, wait 5 seconds, run a second command, wait 5 seconds, run a third command:
cmd1
# wait 5 seconds
cmd2
# wait 5 seconds
cmd3The first thing the colleague said: join those three commands into one:And so, Ciro was enlightened.
cmd1;cmd2;cmd3
That's Ciro Santilli's favorite. Of course, there is a huge difference between physical and non physical jobs. But one could start with replacing desk jobs!
Has some good mentions, but often leaves you wanting more details of how certain things happened, especially the early days stuff.
Does however paint a good picture of several notable employees, and non-search projects from the early 2000's including:
- the cook dude
- porn cookie guy
- the unusual IPO process
Paints a very positive picture of the founders. It is likely true. They gave shares generously to early employees. Tried to allow the more general public to buy from IPO, by using a bidding scheme, rather than focusing on the big bankers as was usual.
The introduction mentions that Google is very interested in molecular biology and mining genetics data, much like Ciro Santilli! Can't find external references however...
Two of the most compelling areas that Google and its founders are quietly working on are the promising fields of molecular biology and genetics. Millions of genes in combination with massive amounts of biological and scientific data are an excellent match for the Google search engine, the tremendous database the company has in place, and its immense computing power. Already, Google has downloaded a map of the human genome and is working closely with biologist Dr. Craig Venter and other leaders in genetics on scientific projects that may lead to important breakthroughs in science, medicine, and health. In other words, we may be heading toward a time when people can google their own genes.
The book gives good highlight as to why Google became big: search was just an incredibly computationally intensive task. From very early days, Largey were already making up their own somewhat custom compute systems from very early days, which naturally led into Google custom hardware later on. Google just managed to pull ahead on the reinvest revenue into hardware loop, and no one ever caught them back. This feels more the case than e.g. with Amazon, which notoriously had to buy off dozens of competitors to clear the way.
Cover of The Google Story
. In Ciro Santilli's view, the following three artists form a Holy Trinity of popular Brazilian music:
Elis Regina is not far though.
Ciro remembers quite clearly when he was riding the car with his parents when he pre teen, and he could not understand why they seemed so obsessed with The Trinity et al. Ciro in particular remembers listening to Video "Refazenda by Gilberto Gil (1975)". They had picked it up of course from the 70's and 80's when they were younger.
Young Ciro would also always confuse who was whom from the three of them.
Then Ciro got older, and he understood, they are mind blowing. You do have to look back in time a bit though, lots of lukewarm stuff on later periods. The military dictatorship in Brazil was good for music.