00:13:47 -!- kasia13 has joined. 00:14:13 -!- kasia13 has changed nick to haggy. 00:14:40 oerjan: how did I end up in a channel that has oerjan in the name? 00:16:17 how should i know 00:23:52 It's definitely connected to you, or someone trying to make victims think it's connected to you 00:24:08 It's #!oerjan@sprocket.nvg.ntnu.no 00:24:34 And I have not the faintest idea why or how it exists or I landed there 00:25:08 did it happen when you joined some other channel? 00:26:06 It... may have? I don't know, it happened when I opened my IRC client 00:26:11 Or some time after 00:26:46 Actually, seems like some time before, like I was logging, but didn't realize I was there before 00:27:15 Sgeo: can you check if you are banned in some channel you usually join? 00:27:37 also given the timing, i have one possible suspect. 00:27:43 -!- ChanServ has set channel mode: +o oerjan. 00:28:07 #acehack but that's been like that for a while 00:28:07 -!- oerjan has set channel mode: -b *!*siruf@unaffiliated/motley$##fix_your_connection. 00:28:08 -!- ChanServ has set channel mode: +o elliott_. 00:28:13 -!- elliott_ has set channel mode: +b haggy!*@*. 00:28:16 -!- elliott_ has kicked haggy ban evasion. 00:28:21 -!- elliott_ has set channel mode: +b *!*perdito@*. 00:28:31 -!- elliott_ has set channel mode: +b $a:perdito. 00:29:15 Hmm, might be others tht I'm not sure if I attempt to autojoin 00:29:23 oerjan: thank you for opping to make me notice that. 00:29:26 -!- elliott_ has set channel mode: -o elliott_. 00:29:33 YOU'RE WELCOME 00:29:52 Don't see anything else banny in Freenode 00:29:57 The server tab 00:33:27 -!- oerjan has set channel mode: -o oerjan. 00:34:11 Sgeo: are you on any channel on which sirus has ops? 00:34:25 I don't know who sirus is 00:34:39 someone i banned yesterday 00:34:45 because they kept quitjoining 00:34:49 Then again, I barely know who's in most of the channels 00:35:08 siruf is in #elixir-lang 00:35:12 Which I'm in 00:35:48 hm that only has a single ban 00:35:56 which is not relevant. 00:36:14 oh wait siruf 00:36:26 siruf is who you unbanned just before 00:36:29 -!- w00tles has joined. 00:36:48 if you have server window logs they will probably contain the answer. 00:36:51 yes, i somehow mistyped it everywhere else 00:37:01 If it helps, Ienpw_III was there too 00:37:40 Sgeo: well elliott_ is right, look in your logs to see what messages happened before you entered the channel 00:38:56 Don't see oerjan in the server logs anywhere except when I did the whois 00:39:14 well you must have entered the channel at one point. 00:39:26 I don't think Quassel lists that in the server window 00:39:44 [19:57:08] * Channel #!oerjan@sprocket.nvg.ntnu.no created on 2014-03-10 22:21:18 UTC 00:39:52 and it's not messages with "oerjan" that are interesting, it's what other channels your client was _trying_ to join when it happened. 00:39:53 I have logs from 3/10 in there 00:40:01 ah. 00:40:40 -!- trn has quit (Ping timeout: 265 seconds). 00:41:00 of course it's also possible you joined it through some hilarious mistyping :P 00:41:21 Seems like somehow it's related to ##nomic 00:41:28 Another ##nomic user in there, you're in there 00:41:29 well i guess siruf is in the clear, then, the channel happened before. 00:41:55 doesn't have much ban there either. 00:42:00 maybe it was an invite? 00:42:28 Hmm... do I autojoin invites? 00:42:37 Someone invite me somewhere? 00:43:14 i'm nowhere else, so don't ask me 00:43:27 well except ##nomic where i don't have ops 00:43:41 -!- Sgeoweb has joined. 00:43:57 -!- trn has joined. 00:44:51 The invite ends up in the server tab, not forced. Can invites be forced? 00:45:29 sounds unlikely 00:45:39 -!- conehead has quit (Quit: Computer has gone to sleep.). 00:45:44 but channel forwards are, of course 00:45:49 -!- Sgeoweb has quit (Client Quit). 00:46:01 whether through bans or otherwise. 00:46:21 well unless there's an option not to, could be 00:46:57 I'm automatically forwarded to #nethack4 every day, but that's not atypical 00:47:10 it's a mystery 00:49:12 -!- conehead has joined. 00:50:20 -!- iamcal____ has quit (Ping timeout: 265 seconds). 00:50:23 -!- Phantom_Hoover has joined. 00:50:30 -!- iamcal____ has joined. 00:50:31 * Channel #!oerjan@sprocket.nvg.ntnu.no created on 2014-03-10 22:21:18 UTC 00:50:35 Is the exact timestamp 00:50:54 that's not what i saw when i joined 00:51:26 maybe something went horribly wrong during a netsplit 00:52:16 -!- pikhq has quit (Ping timeout: 265 seconds). 00:52:48 -!- pikhq has joined. 00:52:51 -!- yorick has quit (Remote host closed the connection). 00:52:57 -!- idris-ircslave has quit (Ping timeout: 264 seconds). 00:53:08 nothing interesting happened in #esoteric at that time, fwiw. you joined nearly an hour later. 00:54:56 -!- sn0wboard has joined. 00:55:55 Sgeo: if you have #esoteric on autojoin, it seems unlikely that you would have joined that channel at the time it was created but not #esoteric? 00:56:27 [19:57:08] --> Sgeo (~quassel@ool-44c2df0c.dyn.optonline.net) has joined #!oerjan@sprocket.nvg.ntnu.no 00:56:27 [19:57:08] *** Mode #!oerjan@sprocket.nvg.ntnu.no +ns by dickson.freenode.net 00:56:27 [19:57:08] * Channel #!oerjan@sprocket.nvg.ntnu.no created on 2014-03-10 22:21:18 UTC 00:56:28 -!- tromp_ has joined. 00:56:43 Ienpw_III may have been there before me 00:57:12 what timezone is that 19:57 00:58:43 EDT (near daylight savings border though, mayve) 00:59:23 `date 19:57 EDT 00:59:24 date: invalid date `19:57 EDT' 00:59:29 WHATEVER 00:59:49 stupid americans think people understand letter codes 00:59:49 `date 19:57 EST 00:59:49 date: invalid date `19:57 EST' 01:00:40 -!- w00tles has quit (Quit: quit). 01:00:42 hm 15:57 UTC 01:00:52 Sgeo: um was this on the 10th? 01:01:07 oh wait 01:01:19 23:57 01:01:46 `date 20:00 PDT 01:01:46 date: invalid date `20:00 PDT' 01:02:04 `date 8pm PDT 01:02:04 date: invalid date `8pm PDT' 01:02:53 sn0wboard: i vaguely suspect it's complaining that it's not containing, like, a _date_. 01:03:36 you need to know where it's 20:00 now? 01:03:38 or when? 01:03:51 Sgeo: well if that was on the 10th then it was nearly 40 minutes _after_ you joined. 01:04:27 sn0wboard: no, i am trying to find out where those times Sgeo are referring to are in the #esoteric logs, although i'm not sure we're even on the same date. 01:04:39 okay 01:05:16 Sgeo: was that 19:57 on the 10th or today? 01:05:52 because i am, as should be obvious, trying to find out if anything interesting happened at the point in time when you _first_ entered the channel. 01:06:11 and getting slightly impatient in the process. 01:07:55 The 10th 01:08:09 i should definitely never go into tech support, i'd be a serial killer in days. 01:08:42 23:57:42: I remember you talking about Smalltalk inspiring Feather 01:09:01 that's the only thing in the #esoteric logs at that minute 01:09:59 hmph i was there at the time but i don't keep ##nomic logs 01:10:07 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 01:10:17 oh well. the mystery remains. 01:12:08 Nothing interesting there at least as far as I can see 01:14:43 seems you guys are bored.. though that impression could be deceiving as well 01:15:17 sn0wboard: well you didn't catch the beginning of the mystery 01:15:25 true fact 01:16:00 apparently Sgeo somehow found himself in a channel named #!oerjan@sprocket.nvg.ntnu.no and we have no idea why 01:16:12 i certainly didn't make it. i think. 01:16:37 oh.. 01:16:46 ..hell! 01:18:10 see! when knowledge increase wonder deepens 01:18:40 welly well..didn't mean to disturb drwatson 01:18:42 woah dude 01:19:34 don't have any more ideas really. i took a look at the raw #esoteric channel logs, nothing there either. 01:34:07 -!- Phantom_Hoover has joined. 01:37:38 00:13:47 -!- kasia13 [~perdito@46.114.2.144] has joined #esoteric 01:37:40 00:54:56 -!- sn0wboard [~sn0wboard@46.115.69.54] has joined #esoteric 01:37:47 sn0wboard: why are you ban evading? 01:48:08 -!- sebbu has quit (Ping timeout: 252 seconds). 01:53:09 -!- ChanServ has set channel mode: +o elliott_. 01:54:04 -!- elliott_ has set channel mode: +b *!*sn0wboard@*. 01:54:23 -!- elliott_ has kicked sn0wboard you have carefully ensured you are never going to get unbanned, please go away forever. 01:55:40 tragic. 01:55:50 is there any easy way to query all IP blocks owned by a certain ISP? 01:55:56 I'd like to ban his temporarily. 01:56:08 or at least a certain AS thingy 01:56:42 AS? 01:57:35 http://en.wikipedia.org/wiki/Autonomous_system_(Internet) I assume 01:59:48 whatever, I'll just ban him the next time too. 01:59:50 -!- elliott_ has set channel mode: -o elliott_. 01:59:54 idiot. 02:00:05 no idea what he's getting out of this. 02:01:10 -!- tromp_ has quit (Remote host closed the connection). 02:01:45 -!- tromp_ has joined. 02:06:31 -!- tromp_ has quit (Ping timeout: 264 seconds). 02:06:31 -!- Slereahphone has quit (Ping timeout: 264 seconds). 02:06:36 -!- vravn has quit (Quit: vravn goes). 02:17:29 -!- oerjan has quit (Quit: Good night). 02:27:55 -!- shikhout has joined. 02:27:58 -!- tertu has joined. 02:31:03 kmc: do you hate html yet? 02:31:07 -!- shikhin has quit (Ping timeout: 264 seconds). 02:31:09 -!- shikhout has changed nick to shikhin. 02:31:13 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 02:32:36 shrug 02:59:16 kmc: what do you think about Idris (if I haven't asked already)? 03:10:09 -!- tertu has quit (Quit: No Ping reply in 180 seconds.). 03:10:10 -!- tertu_ has joined. 03:13:08 -!- tromp_ has joined. 03:22:04 sounds cool, haven't had time to learn it 03:22:21 if I learn a new language for fun in the near future, it'd probably be Idris 03:23:48 -!- luserdroog has joined. 03:24:14 Lukasiewicz Logic Interpreter in PS. https://gist.github.com/luser-dr00g/9519896 03:24:57 -!- nisstyre has joined. 03:25:39 Lukasiewicz appears to be the "root" of all algebraic computation on computers. 03:27:45 you know, many plants in fact have multiple roots 03:30:28 Hm. you're right. Banyan trees, for one. 03:31:06 the 1962 APL book describes multiply-rooted tree also. 03:33:45 by the way, new sort algorithm! has applications to security or some shit http://arxiv.org/abs/1403.2777 03:39:38 I'm reading nearby http://arxiv.org/pdf/1309.7584.pdf 03:46:09 -!- sebbu has joined. 03:46:45 -!- sebbu has quit (Changing host). 03:46:45 -!- sebbu has joined. 03:51:15 -!- tromp_ has quit (Remote host closed the connection). 03:51:50 -!- tromp_ has joined. 03:55:13 -!- luserdroog has quit (Ping timeout: 245 seconds). 03:56:19 -!- tromp_ has quit (Ping timeout: 264 seconds). 04:04:17 -!- luserdroog has joined. 04:05:58 Trying to figure out if I need to be too concerned about salt intake 04:06:05 Different groups disagree 04:06:08 * Sgeo sighs 04:06:39 At least I'm pretty sure with, e.g. gluten, that there's no actual concern for people who don't specifically have gluten issues 04:06:42 i haven't seen these groups and i have no serious reason to believe they're disagreeing. ount me in on the agreement side 04:07:48 -!- CADD_ has joined. 04:07:56 Sgeo, i imagine there are quite a few things to worry about before salt 04:08:06 including gluten, which is almost always bad 04:08:17 or what if it's a salt of radium? 04:08:28 Bike: http://healthland.time.com/2012/11/05/why-even-healthy-people-should-watch-their-salt-intake/ American Heart Association, US Department of Agriculture 04:08:35 it could happen, people 04:09:53 Sgeo: looks like both are recommending less salt. 04:19:22 Salt figures prominently in Lovecraft's resurrection stories. 04:20:01 -!- Sgeo has quit (Ping timeout: 240 seconds). 04:32:28 -!- Bike has quit (Quit: leaving). 04:44:58 -!- nisstyre_ has joined. 04:45:23 -!- nisstyre has quit (Ping timeout: 246 seconds). 05:19:31 -!- Sgeo has joined. 05:29:37 -!- Sgeo has quit (Ping timeout: 240 seconds). 05:33:47 -!- Sgeo has joined. 05:41:55 -!- tertu_ has quit (Ping timeout: 264 seconds). 06:01:00 -!- atslash has joined. 06:01:19 -!- ^v has quit (Quit: Leaving). 06:11:29 -!- Sprocklem has quit (Ping timeout: 240 seconds). 06:25:39 -!- w00tles has joined. 06:26:15 -!- w00tles has quit (Client Quit). 06:28:36 -!- lexande has joined. 06:44:41 -!- MindlessDrone has joined. 06:46:22 -!- Slereahphone has joined. 06:50:06 -!- Slereahphone has quit (Remote host closed the connection). 06:51:58 -!- Slereahphone has joined. 07:20:57 -!- FreeFull has quit. 07:29:32 -!- chaiomanot has quit (Ping timeout: 246 seconds). 07:48:47 -!- conehead has quit (Quit: Computer has gone to sleep.). 07:52:15 -!- Slereahphone has quit (Remote host closed the connection). 07:53:15 -!- Slereahphone has joined. 08:11:13 -!- nisstyre_ has quit (Ping timeout: 240 seconds). 08:17:35 -!- Sellyme has quit (Excess Flood). 08:17:54 -!- Sellyme has joined. 08:26:57 -!- shikhin has quit (Read error: Connection reset by peer). 08:27:51 -!- shikhin has joined. 08:44:15 -!- Sgeo_ has joined. 08:47:37 -!- Sgeo has quit (Ping timeout: 240 seconds). 08:52:35 -!- Qwerty20140313 has joined. 08:55:20 -!- Qwerty20140313 has left. 09:06:31 -!- MoALTz has joined. 09:16:42 -!- password2 has joined. 09:22:01 -!- Phantom_Hoover has joined. 09:43:12 So instead of journals telling us about cool new algorithms, we now have irc (peer review sold separately) 09:48:24 -!- Bike has joined. 09:56:58 -!- Froo has quit (Quit: *bubbles away*). 09:57:13 -!- Frooxius has joined. 10:00:36 the world would be a much better place if peer review was sold separately 10:00:47 imo 10:03:00 sold? 10:03:18 as in, you buy a journal and pay extra for it to be peer reviewed 10:06:09 i hear the new thing is post-publication review, anyway 10:09:01 At the moment, peer reviewers pay for peer review. 10:10:21 -!- boily has joined. 10:11:31 @massages-loud 10:11:31 You don't have any messages 10:11:52 Huh, I received an email which, according to the headers, was sent 12 hours ago. 10:17:16 perfectly normal. that just means you are from yesterday. 10:19:28 @localtime Jafet 10:21:15 @cloacaltime 10:23:21 ... 10:23:45 I think it's prime time to dust my mapole. haven't had a good occasion to use it lately... 10:24:13 * boily makes a few practice swings, then *THWACKS* Jafet happily ^^ 10:27:03 When you mapole someone hard enough, they ooze mapole syrup. 10:36:19 Bike: “Using this construction results in a running time for Zig-zag Sort of 19600 n log n, in terms of compare-exchange operations.” 10:40:09 Expander graphs aer cool, they hide in big-O and doesn't afraid of anything 10:42:21 fungot: stop contaminating people. Jafet sounds like you. 10:42:21 boily: holy water by boiling the hell out of spain. one of a breakthrough. somehow the killing of the gods, by terry pratchett) 10:42:39 oh, so that's how they make holy water! 10:43:31 `` echo 'Holy water is water made by boiling the hell out of Spain.' >wisdom/'holy water' 10:43:34 No output. 10:43:57 `cat bin/\` 10:43:58 cat: bin/\`: No such file or directory 10:44:00 `cat bin/` 10:44:01 exec bash -c "$1" 10:45:17 That is a disingenuous slight on fungot. I don't even know any transcripts from European parliament sessions. 10:45:17 Jafet: they say that a black sheep has 3 bags full of holes; with the monster was responsible for endless tragedies of all the gods get angry if you can be tamed with carrots? salmon gets thinner at both ends." ( macbeth, by patrick mcgoohan) 10:46:19 fungot: does calamari get squigglier at both ends? 10:46:19 hmm, salmon does get thinner at both ends 10:46:19 boily: they say that a wand in a bag. ( bulfinch's mythology, by the roadside for ninety-nine years and a rock mole: a japanese stabbing knife. 10:48:00 fungot: cuttlefish then? 10:48:00 olsner: they say that a hacker who ate too fast and choked to death: the oxford english dictionary is quite sure which. and the lower world to hades. poseidon is associated in many places, not knowing who he was, plays an important part in the fires of hell and many more names besides. ( the fellowship of the ring, by w.b. yeats) 10:48:31 ^style 10:48:31 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack* oots pa qwantz sms speeches ss wp youtube 10:48:36 nethack??? 10:48:44 -!- metasepia has joined. 10:48:49 ~metar CYUL 10:48:50 CYUL 131030Z 34012G18KT 3SM -SN DRSN VV015 M14/M17 A2963 RMK SN8 SLP035 10:49:10 ^style enron 10:49:10 Selected style: enron (subset of the Enron email dataset) 10:49:22 Now fungot can get down to business. 10:49:23 Jafet: of the going rate schedule) was a better and i were them) 6-1 and looking to get on the stack of mail will be best to wait. rep. other rate changes capping the market. 10:50:08 Two parentheses now into the OUT tray. Marvellous efficiency. 10:52:06 two unbalanced parentheses, you mean. fungot doesn't believe in protection of the environment. 10:52:07 boily: best of all, the capacity..... .a bunch of construction within the central and eastern gas regions will be for the physical for physical and power physical to a more complete on that). 10:53:05 fungot: bzzt, even more wrong parentheses... get a grip 10:53:05 olsner: let me know of any of the ect legal dept of commerce for lehman and enron 10:54:26 -!- w00tles has joined. 10:54:40 -!- w00tles has quit (Remote host closed the connection). 10:55:24 the stuff you learn about bananas → http://www.symmetrymagazine.org/breaking/2009/07/23/antimatter-from-bananas 10:59:10 https://en.wikipedia.org/wiki/Banana_equivalent_dose 11:05:07 -!- boily has quit (Quit: YELLOW CURVED CHICKEN). 11:05:11 -!- metasepia has quit (Remote host closed the connection). 11:15:14 -!- MoALTz_ has joined. 11:18:05 -!- MoALTz has quit (Ping timeout: 246 seconds). 11:22:35 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi). 11:23:14 -!- Slereahphone has joined. 11:31:02 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 11:33:20 ^style oots 11:33:20 Selected style: oots (Order Of The Stick) 11:33:27 hi fungot 11:33:27 FireFly: would i be carrying our monthly" says that's what my dad and i sneak by any monsters and a whole lot of us who would be surprised what people will believe when they've all sucked" was, in that case, i will begin tracking them now by " age old" she means, " after i die". 11:34:05 Hm, the oots wordset seems subpar for fungot responses 11:34:05 FireFly: there, that ought to be good. and it was wrong, so no, that is my position, and then, i blacked out. when the big worm showed me, and they've all sucked" was, in my opinion. 11:37:43 Possibly the paramaters have been suboptimal. 12:02:57 -!- Slereahphone has quit (Remote host closed the connection). 12:03:18 -!- Slereahphone has joined. 12:04:33 -!- MoALTz__ has joined. 12:04:59 -!- Slereahphone has quit (Remote host closed the connection). 12:08:01 -!- MoALTz_ has quit (Ping timeout: 240 seconds). 12:12:07 -!- yorick has joined. 12:22:20 -!- oerjan has joined. 12:29:31 -!- idris-ircslave has joined. 12:29:47 -!- ais523 has joined. 12:36:18 or what if it's a salt of radium? <-- oh come on, who would be putin radioactive elements in food 12:38:54 -!- Slereahphone has joined. 12:45:04 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi). 12:46:59 -!- Slereahphone has joined. 12:51:48 -!- tromp_ has joined. 12:55:31 -!- tromp_ has quit (Remote host closed the connection). 12:56:08 -!- tromp_ has joined. 13:00:32 -!- tromp_ has quit (Ping timeout: 241 seconds). 13:02:49 -!- augur has quit (Ping timeout: 240 seconds). 13:08:21 -!- augur has joined. 13:08:30 did google just start using a terrible font for their search results 13:08:54 if website font selection were client-side, we wouldn't have this problem! 13:09:16 oerjan: yes, I think so 13:10:42 okay 13:24:12 ok darths & droids, i didn't see _this_ coming. 13:25:22 "font-family: arial, sans-serif;" 13:25:34 Some pages seem to indicate they've merely changed font sizes. 13:25:41 And removed link underlining and such. 13:29:25 admittedly, that _is_ par for the course in d&d. 13:34:35 -!- password2 has quit (Ping timeout: 246 seconds). 13:35:50 it's just that somehow the new google style makes it take longer for me to see what i want in the search results... 13:36:10 It's probably just that your old-man eyes aren't any good for the modern webs. 13:36:19 hopefully this will pass. 13:36:55 fizzie: well, that too. 13:36:55 /. "Physicist Proposes a New Type of Computing" sounds Wolframesque. 13:37:49 -!- FireFly has quit (Excess Flood). 13:38:01 that reminds me of that tao navier-stokes thing, but he's a mathematician. 13:38:29 -!- nycs has changed nick to `^_^v. 13:39:14 -!- FireFly has joined. 13:40:41 today's darths & droids also has a nice conduit table 13:42:08 -!- MoALTz__ has quit (Quit: Leaving). 13:47:07 -!- Sgeo_ has quit (Read error: Connection reset by peer). 13:49:59 -!- yorick has quit (Remote host closed the connection). 13:59:19 -!- MindlessDrone has quit (Ping timeout: 264 seconds). 14:09:09 -!- yorick has joined. 14:13:15 -!- MindlessDrone has joined. 14:19:48 -!- trout has quit (Read error: Operation timed out). 14:22:35 -!- variable has joined. 14:24:28 > (sin ∘ cos) 1 14:24:28 (input):1:6: error: expected: "$", 14:24:28 "$>", "&&", "&&&", "*", "***", 14:24:28 "+", "++", "-", "->", ".", "/", 14:24:28 "/=", ":+", "::", "<", "<$", 14:24:28 "<$>", "<*>", "<+>", "<->",↵… 14:24:29 Not in scope: `∘' 14:26:45 -!- shikhin has quit (Read error: Connection reset by peer). 14:28:03 -!- shikhin has joined. 14:28:24 I like that "let's list all possible operators" error. 14:29:37 TIL stackoverflow doesn't allow you to simply correct a syntax error: edits must be at least six characters. 14:32:55 -!- iamcal____ has quit (Quit: Connection closed for inactivity). 14:33:45 hmm, we have two bots on the same prefix? 14:33:46 > 2 14:33:46 2 : Integer 14:33:47 2 14:34:02 anyone know any good Idris/Haskell polyglots? 14:34:21 oerjan: haha, that's probably an attempt to stop people farming edits for karma or something 14:34:28 does it let you edit it twice as a workaround? 14:35:42 I haven't looked at Idris in a while, thanks for reminding me 14:36:55 ais523: i don't know, but my edit needs to be approved anyhow (and with the snark i ended up adding to make it go through, might not even be >:) ) 14:37:26 I don't know Idris at all, but I vaguely remember it's functional 14:37:39 ais523: Incidentally, in case you haven't noticed, idris-ircslave replies are also full of color. 14:37:46 I haven't noticed 14:38:00 nor could I, without opening up the raw view window or using a different client 14:38:07 or, I guess, turning color back on 14:38:08 That's a red "2" and a blue "Integer" there. 14:38:54 > "Hello, world!" 14:38:55 "Hello, world!" : String 14:38:56 "Hello, world!" 14:39:00 I guess that works 14:39:03 not very interesting though 14:39:47 Something that does two different but reasonable things would be nicer. 14:40:35 hmm, Idris has very Haskell-like syntax, apparently 14:41:26 so trying to cause the programs to be implemented differently will be hard 14:42:23 err, evaluated differently 14:42:47 Idris is strict and Haskell is lazy, but that's hard to observe in the absence of side effects 14:43:21 Yes, well, it sounds rather like the C and C++ different-result polyglottery, where the devil is also in the details. 14:45:32 but I don't know any of the details of Idris, and very few of the details of Haskell 14:45:35 > "> " ++ show "Hello, world!" 14:45:36 "> \"Hello, world!\"" 14:45:38 "> \"Hello, world!\"" : String 14:45:51 > text $ "> " ++ show "Hello, world!" 14:45:51 No such variable text 14:45:52 > "Hello, world!" 14:46:08 Jafet: heh, that'd be an amusing botloop if it worked 14:46:24 although lambdabot added a leading space, it's well aware of such tricks 14:46:37 > putStrLn "Hello, world!" 14:46:37 MkIO (\w => prim_io_bind (mkForeignPrim (FFun "putStr" [FString] FUnit) "Hello, world!\n" w) (\x => prim__IO x)) : IO () 14:46:38 14:46:54 ooh, Idris has a non-opaque IO type 14:47:12 a little disappointing that neither bot actually ran the IO action once it was produced, though 14:48:03 To aid our color-challenged viewers: that's a red "MkIO", a pink "w", a bright green "prim_io_bind", a red "FFun .. \n", a pink "w" again, a pink "x", a red "prim__IO", a pink "x", and a blue "IO ()"; with all the rest in default color. 14:48:11 It's like having a permanent `rainwords, almost. 14:49:05 fizzie: do you see why I turned color off now? :-) 14:49:06 fizzie: it's actually a red "FFun ... \n\"" 14:49:19 and it's, in my opinion, more purple than pink. 14:49:20 although the original cause was a bot that was outputting in black, using mIRC colored backgrounds 14:49:29 and thus produced output that was unreadable outside mIRC 14:49:50 elliott_: you may be using a different client or terminal than fizzie 14:49:56 as in, it may actually be purple for you and pink for him 14:50:24 elliott_: Yes, I made a mistake there; though looking closer, it seems to be separately a red "FFun .. FUnit" followed by a red "\"Hello, world!\\n\"". 14:50:36 true. 14:50:40 you win this round. 14:50:45 your prize is hosting the wiki 14:51:01 I don't like this game show. 14:51:38 > instance Show IO where show _ = "> hi" 14:51:38 (input):1:1: error: expected: ":", 14:51:39 end of input, operator 14:51:39 instance Show IO where show _ = "> hi" 14:51:39 ^ 14:51:39 :1:1: parse error on input `instance' 14:51:53 well, you managed to produce a different error message in the two bots 14:51:55 congratulations 14:52:48 huh, Idris knows how to optimize addition into not being unary 14:53:00 one of my colleagues at work was working on that for Agda 14:55:12 -!- evalj has joined. 14:55:26 it's probably just special-cased. 14:55:54 It doesn't matter with agda, because no one expects to run agda code. 14:56:33 I guess explaining agda to programmers is like explaining game semantics to economists 14:56:45 the latter is a fun explanation, really 14:57:14 "it's sort-of like how games work in economics, but you know everyone's strategy in advance rather than trying to work it out, and you don't really care who wins, what you're interested in is whether the game will end at all" 14:58:25 > 2 ** 3 14:58:26 (input):1:3: error: expected: "$", 14:58:26 "$>", "&&", "&&&", "***", "+", 14:58:26 "++", "-", "->", ".", "/", "/=", 14:58:26 ":+", "::", "<", "<$", "<$>", 14:58:26 "<*>", "<+>", "<->", "<<", "<=",↵… 14:58:26 8.0 14:58:31 bleh 14:59:18 > (1 ** [2]) 14:59:18 Can't disambiguate name: Data.HVect.::, Prelude.List.::, Data.Vect.Quantifiers.::, Prelude.Stream.::, Prelude.Vect.:: 14:59:19 No instance for (GHC.Show.Show t0) 14:59:19 arising from a use of `M857856901971536584611453.show_M8578569019715365846... 14:59:19 The type variable `t0' is ambiguous 14:59:19 Possible fix: add a type signature that fixes these type variable(s) 14:59:19 Note: there are several potential instances: 14:59:34 > (2 ** 3) 14:59:34 Can't resolve type class Num (P (fromInteger 2)) 14:59:35 8.0 14:59:38 so close 14:59:46 > (2.0 ** 3.0) 14:59:46 Can't unify 14:59:46 Float 14:59:46 with 14:59:46 P 2.0 14:59:46 Specifically:↵… 14:59:47 8.0 14:59:56 I always wonder if GHC actually used that many type variables internally. 15:00:58 bleh, ** does something in the two languages, but I'm not sure we can construct something that's both an Idris predicate and a Haskell number 15:01:05 *something completely different 15:01:07 > (2 ** undefined) 15:01:08 (input):1:7:No such variable undefined 15:01:08 *Exception: Prelude.undefined 15:01:59 elliott: Isabelle/HOL manages to use binary without too much special-casing (the binary rewrite rules for nat are tagged "[code]") 15:02:30 Of course, numbers are still represented as church numerals, because who cares about constant factors. 15:03:05 -!- variable has quit (Excess Flood). 15:03:12 is there anything lambdabot will interpret as numeric, that takes an argument? 15:03:13 -!- `^_^v has quit (Excess Flood). 15:03:14 -!- ^v has joined. 15:03:36 > 1 2 3 15:03:37 Could not deduce (GHC.Num.Num 15:03:37 (input):1:3:Can't infer type for (|(|fromInteger 1 , fromInteger 1 , |) , 1 , 1 , 1 , 1 , 1 , 1 , |) (|(|fromInteger 2 , fromInteger 2 , |) , 2 , 2 , 2 , 2 , 2 , 2 , |) 15:03:37 (GHC.Integer.Type.Integer -> GHC.Integer.Type.Integer ->... 15:03:37 arising from the ambiguity check for `e_1123' 15:03:37 from the context (GHC.Num.Num (a -> a1 -> t), 15:03:37 GHC.Num.Num a, 15:03:43 That used to work. 15:03:49 -!- `^_^v has joined. 15:04:26 @let instance Num a => Num (a -> a) where fromInteger = const 15:04:27 .L.hs:171:23: 15:04:27 Could not deduce (a ~ Integer) 15:04:27 from the context (Num a) 15:04:27 bound by the instance declaration at .L.hs:170:10-32 15:04:27 `a' is a rigid type variable bound by 15:04:43 @let instance Num a => Num (a -> a) where fromInteger = const . fromInteger 15:04:44 .L.hs:170:10: Warning: 15:04:44 No explicit method or default declaration for `+' 15:04:44 In the instance declaration for `Num (a -> a)' 15:04:44 15:04:44 .L.hs:170:10: Warning: 15:04:52 > 1 2 3 15:04:53 (input):1:3:Can't infer type for (|(|fromInteger 1 , fromInteger 1 , |) , 1 , 1 , 1 , 1 , 1 , 1 , |) (|(|fromInteger 2 , fromInteger 2 , |) , 2 , 2 , 2 , 2 , 2 , 2 , |) 15:04:53 -!- nooodl has joined. 15:04:53 Could not deduce (GHC.Num.Num 15:04:53 (GHC.Integer.Type.Integer -> GHC.Integer.Type.Integer ->... 15:04:53 arising from the ambiguity check for `e_1123' 15:04:53 from the context (GHC.Num.Num (a -> a1 -> t), 15:04:54 GHC.Num.Num a, 15:05:51 I like Idris's error messages, not because they're useful, but because they hint at insane internal implementation details 15:06:06 @define 15:06:06 Define what? 15:06:08 -!- variable has joined. 15:06:16 @undefun 15:06:16 Undefined. 15:06:20 @let instance Num a => Num (a -> a) where { fromInteger = const . fromInteger; (+)=(+); (-)=(-); (*)=(*); abs=abs; signum=signum } 15:06:22 Defined. 15:06:28 > 0 1 15:06:29 (input):1:3:Can't infer type for (|(|fromInteger 0 , fromInteger 0 , |) , 0 , 0 , 0 , 0 , 0 , 0 , |) (|(|fromInteger 1 , fromInteger 1 , |) , 1 , 1 , 1 , 1 , 1 , 1 , |) 15:06:29 Could not deduce (GHC.Num.Num (GHC.Integer.Type.Integer -> t)) 15:06:30 arising from the ambiguity check for `e_101' 15:06:30 from the context (GHC.Num.Num (a -> t), GHC.Num.Num a) 15:06:30 bound by the inferred type for `e_101': 15:06:30 (GHC.Num.Num (a -> t), GHC.Num.Num a) => t 15:07:18 > (0 :: Integer -> Integer) 1 15:07:18 (input):1:27:Can't disambiguate name: Data.HVect.::, Prelude.List.::, Data.Vect.Quantifiers.::, Prelude.Stream.::, Prelude.Vect.:: 15:07:19 0 15:08:37 idris seems to have some sort of need to store each integer eight times. 15:08:44 type annotations aren't going to work for this, Idris uses : and Haskell uses :: 15:09:14 > [] :: [] 15:09:14 Can't disambiguate name: Data.HVect.Nil, Prelude.List.Nil, Data.Vect.Quantifiers.Nil, Prelude.Vect.Nil 15:09:15 Expecting one more argument to `[]' 15:09:25 > [] : [] 15:09:26 (input):1:4: error: expected: "$", 15:09:26 "$>", "&&", "&&&", "*", "***", 15:09:26 "+", "++", "-", "->", ".", "/", 15:09:26 "/=", ":+", "::", "<", "<$", 15:09:26 "<$>", "<*>", "<+>", "<->",↵… 15:09:26 [[]] 15:09:30 -!- MindlessDrone has quit (Ping timeout: 268 seconds). 15:09:35 > 0.0 15:09:35 0.0 : Float 15:09:36 0.0 15:09:53 > 0.0 6.6 15:09:54 (input):1:5:0.0 does not have a function type (Float) 15:09:54 Could not deduce (GHC.Real.Fractional (GHC.Types.Double -> t)) 15:09:55 arising from the ambiguity check for `e_10066' 15:09:55 from the context (GHC.Real.Fractional (a -> t), 15:09:55