00:04:17 -!- Corun has joined. 00:14:29 * SimonRC goes to beeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeed. 00:14:38 BONK 00:15:22 SimonRC: heh 00:15:28 beeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeed. 00:15:51 Advice #50314: Never keep your bed near a cliff edge 00:16:31 oerjan: You are brilliant. 00:17:19 why thank you. 00:17:49 Now time for some tea. 00:18:49 Slereah_: Jolly good old bean! 00:19:04 um, tea is not a bean. 00:20:33 wikipedia tells me that technically coffee beans are not beans either 00:21:53 oerjan: Jolly good old leaf 00:22:06 * oerjan finds it slightly disturbing that apparently the frenchman wants tea while the englishman is referring to coffee 00:22:43 That's Just Not Right, I Tell You 00:22:43 Heh. 00:22:57 http://images.encyclopediadramatica.com/images/e/eb/Octocat_Fanart.png 00:23:01 Maybe I'm relaxing. 00:25:34 oerjan: I am writing some particularly gnarly Haskell! 00:25:47 Gnarly like pubic hairs? 00:25:52 orly? 00:25:56 Heh. 00:25:56 http://images.encyclopediadramatica.com/images/e/eb/Octocat_Fanart.png 00:25:56 Maybe I'm relaxing. 00:25:57 err 00:26:01 stupid selection clipboard 00:26:02 :| 00:26:06 :1:0: 00:26:06 No instance for (ToFormatter 00:26:07 (SimpleFormatterInt r String) String t) 00:26:55 ToFormatter your own class? 00:27:05 oerjan: 00:27:12 class ToFormatter a r b where 00:27:12 toFormatter :: a -> FormatterInt r b 00:27:12 instance ToFormatter (FormatterInt r a) r a where 00:27:12 toFormatter = id 00:27:12 instance ToFormatter [Char] r r where 00:27:13 toFormatter s = FormatterInt (\k r -> k (r ++ s)) 00:27:17 (I told you it was gnarly) 00:27:50 oerjan: For completeness: 00:27:51 data FormatterInt r a = FormatterInt ((String -> r) -> String -> a) 00:27:52 type Formatter a = forall r. FormatterInt r a 00:27:52 type SimpleFormatterInt r a = FormatterInt r (a -> r) 00:27:52 type SimpleFormatter a = forall r. SimpleFormatterInt r a 00:28:52 oerjan: any clues? :D 00:30:33 you should have automatically an instance ToFormatter (SimpleFormatterInt r a) r (a -> r). do you want something else? 00:31:12 oerjan: SimpleFormatterInt is just an alias, though. 00:31:23 oerjan: And you can't instance synonyms 00:31:24 :D 00:31:30 i mean you get that from the alias 00:31:33 ah 00:32:11 oerjan: 00:32:15 instance ToFormatter (FormatterInt r a) r a where 00:32:15 instance ToFormatter (FormatterInt r (a -> r)) r (a -> r) where 00:32:24 oerjan: the first is a generlaization of the second 00:32:27 so why is it complaining? 00:34:02 oerjan: :3 00:34:18 are r and t in the error message required to be general? because that instance gives you r = String, t = String -> String i think 00:35:00 oerjan: I dunno. 00:35:05 oerjan: Shall I just show the koed 00:35:43 hpaste? 00:35:53 oerjan: http://hpaste.org/7625 00:36:17 I just added the second-last instance, but it' ag generalization of the previous one 00:36:19 so I'm confused. 00:36:25 err, specification 00:36:38 sure, you shouldn't need it 00:37:19 oerjan: right 00:37:23 it would just give a confusing overlap which only breaks things 00:37:29 oerjan: OK then 00:37:31 I've removed it. 00:37:36 No instance for (ToFormatter (SimpleFormatterInt r a) String t) 00:38:26 oerjan: To be honest. 00:38:31 I just want (format "abc") 00:38:36 To work. 00:38:49 oerjan: So what i'm doing is defining something to get a Formatter out of a String or a Formatter. 00:38:51 As that type-class. 00:38:55 But whatever I'm doing. It isn't working. 00:39:34 \o/ (j/k 00:48:17 * oerjan has more or less convinced himself simpleFmt is well-typed 00:49:23 oerjan: 'tis. 00:49:34 oerjan: are you having a problem with it? :P 00:49:45 oerjan: It's just delimited CPS. JEEZ. 00:51:01 i'm _seriously_ out of training 00:53:01 oerjan: now the real problem is that I _think_ format "a" vs format str is impossible to type properly. 00:53:05 At least, with a type-class. 00:53:16 It's like recursive type-classes and stuff. 00:54:12 oerjan: OK, back to simpler stuff 00:54:12 http://hpaste.org/7627 00:54:20 format (constFmt "a") doesn't work 00:55:15 Oh wait. 00:55:16 Duh. 00:55:25 format (FormatterInt fmt) = fmt id "" 00:55:25 :P 00:55:47 oerjan: Okey. Now I just need ........ FORMAT COMPOSITION 00:57:56 oerjan: 00:57:56 (%) (FormatterInt f) (FormatterInt g) = 00:57:57 FormatterInt (\k r -> f (g k) r) 00:58:00 oerjan: AM I AWESOME OR WHAT 00:58:06 format (str % int) "abc" 2 => "abc2" 00:58:27 format (str % num) "abc" "foo" => No instance for (Num [Char]) 00:58:29 BOOH YAH 00:59:06 indeed 00:59:17 oerjan: so, is CPS awesome or whut 00:59:19 btw you can define operators infix too 00:59:23 and yes 00:59:27 but only if I have a type sig 00:59:29 and I don't, yet. 00:59:37 (%) :: FormatterInt t t1 -> FormatterInt r t -> FormatterInt r t1 00:59:42 couldn't have wrote that out the first time 00:59:42 :P 00:59:44 though 00:59:46 it's obvious in retrospect 00:59:51 huh? 01:00:05 -!- Slereah_ has quit (Read error: 104 (Connection reset by peer)). 01:00:07 FormatterInt f % FormatterInt g = ... 01:00:16 oerjan: yes, but if you just do that out of the blue it won't work. 01:00:21 since it doesn't know % is an infix op 01:00:55 it should. maybe you have to parenthesize the args 01:01:57 ok. 01:02:39 actually testing with Just, it just works 01:02:46 (without parens) 01:03:40 oerjan: 01:03:41 *Main> :t format (str % str % num) 01:03:41 format (str % str % num) :: (Num a) => String -> String -> a -> String 01:03:44 that's the craziest thing. 01:03:48 it actually gives you sane types 01:06:25 oerjan: my formatter is even lazy 01:06:26 :D 01:08:48 oerjan: so any ideas about how to allow: 01:08:50 "a"%"b" 01:08:52 "a"%str 01:08:54 str%"a" 01:08:56 format "a" 01:08:59 ? :P 01:09:13 OH WAIT I MIGHT KNOW. 01:09:14 Let's see. 01:14:57 -!- Corun has quit ("Google did 9/11"). 01:18:16 oerjan: 01:18:17 :1:4: 01:18:17 My brain just exploded. 01:18:17 I can't handle pattern bindings for existentially-quantified constructors. 01:18:19 :DDDD 01:18:29 indeed 01:19:12 you must use match the pattern either in a case or as a function argument 01:19:37 so that the match has a well-defined smaller scope 01:20:00 oerjan: I'm just trying to eliminate that fscking 'r' param 01:20:06 It makes me want to murder babies 01:21:22 oerjan: ok, having problems 01:27:00 -!- jix has quit ("This computer has gone to sleep"). 01:34:23 -!- oerjan has quit ("Good night"). 01:44:50 Bye for today :-) 01:45:13 -!- ehird has quit (Read error: 104 (Connection reset by peer)). 02:50:15 could somebody with an arbitrary-precision calculator calculate (3^40 - 3^0) / 2008 for me? 02:50:28 or just (3^40 - 1) / 2008, obviously 02:50:48 justfuckinggoogleit.com 02:51:52 I've been looking around but most suck and I figured this channel would have good odds of finding somebody with one 02:51:59 whatever, fuck it 02:52:04 erm 02:52:11 I meant use Google as a calculator 02:52:17 Oh, _arbitrary precision_ 02:52:32 yeah, google just gives me scientific notation, same as my calculator 05:08:49 Hi. 05:13:05 hey, pikhq 05:13:11 'sup? 05:19:48 -!- Judofyr has quit (Read error: 110 (Connection timed out)). 05:23:32 * pikhq is done with high school 05:24:05 In fact, to demonstrate that, allow me to show you my high school todo list: 05:24:07 Graduate. 05:35:25 * RodgerTheGreat is already working on his 6th semester in college 05:35:31 woohoo combinatorics 05:36:12 The way my technical electives are going it's looking like I might be able to pick up a math minor. Bask in the keen irony. 05:36:53 * pikhq plans on picking up a math major 05:37:04 Combinatorics. . . Been a while since I've done any of that. ;) 05:38:03 I did a bunch in Algorithms, Cryptography, Discrete Structures and Stats, so a lot of it's a snap 05:38:19 I'm down to three tricky ones left on this homework assignment 05:41:53 RodgerTheGreat: i'm sure the question either implicitly or explicitly prohibits calculators. 05:42:16 you're supposed to find some kind of a residue. 05:42:32 lament: nah, I'm just pretty sure I was taking the wrong approach to that one 05:43:14 RodgerTheGreat: Are you sure you need (3^40 - 1)/2008 evaluated? 05:43:25 (can't you just leave it in that form) 05:43:26 ? 05:43:32 i'd hope it's mod 2008 05:43:47 otherwise it's a really big number 05:44:52 pikhq: as I said, don't worry about it- it was involved in trying to check a result 05:58:30 G'night all 06:00:22 cya 06:17:15 -!- Sgeo has quit (Remote closed the connection). 06:41:33 -!- GreaseMonkey has joined. 06:42:17 -!- Judofyr has joined. 06:50:59 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)). 06:51:37 -!- Judofyr has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:13:20 -!- GreaseMonkey has quit ("Unisex."). 10:42:54 -!- timotiis has joined. 11:14:52 -!- timotiis has quit (Read error: 110 (Connection timed out)). 11:18:21 -!- Iskr has joined. 12:09:12 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)). 12:09:44 -!- Judofyr has joined. 12:26:52 -!- Corun has joined. 14:02:44 -!- ehird has joined. 14:42:53 -!- Tritonio has quit (Read error: 104 (Connection reset by peer)). 15:03:11 OK, I have discovered the weirdest bot on the weirdest channels. 15:03:13 * [Pyrobot] #elfsnuggle @#softsilkyrestrainythingies #elsewhere 15:03:18 * Topic for #elfsnuggle is: Welcome to Elfsnuggle! the snuggly-wuggliest channel ever. 15:03:21 -ChanServ- [#elfsnuggle] Welcome to ElfSnuggle, the snuggly-wuggliest channel on freenode! *huggles from your ops ElfSong and Strapples* 15:03:35 and 15:03:37 the epic final 15:03:37 * Topic for #softsilkyrestrainythingies is: Welcome to #softsilkyrestrainythingies. This channel is for anyone who loves soft silky restrainy thingies, your chat host Strapples (A.K.A Alin0) has CP, sensory integration disorder, PDD-NOS, motor neuron disease-NOS (Codenamed progressive CP) and absolutely loves soft silky restrainy thingies! No rules here! Just dont piss me off. Piss me off and you may be muted. 15:11:29 -!- RedDak has joined. 15:14:04 -!- oklopol has joined. 15:31:16 -!- ehird has quit (Read error: 104 (Connection reset by peer)). 15:32:50 -!- AnMaster has quit ("will be back in a bit"). 15:37:08 -!- ehird has joined. 15:43:35 yay 15:43:38 i got bluecurve working properly 15:43:42 OK, now I just have to get it working with kde 15:53:37 -!- AnMaster has joined. 16:09:21 -!- RedDak has quit (Remote closed the connection). 16:23:55 o 16:24:44 o 16:29:34 oklopol: haskellnomic ROX OR NOT 16:30:34 SHURE DOES MAN 16:30:39 oklopol: :D 16:30:54 :D 16:32:28 oklopol: captcha 16:32:35 'Please enter an expression of type (a -> b): ' 16:32:47 (\x -> x+2) works, undefined works, putStrLn works 16:32:49 21312321 doesn't 16:32:49 :D 16:33:11 cool! 16:33:15 -!- oklopol has changed nick to oklobot. 16:33:23 :D 16:33:25 o 16:34:15 oklobot: o 16:34:36 lol :DD 16:35:10 o 16:35:19 this on guy was once active on our channel for months, all he did was respond to okos randomly 16:35:44 well, sometimes, very rarely, he almost responded coherently to direct questions 16:35:53 *responded almost 16:36:13 *oine 16:36:15 *one 16:36:20 -!- oklobot has changed nick to oklofyug. 16:51:08 -!- oklofok has joined. 16:54:11 -!- RedDak has joined. 16:55:25 oklofok: so would you play haskellnomic 16:55:28 it will be made of luv 16:55:30 and haskell 17:01:24 -!- oklofyug has quit (Read error: 110 (Connection timed out)). 17:02:06 -!- oklofyug has joined. 17:05:01 -!- oklofyug has quit (Read error: 104 (Connection reset by peer)). 17:08:58 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)). 17:09:36 -!- Judofyr has joined. 17:10:28 -!- oklofok has quit (Read error: 110 (Connection timed out)). 17:14:48 -!- sebbu has joined. 17:18:40 -!- kar8nga has joined. 17:22:07 -!- timotiis has joined. 17:35:20 -!- Tritonio has joined. 18:14:11 -!- Judofyr_ has joined. 18:14:21 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)). 18:43:57 OERJAN ARE YOU THERE 18:45:56 -!- RedDak has quit (Remote closed the connection). 18:54:41 -!- sebbu2 has joined. 18:55:01 -!- kar8nga has left (?). 18:57:59 -!- kar8nga has joined. 18:58:49 kar8nga: YOU BE WHOM 18:59:23 you mean who I am? 18:59:59 yes. 19:00:25 mainly: math student 19:01:10 -!- sebbu has quit (Success). 19:01:10 -!- sebbu2 has changed nick to sebbu. 19:01:12 oh, and I like stackbased languages 19:01:20 that's why I'm reading sometimes here 19:01:42 am I now admiited to this illustrous circle? 19:05:43 kar8nga: maybe 19:05:48 you have to sacrifice a few goats first 19:06:05 and, sharpish 19:08:52 and I always thought the initiation consisted of showing a proof of concept for embedding unlambda in bf 19:09:04 but yeah, the goats could be easier, actually 19:11:51 -!- jix has joined. 19:12:11 kar8nga: the goats are actually intercal programs 19:12:15 that eat grass. 19:14:02 -!- Judofyr_ has changed nick to Judofyr. 19:18:38 oh, and I like stackbased languages 19:18:40 lets see 19:18:48 what stack based languages? 19:19:29 kar8nga, I'm working on a fast befunge interpreter in C, befunge is quite stack based, though not exactly only stack based 19:22:34 http://rage.kuonet.org/~anmaster/cfunge/ 19:30:37 interesting 19:31:16 but I will elaborate next week - I gotta pack my bags for my holidays 19:32:53 AnMaster: just got the sources - I have some questions - but that next week 19:33:02 hm? 19:33:11 kar8nga, well next week I may not be around 19:33:24 kar8nga, also see README for how to build without boehm-gc 19:33:30 because it can cause problems sometimes 19:33:44 kar8nga, also how to install is in README 19:33:52 it doesn't use configure, but cmake instead 19:34:02 kar8nga, was that what you wondered? 19:41:05 no 19:41:09 didn't compile yet 19:41:19 just took a look over the code layout 19:41:31 kar8nga, oh? my indent style? or what is the question? 19:41:35 I'm eager to know 19:41:36 but discussion has time :-) 19:41:43 also I may not be reachable next week 19:41:50 kar8nga, so .. 19:49:38 then the week after - or maybe I know it by then 19:49:59 good night everybody (I guess I'm in a bit earlier timezone than you) 19:50:04 -!- kar8nga has quit ("Leaving."). 19:55:56 AnMaster: befunge is not very stack based 19:56:18 to do anything interesting you have to either load FRTH or modify space 19:57:47 Deewiant, hm true 19:58:00 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)). 19:58:11 -!- Judofyr has joined. 20:25:36 -!- timotiis_ has joined. 20:34:10 -!- Sgeo[College] has joined. 20:52:27 -!- timotiis has quit (Read error: 110 (Connection timed out)). 21:34:28 -!- Slereah_ has joined. 21:38:23 -!- oerjan has joined. 22:06:48 -!- BMeph has joined. 22:15:58 Bacq. 22:16:01 oerjan: Hallo. 22:16:08 oerjan: I have Ha skull qs. 22:16:11 * oerjan hides behind a bush 22:16:26 ehird, you have what? 22:16:31 haskell? 22:17:18 oerjan: haha 22:17:38 oerjan: I have two monads - Nomic, which contains an IO (and later a DB layer, etc) - and App, which is CGIT Nomic. 22:18:05 oerjan: decent app structure? Also, Network.FastCGI's runFastCGI takes a CGI CGIResult, as opposed to CGI's runCGI, which takes any CGI monad in IO. 22:18:06 Haskell and Nomic in the same discussion? 22:18:13 I will now go away D: 22:18:29 It means that runCGI works but runFastCGI doesn't, because i use a custom cgi monad. 22:18:30 Slereah_, hahaha 22:18:31 Whutdoido? 22:18:41 ehird, what happened to the smalltalknomic? 22:18:46 I want to know 22:18:50 yeah, i recall FastCGI's unfortunately restricted monad coming up on #haskell 22:18:56 ehird, or your oop for bash? 22:18:58 oerjan: SCGI does it too 22:19:04 AnMaster: Gasp, I can multitask. 22:19:10 oh 22:19:19 ehird, so you didn't give up on them? 22:19:22 :D 22:19:22 AnMaster: No. 22:19:35 Technically I have given up on very few projects. But some of them have been at low priority for years. 22:19:40 But those two won't, because they're not hard. 22:19:51 oerjan: So, is there anything I can actually do? 22:20:13 i vaguely recall someone talking about generalizing FastCGI but i don't know if it has been done, maybe search on hackage? 22:20:38 and also, ask on #haskell proper 22:20:45 oerjan: ah. so nothing I can do outside of the fastcgi package 22:20:56 It seems very odd to me, has nobody used fastcgi out of 'hello world'? 22:21:09 i don't know i haven't used any of this 22:21:27 * oerjan is the king of vaporware, remember? :D 22:21:35 oerjan: hehehe 22:21:44 oerjan: then you'll know what duke nukem forever will be like 22:21:46 is it any good? 22:21:55 AnMaster: are you ever returning to ircnomic? I'm curious. 22:21:59 err, Canada 22:22:18 i don't play any games more violent than FreeCiv 22:22:36 I don't play any game more violent than Postal 2. 22:22:46 But only because I haven't found any so far. 22:23:34 oerjan: freeciv is destroying america 22:23:54 actually i haven't played it much lately either 22:24:19 america has been nuked? 22:26:05 America will soon be a wasteland, oerjan. 22:26:10 OF LIBURALIZM 22:26:20 *dun-dun-duuuun!* 22:27:20 God hates fags. And freeciv. 22:28:06 * oerjan starts inflating his portable troll eater 22:28:49 * oerjan sends it off with the dreadful command 'NIBBLE' 22:28:56 oerjan: eek! 22:29:31 in a couple of weeks, you will be all gone. BWAHAHA! 22:31:43 it can however be retargeted in time if you find an even worse troll to point it at 22:31:51 which should not be that hard 22:33:31 oerjan: Slereah_'s pretty trolly. 22:33:37 He's an ED&chan-character 22:34:44 * oerjan fails at googling that concept 22:34:49 AnMaster: are you ever returning to ircnomic? I'm curious. 22:34:51 depends 22:34:54 don't know 22:35:20 oerjan: freeciv is destroying america 22:35:21 ??? 22:35:24 *blink* 22:35:25 AnMaster: Would your first action be trying to re-add the insensitive rule? :-) 22:35:27 wtf do you mean? 22:35:31 And it was a parody. 22:35:39 god I need to install humour-v1.0 in AnMaster. 22:35:45 ehird, yes of course that would be my first action 22:35:55 AnMaster: Please don't come back then. 22:36:06 ehird, I would time it with ais and sgeo so we did get it through 22:36:07 :P 22:36:09 ehird: Please don't tell people not to come back. 22:36:27 Sgeo[College]: i'll do what i like 22:36:40 AnMaster: ais hasn't exactly been grappling to get it back through 22:36:53 ehird, I believe he would support it though 22:37:03 AnMaster: I bet ABSTAIN. 22:37:10 maybe 22:37:23 ehird, also that wasn't as bad as removing of all the other stuff you did 22:37:23 AnMaster: Any way, coming back and doing so would be in patently bad faith as it'd kill Canada again due to reduced activity due to my non-participation. 22:37:28 It has been going very fast recently. 22:37:31 like "no rules may mention players by their name" 22:37:36 1 AGAINST by ehird, 1 FOR by AnMaster, 1 ABSTAIN by ais523 22:37:42 I'd probably abstain 22:37:53 Sgeo[College]: It wouldn't pass then. 22:37:54 Sgeo[College], damn you 22:38:05 AnMaster: damn him for wanting the game to stay active 22:38:05 :P 22:38:19 ehird: it's just I don't have an opinion 22:38:28 I might be FOR something that just said "case insensitive" 22:38:31 ehird, well also we could promise not to abuse it 22:38:42 AnMaster: Huh? 22:39:04 ehird, we all know you did the mess up with removing the rule from your server 22:39:13 refusing to tcpdump and so on 22:39:17 AnMaster: i didn't. 22:39:28 ehird, proof of that? 22:39:30 I don't have tcpdump on the server, anyway. I checked the next day. 22:39:46 ehird, you can easily install it 22:39:47 :P 22:39:57 anyway both me and ais won't believe you 22:40:09 you know that 22:45:28 * oerjan guesses that this disagreement is about a rule that required reprogramming a server. 22:47:17 -!- Tritonio has quit (Remote closed the connection). 22:48:32 oerjan: nope 22:48:49 AnMaster is just ye olde Writ of FAGEr 22:49:25 ehird, not sure what you mean 22:49:40 he means that you Left in a Huff :) 22:50:01 oerjan, the point is: ehird threw a fit over adding a certain rule, and tried to remove it about once every 15 minutes 22:50:16 AnMaster: no 22:50:18 no I didn't 22:50:26 then he managed to do it when a lot of ppl were sleeping, when it was later readded... well someone started removing it... 22:50:34 oerjan from the server 22:50:35 anyway, I doubt oerjan actually _cares_ about this stupid thing 22:50:37 every few seconds 22:50:44 a few days ago, it was removed democratically 22:50:46 and fairly 22:50:49 and has not caused controversy 22:50:50 end. 22:50:52 oerjan, and everyone knows it was ehird 22:51:05 It wasn't. 22:51:10 * oerjan officially stops caring now. 22:51:19 and then he threw an even larger fit and left in a huff himself 22:51:25 killing his bot and what not 22:51:41 oerjan, so well I left ircnomic because ehird is just creating drama all the time 22:51:42 AnMaster: I must note that you were the one who killed the bot while proposals were going as soon as you left in a huff. 22:51:54 And there hasn't been any drama since you /parted that last time, FWIW. 22:51:56 ehird, I went down for a reboot too 22:52:00 And can we please shut up now. 22:52:13 ehird, it is you who should shut up IMO 22:52:25 ah the joy of relative reality 22:52:36 AnMaster: Waaaaaaah. 22:52:38 oerjan, indeed. everything is subjective 22:53:06 AnMaster: Oerjan stopped caring a few messages ago. You were just flooding, so yes, you should have shut up. 22:53:11 * ehird goes back to #ircnomic 22:54:45 sounds like a bit too fast nomic if you can push through ordinary proposals while people are sleeping 22:55:18 oerjan, agreed 22:55:24 oerjan: any higher quorum and nothing would ever happen 22:55:34 oerjan: proposals only last 15 minutes for example. 22:55:47 oerjan, yes 15 minutes, ought to be a day or so 22:56:00 AnMaster: ircnomic, from the start, was about being fast. 22:56:08 If it lasted a day it would be incredibly boring. 22:56:18 ehird, it would be like agora? 22:56:19 :P 22:56:21 People don't IRC for days at a time, AnMaster. 22:56:26 15 minutes is good. 22:56:45 agreed. so yet timezones cause issues here 22:57:15 whatever 22:57:27 the people there are actually in good faith now so its not a problem 22:57:31 well in that case you should perhaps just accept that the game is going to totally change from each day to the next 22:57:43 oerjan: it doesn't though 22:57:47 because people aren't insane. 22:58:03