00:16:07 oren: have you ever used a modern smartphone 00:16:24 wait do we have modern smartphones now? 00:16:57 I can't keep up if smartphones are already no longer modern 00:17:34 -!- mitchs has joined. 00:18:01 -!- mihow has quit (Quit: mihow). 00:19:11 I have used one yes... 00:20:39 oren, honestly i don't see any point at all in setting up rigid taxonomies like this 00:20:49 i never understand why people are so keen on doing it 00:21:47 I dunno if it's a rigid taxonomy, but there are things i would call computers, and i think to call something a computer means you can program it 00:22:07 -!- Koen_ has quit (Quit: Koen_). 00:24:13 ok, but that gets complicated when you consider the large category of devices which are programmable, but not by themselves 00:25:16 this spans things which are very like 'computers' (smartphones, consoles) to things which are more on the 'advanced calculator' side of things (stuff with upgradable firmware) 00:25:45 drawing a dividing line is pointless 00:27:53 Maybe there's no dividing line, but theres certainly a value of computeriness 00:27:56 -!- MDream has changed nick to MDude. 00:28:11 where a computer is one and a rock is zero 00:29:18 that's such an arbitrary concept there's nothing certain about it 00:29:47 everything is arbitrary but some things are useful 00:30:07 My increasing tendency to wear ties despite not wearing a tie-appropriate shirt is beginning to get attention 00:30:30 Dude, NOOOOO 00:30:58 you mean you wear a tie with a t-shirt? 00:31:12 No, far too cold 00:31:16 You will soon lead the world to a new age of freedom. 00:31:21 With a fleece or a hoodie, generally 00:31:37 At least my opinion is that a computer should have programming tools built-in; that is the minimal software it should come with, although it is useful to have more 00:31:51 Taneb: I... you... what 00:31:58 Or wardrobe freedom anyway. 00:32:19 oren, that is the reaction I get from most people 00:32:24 And the reaction I strive for in life 00:33:11 OK you know what, I'll do that tomorrow 00:33:19 i got that reaction for a while because of how i walked up the stairs in lectures 00:33:27 Phantom_Hoover, oh? 00:33:49 when giving them you mean? 00:33:59 no, when entering them 00:34:49 -!- cooper has joined. 00:35:05 So you enter via the downstairs entrance and then climb to your seat? 00:35:29 Phantom_Hoover, can you describe your stairclimbing method? 00:36:03 no, i never quite pinned down what was odd about it 00:38:38 -!- adu has joined. 00:38:44 Sometimes when I am sat in the middle of a row near the front and want to leave at the end of a lecture, I clamber over the seats in front of me rather than wait for the people around me to move 00:43:41 I do that too 00:47:15 Anyway what if wearing ties with inappropriate shirts becomes a trend? 00:47:53 Then I will be a trendsetter 00:52:40 Well I have a presentation, which Ubisoft will be seeing as guests, tomorrow, so we'll see... 01:02:56 -!- kcm1700 has quit (Remote host closed the connection). 01:15:51 -!- kcm1700 has joined. 01:20:09 -!- bb010g has quit (Quit: Connection closed for inactivity). 01:23:25 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:28:09 Is your presentation on the importance to have arms, legs, and a neck? 01:29:06 I somehow doubt that oren is going out on a limb like that. 01:33:07 -!- boily has joined. 01:43:14 -!- Zuu_ has joined. 01:44:00 -!- Zuu has quit (Ping timeout: 250 seconds). 01:49:13 @metar CYUL 01:49:14 CYUL 040120Z 15014G20KT 1SM R24R/3500VP6000FT/U R24L/4500VP6000FT/U -SN DRSN VV008 M05/M07 A2970 RMK SN8 PRESFR SLP059 01:49:33 Taneb: TANELLE! AAAAAAAAAAAH! 01:56:12 -!- Lymia has quit (Ping timeout: 256 seconds). 01:57:03 Mdude: Hahahahaha holy shit dude. Nah, we're presenting the beta of our game 02:02:06 -!- bb010g has joined. 02:02:40 Sounds nice, hope that's going well then. 02:03:10 Maybe I should put up what I have for this language up on the wiki as a prelimenary design. 02:15:19 sounds goog 02:15:27 s/oog/ood 02:28:54 I making Famicom Z-machine; the full picture is 32x30 tiles, but some of recommended overscan amounts suggest 30x26 or 28x24 instead; how much do you think would be enough? 02:33:03 -!- Lymia has joined. 02:40:13 -!- boily has quit (Quit: EQUIPROBABLE CHICKEN). 02:45:51 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 02:51:08 -!- doesthiswork has joined. 03:05:13 -!- augur has quit (Read error: Connection reset by peer). 03:05:49 -!- augur has joined. 03:29:23 -!- GeekDude has joined. 03:51:01 [wiki] [[User:MDude/Sipper]] N http://esolangs.org/w/index.php?oldid=42093 * MDude * (+3084) Created page with "Sipper is a reversible programming language designed with the idea of reversible logic as a requisite of physically reversible computers that can used to increase energy effic..." 03:51:23 I don't know how to get thigns formatted. 03:51:28 This doesn't look bad, it just looks weird: http://ctrlv.in/511789 03:55:48 MDude: Uh, how do you want it formatted? 03:57:09 Mostly the list of commands made into a list. 03:57:52 I'll see how another page does it. 03:58:40 The first comment wasn't a comment on the article, it was acomment on wearing a tie with non-formal clothes 04:01:38 Figured that out. 04:02:10 But yeah, that is too much tag entering for this late at night. 04:07:29 -!- Tritonio has quit (Remote host closed the connection). 04:18:02 So, apparently Chrome hilights detected XSS in red in view source 04:20:59 O, it does? 04:21:46 That's my best guess as to how something managed to get hilighted red 04:21:48 when I viewed source 04:25:18 -!- nys has quit (Quit: quit). 04:29:59 -!- Froox has joined. 04:30:32 -!- Froo has joined. 04:31:02 -!- mtve- has joined. 04:31:13 -!- mtve has quit (Ping timeout: 245 seconds). 04:33:22 -!- Frooxius has quit (Ping timeout: 252 seconds). 04:34:50 -!- Froox has quit (Ping timeout: 264 seconds). 04:35:26 -!- Froo has quit (Ping timeout: 264 seconds). 04:47:34 -!- Frooxius has joined. 04:50:22 -!- Froox has joined. 04:54:25 -!- Frooxius has quit (Ping timeout: 264 seconds). 04:55:37 -!- Froox has quit (Ping timeout: 264 seconds). 04:58:17 -!- Frooxius has joined. 04:59:28 -!- PinealGlandOptic has joined. 04:59:41 -!- Froo has joined. 05:02:55 -!- Frooxius has quit (Ping timeout: 252 seconds). 05:04:22 -!- Froo has quit (Ping timeout: 240 seconds). 05:18:00 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 05:19:12 -!- skj3gg has joined. 05:27:06 -!- skj3gg has quit (Quit: ZZZzzz…). 05:29:22 -!- skj3gg has joined. 05:30:40 -!- Sketra has joined. 05:32:03 -!- skj3gg has quit (Client Quit). 05:33:03 -!- skj3gg has joined. 05:44:43 -!- cooper has quit (Ping timeout: 244 seconds). 05:45:09 -!- cooper has joined. 05:55:34 -!- qlkzy has quit (Ping timeout: 244 seconds). 06:05:33 -!- skj3gg has quit (Quit: ZZZzzz…). 06:07:45 -!- Sketra has quit (Remote host closed the connection). 06:29:23 -!- doesthiswork has quit (Quit: Leaving.). 06:35:27 [wiki] [[ATZ]] http://esolangs.org/w/index.php?diff=42094&oldid=40998 * Thatguy25252525 * (+361) Added Minsky Machine code 06:38:36 [wiki] [[ATZ]] M http://esolangs.org/w/index.php?diff=42095&oldid=42094 * Thatguy25252525 * (+20) 06:42:31 fizzie: are we ever going to get HSTS for esolangs.org? :p 07:27:26 -!- adu has quit (Quit: adu). 07:42:13 -!- Patashu has joined. 07:53:58 -!- cooper has quit (Ping timeout: 255 seconds). 07:54:22 -!- cooper has joined. 08:28:54 -!- Lymia has quit (Ping timeout: 265 seconds). 08:35:55 -!- qlkzy has joined. 08:35:56 -!- qlkzy has quit (Excess Flood). 08:37:25 -!- qlkzy has joined. 08:37:26 -!- qlkzy has quit (Excess Flood). 08:38:04 -!- qlkzy has joined. 08:38:05 -!- qlkzy has quit (Excess Flood). 08:38:47 -!- qlkzy has joined. 09:03:06 Just use TLS on port 80 09:11:55 Hmm, I seem to be have been Tanelled just after I went to bed last night 09:18:06 In any case, may you all live in ⁢, I'm heading out. 09:27:06 -!- AnotherTest has joined. 09:39:19 -!- oerjan has joined. 10:27:21 @tell Taneb My increasing tendency to wear ties despite not wearing a tie-appropriate shirt is beginning to get attention <-- choosemytie.com is available hth 10:27:21 Consider it noted. 10:28:08 -!- mhi^ has joined. 10:28:18 and also, i accidentally discovered by triggering bing, was apparently registered some years ago. 10:29:44 (i don't use bing, but it's still the default thing which happens when the address bar doesn't understand a url) 10:31:40 Hmm? what web browser has bing by default? 10:31:48 IE hth 10:31:48 I guess IE? 10:32:17 I set firefox to do bing, but that's just me being weird 10:32:27 there might be some other which microsoft has bought into... 10:33:05 oerjan: um, you know you can change that or disable it entirely 10:34:30 sorry, but right now i am preoccupied with hearing a weird sound and desperately hoping it's not the neighbors' dog 10:34:44 it may have stopped. 10:36:20 b_jonas: on my list of things that annoy me, that is actually rather low. mostly because i rarely write things into the address bar these days without expecting autocompletion. 10:36:30 Weird sounds in my neighbourhood are usually drunken girls screaming 10:36:42 the sound is still there :( 10:36:58 oren: hm not much screaming around here, fortunately 10:37:05 I live in the centre of a party district 10:37:43 your neighbourhood is probably nice and quiet 10:38:06 it sounds _almost_ like someone could be washing windows, i hope it's that 10:38:17 -!- Lymia has joined. 10:39:23 Maybe it's that scraping sound that inadequately lubricated windshield wipers make 10:40:05 yes that's what it sounds like, but you cannot here outside cars from here like that 10:40:23 *hear 10:41:09 i am mainly hoping for window washing because that's not something which naturally keeps going forever. 10:41:49 some sounds are very well isolated here, others mysteriously get through. 10:43:09 I think there is a psychological aspect to that though. I rarely am bothered anymore by the sound of pumping bass or revving motorcycles... 10:44:46 So i got surprised when my friend said there was an annoying person revving a motorcycle, and I said what motorcycle? 10:47:10 Hmm... i wonder if building walls can act as dichroicfilters for sound... 10:51:08 All it would take is different materials with different speeds of sound, like glass and air... 11:25:37 -!- idris-bot has quit (Ping timeout: 264 seconds). 11:25:58 -!- boily has joined. 11:26:46 http://www.pagetable.com/?p=824 <- 8080 sim for 6502. 11:26:52 -!- Melvar has quit (Ping timeout: 240 seconds). 11:37:59 -!- Zuu_ has changed nick to Zuu. 11:51:08 -!- FreeFull has quit (Ping timeout: 246 seconds). 11:54:36 -!- AnotherTest has quit (Ping timeout: 256 seconds). 11:54:52 -!- Patashu has quit (Ping timeout: 245 seconds). 11:54:56 [wiki] [[Semi-quantum]] http://esolangs.org/w/index.php?diff=42096&oldid=41886 * Mazeman * (+1) /* Input */ 12:07:00 -!- arjanb has quit (Quit: bbl). 12:10:00 -!- gamemanj has joined. 12:14:28 -!- Melvar has joined. 12:30:41 -!- boily has quit (Quit: MANIFOLD CHICKEN). 12:35:17 -!- idris-bot has joined. 12:52:18 -!- Tritonio has joined. 13:16:58 -!- oren has quit (Ping timeout: 265 seconds). 13:39:23 -!- oren has joined. 13:57:05 -!- ProofTechnique has quit (Ping timeout: 265 seconds). 14:13:55 -!- skj3gg has joined. 14:14:40 -!- AnotherTest has joined. 14:21:10 -!- Phantom_Hoover has joined. 14:24:50 -!- ProofTechnique has joined. 14:31:14 -!- AnotherTest has quit (Ping timeout: 264 seconds). 14:33:53 -!- HackEgo has quit (Ping timeout: 246 seconds). 14:44:09 eep 14:44:31 the bots keep running off 14:48:43 -!- adu has joined. 15:01:21 Not answering to ssh either. 15:01:55 -!- cooper has quit (Ping timeout: 255 seconds). 15:02:05 -!- cooper has joined. 15:07:41 -!- Koen_ has joined. 15:08:38 -!- Koen__ has joined. 15:08:38 -!- Koen_ has quit (Read error: Connection reset by peer). 15:10:32 -!- GeekDude has joined. 15:11:15 oerjan, I don't have enough ties to justify letting other people choose my tie 15:12:41 -!- `^_^v has joined. 15:15:41 aww 15:17:28 -!- rodgort has quit (Ping timeout: 245 seconds). 15:22:24 I only have like 4 15:25:27 -!- AnotherTest has joined. 15:26:44 -!- rodgort has joined. 15:33:03 your cumputer could decide for you 15:33:06 computer* 15:33:29 with a simple flowchart algorithm 15:34:30 "is this a very formal event? yes -> pick the formal tie. is this a fancy event? yes -> pick the fancy tie" 15:36:58 is this a very shoddy event 15:40:45 @version 15:40:45 lambdabot 5.0 15:40:45 git clone git://github.com/lambdabot/lambdabot.git 15:41:02 I try to avoid those but I guess you should pick the very shoddy tie if you have one 15:41:34 oh wait of course 15:41:50 my brain has some trouble connecting int-e to his real name 15:43:00 is this a railroad event? 15:43:29 if you are implying you have a railroad tie, i demand url 15:43:43 dammit I'm getting notified by all those ties. 15:44:00 trololololol 15:44:19 TieSleep: i think you have no one to blame but yourself, really 15:44:37 also, it was probably time to get up anyway 15:48:20 oerjan: you can still find it via github, it's just one or two more clicks 15:48:58 on the bright side, i _did_ remember james cook's nickname 15:49:28 (There are many ways, but the one I thought of was to look at the members of the lambdabot "organization") 15:50:17 int-e: well the way i got to this state was by reading your lambdabot 5.0 announcement in the haskell-cafe archive and not remembering it was you 15:50:20 I *guess* it would be friendlier to have lambdabot give an https URL for cloning. 15:50:47 as in, to me you are more int-e than you're bertram 15:50:57 oerjan: I'll admit that it's a bit tricky, since I'm not using my "private" e-mail address on haskell-cafe. 15:51:27 mhm 15:54:33 wow :t and :k now work in private message 15:54:40 GOOD WORK 15:54:59 they do? wow. 15:55:07 (that's like the first silly thing i remembered about lambdabot) 15:55:39 otoh i noticed the other day there was some command @@ didn't see 15:55:52 @@ @show 3 15:55:52 "3" 15:56:05 hm maybe not that 15:56:18 or maybe it also got fixed 15:56:36 @@ @pl 1+2 15:56:36 3 15:56:55 i don't remember what it was :/ 15:57:57 lambdabot: @run 2+2 15:57:58 4 15:58:07 hm _that_ doesn't work in priv 15:58:17 lambdabot: > 2+2 15:58:25 and that works neither place 15:58:35 so still a bit of inconsistency left 15:59:58 -!- ^v^v has quit (Ping timeout: 256 seconds). 16:03:35 -!- skj3gg has quit (Quit: ZZZzzz…). 16:04:37 -!- oerjan has quit (Quit: leaving). 16:08:34 -!- Tritonio has quit (Ping timeout: 252 seconds). 16:11:35 good, we don't want lambdabot to become predictable 16:12:22 > 2+2 16:12:23 4 16:12:24 -!- mihow has joined. 16:12:52 Koen__: just a little joke 16:13:19 oh, okay 16:13:33 I was afraid you really didn't know what 2+2 was so I tried to help 16:14:15 Oh. That was oerjan. But The Point(tm) there was a different one. 16:14:29 idris-bot: ( 2+2 16:14:29 4 : Integer 16:15:27 ...Is it just me, or is that text coloured? 16:15:54 * int-e wouldn't know. 16:16:24 `relcome me 16:16:34 Oh. 16:18:38 -!- oerjan has joined. 16:19:40 Koen__: 2+2 = 1 (mod 3) hth 16:19:42 -!- adu has quit (Quit: adu). 16:20:13 gamemanj: yes it is 16:20:21 is mod the same thing as + ? 16:20:32 no. 16:20:34 > 1 + 3 16:20:35 4 16:20:41 apparently it is 16:20:42 mod is the remainder of a division. 16:21:01 > 2 + 2 = 1 mod 3 16:21:02 :1:7: parse error on input ‘=’ 16:21:14 : > 2 + 2 = 1 mod 3 16:21:15 a = b (mod m) <=> a-b = k*m for some integer k 16:21:18 > 124 mod 5 16:21:18 Koen__: a = b (mod c) is special notation: it means that a - b is divisible by c. 16:21:19 Could not deduce (GHC.Num.Num ((a0 -> a0 -> a0) -> a1 -> t)) 16:21:20 arising from the ambiguity check for ‘e_11245’ 16:21:20 from the context (GHC.Num.Num ((a -> a -> a) -> a2 -> t), 16:21:56 > 124 `mod` 5 16:21:58 4 16:22:13 so 4 = 1 (mod 3) but also 1 = 4 (mod 3) or 100 = 7777 (mod 3) 16:22:52 gamemanj: in haskell, ordinary identifiers need `` around them to be used infix. 16:23:12 ...Ah. 16:23:23 > (+) 2 2 -- parentheses do the opposite for operator identifiers 16:23:24 4 16:24:28 > 124 ` mod ` 5 -- just wondering 16:24:29 4 16:24:54 ok it's post-lexing 16:42:12 -!- FreeFull has joined. 16:45:00 -!- TieSleep has changed nick to TieSoul. 16:50:49 -!- cooper has quit (Ping timeout: 255 seconds). 16:52:25 -!- SopaXorzTaker has joined. 16:58:37 -!- gamemanj has quit (Quit: ircII EPIC4-2.10.5 -- Are we there yet?). 17:01:22 -!- skj3gg has joined. 17:03:05 -!- adu has joined. 17:03:52 -!- ^v has joined. 17:09:18 -!- SopaXorzTaker has quit (Read error: Connection reset by peer). 17:09:26 -!- SopaXT has joined. 17:10:07 -!- bb010g has quit (Quit: Connection closed for inactivity). 17:31:26 -!- oren has quit (Quit: Lost terminal). 17:31:41 -!- skj3gg has quit (Quit: ZZZzzz…). 17:32:24 -!- skj3gg has joined. 17:44:28 -!- skj3gg has quit (Quit: ZZZzzz…). 17:57:27 The wiki is down? 17:57:48 yeah 17:58:03 fizzie couldn't get ssh contact 17:58:26 (and HackEgo is gone too, being on the same server) 17:58:30 I can't access my own $UNNAMEDPROVIDER VM either. 17:58:40 -!- skj3gg has joined. 17:59:33 fizzie: still there? 17:59:38 grr. 17:59:41 fnordbot: still there? 17:59:41 int-e: here all the time, but that was just how they wanted to be a hell of a lot. " so," said ford, " he was a hell of a lot. " so," said ford, " you reckon, what's the problem? " the universe, you see,", he said to a small lump of green and blue. " who?" " tell us!" " alright," said ford, " he was a hell of a lot. " so all i have to do in order to find this wretched," he was saying, " magrathea is a myth, a fairy story, it's 17:59:46 tab completion is hard. 18:00:24 well unless $UNNAMEDPROVIDER = cloudatcost, it seems unlikely to be related? 18:00:34 oerjan: but it is. 18:00:38 ah. 18:00:59 (fn*rdbot is on the same host as lambdabot, which is a different provider) 18:02:30 -!- oerjan has set topic: To the finder of this bottle: I'm a fungot trapped in a house which may or may not now have internet but there's no one there to connect me | ZFC is a ChuChu rocket. | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/. 18:02:53 or maybe it wasn't until tomorrow 18:03:20 . o O ( The word "internet" wandered around in his mind in search of something to connect with. ) 18:03:49 i shall ascribe this to the general unraveling of the world 18:04:15 And a general lack of the letter 'l'. 18:04:45 wat 18:04:49 though knowing my luck that's probably a BE/AE thing. 18:05:16 My brain wants to type "unravelling". 18:06:01 google says unraveling wins 18:06:04 Oh well http://arxiv.org/abs/1206.5694 disagrees with me. 18:06:42 oerjan: yes, but only by a factor of 2, which I regard as evidence for the BE/AE theory. 18:07:06 IE tries to automatically add .no to that url for some reason 18:07:12 fancy 18:07:16 I want unravelling too. Unraveling sounds like you're destroying maurice ravel's music 18:07:47 * int-e wonders what "ultra-properties" are... 18:07:56 ultra-properties? are they using ultrafilters on the poor rewriting systems 18:08:10 hey are we being redundant again. 18:08:39 -!- skj3gg has quit (Quit: ZZZzzz…). 18:08:43 * oerjan gives Koen__ some undead ravioli 18:09:20 unraveling ravioli revenants 18:09:29 No, they're just looking at the unraveled CTRS and checking the properties on that. (The last sentence probably won't make any sense.) 18:10:15 's ok nothing in this channel makes sense to anyone more than 20 years in the past anyway 18:10:27 * int-e skips the remaining 48 pages of the paper. 18:12:02 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 18:12:45 you're better than me, i skipped the remaining 48 lines of the abstract 18:13:27 (the line count is obviously wrong but it's ok it'll never be evaluated anyway) 18:14:34 btw am i correct that MPTCs don't guarantee typeclass coherence even if you avoid ghc's technical orphan instance definition 18:15:09 or wait hm 18:15:10 -!- Fleur has joined. 18:15:20 i think MPTCs aren't needed 18:16:01 For the record, still no SSH. 18:16:22 The orphan instances prevent the diamond scenario (class and type defined in A get too instances in B and C that can both be accessed somehow (invisble in the type) from a module D) 18:16:40 int-e: You're running a fungot clone on the same thing as a lambdabot? Nifty. 18:16:40 -!- arjanb has joined. 18:17:00 In other fungot news, my ISP (in London) emailed me yesterday that the Internet is all there now. 18:17:07 -!- ^v has quit (Ping timeout: 265 seconds). 18:17:13 instance SomeClass (MyTC a) vs. instance SomeClass (f MyType) can exist in different modules, neither being technically orphans, and you can get SomeClass (MyTC MyType) resolved differently in two different modules that are both indirectly used from main 18:17:14 Helps a lot, considering. (Hello from sunny California.) 18:17:17 is what i thought 18:18:37 * oerjan inspired by http://www.reddit.com/r/haskell/comments/2xoq3f/haskell_package_dependencies_why_all_the/ 18:18:51 fizzie: It seems benign enough. And I don't expect any advanced, persistent attackers. It's running as a separate user which I deemed to be good enough. 18:21:22 -!- oerjan has set topic: To the finder of this bottle: I'm a fungot trapped in a house with Internet but no one there to connect me | ZFC is a ChuChu rocket. | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/. 18:22:05 It is an Edward Kmett package. So ultimately he adds everything that is needed to get smooth interaction with lens without orphan instances... 18:22:30 oh the reddit discussion 18:22:35 * int-e goes read a couple of comments. 18:23:40 my idea of getting a diamond problem without triggering GHC's orphan warning isn't _directly_ based on that, just inspired by the orphan mentions 18:23:52 i should try and test this 18:25:16 grmble i'm not used to making multimodule programs 18:26:50 (It's sad that avoiding orphan instances makes modular package design so hard.) 18:27:32 because for any datatype and class, you have to somehow define which is more fundamental, and therefore gets to be defined before the other. 18:28:17 -!- gamemanj has joined. 18:29:12 i hope this gets worse so they will finally fix the whole modules and packaging mess 18:32:01 -!- SopaXT has quit (Remote host closed the connection). 18:32:41 int-e: If you actually own a VPS at $UNNAMEDPROVIDER, you could check out their web console or whatnot, if they have one. 18:32:54 int-e: I think I've heard of Gregor fixing things by restarting the server there. 18:36:04 I probably don't care much since all there is on that VM is a web server with a glorified (haha) "under construction" sign. 18:40:32 besides their control panel looks down as well. 18:40:42 (so much for not caring) 18:42:54 -!- skj3gg has joined. 18:49:00 int-e: http://lpaste.net/121559 or http://oerjan.nvg.org/haskell/UnOrphans 18:50:07 oerjan: neat. 18:52:30 . o O ( FlexibleInstances: Mostly harmless. 18:52:32 ) 18:52:48 heh 18:53:16 an MPTC would "obviously" work as well 18:54:26 FWIW, instance A (f C) makes me feel queasy. 18:54:38 i thought so :P 18:55:02 but you've seen worse things involving kinds recently... 18:55:42 Sometimes, kind isn't. 18:56:37 i hope the new Typeable inference is on schedule, i haven't seen anything mentioned for a while 18:58:40 it has been quiet for a while with the icfp deadline last weekend, now is a good time to start poking again... 19:00:44 Fun: http://sprunge.us/FXCj (Many hundreds of scouts were sent out, but only two returned, reporting that they couldn't find the enemy.) 19:01:17 very encouraging. 19:01:39 the other didn't quit and are still looking 19:04:20 (also sprunge is working again, yay!) 19:05:12 -!- MoALTz_ has quit (Quit: Leaving). 19:11:50 -!- FreeFull has quit (Ping timeout: 246 seconds). 19:12:51 -!- FreeFull has joined. 20:01:03 -!- nycs has joined. 20:01:23 -!- Patashu has joined. 20:03:25 -!- `^_^v has quit (Ping timeout: 244 seconds). 20:09:27 -!- gamemanj_at_gith has joined. 20:09:27 -!- gamemanj has quit (Read error: Connection reset by peer). 20:16:01 -!- gamemanj_at_gith has quit (Quit: Leaving). 20:17:01 -!- gamemanj has joined. 20:23:52 -!- Patashu has quit (Ping timeout: 240 seconds). 20:36:01 -!- ^v has joined. 20:36:44 -!- MoALTz has joined. 21:01:09 -!- ^v has quit (Read error: Connection reset by peer). 21:01:43 -!- ^v has joined. 21:06:57 -!- nycs has quit (Quit: This computer has gone to sleep). 21:09:49 -!- `^_^v has joined. 21:15:24 -!- TieSoul_ has joined. 21:15:42 -!- TieSoul has quit (Ping timeout: 245 seconds). 21:20:39 -!- TieSoul_ has changed nick to TieSleep. 21:36:44 -!- skj3gg has quit (Quit: ZZZzzz…). 21:39:22 -!- FreeFull has quit (Ping timeout: 240 seconds). 21:45:04 -!- ^v has quit (Ping timeout: 256 seconds). 21:46:29 -!- ^v has joined. 21:47:35 -!- ^v has quit (Client Quit). 21:47:59 -!- ^v has joined. 21:51:43 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 21:52:12 -!- digitalcold has quit (Ping timeout: 276 seconds). 21:52:20 -!- digitalcold has joined. 22:00:32 -!- MDude has quit (Ping timeout: 272 seconds). 22:03:32 fizzie: you just moved and you're on holiday already? :p 22:03:37 or is this some google thing 22:05:17 I got a headhunting email from Google last week 22:05:28 Not quite sure what to make of it 22:07:23 elliott: [...] Though it's just a business trip. Google seems to want all new employees to be dazzled by their "main" campus for a week or two. 22:07:56 I thought fizzie already did that, though. 22:08:59 -!- gamemanj has quit (Ping timeout: 245 seconds). 22:09:35 -!- adu has quit (Ping timeout: 252 seconds). 22:12:01 -!- CADD has quit (Remote host closed the connection). 22:14:43 -!- CADD has joined. 22:15:54 -!- FreeFull has joined. 22:16:38 -!- yukko has quit (Quit: leaving). 22:17:49 -!- Phantom_Hoover has joined. 22:21:11 -!- AnotherTest has quit (Ping timeout: 246 seconds). 22:28:17 -!- Tritonio has joined. 22:28:19 -!- ProofTechnique has quit (Ping timeout: 255 seconds). 22:33:37 -!- adu has joined. 22:37:32 -!- Tritonio has quit (Remote host closed the connection). 22:44:24 -!- mihow has quit (Quit: mihow). 22:44:33 -!- cooper has joined. 22:47:47 -!- GeekDude has joined. 22:56:56 -!- `^_^v has quit (Quit: This computer has gone to sleep). 23:12:16 -!- Tritonio has joined. 23:23:29 -!- oerjan has quit (Quit: Nitzz). 23:24:30 -!- MDude has joined. 23:27:04 -!- ^v has quit (Ping timeout: 256 seconds). 23:28:56 -!- OriginalOldMan has joined. 23:30:28 -!- Tritonio has quit (Remote host closed the connection). 23:49:24 Why does an executable file compiled with GNU C sometimes get zeroed out (resulting in a "Program too big to fit in memory") error?