Sponsor Ciro Santilli's work on OurBigBook.com Updated 2024-12-15 +Created 1970-01-01
View more
Ciro Santilli is actively looking for donations and contracts so he can continue to work full time on OurBigBook.com sustainably, and develop free hardcore university-level STEM education for all ages!
At 100k USD, I quit my job to work full time on it for one year. During this year I will use my contacts with STEM students of a world leading university near where I live and solve as many of their problem sheets as possible, mostly by referring to OurBigBook.com articles I'll be writing. The goal is to get as much STEM knowledge as possible into the world, and highlight how flawed presencial and sequential Higher Education is, while positioning OurBigBook.com as an alternative way to organize humanity's knowledge. Quite grand.
Status: ~144k / 200k USD reached. 1st year locked in and started 1st June 2024 to 31st May 2025[ref], 2nd year stretch goal open. A second year greatly improve chances of success: year one I solve a bunch of courses, year two I come guns blazing with the content and expand further. Donation breakdown:
  • 2024-03-18: $126,352 (!!!): anonymous 1000 Monero donation to self-custody wallet. Further comments: 1000 Monero donation.
  • 2024-03-13: $1,375: anonymous 10 Monero donation to self-custody wallet
  • 2023-11-20: $14.563: anonymous 100 Monero donation to Binance wallet
  • 2023-09: $810: anonymous 0.032 Bitcoin donation to Coinbase wallet
  • subscriptions up to 2024-01: $143,795
More details: Section "Accounting method"
At 1M USD I retire and work on open STEM education forever.
Note to potential anonymous crypto donors: anonymous donations incur a regulatory risk. I cash out most of such donations and announce it very clearly to the government and banks. For example, at one point Barclays even froze my UK account. But things seem manageable for now. On one hand, such donations serve as a fun test of the financial system. But on the other, if all banks reject my money or if the government decides to take it, I will write off the anonymous donation at zero.
How to give:
  • one time donations:
    • cryptocurrency: note that Ciro is not a regular crypto user, so you might want to make a smaller test donation and confirm that it worked by contacting Ciro before going for colossal amounts (one can dream):
      • Monero address: 4A1KK4uyLQX7EBgN7uFgUeGt6PPksi91e87xobNq7bT2j4V6LqZHKnkGJTUuCC7TjDNnKpxDd8b9DeNBpSxim8wpSczQvzf. Secret view key: 7ccaf885ff5540b0ff18927e6ac5da30130afb1eaee09ad95d3c4536a6337e0f. This is a self-custody wallet on a "clean" dedicated Monero laptop connected the Internet. I check for incoming transactions from my dirty main laptop via a view-only wallet each weekend. The cash out method used is latest simplest thing that wasn't yet blocked in my country on a given week, the last time that was centralized swappers[ref]. The fact that the cash out method changes weekly confirms that Monero privacy hadn't yet been broken by countries and that Monero is still one of the most useful cryptocurrencies: Section "Are cryptocurrencies useful?". For transparency, I announce all non-trivial transactions on social media, and the full list of transactions can be seen by anyone with the secret view key provided. I previously had different addresses, so pre-existing donations on older addresses will not be visible there.
      • Bitcoin address: 3KRk7f2JgekF6x7QBqPHdZ3pPDuMdY3eWR. This is a Coinbase wallet, off-chain transactions with no transaction fees accepted from other Coinbase users. This method has been tested, I have been able to receive funds from this address in 2023. Fees: non-fixed trading fees[ref] + 0% withdrawal fee on top of any Bitcoin network for on-chain transactions[ref]
      • Ethereum address: 0x44cF8C9C015F46d3b2Df730b6492823FD7A91044. Test transaction recommended.
      • Solana address: DjdaGawoVFdqxJEqpBGsSWuR4G4MVFNiNkAEu89HuKcE. Test transaction recommended.
    • TransferWise tag: wise.com/pay/me/cirod3. It shows as "Ciro Duran Santilli" and that's correct. No fees apparently? Love it!
    • PayPal: paypal.me/cirosantilli. Note that dots in Gmail address are ignored, and it is perfectly normal if the email you see has some extra dots in it. Fees: 2.9% + 0.30 GBP[ref].
  • monthly subscriptions of 1$/month or more on either:
    Symbolic 1 dollar/month donation are extremely welcome to signal your interest! This way if a certain critical mass of sponsors is ever reached (~100?), Ciro can start to more actively asking slightly higher amounts to really try to achieve full time self sufficiency.
  • larger grants/contracts from filthy rich individuals or organizations: contact Ciro as mentioned at: Section "How to contact Ciro Santilli" to discuss.
    Ciro is interested in contracts/voluntary work that would be compatible/synergic with the OurBigBook.com project. Some possibilities include:
    • interacting directly with classes of university students to help them learn the class subject, while at the same time spreading the university knowledge outside of the university walls
    • one-to-one mentoring of individuals of any age that are looking to make an impact in the world, and not just pass their exams
    • fixing specific bugs in related projects Ciro has experience in. These could be either via one-off contracts, or on platforms such as:
