From bdd57bda735910181fdff164f991106b7e3b2d6b Mon Sep 17 00:00:00 2001 From: Lucian Mogosanu Date: Wed, 1 Nov 2017 15:46:43 +0200 Subject: [PATCH] posts, y01: Spellcheck --- ...-or-why-gypsies-are-smarter-than-romanians.markdown | 4 ++-- .../02a-online-media-is-feeding-on-your-tears.markdown | 4 ++-- posts/y01/02c-hyperoperations.markdown | 4 ++-- ...erent-harmfulness-of-political-correctness.markdown | 16 ++++++++-------- posts/y01/030-interstellar.markdown | 4 ++-- ...034-the-transition-back-into-religiousness.markdown | 4 ++-- posts/y01/035-with-our-balls-clean.markdown | 2 +- posts/y01/037-charlie-hebdo.markdown | 4 ++-- posts/y01/039-aferim.markdown | 2 +- .../03a-the-linguistic-barrier-of-os-design.markdown | 10 +++++----- 10 files changed, 27 insertions(+), 27 deletions(-) diff --git a/posts/y01/028-building-business-or-why-gypsies-are-smarter-than-romanians.markdown b/posts/y01/028-building-business-or-why-gypsies-are-smarter-than-romanians.markdown index 9be9295..18093d7 100644 --- a/posts/y01/028-building-business-or-why-gypsies-are-smarter-than-romanians.markdown +++ b/posts/y01/028-building-business-or-why-gypsies-are-smarter-than-romanians.markdown @@ -21,13 +21,13 @@ or experienced or, on the contrary, inexperienced entrepreneur, might wonder what lessons have I to teach them. Well, maybe I have none, but then again... I have been fortunate enough to study a tiny bit of game theory for my computer -scientifical diploma thesis. Thus I know that the "Best" business isn't the one +scientific diploma thesis. Thus I know that the "Best" business isn't the one that maximizes profit and/or income, or social utility or whatnot. In my opinion, the best business[^1] is the one from which all or most of the agents can benefit, i.e. extract the most utility, in an otherwise perfectly hostile environment such as product, labor, financial markets, and so on and so forth. It is what physicists would call a closed system, or what biologists would call -an ecosystem, or what game theorists would call a nash equilibrium, possibly +an ecosystem, or what game theorists would call a Nash equilibrium, possibly one attained using mixed strategies. Facebook, for example, has proven itself to not be an ecosystem upon which diff --git a/posts/y01/02a-online-media-is-feeding-on-your-tears.markdown b/posts/y01/02a-online-media-is-feeding-on-your-tears.markdown index 1cbb8ec..0b85e43 100644 --- a/posts/y01/02a-online-media-is-feeding-on-your-tears.markdown +++ b/posts/y01/02a-online-media-is-feeding-on-your-tears.markdown @@ -64,7 +64,7 @@ would be funny if it weren't so sad. In the golden age of the World Wide Web, the phenomenon of tear-jerking[^7] is however global: you may have forgotten the death of Robin Williams, which also -occured in early August this year[^8]. There's not much to be said of the +occurred in early August this year[^8]. There's not much to be said of the actor[^9], but his death caused a slew of emotional reactions on all the "online media" channels. This is in itself understandable, since we often become attached to characters and in some odd way to the actors fitting in @@ -114,7 +114,7 @@ Antena fans. Hey, I'm running out of epithets here. [^9]: I'm really lacking in cinematic education, so I find it hard to have a well thought out opinion about this. To me, Robin Williams is one of those really good actors having the bad luck of being cast in a series of utterly -pointless films, such as Bicentennial Man. Oh, and the main character, potrayed +pointless films, such as Bicentennial Man. Oh, and the main character, portrayed by Williams, dies in that movie, and this just goes to show how cold and devoid of meaning death is, and how we're so very afraid of it. But that's nothing really new. diff --git a/posts/y01/02c-hyperoperations.markdown b/posts/y01/02c-hyperoperations.markdown index 84b841d..bced556 100644 --- a/posts/y01/02c-hyperoperations.markdown +++ b/posts/y01/02c-hyperoperations.markdown @@ -56,7 +56,7 @@ Said mathematicians[^1][^2][^3] apparently identify this abstraction through what we know as [hyperoperations][2]. Quite isomorphically to natural numbers, the set of these binary operations goes from "zeration" (what I previously named "succession", in fact a unary operation), to addition, multiplication, -exponentation, and then to tetration, pentation, sextation and so on, ad +exponentiation, and then to tetration, pentation, sextation and so on, ad infinitum. I propose that we explore them ourselves from a computational perspective, by defining them mathematically and in Haskell, then attempting to (intuitively) find some basic general properties, and then, finally, by ranting @@ -215,7 +215,7 @@ For `b = Zero`: For `b = Succ b'`, the induction hypothesis is `Succ a .+ b' = Succ (a .+ b')`: ~~~~ {.haskell} - Succ a .+ Succ b' = Succ (a .+ Succ b') -- (.+) recusion + Succ a .+ Succ b' = Succ (a .+ Succ b') -- (.+) recursion => Succ (Succ a .+ b') = Succ (Succ (a .+ b')) => Succ a .+ b' = Succ (a .+ b') -- ind. ~~~~ diff --git a/posts/y01/02e-on-the-inherent-harmfulness-of-political-correctness.markdown b/posts/y01/02e-on-the-inherent-harmfulness-of-political-correctness.markdown index 76ba67a..ff3a7b1 100644 --- a/posts/y01/02e-on-the-inherent-harmfulness-of-political-correctness.markdown +++ b/posts/y01/02e-on-the-inherent-harmfulness-of-political-correctness.markdown @@ -55,7 +55,7 @@ followed by other social groups who felt now that they could strongly stand for whatever it is that they believed in. Note that many people were, as people usually are, unkeen to adhere to these new beliefs, especially due to the fact that they weren't theirs, but the minorities'. Many people still are -now, half a century later, despite the strong propaganda occuring in the +now, half a century later, despite the strong propaganda occurring in the mass-media. Since we're discussing communication, this phenomenon was followed by an even @@ -67,7 +67,7 @@ on, and so forth: it is nowadays forbidden to call an African American a You see, here in uncivilized Romania, we call Gypsies "Gypsies", because that's who they are, and it is fortunate of them that they are really proud of their heritage. On the other hand, this indeed has the unfortunate side effect of -creating an inter-ethnical, maybe even inter-"cultural" clash, but that's only +creating an inter-ethnic, maybe even inter-"cultural" clash, but that's only because Gypsies are very resilient to the cultural brainwashing which Western people like to call "integration". @@ -94,7 +94,7 @@ female construction workers? Ah, because we don't educate them to? There you go. Finally, based on this train of ideas, I argue that political correctness is -inheretly harmful, because it paves the way for what I would call a +inherently harmful, because it paves the way for what I would call a generalization of the Stockholm syndrome: a harsh reality covered in and by pretty words, solely for the desire of being less hateful to one another, like hate is the only problem, and like we don't have the right to hate[^4]. It is, @@ -116,7 +116,7 @@ basically wrote the book, made history, call it whatever you like. According to official sources[^5], Eich occupied his rightful place as CEO of the Mozilla Corporation for exactly one week and three days. Sometime during this timeframe, voices had discussed a political donation made by Eich for some -law or another which seeked to invalidate gay marriage rights in some US state +law or another which sought to invalidate gay marriage rights in some US state or another, which, I suppose, would lead one to believe that Eich hates gays. The outcry and political pressure spawned by this was impressive, and while being gay or pro-gay or anti-gay has nothing to do with his merits as a CEO, he @@ -137,7 +137,7 @@ On another note, activists who are pro-some-group-or-another like to perform the false premise of positive discrimination, stating that people born in a social group or another are somehow indebted to people born in some other social group, which I suppose goes back to the Christian sophism that we all -bear Adam and Eve's sins. One such attack is the harassement of Notch[^6] on +bear Adam and Eve's sins. One such attack is the harassment of Notch[^6] on [Twitter][5] on the basis that he didn't do enough to help some-group-or-another in his games. Others include the rantings of artists whom I otherwise admire[^7], who try to impose that art ["oughta" consider][6] some @@ -150,10 +150,10 @@ promoting diversity, multiculturalism and other such values that "oughta matter" to this Brave New World, albeit in a manner which doesn't promote "positive discrimination" and political attitudes. This goes to show that modern tribalism considers that it's ok, no, that it's better to be a black gay -woman, just as long as you're not a brown muslim arab who doesn't speak +woman, just as long as you're not a brown Muslim Arab who doesn't speak English. -And no, it doesn't matter that [you have a Phd][8]. Your political correctness +And no, it doesn't matter that [you have a PhD][8]. Your political correctness is a proverbial Auschwitz of minds, and it's killing me. [^1]: Tried it, didn't work. @@ -165,7 +165,7 @@ Fortunately for me, I'm not one. because programmers are emotionally broken? Neither do I, and maybe that's because women have no idea of how programmers are when they decide to become programmers (or not) and the former would rather avoid it because [they like -barbie dolls][2], or something equally un-programmer-ly. +Barbie dolls][2], or something equally un-programmer-ly. [^4]: For the record, ideologically speaking, the opposite of "the right to hate" is forcing people to "live in harmony", which is another term for diff --git a/posts/y01/030-interstellar.markdown b/posts/y01/030-interstellar.markdown index 08bb738..676e3c1 100644 --- a/posts/y01/030-interstellar.markdown +++ b/posts/y01/030-interstellar.markdown @@ -95,7 +95,7 @@ how he got back, or how he actually managed to transmit information into the past, but that's the "fiction" part of science fiction; it's okay, the writers went full "2001" there and we're all okay with that. Still, I think that if an advanced humanity living outside of time were able to conceive such a paradox, -I think that this kind of occurence would have been more common in nature, +I think that this kind of occurrence would have been more common in nature, which makes the feasibility of such a phenomenon extremely improbable. But then again, so are dinosaurs in the center of the Earth. @@ -103,7 +103,7 @@ The thing that bothered me the most however is why the government would spend so much money *in secret* to attempt such a risky mission, when I'm sure there would be better solutions available. Those that have read Dune are probably familiar with the actual *science* of ecology, versus the nasty, political, -almost religious ecologism occuring nowadays: since we assume that humans have +almost religious ecologism occurring nowadays: since we assume that humans have a hand in "global warming", then it's conceivable that humans could devise controlled climate modifications, so that the ecosystem would be properly regulated. This is in my opinion a much more efficient course of action, given diff --git a/posts/y01/034-the-transition-back-into-religiousness.markdown b/posts/y01/034-the-transition-back-into-religiousness.markdown index 37ee2a9..c97aaa6 100644 --- a/posts/y01/034-the-transition-back-into-religiousness.markdown +++ b/posts/y01/034-the-transition-back-into-religiousness.markdown @@ -53,7 +53,7 @@ think that we're "the master race" and that our industrialized processes are so streamlined that this will never fail (note: for the western world), that is, until this will blow up straight in our faces. No doubt, this is one of the main underlying causes of war today and nothing will impede some lunatic from -commiting genocide in order to "balance the odds". That can only mean that +committing genocide in order to "balance the odds". That can only mean that rough times, or rather "dark ages" are coming, and in these dark times people will be more and more susceptible to irrational arguments. @@ -68,7 +68,7 @@ though. In those dark times, someone will have to come up with a more than two thousand years ago mind. And again, this might be some time after my children drop dead. -Of course, this is an unscientifical claim, since I can't verify it. If you're +Of course, this is an unscientific claim, since I can't verify it. If you're from the future and reading this, you will however know whether I was right or not. diff --git a/posts/y01/035-with-our-balls-clean.markdown b/posts/y01/035-with-our-balls-clean.markdown index b73aecf..246ae35 100644 --- a/posts/y01/035-with-our-balls-clean.markdown +++ b/posts/y01/035-with-our-balls-clean.markdown @@ -78,7 +78,7 @@ just nostalgic. Of course, I could spend days chattering about this whole tech yadda: my first overclocking was a step away from frying a CPU; back in the days when CRTs were still the best monitors I had a 17-inch EIZO that was perfect for any type -of graphics processing, from photo editing to modelling, and so on and so +of graphics processing, from photo editing to modeling, and so on and so forth. I managed to get my hands on some of the lowest-end hardware and a only a few pieces that were simply awesome at their time. And that's how I got past Y2K with my balls clean, same as I'll go past Y2038[^8] and whatever's gonna diff --git a/posts/y01/037-charlie-hebdo.markdown b/posts/y01/037-charlie-hebdo.markdown index 5548089..b0b8ca2 100644 --- a/posts/y01/037-charlie-hebdo.markdown +++ b/posts/y01/037-charlie-hebdo.markdown @@ -20,7 +20,7 @@ West's post-World War II ideological confusions and crises is long overdue. It should be clear now for any sane-minded person -- are there any sane persons in the audience this fine evening? -- that the tolerance, "politeness" and -political corectness preached and often practiced by all Westerners alike, from +political correctness preached and often practiced by all Westerners alike, from the United States to Austria[^1], is based upon a shaky foundation consisting mainly of double-meanings and hypocrisy. Moreover, elected incompetents choose to apply the ostrich strategy as far as this issue is concerned, while other no @@ -74,7 +74,7 @@ magnitude sharper than simple "hate speech", "trolling" or whatever you're calling it nowadays. Indeed the pen, nay, the *word* is mightier than the sword. This alone should -make civilized folks think twice before supressing the use of words, or worse, +make civilized folks think twice before suppressing the use of words, or worse, redefine language to ends that are unhealthy for civilized society. If you think shutting up when you oughta speak is "being civilized", then you are undoubtedly in the wrong, as were many others before you[^5]. diff --git a/posts/y01/039-aferim.markdown b/posts/y01/039-aferim.markdown index 7808f45..fa9d759 100644 --- a/posts/y01/039-aferim.markdown +++ b/posts/y01/039-aferim.markdown @@ -43,7 +43,7 @@ carelessly passing by near someone in need; the corrupt public servant, and I could go on and on. Some people might feel inclined to compare this to, say, Twelve Years a Slave, or Django Unchained or whatever Hollywood movies you've been watching lately. This is not an apt comparison, by any means: the -language isn't gratuituous, this is just the way Romanians have been talking +language isn't gratuitous, this is just the way Romanians have been talking for centuries; the violence isn't gratuitous[^3]; everything from the mud, to crosses stuck in the ground and the guy saying "aferim!" out loud says something about how Romanians were, and still are. diff --git a/posts/y01/03a-the-linguistic-barrier-of-os-design.markdown b/posts/y01/03a-the-linguistic-barrier-of-os-design.markdown index 70203dd..6fd7901 100644 --- a/posts/y01/03a-the-linguistic-barrier-of-os-design.markdown +++ b/posts/y01/03a-the-linguistic-barrier-of-os-design.markdown @@ -53,7 +53,7 @@ operating system kernel, was Unix, namely Version 5, written in C for PDP-11[^2]. Its current descendants are Unix BSD kernels (FreeBSD, NetBSD, etc.) and to some degree Linux, which upholds most of the core principles of Unix, despite being written from scratch. Unix kernels are monolithic in the -truest sense of the word: they implement core mechanims such as scheduling, +truest sense of the word: they implement core mechanisms such as scheduling, inter-process communication and memory management, along with device drivers and other services such as random number generation entropy pools or file systems. Their user space interface relies on the POSIX standard[^3], which is @@ -114,7 +114,7 @@ functionality for file systems, virtualization, cryptography and many others[^12], all of these so-called "subsystems" running at the same level of privilege with the actual kernel, where by "level of privilege" we mean both hardware and software privileges. Although malicious "kernel modules" are a -rare occurence, given that they can only be loaded by the most privileged user +rare occurrence, given that they can only be loaded by the most privileged user in the system, faulty code is a common issue, tractable only palliatively through the large developer base and cautious testing mechanisms of Linux. @@ -156,7 +156,7 @@ with the hypervisor representing the lowest software layer. Uncoincidentally, that is why x86 protection modes are designed as so-called "rings": the initial idea was that some of the OS components would be run in the most privileged ring, while others would be employed in a less privileged ring. The -programmer's point of view can pe represented similarly, using the following +programmer's point of view can be represented similarly, using the following three layers, with Layer 0 being the most privileged: * Layer 0, the hardware-specific language -- includes instructions that are @@ -188,7 +188,7 @@ between services, applications and the kernel. Its fundamental weakness is the requirement to set up a protocol for access to I/O devices and to allow services to communicate among themselves and with applications; as far as experience goes, this approach is expensive in terms of performance, without -providing portability. However, it has proven its usefuleness in the field of +providing portability. However, it has proven its usefulness in the field of virtualization, where an entire operating system is run in Layer 3. In both scenarios there is a class of software components that do not benefit @@ -204,7 +204,7 @@ managed, or rather language managed layer that is hardware-agnostic. Ideally, such a layer is not to be used for performance-critical tasks that cannot be handled by the language run-time. The language run-time itself resides in Layer 1 and it validates software-defined policies for services running in Layer 1.5 --- for example providing them with accesss to I/O or ensuring that only valid +-- for example providing them with access to I/O or ensuring that only valid byte code gets executed. Thus in a strictly orthodox design, the OS kernel would consist of only the language run-time, while all other "kernel-level" components would be developed in Layer 1.5. -- 1.7.10.4