KGB Wiki - User contributions [en]

Jcreed

2007-05-24T19:53:24Z

Jcreed:

[[jcreed]] is a hero of the people.

He has been a member of the [[KGB]] on and off since 1998, at which time he was told about the club by Jared Smolens, his sleeping bag weekend host during the spring of that same year. Somehow until recently he had avoided ever receiving the [[Pfennig of Pfault|Pfennig (nickel, ruble, etc.) of Pfault]] or ever owning or chairing a committee. But [[Committee for In the Future, Everyone Will Have His or Her Own Jcreed|one fateful day during an exec meeting]], he acquired a committee, and at some point during 2007 almost everything was his pfault, excepting the the very fact that it taken so long to blame him.

The future

2007-05-24T19:16:18Z

Jcreed:

In the future there are [[robots]].

In the future, [[Committee for In the Future, Everyone Will Have His or Her Own Jcreed|everyone]] will have their own [[jcreed]]. However, in the future, watch your jcreed carefully, as it may be stolen by the nefarious [[mglisson]].

Jcreed

2007-05-24T19:14:28Z

Jcreed:

Committee for In the Future, Everyone Will Have His or Her Own Jcreed

2006-11-27T21:31:12Z

Jcreed:

The purpose of this committee is unclear and murky, like a glass of water with several moles of dissolved murk in it. Theories abound! Some are listed below.
* To achieve a state of affairs where
** It is the future
** Everyone has his or her own jcreed
* To avoid the bleak, dystopian future in which
** It is the future
** It is bleak, dystopian
** Everyone has his or her own jcreed
* To disseminate misinformation about the future, from which jcreed has come, having escaped his rightful owner
* To disseminate correct information about the future, from which jcreed has come, having been sent by his rightful owner to ensure that future happens as it should, where
** It is the future
** Everyone has his or her own jcreed
** Bleakness and Dystopianity are avoided as much as possible, but not more than is possible

Jcreed

2006-11-27T21:26:05Z

Jcreed:

[[jcreed]] is a hero of the people.

He has been a member of the [[KGB]] on and off since 1998, at which time he was told about the club by Jared Smolens, his sleeping bag weekend host during the spring of that same year. Somehow he has avoided ever receiving the Pfennig (nickel, ruble, etc.) of Pfault, and until rather recently avoided ever owning or chairing a committee. [[Committee for In the Future, Everyone Will Have His or Her Own Jcreed|One fateful day during an exec meeting, this changed]].

User talk:Aleffert

2006-11-27T15:42:32Z

Jcreed:

dingo? [[User:Jcreed|Jcreed]] 10:42, 27 November 2006 (EST)

Internal and External Choice

2006-11-14T23:56:04Z

Jcreed: this comment is entertaining

{{needs|more cowbell}}

Many beginning students of [[intuitionistic linear logic]] are confused by the difference between [[multiplicative conjunction]] (&otimes;), [[additive conjunction]] (&), and [[additive disjunction]] (&oplus;). This may be because [[intuitionistic propositional logic]] features only two "combining" connectives, conjunction and disjunction. The additional connectives arise from the linear nature of resources in linear logic and, specifically, the difference between internal and external choice.

Suppose that Karl Marx has fifty dollars. With that much money, Karl could buy a nice communist flag to wave, or he could buy a ticket to St. Petersburg, but he cannot do both --- for that, he would need one hundred dollars. As a good party member, Karl is very frugal with the resources of the state! There is a choice involved here, but where that choice is made can be important:
* If Karl makes the decision himself, this is said to be an ''external choice''. Given the alternative, Karl can take the option he prefers.
* However, if Karl gives the money to Vladimir Ilyich to decide, then the result is an ''internal choice''. Karl must be prepared for either a flag or a ticket; he cannot predict which one he will get. Choosing an alterantive at random, or following a procedure which is infeasible to completely analyze, are said to produce internal choices.

