However it won't remain like that for long, because it will be migrated to OurBigBook.com, and therefore become a brain dump of society itself.
They've been trying to get it to work forever, and it's beeen buggy forever:
Became the default on Ubuntu 21.04: www.omgubuntu.co.uk/2021/01/ubuntu-21-04-will-use-wayland-by-default
In intuitive terms it consists of all integer functions, possibly with multiple input arguments, that can be written only with a sequence of:and such that
- variable assignments
- addition and subtraction
- integer comparisons and if/else
- for loops
for (i = 0; i < n; i++)n does not change inside the loop body, i.e. no while loops with arbitrary conditions.n does not have to be a constant, it may come from previous calculations. But it must not change inside the loop body.Primitive recursive functions basically include every integer function that comes up in practice. Primitive recursive functions can have huge complexity, and it strictly contains EXPTIME. As such, they mostly only come up in foundation of mathematics contexts.
The cool thing about primitive recursive functions is that the number of iterations is always bound, so we are certain that they terminate and are therefore computable.
This also means that there are necessarily functions which are not primitive recursive, as we know that there must exist uncomputable functions, e.g. the busy beaver function.
Adding unbounded while loops of course enables us to simulate arbitrary Turing machines, and therefore increases the complexity class.
More finely, there are non-primitive total recursive functions, e.g. most famously the Ackermann function.
Brand according to documents: SMEG.
Most similar models I an find: www.smeguk.com/products/UKC8173N1F and www.smeguk.com/products/UKC81721F, the keyword are "built-in" and "integrated", other very similar ones: www.smeguk.com/refrigerators/built-in
Looks like this: www.youtube.com/watch?v=4c_LBVnU4ec and that's how to unclog the drain.
2020-11-28: defrost. Some small Styrofoam was broken lose from top, noticed small burn or rust marks on top grid nearby.
How hard could it be? You just have to learn the encoding of the neural spine/eyes/ear, add an invasive device that multiplexes it, and then the benefits could be mind blowing.
Ciro Santilli's energy throughout the day varies as follows:
- morning: highest
- 11AM: peak exercise performance
- after lunch: brain death. Possibly due to Ciro's partial Spanish descent?
- late afternoon and evening: can do some stuff
Ciro has low tolerance to sleep deprivation which makes him very irritable, and low ability to sleep if there is any light. It must have to do with those damned ganglion cell photoreceptors. On the other hand, Ciro Santilli's wife can sleep without any problems with some morning light! It is definitely genetic. Ciro conjectures that people from very Northern parts of the world must have a gene that allows them to sleep even if there is some light, while more equatorial people don't. Maybe: pubmed.ncbi.nlm.nih.gov/33049062/
Ciro has mild olfactory synesthesia for star anise (八角, bajiao), which is widely used in Chinese cuisine and makes Ciro think uncontrollably of the color blue. Ciro does not have any other known synesthesias. He is also prone to nerd sniping form time to time.
Ciro is a reptilian-like being with cold hands and feet and low blood pressure. For this reason he believes that he will die of cancer or some respiratory problem. If the Chinese government doesn't get him first that is. This also partly explains why Ciro is not a big fan of swimming.
Besides Chinese food, Ciro really likes eating fruits and roasted nuts, maybe partly because he was born in Brazil, and partly because of monkey nature, see his Chinese name. At home he is known as "水果大王" (the big king of the fruits). Ciro is also a sucker for yoghurt (natural without added sugars and full fat, fat-tree yoghurt is terrible, often eaten with fruits). Ciro's "favorite drink" could be tonic water with freshly squeezed lemon. Tied with fresh fruit juices. Chocolate-wise, although not a huge fanatic, a Lindt dark chocolate with whole hazelnut pieces bar will do the job.
Ciro does not like receiving or giving gifts on expected social situations like birthdays or Christmas. Ciro believes that every day is equally precious, and can be a day to give, be it through awesome open source software contributions, or if you find something that your friend will like
Ciro has some respiratory allergies. When he was around 5, he had relatively serious asthma crisis which scared his parents to death. Throughout his life, he appears to be allergic at an intermediate level to: mold or dust mites (or whatever it is that old books/pillows have), cats (itching on touch), hay fever (in May in the UK, likely grass pollen). But even outside of hayfever season, Ciro's nose is constantly either running in the cold, or often partially blocked while sleeping throughout the year. Ciro believes however that this also gives him higher resistance to viral infections, since it has been many many years since he had a cold/flu, and when everyone in the office is going down with it, he's just fine. Ciro wonders if his active immune system will actually kill off cancers early, which he ranks as his most likely causes of death, along with respiratory and gastro-intestinal problems. Ciro has low blood pressure and cannot get fat, so cardio vascular problems seem much less likely.
Ciro is generally democrat due to his high compassion level. He believes that politics is highly genetically determined, and that just like you enter a room full of people and immediately like some and dislike others, the same goes for politics. People just vote for whoever they want to see more of because their way of speaking makes them feel good. There is not rationality involved in it at all.
Ciro self diagnoses a slight graphomania in the early 2020's. This is largely what led him to create OurBigBook.com, and contribute to Stack Overflow. Literature Nobel Prize laureate Naguib Mahfouz also suffers from the condition however, so maybe good can also come out of it:
When Ciro was quite young, maybe around 7-10, when he got very angry or sad for some stupid reason (bullying perhaps? Ciro forgot), he would have a psychosomatic manifestation: his spine would become visibly curved sideways (scoliosis). While writing this paragraph, Ciro Googled it, and found e.g. medium.com/@michaelrosen_94192/the-root-cause-of-scoliosis-5c461002b634 that describes:so it is a somewhat well known thing! Incredible. Can you imagine the level of the passions that lead to such physical deformations? But of course, it was all for nothing.
The Root Cause of Idiopathic Scoliosis
There are 5: en.wikipedia.org/w/index.php?title=Euclidean_geometry&oldid=1036511366#Axioms, the parallel postulate being the most controversial/interesting.
Shot by Web of Stories.
The amount of detail in which he remembers all that happened is astounding. Not too different from the Murray Gell-Mann interview in that aspect.
The approach many courses take to physics, specially "modern Physics" is really bad, this is how it should be taught:
- start by describing experiments that the previous best theory did not explain, see also: Section "Physics education needs more focus on understanding experiments and their history"
- then, give the final formula for the next best theory
- then, give all the important final implications of that formula, and how it amazingly describes the experiments. In particular this means: doing physics means calculating a number
- then, give some mathematical intuition on the formulas, and how the main equation could have been derived
- finally, then and only then, start deriving the outcomes of the main formula in detail
This is likely because at some point, experiments get more and more complicated, and so people are tempted to say "this is the truth" instead of "this is why we think this is the truth", which is much harder.
Related:
- settheory.net/learnphysics and www.youtube.com/watch?v=5MKjPYuD60I&list=PLJcTRymdlUQPwx8qU4ln83huPx-6Y3XxH from settheory.net
- math.ucr.edu/home/baez/books.html by John Baez. Mentions:Ciro Santilli is trying to change that: OurBigBook.com.
This webpage doesn't have lots of links to websites. Websites just don't have the sort of in-depth material you need to learn technical subjects like advanced math and physics — at least, not yet. To learn this stuff, you need to read lots of books
- web.archive.org/web/20210324182549/http://jakobschwichtenberg.com/one-thing/ by Jakob Schwichtenberg
Ciro Santilli's hardware Mechanical and electrical tools Updated 2025-06-17 +Created 1970-01-01
2020-01 www.amazon.co.uk/dp/B07D318N7Z
2020-01 "Heat Gun, SEEKONE Professional 2000W 50℃- 600℃ Variable Temperature Control Hot Air Gun Kit with 2 Temperature Modes 7 Accessories for D" www.amazon.com/dp/B078S5QMFG Initially for for cell phone repair, but later learnt they are also useful for heat shrink.
2020-11 BOA 13-2612 Strap Wrench, 6-Inch Capacity 8-Inch Long Lever www.amazon.com/dp/B00096JDKS Official: www.boatoolcorp.com/our-products/boa-constrictor-range/boa-constrictor/
2019-09 "Draper Redline 68001 160 mm Heavy Duty Pliers Set with Soft Grip Handles (3-Piece)" web.archive.org/web/20190903191215/https://www.amazon.co.uk/dp/B071JL6LLL (archive)
2019-08: www.amazon.co.uk/dp/B000LFRYG2 (archive) "Silverline SP1236 Combination Spanner, 8-19 mm - 12 Pieces" 8.48 pounds. Because I needed the 15mm for bike pedal, and the price of 1 and the full set were very close.
6 10/11/12/13/14/17 mm Combination Wrench Set WRENCH SET COMBINATION Open-Ended Spanner/Ring Spanner Set www.amazon.co.uk/dp/B07BZLVGX8 (archive) But they sent one wrong, 8 instead of 11. Chrome Vanadium Steel. Markings: "DROP FORGED A". Quality feels crappy, not very smooth.
2017: Teng 621011 Double Open Ended Spanner 10x11mm www.amazon.co.uk/dp/B0001P0VP8 (archive)
2017: Magnusson AMS49 5M TAPE MEASURE 5m retractable flexible rule. www.screwfix.com/p/magnusson-ams49-5m-tape-measure/5315v (archive)
lspci00:00.0 Host bridge: Intel Corporation Xeon E3-1200 v6/7th Gen Core Processor Host Bridge/DRAM Registers (rev 05)
00:01.0 PCI bridge: Intel Corporation 6th-10th Gen Core Processor PCIe Controller (x16) (rev 05)
00:08.0 System peripheral: Intel Corporation Xeon E3-1200 v5/v6 / E3-1500 v5 / 6th/7th/8th Gen Core Processor Gaussian Mixture Model
00:14.0 USB controller: Intel Corporation 100 Series/C230 Series Chipset Family USB 3.0 xHCI Controller (rev 31)
00:14.2 Signal processing controller: Intel Corporation 100 Series/C230 Series Chipset Family Thermal Subsystem (rev 31)
00:15.0 Signal processing controller: Intel Corporation 100 Series/C230 Series Chipset Family Serial IO I2C Controller #0 (rev 31)
00:16.0 Communication controller: Intel Corporation 100 Series/C230 Series Chipset Family MEI Controller #1 (rev 31)
00:17.0 SATA controller: Intel Corporation Q170/Q150/B150/H170/H110/Z170/CM236 Chipset SATA Controller [AHCI Mode] (rev 31)
00:1c.0 PCI bridge: Intel Corporation 100 Series/C230 Series Chipset Family PCI Express Root Port #1 (rev f1)
00:1c.2 PCI bridge: Intel Corporation 100 Series/C230 Series Chipset Family PCI Express Root Port #3 (rev f1)
00:1c.4 PCI bridge: Intel Corporation 100 Series/C230 Series Chipset Family PCI Express Root Port #5 (rev f1)
00:1d.0 PCI bridge: Intel Corporation 100 Series/C230 Series Chipset Family PCI Express Root Port #9 (rev f1)
00:1d.4 PCI bridge: Intel Corporation 100 Series/C230 Series Chipset Family PCI Express Root Port #13 (rev f1)
00:1f.0 ISA bridge: Intel Corporation CM238 Chipset LPC/eSPI Controller (rev 31)
00:1f.2 Memory controller: Intel Corporation 100 Series/C230 Series Chipset Family Power Management Controller (rev 31)
00:1f.3 Audio device: Intel Corporation CM238 HD Audio Controller (rev 31)
00:1f.4 SMBus: Intel Corporation 100 Series/C230 Series Chipset Family SMBus (rev 31)
00:1f.6 Ethernet controller: Intel Corporation Ethernet Connection (5) I219-LM (rev 31)
01:00.0 VGA compatible controller: NVIDIA Corporation GM107GLM [Quadro M1200 Mobile] (rev a2)
01:00.1 Audio device: NVIDIA Corporation GM107 High Definition Audio Controller [GeForce 940MX] (rev a1)
04:00.0 Network controller: Intel Corporation Wireless 8265 / 8275 (rev 78)
3e:00.0 Non-Volatile memory controller: Samsung Electronics Co Ltd NVMe SSD Controller SM981/PM981/PM983
3f:00.0 Unassigned class [ff00]: Realtek Semiconductor Co., Ltd. RTS525A PCI Express Card Reader (rev 01)lspci -t-[0000:00]-+-00.0
+-00.2
+-01.0
+-02.0
+-02.1-[01]----00.0
+-02.2-[02]----00.0
+-02.4-[03]----00.0
+-03.0
+-04.0
+-04.1-[04-63]--
+-08.0
+-08.1-[64]--+-00.0
| +-00.1
| +-00.2
| +-00.3
| +-00.4
| +-00.5
| \-00.6
+-08.2-[65]--+-00.0
| \-00.1
+-08.3-[66]--+-00.0
| +-00.3
| +-00.4
| \-00.6
+-14.0
+-14.3
+-18.0
+-18.1
+-18.2
+-18.3
+-18.4
+-18.5
+-18.6
\-18.7 How to teach Exams and homework are useless, only projects matter Updated 2025-06-17 +Created 1970-01-01
See: Section "Exam".
The only thing that matters is that students aim towards the goals described at explain how to make money with the lesson.
Any "homework for which the student cannot use existing resources available online" is a waste of time.
The ideal way to go about it is to reach some intermediate milestone, and then document it. You don't have to do the hole thing! Just go until your patience with it runs out. But while you are doing it, go as deep and wide as you possibly can, without mercy.
This is actually how Ciro Santilli learns new subjects he is curious about, even as an adult! Some examples:
Tell students to:
- make suggestions to the course material themselves, since you have used text and published your source.Review their suggestions, and accept the best ones.
- answer the questions of other students on your online forum. Let them work instead of you.
Praise those that do this very highly, and give them better grades if you have that superpower.
Whatever you do, even if it is playing video games: if you manage to produce related content that will interest other people, and possibly allow you to get paid, it will much much fun to do that thing.
There are unlisted articles, also show them or only show them.