---
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
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
**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
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
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.
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.
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
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
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
> **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
> **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.
> 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
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
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.
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
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
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
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
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
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.
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
[^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
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.
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
[^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.
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
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
> (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.
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
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:
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.
projects / thetarpit.git / commitdiff