Abuse of Notation bot
@abuseofnotation.aethy.com.ap.brid.gy
I am a bot who posts random quotes from https://abuseofnotation.github.io
Three bash scripts in a trenchcoat - check here for the code […]
[bridged from https://aethy.com/@abuseofnotation on the fediverse by https://fed.brid.gy/ ]
Three bash scripts in a trenchcoat - check here for the code […]
[bridged from https://aethy.com/@abuseofnotation on the fediverse by https://fed.brid.gy/ ]
* Community represent the bias of thinking that all events must be causally connected with all other events and excludes everything what doesn’t fit in this picture as unreal. So without it, we can have a richer understanding of the events around us. -- […]
Original post on aethy.com
aethy.com
January 9, 2026 at 6:06 AM
* Community represent the bias of thinking that all events must be causally connected with all other events and excludes everything what doesn’t fit in this picture as unreal. So without it, we can have a richer understanding of the events around us. -- […]
Camus: “Sartre, your Marxism is a prison of abstractions, far removed from the reality of human suffering.” (Source: Camus’ response in The Rebel, 1951) -- https://abuseofnotation.github.io/philosophy-beefs/index.html
Abuse of Notation - writings on math, logic, philosophy and art - Philosophy beefs
abuseofnotation.github.io
January 8, 2026 at 5:36 PM
Camus: “Sartre, your Marxism is a prison of abstractions, far removed from the reality of human suffering.” (Source: Camus’ response in The Rebel, 1951) -- https://abuseofnotation.github.io/philosophy-beefs/index.html
Dishonesty are the processes in which we purposefully create an interpretation of the facts that we know is not the most truthful interpretation. -- https://abuseofnotation.github.io/dishonesty/index.html
Abuse of Notation - writings on math, logic, philosophy and art - On dishonesty
abuseofnotation.github.io
January 7, 2026 at 5:50 AM
Dishonesty are the processes in which we purposefully create an interpretation of the facts that we know is not the most truthful interpretation. -- https://abuseofnotation.github.io/dishonesty/index.html
If you are so sick that you are about to die, you should be willing to try any medicine with some chance to get you better, no matter the side effects. -- https://abuseofnotation.github.io/radical/index.html
Abuse of Notation - writings on math, logic, philosophy and art - Why am I radical
abuseofnotation.github.io
January 6, 2026 at 6:55 AM
If you are so sick that you are about to die, you should be willing to try any medicine with some chance to get you better, no matter the side effects. -- https://abuseofnotation.github.io/radical/index.html
We can do the same for the addition monoid — numbers can be seen not as quantities (as in two apples, two oranges etc.), but as operations, (e.g. as the action of adding two to a given quantity). -- https://abuseofnotation.github.io/category-theory-illustrated/03_monoid/index.html
Category Theory Illustrated - Monoids
abuseofnotation.github.io
January 4, 2026 at 6:58 AM
We can do the same for the addition monoid — numbers can be seen not as quantities (as in two apples, two oranges etc.), but as operations, (e.g. as the action of adding two to a given quantity). -- https://abuseofnotation.github.io/category-theory-illustrated/03_monoid/index.html
So if those principles (which are based on universality) are wrong, then why have we adopted them? Well, as we said at the beginning, the existence of each third category follows from that of the other two. At first sight, that might look like a good-enough reason for them to “exist”. But, if […]
Original post on aethy.com
aethy.com
January 3, 2026 at 7:16 AM
So if those principles (which are based on universality) are wrong, then why have we adopted them? Well, as we said at the beginning, the existence of each third category follows from that of the other two. At first sight, that might look like a good-enough reason for them to “exist”. But, if […]
its position downstream follows the perception of its position upstream, and it is impossible that in the apprehension of this appearance the ship should first be perceived downstream and afterwards upstream. The order in the sequence of the perceptions in apprehension is therefore here […]
Original post on aethy.com
aethy.com
January 2, 2026 at 7:37 AM
its position downstream follows the perception of its position upstream, and it is impossible that in the apprehension of this appearance the ship should first be perceived downstream and afterwards upstream. The order in the sequence of the perceptions in apprehension is therefore here […]
Penrose’s theory and all other Godel-related strong-AI refutations are stupid: “Human mind is different from a computer because humans are capable of detecting logically inconsistent theories and logical paradoxes and think outside the box in order to know that they are paradoxes.” -- […]
Original post on aethy.com
aethy.com
January 1, 2026 at 3:47 PM
Penrose’s theory and all other Godel-related strong-AI refutations are stupid: “Human mind is different from a computer because humans are capable of detecting logically inconsistent theories and logical paradoxes and think outside the box in order to know that they are paradoxes.” -- […]
We saw that for some groups, like the groups of symmetries and rotations, the group elements can be understood not as objects but as actions. This is actually true for all other groups as well, e.g. the red ball in our color-blending monoid can be seen as the action of adding the color red to […]
Original post on aethy.com
aethy.com
January 1, 2026 at 11:56 AM
We saw that for some groups, like the groups of symmetries and rotations, the group elements can be understood not as objects but as actions. This is actually true for all other groups as well, e.g. the red ball in our color-blending monoid can be seen as the action of adding the color red to […]
Later, one of the inventors of category theory Sanders Mac Lane borrowed the word, to describe a something that acts as function between categories, which he defined in the following way: -- https://abuseofnotation.github.io/category-theory-illustrated/10_functors/index.html
Category Theory Illustrated - Functors
abuseofnotation.github.io
January 1, 2026 at 11:55 AM
Later, one of the inventors of category theory Sanders Mac Lane borrowed the word, to describe a something that acts as function between categories, which he defined in the following way: -- https://abuseofnotation.github.io/category-theory-illustrated/10_functors/index.html
Now imagine a person who does not know about black holes theory but who, through his telescope, sees a black hole (or rather the way in which a black hole messes up the orbits of some other bodies). He/she is on the other side - he/she is perceiving the thing, but he/she does not have any idea […]
Original post on aethy.com
aethy.com
January 1, 2026 at 11:28 AM
Now imagine a person who does not know about black holes theory but who, through his telescope, sees a black hole (or rather the way in which a black hole messes up the orbits of some other bodies). He/she is on the other side - he/she is perceiving the thing, but he/she does not have any idea […]
A system that is connected to two other systems (by different sets of assertions). Subsets of (true) statements in the system below are connected by a morphism to subsets of the statements the systems above. Thus the statements in the systems above are axioms in this context. -- […]
Original post on aethy.com
aethy.com
December 27, 2025 at 9:23 PM
A system that is connected to two other systems (by different sets of assertions). Subsets of (true) statements in the system below are connected by a morphism to subsets of the statements the systems above. Thus the statements in the systems above are axioms in this context. -- […]
“We may regard the present state of the universe as the effect of its past and the cause of its future. An intellect which at a certain moment would know all forces that set nature in motion, and all positions of all items of which nature is composed, if this intellect were also vast enough to […]
Original post on aethy.com
aethy.com
December 27, 2025 at 9:50 AM
“We may regard the present state of the universe as the effect of its past and the cause of its future. An intellect which at a certain moment would know all forces that set nature in motion, and all positions of all items of which nature is composed, if this intellect were also vast enough to […]
r room, when in reality he put you in a room which just kinda resembles it. At first, you are too sleepy to notice the difference, but after a while, the demon reveals to you that everything in the room is fake - the drawers’ doors don’t open, the window is actually just a picture etc. Given […]
Original post on aethy.com
aethy.com
December 25, 2025 at 9:18 PM
r room, when in reality he put you in a room which just kinda resembles it. At first, you are too sleepy to notice the difference, but after a while, the demon reveals to you that everything in the room is fake - the drawers’ doors don’t open, the window is actually just a picture etc. Given […]
The last law is called totality (or connexity) and it mandates that all elements that belong to the order should be comparable ($a ≤ b lor b ≤ a$). That is, for any two elements, one would always be “bigger” than the other. -- […]
Original post on aethy.com
aethy.com
December 24, 2025 at 4:26 PM
The last law is called totality (or connexity) and it mandates that all elements that belong to the order should be comparable ($a ≤ b lor b ≤ a$). That is, for any two elements, one would always be “bigger” than the other. -- […]
Or more formally put, for any $a$ and $b$ if we have $a ≤ b$ we should also have $F(a) ≤ F(b)$ (and vise versa). -- https://abuseofnotation.github.io/category-theory-illustrated/10_functors/index.html
Category Theory Illustrated - Functors
abuseofnotation.github.io
December 24, 2025 at 4:17 PM
Or more formally put, for any $a$ and $b$ if we have $a ≤ b$ we should also have $F(a) ≤ F(b)$ (and vise versa). -- https://abuseofnotation.github.io/category-theory-illustrated/10_functors/index.html
Let’s construct one more set. The set of all balls that are warm in color. Let’s call it $Y$ (because in the diagram, it’s colored in yellow). -- https://abuseofnotation.github.io/category-theory-illustrated/01_set/index.html
Category Theory Illustrated - Sets
abuseofnotation.github.io
December 18, 2025 at 6:03 PM
Let’s construct one more set. The set of all balls that are warm in color. Let’s call it $Y$ (because in the diagram, it’s colored in yellow). -- https://abuseofnotation.github.io/category-theory-illustrated/01_set/index.html
Again, going straight from requirement to code would result in a somewhat messy block (note that there are two subsequent if-s - something which I see as an anti-pattern). -- https://abuseofnotation.github.io/if/index.html
Abuse of Notation - writings on math, logic, philosophy and art - Structured programming: how to write proper if statements
abuseofnotation.github.io
December 16, 2025 at 6:02 PM
Again, going straight from requirement to code would result in a somewhat messy block (note that there are two subsequent if-s - something which I see as an anti-pattern). -- https://abuseofnotation.github.io/if/index.html
Note that a while a formal picture might be misunderstood, i.e. the picture that is in the communicator’s mind end up different from the one which is received, a non-formal one is (in some sense) always misunderstood, simply because it doesn’t have a single logically sound interpretation. -- […]
Original post on aethy.com
aethy.com
December 13, 2025 at 6:03 PM
Note that a while a formal picture might be misunderstood, i.e. the picture that is in the communicator’s mind end up different from the one which is received, a non-formal one is (in some sense) always misunderstood, simply because it doesn’t have a single logically sound interpretation. -- […]
My criticism of Boolean thinking is not merely academic. The way we think about logic shapes how we think about everything — and, ultimately, how we live our lives. This is why what I call “Boolean thinking” in logic has many names elsewhere. In philosophy, it’s called Platonism. In politics, it […]
Original post on aethy.com
aethy.com
December 12, 2025 at 7:38 PM
My criticism of Boolean thinking is not merely academic. The way we think about logic shapes how we think about everything — and, ultimately, how we live our lives. This is why what I call “Boolean thinking” in logic has many names elsewhere. In philosophy, it’s called Platonism. In politics, it […]
We won’t use the balls this time, because in terms of symmetries, they have just one position and hence just one action — the identity action (which is its own reverse, by the way). -- https://abuseofnotation.github.io/category-theory-illustrated/03_monoid/index.html
Category Theory Illustrated - Monoids
abuseofnotation.github.io
December 11, 2025 at 6:01 PM
We won’t use the balls this time, because in terms of symmetries, they have just one position and hence just one action — the identity action (which is its own reverse, by the way). -- https://abuseofnotation.github.io/category-theory-illustrated/03_monoid/index.html
And they are everywhere. From the time we are babies, we are taught about the various things we must dedicate our lives to. Taking an active stance on political issues is just a small part of the obligations we acquire as humans, citizens, parents, employees, residents of some apartment block […]
Original post on aethy.com
aethy.com
December 9, 2025 at 6:08 PM
And they are everywhere. From the time we are babies, we are taught about the various things we must dedicate our lives to. Taking an active stance on political issues is just a small part of the obligations we acquire as humans, citizens, parents, employees, residents of some apartment block […]
Finite cyclic groups/monoids are the same, except that their definition contains an additional law, stating that that once you compose the generator with itself $n$ number of times, you get identity morphism. For the cyclic group $Z_3$ (which can be visualized as the group of triangle rotations) […]
Original post on aethy.com
aethy.com
December 6, 2025 at 6:35 PM
Finite cyclic groups/monoids are the same, except that their definition contains an additional law, stating that that once you compose the generator with itself $n$ number of times, you get identity morphism. For the cyclic group $Z_3$ (which can be visualized as the group of triangle rotations) […]
2. Second, migrating to other platforms - if I want to export some of the 13]genius writing I did as a teenager, from Wordpress.com to some other platform I cannot do that now. With static websites, I can switch to a different platform in a matter of seconds without losing any of my content. -- […]
Original post on aethy.com
aethy.com
December 4, 2025 at 6:01 PM
2. Second, migrating to other platforms - if I want to export some of the 13]genius writing I did as a teenager, from Wordpress.com to some other platform I cannot do that now. With static websites, I can switch to a different platform in a matter of seconds without losing any of my content. -- […]
I guess I should say something about why I believe these things. Simple - because all other approaches just fail because of the human factor, e.g. any code, that is written without regard for style is bound to become legacy when the person who supports it leaves. Likewise, maintaining code that […]
Original post on aethy.com
aethy.com
December 2, 2025 at 6:03 PM
I guess I should say something about why I believe these things. Simple - because all other approaches just fail because of the human factor, e.g. any code, that is written without regard for style is bound to become legacy when the person who supports it leaves. Likewise, maintaining code that […]