And if you have a different preferred payment mechanism not listed above, please contact Ciro, and he will set it up.
Ciro's current ambitions require him to remain in developed countries, because Ciro wants to document advanced science and technology by liaising with top universities, and there is not nearly as much high technology in poor countries. Remaining in developed countries is also a required due to family reasons.
If you would like public acknowledgement for your support, Ciro will very gladly give it, just let Ciro know how you'd prefer it. Due to Ciro Santilli's campaign for freedom of speech in China, many supporters have chosen to be anonymous, and that is totally fine, not everyone is interested in politics, or has a situation where going public is acceptable, so we don't have a standard setup yet, let's build it together. A acknowledgement section at the bottom of this page would be a minimum, but I for larger donations we could add a your advertisement in a locations such as:
100k USD/year is a semi arbitrary amount that sounds nice. My last day job total compensation as of 2024 was about 150k USD/year.
Video 1.
Intro to the OurBigBook Project
. Source.
Video 2.
OpenGL GPU GLSL fragment shader real time v4l2 Linux webcam computer vision box blur vs CPU
. Source.
Figure 1.
Ciro Santilli playing with a pipette at the University of Cambridge circa 2017
. Although totally disqualified for it, Ciro would really like to understand and explain cool scientific experiments in insane detail much as he does with computer software, related:
Maybe if he ever gets enough credibility, such opportunities would actually materialize. It could be a bit like Periodic Videos, but for molecular biology and physics, and backed by OurBigBook text/tree with minimal openly licensed videos. The fact that such opportunities are essentially impossible outside of the boredom of the university system is something we should really change about education.
Read the full article
ourbigbook.com Updated 2024-12-15 +Created 1970-01-01
View more
I had meant to make an update earlier, but I wanted to try and add some more "visible end-user changes" to OurBigBook.com.
Just noticed BTW that signup on the website is broken. Facepalm. Not that it matters much since it is not very useful in the current state, but still. Going to fix that soon. EDIT: nevermind, it wasn't broken, I just had JavaScript disabled on that website with an extension to test if pages are visible without JavaScript, and yes, they are perfectly visible, you can't tell the difference! But you can't login without JavaScript either!
I still haven't the user visible ones I wanted, but I've hit major milestones, and it feels like time for an update.
I have now finished all the OurBigBook CLI features that I wanted for 1.0, all of which will be automatically reused in ourbigbook.com.
A secondary but also important advance was: further improvements to the website's base technology.
I knew I was going to do them for several months now, and I knew they were going to hurt, and they did, but I did them.
These change caused two big bugs that I will solve next, one them infinite recursion in the database recursive query, but they shouldn't be too hard.
Read the full article
Why you should give money to Ciro Santilli Updated 2024-12-15 +Created 1970-01-01
View more
So that he can work full time on OurBigBook.com and revolutionize advanced university-level science, technology, engineering, and mathematics eduction for all ages.
Donating to Ciro is the most effective donation per dollar that you can make to:
Ciro's goal in life is to help kids as young as possible to reach, and the push, the frontiers of natural sciences human knowledge, linking it to applications that might be the the next big thing as early as possible. Because nothing is more motivating to students than that feeling of:
Hey, I can actually do something in this area that has never been done before!
rather than repeating the same crap that everyone is already learning.
To do this, Ciro wants to work in parallel both on:
Ciro believes that this rare combination of both:
produces a virtuous circle, because Ciro:
  • wants to learn and teach, so he starts to create content
  • then he notices the teaching tools are crap
  • and since he has the ability to actually improve them, he does
