/prog/ - /prog/ challenge: me, you, and The Sussman

Name: Anonymous 2010-10-23 6:15

We all know there are only three people on /prog/ — me, you, and The Sussman trolling us. Still, there are multiple established personae on /prog/. By the ⁶⁶Three Person Lemma⁹⁹, each one of them must be either me, you, or The Sussman. The challenge is to either divide the following list into three finite subsets that describe each of the posters on /prog/ or to prove that the task is impossible, disproving the lemma.

1. Me 2. You 3. The Sussman 4. The guy who sages a lot 5. The guy who refuses to sage for no good reason 6. The guy who refuses to sage with a good reason 7. The guy from /jp/ 8. The guy from /b/ 9. The guy from /pr/ 10. The guy who can't program at all 11. Smug LISP weenie 12. Smug C weenie 13. Smug Haskell nomad 14. Enterprise Java suit 15. Sepples faggot 16. The proportional font guy 17. Sergeant Sagetank 18. Hotaru 19. MrVacBob-kun-sama 20. Erika 21. Christopher 22. Xarn 23. FrozenVoid 24. Jamestopher 25. UMH memesmith 26. HMA meme fan 27. HAXUS THE GREAT 28. The anusposter 29. The wayward freshman 30. The imageboard paladin 31. The guy who keeps saying ``cromulent'' 32. The ``faggot quotes'' guy 32. The ``Stop using ``faggot quotes'''' guy 33. Haskell the dead dog 34. The -- guy 35. The necroposter 36. MILKRIBS4k 37. The opiates spammer 38. rand(all) 39. The Anticudder 40. Richard Stallman 41. MDickie 42. Leah Culver 43. Flaming prescriptivist faggot 44. Flaming descriptivist faggot 45. The EMACS advocate 46. The Textmate screencasts guy 47. The VIM advocate 48. The bloat guy 49. The elitist BSD anushole 50. The Touhou guy 51. The guy who refuses to install Flash

Name: Anonymous 2010-10-23 6:33

not knowing what a partition is

Name: Mr. Likes To Sage Threads 2010-10-23 6:40

Hello. I am "Mr. Likes To Sage Threads". I do believe this is a thread in need of Sage, so I would like to sage it. That is why my name is "Mr. Likes To Sage Threads".

Name: Anonymous 2010-10-23 7:04

Forget it, it's NP-complete.

Name: EVERYONE REPORT IN 2010-10-23 7:05

>>1
30. The imageboard paladin
Fuck off, ``faggot''.

Name: >>5 2010-10-23 7:07

And yes, that was sarcasm. I'm sorry if seeing/remembering that stupid board.jpg meme made you cry uncontrollably.

Name: Anonymous 2010-10-23 7:24

>>2
Hey, I write quicksorts in HASKAL too!

Name: Anonymous 2010-10-23 7:39

>>1
You forgot the Smug Scheme Weenie, who is distinct from the Smug Lisp Weenie.

Name: Anonymous 2010-10-23 8:15

1,4,7,11,12,32(however, not the ``Fuck off, ``faggot'''' guy, I suspect that's 30), 45, 50(almost never), 51(not exactly, I'm fine with having it installed and optionally enabled, but I'm against promoting it) seem to apply to me.

Name: Anonymous 2010-10-23 8:22

>>9
that's ME, don't steal my life, ``Sussman''

Name: Anonymous 2010-10-23 8:31

>>8
I actually meant the smug CLIPS weenie. I assumed that being a Scheme weenie is natural for all three of us.

Name: Anonymous 2010-10-23 8:35

>>11
If you don't define your procedures with



(define anus

  (lambda (x)

    (anus x)))

you can't call yourself Scheme weenie.

Name: Anonymous 2010-10-23 8:55

I am the Imageboard Paladin who usually only lurk /prog/.

Name: Anonymous 2010-10-23 9:00

>>13
No, it's me. Fuck off, ``impersonator''.

Name: Anonymous 2010-10-23 9:06

