(11-19-2016, 12:41 AM)qwerx3 Wrote: »Eep! This incredibly scary post passes rules 2 and 5.

(11-19-2016, 12:42 AM)qwerx3 Wrote: »my main problem is people

(11-19-2016, 12:45 AM)Ixcaliber Wrote: »1

(11-19-2016, 12:46 AM)Dragon Fogel Wrote: »1543 is one of the weird dogs you are looking for.

(11-19-2016, 12:47 AM)qwerx3 Wrote: »*click* *click*

*cough*

(11-19-2016, 12:49 AM)Dragon Fogel Wrote: »

Show Content

Spoiler
PZelqrnPe5Umym7vm3pMdwRUsS5R8VevQFRGJzTbrqDsMAXIYu8tg8CSrDXZ3yPxzFliiq6mdAupAQ6HnlxpgsyEpUsXrdVQ75Z​tNUjnzIbkfszksp1PIRt4Yx4MEZgu3oikaSIJo25vuirluj3LzLCGKlvPiQoPemTi7DT53dW6TkvQCmebvyz17JRgCER1UOgUjE1​vAIrmZXYnKNYi01se7wR1GhiDZNXZ9qE6DbucWQ05nHSbcVtB45pdoKprT7Hm0JgukJfmrXEmaP1OYlSudxZrL6UhDvSm4IE2JJy​k2Dgts3yuwVPAcheNl0oY3XkN6a67IxnGg8LSlXkks1u6P5JOpOY2tkybBATvfsgQ8uPIg1F8gan

(11-19-2016, 12:49 AM)qwerx3 Wrote: »2

(11-19-2016, 12:52 AM)qwerx3 Wrote: »i mean literally hold onto your thought

(11-19-2016, 12:54 AM)Ixcaliber Wrote: »i'm gonna hold onto this thought as hard as you'd hold onto a mechanical bull whilst in the process of riding it

(11-19-2016, 12:56 AM)Ixcaliber Wrote: »

(11-19-2016, 12:56 AM)qwerx3 Wrote: »

(11-19-2016, 01:01 AM)Ixcaliber Wrote: »Dear Mr Ian S Ruix

It has come to our attention that you are the intended recipient of a major cash prize for the reason of you are the winner of the Maker of the Good Posts of the Year Contest. As such you are entitled to $291 cash dollars. To claim your cash prize it is very simple! All you need to do is go out of your front door and scream your bank details into the void. Soon you will find your victory prize delivered straight into your arms.

Yours sincerely
BTP

(11-19-2016, 01:03 AM)qwerx3 Wrote: »6, 13, 1, 11, 15, 25, 8, 17, 6, 22, 27.

(11-19-2016, 01:04 AM)Ixcaliber Wrote: »Re: Re: RE: Fwd: Post Making Contest! You win! £900000

Dear Sruixan,

You've won the post making contest! All you have to do is mail me the "rule 3"

Greetings and Salutations,
Schmlaser
(987) 555 1263
imafirinmahヌ@person.ninja

P. S. thank you for your continuing service as a good friend

(11-19-2016, 01:05 AM)qwerx3 Wrote: »111122223556678

(11-19-2016, 01:07 AM)qwerx3 Wrote: »1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30

(11-19-2016, 01:13 AM)Ixcaliber Wrote: »

OTTO Wrote:

(11-19-2016, 01:14 AM)Ixcaliber Wrote: »

wooooooooooooooooooooooooooooooooooooooooooooooooo

(11-19-2016, 01:28 AM)Dragon Fogel Wrote: »Dear Mr. Sruixan,

Congratulations! You are the proud winner of 1062 dollars. Please click here for details.

(11-19-2016, 03:08 AM)Dragon Fogel Wrote: »Apparently it's last call for posts, so... fremp? I guess?

(11-19-2016, 06:18 AM)Kaynato Wrote: »1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
Dear Mr Ian S Ruix

It has come to our attention that you are the intended recipient of a major cash prize for the reason of you are the winner of the Maker of the Good Posts of the Year Contest. As such you are entitled to $291 cash dollars. To claim your cash prize it is very simple! All you need to do is go out of your front door and scream your bank details into the void. Soon you will find your victory prize delivered straight into your arms.