As explained at OurBigBook.com and high flying bird scientist, Ciro is most excited to make contributions at the "missing middle level of specialization" that lies around later undergrad and lower grad education:
  • at lower undergrad level, there is already a lot of free material out there to learn stuff
  • at upper graduate level and beyond, too few people know about each specific subject, that it becomes hard to factor things out
But on that middle sweet spot, Ciro believes that something can be done, in such as way that delivers:
  • beauty
  • power
in a way that is:
  • in your face, without requiring you to study for a year
  • but also giving enough precision to allow you to truly appreciate the beauty of the subject
    Ciro's programming skills can also be used to create educational, or actually more production-like, simulations and illustrations.
Ciro believes that today's society just keep saying over and over: "STEM is good", "STEM is good", "STEM is good" as a religious mantra, but fails miserably at providing free learning material and interaction opportunities for people to actually learn it at a deep enough level to truly appreciate why "STEM is good". This is what he wants to fix.
The following quote is ripped from Gwern Branwen's Patreon page, and it perfectly synthesizes how Ciro feels as well:
Quote 1.
Omar Khayyam's chill out quote
.
Omar Khayyam also came to the Vizier... but not to ask for title or office. 'The greatest boon you can confer on me,' he said, 'is to let me live in a corner under the shadow of your fortune, to spread wide the advantages of Science, and pray for your long life and prosperity.'
In addition to all of this, financial support also helps Ciro continue his general community support activities:
Read the full article
Stack Overflow content deletion Updated 2024-12-15 +Created 1970-01-01
View more
Stack overflow allows deleting content/making it visible only to 10k rep users.
Ciro Santilli is strictly against this, and this is an intended core policy of OurBigBook.com.
If you delete people's content randomly, they will be much less likely to write anything.
Getting downvoted to oblivion is one thing, but data loss? Unacceptable.
Only illegal content must ever be deleted. Or extremely obvious spam. But anything in a gray area should never be removed.
Deletion can be done by either:
  • votes of high reputation users
  • moderators
  • or worse of all, which happens often on the smaller websites: auto-deletion because come content has not received enough views/votes above some treshold! stackoverflow.com/help/auto-deleted-questions. The most illogical thing of all is that the question is not even permanently removed from the system, only hidden from other/low reputation users! So it does not save any disk space at all! Mind blowing!
Read the full article
Stack Overflow is doomed Updated 2024-12-15 +Created 2024-07-29
View more
Stack Overflow does have an super naive reputation and moderation system and overly restrictive subject matter, which Ciro Santilli wants to improve upon with OurBigBook.com.
However, it is the best that we have now, and if you use it like Ciro, you won't get tired:
  • monitor only rare tags that you know a lot about, let others answer duplicates on big tags for you
  • only answer on bigger tags when you find a better answer than can be found on the page
  • accept that sometimes things are bound to go wrong, that reputation is meaningless, and move on
