The only cases where formal proof of theorems seem to have had actual mathematical value is for theorems that require checking a very large number of case, so much so that no human can be fully certain that no mistakes were made. Some examples:
Ciro Santilli's hardware Dell Inspiron 15 3520 by 
Ciro Santilli 37 Updated 2025-05-21 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-05-21 +Created 1970-01-01Bought May 2024 to be my clean crypto-only computer. Searched for cheapest 1 TB disk 16 GB RAM not too old on Amazon with Ubuntu certification, and that was it at £479.00.
Some reviews:
OPSEC: will run only cryptocurrency wallets and nothing else. Will connect to Internet, but never ever to a non clean USB flash drive.
Bootstrap OPSEC:It must have taken about one week running full time to sync the Monero blockchain which at the time was at about 3.1M blocks! I checked on system explorer, and CPU and internet usage was never maxed out, suggesting simply slow network. But the computer still overheated quite a bit and froze a few times.
- turn on from factory, start Windows 11 Home 23H2 build 22631.2715, connect to home Wifi during setup process. Considered skipping WiFi, but I'll want to download the Ubuntu ISO later on anyways answers.microsoft.com/en-us/windows/forum/all/bypass-lets-connect-you-to-a-network/2ce188f6-1b28-45a0-97d2-bfccfa3c9188. Don't sign in to online Windows account, and turn off all spyware requests.
- on preinstalled Edge browser, download Ubuntu 24.04 ISO from ubuntu.com, check sha256 with
Get-FileHashon powershell even though that is pointless security.stackexchange.com/questions/1687/does-hashing-a-file-from-an-unsigned-website-give-a-false-sense-of-security, download balenaEtcher portable from etcher.balena.io/ (currently recommended burner at ubuntu.com/download/desktop#how-to-install) from etc, and burn Ubuntu into a SanDisk Ultra Flair 64 GB - install Ubuntu from USB flash. No internet connection initially, default everything.
- notice that Ubuntu 24.04 is too broken, install Ubuntu 22.04.4 on the previously used USB from Ubuntu, and then install 22.04 instead... minimal installation, encrypted ZFS
- Ubuntu 24.04 "The application files has closed unexpectedly". This likely terminated uncompression of the bz2 halfway, and led to a corrupted monerod...
- askubuntu.com/questions/15520/how-can-i-tell-ubuntu-to-do-nothing-when-i-close-my-laptop-lid fix the eternal laptop lid issue without GUI solution...
- copy view only wallet private key by takinga picture of the QR code with Android cell phone. This gives it to the CIA immediately, but that's fine as we're going to publish it publicly.
Oxford Physics student course notes by Ciro Santilli 37 Updated 2025-05-21 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-05-21 +Created 1970-01-01- liziyan1117.com/page/:All question PDFs are uploaded to that site. Solutions are scanned from paper notebooks.
These are my own solutions to selected problem sets and past papers of the Oxford MPhys course (Years 1-3) and the MMathPhys course from the years 2014 to 2018
From LinkedIn: - pjcc.physics.ox.ac.uk/resources/notes | www.scribd.com/document/654784089/CP3-Notes-Toby-Adkins# are lectures by Toby Adkins is pointed to from Oxford Physics Joint Consultative Committee. But they are closed, i.e. require you to be in the oxford network, though not necessarily with an Oxford login. As of 2023, he was doing a postdoc: www.physics.ox.ac.uk/our-people/adkins in fusion energy.
Unfortunately accused of sexual misconduct: www.theguardian.com/technology/2019/mar/11/google-executive-payout-harassment-amit-singhal. But one can still do good despite our defects:
Pitched OurBigBook.com to him:
Idea: make all Sitare University materials open, and allow students to write the content
Computer science course of the University of Cambridge by Ciro Santilli 37 Updated 2025-05-21 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-05-21 +Created 1970-01-01The courses are highly open, almost everything is given publicly except solutions, many of which are given to teachers only. Well done!
Past exam papers index: www.cl.cam.ac.uk/teaching/exams/pastpapers/
www.cl.cam.ac.uk/teaching/2223/
- www.cl.cam.ac.uk/teaching/2223/part1a.html year 1
- Michaelmas term
- www.cl.cam.ac.uk/teaching/2223/Databases/
- past exams:
- questions: public www.cl.cam.ac.uk/teaching/exams/pastpapers/t-Databases.html
- solutions: paywalled
- slides: public e.g. www.cl.cam.ac.uk/teaching/2223/Databases/djg-materials/databases_2223_1to4-B.pdf
- problem sheets:
- questions: public e.g. www.cl.cam.ac.uk/teaching/2223/Databases/djg-materials/supervision-1.html
- solutions: not available
- past exams:
- www.cl.cam.ac.uk/teaching/2223/Databases/
- Lent term
- Discrete mathematics
- problem sheets:
- question: public e.g. www.cl.cam.ac.uk/teaching/2223/DiscMath/solutions/DiscMaths1_Sols.pdf
- solutions: public e.g. www.cl.cam.ac.uk/teaching/2223/DiscMath/solutions/DiscMaths1_Sols.pdf
- problem sheets:
- ALgorithms 1
- lecture notes: www.cl.cam.ac.uk/teaching/2223/Algorithm1/2022-2023-stajano-algs1-handout.pdf
- problem sheet:
- questions: www.cl.cam.ac.uk/teaching/2223/Algorithm1/2022-2023-stajano-algs1-exercises.pdf
- solutions: not available
- www.cl.cam.ac.uk/teaching/2223/Algorithm1/
- Discrete mathematics
- Michaelmas term
Course of the University of Cambridge by Ciro Santilli 37 Updated 2025-05-21 +Created 1970-01-01
Ciro Santilli 37 Updated 2025-05-21 +Created 1970-01-01Related projects:
- freeuniversitybrighton.org/
Free University Brighton has been working since 2012 to provide an alternative and for the last five years we’ve been running ‘freegrees’. These are University level courses, open to all regardless of qualification. Our courses range from 4 week long introductory courses aimed at First Years (people who have never been to University before) to 12-week long Humanities, Social Sciences and Philosophy courses that rival anything in a ‘traditional’ University. We do this all with no money exchanged anywhere - no fees, no debt.
Shut up and show us the courses.
- drive.google.com/file/d/1JTPVd09NPaGH-KzGv2jU3XXcFiJAoUjw/view some crazy due investigating, let's see how long until it goes down, posted at: Points to:"Alex Conferno" is also brought up: twitter.com/conferno
- www.reddit.com/r/DataHoarder/comments/12trawt/has_anyone_ever_actually_spoken_to_denis_petrov/
- gyrovague.com/2023/08/05/archive-today-on-the-trail-of-the-mysterious-guerrilla-archivist-of-the-internet/. Trended on Hacker News: news.ycombinator.com/item?id=37009598
- gigazine.net/gsc_news/en/20240326-archive-today/
Other mentions of "Denis Petrov":
Previously, updates were being done with more focus to sponsors in the format of the child sections to this section. That format is now retired in favor of the more direct Section "Updates" format.
This section contains the a list of cool things Ciro Santilli has been up to in chronological order, including small quick ones. Many/most of those are also posted on Ciro Santilli's accounts such as:
For a more theme-oriented version of the best results see: Section "The best articles by Ciro Santilli".
Good website, with poems in Chinese, pinyin and commented translation. Well done!
100 poems website 100tangpoems.wordpress.com/2023/02/27/pure-and-fair/
100 poems website 100tangpoems.wordpress.com/2023/02/27/pure-and-fair/
This is likely the most famous Chinese poet of all time.
.jpg){kind=link}
There are unlisted articles, also show them or only show them.