Yours sincerely
BTP

(11-19-2016, 07:08 AM)a52 Wrote: »Engraved on the floor is a well-designed image of Matzang the deity of nature, the sun, and light, depicted as a female hamster, by Adil Geshudurist. Matzang is contemplating.

(11-19-2016, 07:14 AM)qwerx3 Wrote: »some other cards not used:

(11-19-2016, 07:15 AM)Robust Laser Wrote: »oh man i should have put galactic trendsetters as one of my cards, it's my favorite rftg card

(11-18-2016, 04:52 AM)Kaynato Wrote: »Programming Language Fan Fiction (extended abstract)

Stefan Muller, Carnegie Mellon University

Programming language theory and design is an area of research in which authors frequently make design
decisions. For example, authors might choose between call-by-name and call-by value; simply typed, dependently
typed and untyped; intensional and extensional; predicative and impredicative; C-style syntax and
ML-style syntax; statically and dynamically typed; garbage-collected and useless, etc. Inevitably, readers
of these papers wonder what would happen if one of these design decisions were made differently. This is
not a feature unique to programming languages; fan fiction is a popular process in which devotees of a work
of fiction reimagine the work in their own way. It thus seems that programming languages and fan fiction
could be combined to form a large body of new ideas, and it is the author’s opinion that SIGBOVIK is a
fine venue for such ideas.
Here, we present a number of avenues for development of programming language fan fiction. Some of
these areas appear novel; in others, some work has already been done which can now be drawn under the
umbrella of programming language fan fiction.
• Alternate notions of type membership. Type theories typically define the canonical forms of a
particular type, but occasionally variations on this canon are possible. For example, in a strict language,
canonical forms of pair type are (v1, v2) where v1 and v2 are themselves irreducible. Proponents
of laziness might instead consider values of pair type to be (e1, e2) where e1 and e2 are arbitrary
expressions. Expressions of a type which are considered by fans of a type theory, but not by the
original presentation, to be irreducible are known as headcanonical forms or, if accepted by a large
fanbase, fanonical forms.
1
• Hacking new features into old languages. A common source of complaints about programming
languages comes from the fact that a particular feature isn’t present in a particular language. This
complaint generally takes the form “I’d consider using language if only it had feature!” Examples
include:
– Statically-typed Python2
– Garbage-collected C [1]
– Concurrent ML [2]
– LaTeX with types
– LaTeX with decent syntax
– LaTeX with any features at all
Some of the above are considered conservative extensions. Often, however, adding a particular feature
to a particular language breaks a desired soundness property, makes type checking undecidable or
causes various other havoc. This is generally not considered a problem in fan fiction, so have at it.
• Meta-properties of fan fiction. One interesting area of future research is the application of programming
language techniques to the study of fan fiction. For example, fan fiction can be “Kripked” (a
reference to author Eric Kripke) if it is validated by new canon. However, this assumes that the development
of canon is linear. Often in computer science research, however, new developments will build
1Note that this terminology is itself subject to debate. Confusingly, some authors of type theory fan fiction believe that the
latter forms should be known as headcanonical forms and the former should be weak headcanonical forms. 2https://github.com/illume/static checking python

off of older ones in a nonlinear, branching fashion. This leads to the question of whether programming
language fan fiction can be “Kripked” (a reference to logician Saul Kripke) in a way consistent with
nonlinear reachability graphs.
• Fan fiction of type theory itself. Fans can make fan fiction not just of particular programming
languages or type theories, but of the subject of type theory itself. In important prior work in this
area, languages have been developed which are clearly based upon fan fiction-style manipulations of
type theory itself3.

References
[1] HansJ. Boehm and Paul F. Dubois. Dynamic memory allocation and garbage collection. Computers in
Physics, 9(3):297–303, 1995.
[2] John H. Reppy. CML: A higher-order concurrent language. In Proceedings of the SIGPLAN 1991
Conference on Programming Language Design and Implementation, pages 293–305, New York, NY, June
1991. ACM.

(11-19-2016, 01:03 AM)qwerx3 Wrote: »6, 13, 1, 11, 15, 25, 8, 17, 6, 22, 27.