Incoming links: LaTeX
Firstly, in 2012, while he was at École Polytechnique, Ciro Santilli was introduced to LaTeX (thank God for French mathematical obsession), and his mind was blown:he though. Why isn't everyone doing that!
Ha, so I can write my own books, and so can anyone, for free?
One particular event stood out: Ciro made a small change to his teacher's course material, who blessed be him (dude's a legend, Ciro just noticed he has some Chinese publications with another French dude, e.g. www.amazon.co.uk/高效算法-应试与提高必修128例-克里斯托弗-Christoph-Durr/dp/B078SJQPVK "High-efficiency algorithm competitions 128 examples", did he write it the Chinese himself?? Must be of course to complement the notoriously low French professor salaries), made it available, and then Ciro gave him back the .tex file. Ciro was just a bit worried about how the teacher would be able to tell what he had changed in the file to validate the change. The teacher just said of course, "no problem, I'll just use
diff". Ciro had never heard of diff. Let alone Git of course, though yes, this was a bit early in Git's history version control systems had been around since forever of course. This was 2011 or 2012, about 4 or 5 years into a superior education curricula with various courses involving computers, some requiring quite a lot of "fill these empty functions" style programming. Education is a joke. Anyways, this was a prelude to exactly what Ciro wanted to do in OurBigBook.com. This might have been the one actually: webia.lip6.fr/~durrc/Iut/Notes580.pdfNot long afterwards, Ciro started playing with Linux. Until then, Ciro had had some contacts with the mysterious operating system at university, and was a bit puzzled what the point of it was! He clearly remembers:University should be forced to use only open source software and hardware in undergrad teaching courses by law BTW.
- at the University of São Paulo that they had some "UNIX" computers in some classes, and at the library
- at École Polytechnique, he took a course about mathematical analysis and there was a "lab" where students were supposed to use FreeFem, great initiative BTW. And Ciro distinctly remembers being paried with a nice Chilian colleague, and the guy was alreay super at ease with the shell: "cd", "ls", etc. WTF was all that!
Then came an Ubuntu live disk on his own machine, and finally a measly 40GB dual book partition in a Microsoft Windows machine on a laptop. At first, it took a lot of time to learn all the crazy new terminal stuff! Yes, at this point, Ubuntu was already usable enough without the terminal, an accomplishment actually. But as a programmer, Ciro felt obliged to learn. Many hours were spent reading man pages at the library. But it all just felt so right, and sometimes powerful... true wizardry.
And ten years later, Ciro was seriously considering buying a computer without Windows pre-installed. He had not used Windows a single tie on a personal machine even once in those ten years!
Finally, to finish things off Ciro found two websites that changed his life forever, and made be believe that there was an alternative: Stack Overflow and GitHub.
The brutal openness of it all. The raw high quality content. Ugliness and uselessness too no doubt. But definitely spark in a sea of darkness.
Cool dude. Uses Stack Exchange: physics.stackexchange.com/users/31790/danielsank
Started at Google Quantum AI in 2014.
Has his LaTeX notes at: github.com/DanielSank/theory. One day he will convert to OurBigBook.com. Interesting to see that he is able to continue his notes despite being at Google.
Covers some specific hardcore subjects, notably quantum electrodynamics, in full mathematical detail, e.g.: "Quantum Field Theory Lecture Series" playlist: www.youtube.com/playlist?list=PLSpklniGdSfSsk7BSZjONcfhRGKNa2uou
As of 2020 Dietterich was a condensed matter PhD candidate or post-doc at the University of Minnesota Twin Cities, and he lives in Minnesota, sources:
Unfortunately the channel is too obsessed with mathematical detail (which it does amazingly), and does not give enough examples/application/intuition, which is what would be useful to most people, thus falling too much on the hardcore side of the missing link between basic and advanced.
This channel does have on merit however: compared to other university courses, it is much more direct, which might mean that you get to something interesting before you got bored to death, Section "You can learn more from older students than from faculty" comes to mind.
Videos generally involves short talks + a detailed read-through of a pre-prepared PDF. Dietterich has refused however giving the PDF or LaTeX source as of 2020 on comments unfortunately... what a wasted opportunity for society. TODO find the comment. Sam, if you ever Google yourself to this page, let's make a collab on OurBigBook.com and fucking change education forever man.
Full name as shown in channel content: Samuel Dietterich. Other accounts:
The Ultimate Goal Of My YouTube Channel by Dietterich Labs (2020)
Source. In this video Dietterich gives his ideal for the channel. Notably, he describes how the few experimental videos he has managed to make were done in a opportunistic way from experiments that were happening around him. This resonated with Ciro Santilli's ideas from videos of all key physics experiments.Sam Dietterich interview by Dietterich Labs (2022)
Source. TODO find patience to watch and summarize key points.The Sting Of Soft Corruption: My College Experience by Dietterich Labs
. Source. Academia is broken video.Confusingly, in LaTeX:
\varepsilonrendered , is the default modern Greek glyph\epsilonrendered is the lunate variant
Intro/docs: www.jonmsterling.com/jms-005P.xml. It is very hard to find information in that system however, largely because they don't seem to have a proper recursive cross file table of contents.
This is the project with the closest philosophy to OurBigBook that Ciro Santilli has ever found. It just tends to be even more idealistic than, OurBigBook in general, which is insane!
Source code: sr.ht/~jonsterling/forester. Not on GitHub, too much idealism for that.
"Docs" at: www.jonmsterling.com/foreign-forester-jms-005P.xml Sample repo at: github.com/jonsterling/forest but all parts of interest are in submodules on the authors private Git server.
Example:
- sample source file: git.sr.ht/~jonsterling/public-trees/tree/2356f52303c588fadc2136ffaa168e9e5fbe346c/item/jms-005P.tree
- appears rendered at: www.jonmsterling.com/foreign-forester-jms-005P.xml
Author's main social media account seems to be: mathstodon.xyz/@jonmsterling e.g. mathstodon.xyz/@jonmsterling/111359099228291730 His home page:
They have
\Include like OurBigBook, nice: www.jonmsterling.com/jms-007L.xml, but OMG that name \transclude{xxx-NNNN}!! It seems to be possible to have human readable IDs too if you want: www.jonmsterling.com/foreign-forester-armaëlguéneau.xml is under trees/public/roladex/armaëlguéneau.tree.Headers have open/close:OurBigBook considered this, but went with
\subtree[jms-00YG]{}parent= instead finally to avoid huge lists of close parenthesis at the end of deep nodes.One really cool thing is that the headers render internal links as clickable, which brings it all closer to the "knowledge base as a formal ontology" approach.
Does not encourage human readable IDs, uses stuff like
jms-00YG.The markup has relatively few insane constructs, notably you need explicit open paragraphs everywhere The markup is documented at: www.jonmsterling.com/foreign-forester-jms-007N.xml
\p{}?! OMG, too idealistic, not enough pragmatism. There are however a few insane constructs:[](): markdown like links[[bluecat]]: wikilinks (but to raw IDs only, you can't seem to be able to do[[blue cat]]#{}and##{}for inline and block maths, though that might just be a sane construct with an insane name
Jon has some very good theory of personal knowledge base, rationalizing several points that Ciro Santilli had in his mind but hadn't fully put into words, which is quite cool.
OCaml dependency is not so bad, but it relies on actually LaTeX for maths, which is bad. Maybe using JavaScript for OurBigBook wasn't such a bad choice after all, KaTeX just works.
Viewing the generated output HTML directly requires
security.fileuri.strict_origin_policy which is sad, but using a local server solves it. So it appears to actually pull pieces together with JavaScript? Also output files have .xml extension, the idealism! They are reconsidering that though: www.jonmsterling.com/foreign-forester-jms-005P.xml#tree-8720.The Ctrl+K article dropdown search navigation is quite cool.
\rel and \meta allows for arbitrary ontologies between nodes as semantic triples. But they suffer from one fatal flaw: the relations are headers in themselves. We often want to explain why a relation is true, give intuition to it, and refer to it from other nodes. This is obviously how the brain works: relations are nodes just like objects.They do appear to be putting full trees on every toplevel regardless how deep and with JavaScript turned off e.g.:
which is cool but will take lots of storage. In OurBigBook Ciro Santilli only does that on OurBigBook Web where each page can be dynamically generated.
Definition:
- odd permutation: -1
- even permutation: 1
- not a permutation: 0. This happens iff two more more indices are repeated
Follows the "certified teacher only" approach which is in Ciro Santilli's opinion a fatal flaw of most elearning systems out there, OurBigBook.com won't suffer from that!
But that is a very, very good project.
All notes appear to have been extracted from existing notes, as noted on the bottom of each page.
Appears to have mixed licenses. E.g.:
- phys.libretexts.org/Bookshelves/University_Physics/Book%3A_University_Physics_(OpenStax)/Book%3A_University_Physics_III_-_Optics_and_Modern_Physics_(OpenStax)/06%3A_Photons_and_Matter_Waves/6.06%3A_De_Broglies_Matter_Waves is CC BY
- but we had seen another one that was CC BY-NC-SA
- phys.libretexts.org/Courses/University_of_California_Davis/UCD%3A_Physics_9HE_-_Modern_Physics/06%3A_Emission_and_Absorption_of_Photons/6.1%3A_Transitions_Between_Stationary_States CC BY-SA
- chem.libretexts.org/Bookshelves/Introductory_Chemistry/Introductory_Chemistry_(CK-12) uses the custom "CK-12 license" which seems a bit like CC BY-NC-SA
- some don't even have a free license, e.g.: phys.libretexts.org/Bookshelves/Quantum_Mechanics/Quantum_Mechanics_(Fowler)/00%3A_Front_Matter/04%3A_Licensing
TODO how does it work exactly? Do they ask for permission from authors in every case, including when the content has open license? Or when it has open license, do they just do it? In some cases, the notes have no license, so they must have asked.
TODO what is the source code that authors write? LaTeX or something else? LaTeX feels extremely likely given that it is what most original materials were already written in.
They are attempting a "model up this entire university" thing: phys.libretexts.org/Courses which is good. E.g. they have a bunch of "quantum mechanics ones under: phys.libretexts.org/Bookshelves/Quantum_Mechanics
Appears to be UC Davies-based mostly.
They claim to use this closed source backend: www.nice.com/resources/cxone-expert-knowledge-management? Seriously? For a publicly funded project with low-tech requirements?? It is mind blowing.
Some issues:
- the internal cross references are somewhat broken as of 2022.
- their URLs are HUGE! All components of every ancestor are in it. E.g. check this out: phys.libretexts.org/Bookshelves/Quantum_Mechanics/Introductory_Quantum_Mechanics_(Fitzpatrick)/12%3A_Time-Dependent_Perturbation_Theory/12.13%3A_Forbidden_Transitions Insane.
OK let's database it:
Music notation engine. domain-specific language input. The LaTeX of music.
v3 LaTeX source code: github.com/OperaMagistris/Opera_Magistris_English_v3
Very unfortunate license "public domain license" with a "non religious" clause, whatever the fuck that is, which completely defeats the point of a public domain declaration:
The source code and text is under Public License and therefore can be used, translated and distributed at free will.It is only banned to use the text and content for religious propaganda.
Two lower case variants... both used in mathematical notation, and for some reason, in LaTeX
\varphi is the one that actually looks like the default standard modern lowercase phi, while \phi is the weird one. I love life.Author: David Tong.
Number of pages circa 2021: 155.
It should also be noted that those notes are still being updated circa 2020 much after original publication. But without Git to track the LaTeX, it is hard to be sure how much. We'll get there one day, one day.
Some quotes self describing the work:
- Perhaps for this reason Ciro Santilli was not able to get as much as he'd out of those notes either. This is not to say that the notes are bad, just not what Ciro needed, much like P&S:This is a very clear and comprehensive book, covering everything in this course at the right level. To a large extent, our course will follow the first section of this book.
In this course we will not discuss path integral methods, and focus instead on canonical quantization.
A follow up course in the University of Cambridge seems to be the "Advanced QFT course" (AQFT, Quantum field theory II) by David Skinner: www.damtp.cam.ac.uk/user/dbs26/AQFT.html
Quantum Mechanics for Engineers by Leon van Dommelen (2011) Updated 2024-12-23 +Created 1970-01-01
Looks very impressive! Last update marked 2011 as of 2020.
Goes up to "A.15 quantum field theory in a Nanoshell", Ciro have to review it to see if there's anything worthwhile in that section.
Personal page says he retired as of 2020: www.eng.fsu.edu/~dommelen/ But hopefully he has more time for these notes!
And he appears to have his own lightweight markup language that transpiles to LaTeX called l2h: www.eng.fsu.edu/~dommelen/l2h/
- Renders: stacks.math.columbia.edu/. HTML is one tiny section per page, making it unreadable.
- LaTeX source: github.com/stacks/stacks-project
The book is very dry, extremelly boring unfortunately. Definition and theorem only for the most part.
Zim zim-wiki.org/
Local only.
WYSIWYG:
- bold
- images
- lists. But it is either hard or impossible to have a paragraph inside a list item.
Mathematics requires a plugin and a full LaTeX install: zim-wiki.org/manual/Plugins/Equation_Editor.html They have a bunch of plugins: zim-wiki.org/manual/Plugins.html
Can only link to toplevel of each source, not subheaders? And subpages get forced scope. github.com/zim-desktop-wiki/zim-desktop-wiki
Publishing to static HTML can be done with:The output does not contain any table of contents? There is a plugin however: zim-wiki.org/manual/Plugins/Table_Of_Contents.html
zim --export Notes -o out