00:00:08 OK, completed ðe new keyboard layout 00:01:31 A couple of warniŋs about various symbols not recognized by ðe default codepage, so ðose won't work in non-Unicode applications 00:02:29 But let's be honest; everyþing supports Unicode now, and ðe stuff ðat doesn't is ðe stuff ðat requires proper spelling (e.g. command lines, programming languages) 00:04:03 (I was careful in ðat I didn't ĉange ðe default parts of my keyboard layout; all ðe extra letters are altgr-related) 00:06:12 "i don't plan to make it too obscure", he said 00:06:22 myname: Not TOO obscure 00:06:47 yeah, right 00:06:52 ðis is exactly as obscure as it ʃould be 00:06:58 You can still read it 00:10:37 -!- augur has joined. 00:20:34 -!- moon_ has joined. 00:26:24 -!- augur has quit (Read error: Connection reset by peer). 00:28:33 -!- augur has joined. 00:31:00 -!- Zarutian has quit (Quit: Zarutian). 00:33:02 -!- Sgeo_ has joined. 00:33:38 -!- augur has quit (Ping timeout: 244 seconds). 00:34:50 -!- Sgeo has quit (Ping timeout: 244 seconds). 00:35:15 -!- augur has joined. 01:00:59 -!- augur has quit (Remote host closed the connection). 01:25:03 -!- moonythedwarf_ has joined. 01:25:43 -!- moon_ has quit (Ping timeout: 265 seconds). 01:31:48 -!- Phantom_Hoover has quit (Read error: Connection timed out). 01:32:54 -!- Phantom_Hoover has joined. 01:52:28 -!- Cale has quit (Ping timeout: 250 seconds). 01:59:21 -!- Phantom_Hoover has quit (Read error: Connection timed out). 02:02:13 -!- Phantom_Hoover has joined. 02:07:24 Humans ʃould've evolved a sense þat allows us to 'see' neutrinos... 02:11:10 -!- Phantom__Hoover has joined. 02:12:43 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 02:33:28 -!- moonythedwarf_ has quit (Ping timeout: 265 seconds). 02:52:05 hppavilion[1]: who says we can't see neutrinos already? 02:53:37 A neutrino can produce a flash of light when it interacts with some water. 02:58:22 And the stuff in our eyes is watery. 02:58:52 So how often in a lifetime is that expected to happen? 02:59:13 (I expect the number to be smaller than 1) 02:59:45 Has anybody applied math to shipping before (currently, newspeak is on hold) 03:00:17 I also should sleep. 03:00:29 "Portraying a character in a relationship with themself- or a close copy- is referred to as a "degenerate ship", and does not strictly qualify as a proper ship, but is studied in Fandomry nonetheless" 03:00:37 I don't know how often that would happen, but even if it does, you might not be able to see if the light is not enough. 03:00:46 (But, I don't know if the light is enough or not) 03:30:02 I'm trying to figure out the genetic relationship between two people when each one's parent is the sibling of one of the other's parent 03:30:30 (so your fathers are (non-identical twin) brothers and your mothers are (non-identical twin) sisters 03:33:07 OOOOOOOOH 03:33:10 Double siblings 03:37:48 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 03:44:33 zzo38: I think theoretically, humans can see single photons. 03:48:01 -!- augur has joined. 04:00:47 web.minpoijjikop: points -46.00, score 0.00, rank 47/47 (-44) 04:10:52 -!- Melvar has quit (Ping timeout: 240 seconds). 04:24:22 -!- Melvar has joined. 04:26:39 `? fish 04:26:40 Come and dance and love the fish! Mister Disco summoned it. 04:31:06 `howg fish 04:31:09 le/rn fish/Come and dance and love the fish! Mister Disco summoned it. 04:31:28 `cat bin/howg 04:31:29 hoag "wisdom/$1" 04:31:39 `cat bin/hoag 04:31:40 hg log --removed --template "{desc}\n" -- "$@" 04:31:41 Did you do that in /msg 5 minutes ago? 04:31:49 You shouldn't le/rn in /msg 04:31:51 Why would I do that? 04:32:03 I don't know why you add the wisdoms that you do. 04:32:13 All right, I won't le/rn in /msg in the future. 04:32:27 You shouldn't modify the HackEgo filesystem in /msg. 04:36:55 This rule is more important than the previous one. 04:39:06 I won't do that either. 04:41:38 -!- idris-bot has quit (Quit: Terminated). 04:42:18 -!- idris-bot has joined. 05:08:00 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 05:41:00 <\oren\> `go fish 05:41:00 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: go: not found 05:41:41 did you purchase that melon soda? 05:42:08 <\oren\> myname: not yet, i have to figure out if I can have it delivered to my house or workplace 05:42:25 where did you find it 05:42:48 <\oren\> Rakuten 05:43:40 <\oren\> `? melon 05:43:41 melon? ¯\(°​_o)/¯ 05:43:48 weird, i never heard of it but wikipedia claims it is pretry big 05:48:02 they don't seem to have it on the german site, at least 06:18:01 -!- hppavilion[1] has joined. 06:22:11 Hm... 06:22:20 What is 1080i60 like? 06:24:15 Someday, we're going to have bandwidth making 4320p180 "no big deal" 06:24:33 (but we probably won't use it, because it isn't really much better for the eyes 06:24:34 ) 06:35:57 <\oren\> hppavilion[1]: I find 720p already good enough 06:36:10 \oren\: Yeah, that too 06:37:08 My computer monitor can't really handle 720p60, and unfortunately the Yogscast now uploads all videos in 240p, 360p, 480p, 720p60, and 1080p60 06:37:39 So I can either watch in sub-HD quality or have a laggy system 07:23:51 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 07:25:03 -!- Jafet has quit (Ping timeout: 244 seconds). 07:42:18 -!- Cale has joined. 08:05:14 -!- AnotherTest has joined. 08:09:20 -!- AnotherTest has quit (Ping timeout: 244 seconds). 08:28:39 -!- Jafet has joined. 08:30:37 -!- augur has quit (Remote host closed the connection). 08:45:24 -!- AnotherTest has joined. 09:07:07 @tell oerjan this idea of not trusting coerce was very tedious to follow through: https://github.com/lambdabot/lambdabot/blob/925fe0548caffe24a8a2e64857421c77d930cbf8/patches/profunctors-5.2.patch and https://github.com/lambdabot/lambdabot/blob/925fe0548caffe24a8a2e64857421c77d930cbf8/patches/lens-4.14.patch ... too many hours went into this (mostly staring at code and trying to justify its safety) 09:07:07 Consider it noted. 09:08:07 The good news is that I can finally update lambdabot to 8.0.1, I think... just have to build it... if I haven't missed anything... will see later. 09:12:19 -!- augur has joined. 09:33:17 Hello, people. 09:33:24 How was my vacation? 09:35:11 it was fine 09:35:15 thanks for asking 09:35:42 It was largely coincident with mine 10:07:18 -!- Kaynato has quit (Ping timeout: 244 seconds). 10:42:21 -!- Zarutian has joined. 10:43:06 -!- Zarutian has quit (Client Quit). 10:56:00 -!- Phantom_Hoover has joined. 10:58:53 -!- oerjan has joined. 11:02:41 @messages- 11:02:41 int-e said 1h 55m 33s ago: this idea of not trusting coerce was very tedious to follow through: https://github.com/lambdabot/lambdabot/blob/925fe0548caffe24a8a2e64857421c77d930cbf8/patches/profunctors-5.2.patch and https://github.com/lambdabot/lambdabot/blob/925fe0548caffe24a8a2e64857421c77d930cbf8/patches/lens-4.14.patch ... too many hours went 11:02:41 into this (mostly staring at code and trying to justify its safety) 11:06:02 -!- myname has quit (Quit: Lost terminal). 11:07:22 so far the new filter appears to be catching 100% of spammers and 100% of legitimate new users. i'm not quite sure the balance is quite right... 11:08:31 (admittedly there's only one of the latter yet.) 11:09:01 -!- myname has joined. 11:11:14 -!- almightynsx1 has joined. 11:11:49 @ask int-e have you complained to kmett tmnh 11:11:49 Consider it noted. 11:12:29 -!- almightynsx has quit (Ping timeout: 265 seconds). 11:12:56 s/complained/sent pull requests/ mhb 11:17:45 -!- Reece` has joined. 11:32:00 -!- boily has joined. 11:36:52 is it to be expected for quicksort to go from 100 elements to 18446744073709551615 elements? 11:37:27 izabera: er, probably not? 11:37:32 oh 11:37:36 damn 11:40:06 izabellora. what are you sorting? 11:40:06 hellørjan. 11:40:32 good afternoily. 11:40:55 boily: she's probably sorting tribbles hth 11:41:04 apparently i'm sorting my whole address space 11:41:20 looks roomy. 11:45:05 off by 1 errors look much more friendly than off by ~0ull 11:45:51 "oops" 12:04:14 -!- aloril has quit (Read error: Connection reset by peer). 12:07:28 oerjan: I have tried to discuss this issue a while ago, but got no reply at the time: https://github.com/ekmett/lens/issues/661 12:16:12 mhm 12:16:57 (at that time I missed the fact that profunctors effectively exports coerce as well) 12:18:12 in any case... is there any tooling support for safehaskell yet? loading modules in ghci to see which imports are the unsafe ones is awfully tedious. 12:19:30 no idea 12:20:24 unfortunately, you might be the only person with a need... 12:21:18 i suppose there are some other online interpreters. 12:22:06 also, the reflection package has grown some new ugly code since the last time I looked at it: http://hackage.haskell.org/package/reflection-2.1.2/docs/src/Data-Reflection.html#B 12:24:44 i vaguely think the Given class might be a bigger problem... 12:24:47 -!- augur has quit (Remote host closed the connection). 12:25:22 Hmm, but I know how that trick works. 12:26:11 -!- boily has quit (Quit: PAGINATED CHICKEN). 12:27:49 And in any case the Given code looks beautiful. Its evilness is all below the surface. 12:29:32 The Typeable reflection code is ugly, but indeed slightly less evil underneath. 13:01:55 -!- b_jonas has quit (Ping timeout: 244 seconds). 13:03:50 -!- oerjan has quit (Quit: Later). 13:14:22 -!- b_jonas has joined. 13:37:29 -!- Sgeo_ has quit (Ping timeout: 250 seconds). 14:22:10 NO WAY! 14:24:12 M:tG stuff. Do you recall that Eldritch Moon prints a black bordered take on an un-card: the meld cards are version of the B.F.M. (and S.N.O.T.) 14:24:43 Well, Conspiracy 2 is printing the black bordered take of an un-card too. 14:24:52 -!- hkgit03 has joined. 14:24:54 A different un-card, one that's never been done in black bordered land that is. 14:25:43 -!- augur has joined. 14:30:14 -!- augur has quit (Ping timeout: 258 seconds). 14:31:57 -!- hkgit03 has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 14:39:09 -!- `^_^v has joined. 14:50:15 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 15:10:29 -!- Phantom_Hoover has joined. 15:30:31 -!- aloril has joined. 15:54:51 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 15:58:34 -!- AlexR42 has joined. 16:25:18 -!- LKoen has joined. 16:26:45 -!- augur has joined. 16:27:58 -!- LKoen has quit (Client Quit). 16:31:22 -!- augur has quit (Ping timeout: 258 seconds). 17:01:52 -!- gremlins2 has joined. 17:04:33 -!- Reece` has quit (Ping timeout: 240 seconds). 17:04:35 -!- olsner has quit (Ping timeout: 240 seconds). 17:05:31 -!- Phantom_Hoover has joined. 17:05:43 -!- olsner has joined. 17:09:03 -!- izabera has quit (Ping timeout: 240 seconds). 17:14:10 -!- izabera has joined. 17:15:31 -!- byteflame has joined. 17:17:05 -!- byteflame has quit (Remote host closed the connection). 17:22:30 -!- AnotherTest has quit (Ping timeout: 276 seconds). 17:31:58 -!- hppavilion[1] has joined. 18:20:16 Wait 18:20:30 I just realized my name ("Nathan") contains a 'th' 18:21:05 And now I have to decide wheðer or not to use ðe 'þ' ðere. 18:23:55 What does #esoteric þink? 18:27:44 -!- augur has joined. 18:28:12 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 18:28:51 Napan (sic) 18:32:09 -!- augur has quit (Ping timeout: 250 seconds). 18:39:01 -!- Kaynato has joined. 18:39:40 -!- Kaynato has quit (Read error: Connection reset by peer). 18:42:25 -!- Kaynato has joined. 18:43:10 -!- hppavilion[1] has joined. 18:45:02 -!- oerjan has joined. 18:54:20 @tell ais523 funny how all the new spammers coming in after you made that new filter get caught only by it. the quickbooks people seem to have stopped, anyhow. 18:54:20 Consider it noted. 18:55:44 @tell ais523 well, i guess their original ips were blocked, that might have affected it. 18:55:44 Consider it noted. 18:56:34 @tell ais523 slightly disturbing that it also stopped the one legitimate new editor :P 18:56:34 Consider it noted. 19:00:44 @tell ais523 i'm slightly annoyed that there doesn't seem to be a way to reorder the filters. i thought inserting one before the filter might help give a more helpful error message for those forgetting to log in first 19:00:44 Consider it noted. 19:01:12 @tell ais523 *before filter 9 19:01:12 Consider it noted. 19:01:58 -!- wob_jonas has joined. 19:02:15 Argh I'm stupid stupid 19:02:17 jonas, now extra wobbly 19:02:42 did you break your other computer 19:02:50 just cut into the tip of my index finger with a bread knife 19:02:56 ouch 19:03:04 been there, done that. 19:03:47 ...surprisingly long since i last did that... 19:04:00 I should KNOW not to get my hand where the knife can go when cutting 19:04:17 i do know, but i also get stressed sometimes. 19:05:12 I've cut myself with knife a couple of times, often when cleaning it. this time, I was cutting bread. 19:06:11 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 19:07:17 -!- lambdabot has quit (Quit: hopefully brb). 19:09:04 -!- `^_^v has quit (Quit: This computer has gone to sleep). 19:09:35 -!- `^_^v has joined. 19:14:48 -!- lambdabot has joined. 19:17:45 -!- Phantom_Hoover has joined. 19:18:15 @tell ais523 I think it is possible to split up the checks more without reordering the filters, not sure if it's worth it... 19:18:15 Consider it noted. 19:18:49 my off by ~0ull is now a off by 1 19:18:53 big improvement 19:18:59 can someone help me debug it? 19:18:59 wait wat 19:19:07 oh right 19:19:27 but off by ~0ull is just off by one 19:19:37 yeah but this is a different one 19:19:43 it's off by -1 19:19:52 https://arin.ga/jhgXQH/raw this is my quicksort https://arin.ga/CJvsx9/raw and this is a test program 19:19:56 or (unsigned long long) (-1), i presume 19:19:58 https://arin.ga/tB73J3/raw output i get 19:20:06 -!- MoALTz has joined. 19:20:19 hmm, off by -1 should be one step more correct than off by 0 19:20:30 it prints the array at each step for debugging purposes 19:26:00 ok that C is too complicated for me. 19:28:28 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 19:29:16 i think the problem is in my partition step 19:29:56 that works fine if one chooses 0 as the pivot but i'm choosing the median of 0, end/2, end 19:30:15 so sometimes i end up looping forever 19:30:30 i'll change that 19:30:45 -!- AlexR42 has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 19:31:10 web.minpoijjikop: points -46.00, score 0.00, rank 47/47 (-44) <-- wat 19:31:24 did a spammer find the web interface, or something. 19:31:48 hm fizzie is highly idle 19:32:57 hm zemhill shows up in googling for that word. i guess it's genuine. 19:33:21 but what does it MEAN 19:39:10 * oerjan finds himself reloading the abuse log often enough now that he wishes for a moment that HackEgo announced it... 19:39:26 this might not be optimal. 19:40:05 oerjan: perhaps it's some strange Finnish word or concatenation of words 19:41:28 well i think poij- is a form of poika, meaning boy. 19:42:22 but the rest doesn't look very finnish. 19:44:29 oerjan: yes, it's strange because "min" would be in Swedish 19:45:19 well pojke is a swedish word, i suspect borrowed from the finnish one. 19:45:23 -!- hppavilion[1] has joined. 19:45:30 oh 19:45:33 or maybe vice versa. i should look that up. 19:45:38 so is the whole thing swedish then? 19:46:00 from finnish, claims wiktionary. 19:46:32 well no, the -jikop part isn't very swedish either. and there's an extra -i- too. 19:46:57 how do the norwegians spell it? they have such strange spellings 19:47:46 norwegian hasn't borrowed that word, we use "gutt" which is theorized to be from dutch. 19:48:32 I see 19:48:44 and danish uses "dreng" 19:49:01 (which is archaic in norwegian.) 19:49:08 does "ikop" mean something without the "j" in some language? 19:49:23 or "iköp" or "ikøp" 19:49:58 apparently dreng is from norse. 19:50:46 köp is swedish for "buy" 19:50:51 yes 19:51:09 but then "poijji" would be strange 19:51:32 køp isn't really anything that i know, i think the danish is køb, and the norwegian is kjøp. 19:52:04 yeah 19:52:23 kop is a verb in norwegian, at least in my dialect, meaning "stare" or "ogle" (i'm not exactly sure.) 19:53:15 ok "dreng" in norwegian nowadays means farmhand, essentially. 19:57:35 i think the -ijji- is strange no matter how you look at it. 19:58:20 lesson learned: bind mounts don't follow symlinks 19:58:22 it couldn't really be any scandinavian language, and i'm not sure about finnish. 19:58:37 int-e: shocking 19:58:44 yes, very 19:59:12 ghci isn't getting any faster :/ 19:59:58 "While /ʋ/ and /j/ may appear as geminates when spoken (e.g. vauva [ʋɑuʋːɑ], raijata [rɑijːɑtɑ]), this distinction is not phonemic, and is not indicated in spelling." 20:00:06 up from 1.2s to almost 2 seconds... that will cause a lot of timeouts. 20:00:06 so it's not even finnish. 20:00:29 (note that this is best case time) 20:00:38 ouch 20:01:28 well pojke is a swedish word, i suspect borrowed from the finnish one. ← probably the other way around, that's generally the case I think 20:01:43 oh hm 20:01:44 or not 20:01:53 FireFly: wiktionary claims it's from finnish to swedish. it doesn't really look swedish, after all. 20:01:57 maybe they're both from Russian 20:01:59 yeah, true 20:02:17 okay, what else is missing... hoogle database 20:02:28 wob_jonas: according to wiktionary the finnish word is from proto-finnic, from proto-uralic 20:02:30 so not a loan 20:02:49 "From Proto-Finnic *poika, from Proto-Uralic *pojka. Cognate with Livvi poigu, Estonian poeg, poiss and Hungarian fiú." 20:02:52 "Cognate with Livvi poigu, Estonian poeg, poiss and Hungarian fiú." 20:02:55 Heh 20:02:57 that's pretty definite. 20:03:02 Can -ijji- appear in a spelling of some word like Ilion (Troy) or million in some language? 20:03:31 oerjan: I see 20:04:04 it occurs to me that minpoijjikop may simply have been chosen as a random combination of letters on the right side of a qwerty keyboard. 20:04:52 oerjan: so it's button mash like jlas;dkljdad;skj on the homerow (but when your index finger is cut)? 20:05:10 wob_jonas: maybe. 20:06:13 where did minpoijjikop appear? 20:06:26 Taking German this year 20:06:31 oh, zemhill, I see 20:06:40 Perhaps I should install German Dvorak and learn to type on that? 20:06:52 minpoijjikop = 271987447589 if you think of it as embedded numpad (which i had on my previous laptop) 20:06:58 hppavilion: German is useful. dunno about dvorak. 20:07:34 'ij' suggests dutch 20:08:00 hm maybe 20:08:04 in dutch it'd probably be koep 20:08:42 oerjan: wait what? that's not how an embedded numpad is usually laid out 20:09:51 oerjan: isn't the usual layout y/mjkluio789/0123456789/ ? 20:10:42 wob_jonas: well it's the only way to fit this in one, is all 20:11:09 FireFly: what would be koep? 20:11:21 hm right the 0 gets awkward 20:11:35 ah, my laptop also has a numpad, on those keys 20:12:00 `? minpoijjikop 20:12:00 minpoijjikop? ¯\(°​_o)/¯ 20:12:07 wob_jonas: I don't know, but it looks more dutch to me that way 20:12:17 koep doesn't seem to be a dutch word, although koepel is. 20:13:43 -!- AnotherTest has joined. 20:13:58 oh, n is not in my numpad, maybe it's just stabbing the keyboard across the mnijkop keys 20:13:59 -!- atrapado has joined. 20:15:53 we should add a wisdom entry for minpoijjikop 20:16:13 wow, hoogle's taking its time... 20:18:32 > last [1..] 20:18:44 mueval-core: Time limit exceeded 20:18:44 mueval: ExitFailure 1 20:19:49 increased the timeout a bit (if I found the right knob), hopefully that'll do the trick 20:21:45 int-e: i don't think that one will finish anyhow hth 20:22:09 oerjan: sure it does. it only takes about O(omega) time. 20:22:13 oerjan: I was looking at the 12 seconds between sending that message and the reply, obviously!!!!1 20:22:19 OKAY 20:22:53 in the meantime, hoogle is indexing package 1540 out of 1998?! 20:23:31 zippy 20:24:05 @djinn a -> a 20:24:07 Djinn command failed: djinn: readCreateProcess: runInteractiveProcess: exec: does not exist (No such file or directory) 20:24:08 that 1998 does seem a bit low 20:24:16 aha! 20:24:31 practically last century 20:24:52 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 20:24:57 cabal: unrecognized 'install' option `--dry-un' 20:25:08 stupid program, it's totally clear what I meant ;-) 20:25:28 --good-one 20:28:54 -!- augur has joined. 20:31:45 @djinn a -> a 20:31:45 f a = a 20:33:20 -!- augur has quit (Ping timeout: 244 seconds). 20:33:53 @djinn a -> b -> (a,b) 20:33:54 f a b = (a, b) 20:34:05 @djinn a -> b -> a b 20:34:05 Error: kind error: (KArrow (KVar 1) (KVar 2),KVar 0) 20:34:13 Good djinn 20:34:25 @djinn a -> b -> f a -> f b 20:34:25 -- f cannot be realized. 20:34:35 @djinn (Functor f) => a -> b -> f a -> f b 20:34:35 Error: Class not found: Functor 20:34:50 It doesn't know about functors? 20:35:41 shocking 20:35:46 @djinn-env 20:35:55 now what 20:36:10 @list djinn 20:36:10 djinn provides: djinn djinn-add djinn-del djinn-env djinn-names djinn-clr djinn-ver 20:36:18 maybe it's actually empty 20:36:26 int-e: as a general policy, we don't allow programs to autocomplete typoed option names, beacuse (1) then a script that works now can start to fail later as more options are added, and (2) it could invoke dangerous options, like "mv: invalid option '-t', auto-correcting to '-f'" or something (or see http://www.giantitp.com/comics/oots0007.html ) 20:36:28 @djinn-names 20:36:40 @djinn knows Eq and Monad, apparently. 20:37:05 int-e: i thought those were part of @djinn-env 20:37:05 wob_jonas: just for the record, I wasn't serious. 20:37:10 @djinn-env 20:37:21 int-e: me neither 20:37:23 oerjan: perhaps but they're also here: https://github.com/augustss/djinn/blob/master/src/Djinn.hs 20:37:26 @djinn (Eq a b) => a -> b -> Bool 20:37:27 f a _ = a == a 20:37:33 Lol 20:37:36 wat 20:37:47 BUGG 20:37:49 That should have errored 20:38:03 in any case I do not feel responsible for @djinn at all. 20:38:29 @djinn-add class Functor f where fmap :: (a -> b) -> f a -> f b 20:38:32 hehe, yes, that looks like a rank error 20:38:37 @djinn (Eq a) => a -> a -> (Bool, Bool) 20:38:38 Cannot parse command 20:38:38 Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> f :: (Eq a) => a -> a -> (Bool, Bool) 20:38:38 f a _ = 20:38:38 case a == a of 20:38:38 False -> (False, False) 20:38:40 True -> (False, True) 20:38:43 int-e: shouldn't it respond something 20:38:47 Whoa 20:39:01 urkh 20:39:11 and maybe a bit less clumped 20:40:04 oerjan: I think you're in "patches welcome" territory there. 20:40:11 What's with all the Djinn> 20:40:28 @djinn (Eq a) => a -> a -> (Bool, Bool) 20:40:29 Cannot parse command 20:40:29 Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> f :: (Eq a) => a -> a -> (Bool, Bool) 20:40:29 f a _ = 20:40:29 case a == a of 20:40:29 False -> (False, False) 20:40:31 True -> (False, True) 20:40:35 Ok 20:40:47 @djinn-del 20:40:47 Cannot parse command 20:40:58 I don't even know how that works 20:41:02 @djinn a -> a 20:41:03 @GOD a -> a 20:41:03 Cannot parse command 20:41:03 Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> f :: a -> a 20:41:03 f a = a 20:41:03 Unknown command, try @list 20:41:11 @djinn-del class Functor 20:41:11 Cannot parse command 20:41:18 @djinn-del class Functor f where fmap :: (a -> b) -> f a -> f 20:41:18 Cannot parse command 20:41:21 oerjan: Good job breaking it 20:41:44 @djinn-clr 20:42:00 @djinn a -> a 20:42:00 f a = a 20:42:01 @djinn-kind Eq 20:42:01 Unknown command, try @list 20:42:06 @kind Eq 20:42:14 * -> Constraint 20:42:20 @djinn-del class Functor f where fmap :: (a -> b) -> f a -> f b 20:42:20 Cannot parse command 20:42:28 @djinn-env 20:42:28 data () = () 20:42:28 data Either a b = Left a | Right b 20:42:28 data Maybe a = Nothing | Just a 20:42:28 data Bool = False | True 20:42:28 data Void 20:42:30 type Not x = x -> Void 20:42:32 class Monad m where return :: a -> m a; (>>=) :: m a -> (a -> m b) -> m b 20:42:34 class Eq a where (==) :: a -> a -> Bool 20:42:34 oh now that works 20:42:39 @djinn-names 20:42:39 @djinn (Monoid s) => s -> s -> s 20:42:41 Either Left Right Maybe Nothing Just Bool False True Void Not Void Monad Eq Bool 20:42:41 Error: Class not found: Monoid 20:42:54 That output is bigger too 20:43:05 @hoogle (Monoid s) => s -> s -> s 20:43:09 hoogle: The Hoogle file /home/lambda/.hoogle/default-haskell-5.0.2.hoo is truncated, probably due to an error during creation. 20:43:09 CallStack (from HasCallStack): 20:43:09 error, called at src/General/Store.hs:181:13 in hoogle-5.0.2-5GwbZ4e6btT4ckpCChTs4k:General.Store 20:43:09 CallStack (from HasCallStack): 20:43:09 error, called at src/General/Util.hs:239:66 in hoogle-5.0.2-5GwbZ4e6btT4ckpCChTs4k:General.Util 20:43:18 Yay 20:43:27 hoogle is still initializing 20:43:32 @djinn (Eq a) => a -> a -> Bool 20:43:33 f = (==) 20:43:47 @djinn Bool -> Bool 20:43:47 f a = a 20:44:00 @djinn Bool -> Bool -> Bool 20:44:02 f a b = 20:44:02 case a of 20:44:02 False -> b 20:44:02 True -> False 20:44:24 Does it produce a random operator each time? 20:44:37 This one has an odd truth table 20:44:40 @djinn a -> (a->a->b) -> b 20:44:41 f a b = b a a 20:45:07 (and taking its time, probably thrashing the VM) 20:45:09 that looks correct 20:45:33 -!- hppavilion[1] has joined. 20:50:44 Q: How do you interrogate a mathematician? 20:51:13 hppavilion[1]: levezeti. no wait, that's a different pun. 20:51:17 @hoogle (Monoid s) => s -> s -> s 20:51:21 Prelude mappend :: Monoid a => a -> a -> a 20:51:21 Data.Monoid mappend :: Monoid a => a -> a -> a 20:51:21 Data.Semigroup mappend :: Monoid a => a -> a -> a 20:51:35 A: Use the classic "uncountably many cops of varying good/bad alignments on a [0,1] interval" routine 20:54:14 Space Nazis vs Space Pirates 20:56:49 -!- lambdabot has quit (Quit: sorry, need to test this). 20:58:29 wob_jonas: wiktionary doesn't have that word :( 20:58:35 although google does 21:00:35 wob_jonas: does the pun involve juice twh 21:01:33 were any zorn's lemons or abelian grapes harmed during the production of this pun 21:02:05 oerjan: no 21:02:12 no to which 21:02:27 hppavilion[1]: Are they wearing black and white hats, and have blue or brown eyes? 21:02:32 no lemons, no grapes 21:02:40 And sometimes, one of them lies 21:02:55 wob_jonas: darn 21:02:58 FreeFull: blue or brown eyes doesn't have an uncountable version, does it? 21:03:09 wob_jonas: what about juice 21:03:15 wob_jonas: That's what makes the interrogation exciting 21:03:17 oerjan: dunno 21:03:21 okay 21:03:39 -!- lambdabot has joined. 21:04:14 @botsnack 21:04:21 :) 21:04:34 that wasn't very fast 21:05:08 @botsnack 2 21:05:15 :) 21:06:25 -!- augur has joined. 21:07:57 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 21:08:34 -!- hppavilion[1] has joined. 21:11:55 -!- carado has joined. 21:16:14 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 21:17:37 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 21:27:44 -!- carado has quit (Read error: Connection reset by peer). 21:27:56 -!- carado has joined. 21:35:42 b_jonas: Can you elaborate on "Conspiracy 2 is printing the black bordered take of an un-card too"? 21:42:07 -!- carado has quit (Remote host closed the connection). 21:43:29 -!- carado has joined. 22:01:09 -!- gremlins2 has quit (Quit: Alsithyafturttararfunar). 22:02:22 -!- atrapado has quit (Ping timeout: 252 seconds). 22:03:43 -!- Phantom_Hoover has quit (Ping timeout: 258 seconds). 22:08:58 > error "1" 22:09:06 mueval-core: Time limit exceeded 22:09:13 > error "1" 22:09:17 *Exception: 1 22:09:17 CallStack (from HasCallStack): 22:09:17 error, called at :3:1 in interactive:Ghci1 22:13:05 > error "1" 22:13:08 *Exception: 1 22:18:54 -!- jaboja has joined. 22:23:51 -!- almightynsx1 has quit (Quit: Leaving.). 22:27:33 -!- Zarutian has joined. 22:31:44 -!- Phantom_Hoover has joined. 22:32:50 -!- moonythedwarf_ has joined. 22:37:27 -!- moonythedwarf_ has quit (Ping timeout: 258 seconds). 22:38:24 -!- AnotherTest has quit (Ping timeout: 260 seconds). 22:39:02 -!- moonythedwarf_ has joined. 22:39:56 lambdabot: Int -> [a] -> a 22:39:58 Oops 22:40:09 @djinn Int -> [a] -> a 22:40:09 Error: Undefined type Int 22:40:13 @djinn Integer -> [a] -> a 22:40:14 Error: Undefined type Integer 22:40:18 @djinn Bool -> [a] -> a 22:40:18 Error: Undefined type [] 22:40:32 @djinn Maybe a -> a 22:40:32 -- f cannot be realized. 22:41:03 @djinn (a -> b) -> Maybe a -> Maybe b 22:41:03 f a b = 22:41:03 case b of 22:41:03 Nothing -> Nothing 22:41:03 Just c -> Just (a c) 22:45:13 -!- lambdabot has quit (Remote host closed the connection). 22:51:32 -!- mad has joined. 22:51:36 hey 22:51:42 -!- lambdabot has joined. 22:51:49 @botsnack 22:51:54 :) 22:52:51 anyone else think that the collatz conjecture system is probably turing complete? 22:53:19 (the collatz system is N=3*N+1 if N is odd, and N=N/2 if N is even) 22:53:19 i doubt it. not that particular function. 22:53:38 do you think that it's too random? 22:53:59 or too little structure. 22:54:16 isn't that another way of saying too random? :D 22:54:27 not necessarily. 22:54:48 -!- carado has quit (Remote host closed the connection). 22:55:23 you can have order that just doesn't build complexity. 22:55:36 hmm 22:55:44 mad: How would you do any computation with it? 22:56:12 mad, I'm not sure that it's random at all 22:56:13 it acts as a cellular automata in base 6? 22:56:15 `? tanebvention 22:56:16 Tanebventions include automatic squirrel feeders, necessity, Go, Windows 98, submarine jousting, Fueue, the universe, metar, weetoflakes, Tanebventions, persistence, the BBC, progress, and this sentence. See also tanebventions: math. He never invents anything involving sex. 22:56:26 `? tanebventions: math 22:56:27 Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, the reals, Lambek's lemma, the Hodge star operator, pointless topology, and histograms. 22:56:32 like, in base 6, *3 is the same as /2 22:56:36 mad: it really doesn't. 22:56:42 except for what happens to the last digits 22:56:58 https://esolangs.org/wiki/Collatz_function is, of course, relevant, but it's about a class of functions of which the Collatz function is a particular instance. 22:57:02 mad: Instead of focusing on this 22:57:11 `slwd tanebventions:math//s/the reals/the axiom of choice, &/ 22:57:12 mad: How about you construct a computer using the Star Wars cellular automaton 22:57:12 Rosebud! 22:57:16 `slwd tanebventions: math//s/the reals/the axiom of choice, &/ 22:57:18 wisdom/tanebventions: math//Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, the axiom of choice, the reals, Lambek's lemma, the Hodge star operator, pointless topology, and histograms. 22:57:25 so if you have a large number with tons of digits, then it's equivalent to repeated *3 for digits far from the right edge 22:57:31 in base 6 22:57:32 `? hodge star operator 22:57:33 hodge star operator? ¯\(°​_o)/¯ 22:57:40 Taneb: Did you really invent that? 22:57:49 I'm not sure 22:58:03 Can you explain what it is? 22:58:08 Also can you teach me differential geometry? 22:58:09 Did Taneb invent Surreal Numbers too? 22:58:11 I generally rely on you to remember what I invented 22:58:13 Taneb invented one thing: Claiming other people's inventions for himself. 22:58:32 int-e, someone else invented that on my behalf 22:58:41 (Oh wait, I think that has already been done before.) 22:58:52 Taneb: sorry, I need to type faster. 22:59:01 int-e: Well, inventions are never named after the person who actually invented them. 22:59:04 int-e: Taneb's law. 22:59:34 subtle. 23:01:02 `wisdom hodge 23:01:04 cat: : No such file or directory \ // 23:01:40 `slwd tanebventions: math//s/the Hodge star operator, // 23:01:42 wisdom/tanebventions: math//Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, the axiom of choice, the reals, Lambek's lemma, pointless topology, and histograms. 23:02:04 oerjan: But now Taneb won't teach me differential geometry. :-( 23:02:13 i'm applying the analogous rule to the wiki's language list hth 23:02:33 that is: if you don't create an article with information, your entry will eventually be deleted. 23:02:42 `? lambek's lemma 23:02:42 *if no one creates 23:02:43 Lambek's Lemma, invented by Joachim "Taneb" Lambek, states that initial algebras have inverses. 23:02:51 scow 23:02:55 `? histogram 23:02:56 Histograms are diagrams showing histamine levels. Taneb invented them. 23:03:08 -!- Sgeo_ has joined. 23:03:20 `? opera 23:03:21 opera? ¯\(°​_o)/¯ 23:03:36 `? the axiom of choice 23:03:37 the axiom of choice? ¯\(°​_o)/¯ 23:03:50 But everyone knows what the axiom of choice is. 23:05:31 . o O ( Operas are an art form featuring soap or singing, and occasionally both at the same time. ) 23:05:55 shachaf: there are too many explanations to choose from tdnh 23:06:00 If you have an infinite number of ice cream parlours, each selling an infinite number of ice cream flavours, I can choose an ice cream flavours i 23:06:15 *ice cream flavour in each parlour 23:06:59 Taneb: are you really ready for such a great power 23:07:26 I'll do my best 23:07:48 I think that the axiom of choice is responsible for the phenomenon that the grass is always greener on the other side. 23:07:49 "every surjection is a retraction" 23:07:53 p. compact imo 23:08:36 -!- boily has joined. 23:08:43 (Mathematically: For every choice you make there is a better choice that you could've made instead.) 23:08:59 Every category has a skeleton 23:09:02 Is that wisdomy enough? 23:09:14 Taneb: in its closet? 23:09:24 int-ello, Tanelle. 23:09:33 int-e: What does that mean? Something about upper bounds? 23:09:42 more compact: "a product of compact spaces is compact" hth 23:09:49 shachaf: I'm applying logic to real life. 23:09:53 int-e, perhaps, but not necessarily 23:10:21 oerjan: you took the bait hth 23:10:34 yay! 23:10:51 But apparently you hid the swatter first. 23:11:16 -!- `^_^v has quit (Quit: This computer has gone to sleep). 23:11:22 you'll just have to borrow the mapole hth 23:11:53 boily: How many mapoles are there in the world? 23:12:07 every category is closet, okay 23:13:01 bare bones humor 23:13:18 `? taneb 23:13:18 Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards with dodgy SHIFT KEys, cube root of nine genders, and above average, not too voluminous, but calm eyebrows. (See also: tanebventions) 23:13:19 hellochaf. as many as there are meese hth 23:13:42 who needs a mapoling now? 23:13:43 Taneb knows the kings of England and he quotes the fights historical / From Marathon to Waterloo, in order categorical 23:14:11 a major general mapoling is in order 23:14:43 I can only get back to Edward V in the kings of England 23:15:01 before Edward V came Edward IV hth 23:15:21 Taneb may be afraid of skipping kings. 23:15:30 * boily kickstarts his Patented Motorized Powerful Mapole Projection Machine. *VBRRRRRRRRRR* 23:15:34 tdh 23:15:36 Taneb: don't worry, i can only get back to ... um some guy named George. 23:15:56 or wait, he wasn't named george originally. but anyway. 23:16:03 -!- jaboja has quit (Ping timeout: 264 seconds). 23:16:09 oerjan, was he one of the George's named Albert 23:16:18 Taneb: i think so 23:16:23 were there several? 23:16:45 it was a german-sounding name, anyway. which was why he had to change it. 23:16:54 The only king of England I know is Elizabeth. 23:17:12 also there was this guy called Edward, but i'm not sure if there was one in between. 23:17:37 and before that, another George, i think. 23:17:43 I thought there was but there isn't 23:17:59 Taneb: What's your vote for the next monarch after Elizabeth? 23:18:53 shachaf, Helen Mirren 23:19:20 -!- MoALTz has quit (Quit: Leaving). 23:27:37 -!- moonythedwarf_ has quit (Ping timeout: 244 seconds). 23:28:54 -!- moonythedwarf_ has joined. 23:31:31 -!- jaboja has joined. 23:31:47 ^style europarl 23:31:47 Selected style: europarl (European Parliament speeches during approx. 1996-2006) 23:31:53 fungot for president! 23:31:54 int-e: mr president, how often do european pensioners receive their pension. that is the case now. the green paper on the use of child labour. 23:32:13 or king, whatever 23:32:26 or queen? 23:32:33 never thought about that, actually 23:32:35 fungot for monarch butterfly 23:32:36 shachaf: mr president, i have two minor comments. firstly, one sometimes had the impression over recent months: first that, in a restaurant in a place where we can set down guidelines which will help to take us into uncharted territory. finally, at diplomatic level, mr prodi, i want to make something of it. 23:32:38 fungot: do you have a gender? 23:32:39 int-e: the discussion about the definition of indirect discrimination. i think that when it comes to facilitating trade and business, requires that parliament be there to assist the commission in this area, and in particular mr titley have said so far that the declaration of the 12th and then maybe he will understand why we in the commission this morning, before i go into the context of the new member states in this area should 23:32:57 `` cd wisdom; echo *sex* 23:32:58 drone sex sex 23:33:02 `? sex 23:33:03 Sex is a board game which originated in Britain in the 1870s before spreading throughout Europe in the 1890s. Sex was introduced to the rest of the world by a book, "The Complete Guide to Sex", written and published in 1932, based on the author's extensive experience with a wide variety of forms of European sex. 23:34:30 `cwlprits sex 23:34:32 tswett oerjan oerjan tswett 23:35:00 -!- augur has quit (Remote host closed the connection). 23:35:22 @google "a board game which originated in Britain in the 1870s before spreading throughout Europe in the 1890s" 23:35:28 http://codu.org/logs/raw/2015-06-18-raw.txt 23:44:00 -!- boily has quit (Quit: METAL CHICKEN). 23:46:43 -!- hppavilion[1] has joined.