An additive disjunction features an internal choice. If Karl has the resource A &oplus; B, and Karl wishes to produce the resource C, then Karl must be able to produce C from whichever of A or B he receives. However, to produce A &oplus; B, Karl must merely be able to produce one or the other. For example, if Karl has a pear, Karl can produce (a pear &oplus; a stable capitalistic society) --- it's quite possible that an internal choice might feature something impossible!

An additive conjunction features an external choice. If Karl has the resource A & B, and Karl wishes to produce the resource C, then Karl must be able to produce either C from A or C from B --- he can use whichever one is more convenient for him and the state. However, to produce A & B from some resources Δ, Karl must be able to produce A from Δ ''and'' he must be able to produce B from Δ.

A multiplicative conjunction features no choice at all! If Karl has the resource A &otimes; B, Karl has both resources at the same time, and he can use them both to good effect. Of course, to produce A &otimes; B, Karl must be able to produce both simultaneously from the set of resources he has.

Classical linear logic also includes a multiplicative disjunction, which captures the idea of having multiple resources which must be used separately; this isn't really distinguishable from multiplicative conjunction in intuitionistic linear logic.

== Apologia ==

A crazed fool might wonder if this article is confused. "Shouldn't", such a simpleton might posit, "''external choice'' refer to additive disjunction? After all, the choice is made ''externally'' to the user." This fallacy is, as fallacies are wont to be, wantonly, contemptibly, and even morally wrong. The choice is internal to the disjunction, as its semantics are purely its own, and so this article's terminology is, if there were a god, which there isn't, as should be well understood by the reader, well in keeping with the divine plan. No further comments will be entertaining.

== Tea and Crumpets ==

Oh, please sit down! Right here on the divan! Can I get your coat? Think nothing of it! My, my, yes, help yourself. The family and I will now put on a performance of King Lear. We <I>do</I> hope the acting isn't <I>too</I> wooden.

Kage

2006-11-12T04:03:07Z

Jcreed: spelling

The [[KGB]] Kage is the place where we keep all of our [[hopes]] and [[dreams]]. It is our storage site and primary building location for [[Booth]].

The first Kage was located in the B sub-basement of [[Margaret Morrison]]. It was originally a simple, empty cage, unoccupied and unhappy. Then daring young [[KGB]] members came upon it, placed a luck upon its sacred door, and waited. When, after a year, they found the lock still thereupon, they christened the Kage and moved in.

In the year 2003, the [[College of Fine Arts]], which controls [[Margaret Morrison]], lost its Design cluster to the children's school. As a result, they started to turn their attention to the lower basements, where the Kage, as well as other student organizations kept their stuff. The intrepid, fearless [[President]] of the [[KGB]] that year organized the other student leaders who controlled space in the basements of [[Margaret Morrison]] to resist the encroachment of [[CFA]], and was successful. However, as soon as that [[President]]'s tenure came to an end, and the negligent leadership of the following year took power, [[CFA]] swooped in and destroyed everything on the B sub-basement, including that glorious Kage.

The Kage was then located in the C sub-basement, and it was a very nice Kage, with lots of headroom. The Kage had a sign above the door which, during booth season said, "Welcome!" During other seasons, the sign said, "Fuck off!" The Kage contains many wonders, but is now in a different place.

In 2006, they finally got us to leave [[Margaret Morrison]], by giving us a room right under [[New House]]. There's much less headroom, but you can't beat the commute to [[Midway]].

The Kage is entrusted to the keeping of the [[Sergeant at Arms]]. Any [[stuff]] that is collected for [[KGB]] should be given to the [[Sergeant at Arms]] for storage until such time as the revolution finds a use for it.

Kage

2006-11-12T04:02:57Z

Jcreed: spelling

The [[KGB]] Kage is the place where we keep all of our [[hopes]] and [[dreams]]. It is our storage site and primary building location for [[Booth]].

The first Kage was located in the B sub-basement of [[Margaret Morrison]]. It was originally a simple, empty cage, unoccupied and unhappy. Then daring young [[KGB]] members came upon it, placed a luck upon its sacred door, and waited. When, after a year, they found the lock still thereupon, they christened the Kage and moved in.