What else would you expect from a naive algorithm system that has 10 million newbies asking stuff?
The key problem of Stack Overflow is closurism. The answer close feature is just not made for purpose. The sole purpose of "closing" should be to prevent easy reputation farming. What it should do instead, is remove points gained from duplicates and off topic questions. But it should not prevent new answers. The disk space costs nothing, and Google doesn't care about the closed status of a question.
As of 2024, the only competitor of Stack Overflow is Reddit (besides LLMs, which do nothing but extract data from those two and other sites). Reddit removed the mandatory thread locking after 6 months, but still lacks the Q&A focus required for greatness. Its community however is much more chill and doesn't close and downvote the fuck out of everything.
Read the full article
Steve Jobs' 2005 Stanford Commencement Address Updated 2024-12-15 +Created 1970-01-01
View more
Ciro feels that this resonates a lot with his OurBigBook.com.
Supercut:
The minute I dropped out I could stop taking the required classes that didn't interest me, and begin dropping in on the ones that looked far more interesting.
And much of what I stumbled into by following my curiosity and intuition turned out to be priceless later on.
Because I had dropped out and didn't have to take the normal classes, I decided to take a calligraphy class to learn how to do this.
None of this had even a hope of any practical application in my life.
If I had never dropped in on that single course in college, the Mac would have never had multiple typefaces or proportionally spaced fonts.
Of course it was impossible to connect the dots looking forward when I was in college. But it was very, very clear looking backward 10 years later.
Again, you can't connect the dots looking forward; you can only connect them looking backward. So you have to trust that the dots will somehow connect in your future. You have to trust in something — your gut, destiny, life, karma, whatever. This approach has never let me down, and it has made all the difference in my life.
Then:
You've got to find what you love.
And that is as true for your work as it is for your lovers.
Your work is going to fill a large part of your life, and the only way to be truly satisfied is to do what you believe is great work.
And the only way to do great work is to love what you do. If you haven't found it yet, keep looking.
Don't settle. As with all matters of the heart, you'll know when you find it.
And, like any great relationship, it just gets better and better as the years roll on.
So keep looking until you find it.
Don't settle.
And:
When I was 17, I read a quote that went something like: "If you live each day as if it was your last, someday you'll most certainly be right."
It made an impression on me, and since then, for the past 33 years, I have looked in the mirror every morning and asked myself: "If today were the last day of my life, would I want to do what I am about to do today?"
And whenever the answer has been "No" for too many days in a row, I know I need to change something.
Mirror and morning are not required though, a computer screen will do just fine: www.reddit.com/r/depression/comments/6jtamj/im_at_work_just_staring_at_my_computer_screen/
And then he quotes form the Whole Earth Catalog, a paper Atlas from the '70s he admired:
Stay Hungry. Stay Foolish
Video 1. Source.
Read the full article
Students must have a flexible choice of what to learn Updated 2024-12-15 +Created 1970-01-01
View more
This is one of the main reasons why Ciro Santilli invested in OurBigBook.com.
Ciro believes that the only thing students must be forced to learn is to speak read and write English and that a teacher's main job after that is to help students find their next big goals and also ties into the backward design philosophy.
Everything else, the student must choose.
This idea is generally known as self-directed learning.
This is most notable in University entry examinations of poor countries, where students often have to waste one extra year of their lives to go through preparation for the useless university entry exams. And then, surprise surprise, if they actually get in, they find that this is not what they really wanted to do, and they just go through to the end miserably because they understandably they don't want to risk another year of their lives.
Ciro saw this first hand École Polytechnique which was way freer than his university in Brazil.
Steve Jobs's university dropout stories from Steve Jobs' 2005 Stanford Commencement Address also come to mind.
Video 1.
The Purpose of Education by Noam Chomsky (2012)
Source.
  • 0:00 discusses education as a system of indoctrination: indoctrination for people to comply with the Establishment and pass tests, vs the Age of Enlightenment in which education should help you achieve your own intellectual/life goals. He suggests without specific evidence that after the 60's there was explicit intervention in the US to increase the indoctrination aspect, of which debt is a part.
  • 15.45: assessment vs autonomy: exams are useless, except as a tool to help improve teaching and self assess. Tells anecdote about little girl who wanted to learn more about a subject, asked teacher how to learn more, teacher said you can't, you have to study for this useless national exam instead which will determine your future, and if I'm rehired or not.
