Exam by Ciro Santilli 40 Updated 2025-07-16
Exams as a prerequisite for a degree are useless. Exams as part of a degree must be abolished. And degrees must be abolished. Ultimately the only metrics that really matter are money and fame. See also: motivation.
The only thing exams should matter for is as a screening tool to select people with specific abilities that you care about as an employer or principal investigator. If:
  • you have no idea about what the content of specific exams are (and you don't because they are all ad-hoc university secrets)
  • or don't have a way to machine learn what grades correlate with your desired performance (you don't because where's the data?)
then exams are useless for your purposes. then might as well just go by interviews (basically what all employers do already, though not PIs). Degrees are too course grained to mean anything to anybody. Employers and PIs likely only care about very few specific subjects.
Once the question of an exam has been formulated, the usefulness of the problem is already been completely destroyed, because formulating the problem that matters is the most important part of things. And any problem with an answer, is useless to put effort into: give answers.
Furthermore, preventing people from searching for answers while answering an exam, AKA preventing "cheating", also makes absolutely no sense. In the real world, we want people to find answers as quickly as possible! We should be teaching people how to "cheat"! What we should teach them instead is what a fucking license is, and what you have to do to comply with it.
And if you pass the exam, you pass the course, without any further time requirements.
And those exams must be applied by professional test application companies to ensure no cheating and to factor out the anti-cheat work, while still making the tests available to people anywhere.
A quote from Richard Feynman present in the book Surely You're Joking, Mr. Feynman chapter O Americano, Outra Vez!:
You cannot get educated by this self-propagating system in which people study to pass exams, and teach others to pass exams, but nobody knows anything.
You learn something by doing it yourself, by asking questions, by thinking, and by experimenting.
The only metric that matters is "to feel that you've satisfied youre curiosity". When one studies for that, it can take a lot more time to actually learn everything, because it is sometimes not as clear when you should stop. But it is the only way to go deeper.
A person's understanding is the most illiquid asset that exists, to judge that based only on standardized exams, is a certain way to fail to identify top talent.
Codomain by Ciro Santilli 40 Updated 2025-07-16
Vs: image: the codomain is the set that the function might reach.
The image is the exact set that it actually reaches.
E.g. the function:
could have:
Note that the definition of the codomain is somewhat arbitrary, e.g. could as well technically have codomain:
even though it will obviously never reach any value in .
The exact image is in general therefore harder to characterize.
Obesity by Ciro Santilli 40 Updated 2025-07-16
Obesity is an extremely serious disease that is very hard to cure, and has deep psychological implications.
Semidirect product by Ciro Santilli 40 Updated 2025-07-16
As per en.wikipedia.org/w/index.php?title=Semidirect_product&oldid=1040813965#Properties, unlike the Direct product, the semidirect product of two goups is neither unique, nor does it always exist, and there is no known algorithmic way way to tell if one exists or not.
This is because reaching the "output" of the semidirect produt of two groups requires extra non-obvious information that might not exist. This is because the semi-direct product is based on the product of group subsets. So you start with two small and completely independent groups, and it is not obvious how to join them up, i.e. how to define the group operation of the product group that is compatible with that of the two smaller input groups. Contrast this with the Direct product, where the composition is simple: just use the group operation of each group on either side.
Product of group subsets
So in other words, it is not a function like the Direct product. The semidiret product is therefore more like a property of three groups.
The semidirect product is more general than the direct product of groups when thinking about the group extension problem, because with the direct product of groups, both subgroups of the larger group are necessarily also normal (trivial projection group homomorphism on either side), while for the semidirect product, only one of them does.
Conversely, en.wikipedia.org/w/index.php?title=Semidirect_product&oldid=1040813965 explains that if , and besides the implied requirement that N is normal, H is also normal, then .
Smallest example: where is a dihedral group and are cyclic groups. (the rotation) is a normal subgroup of , but (the flip) is not.
Note that with the Direct product instead we get and not , i.e. as per the direct product of two cyclic groups of coprime order is another cyclic group.
TODO:

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact