Just say what you mean to say,
If you've been fired, say you been fired, not "let go".
If someone died, say they died, not "passed away".
Previously known as "Food From Electricity", "NeoCarbonFood" sounds like a more commercializable version of it.
Uses electricity to electrolyse water into hydrogen and oxygen molecules, and then use bacteria that do hydrogen chemosynthesis to convert it into food.
Intuitively: unordered container where all the values are unique, just like C++
std::set
.More precisely for set theory formalization of mathematics:
- everything is a set, including the elements of sets
- string manipulation wise:
{}
is an empty set. The natural number0
is defined as{}
as well.{{}}
is a set that contains an empty set{{}, {{}}}
is a set that contains two sets:{}
and{{}}
{{}, {}}
is not well formed, because it contains{}
twice
Bibliography:
- maths-people.anu.edu.au/~andrews/DG/ Lectures on Differential Geometry by Ben Andrews
Don't force international exchange students to come back early Updated 2025-01-06 +Created 1970-01-01
Many of the student exchange programs Ciro witnessed in the 2010's in Brazil were inefficient because they were requiring students to come back immediately after university or PhD in fear that those students will never come back.
This is useless, because you don't learn anything unique during university: the truly valuable knowledge is obtained when you work for several years as a postdoc in a world class research laboratory or as an engineer in a world class company.
Therefore, Brazil should learn from the Chinese exchange system, which lets students go do whatever they want, and once they are Gods of the domain, entices them back with great positions and pay as heads of laboratory back in China. Just don't do fraudulent stuff like this like China did, or else you will get a bad rep.
To help this university collaboration happen, we should create communication channels between exchange students and professors of the origin country who work on the same domain so that they can discuss the subject. For example, once Ciro Santilli wanted to contact some of his former teachers at the University of São Paulo about "advanced" topics he had been exposed to as part of his job. However, they didn't even reply to his email, and Ciro didn't know who else to contact. This must never happen. We need a way to informally contact several professors of a given domain informally, to increase the chances that at least one might be interested. It is pointless to just let students loose abroad and hope that they will bring things back to their home country: a more cohesive infrastructure is needed to nurture that.
There is basically one sane way to achieve these goals: the exchange programs must be organized at a national level, not in an ad-hoc per-university manner.
Another good idea is to have taxes that depend on your nationality alone and which only start collecting when you reach a very high amount of net worth. So e.g. if someone leaves the country and makes it big, then and only then does the Government starts clawing back the benefits of its investments in the person. Furthermore, such taxes could be reduced if the person brings some of the business back to the country. And mandatory taxes should be charged if the person decides to drop their nationality at some point.
The above points would also be greatly eased by having a national-level exchange program. E.g. in Brazil in the 2010's which Ciro experience, every university had different terms and conditions, which made everything a mess. Exchange programs must be treated as a unified federal policy.
Ciro actually had to return for just six months from the École Polytechnique to the University of São Paulo, to finish a course he had only done the generic Maths/Physics introduction to. Students from other Brazilian universities were forced to return for up to 3 years even to get their Brazilian diplomas! Ciro was lucky that his teachers understood the situation, and allowed him to develop online learning projects instead of his supposed control engineering projects, which hopefully will have led to changing the world with motivation one day. And for this, Ciro is eternally thankful.
This shows the complete and total lack of any Brazilian strategy to send its students abroad to really learn valuable things and then come back. There is no strategy at all. Things have just reached an equilibrium point of bureaucracies, Brazilian universities trying to bring students back to validate useless diploma pieces of paper, and foreign universities no caring about that, and just wanting the students to say abroad forever.
Ciro was once talking about why so few Brazilians go study abroad compared to the Chinese. Besides the likely true "there are a lot of Chinese" argument, his wife made another: good point Brazil is not so bad to live in, because you have good food and freedom, while China only has good food.
But Ciro still fells bad that so few of his University of São Paulo colleagues, who learnt automation and control engineering, are doing deep tech. Nor physical engineering. They have all basically become computer people like Ciro.
This is not their fault. They basically don't have a choice: all physical science and technology is done in rich countries.
Yes, someone has to implement the newest tech to improve local country efficiency in projects that will never spread abroad.
But who will be left then for the next big thing problems that would really make Brazil richer? 6 out of 30 person class ended up working on a gaming company at one point, even though they were not crazy passionate about the field! What could possibly be a worst investment for society?
This lack of technological innovation can also be clearly seen when you research investment options available in Brazil. Huge emphasis is put on fixed return financial products (often inflation adjusted) linked to base non-tech business such as housing market and agriculture. And when you look to the returns of the stock market on s&P 500-analogue backed exchange-traded funds, they do not seem obviously better, especially considering inflation and taxation benefits that exist for some of the other investment possibilities.
When the companies of a country are not clearly the best investment, you know that something is wrong. They are highly specialized money making machines, remember! And housing and agriculture are not such innovative markets where people can hugely influence efficiency.
When it is best to send students is a good question. Undergrad studies could be easily reproduced in poor countries if they had any intelligence at all, since even in rich countries laboratory usage is always limited. Masters and PhD are generally more valuable moments to send people out. The question is if the students will actually have a fighting chance without having been out, in particular in terms of language skills. Ciro feels that Masters are a good focus point for entry, as that is where PhD links are more actively done.
Things that are not nice such as:
- Taboola, Outbrain, and other chumbox
- BLOBs
- Europe cookie law
- adhesive inside mobile phones and more generally, planned obsolescence
- Jupyter Notebook
- typographical characters that look like ASCII ones, but are not the ASCII ones, e.g. typographical quotes, em-dash. The non-breaking hyphen is not even whitespace, and by def Why not stick to ASCII when ASCII is good enough?
- excessive encapsulation
- replacement of master and slave terminology from technology
- mailing lists. And to add insult to injury, HTML on mailing list messages instead of plaintext.
- blank lines in code added by people trying to increase clarity, especially when there is already indentation for that. Every blank line must be preceded by a line comment explaining what the following block is about, or removed.
- messaging software that force you to have a mobile phone
- advertisements by telephone/SMS
- "state" such as global variables and object members, long live functional programming?
- mosquitoes, the only intrinsically bad thing about tropical countries
- projects with slow compilation times
- Microsoft Windows
- the 2019 Chinese government
- e-learning websites that only allows verified teachers to write content. Cowards who can't handle ranking algorithms.
- domain-specific language
- a build system without an out-of-tree option
- non-linear Git history: stackoverflow.com/questions/20348629/what-are-advantages-of-keeping-linear-history-in-git
- visual programming languages like Scratch. Waste of time. Text programming languages are already equally as visual due to indentation:Just make good serious gamedev libraries and integrated development environments for those real languages instead.
if x == 0: x = 1
- software that prevents you from running as root. Let me fucking shoot myself in the foot if I want to. It is better than having to deal with your hand holding bullshit, which is done in a different way for every project. E.g.: stackoverflow.com/questions/17466017/how-to-solve-you-must-not-be-root-to-run-crosstool-ng-when-using-ct-ng/53099177#53099177
- Medium
- luxury goods
- euphemism
- closed access academic journals are evil
- websites without OAuth
- shower room without a window to the exterior (mould!!!)
- single programs with their interface split across multiple windows, e.g. GIMP, ZynAddSubFX
- graphical user interfaces
- logograms
- infinitesimals. Just use limit instead, please
- country
- knowledge olympiads
- programming languages without a decent dominating package system
- closed source offline software used by millions
- exams
- security through obscurities
- dots in Gmail address
- things in websites that look like links, and behave like links, but don't let you middle click to open them on a separate tab
- K-pop
- numerical computing language
- fiscal paradises
- when the front-end of an website changes an important permanent state, but the URL does not change
- splash screens: you should show boot messages so that people will know what to Google for when things fail. Do you think computer newbies will be afraid and have nightmares?
- milk chocolate: why would you eat that instead of dark chocolate if you are older than 10?
- to talk about something without giving the real name to not scare off the audience
- mathematical symbol that looks like a Greek letter but isn't. Or perhaps mathematical notation in general
- when more than two people gather to play a board game or video game, and two or more people start chatting on and on about random subjects rather than concentrating on the game
- watching television while eating. Same for reading, or doing basically anything else but eat. The only acceptable activity is talking relaxedly, not about work.
- noises coming out of your bicycle. It is so hard to find where they come to fix them!!!
- code drop
- private cars as opposed to public transport. As a cyclist, you can just see the effect that large roads have on nearby areas, it just destroys nature.
- closed standards
- double consonants that make no difference to sound. Dilema? Dilemma? Dillema? Dillemma? Please!
- social media websites that show stuff from people you don't follow when you don't explicitly want that, including things which are not ads, just random suggestions. Twitter starting being like that cirac a 2022. Facebook got worse around that time. It is a constant fight against those stupid websites.
- socks with short legs that don't protect your ankle/lower calf from cold/scratches/dirt, e.g. liner socks
- Presta valves. Why would such a flimsy tech have become so popular compared to the infinitely superior Schrader!
What big companies have been created in Europe after World War II, that have not been bought or utterly defeated by American or Japanese companies?Because of all these failures, much fanfare was made as Spotify reached a $50B market capitalization in 2020. An art company, so cute!
- International Computers Limited fully bought by Fujitsu in 1998 after a long decline. The Fujitsu Wikipedia entry contains the emblematic image caption:So much for The Queen. This was a prelude to Arm's sale somewhat.
The Fujitsu office in Bracknell, United Kingdom, formerly an ICL site and opened by HM the Queen in 1976
- Solexa sold to Illumina (American company) for 600M USD in 2007. As of 2020 is still the basis for the dominant DNA sequencing technology in the world
- CSR sold to Qualcomm (American company) for 2.5B USD in 2015
- Dotmatics sold to Insightful Science for $690M[ref] in 2021. To add insult to inujury, Insightful changed its brand to Dotmatics later on.
- Arm sold to Softbank (32B USD in 2016)? ARM being of course the fortunate leftover of Acorn Computers's defeat to the more edible Apple
As of 2023, the LVMH was the most valuable company in Europe by market capitalization[ref]. Luxury goods. An area of industry that borders between the useless and the evil.
Europe has basically become an outsourcing hub for the United States. The fact that its starts are all sold if they become large enough just means that R&D is also outsourced.
ASML, and perhaps more maeaningfully its parent/predecessor ASM International from 1964 is perhaps the biggest exception.
The key problem is that there are so many small countries in Europe, that any startup has to deal with too many incompatible legislation and cannot easily sell to the hole of Europe and scale. So then a larger company from a more uniform country comes and eats it up!
Talent mobility is another issue:
- people can't generally work remotely from different countries for the same company as regular employees, only as contractors. This is because of fiscal incompatibilities across countries[ref][ref], and has become an increasing problem in the 2020's with the increase in remote work possibilities during/after COVID-19.
- it is quite rare for people to study at university in different countries than their own, because the entry examinations are in the native language and have local history knowledge components. This also means that people from different countries don't easily recognize which are the best Universities of other countries, making you take a hit if you want to search for jobs elsewhere
So why can't Europe unify its laws?
Because the countries are still essentially walled off by languages. Europe is the perfect example of why having more than one natural language is bad for the world.
There isn't true mobility of people between countries.
You just can't go study or work in any other country (except for the UK, when it was still in the EU) without putting a huge effort into learning its language first.
Without this, there isn't enough mixing to truly make cultures more uniform, and therefore allow the laws to be more uniform.
Europe can't even unify basic things like:
- a marriage registry
- the mail system, parcels often getting lost and require you to contact people who may not speak English
- the train systems: www.linkedin.com/posts/hinrich-thoelken_cop26-activity-6863490595072045057-Xhlg/This year, I decided to travel from Berlin to COP26 in Glasgow by train. The journey was expected to cover 4 trains from 4 different railway operators and to last 17 hours. I had planned for at least 30 minutes transfer time in Cologne, Brussels and London.Well, as you might have guessed, in reality the trip took 32 hours and I spent one extra night at a hotel in London.
Equally so, it can't force little fiscal paradises who effectively benefit from being in Europe like Ireland, Luxembourg, Monaco, Switzerland ("not European", but should that be allowed?) and Cyprus (the EU can't even maintain its territorial integrity, let alone fiscal) to not offer ridiculously low taxes and incentives which make them entry points for foreign companies to rape Europe.
For this reason, Europe will only continue to go downhill with the years, and the United Kingdom will continue to try and endosymbiose into a state of the United States (although at times it seems that it would rather endosymbiose with China instead).
Historically, this disunion is partly due to the European balance of power, whereby countries would form alliances with old enemies to prevent another country from taking over. Also linked are failed military unification attempts by Napoleon and Hitler, though we are likely better off without the latter succeeding!!! Though those also partly failed due to wider balance of power issues involving the United Kingdom, the Soviet Union and USA, not only due to internal balance. Of course, none of that matters anymore after World War II, where other more unified Europe-sized potencies rose, first the USA and the Soviet Union, and then China, and now European disunion is nothing but a burden.
Evidence such as those makes it clear that the European Union is a failure.
One thing must be said in favour of Europe's mess however: it favours international collaboration in huge projects as a more neutral middle ground. This can be seen more clearly in the ITER and the fiasco that was the Superconducting Super Collider that was cancelled a couple of billion dollars in partly because it failed to attract any foreign investment, compared to the Large Hadron Collider which went on to find the Higgs boson as mentioned at www.scientificamerican.com/article/the-supercollider-that-never-was/.
Bibliography:
- www.politico.eu/article/ursula-von-der-leyen-mission-europe-economy/ Von der Leyen's mission: Stop Europe's 'slow agony' of decline (2024)
Unlisted articles are being shown, click here to show only listed articles.