In the year 2003, the [[College of Fine Arts]], which controls [[Margaret Morrison]], lost its Design cluster to the children's school. As a result, they started to turn their attention to the lower basements, where the Kage, as well as other student organizations kept their stuff. The intrepid, fearless [[President]] of the [[KGB]] that year organized the other student leaders who controlled space in the basements of [[Margaret Morrison]] to resist the encroachment of [[CFA]], and was successful. However, as soon as that [[President]]'s tenure came to an end, and the negligent leadership of the following year took power, [[CFA]] swooped in and destroyed everything on the B sub-basement, including that glorious Kage.

The Kage was then located in the C sub-basement, and it was a very nice Kage, with lots of headroom. The Kage had a sign above the door which, during booth season said, "Welcome!" During other seasons, the sign said, "Fuck off!" The Kage contains many wonders, but is now in a different place.

In 2006, they finally got us to leave [[Margaret Morrison]], by giving us a room right under [[New House]]. There's much less headroom, but you can't beat the commute to [[Midway]].

The Kage is entrusted to the keeping of the [[Sergeant at Arms]]. Any [[stuff]] that is collected for [[KGB]] should be given to the [[Sargeant at Arms]] for storage until such time as the revolution finds a use for it.

User:Jcreed

2006-11-12T04:01:42Z

Jcreed:

There was once, in the Fall Turn of ought-nineteen-ninety-eight, a confused freshman. He made the extraordinarily clever move of A Pit Support A Pit -> A Pit, which unlocked the magic bonus level called "graduate school".

Talk:Internal and External Choice

2006-11-12T03:58:58Z

Jcreed:

Let the record show that I am enormously happy this page is here. [[User:Aleffert|Akiva]]

Let the record show that I am pleased and content with your efforts to confuse and bewilder the populace, by presenting internal and external choice exactly reversed from, say, the [http://www.cs.cmu.edu/~rwh/courses/logic/www/handouts/linear.pdf terminology of some other guy on the internet]. The more confused everyone else is about linear logic, the more valuable my membership in the the elite priest-caste of those who understand it! Huzzah! [[User:Jcreed|Jcreed]] 22:56, 11 November 2006 (EST)

Talk:Internal and External Choice

2006-11-12T03:58:04Z

Jcreed:

Let the record show that I am enormously happy this page is here. [[User:Aleffert|Akiva]]

Let the record show that I am pleased and content with your efforts to confuse and bewilder the populace, by presenting internal and external choice exactly reversed from, say, the [[http://www.cs.cmu.edu/~rwh/courses/logic/www/handouts/linear.pdf terminology of some other guy on the internet]]. The more confused everyone else is about linear logic, the more valuable my membership in the the elite priest-caste of those who understand it! Huzzah! [[User:Jcreed|Jcreed]] 22:56, 11 November 2006 (EST)

Talk:Internal and External Choice

2006-11-12T03:56:52Z

Jcreed:

Let the record show that I am enormously happy this page is here. [[User:Aleffert|Akiva]]

Let the record show that I am pleased and content with your efforts to confuse and bewilder the populace, by presenting internal and external choice exactly reversed from, say, the [[http://www.cs.cmu.edu/~rwh/courses/logic/www/handouts/linear.pdf|terminology of some other guy on the internet]]. The more confused everyone else is about linear logic, the more valuable my membership in the the elite priest-caste of those who understand it! Huzzah! [[User:Jcreed|Jcreed]] 22:56, 11 November 2006 (EST)

Talk:Internal and External Choice

2006-11-12T03:56:04Z

Jcreed:

Let the record show that I am enormously happy this page is here. [[User:Aleffert|Akiva]]

Let the record show that I am pleased and content with your efforts to confuse and bewilder the populace, by presenting internal and external choice exactly reversed from, say, [[http://www.cs.cmu.edu/~rwh/courses/logic/www/handouts/linear.pdf|the terminology of some other guy on the internet]]. The more confused everyone else is about linear logic, the more valuable my membership in the the elite priest-caste of those who understand it! Huzzah! [[User:Jcreed|Jcreed]] 22:56, 11 November 2006 (EST)