Incoming links: Ciro Santilli
Ciro Santilli has been writing scripts of that type for a long time in order to test his programming self-learning setups with asserts.
The most advanced of those being the test system of Linux Kernel Module Cheat.
And by artificial intelligence, read of course (non-human-identical) artificial general intelligence.
Today-2022, this is placed under the science fiction film category. But maybe this might change during Ciro Santilli's own lifetime?
The basic criteria of "is a film about artificial intelligence good or not" to Ciro Santilli is: does the AI inhabit humanoid, or fully human looking, bodies? Bodies is a bad sign due to:
- the best science fiction works deeply explore the consequences of one single technology: efficient humanoid bodies are a second technological breakthrough besides AI itself. The first AI will obviously be a supercomputer without a body
- it is hard to imagine that the AI wouldn't organize itself as one huge central computer and R&D/command center. Perhaps there will be need for a few separate ones to optimize usage of natural resources, and to have some redundance in case a nuke blows the region, but there would be very very few of the think tanks. But having big centers is fundamental, because you centralize all the flow of ideas and their combination leading to new better outcomes for the AI. The mobile robot actors controlled by this center, if any exist, would then be slaves with some degree of autonomy and infinitely less computational powerful than the think tank.
The financial industry does not serve society nowhere near its magnitude (London of course being the epitome of that). It serves only itself. It just grows without bound.
- www.theatlantic.com/technology/archive/2011/05/on-the-floor-laughing-traders-are-having-a-new-kind-of-fun/238570/ On the Floor Laughing: Traders Are Having a New Kind of Fun (2011) by James Somers describes trading as a kind of game.
Why I chose quant trading to retire early by Lit Nomad
. Source. Ciro Santilli was not sure under which section classify this video. It is worthwhile despite the title- youtu.be/exPt6mVgpfY?t=123 describes how at Lockheed Martin they were playing the "we are doing it for national defense, not for money card" on employees. Ciro Santilli came to understand and despise similar hypocrisy via Ciro's everyone gets a raise story
Intro/docs: www.jonmsterling.com/jms-005P.xml. It is very hard to find information in that system however, largely because they don't seem to have a proper recursive cross file table of contents.
This is the project with the closest philosophy to OurBigBook that Ciro Santilli has ever found. It just tends to be even more idealistic than, OurBigBook in general, which is insane!
"Docs" at: www.jonmsterling.com/foreign-forester-jms-005P.xml Sample repo at: github.com/jonsterling/forest but all parts of interest are in submodules on the authors private Git server.
Example:
- sample source file: git.sr.ht/~jonsterling/public-trees/tree/2356f52303c588fadc2136ffaa168e9e5fbe346c/item/jms-005P.tree
- appears rendered at: www.jonmsterling.com/foreign-forester-jms-005P.xml
Author's main social media account seems to be: mathstodon.xyz/@jonmsterling e.g. mathstodon.xyz/@jonmsterling/111359099228291730 His home page:
They have
\Include like OurBigBook, nice: www.jonmsterling.com/jms-007L.xml, but OMG that name \transclude{xxx-NNNN}!! It seems to be possible to have human readable IDs too if you want: www.jonmsterling.com/foreign-forester-armaëlguéneau.xml is under trees/public/roladex/armaëlguéneau.tree.Headers have open/close:OurBigBook considered this, but went with
\subtree[jms-00YG]{}parent= instead finally to avoid huge lists of close parenthesis at the end of deep nodes.One really cool thing is that the headers render internal links as clickable, which brings it all closer to the "knowledge base as a formal ontology" approach.
The markup has relatively few insane constructs, notably you need explicit open paragraphs everywhere
\p{}?! OMG, too idealistic, not enough pragmatism. There are however a few insane constructs:The markup is documented at: www.jonmsterling.com/foreign-forester-jms-007N.xml
Jon has some very good theory of personal knowledge base, rationalizing several points that Ciro Santilli had in his mind but hadn't fully put into words, which is quite cool.
OCaml dependency is not so bad, but it relies on actually LaTeX for maths, which is bad. Maybe using JavaScript for OurBigBook wasn't such a bad choice after all, KaTeX just works.
Viewing the generated output HTML directly requires
security.fileuri.strict_origin_policy which is sad, but using a local server solves it. So it appears to actually pull pieces together with JavaScript? Also output files have .xml extension, the idealism! They are reconsidering that though: www.jonmsterling.com/foreign-forester-jms-005P.xml#tree-8720.The Ctrl+K article dropdown search navigation is quite cool.
\rel and \meta allows for arbitrary ontologies between nodes as semantic triples. But they suffer from one fatal flaw: the relations are headers in themselves. We often want to explain why a relation is true, give intuition to it, and refer to it from other nodes. This is obviously how the brain works: relations are nodes just like objects.They do appear to be putting full trees on every toplevel regardless how deep and with JavaScript turned off e.g.:
which is cool but will take lots of storage. In OurBigBook Ciro Santilli only does that on OurBigBook Web where each page can be dynamically generated.
The cool thing about this notation is that is showed to Ciro Santilli that there is more state to a chess game than just the board itself! Notably:plus some other boring draw rules counters.
- whose move it is next
- castling availability
- en passant availability
A more precise term for those in the know: open source software that also has a liberal license, for some definition of liberal.
Ciro Santilli defines liberal as: "can be commercialized without paying anything back" (but possibly subject to other restrictions).
He therefore does not consider Creative Commons licenses with NC to be FOSS.
For the newbs, the term open source software is good enough, since most open source software is also FOSS.
For Ciro Santilli's campaign for freedom of speech in China: Section "github.com/cirosantilli/china-dictatorship".
Ciro has the radical opinion that absolute freedom of speech must be guaranteed by law for anyone to talk about absolutely anything, anonymously if they wish, with the exception only of copyright-related infringement.
And Ciro believes that there should be no age restriction of access to any information.
People should be only be punished for actions that they actually do in the real world. Not even purportedly planning those actions must be punished. Access and ability to publish information must be completely and totally free.
If you don't like someone, you should just block them, or start your own campaign to prepare a counter for whatever it is that they are want to do.
This freedom does not need to apply to citizens and organizations of other countries, only to citizens of the country in question, since foreign governments can create influence campaigns to affect the rights of your citizens. More info at: cirosantilli.com/china-dictatorship/mark-government-controlled-social-media
Limiting foreign influence therefore requires some kind of nationality check, which could harm anonymity. But Ciro believes that almost certainly such checks can be carried out in anonymous blockchain consensus based mechanisms. Governments would issues nationality tokens, and tokens are used for anonymous confirmations of rights in a way that only the token owner, not even the government, can determine who used the token. E.g. something a bit like what Monero does. Rights could be checked on a once per account basis, or yearly basis, so transaction costs should not be a big issue. Maybe expensive proof-of-work systems can be completely bypassed to the existence of this central token authority?
Some people believe that freedom of speech means "freedom of speech that I agree with". Those people should move to China or some other dictatorship.
This term was invented by Ciro Santilli, and similar ideas certainly already exists with different names by other people. As the name suggests, it basically involves combining free education and gifted education, but with other more specific aspects crammed in that would make a precise name too long to read, as descried below.
Government must create selective, K-12 and university-level teaching institutions that are completely free.
As mentioned at pick few good bets and invest enough on bets, these do not need to be given to all students: what we have to do is to ensure that the top N-percent of the best students will get in, and that none of them will pay. Where N is as large as the budget society decides to put into this project, the larger the better. Therefore, perhaps "gifted education" is not the ideal name for this idea, as it generally implies very small N (1%?), while this project hopes for larger N, maybe 10%. But a minimal level of quality must be attained, it is pointless to dissolve the resources too much, if we only have enough for 1%, then so be it, start with 1%.
These institutions must start from the very first school year, and go all the way up through K-12 to the end of university. It is useless to start at university-level only otherwise only the rich students will have a chance of getting in, like Ciro Santilli saw in Brazil at the Polytechnic School of the University of São Paulo in the late 2000's: one day all students were gathered in the amphitheater, and they asked the students who had only gone through free government K-12 schools to raise their hands. Those were notably worse than the corresponding private schools, and the situation is inverted in university, where the best schools are the government ones. Out of about 500 people, at most 10 raised their hands!
These institutions should not have affirmative action entry quotas, including most importantly at the university level. Both rich and poor should be able to apply. Passing the selection criteria is all that matters. We just must ensure that the schools are widely advertised amongst disadvantaged communities, so that they will at least get their children to try to apply from an early age. This way, even if the rich always have an advantage due to better overall conditions, the poor are so much more numerous that the majority of students accepted will still be poor.
The school should follow the basic principles of how to teach, notably:
- students must have a flexible choice of what to learn. There will be no classes, all learning will happen either OurBigBook.com or on 1-to-1 meeting with tutors, or in discussions with fellow students.The term "gifted education" might suggest elitism, but Ciro Santilli strongly believes that different people have different skills, and that if everyone could focus on whatever it is that they want to do in life, be it engineering or the arts, rather than just pass a bunch of useless exam, then having the 10% "best" of each interest group would already cover a huge percentage of the population.
- Through it, students will be helped to directly achieve their greater life goals.There will be no teachers: each student will be assigned senior advisors, and together they will come with an individualized research proposal or business plan.There will be no useless mandatory institutional exams. Exams only need to be taken if a given advisor requires it to filter candidate students. But if you manage to impress them through other means, they can just accept you without the exam.A fundamental part of this is to fill the the missing link between basic and advanced. We want to help students to reach the state of the art of their field of interest as fast as possile.
- group students by interest, not by age
These schools must pay mentors as much as the average good non-free schools so you actually get comparably good teachers. Mentor selection would also be highly competitive, just as that of the students.
Once admitted, students will have guaranteed access to the school resources for a few years. This way, they won't need to worry about passing useless exams every three months.
All that matters is that they are progressing in their development plan. Rather than exams, students will do regular progress report sessions with their advisors, and will get periodic reviews from other advisors with similar interests.
Such projects could be funded by much needed wealth tax or other measures to tax the rich, which the people should claim through Referendum, that would be come more common with the adoption of electronic voting. Because the politicians are simply not being able to do it.
Ciro Santilli's admiration for Dyson goes beyond his "unify all the things approach", which Ciro loves, but also extends to the way he talks and the things he says. Dyson is one of Ciro's favorite physicist.
Besides this, he was also very idealistic compassionate, and supported a peaceful resolution until World War II with United Kingdom was basically inevitable. Note that this was a strategic mistake.
Dyson is "hawk nosed" as mentioned in Genius: Richard Feynman and Modern Physics by James Gleick (1994) chapter "Dyson". But he wasn't when he was young, see e.g. i2.wp.com/www.brainpickings.org/wp-content/uploads/2016/03/freemandyson_child-1.jpg?resize=768%2C1064&ssl=1 It sems that his nose just never stopped growing after puberty.
He also has some fun stories, like him practicing night climbing while at Cambridge University, and having walked from Cambridge to London (~86km!) in a day with his wheelchair bound friend.
Ciro Santilli feels that the label child prodigy applies even more so to him than to Feynman and Julian Schwinger.
Bibliography:
- QED and the men who made it: Dyson, Feynman, Schwinger, and Tomonaga by Silvan Schweber (1994) chapter 9 Freeman Dyson and the Structure of Quantum Field Theory
Ciro Santilli does not believe in free will of course because he is an agnostic and he believes that brains are controlled by the laws of physics, see also: physics and the illusion of life.
Functional programming is a subset of imperative programming Updated 2025-06-17 +Created 1970-01-01
Ciro Santilli thinks imperative programming is just a superset of functional programming where you can have state.