Of course, this only made sense when Apple was more of an underdog to IBM, and Ciro Santilli greatly admires their defiance of the norm.
As of 2020 however, Apple is kind of on the top of the mobile world, and Think different simply makes no sense anymore, notably because it relies on closed source offline software used by millions.
it's Popular Now It Sucks comes to mind.
This is a trap every company that prides itself on it's "alternative culture" sets for itself. If they succeed, they could become the norm.
1976 Think different. 2011 Think mainstream
. Cropped from wallpapersafari.com/w/RqYUEj.This is Ciro Santilli's favorite laptop brand. He's been on it since the early 2010's after he saw his then-girlfriend-later-wife using it.
Ciro doesn't know how to explain it, but ThinkPads just feel... right. The screen, the keyboard, the lid, the touchpad are all exactly what Ciro likes.
The only problem with ThinkPad is that it is owned by Lenovo which is a Chinese company, and that makes Ciro feel bad. But he likes it too much to quit... what to do?
Ciro is also reassured to see that in every enterprise he's been so far as of 2020, ThinkPads are very dominant. And the same when you see internal videos from other big tech enterprises, all those nerds are running... Ubuntu on ThinkPads! And the ISS.
Those nerds like their ThinkPads so much, that Ciro has seen some acquaintances with crazy old ThinkPad machines, missing keyboard buttons or the like. They just like their machines that much.
ThinkPads are are also designed for repairability, and it is easy to buy replacement parts, and there are OEM part replacement video tutorials: www.youtube.com/watch?v=vseFzFFz8lY No visible planned obsolescence here! With the caveat that the official online part stores can be shit as mentioned at Section "Lenovo".
Further more, in 2020 Lenovo is announced full certification for Ubuntu www.forbes.com/sites/jasonevangelho/2020/06/03/lenovos-massive-ubuntu-and-red-hat-announcement-levels-up-linux-in-2020/#28a8fd397ae0 which fantastic news!
The only thing Ciro never understood is the trackpoint: superuser.com/questions/225059/how-to-get-used-of-trackpoint-on-a-thinkpad Why would you use that with such an amazing touchpad? And vimium.
To talk about something without giving the real name to not scare off the audience Updated 2025-04-18 +Created 1970-01-01
Ciro Santilli hates it when an expert does this!!!
If you estimate that the audience won't know the name of the concept, that's fine, do explain it as well.
But you must also give the name!!!
This also manifests itself when news outlets omit foreign names from healines, notably Chinese, but likely happens to all non-european languages too.
Ciro Santilli really likes this genre.
The premise that "we can't make AGI, but we know enough about the human brain to upload on to a computer" is flawed. Edit: after reading Superintelligence by Nick Bostrom (2014), Ciro Santilli was convinced otherwise. What is flawed is of course just the "extracting connectome with macroscopic probes part". A post mortem connectome extraction with microtome is much more believable. But of course they weren't going to show fake slices of Jonny Depp's brain, are they? Famous actor bodies are sacred! What a huge lost opportunity. On the other hand however, the scale of the first connectome extraction would be arguably too huge to be undertaken by a random pair of rogue researchers. The same would also likely apply to any first time human brain connectome. It would much more likely be a huge public effort, much like the Human Genome Project.
But this film does have the merit of exploring how an AGI might act to take over the AGI might act to take over the world once created, notably by creating its own physical research laboratory. Though it doesn't feel likely that it could go under the radar for 2 years given the energetic requirements of the research. Even the terrorists find it before the FBI!
I also wish they had shown the dildo (or more likely, direct stimulation!) computerized Jonny Depp used to use with his wife before he managed to re-synthesized his body. But you know, 18+ would cut too much profits. Ah, what a shame.
Can You Prove You're Self Aware? in the big lab scene from Transcendence (2014)
. Source. Turing machine regex tape notation is Ciro Santilli's made up name for the notation used e.g. at:Most of it is just regular regular expression notation, with a few differences:
- denotes the right or left edge of the (zero initialized) tape. It is often omitted as we always just assume it is always present on both sides of every regex
A
,B
,C
,D
andE
denotes the current machine state. This is especially common notation in the context of the BB(5) problem<
and>
next to the state indicate if the head is on top of the left or right element. E.g.:indicates that the head11 (01)^n <A 00 (0011)^{n+2}
A
is on top of the last1
of the last sequence of n01
s to the left of the head.
This notation is very useful, as it helps compress long repeated sequences of Turing machine tape and extract higher level patterns from them, which is how you go about understanding a Turing machine in order to apply Turing machine acceleration.
TypeScript is good. It does find errors in your JavaScript. But it is a form of "turd polishing". But Ciro Santilli would rather have a polished turd than a non-polished one.
Part of the reason TypeScript became popular is due to the universality of asset bundlers. Once you are already using an asset bundler, changing the
.js
extension into .ts
to get a less shitty experience is an easy choice.The other big reason is that JavaScript is so lose with type conversions, notably undefined happily converting to strings without problems, and any missing properties of Object happily being undefined. We should actually use ES6 Map everywhere instead of using Objects as maps.
Since TypeScript is not the default form of the language however, it inevitably happens that you need to add external types for a gazillion projects that are using raw JavaScript, and sometimes fight a lot to get things to work. And so we have: github.com/DefinitelyTyped/DefinitelyTyped. Not sure if this is beautiful, or frightening.
But in the end, as with other type of static linters, TypeScript generally transforms a few hard to debug runtime issues, into a bunch of stupid to solve compile time issues, which is generally a good thing.
The fact that this it parses comments JSDoc comments in JavaScript files is quite amazing.
Examples under typescript. Run each one of them with:Helper:
npx tsc example.ts
node example.js
tsr() (
# ts Run
f="$1"
npx tsc "$f"
node "${f%.*}.js"
)
tsr example.ts
- typescript/inferFromInit.ts. Should fail with:since TypeScript infers the type of
i
from first assignment asstring
, and we then attempt anumber
assignment later on - typescript/inferAfterInit.ts. Does not fail, as the first assignment cannot be computationally determined at runtime without breaking computer science.
- typescript/js-from-ts/main.ts: call JavaScript file typescript/js-from-ts/notmain.js from TypeScript.TODO we are unable to make it typecheck that require, i.e. make that fail, but we've seen cases in complex codebases where that did happen and www.typescriptlang.org/docs/handbook/intro-to-js-ts.html has infinite information on supporting it. So... how to make it fail??
npx tsc jsFromTs.ts && node jsFromTs.js
- typescript/functionArgument.ts: basic argument tests
- typescript/functionOptionalArgument.ts:
f(n?: number)
- typescript/functionOptionalArgument.ts:
- typescript/functionOptions.ts:
f({n, s}: {n: number, s: string})
Some major annoyances of TypeScript:
- destructuring assignment in function arguments requires repeating all arguments:
- stackoverflow.com/questions/12710905/how-do-i-dynamically-assign-properties-to-an-object-in-typescript how to dynamically assign properties to objects without defining explicit interfaces? We really need a syntax of type:
const myobj = { i: 2, [s string], } if (something) { myobj.s = 'asdf' }
The greatest advantage of it being that it has the likely largest desktop user base, and therefore the highest likelihood that your problems are solved on Ask Ubuntu, and goes together with Ciro's philosophy that "people should do everything in the same way to factor stuff out", especially the open source losers.
Ciro considers that the killer flaw of Ubuntu, and most desktop distros of 2020, is that no one under the Sun knows how to build them fully from source: Linux distribution buildable from source. This is why Ciro based the Linux Kernel Module Cheat on Buildroot, see also: Linux distribution buildable from source.
Ubuntu 24.04 installer "Erase disk and install Ubuntu" doesn't work when BitLocker enabled Updated 2025-04-18 +Created 1970-01-01
Ciro Santilli reproduced on Dell Inspiron 15 3520 with factory defaults. This bug prevents "wipe windows" installation without workarounds, one of which is to disable encryption in Windows.
Unconditional basic income is Ciro Santilli's ultimate non-transhumanist technological dream: to reach a state of technological advancement and distribution of resources so high that everyone gets money for doing nothing, enough for:
Once a person has that, they can "learn, teach" and create whatever they want. Or play video games all day long if they wish.
Ciro Santilli will not live to see this, and is content with helping it happen faster by increasing the efficiency of the world as. And having at least two well educated kids to carry on the project after he dies :-)
Technologies which would help a lot towards unconditional basic income, and might be strictly required required are:
- artificial general intelligence
- This is even less likely than AGI due to the end of silicon Moore's Law and at the start of the Genome's Moore's law: information doubles, small sizes halve, but macroscopic mechanical artifacts stay the same.brain-computer interfaces are pretty certain to happen however after Ciro Santilli dies.
So in the worst case we can just grow brainless bodies and replace the cavity hole with a computer that controls the body, possibly with high level decisions coming from a remote building-sized genetically engineered biological AGI brain.
Of course, it is all about costs. A human costs about 130k 2010 USD/year. So how cheap can we make the AGI / robot human equivalent / year for a given task?
AGI + humanoid robots likely implies AI takeover though. It would then come down to human loving bots vs human hating bots fighting it out. It will be both terrifying and fun to watch.
AGI alone would be very dangerous, in case it can get control of our nuclear arsenals through software zero days or social engineering. Although some claim that is unlikely.
Humanity's best bet to achieve silicon AGI today is to work on: Ciro's 2D reinforcement learning games.
By Charles Bukowski mentioned e.g. at tatyanany.medium.com/slavery-was-never-abolished-it-was-only-extended-to-include-all-the-colors-6ca21d586e7e:
Slavery was never abolished, it was only extended to include all the colors.
Bibliography:
- www.youtube.com/watch?v=bldeaDRWJYcLecture 24: Unemployment, Re-employment & Income Security by Ian Shapiro (2019)
Easy street by Stan Kenton and June Christy (1945)
Source. TODO exact lyrics for copy paste? There seem to be several variants, and I don't have the patience to transcribe. Close enough: lyricsplayground.com/alpha/songs/e/easystreet.html. Except that with UBI there won't be a:guy that you can hire to plant trees so you can have shade
As of 2020, university has the following very important applications:Notably, education is an IQ test, not a way to learn useful and beautiful things.
- meet an intelligent sexual partner (see also: Section "Sexual selection", Section "The main function of university is sexual selection") and or have fun and or come out of the closet
- get you in debt if you are from the United States
One major issue is that teachers don't have the right incentive to, nor are selected to, teach well. Thus the existence of Rate My Professors! But we can do better...
Which is why Ciro Santilli wants to destroy its current format with OurBigBook.com. He believes that we can find a more efficient organization to achieve both the social and research functions of university, by first doing as much as possible online
Ciro Santilli is against affirmative action university entry quotas that reserve spaces e.g. for students from discriminated races or poor families. Instead, he believes that affirmative action should take place on earlier stages of education as described at: free gifted education.
Notably, Brazil has implemented a very heavy university entry quota system after Ciro had left university there: www.bbc.co.uk/news/business-23862676
This is of course easy for a white male from a privileged background to say, and infinite debate has already been had on this matter, but here goes again.
First, in defense to the personal attack, Ciro raises the fact that he has dedicated large chunks (all?) of his life to open source software and knowledge in general, which Ciro believes is the only way to actually make the world fairer to poor countries. His money (time) is where his mouth is.
One good argument in favor of the Brazilian quota system, is that the kids who enter university because of quotas do just as well as those who don't.
Ciro has actually believes that this is possible, and offers the following possible explanation: most of pre-university knowledge is useless, and university selection system is crap, and Ciro wants to destroy it with a system in which anyone can learn university stuff from home.
Both the top end of the quota and non-quota kids are basically equally capable of doing useful stuff therefore.
And possibly more importantly than knowledge, Ciro saw many of his colleagues (basically all of which were from relatively privileged backgrounds) "do badly" in university, because of lack of motivation, because they had chosen a course only to find that they were not interested in it because the existing high school educational system is crap and does not help them find what they love and because it costs you several years of your life to change your choice in most universities (long live École Polytechnique).
Maybe the fact that poor kids know that they are fucked if they fail, and so they have to succeed at any cost, might also help with motivation. Which is a terrible terrible thing, because only those who have to leeway to take risks end up taking them and making the the next big thing.
Ciro believes instead that only once kids have learnt university level stuff in their area of interest for free on the Internet should they go through selection based on that specific and much more concentrated useful knowledge.
And this competition must only be used to distribute resources which you can't learn from fucking computers:
- laboratories. Actually, one of Ciro's most important advices to kids nowadays is: when in doubt, choose the course that has the most experimental work
- one to one mentorship on advanced master thesis/PhD level projects
Once this point knowledge is reached however, it starts to become unclear if a single "everyone takes the same test to avoid discrimination" test is feasible anymore, and we start entering the much more relevant (and potentially discriminatory) "I am a teacher trying to advance the state of the art, and I need a person mildly skilled in the art to do some slave labor for me", which is PhDs selection work.
If quota are in place, what will happen is that parents of the rich kids will start investing less in education, and possibly just put their kids in high schools, and do home schooling instead. This would therefore reduce the total investments the country makes in education!
Outside of the obvious technical evolution proposed, Ciro is a huge proponent of free gifted education. Or closely related, creating scholarships that focus on poor students. The entry requirements should be the same, but once you qualify, everyone should have enough money to lead a decent life during their studies.
Then let those kids pass exactly the same university entry exams, and watch them crush the average privileged kids.
This advice is similar to what is mentioned at: what poor countries have to do to get richer. When you don't have money to do everything, you must select a few good bets and focus on them. You can't pay a lot to every public school teacher, so you must select a few select places that need it the most. As those smart bets pay off, you start to have more and more money to expand the system further.
Inside Westside Barbell by Vice News (2018)
Source. One sentence of this nice documentary about the notorious Westside Barbell gym where the openly pro-performance-enhancing-drug powerlifting legend leader and cult-leader-like personality Louis Simmons teaches just stuck to Ciro Santilli's mind. His top tenant and manager Tom Barry talks about Louis:Ciro admires this level of focus, directness and meritocracy. Just don't take drugs, children. Louis' creation of a cult-like training atmosphere is another interesting aspect, see also: Section "Group students by interest, not by age".
The man [Louis] lives in his own world, and he just rejects everything outside of it, it doesn't matter. Like: "what's your name"? He doesn't care. If you lift numbers, he cares about that, that's more important.
Ciro Santilli's general feeling is that university should not own IP, it should belong to the researchers. Instead, university should help researchers make their startups, so they can become big, and then we can tax them and reinvest in the universities.
Of course, this goes through the nonprofit impact measurement difficulty. Maybe we could instead limit the IP to some reasonably small percentage, like 10%?
But still, as of 2020, if feels like universities are way too greedy.
- youtu.be/ji5_MqicxSo?t=1406 Achieving Your Childhood Dreams by Randy Pausch (2007). At this timestamp he tells a story about how university IP issues almost ruined a collaboration he was passionate about.
Online and free. Pay only for exams, i.e. exam as a service. Almost perfect according to Ciro Santilli's idea.
An ultra-low-cost college degree by Shai Reshef (2014)
Source. University should focus on inspiring and not on evaluating Updated 2025-04-18 +Created 1970-01-01
As of 2020s and much earlier, Ciro Santilli believes that undergrad studies were fundamentally broken (considering the Information Age which completely changed what would be possible) because university had only two goals, with the exception of a few enlightened professors:As a result, most students, who would not go on to do a PhD essentially do a simple trade: all their time, and possibly some money, in exchange for embuing themselves with the incredible name of a respected institution so they can get better jobs later on.
- rank students from worse to best so they can get into PhD programs.For regular jobs grades didn't even matter as much compared the prestige of your university (and therefore, university entry exam grades) and your ability to stand the stress of exams to get minimal passing grade.In particular, being able to rank requires setting the difficulty level at a point where you can see a normal distribution in grades, and not have everyone at either 0 nor 100%.
- get money from the students. Of course, in countries where university is "free", this means reporting how many students you had to some government office so they can give you a corresponding budget. But you still have an incentive to enroll as many as possible.
Unmigrated sections of the old version of Ciro Santilli's website Updated 2025-04-18 +Created 1970-01-01
It is interesting to see how your own ideas shift with time, and Ciro Santilli doesn't think the following are very important anymore, so he was lazy to migrate them.