←2012-10-15 2012-10-16 2012-10-17→ ↑2012 ↑all
00:06:56 <oklofok> just zip it repeatedly until it's small
00:06:58 <oklofok> so easy
00:08:24 <kmc> yep
00:08:37 <oklofok> many people just zip once and get it down to like 80%, but what they don't realize is 0.8^10 is like 0.1
00:08:51 <shachaf> oklofok: You should patent it!
00:08:57 <oklofok> i should
00:08:59 <shachaf> I bet it'd get accepted.
00:09:28 <oklofok> in fact i should probably patent powers of endomorphisms in general.
00:11:07 <oklofok> so today i was programming shit
00:11:32 <kmc> that's funny, today i was shitting programs
00:11:53 <oklofok> i think i may have omitted some detais
00:11:55 <oklofok> details
00:12:47 <oklofok> what i was going to say was i programmed this thing that takes a texture and then chooses uvs of vertices in your triangles so that the texture is always the same size
00:12:56 <oklofok> which was ofc kinda trivial
00:13:08 <oklofok> but there was this one bug i just couldn't fix
00:13:28 <oklofok> everything was the wrong way around
00:13:35 <oklofok> so
00:13:45 <oklofok> i'm going to share this with you so you'll know in the future
00:13:58 <oklofok> clockwise means the direction clocks tick in
00:14:07 <oklofok> not the direction they don't tick in
00:14:30 <oklofok> i even invented a mnemonic
00:14:44 <oklofok> clockwise sounds kinda like "clock direction"
00:14:57 <oklofok> so you can think of it as like the "direction of a clock"
00:15:00 <oklofok> if that makes sense
00:15:55 <oklofok> kinda far-fetched i admit but mnemonics are sometimes easy to remember because they are so silly
00:15:57 <oklofok> you know
00:16:15 <kmc> there seem to be at least 21 linux installs buried somewhere within my drive array
00:16:33 <kmc> no actually some of them are freebsd
00:18:03 <kmc> FreeBaSeD
00:38:55 <ion> Hehe. It was fun to see him out of character. http://www.huffingtonpost.com/2012/10/14/stephen-colbert-meet-the-press-newsman_n_1965034.html?utm_hp_ref=butt
01:03:43 <kmc> WD and Seagate 3TB drives are exactly the same price
01:03:54 <kmc> i guess the thing to do is get half of each
01:35:42 -!- nooga has joined.
01:40:47 -!- nooga has quit (Ping timeout: 240 seconds).
01:45:52 <ion> Please Move The Deer Crossing http://youtu.be/CI8UPHMzZm8
01:57:28 <shachaf> Anyone except Sgeo can submit 4clojure questions.
01:57:59 * Sgeo wants to make the halting problem a 4clojure problem >:D
02:04:30 -!- luite has quit (Quit: leaving).
02:34:39 -!- monqy has joined.
03:02:25 -!- Arc_Koen has quit (Quit: Arc_Koen).
03:02:46 -!- Arc_Koen has joined.
03:03:11 -!- Arc_Koen has quit (Client Quit).
03:21:50 -!- RocketJSquirrel has changed nick to Gregor.
03:30:43 -!- Robdgreat has joined.
03:39:40 -!- tswett has quit (Changing host).
03:39:40 -!- tswett has joined.
03:41:23 -!- Frooxius has quit (Ping timeout: 245 seconds).
03:45:25 <kmc> i got my oyster mushroom spores
03:45:39 <kmc> the sketchy spore company included a baggie of opium poppy seeds as a 'free gift'
03:56:34 -!- sirdancealot7 has quit (Ping timeout: 240 seconds).
04:03:30 <zzo38> I have entered Famicompo Mini vol.9 and you will see it at Halloween, unless you wish to enter in which case you must submit before then.
04:04:11 <shachaf> When's Canadian Halloween?
04:05:36 <zzo38> October 31
04:06:02 <zzo38> However, I am talking about the Japanese, which is on October 31.
04:06:11 <shachaf> Wow, it's the same day as American Halloween. What a coïncidence.
04:06:25 <zzo38> (I don't know if they celebrate Halloween much, but nevertheless it is still October 31)
04:12:03 <zzo38> If you write any music, try!!
04:16:12 <shachaf> zzo38: Do they have a 4th of July in Canada?
04:20:11 <zzo38> Yes, but it is not anything special.
04:25:28 <pikhq_> zzo38: Halloween in Japan is a) a very recent cultural import b) not a big deal.
04:26:07 <pikhq_> But it does exist in Japan, yeah.
04:26:13 <pikhq_> And even in a vaguely recognizable form.
04:28:27 <pikhq_> Fairly unlike say, Christmas, or Valentine's, though, in that it's not exactly a major holiday.
04:48:53 <zzo38> Is it possible to make any halting problem into a formula of Typographical Number Theory which is true statement if and only if the program halts (even though it cannot be proven)?
05:14:16 <zzo38> How common is additive synthesis in .NSF?
05:55:41 <zzo38> Some of the userboxes I made on Wikipedia are used by others some aren't. nopatents (me only) netcatIRC (1 other) DVIPDF (me only) gamediff4 (me only) AntiAntiTerrorist (1 other) ownpythag (self only) dnd35 (30 other) Vonkeror (me only) Yomi (me only) AkagiManga (me only) TeX (3 other) Mad_TeX (me only) gopher (1 improper use) ...
05:59:16 <zzo38> ... cmdline (95 other) textonlygame (8 other) hexeditMIDI (5 other) dnd35monsterchara (3 other)
05:59:22 <kmc> shachaf: http://wwpgd.com/
05:59:31 <kmc> this is what happens when I wander into TechCrunch
06:04:30 <kmc> oh man http://twitter.com/shit_hn_says
06:12:52 <shachaf> kmc: Ha.
06:29:13 <zzo38> I mentioned Dada Engine and rmutt in the document of FurryScript now.
06:32:38 <zzo38> Those are also programming language for random text generator, which I did not know about when I made FurryScript, and are less powerful and less strange than FurryScript.
06:35:08 -!- zzo38 has quit (Remote host closed the connection).
06:40:37 -!- sirdancealot7 has joined.
06:57:34 -!- sirdancealot7 has quit (Ping timeout: 240 seconds).
07:01:57 -!- nooga has joined.
07:06:35 -!- epicmonkey has joined.
07:10:31 -!- FreeFull has quit.
07:18:28 -!- nooga has quit (Ping timeout: 252 seconds).
07:33:35 -!- epicmonkey has quit (Ping timeout: 246 seconds).
07:43:10 -!- hijack has joined.
07:43:36 -!- hijack has changed nick to mean.
07:48:15 -!- zzo38 has joined.
07:57:07 -!- copumpkin has quit (Ping timeout: 245 seconds).
07:57:41 -!- copumpkin has joined.
08:08:41 -!- nooga has joined.
08:23:49 -!- sirdancealot7 has joined.
08:54:49 -!- nooga has quit (Read error: Operation timed out).
09:03:24 -!- monqy has quit (Quit: hello).
09:09:12 -!- epicmonkey has joined.
09:16:34 -!- zzo38 has quit (Remote host closed the connection).
09:44:55 -!- Arc_Koen has joined.
09:45:18 <Arc_Koen> and hello
09:50:46 <fizzie> What's the "and" for?
10:13:59 -!- TodPunk has quit (Read error: Connection reset by peer).
10:14:12 -!- TodPunk has joined.
10:32:39 -!- Phantom_Hoover has joined.
10:32:39 -!- Phantom_Hoover has quit (Client Quit).
10:32:45 -!- Phantom_Hoover has joined.
11:02:36 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds).
11:14:27 -!- coppro has quit (Ping timeout: 260 seconds).
11:15:07 -!- coppro has joined.
12:02:30 -!- Frooxius has joined.
12:08:04 -!- Phantom_Hoover has joined.
12:32:02 -!- boily has joined.
12:36:52 -!- MoALTz has joined.
12:51:44 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds).
12:59:15 -!- ogrom has joined.
13:26:43 -!- elliott has joined.
13:30:15 -!- Phantom_Hoover has joined.
13:39:22 -!- epicmonkey has quit (Remote host closed the connection).
13:39:32 -!- epicmonkey has joined.
13:41:35 <elliott> tswett: do you have any opinion wrt http://esolangs.org/wiki/Talk:Surprised_look
13:43:59 <elliott> Arc_Koen: about http://esolangs.org/wiki/User:Koen/brainfuck.thue -- I think generally we avoid putting user pages in categories like that, but it seems like it'd fit just fine as an article
13:44:04 <elliott> (say [[Brainfuck interpreter in Thue]] or something)
13:45:53 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
13:49:10 <elliott> Arc_Koen: the link in http://esolangs.org/w/index.php?title=EsoInterpreters&curid=2229&diff=34294&oldid=33862 we explicitly avoid per http://esolangs.org/wiki/Esolang:Policy
13:49:20 <elliott> maybe the best thing there is an external link to your user subpage (as bizarre as it is)
13:49:25 <elliott> anyway ais523 might have a better idea than me
13:55:30 <Arc_Koen> elliott: yes I don't know why when I started writing it it felt more natural to make it a user page, and when I was over it felt like it should have been in the main namespace
13:55:34 <Arc_Koen> I'll change it I guess
13:56:01 <Arc_Koen> also for EsoInterpreters, all the links are just "X"s with no distinction between internal and external links
13:56:13 <elliott> should move it by copy-paste so I get the opportunity to do an exciting history merge
13:56:18 <elliott> haven't had enough of those since NSQX disappeared
13:56:35 <elliott> Arc_Koen: well the external links are coloured slightly differently
13:56:40 <elliott> not the biggest deal though
13:57:08 -!- MoALTz has quit (Ping timeout: 246 seconds).
13:57:43 <Arc_Koen> by copy-paste do you mean I should just create a new page and don't care about the old one?
13:59:56 <elliott> that's exactly what you should not do but also exactly the thing that would lead me to have to merge the history of the pages
14:00:02 <elliott> it was a joke, makes no sense unless you were around when NSQX was :p
14:00:09 <elliott> just use the move option
14:00:25 <Arc_Koen> oh, ok
14:00:41 <Arc_Koen> well I still should start by rewriting all the parts that were first-person, right?
14:01:18 <elliott> not sure, really
14:01:30 <elliott> honestly you should just ak ais523, probably he remembers the last time we had an interpreter in userspace
14:01:58 <Arc_Koen> ok, thanks
14:04:52 -!- copumpkin has joined.
14:12:23 <tswett> elliott: not really. I don't particularly care whether it's deleted or salvaged.
14:23:44 <elliott> i was thinking it should probably just have the blanking reverted and some note about it being abandoned added
14:23:53 <elliott> since deleting it is a shame and leaving it blank is confusing
14:25:14 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds).
14:29:31 <Arc_Koen> and a link added to the logs where it is described?
14:29:51 <elliott> maybe
14:29:55 <elliott> too lazy to find that myeslf
14:29:56 <elliott> myself
14:36:38 -!- copumpkin has changed nick to Shylock.
14:36:52 -!- Shylock has changed nick to copumpkin.
14:37:10 -!- Phantom_Hoover has joined.
14:44:24 -!- augur has quit (Ping timeout: 244 seconds).
14:49:51 -!- ogrom has quit (Quit: Left).
15:03:02 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds).
15:24:37 -!- nooga has joined.
15:34:56 -!- pikhq_ has quit (Read error: Operation timed out).
15:35:10 -!- pikhq has joined.
15:36:26 -!- augur has joined.
16:05:19 -!- AnotherTest has joined.
16:05:45 <AnotherTest> Hello
16:06:31 -!- Vorpal has joined.
16:09:14 -!- Phantom_Hoover has joined.
16:11:57 -!- Vorpal has quit (Ping timeout: 276 seconds).
16:27:42 <Arc_Koen> hey is there a something like "plainpres" or something to force every cell in a wikitable to look like it were in <code></code> snippets?
16:28:18 <AnotherTest> like HTML's <pre>?
16:29:44 <Arc_Koen> hum, a, maybe
16:29:57 <ion> http://i.imgur.com/59rw6.jpg
16:33:00 -!- zzo38 has joined.
16:33:21 <zzo38> ?messages
16:33:21 <lambdabot> You don't have any new messages.
16:42:17 <elliott> Arc_Koen: you should just wrap them in <code> or <pre>
16:44:02 <Arc_Koen> the whole table?
16:44:33 <Arc_Koen> I seem to recall last time I used <pre> inside a table, Oerjan edited after me to make it more simple
16:45:35 <AnotherTest> try that again :p?
16:45:47 <elliott> probably do whatever oerjan did then :p
16:47:32 <shachaf> @ask zzo38 Want a message?
16:47:33 <lambdabot> Consider it noted.
16:48:30 <AnotherTest> @tell zzo38 and another one
16:48:30 <lambdabot> Consider it noted.
16:58:16 * Arc_Koen resists the urge to imitate shachaf and AnotherTest
17:02:18 -!- FreeFull has joined.
17:15:23 <zzo38> Other programming languages for random text generator other than FurryScript includes Dada Engine and rmutt, although FurryScript seems to have many more features, and an entirely different syntax.
17:15:23 <lambdabot> zzo38: You have 2 new messages. '/msg lambdabot @messages' to read them.
17:15:59 <zzo38> TITLE("The Passion Considered as a Mornington Crescent Game")
17:36:57 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds).
17:49:29 -!- augur has quit (Read error: Connection reset by peer).
17:49:50 <Arc_Koen> @tell Arc_koen remember to ask ais523 about User namespace when you get back
17:49:50 <lambdabot> You can tell yourself!
17:49:55 -!- augur has joined.
17:50:18 <Arc_Koen> ok.
17:58:57 -!- AnotherTest has quit (Quit: Leaving.).
17:59:08 -!- AnotherTest has joined.
17:59:26 -!- atriq has joined.
18:00:58 -!- augur has quit (Read error: Connection reset by peer).
18:01:23 -!- augur has joined.
18:10:15 -!- mean has quit (Remote host closed the connection).
18:10:51 -!- mean has joined.
18:11:21 -!- mean has quit (Client Quit).
18:16:44 <ion> http://blog.humblebundle.com/post/33714074132/humble-ebook-bundle-is-now-five-times-more-hilarious
18:17:44 <kmc> ebooks... of web comics?
18:17:45 -!- epicmonkey has quit (Remote host closed the connection).
18:17:55 <ion> hehe
18:18:01 <olsner> it's like... the web in book form in web form
18:18:31 -!- Phantom_Hoover has joined.
18:19:55 <ion> "Eläinlääkintäeverstiluutnantittomuuttaankinkohan vihollisarmeija jämähti?" = "I wonder if one of the reasons why the enemy army stopped was their lack of Veterinary Lieutenant Colonels?"
18:21:29 <olsner> nice one
18:22:25 <shachaf> ion: The string on the left looks shorter than the string on the right, but that's only due to lack of spaces.
18:23:07 <ion> > length "ä" -- did lambdabot handle this right?
18:23:08 <lambdabot> 1
18:23:38 <ion> > let f = length . filter isAlpha in map f ["Eläinlääkintäeverstiluutnantittomuuttaankinkohan vihollisarmeija jämähti?", "I wonder if one of the reasons why the enemy army stopped was their lack of Veterinary Lieutenant Colonels?"]
18:23:40 <lambdabot> [70,88]
18:23:46 <shachaf> > length "1-Äh-hä-hä"
18:23:48 <lambdabot> 10
18:24:13 <atriq> I'm temporarily out of money, so I won't get the Humble eBook Bundle
18:24:31 <elliott> ion: i can't decide if that was actually an increase in hilariousness or a decrease
18:24:43 <elliott> the SMBC books will probably be good
18:24:58 -!- sirdancealot7 has quit (Ping timeout: 265 seconds).
18:25:31 <shachaf> > length "ä"
18:25:33 <lambdabot> 2
18:25:54 <ion> > "length"
18:25:55 <lambdabot> "length"
18:25:59 <olsner> > length "length"
18:26:00 <lambdabot> 6
18:26:35 <ion> > "ä"
18:26:36 <lambdabot> "a\776"
18:28:26 <atriq> This morning I was bored so I wrote a program to find perfect numbers
18:28:47 <atriq> It found eight straight away then ran out of memory half an hour later
18:29:13 <olsner> eight magic numbers, or the number eight?
18:29:17 <atriq> The former
18:29:22 <atriq> Perfect numbers
18:29:30 <atriq> 6, 28, 496, yada yada yada
18:29:44 <olsner> I don't know what those are
18:30:20 <atriq> Numbers that are equal to the sum of their factors (other than themself)
18:30:32 <atriq> Factors of 6 are 1, 2 and 3. 1 + 2 + 3 = 6
18:30:41 <elliott> it's more perfect if you include themself
18:30:44 <elliott> themselves
18:31:02 <atriq> Factors of 28 are 1, 2, 4, 7, 14. 1 + 2+ 4 + 7 + 14 = 28
18:31:07 <atriq> Then it would just be 1?
18:32:43 <atriq> import Data.Numbers.Primes -- from the primes package on Hackage
18:32:52 <elliott> <atriq> Then it would just be 1?
18:32:55 <elliott> 1 is pretty perfect don't you think
18:33:13 <atriq> main = mapM_ print [2 ^ (p - 1) * q | p <- primes, let q = 2 ^ p - 1, isPrime q]
18:33:24 <atriq> 1 is ridiculously imperfect.
18:33:40 <atriq> 33550336 is perfect
18:34:00 <atriq> The program can easily be altered to find mersenne primes
18:34:31 <fizzie> I have a sed script to find perfect numbers.
18:34:32 <atriq> By removing "2 ^ (p - 1) * "
18:35:03 <atriq> Does it work in a similar way?
18:35:33 <fizzie> I don't remember how it works.
18:36:20 <AnotherTest> I just wrote a program to draw a madelbrot fractal
18:36:29 <AnotherTest> *mandelbrot
18:36:36 <atriq> Does it work?
18:36:40 <AnotherTest> It does
18:36:43 <atriq> Yay!
18:36:46 <AnotherTest> and it matches colors
18:37:07 <fizzie> I don't remember what I'm meant to give as input to this program.
18:37:18 <AnotherTest> although it doesn't render them smooth (although there is an algorithm for that I believe)
18:38:41 <fizzie> http://sprunge.us/cQZc -- oh, so that's how it works, it looks for as many numbers as there are letters on the line.
18:39:21 <olsner> nice
18:39:22 <fizzie> Sadly, I don't think it's really efficient enough to go past 8128 very well.
18:40:03 <fizzie> This one tests only numbers of the form 2^(p-1)(2^p-1).
18:40:20 <fizzie> So it'll skip all those possible odd perfect numbers.
18:40:39 <fizzie> (The first version tests every number for perfection, but it's kinda slower.)
18:42:27 <fizzie> I think it does unary math, anyway.
18:43:01 <fizzie> At least the body of the pow2 loop is just a s/^x*/&&/.
18:43:17 <fizzie> (There's a unary-to-decimal conversion at the end.)
18:44:19 <ion> Meanwhile in the Free World, http://www.huffingtonpost.com/2012/05/20/asset-forfeiture-wisconsin-bail-confiscated_n_1522328.html?utm_hp_ref=butt&src=butt&comm_ref=butt
18:45:14 -!- AnotherTest has left.
18:51:32 <atriq> I don't believe in odd perfect numbers.
18:53:27 <fizzie> Are you SURE there aren't any?
18:54:35 -!- ais523 has joined.
18:55:20 <fizzie> Though given that lower bound of 10^1500, maybe the unary-using program wouldn't need to spend time looking for it.
18:56:18 <olsner> hmm, so it's not the sum of factors, but the sum of all combinations of factors?
18:56:44 <olsner> I was just about to combine factor and dc into a perfect number tester, but now I'll probably not bother
18:56:45 -!- Zerker has joined.
18:57:13 <fizzie> olsner: Sum of all (positive, proper) divisors.
19:07:10 <atriq> fizzie, +1
19:08:00 -!- epicmonkey has joined.
19:11:05 <zzo38> Can any programming be made involving linear logic making functions?
19:11:47 <atriq> Instinct says yes
19:12:00 <atriq> Don't know enough about linear logic
19:12:47 <zzo38> Look in Wikipedia
19:25:17 <atriq> Oh dear
19:25:50 <atriq> Today at school I provided an alternate proof that for any a and b in a group, (ab)^-1 = a^-1 b^-1
19:25:54 <atriq> (alternate to the teachers)
19:25:57 <atriq> And someone filmed it
19:27:09 <shachaf> Isn't it b^-1 a^-1?
19:27:13 <atriq> Yes
19:27:16 <atriq> That is what I meant
19:29:04 <shachaf> How many proofs of that can there be?
19:29:59 <atriq> At least two, evidently
19:30:20 <atriq> Teacher's proof:
19:30:31 <atriq> Wait
19:30:38 <atriq> I can't remember the teacher's proof
19:31:02 <atriq> Yes I can
19:31:24 <atriq> (ab)^-1 = b^-1 a^-1
19:31:43 <atriq> -> (ab)^-1 a = b^-1 a^-1
19:31:55 <atriq> a
19:31:55 <shachaf> Wait, what?
19:32:14 <atriq> -> (ab) ^ - 1 a = b^-1
19:32:41 <atriq> -> (ab)^-1 a b = b^-1 b
19:32:53 <atriq> Actually, I have no idea what I'm doing
19:32:58 <atriq> My proof was better
19:34:35 <shachaf> ((ab)^-1)(ab) = 1; (((ab)^-1)a)b = 1; ((ab)^-1)a = b^-1; (ab)^-1 = (b^-1)(a^-1)
19:36:44 <atriq> Hmm
19:56:14 -!- augur has quit (Remote host closed the connection).
20:38:47 -!- epicmonkey has quit (Remote host closed the connection).
20:39:04 -!- epicmonkey has joined.
20:45:23 <shachaf> That was silly.
20:52:37 <zzo38> Can the "!" in linear logic be made like a kind of comonad?
21:16:08 <ais523> elliott: heh, when I saw you on [[The Best Place To Grab Cash Financing Very Quickly]] I was wondering whether it was spam deletion or language construction ;)
21:16:15 <ais523> it does sound like a good language name
21:16:32 <ais523> zzo38: it has both monad-like and comonad-like properties
21:16:53 <ais523> I think my supervisor and I concluded it was probably a comonad
21:17:01 <ais523> but I wasn't sure, and it didn't really matter for what I was doing
21:17:49 <shachaf> I talked with my supervisor and concluded that ais523 was probably a cocoa monad.
21:18:24 <shachaf> ais523: Can you kick me?
21:18:41 <Phantom_Hoover> ais523, give him voice!
21:18:43 <olsner> shachaf: can you kick you?
21:18:55 <shachaf> /kick shachaf
21:19:00 <shachaf> no
21:19:24 <ais523> I can kick arbitrary people from the channel, assuming they're here at the time
21:19:27 <ais523> whether I /should/ is another issue
21:19:35 <shachaf> Am I arbitrary enough for you?
21:19:37 <ais523> heh, Gregor's still voiced?
21:19:56 <shachaf> Gregor: hi Gregor
21:20:03 <olsner> everyone should have the right to kick and ban themselves
21:21:09 <ais523> hmm
21:21:19 <ais523> on Wikipedia, they actually had to ban people from banning themselves
21:21:28 <olsner> had to?
21:21:29 <ais523> because it had unintended side effects
21:21:38 <ais523> (especially involving shared IPs)
21:22:10 -!- atriq has quit (Quit: Leaving).
21:27:17 <olsner> so people actually ended up banning a lot more people than themselves?
21:29:31 <zzo38> I think you could just delete [[The Best Place To Grab Cash Financing Very Quickly]]. Administrators can undelete anyways if required isn't it?
21:30:26 <shachaf> zzo38: Wow, what a h8r.
21:30:36 <shachaf> Why would you delete an esolang like that?
21:31:17 <elliott> ais523: Arc_Koen was going to ask you stuff
21:32:21 <elliott> Arc_Koen: btw i believe you misunderstand http://esolangs.org/wiki/Works_in_progress possibly
21:32:27 <elliott> (see the first paragraph0
21:32:28 <elliott> *)
21:32:35 <elliott> oh maybe not
21:32:40 <zzo38> shachaf: Mostly because it is already deleted.
21:32:53 <zzo38> And even when it exist, contain nothing of any use.
21:33:09 <zzo38> (If is required, I guess undelete since I think MediaWiki allows it)
21:33:20 <shachaf> UNDELETE.EXE
21:34:46 <Arc_Koen> hello
21:34:48 <zzo38> Although I prefer pure wiki deletion, if it could be made MediaWiki to support it (such as making the history is viewable on deleted pages and everything else just like blanking it, but it never appears on lists of pages and never appears on random page function either.
21:35:41 <Arc_Koen> elliott: no, Lazy Prefix was made to be a work in progress
21:35:55 <ais523> zzo38: pure deletion would probably be a bad idea, people would link to deleted history pages and then maintain it as Wikipedia's official position
21:36:02 <ais523> and quite a lot of people would be stupid enough to fall for it
21:36:44 <Arc_Koen> it's mainly the result of me trying to fall asleep and if it can make sense for anyone I'd be glad that they make it their thing as much as mine
21:37:14 <elliott> pure wiki deletion is terrible for things like copyvio and personal info also
21:37:35 <Arc_Koen> ais523: yes I had a question about User:Koen/brainfuck.thue
21:38:03 <Arc_Koen> I'm gonna move it to main namespace - thing is, I'm not sure it fits as is
21:38:19 <Arc_Koen> for instance I use first-person throughout the page, should I change that?
21:38:34 <Arc_Koen> and move the external links to a "external resources" section, also
21:38:42 <zzo38> Even normal page deletion is bad for things like copyvio; instead, administrators should delete individual changes in the page history list, in such cases as that, if something must be remove entirely without disturbing the rest of the article, in case it is otherwise OK.
21:38:54 <Arc_Koen> elliott said you would remember the last time an interpreter was in the user namespace
21:40:08 <Arc_Koen> the reason I put it there in the first place was because there was already a link to a brainfuck interpreter on the thue page, and while making mine I felt more like doing something for myself than actually contributing to esolangs in general
21:42:00 <elliott> fwiw if you want to license it as something other than CC0 then the best thing would be to put it up elsewhere on the web (e.g. on a pastebin) and link to it externally, also
21:42:15 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
21:45:34 <Arc_Koen> I'm not so excited about copyrights
21:46:31 <elliott> i copyright things all night and then go to bed and dream about copyright
21:46:51 <elliott> ais523: http://esolangs.org/wiki/WASD sigh
21:47:08 <elliott> ais523: we should split the language list up so all the brainfuck derivatives are on another page or something
21:48:18 <Arc_Koen> yes
21:48:20 <Arc_Koen> yes we should
21:48:21 <shachaf> elliott: how about my derivative that uses the symbols <> for [], -+ for <>, ,. for -+, [] for ,.
21:48:29 <shachaf> Phantom_Hoover: ☝ innovation ☝
21:48:44 <Phantom_Hoover> what the fuck
21:48:59 <Phantom_Hoover> is that like a fishhook
21:49:19 <elliott> http://esolangs.org/wiki/Not_a_brainfuck_derivative i remember making this
21:49:35 <kmc> how about my derivative that uses the symbols 8=D, 8==D, 8===D, 8====D, 8=====D, 8======D, 8=======D, and 8========D
21:49:44 <Arc_Koen> I have an even better idea! a brainfuck-derivative on a left- and right-unbounded tape with bounded wrapping cells, using the symbols > for <, < for >, + for - and - for +
21:49:57 <elliott> Arc_Koen: and . and , do 255-x?
21:49:57 <Arc_Koen> oh wait it already exists
21:50:09 <Arc_Koen> yes, yes they do
21:50:44 <Arc_Koen> and [ and ] don't test whether x = 0, but whether x = 256
21:51:07 <kmc> data D = D deriving Eq; instance Num D where fromInteger 8 = D
21:51:41 <shachaf> kmc and his smiling chefs
21:51:41 <elliott> nice pointless deriving Eq
21:52:00 <shachaf> elliott: kmc believes in Eq a => Num a
21:52:11 <shachaf> Like the Haskell Report (and unlike GHC).
21:52:18 <kmc> the history of haskell is the history of class struggle
21:52:23 <shachaf> I guess kmc forgot to derive Show.
21:52:26 <elliott> shachaf: then he also has to believe in Show a => Num a
21:52:29 <elliott> so it is pointless or invalid
21:52:48 <shachaf> kmc: elliott just called you not(pointful and valid)
21:53:18 <elliott> fsvo you
21:54:06 <shachaf> fix u = let mad = u mad in u
21:56:01 <elliott> > let in shachaf please
21:56:03 <lambdabot> Sorry, shachaf's not allowed in.
21:56:46 <elliott> kmc: can i have applause
21:56:53 <shachaf> > please
21:56:56 <lambdabot> ()
21:57:16 <lambdabot> *clap clap clap*
21:57:23 <olsner> but considering he's already in, shouldn't we be allowing him out instead?
21:57:42 <Arc_Koen> I'm probably gonna regret I ever asked, but what other esolangs have inspired wasd?
21:58:00 <lambdabot> hi elliott
21:58:10 <elliott> Arc_Koen: presumably brainfuck
21:58:15 <shachaf> elliott: Did you @admin - me?
21:58:23 <elliott> shachaf: no, but I might next time
21:58:29 <Arc_Koen> elliott: the page says "inspired by brainfuck and other esolangs"
21:58:38 <elliott> Arc_Koen: probably ook or something then
21:59:01 <Arc_Koen> oh, yes, it does bear some resemblance with Ook!
21:59:05 <Arc_Koen> and blub
21:59:09 <Arc_Koen> how did I not see that sooner
21:59:17 -!- Zerker has quit (Ping timeout: 255 seconds).
21:59:29 <olsner> might be nice with an esolang that's somehow a superset of all the other esolangs
21:59:55 -!- augur has joined.
22:00:21 <Arc_Koen> something dangerous to say, someone might overhear you and go ahead and do it
22:00:44 <olsner> that'd be awesome because then I get the benefit of having thought it without having to actually do any work
22:00:57 -!- copumpkin has joined.
22:01:15 <Arc_Koen> I was gonna say "I'm gonna hit random page a few times and include every esolang I'm gonna come across"
22:02:18 <Arc_Koen> like, starting from brainfuck, and if I meet deadfish I add a command to square the current cell (taking it out of 0-255), and if I meet a stack-based language I add that every cell is in fact a stack, etc.
22:02:25 <Arc_Koen> so I hit random page
22:02:34 <Arc_Koen> http://esolangs.org/wiki/Cvlemar
22:02:43 <Arc_Koen> not sure how that'd fit with brainfuck :)
22:03:09 <Arc_Koen> which is a pretty neat excuse to let you find someone else to do your dirty work!
22:04:50 <Arc_Koen> oh and I thought it might be cool to prove a "subset" of Kipple turing-complete... and that subset would not allow stacks to hold anything else than zeroes
22:06:22 <Arc_Koen> in fact that's probably easy to prove, via reduction from 3-cell brainfuck
22:14:25 -!- nooga has quit (Ping timeout: 244 seconds).
22:30:22 -!- Slereah_ has joined.
22:31:06 -!- Slereah has quit (Ping timeout: 252 seconds).
22:55:42 -!- mean has joined.
22:57:56 <kmc> looks like i picked the wrong day to stop sniffing glue
22:58:15 <elliott> `welcome mean
22:58:24 <HackEgo> mean: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
22:58:53 <zzo38> kmc: What kind of glue did you stop sniffing?
22:59:14 <kmc> all kinds
22:59:20 <ais523> o
23:00:04 <elliott> oh
23:00:23 -!- boily has quit (Quit: Poulet!).
23:05:13 <kmc> ohh
23:05:15 -!- ais523 has quit.
23:06:47 <ion> ohhh
23:06:47 -!- epicmonkey has quit (Remote host closed the connection).
23:07:09 -!- epicmonkey has joined.
23:07:14 <ion> > map ('o:' . flip replicate 'h') [0..]
23:07:16 <lambdabot> <no location info>:
23:07:16 <lambdabot> lexical error in string/character literal at chara...
23:07:19 <ion> > map ('o': . flip replicate 'h') [0..]
23:07:20 <lambdabot> <no location info>: parse error on input `.'
23:07:27 <ion> I seem to be too tired for code.
23:07:31 <ion> > map (('o':) . flip replicate 'h') [0..]
23:07:33 <lambdabot> ["o","oh","ohh","ohhh","ohhhh","ohhhhh","ohhhhhh","ohhhhhhh","ohhhhhhhh","o...
23:07:46 -!- epicmonkey has quit (Remote host closed the connection).
23:08:10 -!- epicmonkey has joined.
23:08:16 -!- epicmonkey has quit (Remote host closed the connection).
23:19:06 <elliott> ion: ugly!
23:19:12 <elliott> > iterate (++ "h") "o"
23:19:15 <lambdabot> ["o","oh","ohh","ohhh","ohhhh","ohhhhh","ohhhhhh","ohhhhhhh","ohhhhhhhh","o...
23:19:59 <ion> heh
23:20:20 <shachaf> > map (\n -> take n ('o':repeat 'h')) [1..]
23:20:22 <lambdabot> ["o","oh","ohh","ohhh","ohhhh","ohhhhh","ohhhhhh","ohhhhhhh","ohhhhhhhh","o...
23:20:41 <shachaf> > (tail . inits) ('o':repeat 'h')
23:20:43 <lambdabot> ["o","oh","ohh","ohhh","ohhhh","ohhhhh","ohhhhhh","ohhhhhhh","ohhhhhhhh","o...
23:20:54 <ion> nice
23:21:14 <shachaf> > (map ('o':) . inits . repeat) 'h'
23:21:16 <lambdabot> ["o","oh","ohh","ohhh","ohhhh","ohhhhh","ohhhhhh","ohhhhhhh","ohhhhhhhh","o...
23:21:46 <elliott> > inits []
23:21:47 <lambdabot> [[]]
23:21:50 <elliott> right
23:23:58 <kmc> whee, earthquake
23:24:04 <kmc> magnitude 4.5, 90 miles north of me
23:24:46 <shachaf> Did you survive it?
23:25:37 <ion> He didn’t say it happened yet. Perhaps he won’t.
23:26:00 <kmc> i did survive yes
23:46:30 -!- MoALTz has joined.
←2012-10-15 2012-10-16 2012-10-17→ ↑2012 ↑all