Godfrey Hounsfield, 1979 Nobel Prize in Physiology and Medicine:[ref]
They tried hard to educate me but I responded only to physics and mathematics
Read the full article
The missing link between basic and advanced Updated 2024-12-15 +Created 1970-01-01
View more
Video 1.
Being valued as a lab technician interview with Norman Greenwood by Web of Stories (2017)
Source.
Read the full article
The only reason for universities to exist should be the laboratories Updated 2024-12-15 +Created 1970-01-01
View more
Besides of course sexual selection, considering in this section only "formal learning" activities.
Consider e.g. the 2020 University of Oxford, where many many people are taking courses without any laboratory work (and also without much use at all) like literature and history, and they are paying about 9k pounds/year for it: how much it costs to study at the University of Oxford?.
Basically all of this could be done online from books.
Laboratories are impossible however, because expendables of every experiment you do cost from hundreds to thousands of dollars, not to mention crazy upfront equipment costs.
For this reason, the brick and mortar aspect universities should focus exclusively on laboratories, and ensuring that the students with the most relevant knowledge (which can be readily obtained online) get access to those laboratories. Students should of course fully master every aspect of theory pertinent to their experiments. principal investigators should hand pick whichever criteria they want to select their students, possibly based partly on exam as a service if they find it a useful metric.
Furthermore, the use of laboratories should put great focus on novel research. A lot of laboratory instruction could be done from video of an experiments. As much as possible, we should use laboratories for novel research. Related: Section "Videos of all key physics experiments".
Read the full article
The Playlist Updated 2024-12-15 +Created 1970-01-01
View more
Great reports to how 2022-Ciro Santilli views how OurBigBook.com could go. Ciro can't help to feel that he is a mixture of both of the vision, tech and people guy. Not as extreme as any of them, but more like a well rounded (and less good individually) version of each. High flying bird vs gophers.
Read the full article
The most important projects Ciro Santilli wants to do Updated 2024-12-15 +Created 1970-01-01
View more
They are sorted in order of "most likely to get done first".
Top one: OurBigBook.com.
Read the full article
Trillium Notes Updated 2024-12-15 +Created 1970-01-01
View more
Tree based organization at last. Infinitely deep.
Amazing WYSIWYG, including maths and tables, plus insane plugins like canvas mode, and specific file formats like code/mermaid diagrams/drawing mode.
Version history with automatic snapshots at intervals. TODO how is it implemented? Do they just ZIP multiple versions?
No multiuser features. Except for that, could have been a good starting point of an online multiuser thing such as OurBigBook.com!
With Book Notes it is possible possible to see more than one page at a time on the output, whic his a major feature of OurBigBook. But does it show on HTML export as well?
You can static HTML export any subtree by right clicking on it in the navigation tree.
Is there a CLI to export to HTML? github.com/zadam/trilium/issues/3012
HTML export keeps all data as HTML is their native format. This may be inherited from CKEditor. The files are mostly visible, but there is some CSS missing, it is not 100% like editor, notably math is broken. There is also a hosted way of exposing: github.com/zadam/trilium/wiki/Sharing.
trilium.rocks however has a very good export, it is just a question of how much they had to hacked things, source at: github.com/zerebos/trilium.rocks
The default tHTML export uses frame navigation, with a toc fixed on the left frame. Efficient, but not of this century.
There is no concept of user created unique text IDs: you can have the same headers in the same folders in the UI. It's not even a matter of scopes. On exports they are differentiated as 1_name, 2_name, etc.
./Trilium Demo/Books/To read/1_HR.md
./Trilium Demo/Books/To read/2_HR.md
./Trilium Demo/Books/To read/HR.md
Markdown export warns:
this preserves most of the formatting
Architecture: runs on local SQLite database via better-sqlite3. Data apparently stored in SQLite database at ~/.local/share/trilium-data, no raw files.
Markup is stored as HTML as seen from: sqlite3 document.db 'SELECT * from note_contents'. HTML is their native storage format, quite interesting. But this means it is not source centric, so any source editing would have to go via import/export. It can be done apparently: github.com/zadam/trilium/wiki/Markdown but involves shoving a ZIP around.
WYSIWYG based on ckeditor.com/ which is a dependency. It is kind of cool that the view in which you view the output is exactly the same as the one you edit in, and there is no intermediate format, just the HTML.
Math is KaTeX based.
It also runs on the browser via a server: github.com/zadam/trilium/wiki/Server-installation. And they have a paid service for it at: trilium.cc/. Quite impressive.
They have server to from desktop sync: github.com/zadam/trilium/wiki/synchronization. There is no conflict resolution, one of them wins randomly. But they have revision history, and anything lost will be in the revision history. They have so many features it is mind blowing.
Maintainer announced he would be slowing down development since January 2024: github.com/zadam/trilium/issues/4620?ref=selfh.st
Read the full article
Universal basic income Updated 2024-12-15 +Created 1970-01-01
View more
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:
  • basic survival needs: food, housing, clothes, hygiene, etc.
  • two children to keep the world going. Or immortality tech, but is harder and borderline transhumanist :-)
  • high speed computer and Internet
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:
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:
Video 1.
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
because most people will have something better to do. That's where artificial general intelligence comes in!
Read the full article
University Updated 2024-12-15 +Created 1970-01-01
View more
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's university experiences are mentioned at: Ciro Santilli's formal education.
Read the full article
Videos of all key physics experiments Updated 2024-12-15 +Created 1970-01-01
View more
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.
Lists of good experiments to cover be found at: the most important physics experiments.
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 its 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:
Read the full article
vistomail.com Updated 2024-12-15 +Created 1970-01-01
View more
2023-11-17 bitcointalk.org/index.php?topic=5478677.0 "I Bought vistomail.com. Now What?" Restricted topic, but Google caught it: archive.ph/wip/dDxqi The message:
I am dedicating the next few months, and perhaps even years, to researching Satoshi Nakamoto and the intricacies of blockchain technology. About four weeks ago, I came across vistomail.com for sale on afternic.com and decided to purchase it. I added vistomail.com to my proton.me account and configured it to catch all emails. As a result, numerous emails started flowing in. Subsequently, I connected satoshi@vistomail.com and discovered significant information that I am excited to share with you in the coming months.
To be clear, I want to emphasize that I am not Satoshi Nakamoto. My interest lies in understanding the future plans for Bitcoin and its impact on the world. I invite you to join me on this journey, contributing your knowledge to the collective understanding. I believe there is a possibility of uncovering the ultimate treasure, and I am eager to share it with all of you.
twitter @alexelbanna
2023-11-17, 06:46:25 PM. bitcointalk.org/index.php?topic=5474482.0 vistomail.com for sale, Restricted topic, but Google caught it: archive.ph/wip/GARBy The message:
Vistomail.com has a rich Bitcoin history with Satoshi Nakamoto, the creator of Bitcoin.
Email address: satoshi@vistomail.com
$50,000 obo for vistomail.com. Buy Now: www.afternic.com/listings/778206
How it would be of value:
You would open a proton.me account add domain vistomail.com. Then you create an address such as: satoshi@vistomail.com and the you can set the domain to a catch all address. All satoshi@vistomail.com emails will come into your inbox. All emails from @vistomail.com going to vistomail.com will now be in your inbox.
See other domains Satoshi Nakamoto owned here: www.afternic.com/listings/778206
Michael Weber
Domain Registrar
mweber@dosidos.net
They updated the page to a more scammy one as of 2024: web.archive.org/web/20240310205138/https://www.vistomail.com/ mentioning x1coin.org. But still Alex no doubt: twitter.com/AlexElbanna/status/1763575552538001530 | github.com/bLeYeNk
As of 2024-04-03, it was parked again on GoDaddy, and emails were bouncing.
As of 2024-04-10, it was now a Ghost blogging intance still by Alex: www.vistomail.com/articles-coming-soon/ He added Ciro Santilli as a collaborator, but Ciro could only draft articles which Alex could then review. He allowed a cheeky link to OurBigBook.com in: archive.ph/8l6az epic. Let's see if it gives traffic!
www.vistomail.com/non-profits/ claims they were giving out grants via satoshin@nt-medic.com and provided address 1BCwUg3PsLK9wJK815RkmzSMdAnALNHu64
Read the full article
Website front-end for a mathematical formal proof system Updated 2024-12-15 +Created 1970-01-01
View more
When Ciro Santilli first learnt the old Zermelo-Fraenkel set theory and the idea of formal proofs, his teenager mind was completely blown.
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:
Read the full article