Kaggle Updated 2026-01-30
To be fair, this is one of the least worse ones.
Accounts controlled by Ciro Santilli Updated 2026-03-05
Ciro Santilli controls the following accounts.
With non-trivial activity:
Trivial or no activity:
Profiles without URLs (OMG...):
  • Discord: username cirosantilli, previously cirosantilli#8921
Lost or deleted:
Accounts in Chinese websites. These accounts might be banned or altered or offer other limitations, so Ciro only communicates briefly through them. All communication through those channels should obviously be assumed to be compromised:
XP School Updated 2026-01-30
Amazing self-directed learning direction:
The pupils have a parents' evening coming up but instead of their teachers giving an account of their progress, it is a "student-led conference" at which they must present a portfolio of their work, explain what they are most proud of and discuss where they need to put in more effort.
world.hey.com/gwyn/no-excuses-bc4152fb mentions that the founder was inspired by other schools: High Tech High and Expeditionary Learning.
Lots of focus on showcase student work.
The founder Gwyn ap Harri is quite dirty mouthed, which is also cool.
Ciro Santilli tried to contact them in 2021 at: twitter.com/cirosantilli/status/1448924419016036353 and on website contact form to see if we could do some project together, but no reply.
U-Math Updated 2026-01-30
Bought: November 2023 during Black Friday sale for £1,323.00 to be Ciro Santilli's main personal laptop.
Six years after, and we are 2x on every key spec (except processor Hz ;-) at about 1/2 the price and 1/2 the weight (though smaller 14" screen for greater portability), so not bad! Customized to max out each hardware spec:
Specs:
Identifiers:
Upon arrival:
  • Weight: 1490 g
  • Charger weight: 323 g
  • Firmware according to sudo dmidecode -t bios:
    Vendor: LENOVO
    Version: R2FET33W (1.13 )
    Release Date: 09/08/2023
Buy research:
Log:
2024-01-17: firmware update:
Vendor: LENOVO
Version: R2FET36W (1.16 )
Release Date: 10/24/2023
Actually fixed performance mode: askubuntu.com/questions/604720/setting-to-high-performance/1343879#1343879
The cartridge is number 33 or 33 XL.
2025-11: moved it around an lost charger cable. Bought new cable www.amazon.co.uk/dp/B08YDJ9N6W "USB 2.0 Type A Male to B" but not turning on using chargers that work for cell phone, so I'm not sure if a charger problem, or if it printer was broken while deplacing it...
2026-02-07: might have lost a the left North Face etip recycled gloves black with white signs, rebuying without too much thinking, redundancy is fine now that I'm old and don't have time: www.amazon.co.uk/dp/B08BDPDNH7
2025-12-28: after losing the Karrimor X Lite Run Black Headband for good going to try a few ones online:
2024-11: OK, I give up, going to try and find the Extremities XDRY again, as these are the perfect gloves for the UK. Buying www.amazon.co.uk/dp/B00OISFUQ4. Their marketing is very confusing and there are several different names for the product, but the label reads "extremities insulated waterpoof sticky power liner glove", black, large. This is the official page: www.terra-nova.co.uk/products/insulated-waterproof-sticky-power-liner-gloves X-Dry Stretch, 100% polyester.
2024-10: going to try Endura Men's Strike Glove - Hi-Viz Yellow, Large www.endurasport.com/strike-glove-hi-viz-yellow/12929542.html | www.wiggle.com/endura-strike-gloves-930526#colcode=93052613. These gloves are high quality, but they are too hot and fleecy for the UK, unless it is an exceptionally cold winter day around 0. This means that they get quite wet from sweat, and they are not that breathable. Also they are very hard to take off and put on, which is painful if you are like me who uses your cell phone for navigation, and while it works with touchscreens, sometimes it's just too annoying and you have to take them off.
2024-05: going to try www.sealskinz.com/products/water-repellent-all-weather-glove Sealskinz Tasburgh Water Repellent All Weather love black large because Extremities XDRY has a hole on right thumb due to gear shifting. This glove is very similar to the Nike academy hyperwam, not really a winter glove feels like. Weird branding...
2023-11: Endura Windchill Bibtights XL - Black: www.endurasport.com/windchill-bibtights-black/12926004.html because knees of dhb one open. I'm an idiot for getting XL... it's just that L felt too short on the top. But ultimately XL was too baggy, this became quite apparent on first usage, L would likely have been better, just would have needed to pull it a bit more. Quality is very good, very water repellent, kept me warm on 2C under very light rain. Also tried www.endurasport.com/xtract-bibtight-black/12926142.html but the sizing was completely different. L on that one as obviously too large, M felt correct.
2023-07: lost my waterproof cap, not cycling specialized, but was useful. Was by itself in crappy backpocket of cheap muddy fox jersey, lots of wind, some fence jumping... Hadn't noted know the brand/model... sad. Let's try Castelli A/C 2 Cycling Cap? www.castelli-cycling.com/US/en/Men/Collection/Hot-Weather-Kit/A-C-2-CYCLING-CAP/p/4523032_008 Single size. Slightly small, but hard to be sure.
2023-07: www.dhbsport.com/products/aeron-short-sleeve-jersey-2-0 dhb Aeron Short Sleeve Jersey 2.0 Colour Ink Blue Size (Standard) L. To prevent crap from falling again hopefully. Felt too small. Material: 100% polyester, inserts, 64% polyester, 6% elastane. Compared to the non 2.0 which I have, the material feels more glossy/slippery. Slightly weird.
2022-05: buying another "dhb Lightweight Mesh Long Sleeve Base Layer", small www.wiggle.com/p/dhb-lightweight-mesh-long-sleeve-base-layer. I notice that it is actually a bit not long enough. Doesn't make a huge difference, but maybe medium or large next time.
2022-12 Rohan Polar Gloves, black, large, 45 pounds. Shell: 85% polyamide, 15% elastane. Insulation: 100% polyester. 100g insulation on back of the hand. www.rohan.co.uk/mens/accessories-polar-gloves Let's see how they perform after hands were very cold on a bike ride with the Extremities XDRY.
2022-08 dhb Aeron Short Finger Gel Gloves 2.0 medium white www.wiggle.co.uk/dhb-aeron-short-finger-gel-gloves-20. For sun/fall protection. In theory should be small according to size guide, but small was over, and I have my doubts it is correct.
2021-12: bought a North Face etip recycled gloves black with white signs, large about 40 dollars: www.thenorthface.co.uk/shop/en-gb/tnf-gb/mens-etip-gloves-4sha?variationId=KY4 let's see how that goes. These ended up being very good. They are not very warm, good for 10-15 C maybe, which is a important range. Water performance is very good
2021-12:
  • dhb Windproof Cycling Gloves Small Black 33 dollars to replace the Nike academy hyperwam gloves which I lost a pair of recently. It already had a hole in the thumb anyways from shifting the small gears all the time. S was way too small despite me making hand measurement, returned.
  • dhb C1.0 Crossover Helmet Matte Black 58-61cm 40 dollars after recent crash to ensure helmet integrity
2021-06: Castelli UPF 50+ Light Arm Sleeves (Skins) Large White, 29 pounds www.castelli-cycling.com/bg/upf-50-+-light-arm-sleeves/p/451603621P-001. Felt really good. Really does not trap much heat, and completely blocks off sun. It makes you develop a small layer of sweat that keeps you cool, cooler than without the sleeves.
2021-02 Castelli PRO THERMAL SKULLY red www.wiggle.co.uk/castelli-pro-thermal-skully www.castelli-cycling.com/gb/pro-thermal-skully/p/452054220A to help with cold, the X Lite Run Black Headband is just not made for winter.
2021-01: Madison Cycle Everywear Sportive Toe covers. L/XL. www.madison.cc/shop/sportive-thermal-toe-covers/VARCLA121/CLA12104
2021-01: "Endura FS260-NEMO Glove II" Neoprene Winter Handwarmer Large. www.endurasport.com/Gants-Nemo-FS260-Pro-II/p/E1216-Black Let's see how neoprene feels like. Basically it becomes wet with your transpiration, but is still relatively warm, would take it well down to 5C. Likely would work well with heavy rain. Not bad. But does feel a bit cooler than the Extremities XDRY, especially after you walk for a bit, and your hand becomes cold, and it is very hard to warm it because it is also wet.
2020-12-21: "dhb Neoprene Nylon Overshoes" www.wiggle.co.uk/dhb-neoprene-nylon-overshoes large black. After 2 rides, noticed that the front lower part of left foot (the one I put on and off the most) had a hole in it, not sure where it was made. Edit: I later noticed that it is because I have the reflex of braking slightly with my shoes in certain conditions, e.g. at lower speeds in close proximity to pedestrians, the sounds of which also serve as a way to alert them without the need for a loud bell. But it destroys the overshoe, so I have to undo that reflex.
2020-11-06 www.alpinetrek.co.uk/castelli-perfetto-ros-long-sleeve-cycling-jersey/ "Castelli Perfetto RoS Long Sleeve - Cycling jersey" size L Large. On Wiggle: www.wiggle.co.uk/castelli-perfetto-ros-long-sleeve-jersey Feels great. Together with the dhb Merino Long Sleeve Base Layer, I can gown down to 0 Celcius, no problem, and up to 14 with the "Mesh Long Sleeve Base Layer". Breathes great, blocks wind and rain reasonably, and can holds mild rain out on a short 1.5h ride without problem. I used this so much it is unbelievable.
2020-10-17:
  • last ride top was a bit cold on shoulders where not covered by arm warmers, about 10C, so going to try: www.wiggle.co.uk/dhb-aeron-rain-defence-polartec-jacket-1 "dhb Aeron All Winter Softshell Jacket", 109.25 pounds, Fluro Yellow, small to match previous tops that worked, approx: 50 polyester, 40 polyamide, 10 elastane, recommended temperature: 2-12 degrees Celcius. Material felt OK, not amazing but OK. Returned because a bit too small.
  • the "dhb Classic Thermal Bib Tights" is a bit too warm for lower tens, so going to try "dhb Aeron FLT Roubaix Bib Tight", 85.50 pounds, medium, navy color, recommended temperatures: 6-14 deg C, 84% polyamide, 16% elastane. Hopefully not being marked as "thermal" means it is less warm. Also hopefully being DHB Aeron it will be a bit less baggy behind knees. Returned later because felt indistinguishable from the "dhb Classic Thermal Bib Tights".
For sizing see also: Ciro Santilli's body.
2020-11: Castelli Thermoflex 2 Arm Warmers, Large, 28 pounds: www.wiggle.co.uk/castelli-thermoflex-2-arm-warmers | www.castelli-cycling.com/gb/men/accessories/cycling-leg-and-arm-warmers/p/451953020A-010 advertized 8°-20°C. Was going to buy the DHB ones for 10 pounds less, but always out of so Castelli it is.
2020-08: started getting getting cold, so let's do it:
2020-05 www.wiggle.co.uk/dhb-aeron-short-sleeve-jersey-4/ dhb Aeron Short Sleeve Jersey 100% polyester, Red Large. This one fit OK. Length feels right. When on cycling position, a bit baggy under arms though, but guessing M would be too short? Still already feels less baggy than the cheap muddy fox jersey. Aeron is the second lowest level of DHB top, after the super basic 25 pound one. Material is thin polyester, could be better, but OK.
2020-05 www.wiggle.co.uk/castelli-perfetto-light-2-short-sleeve-jersey/ Castelli Perfetto Light 2 Short Sleeve Jersey 84% Nylon, 16% Lycra. When it arrived, was WAY too small, so returned. Material looked and felt amazing.
2019-12 www.wiggle.co.uk/dhb-merino-long-sleeve-base-layer-1/?sku=5360752872 "dhb Merino Long Sleeve Base Layer", black, small, was right size, wool is a bit itchy, but does feel like it dries off more quickly on long rides than the cheap Muddy Fox polyester cycling Jersey. Pretty warm, too much for 15C.
2019-12 www.wiggle.co.uk/dhb-aeron-winter-weight-merino-sock/?sku=100335580 dhb Aeron Winter Weight Merino Sock, blue, UK 9.5-12. Did not seem to make much of a difference, feet still cold, not wet.
2019-11 Nike academy hyperwarm gloves: www.nike.com/gb/t/hyperwarm-academy-football-gloves-s9Dd8D/GS0373-013 (archive) for 17.99 Pounds from physical retailer. Good intermediate between the Extremities gloves when it gets a bit warmer. 60% polyester/27% nylon/5% rubber/4% elastane.
2019-10 XGC Men's Cycling Shorts/Bike Shorts And Cycling Underwear With High-Density High-Elasticity And Highly Breathable 4D Sponge Padded www.amazon.co.uk/dp/B07BDJP64W (archive). Grey color, red inner butt padding. 2020-08: after using it a lot, noticed that the padding stiches started to come off a bit.
2018 (?) Extremities XDRY gloves Looks like: www.sportsdirect.com/extremities-wp-p/line-glove-91-907293 (archive) Gets wet after a few minutes of medium rain. But does dry quickly. Baggy, multilayer. Says 40 pounds, but always at 20 pound discount, so it is just a marketing trick. On website: Outershell 96% Polyester/4% Lycra (Spandex)Palm 45% Polyester/55% PolyurethaneLining 100% Polyester
2017-09 Trespass Cruzado Male Gloves size S. www.trespass.com/cruzado-unisex-gloves (archive) Markings: crossover gloves. Technical Performance TP75: www.trespass.com/advice/trespass-tp-ratings-guide/ Lost right hand around 2018/2019.
2017 Muddy fox cycling Jersey, orange, polyester, Large, cheap. Works well enough I guess. Could be a bit more tight fitting.
2017 www.ebay.co.uk/itm/254646634761 Karrimor X Lite Run Black Headband. Had a hole in the ear for a long time. Miraculously surived being almost lost on several occasions, including once it fell off from bike and a dude coming behind pointed it to me. But then alas on 2025-12-28 I lost it, noticed next day wasn't there, by chance found it on neighboring park, but it had been torn very badly, a dog must have done that, so I had to throw it away!
2015 UNIQLO tights 53% cotton, 32% polyester, 15% elastane. 2020-08: after riding it a lot, it ripped a bit near upper inner tights.
2015 Odlo top and tights, polyester. Not sure exact model, not necessarily meant for cycling. Top does not fit tightly, did not feel like it was removing sweat effectively.
Epic Stack Overflow users Updated 2026-01-30
Ciro also really likes the following users, a bit less like Gods, and bit more like friends:
Ciro Santilli's Stack Overflow contributions have, unsurprisingly, centered around the subjects he has worked with: systems programming and web development, and necessary tooling to get those done, such as Git, Python, Bash and Ubuntu.
His best answers are listed at: Section "The best articles by Ciro Santilli".
Stack Overflow has been the initial centerpiece of Ciro Santilli's campaign for freedom of speech in China, until Ciro noticed that GitHub might be potentially even more effective for it.
In Stack Overflow Ciro likes to:
  • answer important questions found through Google which he needs to solve an actual problem he has right now, and for which none of the existing answers satisfied him, and close duplicates.
  • monitor less known tags which very few people know a lot about and where the knowledge sharing desperately lacking, but in which Ciro specializes and therefore has some uncommon knowledge to share
In practice it also happens that Ciro:
When he gets an upvote on one of his more obscure answers, Ciro often re-reads it, and often finds improvements to be made and makes them.
He doesn't like to refresh the homepage looking for easy reputation on widely known subjects. See also: online forums that lock threads after some time are evil.
The result is that Ciro ends up getting relatively a lot of reputation without much work! The term passive income, much beloved by fake investment gurus, comes to mind. But now it's "passive reputation"! And it is useless! Yay!
For this reason, Necromancer is Ciro's favorite badge (get 5 upvotes on a question older than 60 days), and as of July 2019, he became the #1 user with the most of this badge. Announcement on Twitter.
The number two at the time was VonC (see also: Section "Epic Stack Overflow users"), who had about 16 times more answers than Ciro in total! From this query: data.stackexchange.com/stackoverflow/query/1072396?&Date=2019-07-01&UserId=895245 it can be seen that as of July 2019, 1216 out of his 1329 answers were answered 60 days after the questions and constitute potential necromancers! Compare that to VonC's 1643 potential necromancers out of 21767 answers!
VonC eventually took back the lead in 2022, dude's a machine!!! twitter.com/cirosantilli/status/1546389532014247936
Someone at Ciro's work once said something along:
The more patents a research project generates, the less actually working products it produces.
and this does ring true in Stack Overflow as well. When you are answering stuff, it means that you either didn't know, or that the information wasn't well available, and so your specific application is progressing slowly because of that. Once the generic prerequisites are well solved and answered, you will spend much more time on your business specific things rather than anything else that can be factored out across projects, and so you will get more "directly useful work" done, and less Stack Overflow answers. Of course, without the prior research in place, you can't get the final product done either.
In terms of per year reputation ranks, Ciro was in the top 100 in of the 2018 ranking with 38,710 reputation gained in that year: stackexchange.com/leagues/1/year/stackoverflow/2018-01-01?sort=reputationchange&page=4 (archive). He reached top 50 in 2022. Note that daily reputation is mostly capped to 200 per day, leading to a maximum 73000 per year. It is possible to overcome this limit either with bounties or accepts, and Ciro finds it amazing that some people actually break the 73k limit by far with accepts, e.g. Gordon Linoff reached 135k in 2018 (archive)! However, this is something that Ciro will never do, because it implies answering thousands and thousands of useless semi duplicate questions as fast as possible to get the accept. Ciro's reputation comes purely from upvotes on important question, and is therefore sustainable without any extra effort once achieved. Interestingly, Ciro appeared on top of the quarter SE rankings around 2019-11: web.archive.org/web/20191112100606/https://stackexchange.com/leagues but it was just a bug ;-)
There is no joy like answering an old question, and watching your better answer go up little by little until it dominates all others.
Stack Overflow reputation is of course, in itself, meaningless. People who contribute to popular subjects like web development will always have infinitely more reputation than those that contribute to low level subjects.
What happens on the specialized topics though is that you end up getting to know all the 5 users who contribute 95% of the content pretty soon as you study those subjects.
Like everything that man does, the majority of Ciro's answers are more or less superficial subjects that many people know but few have the patience to explain well, or they are updates to important questions reflecting upstream developments. But as long as they save 15 minutes from someone's life, that's fine.
There is great beauty when you are involved in a programming problem, and you suddenly remember: wait, I answered something related a few years ago! And especially so when you can go back and improve your old answer with new insight. This has great value, because when you were more newbie, you would have typed different words into Google Search than you would now. So by updating posts from when you were a newbie, you are helping other newbies more, as they are more likely to be also searching for those keywords. It is also very nice to have some head start on the answer's upvote count and not have to bootstrap yet another answer from 0 upvotes and have to go through all the competition!
For example, Ciro's most upvoted answer as of July 2019 is stackoverflow.com/questions/18875674/whats-the-difference-between-dependencies-devdependencies-and-peerdependencies/22004559#22004559 was written when he spent his first week playing with NodeJS (he was having a look at Overleaf, later merged into Overleaf, for education), which he didn't touch again for several years, and still hasn't "mastered" as of 2019! This did teach a concrete life lesson to Ciro however: it is impossible to know what is the most useful thing you can do right now very precisely. The best bet is to follow your instincts and do as much awesome stuff as you can, and then, with some luck, some of those attempts will cover an use case.
Ciro also derives great joy from his "media related answers" (3D graphics, audio, video), which are immensely fun to write, and sometimes borderline art, see answers such as those under "OpenGL" and "Media" under the best articles by Ciro Articles or even simpler answers such as:
There is something of greater value in perfectly presented technical knowledge, that goes beyond than simply getting something done. The pleasure of understanding and mastering something, and perhaps of the explanation itself. Sometimes when answering, Ciro feels like a tailor, where ASCII is his cloth. See also: Section "The art of programming", Section "Physics and the illusion of life".
Ciro's deep understanding of Stack Overflow mechanisms and its shortcomings also helped shape his ideas for: OurBigBook.com. So it is a bit funny to think that after all time Ciro spent on the website, he actually wants to destroy it and replace it with something better. There can be no innovation without some damage. It also led to Ciro's creation of Stack Overflow Vote Fraud Script.
After answering so many questions, he ended up converging to a more or less consistent style, which he formalized at:
Like any other style guide, this answer style guide, once fully incorporated and memorized, allows Ciro to write answers faster, without thinking about formatting issues.
Ciro also made a question title style guide: meta.stackexchange.com/questions/10647/how-do-i-write-a-good-title/311903#311903 but for some reason the Stack Overflow community prefers their semi-defined title meta-language to proper English. Go figure.
Ciro started contributing to Stack Overflow in 2012 when he was at École Polytechnique.
Like all things that end up shaping the course of one's life, Ciro started contributing without thinking too much about it.
His first answer was to the LaTeX question: Standalone diagrams with TikZ?, which reflects the fact that this happened while Ciro was reaching his Ciro Santilli's Open Source Enlightenment.
When he started contributing, Ciro was still a newbie. One early event he will never forget was when someone mentioned a "man page", and Ciro commented saying that there was a typo!
When Ciro reached 15 points and gained the ability to upvote, it felt like a major milestone, he even took a screenshot of the browser! 1k, 10k and 100k were also particularly exciting. When the 100k cup (archive) arrived in 2018, Ciro made a show-off Facebook post (archive). At some point though, your brain stops caring, and automatically filters out any upvotes you get except on the answers that you are really proud of and which don't yet have lots of upvotes. The last remaining useless gamed achievement that Ciro looked forward to was legendary (archive), and which he achieved on 2021-02-16.
From the start, Ciro's motivations for contributing to Stack Overflow have been a virtuous circle of:
  • save the world through free education
  • It feels especially amazing when people in the real world start taking note of you, and either close friends tell you straight out that you're a Stack Overflow God, or as you slowly and indirectly find out that less close know or came to you due to your amazing contributions.
It is also amazing when you start having a repertoire of answers, and as you are writing a new answer, you remember: "hey, the knowledge of that answer would be so welcome here", and so you link to the other answer as well at the perfect point. This somewhat achieves does what OurBigBook.com aims to do: for each small section of a tutorial, gather the best answers by multiple people.
Ciro feels that his Stack Overflow alter ego is kenorb.
Another one is Aaron Hall, who is also very high on the necromancer list, answers in Python which is a topic Ciro cares about, and states on his profile:
Follow me on Twitter and tell me what canonical questions you would like me to respond to!
so another necromancer.
Way to go.
Ciro also asks some questions on a ratio of about 1 question per 10 answers. But Ciro's questions tend to be about extremely niche that no one knows/cares about, and a high percentage of them ends up getting self answered either at asking time or after later research.
Some fun reactions to Ciro's Stack Overflow activity:
Finally, there it was: a proper and precise definition of mathematics, including a definition of integers, reals and limits!
Theorems are strings, proofs are string manipulations, and axioms are the initial strings that you can use.
Once proved, press a button on your computer, and the proof is automatically verified. No messy complicated "group of savants" reading it for 4 years and looking for flaws!
There are a few proof assistant systems with several theorems in their Git tracked standard library. The hottest ones circa 2020 are:
And here are some more interesting links:
However, as expressed by the QED manifesto, is unbelievable that there isn't one awesome and dominating website, that hosts all those proofs, possibly an on the browser editor, and which all mathematicians in the world use as the one golden reference of mathematics to rule them all!
Just imagine the impact.
Standard library maintainers don't have to deal with the impossible question of what is "beautiful" or "useful" enough mathematics to deserve merged: users just push content to the online database, and star what they like!
We then just use GitHub-like namespaces for each person's theorem, e.g. "cirosantilli/fundmaental-theorem-of-calculus" or "johndoe/fundmaental-theorem-of-calculus" so that each person owns their own preferred definition IDs, which others can reuse.
No more endless bikeshedding over what insane level of generality do your analysis theorems need to be (Ciro Santilli attended at talk about Lean where the speaker mentioned this was a problem)!
This would move things more out of the "pull request and Git tracked code" approach, into a more "database with entries" version of things.
Furthermore, it is just a matter of time until the "single standard library" approach starts to break down, as the git clone becomes impossibly large. At this point, people have to start publishing separate packages. And when this happens, you would need to retest every package that you add to your project. This is why a centralized database is just inevitable at some point, it just scales better.
Interested in a conjecture? No problem: just subscribe to its formal statement + all known equivalents, and get an email on your inbox when it gets proved!
Are you a garage mathematician and have managed to prove a hard theorem, but no "real" mathematician will read your proof because your unknown? Fuck that, just publish it on the system and let it get auto verified. Overnight fame awaits.
Notation incompatibility hell? A thing of the past, just automatically convert to your preferred representation.
Such a system would be the perfect companion to OurBigBook.com. Just like computer code offers the backbone of Linux Kernel Module Cheat Linux kernel tutorials, a formal proof system website would be the backbone of mathematics tutorials! You know what, if OurBigBook.com becomes insanely successful, Ciro is going to add this to it later on.
Furthermore, it would not be too hard to achieve this system!
All we would need would be something analogous to a package registry like PyPI or NodeJS' registry.
Then, each person can publish packages containing proofs.
Packages can rely on other packages that contain pre-requisites definition or theorem.
Packages are just regular git repos, with some metadata. One notable metadata would be a human readable description of the theorems the package provides.
The package registry would then in addition to most package registries have a CI server in it, that checks the correctness of all proofs, generates a web-page showing each theorem.
All proofs can be conditional: the package registry simply shows clearly what axiom set a theorem is based on.
This is a close as we can get to Erdős' book.
Maybe Ciro will just stuff this into OurBigBook.com once that takes over the world.
This project could be seen as a more automated/less moderated version of ProofWiki.
Bibliography:
Ciro Santilli pinging people:
How to contact Ciro Santilli Updated 2025-12-25
Ciro Santilli is very happy to meet people with related interests, he really loves his like-minded online friends. Even if you don't have something a specific goal in mind for the contact, please just say hi.
To contact Ciro publicly about any general subject that is not covered in a more specific GitHub repository, including saying hi or suggestions about his website either:
Publicly viewable contact is preferred if possible to more effectively share Ciro's wisdom with the world.
But if you feel more comfortable with private contact, no problem, either:
For other less good methods that will also likely work, use direct messages of the following profiles from under Section "Accounts controlled by Ciro Santilli":Ciro's Twitter DMs are also open, but note that Ciro receives endless Chinese language SPAM there which Twitter is doing nothing to combat, so it's not as reliable.
If you are a privacy freak or are going to tell Ciro state secrets Ciro has this GNU Privacy Guard public key: pubkey.gpg, but it's not something that he has ever really used.
Disqus comments were removed from his website in 2019-05-04, a manual dump is available here, removal rationale at: why Ciro Santilli removed Disqus comments from his website in 2019-05-04.
glmark2 -b build:duration=3:model=horse
~4.8K
Ubuntu 25.10 after fresh ISO install, defaults to Nouveau driver which gets enabled by default: 900 FPS. After moving back to NVIDIA drivers back to 4.6 kFPS. Wow, Nouveau sucks terribly bad.
Monero 0.18.3.1 hashrate: 2.6 KH/s
Ciro Santilli's 2021 cycling accident Updated 2025-12-25
Ciro had a small accident in 2021. It wasn't ultra serious, a few cuts, but could have been worse. Here's a post mortem.
Ciro was going to cycle 120 km between two locations he had never cycled before. Ciro had cycled this distance before many many times, so he thought he could do it.
What went wrong:
  • on both ends were cities, larger than those Ciro is used to
  • on the start, was a port city. You do not want to cycle in port areas, ever! Lots of trucks, narrow side-walks, bad road, danger danger!
  • on both sides, endless suburbia. This means you have to check your map every 3 seconds to know which little stress to turn, which is very hard without a way to attach your map to your bike. Ciro had his on his pocket. You lose a lot of time like that!
  • there wasn't a lot of sunlight at the time of the year. Not critical, but still, less than ideal.
  • during the ride, part of the "well documented and safe cycle route" was closed off for repairs. It was unclear what the best alternative would be. Ciro went down a path, but it turned to be horrendous countryside, he had to pull his bike over fences
  • by then, Ciro was tired and a bit late. He had only eaten sweets all day long. They give you calories, but there's always something missing in them.
  • Ciro arrived at the very very large target city, and it was getting dark, and it was rush hour, lots of cars. This was already back on the official bike path, but even those paths are tortuous in suburbia
  • also, Ciro was meant to meet his wife later, and he was in a rush, worried that she would be worried about him
  • at one point, Ciro took the wrong turn for a few hundred meters
  • he realized, and turned back
  • when coming back, now extra impatient because o the wrong turn, the place he had come from was actually one way street for a very short while until the right turn, so Ciro went against the correct direction...
  • a car came. It was relatively slow, because the road was slight uphill for the car, and a turn. The slight downhill also meant Ciro was going a bit faster than he realized
  • Ciro tried to go into the sidewalk anyways to make sure he was clear off the car (he was already). When he tried, the wheel stuck, and he flew forward, hitting a wall slightly
This was a perfect example of how many small things add up to an accident.
You have to know when you are tired and hungry and impatient. This is where huge danger lies.
Stop at a shop, eat, sit down. Darkness is not that dangerous if you have lights.
Take a train outside of large cities if needed. Crossing large cities is not something to be taken lightly. You need calm and time to do so safely.
Bitcoin investor Updated 2025-12-25
Video 1.
What Happened When Bitcoin Made People Rich Quickly? by Vice News (2022)
Source. Meh, too long and not many cool things.
Videos of all key physics experiments Updated 2026-01-30
It is unbelievable that you can't find easily on YouTube recreations of many of the key physics/chemistry experiments and of common laboratory techniques.
Experiments, the techniques required to to them, and the history of how they were first achieved, are the heart of the natural sciences. Without them, there is no motivation, no beauty, no nothing.
School gives too much emphasis on the formulas. This is bad. Much more important is to understand how the experiments are done in greater detail.
The videos must be completely reproducible, indicating the exact model of every experimental element used, and how the experiment is setup.
A bit like what Ciro Santilli does in his Stack Overflow contributions but with computers, by indicating precise versions of his operating system, software stack, and hardware whenever they may matter.
It is understandable that some experiments are just to complex and expensive to re-create. As an extreme example, say, a precise description of the Large Hadron Collider anyone? But experiments up to the mid-20th century before "big science"? We should have all of those nailed down.
We should strive to achieve the cheapest most reproducible setup possible with currently available materials: recreating the original historic setup is cute, but not a priority.
Furthermore, it is also desirable to reproduce the original setups whenever possible in addition to having the most convenient modern setup.
This project is to a large extent a political endeavour.
Someone with enough access to labs has to step up and make a name for themselves through the huge effort of creating a baseline of amazing content without yet being famous.
Until it reaches a point that this person is actively sought to create new material for others, and things snowball out of control. Maybe, if the Gods allow it, that person could be Ciro.
Tutorials with a gazillion photos and short videos are also equally good or even better than videos, see for example Ciro's How to use an Oxford Nanopore MinION to extract DNA from river water and determine which bacteria live in bacteria for an example that goes toward that level of perfection.
The Applied Science does well in that direction.
This project is one step that could be taken towards improving the replication crisis of science. It's a bit what Hackster.io wants to do really. But that website is useless, just use OurBigBook.com and create videos instead :-)
We're maintaining a list of experiments for which we could not find decent videos at: Section "Physics experiment without a decent modern video".
Ciro Santilli visited the teaching labs of a large European university in the early 2020's. They had a few large rooms filled with mostly ready to run versions of several key experiments, many/most from "modern physics", e.g. Stern-Gerlach experiment, Quantum Hall effect, etc.. These included booklets with detailed descriptions of how to operate the apparatus, what you'd expect to see, and the theory behind them. With a fat copyright notice at the bottom. If only such universities aimed to actually serve the public for free rather than hoarding resources to get more tuition fees, university level education would already have been solved a long time ago!
One thing we can more or less easily do is to search for existing freely licensed videos and add them to the corresponding Wikipedia page where missing. This requires knowing how to search for freely licensed videos:
Ciro was trying to make his face fit on the banner. But it is hard because faces are square and text is long.
Then at one point, the CSS was a bit broken and the eye stuck out just left of Ciro Santilli.
At this moment, Ciro knew what to do.
This produced a "continuous image symbol to text" effect that felt so right.
Finally, by adding another eye to the footer of the page, this also added a symbolic dimension to things: the pages contain what is in between Ciro's eyes: his brain: Section "Braindumping".
The concept, like any other, is not in itself new and has been used by others, Ciro just independently rediscovered it again:

Unlisted articles are being shown, click here to show only listed articles.