From 61023537bf4e810f927d9d5f42d1f97a5a08deba Mon Sep 17 00:00:00 2001 From: Lucian Mogosanu Date: Wed, 1 Nov 2017 16:14:00 +0200 Subject: [PATCH] posts, y03: Spellcheck --- ...young-boy-brave-man-old-man-hermeticae.markdown | 2 +- .../y03/04d-future-of-computing-hardware.markdown | 2 +- ...e-the-myth-of-software-engineering-iii.markdown | 2 +- posts/y03/04f-freedom-is-slavery.markdown | 2 +- posts/y03/050-the-new-tarpit.markdown | 2 +- posts/y03/055-on-education.markdown | 2 +- posts/y03/057-reversing-lists.markdown | 6 ++--- posts/y03/058-catch-22.markdown | 8 +++--- posts/y03/05a-july-theses.markdown | 28 ++++++++++---------- posts/y03/05c-development-log-i.markdown | 4 +-- posts/y03/05d-despre-oameni-si-melci.markdown | 2 +- .../05e-the-generative-model-of-computing.markdown | 2 +- posts/y03/061-development-log-ii.markdown | 2 +- posts/y03/063-doctorate.markdown | 4 +-- 14 files changed, 34 insertions(+), 34 deletions(-) diff --git a/posts/y03/04c-young-boy-brave-man-old-man-hermeticae.markdown b/posts/y03/04c-young-boy-brave-man-old-man-hermeticae.markdown index 37bacc8..52058ed 100644 --- a/posts/y03/04c-young-boy-brave-man-old-man-hermeticae.markdown +++ b/posts/y03/04c-young-boy-brave-man-old-man-hermeticae.markdown @@ -7,7 +7,7 @@ tags: storytime --- The young Boy was walking on the dark, lonely path along with his -Friends. It was a familiar road, well travelled but not without its +Friends. It was a familiar road, well traveled but not without its perils. But alas, it could not be avoided. At a crossroads the young Boy's Friends suddenly turned to him and told diff --git a/posts/y03/04d-future-of-computing-hardware.markdown b/posts/y03/04d-future-of-computing-hardware.markdown index 3a7a330..5158e51 100644 --- a/posts/y03/04d-future-of-computing-hardware.markdown +++ b/posts/y03/04d-future-of-computing-hardware.markdown @@ -185,7 +185,7 @@ survive through this coming post-industrial wasteland. not mean watching porn, by which I mean that this is why your children will prefer make-believe sex instead of fucking real women, which uncoincidentally is why Arabs are the superior ethnicity and - those God-awful political corectnesses will stop being a thing in + those God-awful political correctnesses will stop being a thing in less than a generation. But I digress. As a funny historical footnote, the same Romanians attempted at diff --git a/posts/y03/04e-the-myth-of-software-engineering-iii.markdown b/posts/y03/04e-the-myth-of-software-engineering-iii.markdown index b51da40..ae8559c 100644 --- a/posts/y03/04e-the-myth-of-software-engineering-iii.markdown +++ b/posts/y03/04e-the-myth-of-software-engineering-iii.markdown @@ -102,7 +102,7 @@ principles can be formulated as follows: **Principle 3: convergence**. "Software upgrades" are to be avoided. Ideally the work will converge to a largely stable code - base. Ading features or changing the system's scope should ideally + base. Adding features or changing the system's scope should ideally result in a complete redesign and rewrite. This list of rules of thumb is also necessarily incomplete, but we will diff --git a/posts/y03/04f-freedom-is-slavery.markdown b/posts/y03/04f-freedom-is-slavery.markdown index ac0dde1..384d5a5 100644 --- a/posts/y03/04f-freedom-is-slavery.markdown +++ b/posts/y03/04f-freedom-is-slavery.markdown @@ -83,7 +83,7 @@ i.e. "for free", as gratuity, etc. This meaning is also of interest to us, since it is one of the biggest pitfalls used to create slavery in nowadays' Western society. -Slavery on the other hand is in its old Aritstotelian sense not +Slavery on the other hand is in its old Aristotelian sense not necessarily the absence of freedom as it is the presence of dependence. That is, despite what the socialist pigs might have the naïve believe, the condition of being a slave necessarily flows not only diff --git a/posts/y03/050-the-new-tarpit.markdown b/posts/y03/050-the-new-tarpit.markdown index 01129f4..ba8c9a4 100644 --- a/posts/y03/050-the-new-tarpit.markdown +++ b/posts/y03/050-the-new-tarpit.markdown @@ -177,7 +177,7 @@ enjoy The Tar Pit in all its horrible splendor. of a problem, only it has the unfortunate side effect of wasting my time when I just want to blog instead of reinstalling software. -[^4]: If you've been using computers for a while now, this will remember +[^4]: If you've been using computers for a while now, this will remind you of that fundamental piece of software that we do not like, which is the Windows operating system. diff --git a/posts/y03/055-on-education.markdown b/posts/y03/055-on-education.markdown index eb924fa..050b43f 100644 --- a/posts/y03/055-on-education.markdown +++ b/posts/y03/055-on-education.markdown @@ -236,7 +236,7 @@ and chemistry, and that they essentially represent the computer code which programs you to eat, fuck and learn. Consider all of this and much, much more before uttering the -mind-boggingly stupid "they don't use them for nuthin' anyway". You +mind-bogglingly stupid "they don't use them for nuthin' anyway". You ain't got much time left [to become human][worth-to-humanity] before you die, like everything and everyone eventually does. diff --git a/posts/y03/057-reversing-lists.markdown b/posts/y03/057-reversing-lists.markdown index d107a5a..a9c811d 100644 --- a/posts/y03/057-reversing-lists.markdown +++ b/posts/y03/057-reversing-lists.markdown @@ -12,7 +12,7 @@ will be cheaper to formally verify software, including, not limited to, but *especially* the high-assurance stuff, than to deploy buggy, unverified versions of it; and since we're talking about high-assurance software, this would be taking into account the risks of critical bugs -occuring and the costs involved[^1]. To quote: +occurring and the costs involved[^1]. To quote: > Our paper describing the complete seL4 verification story analysed the > cost of designing, implementing and proving the implementation @@ -41,7 +41,7 @@ which I am not convinced has too much relevance in general, falling in the same category as the man-hour metric. We do know that seL4 has about 9000 LOC, which brings us to about 3 -milion and a half dollars total costs, not counting tools and proof +million and a half dollars total costs, not counting tools and proof libraries. This may not be much of a cost for DARPA, but it does mean a lot of resources for the average guy who wants to make a business in this world. Also, to twist the knife a bit, tools and proof libraries @@ -52,7 +52,7 @@ In this context, the problem of trust instantiates to the fact that some language, which brings the need of translation of high-level code to machine code using a compiler. To achieve full system verification we need to verify the compiler itself, which has been done by partially -modelling said high-level language in the higher-level language of a +modeling said high-level language in the higher-level language of a proof assistant. The proof assistant ensures that the proof is mechanically sound, but the proof assistant itself is not safe from bugs, which reduces our problem to at least one of Gödel's diff --git a/posts/y03/058-catch-22.markdown b/posts/y03/058-catch-22.markdown index dad4d71..afeb7d3 100644 --- a/posts/y03/058-catch-22.markdown +++ b/posts/y03/058-catch-22.markdown @@ -68,10 +68,10 @@ There's not much left to add. We conclude with: > **Boy**: America's the strongest nation on earth. The American > fighting man is the best trained, the best equipped, the best fed... > **Old man**: Exactly. Italy, on the other hand, is one of the weakest -> nations on earth and the ltalian fighting man is hardly equipped at +> nations on earth and the Italian fighting man is hardly equipped at > all. That's why my country is doing so well while yours is doing so > poorly. -> **Boy**: That's silly! First ltaly was occupied by Germans and now by +> **Boy**: That's silly! First Italy was occupied by Germans and now by > us. You call that doing well? > **Old man**: Of course I do. The Germans are being driven out, and we > are still here. In a few years, you'll be gone, and we'll still be @@ -104,7 +104,7 @@ There's not much left to add. We conclude with: > **Boy**: Don't you have any principles? > **Old man**: Of course not. > **Boy**: No morality? -> **Old man**: I'm a very moral man. And ltaly is a very moral +> **Old man**: I'm a very moral man. And Italy is a very moral > country. That's why we will certainly come out on top again if we > succeed in being defeated. > **Boy**: You talk like a madman. @@ -113,7 +113,7 @@ There's not much left to add. We conclude with: > has been deposed, I am anti-Fascist. (Sips wine.) When the Germans > were here, I was fanatically pro-German. Now I'm fanatically > pro-America! (Gestures.) You'll find no more loyal partisan in all of -> ltaly than myself. +> Italy than myself. > **Boy**: You're a shameful opportunist! What you don't understand is > that it's better to die on your feet than to live on your knees. > **Old man**: You have it backwards. It's better to live on your feet diff --git a/posts/y03/05a-july-theses.markdown b/posts/y03/05a-july-theses.markdown index e55d843..2f2da34 100644 --- a/posts/y03/05a-july-theses.markdown +++ b/posts/y03/05a-july-theses.markdown @@ -63,7 +63,7 @@ disposal. For this purpose party leadership and control will be strengthened to orient the political-educational activity towards the wide mass promotion of our party's ideology, its Marxist-Leninist politics, to -heighten combativity against the influences of burgeois ideology, of +heighten combativity against the influences of bourgeois ideology, of retrograde mentalities[^10], foreign to the principles of communist ethics and party spirit. Special emphasis will be put on presenting the great achievements obtained by the Romanian people -- maker of @@ -113,7 +113,7 @@ inter-county party Schools, in order to ensure the preparation of cadres with the fundamental problems of party work, of the science of political leadership. Will be ensured[^17] the inclusion[^18] in perfectioning courses of a larger number of activists from different fields of -activity. The recruitement of lower and higher students[^19] for party +activity. The recruitment of lower and higher students[^19] for party schools will be made among party, state and mass organization activists, especially those that come from the working class and have a long experience in production. @@ -176,7 +176,7 @@ taken measures for the strengthening of the educational directions in the Ministry of Education[^28], ensuring their integration with party activists, their direct guidance from the Propaganda Section of the C.C. of P.C.R. The C.C. Secretariat of P.C.R., the county and town -bureaux of party commitees answer for the guidance of the entire +bureaux of party committees answer for the guidance of the entire political activity within schools and faculties, of the content pertaining to the teaching of social sciences. The educational plans and the curricula of social sciences will be approved by the Secretariat of @@ -217,7 +217,7 @@ our party's politics. 9\. -- It is necessary to grow the role of the press in the widespread propagation of the ideological positions of our party, of our ethical social cohabitation principles, in the firm fight against the influences -of burgeois ideology and of retrograde mentalities of any kind. The +of bourgeois ideology and of retrograde mentalities of any kind. The press will have to cultivate more the advanced figure of the worker, of the producer of material goods devoted body and soul to the cause of socialism, the flourishing of the homeland. Will be ensured the firm @@ -243,7 +243,7 @@ works from the heritage of universal culture which possess a profound social character and a progressive, advanced philosophical position. Will be eliminated from broadcasts the productions which cultivate ideas and principles foreign to our philosophy and morals, the -spirit of violence, the burgeois life style, harmful mentalities for the +spirit of violence, the bourgeois life style, harmful mentalities for the youth's education. Satire and humour shows will need to be directed against the negative @@ -272,7 +272,7 @@ countries; will be ensured a more rigorous selection of the works from the classical and contemporary international repertoire. Will be acted[^39] more perseveringly for the development of Romanian -creations of opera, operetta and balet with themes springing from the +creations of opera, operetta and ballet with themes springing from the battle of our people for socialism. County and municipal party committees answer for the just orientation of the repertoires of professional artistic institutions of performance, as well as those of @@ -281,7 +281,7 @@ cultural houses and community homes. 13\. -- Will be taken measures for the better balancing of the movies programmed in our cinemas, limiting the projection of police and adventure movies, forbidding movies which cultivate violence and -vulgarity[^40], which propagate the burgeois life style. +vulgarity[^40], which propagate the bourgeois life style. 14\. -- An especially important role in the political-ideological orientation of cultural-educational activity, in ensuring a content @@ -292,7 +292,7 @@ communists who perform their activity in this area. Party members who are part of party and state leadership organs, as well as all those who activate in ideological institutions, of political education, of teaching, culture and art, in the entire sphere of our -cultural life, must manifest a grand spirit of partinic exigence, of +cultural life, must manifest a grand spirit of partinic exigency, of combativeness and Marxist-Leninist principledness. They must be an example in this respect, through their day to day activity as well as their own literary-artistic creations. @@ -300,7 +300,7 @@ their own literary-artistic creations. 15\. -- The Ministry of Interior Commerce, the Ministry of Tourism, as well as local party and state organs will watch that in places of public alimentation will be broadcast especially the musical creation of our -country, making therewith a careful selection of foreign repertoir, in +country, making therewith a careful selection of foreign repertoire, in order to remove the music that expresses decadent currents. 16\. -- It is necessary for measures to be taken to improve the activity @@ -366,7 +366,7 @@ Executive Committee of the C.C. of P.C.R. during the meeting on July 6, [^1]: This particular doublespeak supposedly refers to the communists' takeover of state affairs. As things often happen, this event also - occured in a specific historical context. Immediately post-World War + occurred in a specific historical context. Immediately post-World War II, Romanian monarchy was greatly weakened, more so that Romania was officially declared a loser in the war and its remaining competent leaders got executed in Romanians' own Nuremberg Trials. This came @@ -544,7 +544,7 @@ Executive Committee of the C.C. of P.C.R. during the meeting on July 6, I read in the news the other day that one of the "could-have-been" presidents of US and A wanted to create a "National Service Reserve" - for millenials. Un(?)fortunately things didn't work out too well for + for millennials. Un(?)fortunately things didn't work out too well for her, but either way, now you know where to go if you want to relive the communist dream... while it lasts. @@ -569,7 +569,7 @@ Executive Committee of the C.C. of P.C.R. during the meeting on July 6, the Romanian Orthodox Church one of the country's most powerful institutions, religious, political or otherwise. - Geting back to more communist times, as I said, the reality was very + Getting back to more communist times, as I said, the reality was very different. The Orthodox Church still existed, although it had a very precarious relationship with the state. Factually, the state controlled the church mostly through the secret services, with which @@ -667,9 +667,9 @@ Executive Committee of the C.C. of P.C.R. during the meeting on July 6, [^43]: ... and this approval concludes Ceaușescu's text -- assuming it was written by him, a fact that I very much doubt. The most frequent - word in the text is "party" (about 50 occurences, 2% of the total + word in the text is "party" (about 50 occurrences, 2% of the total word count!), followed by the mostly meaningless "activity" (about - 30 occurences). Other notable words are "political", "educational", + 30 occurrences). Other notable words are "political", "educational", "ideological", "people" and so on and so forth. I wouldn't exactly call the text a reference, but I'm sure it doesn't sound much different from any other socialist "manifesto" out there. diff --git a/posts/y03/05c-development-log-i.markdown b/posts/y03/05c-development-log-i.markdown index e04c22c..3572787 100644 --- a/posts/y03/05c-development-log-i.markdown +++ b/posts/y03/05c-development-log-i.markdown @@ -25,7 +25,7 @@ limitations, stemming from the fact that the concept of blog pertains to an immutable set of functionalities. Everything outside that immutable set represents functionality of anything else but a blog. -The problem of what constitues an X, where X is a conceptual artifact of +The problem of what constitutes an X, where X is a conceptual artifact of computer science and software engineering, is uncoincidentally a very hard problem -- arising from what we know as [abstraction hell][iadul-abstractizarii], which means that the concept @@ -125,7 +125,7 @@ thorough examination: Caekenberghe; it contains some SSL support code which needs to be eliminated. So far it *seems* like a good candidate for The Tar Pit's web serving component, but I need to give it a more detailed look - before passing judgement. + before passing judgment. * **sw-http**: Allegedly fast HTTP web server written (and abandoned, it would seem) by Lars Rune Nøstdal. A mirror is available on [GitHub][sw-http]. Pro: It *seems* small and not too bloated. Cons: I diff --git a/posts/y03/05d-despre-oameni-si-melci.markdown b/posts/y03/05d-despre-oameni-si-melci.markdown index 775ad13..8e9c32e 100644 --- a/posts/y03/05d-despre-oameni-si-melci.markdown +++ b/posts/y03/05d-despre-oameni-si-melci.markdown @@ -86,7 +86,7 @@ the former's demise... or something like that. > (gesticulates): free-dom! free-dom! > **Vladimir**: Well, you got it. -[^5]: This was a common occurence in 1990s Romania. Why? Well, I'll hand +[^5]: This was a common occurrence in 1990s Romania. Why? Well, I'll hand the mic over to the economists to give an explanation of the phenomenon. diff --git a/posts/y03/05e-the-generative-model-of-computing.markdown b/posts/y03/05e-the-generative-model-of-computing.markdown index e93ae71..506cb53 100644 --- a/posts/y03/05e-the-generative-model-of-computing.markdown +++ b/posts/y03/05e-the-generative-model-of-computing.markdown @@ -11,7 +11,7 @@ decent enough to deserve being re-written in English. This is the result of that re-write.* One of the fundamental properties of computing is that it can be -represented at various layers of abstraction: what constitues a program? +represented at various layers of abstraction: what constitutes a program? Is it made up from a bunch of electrical signals? Or from evolving bits? Is it a set of registers changing their values in time? Or variables that are read, written and executed? Any of these is a valid diff --git a/posts/y03/061-development-log-ii.markdown b/posts/y03/061-development-log-ii.markdown index 1555d97..7851671 100644 --- a/posts/y03/061-development-log-ii.markdown +++ b/posts/y03/061-development-log-ii.markdown @@ -104,7 +104,7 @@ Now, pointing the browser at `localhost:8000` displays us a "Default index page" message, which is actually the same page as that returned by the `index-page` function, which we notice is called from `default-page`. Either way, by trying out `localhost:8000/index.html` we -actually get the index of our site. This is pretty incovenient, since +actually get the index of our site. This is pretty inconvenient, since we'd like `/` (the root) to point to this page. Before looking at how to do that, let's get an overview of a few of the abstractions that cl-http-server offers us: diff --git a/posts/y03/063-doctorate.markdown b/posts/y03/063-doctorate.markdown index 3d27007..4210cc9 100644 --- a/posts/y03/063-doctorate.markdown +++ b/posts/y03/063-doctorate.markdown @@ -12,8 +12,8 @@ the reader is wondering -- a fact that I very much doubt -- there is a backlog of vitriol and wit (and the other way around) waiting to be published, and I'm eager to get back to the pleasant yet burdensome job of reviewing and (re)writing. But alas, at the moment I am pouring my -energy into other writing work, a work which also constitues the subject -of this rare occurence of a tarpitian weblog-as-a-journal entry -- an +energy into other writing work, a work which also constitutes the subject +of this rare occurrence of a tarpitian weblog-as-a-journal entry -- an approach to writing which, by the way, I don't intend to attempt again in the near future. -- 1.7.10.4