posts, y01: Spellcheck
authorLucian Mogosanu <lucian.mogosanu@gmail.com>
Wed, 1 Nov 2017 13:46:43 +0000 (15:46 +0200)
committerLucian Mogosanu <lucian.mogosanu@gmail.com>
Wed, 1 Nov 2017 13:46:43 +0000 (15:46 +0200)
posts/y01/028-building-business-or-why-gypsies-are-smarter-than-romanians.markdown
posts/y01/02a-online-media-is-feeding-on-your-tears.markdown
posts/y01/02c-hyperoperations.markdown
posts/y01/02e-on-the-inherent-harmfulness-of-political-correctness.markdown
posts/y01/030-interstellar.markdown
posts/y01/034-the-transition-back-into-religiousness.markdown
posts/y01/035-with-our-balls-clean.markdown
posts/y01/037-charlie-hebdo.markdown
posts/y01/039-aferim.markdown
posts/y01/03a-the-linguistic-barrier-of-os-design.markdown

index 9be9295..18093d7 100644 (file)
@@ -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
index 1cbb8ec..0b85e43 100644 (file)
@@ -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.
index 84b841d..bced556 100644 (file)
@@ -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.
 ~~~~
index 76ba67a..ff3a7b1 100644 (file)
@@ -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
index 08bb738..676e3c1 100644 (file)
@@ -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
index 37ee2a9..c97aaa6 100644 (file)
@@ -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.
 
index b73aecf..246ae35 100644 (file)
@@ -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
index 5548089..b0b8ca2 100644 (file)
@@ -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].
index 7808f45..fa9d759 100644 (file)
@@ -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.
index 70203dd..6fd7901 100644 (file)
@@ -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.