Incoming links: Ciro Santilli
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.Respect, big respect to those people.
The Cult of the Criterion Collection by The Royal Ocean Film Society (2020)
Source. One American culture thing this clarified to Ciro Santilli is that they are known for is being part of the 50% off sale at Barnes & Noble.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.
A slow development test cycle will kill your software.
New developers won't want to learn your project, because they would rather shoot themselves.
This means that build time, and the time to run tests, must be short.
5 seconds to rebuild is the maximum upper limit.
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.
You also have to spend some time profiling execution and build from scratch times.
A slow build from scratch will mean that your continuous integration costs a lot, money that could be invested in a new developer!
It also means that people won't bother to reproduce bugs on given commits, or bisect stuff.
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.
This is a version of free gifted education but more focused on university.
This is Ciro Santilli's ideal university system. It is a system that actually lives up to the name "Open University":
- no enrolment, no prerequisites. Exam as a service examination style, likely free to anyone who wants to take them, only to determine:
- who gets to use physical facilities, notably laboratories
- which students do you want to pick as apprentices/workers/PhDs
- no tuition fees: free gifted education
- school must offer free accommodation for students
- force teachers to publish their teaching material with an open license
- how to teach
Related:
- reallyopenuniversity.wordpress.com/what-is-the-rou/
Apparently Leeds based. Focused only on student fees seemingly, not how to solve it with tech/efficiency:
So far as of the early 2020's, the university that comes closest to some but not all of these principles is the University of the People. It's sad that it's such a crappy unknown thing, but it is what it is.
This game was mind blowing to Ciro Santilli and all kids. It felt so real. The perfect contrast between peaceful town work and saving the world. OMG.
A discussion on the Lean Zulip: leanprover.zulipchat.com/#narrow/stream/113488-general/topic/The.20Math.20Genome.20Project/near/352639129. Lean people are not convinced about the model in general it seems however.
TODO closed source? Really? www.themathgenome.com/pricing
TODO not viewable without login?
Has conjectures feature.
Built by this dude John Mercer: www.linkedin.com/in/johnmercer/. He must be independently wealthy or something? What a hero.
A failed Hacker News self post: news.ycombinator.com/item?id=35775071
Ciro Santilli asked: discord.com/channels/1096393420408360989/1096393420408360996/1137047842159079474Owner:So apparently there will be proof checking, but nodependencies between proofs, you still have to pull request everywhing back and face the pain.
Does the website actually automatically check the formal proofs, or is this intended to be implemented at some point? And if yes, is it intended to allow proofs to depend on other proofs of the website (possibly by other people)
Hi Ciro, yes we will be releasing in-browser proof assistant environments/checkers (e.g. Lean). Our goal is not to replace the underlying open-source repos (e.g. Mathlib) so the main dependency will be on the current repos; then when statement formalizations and proofs come in and are certified they can be PR'd to the respective repos. So we will be the source of truth for the informal latex code but only a stepping stone and orchestration layer on the way to the respective formal libraries.
Ciro Santilli just keep watching that a gazillion times whenever it showed on TV.
All action scenes are useless crap, but the premise with Ciro's precious simulation hypothesis subject, related physics and the illusion of life.
It is a shame that the key premise of using human bodies to produce energy is completely and impossibly stupid. You would obviously get more energy by directing burning the food you feed into humans.
If the film had been made later, maybe the much more plausible concept of AI alignment would would have been used instead. What a shame.
Blue Pill or Red Pill scene from The Matrix (1999)
. Source. - www.youtube.com/watch?v=aau8qa3xgFs Neo takes the blue pill mashup with Office Space with deepfake faces
One of Ciro Santilli's strongest feeling in education is that material often falls in either of the two categories:
- hundreds of too basic popular science, e.g.:
- a 5 minute popular science video trying to explain quantum electrodynamics (an advanced subject) for someone who doesn't know what a Riemann integral is (a basic subject)
- a few full university courses that takes 20 hours to deliver the first punchline of the course
Ciro believes that there is often an important missing link between them, e.g.:
- a 15 minute video that delivers the main end results and motivations for people who already know the very basic stuff
If we as a society are unable to provide this sweet Middle Way sweet-spot, it is unreasonable to expect that learners will ever have the motivation to advance, because it is just too boring! They are just more likely to go play video games instead.
It is Ciro's hope that OurBigBook.com will help to fill exactly that gap.
In Ciro's view, as of the 2020's this critical gap generally lies somewhere between the end of undergraduate studies, and at the start of postgraduate studies.
What we have to do is make this knowledge more accessible all way down to high school and earlier.
Let's take the gloves off more often, and give the full thing to interested students! Let students learn what they want to learn, and do that as soon as possible! Life is too short!
This problem is basically the knowledge version of the last mile problem. When we reach the end of graduate, there are enough directions of knowledge to go off into, that the probability that a great free tutorial exists is relatively low. Of course, as one approaches the realm of novel research, the branching is so wide that having perfect tutorials becomes impossible. Ciro's goal in life go push the last mile marker a bit further out.
Related:
- universityphysicstutorials.com/ by Adam Beatty mentions:
There are myriad resources for physics and maths. The Kahn Academy and Patrick JMT were the best for me. They really helped me out. The question is, what resources are there for the advanced undergraduate courses?
Being valued as a lab technician interview with Norman Greenwood by Web of Stories (2017)
Source. In this video, the noted chemist mentions how he managed to get into a chemistry research development before he even joined university, due to a somewhat exceptional situation. Section "The only reason for universities to exist should be the laboratories" also comes to mind. This is exactly the type of thing that Ciro Santilli wants to make much more widespread.
Stories of Ainan Celeste Cawley fighting to advance his kids education beyond school, and being forbidden to do so by a stupid educational system, also come to mind.
Bibliography:
Ciro Santilli has felt that perhaps what is missing in 2020's AGI research is:
- the interface between:The key question is somewhat how to extract symbols out of the space-time continuous experiences.
- the continuous/noisy level (now well developed under artificial neural network techniques of the 2010's)
- and symbolic AI level AI
- more specialized accelerators that somehow interface with more generic artificial neural networks. Notably some kind of speialized processing of spacial elements is obviously hardcoded into the brain, see e.g. Section "Grid cell"
Forcing these boundaries to be tested was one of the main design goals of Ciro's 2D reinforcement learning games.
In those games, for example:Therefore, those continuous objects would also have "magic" effects that could not be explained by "simple" "what is touching what" ideas.
- when you press a button here, a door opens somewhere far away
- when you touch certain types of objects, a chemical reaction may happen, but not other types of objects
Bibliography:
Ciro Santilli has sometimes wasted time with low impact projects such as those listed at Ciro Santilli's minor projects instead of doing higher impact projects such as those mentioned at: Section "The most important projects Ciro Santilli wants to do".
But maybe "Everything you did brought you where you are now." applies, maybe it is during the "low impact activities" that one gets the inspiration and experience required for the "high impact ones".
If you are going to live, you might as well chase one of them.
You might not achieve them in your lifetime, but you never know. At some point, the pieces just "fall into place", and they happen.
And they will all come from deep tech.
Ciro Santilli would like to contribute to them. but this is a bit less realistic than software projects.
But who knows? Maybe he can code some stuff in those areas.
And one can at least have some fun by learning deeply about those subjects.
Another notable reference is in Lost Horse LLC, MacKenzie Bezos's charity instrument.
Breakdown:
- 塞翁 sai4 weng1: TODO his name?
- 失马 shi1 ma3: lost horse
- 焉知 yan1 zhi1: who knows, literary
- 非福 fei1 fu2: bad (or) good
Zen master and the little boy scene from Charlie Wilson's War
. Source. This is how Ciro Santilli first heard the old man lost his horse! The scene happens after the Americans seem to have had sucess in arming the Taliban in the 1980s to fight the Soviets, and then they decide to stop all monetary help to rebuild the country, which then leads to a terrorism threat many years later.Many/most companies are unable to give any beauty to its employees.
Hiring is simply a process of "let's get this money making project working ASAP", bring people in, without considering Brooks's law.
And then when that happens, companies put people in extremely narrow knowledge areas, making them unable to see or participate in the bigger picture of things, unless they spend 10 years there and reach architect status.
This is perhaps particularly painful for high flying birds like Ciro Santilli.
Companies need a higher top to down force that attempts to actually teach the business and tech to every employee to counter the low level manager get things done now pressure.
Companies that are able to do that, will have many more employees with a sense of purpose, and with the ability to innovate. Those companies will win.
Great reports to how 2022-Ciro Santilli views how OurBigBook.com could go. Ciro can't help to feel that he is a mixture of both of the vision, tech and people guy. Not as extreme as any of them, but more like a well rounded (and less good individually) version of each. High flying bird vs gophers.
Ciro Santilli is a big believer that there is value in tutorials written by beginners, because beginners are more likely to explain things in a way that other beginners can understand.
Even though they make more mistakes, this more approachable point of view can be very valuable.
And mistakes/omissions can be corrected on comments by people with more knowledge, so that the writer also ends up learning something new.
By other people:
- jakobschwichtenberg.com/about/ from Jakob Schwichtenberg mentions quotes C. S. Lewis book "Reflections on the Psalms"[ref]:
It often happens that two schoolboys can solve difficulties in their work for one another better than the master can. [...] The fellow-pupil can help more than the master because he knows less. The difficulty we want him to explain is one he has recently met. The expert met it so long ago he has forgotten. He sees the whole subject, by now, in a different light that he cannot conceive what is really troubling the pupil; he sees a dozen other difficulties which ought to be troubling him but aren't.