- first group - 1. Me 3. The Sussman - second group - 2. You 4. The guy who sages a lot 5. The guy who refuses to sage for no good reason 6. The guy who refuses to sage with a good reason 7. The guy from /jp/ 8. The guy from /b/ 9. The guy from /pr/ 10. The guy who can't program at all 11. Smug LISP weenie 12. Smug C weenie 13. Smug Haskell nomad 14. Enterprise Java suit 15. Sepples faggot 16. The proportional font guy 17. Sergeant Sagetank 18. Hotaru 19. MrVacBob-kun-sama 20. Erika 21. Christopher 22. Xarn 23. FrozenVoid 24. Jamestopher 25. UMH memesmith 26. HMA meme fan 27. HAXUS THE GREAT 28. The anusposter 29. The wayward freshman 30. The imageboard paladin 31. The guy who keeps saying ``cromulent'' 32. The ``faggot quotes'' guy 32. The ``Stop using ``faggot quotes'''' guy 33. Haskell the dead dog 34. The -- guy 35. The necroposter 36. MILKRIBS4k 37. The opiates spammer 38. rand(all) 39. The Anticudder 40. Richard Stallman 41. MDickie 42. Leah Culver 43. Flaming prescriptivist faggot 44. Flaming descriptivist faggot 45. The EMACS advocate 46. The Textmate screencasts guy 47. The VIM advocate 48. The bloat guy 49. The elitist BSD anushole 50. The Touhou guy 51. The guy who refuses to install Flash

Name: Anonymous 2010-10-23 9:38

52. The HMA.lua guy

Name: Anonymous 2010-10-23 10:08

33 is 28 and 37.

Name: VIPPER 2010-10-23 10:12

>>1
What about VIPPER???

Name: Anonymous 2010-10-23 10:42

>>18
Please immediately return the superfluous question marks! Some people suffer because of the question mark shortage!

Name: Anonymous 2010-10-23 11:57

>>19
Reference: http://dis.4chan.org/read/prog/1287684038/1-4

Name: Anonymous 2010-10-23 11:57

What about VIPPER^[1]? Too JEWS for you?

^{[1] No, I'm not him.}

Name: Anonymous 2010-10-23 12:04

Riichi.

Name: Anonymous 2010-10-23 12:20

>>12
Back to /Indiana University/ please.

Name: Anonymous 2010-10-23 13:06

Your forgot fake UMH memesmith

Name: Anonymous 2010-10-23 13:06

>>1
Hey, you gave me a shout out! I'm the stop using faggot quotes guy.

^R_F^E_A^Q_G^U_G^I_O^R_T^E^S_Q_U^F_O^E_T^W_E^E_S^R

Version 2.0, released under the Noncommercial Creative Commons License.

Name: Anonymous 2010-10-23 13:07

>>25
On a side note, I probably fit best into the "me" or "you" portion, depending on the perspective used.

Name: Anonymous 2010-10-23 13:46

I am not a number. I am a free man.

Name: Anonymous 2010-10-23 13:59

I am not a number. I am a free variable.

Name: Anonymous 2010-10-23 14:12

I did it as an Euler diagram, because these are not distinct sets: http://i.imgur.com/n9Wgo.png
You should be able to figure out which is which by the position of the numbers 1, 2, and 3.

You have a duplicate #32, by the way. The way I see it, the first #32 is in the intersection between me and you, whereas the second is all you.

Name: Anonymous 2010-10-23 14:52

>>29
There is some slightly contradictory data in your image if you consider previous posts, however it could be easily solved by moving some numbers into the 3-way intersection which is currently empty.

Name: Anonymous 2010-10-24 2:05

I can't decide whether I should be dismayed or happy that my name is not on that list.

Name: Anonymous 2010-10-24 4:56

>>31
Taro? strlek? Krade?

Name: Anonymous 2010-10-24 5:20

|\ /) /\_\\__ (_// | `>\-` _._ //`) \ /` \\ _.-`:::`-._ // ` \|` ::: `|/ | BAM ::: PV | |.....:::.....| |:::::::::::::| | ::: | \ XAR ::: NÆ / \ ::: / `-. ::: .-' //`:::`\\ // ' \\ |/ \\

Name: Anonymous 2010-10-24 5:31

>>33
10/10 A+++++

Name: Anonymous 2010-10-24 6:02

>>33
MEVS ANVS HAXVS EST

Name: RMS 2010-10-24 11:06

I tried reading the thread, but I saw only inane comments.

Name: Anonymous 2010-10-24 11:13

I'm the guy that says both Nigger and *African American

Name: Anonymous 2010-10-24 11:31

I have a great idea! What if we each identified our posts with some sort of nickname, so the others could tell who were posting?

Name: moot !Ep8pui8Vw2 2010-10-24 11:35

herp derp let's all ignore the point of an anonymous imageboard

Name: Anonymous 2010-10-24 12:29

I'm the guy who can't program at all (sans a little Java, just starting a Comp Sci class)

/prog/ challenge: me, you, and The Sussman

1 Name: Anonymous 2010-10-23 6:15

2 Name: Anonymous 2010-10-23 6:33

3 Name: Mr. Likes To Sage Threads 2010-10-23 6:40

4 Name: Anonymous 2010-10-23 7:04

5 Name: EVERYONE REPORT IN 2010-10-23 7:05

6 Name: >>5 2010-10-23 7:07

7 Name: Anonymous 2010-10-23 7:24

8 Name: Anonymous 2010-10-23 7:39

9 Name: Anonymous 2010-10-23 8:15

10 Name: Anonymous 2010-10-23 8:22

11 Name: Anonymous 2010-10-23 8:31

12 Name: Anonymous 2010-10-23 8:35

13 Name: Anonymous 2010-10-23 8:55

14 Name: Anonymous 2010-10-23 9:00

15 Name: Anonymous 2010-10-23 9:06

16 Name: Anonymous 2010-10-23 9:38

17 Name: Anonymous 2010-10-23 10:08

18 Name: VIPPER 2010-10-23 10:12

19 Name: Anonymous 2010-10-23 10:42

20 Name: Anonymous 2010-10-23 11:57

21 Name: Anonymous 2010-10-23 11:57

22 Name: Anonymous 2010-10-23 12:04

23 Name: Anonymous 2010-10-23 12:20

24 Name: Anonymous 2010-10-23 13:06

25 Name: Anonymous 2010-10-23 13:06

26 Name: Anonymous 2010-10-23 13:07

27 Name: Anonymous 2010-10-23 13:46

28 Name: Anonymous 2010-10-23 13:59

29 Name: Anonymous 2010-10-23 14:12

30 Name: Anonymous 2010-10-23 14:52

31 Name: Anonymous 2010-10-24 2:05

32 Name: Anonymous 2010-10-24 4:56

33 Name: Anonymous 2010-10-24 5:20

34 Name: Anonymous 2010-10-24 5:31

35 Name: Anonymous 2010-10-24 6:02

36 Name: RMS 2010-10-24 11:06

37 Name: Anonymous 2010-10-24 11:13

38 Name: Anonymous 2010-10-24 11:31

39 Name: moot !Ep8pui8Vw2 2010-10-24 11:35

40 Name: Anonymous 2010-10-24 12:29

Name: Anonymous 2010-10-23 6:15

Name: Anonymous 2010-10-23 6:33

Name: Mr. Likes To Sage Threads 2010-10-23 6:40

Name: Anonymous 2010-10-23 7:04

Name: EVERYONE REPORT IN 2010-10-23 7:05

Name: >>5 2010-10-23 7:07

Name: Anonymous 2010-10-23 7:24

Name: Anonymous 2010-10-23 7:39

Name: Anonymous 2010-10-23 8:15

Name: Anonymous 2010-10-23 8:22

Name: Anonymous 2010-10-23 8:31

Name: Anonymous 2010-10-23 8:35

Name: Anonymous 2010-10-23 8:55

Name: Anonymous 2010-10-23 9:00

Name: Anonymous 2010-10-23 9:06

Name: Anonymous 2010-10-23 9:38

Name: Anonymous 2010-10-23 10:08

Name: VIPPER 2010-10-23 10:12

Name: Anonymous 2010-10-23 10:42

Name: Anonymous 2010-10-23 11:57

Name: Anonymous 2010-10-23 11:57

Name: Anonymous 2010-10-23 12:04

Name: Anonymous 2010-10-23 12:20

Name: Anonymous 2010-10-23 13:06

Name: Anonymous 2010-10-23 13:06

Name: Anonymous 2010-10-23 13:07

Name: Anonymous 2010-10-23 13:46

Name: Anonymous 2010-10-23 13:59

Name: Anonymous 2010-10-23 14:12

Name: Anonymous 2010-10-23 14:52

Name: Anonymous 2010-10-24 2:05

Name: Anonymous 2010-10-24 4:56

Name: Anonymous 2010-10-24 5:20

Name: Anonymous 2010-10-24 5:31

Name: Anonymous 2010-10-24 6:02

Name: RMS 2010-10-24 11:06

Name: Anonymous 2010-10-24 11:13

Name: Anonymous 2010-10-24 11:31

Name: moot !Ep8pui8Vw2 2010-10-24 11:35

Name: Anonymous 2010-10-24 12:29