00:01:31 <hppavilion[1]> 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 <hppavilion[1]> 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 <hppavilion[1]> (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 <myname> "i don't plan to make it too obscure", he said
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 <hppavilion[1]> 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 <tswett> hppavilion[1]: who says we can't see neutrinos already?
02:53:37 <tswett> A neutrino can produce a flash of light when it interacts with some water.
02:58:22 <tswett> And the stuff in our eyes is watery.
02:58:52 <int-e> So how often in a lifetime is that expected to happen?
02:59:13 <int-e> (I expect the number to be smaller than 1)
02:59:45 <hppavilion[1]> Has anybody applied math to shipping before (currently, newspeak is on hold)
03:00:17 <int-e> I also should sleep.
03:00:29 <hppavilion[1]> "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 <zzo38> 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 <zzo38> (But, I don't know if the light is enough or not)
03:30:02 <hppavilion[1]> 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 <hppavilion[1]> (so your fathers are (non-identical twin) brothers and your mothers are (non-identical twin) sisters
03:37:48 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
03:44:33 <tswett> zzo38: I think theoretically, humans can see single photons.
03:48:01 -!- augur has joined.
04:00:47 <zemhill__> 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:40 <HackEgo> Come and dance and love the fish! Mister Disco summoned it.
04:31:09 <HackEgo> <tswett> le/rn fish/Come and dance and love the fish! Mister Disco summoned it.
04:31:40 <HackEgo> hg log --removed --template "{desc}\n" -- "$@"
04:31:41 <shachaf> Did you do that in /msg 5 minutes ago?
04:31:49 <shachaf> You shouldn't le/rn in /msg
04:32:03 <shachaf> I don't know why you add the wisdoms that you do.
04:32:13 <tswett> All right, I won't le/rn in /msg in the future.
04:32:27 <shachaf> You shouldn't modify the HackEgo filesystem in /msg.
04:36:55 <shachaf> This rule is more important than the previous one.
04:39:06 <tswett> 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 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: go: not found
05:41:41 <myname> 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:43:48 <myname> weird, i never heard of it but wikipedia claims it is pretry big
05:48:02 <myname> they don't seem to have it on the german site, at least
06:18:01 -!- hppavilion[1] has joined.
06:24:15 <hppavilion[1]> Someday, we're going to have bandwidth making 4320p180 "no big deal"
06:24:33 <hppavilion[1]> (but we probably won't use it, because it isn't really much better for the eyes
06:35:57 <\oren\> hppavilion[1]: I find 720p already good enough
06:37:08 <hppavilion[1]> 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 <hppavilion[1]> 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 <int-e> @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:08:07 <int-e> 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:35:42 <Taneb> 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 <lambdabot> 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 <lambdabot> into this (mostly staring at code and trying to justify its safety)
11:06:02 -!- myname has quit (Quit: Lost terminal).
11:07:22 <oerjan> 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 <oerjan> (admittedly there's only one of the latter yet.)
11:09:01 -!- myname has joined.
11:11:14 -!- almightynsx1 has joined.
11:11:49 <oerjan> @ask int-e have you complained to kmett tmnh
11:12:29 -!- almightynsx has quit (Ping timeout: 265 seconds).
11:12:56 <oerjan> s/complained/sent pull requests/ mhb
11:17:45 -!- Reece` has joined.
11:32:00 -!- boily has joined.
11:36:52 <izabera> is it to be expected for quicksort to go from 100 elements to 18446744073709551615 elements?
11:37:27 <oerjan> izabera: er, probably not?
11:40:06 <boily> izabellora. what are you sorting?
11:40:55 <oerjan> boily: she's probably sorting tribbles hth
11:41:04 <izabera> apparently i'm sorting my whole address space
11:45:05 <izabera> off by 1 errors look much more friendly than off by ~0ull
12:04:14 -!- aloril has quit (Read error: Connection reset by peer).
12:07:28 <int-e> 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:57 <int-e> (at that time I missed the fact that profunctors effectively exports coerce as well)
12:18:12 <int-e> 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:20:24 <oerjan> unfortunately, you might be the only person with a need...
12:21:18 <oerjan> i suppose there are some other online interpreters.
12:22:06 <int-e> 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 <oerjan> 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 <int-e> Hmm, but I know how that trick works.
12:26:11 -!- boily has quit (Quit: PAGINATED CHICKEN).
12:27:49 <int-e> And in any case the Given code looks beautiful. Its evilness is all below the surface.
12:29:32 <int-e> 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:24:12 <b_jonas> 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 <b_jonas> Well, Conspiracy 2 is printing the black bordered take of an un-card too.
14:24:52 -!- hkgit03 has joined.
14:24:54 <b_jonas> 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:30 <hppavilion[1]> I just realized my name ("Nathan") contains a 'th'
18:21:05 <hppavilion[1]> And now I have to decide wheðer or not to use ðe 'þ' ðere.
18:27:44 -!- augur has joined.
18:28:12 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
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 <oerjan> @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:55:44 <oerjan> @tell ais523 well, i guess their original ips were blocked, that might have affected it.
18:56:34 <oerjan> @tell ais523 slightly disturbing that it also stopped the one legitimate new editor :P
19:00:44 <oerjan> @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:01:12 <oerjan> @tell ais523 *before filter 9
19:01:58 -!- wob_jonas has joined.
19:02:17 <oerjan> jonas, now extra wobbly
19:02:42 <oerjan> did you break your other computer
19:02:50 <wob_jonas> just cut into the tip of my index finger with a bread knife
19:03:04 <oerjan> been there, done that.
19:03:47 <oerjan> ...surprisingly long since i last did that...
19:04:00 <wob_jonas> I should KNOW not to get my hand where the knife can go when cutting
19:04:17 <oerjan> i do know, but i also get stressed sometimes.
19:05:12 <wob_jonas> 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 <oerjan> @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:49 <izabera> my off by ~0ull is now a off by 1
19:18:59 <izabera> can someone help me debug it?
19:19:27 <olsner> but off by ~0ull is just off by one
19:19:37 <izabera> yeah but this is a different one
19:19:52 <izabera> https://arin.ga/jhgXQH/raw this is my quicksort https://arin.ga/CJvsx9/raw and this is a test program
19:19:56 <oerjan> or (unsigned long long) (-1), i presume
19:19:58 <izabera> https://arin.ga/tB73J3/raw output i get
19:20:06 -!- MoALTz has joined.
19:20:19 <olsner> hmm, off by -1 should be one step more correct than off by 0
19:20:30 <izabera> it prints the array at each step for debugging purposes
19:26:00 <oerjan> ok that C is too complicated for me.
19:28:28 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
19:29:16 <izabera> i think the problem is in my partition step
19:29:56 <izabera> that works fine if one chooses 0 as the pivot but i'm choosing the median of 0, end/2, end
19:30:15 <izabera> so sometimes i end up looping forever
19:30:45 -!- AlexR42 has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
19:31:10 <oerjan> <zemhill__> web.minpoijjikop: points -46.00, score 0.00, rank 47/47 (-44) <-- wat
19:31:24 <oerjan> did a spammer find the web interface, or something.
19:31:48 <oerjan> hm fizzie is highly idle
19:32:57 <oerjan> hm zemhill shows up in googling for that word. i guess it's genuine.
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 <oerjan> this might not be optimal.
19:40:05 <wob_jonas> oerjan: perhaps it's some strange Finnish word or concatenation of words
19:41:28 <oerjan> well i think poij- is a form of poika, meaning boy.
19:42:22 <oerjan> but the rest doesn't look very finnish.
19:44:29 <wob_jonas> oerjan: yes, it's strange because "min" would be in Swedish
19:45:19 <oerjan> well pojke is a swedish word, i suspect borrowed from the finnish one.
19:45:23 -!- hppavilion[1] has joined.
19:45:33 <oerjan> or maybe vice versa. i should look that up.
19:45:38 <wob_jonas> so is the whole thing swedish then?
19:46:00 <oerjan> from finnish, claims wiktionary.
19:46:32 <oerjan> well no, the -jikop part isn't very swedish either. and there's an extra -i- too.
19:46:57 <wob_jonas> how do the norwegians spell it? they have such strange spellings
19:47:46 <oerjan> norwegian hasn't borrowed that word, we use "gutt" which is theorized to be from dutch.
19:48:44 <oerjan> and danish uses "dreng"
19:49:01 <oerjan> (which is archaic in norwegian.)
19:49:08 <wob_jonas> does "ikop" mean something without the "j" in some language?
19:49:58 <oerjan> apparently dreng is from norse.
19:50:46 <oerjan> köp is swedish for "buy"
19:51:09 <wob_jonas> but then "poijji" would be strange
19:51:32 <oerjan> køp isn't really anything that i know, i think the danish is køb, and the norwegian is kjøp.
19:52:23 <oerjan> kop is a verb in norwegian, at least in my dialect, meaning "stare" or "ogle" (i'm not exactly sure.)
19:53:15 <oerjan> ok "dreng" in norwegian nowadays means farmhand, essentially.
19:57:35 <oerjan> i think the -ijji- is strange no matter how you look at it.
19:58:20 <int-e> lesson learned: bind mounts don't follow symlinks
19:58:22 <oerjan> it couldn't really be any scandinavian language, and i'm not sure about finnish.
19:59:12 <int-e> ghci isn't getting any faster :/
19:59:58 <oerjan> "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 <int-e> up from 1.2s to almost 2 seconds... that will cause a lot of timeouts.
20:00:06 <oerjan> so it's not even finnish.
20:00:29 <int-e> (note that this is best case time)
20:01:28 <FireFly> <oerjan> 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:53 <oerjan> FireFly: wiktionary claims it's from finnish to swedish. it doesn't really look swedish, after all.
20:02:17 <int-e> okay, what else is missing... hoogle database
20:02:28 <FireFly> wob_jonas: according to wiktionary the finnish word is from proto-finnic, from proto-uralic
20:02:49 <oerjan> "From Proto-Finnic *poika, from Proto-Uralic *pojka. Cognate with Livvi poigu, Estonian poeg, poiss and Hungarian fiú."
20:02:52 <FireFly> "Cognate with Livvi poigu, Estonian poeg, poiss and Hungarian fiú."
20:02:57 <oerjan> that's pretty definite.
20:03:02 <wob_jonas> Can -ijji- appear in a spelling of some word like Ilion (Troy) or million in some language?
20:04:04 <oerjan> 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 <wob_jonas> oerjan: so it's button mash like jlas;dkljdad;skj on the homerow (but when your index finger is cut)?
20:06:13 <FireFly> where did minpoijjikop appear?
20:06:40 <hppavilion[1]> Perhaps I should install German Dvorak and learn to type on that?
20:06:52 <oerjan> minpoijjikop = 271987447589 if you think of it as embedded numpad (which i had on my previous laptop)
20:06:58 <wob_jonas> hppavilion: German is useful. dunno about dvorak.
20:08:04 <FireFly> in dutch it'd probably be koep
20:08:42 <wob_jonas> oerjan: wait what? that's not how an embedded numpad is usually laid out
20:09:51 <wob_jonas> oerjan: isn't the usual layout y/mjkluio789/0123456789/ ?
20:10:42 <oerjan> wob_jonas: well it's the only way to fit this in one, is all
20:11:21 <oerjan> hm right the 0 gets awkward
20:11:35 <olsner> ah, my laptop also has a numpad, on those keys
20:12:07 <FireFly> wob_jonas: I don't know, but it looks more dutch to me that way
20:12:17 <oerjan> koep doesn't seem to be a dutch word, although koepel is.
20:13:43 -!- AnotherTest has joined.
20:13:58 <olsner> 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 <wob_jonas> we should add a wisdom entry for minpoijjikop
20:16:13 <int-e> wow, hoogle's taking its time...
20:19:49 <int-e> increased the timeout a bit (if I found the right knob), hopefully that'll do the trick
20:21:45 <oerjan> int-e: i don't think that one will finish anyhow hth
20:22:09 <wob_jonas> oerjan: sure it does. it only takes about O(omega) time.
20:22:13 <int-e> oerjan: I was looking at the 12 seconds between sending that message and the reply, obviously!!!!1
20:22:53 <int-e> in the meantime, hoogle is indexing package 1540 out of 1998?!
20:24:07 <lambdabot> Djinn command failed: djinn: readCreateProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
20:24:08 <oerjan> that 1998 does seem a bit low
20:24:31 <oerjan> practically last century
20:24:52 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
20:24:57 <int-e> cabal: unrecognized 'install' option `--dry-un'
20:25:08 <int-e> stupid program, it's totally clear what I meant ;-)
20:28:54 -!- augur has joined.
20:33:20 -!- augur has quit (Ping timeout: 244 seconds).
20:34:05 <lambdabot> Error: kind error: (KArrow (KVar 1) (KVar 2),KVar 0)
20:34:35 <FreeFull> @djinn (Functor f) => a -> b -> f a -> f b
20:34:50 <FreeFull> It doesn't know about functors?
20:36:10 <lambdabot> djinn provides: djinn djinn-add djinn-del djinn-env djinn-names djinn-clr djinn-ver
20:36:18 <oerjan> maybe it's actually empty
20:36:26 <wob_jonas> 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:40 <int-e> @djinn knows Eq and Monad, apparently.
20:37:05 <oerjan> int-e: i thought those were part of @djinn-env
20:37:05 <int-e> wob_jonas: just for the record, I wasn't serious.
20:37:23 <int-e> oerjan: perhaps but they're also here: https://github.com/augustss/djinn/blob/master/src/Djinn.hs
20:37:26 <FreeFull> @djinn (Eq a b) => a -> b -> Bool
20:38:03 <int-e> in any case I do not feel responsible for @djinn at all.
20:38:29 <oerjan> @djinn-add class Functor f where fmap :: (a -> b) -> f a -> f b
20:38:32 <wob_jonas> hehe, yes, that looks like a rank error
20:38:37 <FreeFull> @djinn (Eq a) => a -> a -> (Bool, Bool)
20:38:38 <lambdabot> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> f :: (Eq a) => a -> a -> (Bool, Bool)
20:38:43 <oerjan> int-e: shouldn't it respond something
20:39:11 <oerjan> and maybe a bit less clumped
20:40:04 <int-e> oerjan: I think you're in "patches welcome" territory there.
20:40:28 <FreeFull> @djinn (Eq a) => a -> a -> (Bool, Bool)
20:40:29 <lambdabot> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> f :: (Eq a) => a -> a -> (Bool, Bool)
20:40:58 <int-e> I don't even know how that works
20:41:03 <lambdabot> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> Djinn> f :: a -> a
20:41:11 <int-e> @djinn-del class Functor
20:41:18 <int-e> @djinn-del class Functor f where fmap :: (a -> b) -> f a -> f
20:42:20 <oerjan> @djinn-del class Functor f where fmap :: (a -> b) -> f a -> f b
20:42:28 <lambdabot> data Either a b = Left a | Right b
20:42:32 <lambdabot> class Monad m where return :: a -> m a; (>>=) :: m a -> (a -> m b) -> m b
20:42:34 <lambdabot> class Eq a where (==) :: a -> a -> Bool
20:42:41 <lambdabot> Either Left Right Maybe Nothing Just Bool False True Void Not Void Monad Eq Bool
20:43:09 <lambdabot> 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 <lambdabot> error, called at src/General/Store.hs:181:13 in hoogle-5.0.2-5GwbZ4e6btT4ckpCChTs4k:General.Store
20:43:09 <lambdabot> error, called at src/General/Util.hs:239:66 in hoogle-5.0.2-5GwbZ4e6btT4ckpCChTs4k:General.Util
20:43:27 <int-e> hoogle is still initializing
20:43:32 <FreeFull> @djinn (Eq a) => a -> a -> Bool
20:44:24 <FreeFull> Does it produce a random operator each time?
20:44:37 <FreeFull> This one has an odd truth table
20:44:40 <Taneb> @djinn a -> (a->a->b) -> b
20:45:07 <int-e> (and taking its time, probably thrashing the VM)
20:45:33 -!- hppavilion[1] has joined.
20:51:13 <wob_jonas> hppavilion[1]: levezeti. no wait, that's a different pun.
20:51:17 <int-e> @hoogle (Monoid s) => s -> s -> s
20:51:21 <lambdabot> Prelude mappend :: Monoid a => a -> a -> a
20:51:21 <lambdabot> Data.Monoid mappend :: Monoid a => a -> a -> a
20:51:21 <lambdabot> Data.Semigroup mappend :: Monoid a => a -> a -> a
20:51:35 <hppavilion[1]> A: Use the classic "uncountably many cops of varying good/bad alignments on a [0,1] interval" routine
20:56:49 -!- lambdabot has quit (Quit: sorry, need to test this).
20:58:29 <oerjan> wob_jonas: wiktionary doesn't have that word :(
21:00:35 <oerjan> wob_jonas: does the pun involve juice twh
21:01:33 <oerjan> were any zorn's lemons or abelian grapes harmed during the production of this pun
21:02:27 <FreeFull> hppavilion[1]: Are they wearing black and white hats, and have blue or brown eyes?
21:02:40 <FreeFull> And sometimes, one of them lies
21:02:58 <wob_jonas> FreeFull: blue or brown eyes doesn't have an uncountable version, does it?
21:03:09 <oerjan> wob_jonas: what about juice
21:03:15 <FreeFull> wob_jonas: That's what makes the interrogation exciting
21:03:39 -!- lambdabot has joined.
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 <zzo38> 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:09:17 <lambdabot> error, called at <interactive>:3:1 in interactive:Ghci1
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:41:03 <FreeFull> @djinn (a -> b) -> Maybe a -> Maybe b
22:45:13 -!- lambdabot has quit (Remote host closed the connection).
22:51:32 -!- mad has joined.
22:51:42 -!- lambdabot has joined.
22:52:51 <mad> anyone else think that the collatz conjecture system is probably turing complete?
22:53:19 <mad> (the collatz system is N=3*N+1 if N is odd, and N=N/2 if N is even)
22:53:19 <oerjan> i doubt it. not that particular function.
22:53:38 <mad> do you think that it's too random?
22:53:59 <oerjan> or too little structure.
22:54:16 <mad> isn't that another way of saying too random? :D
22:54:48 -!- carado has quit (Remote host closed the connection).
22:55:23 <oerjan> you can have order that just doesn't build complexity.
22:55:44 <FreeFull> mad: How would you do any computation with it?
22:56:12 <Taneb> mad, I'm not sure that it's random at all
22:56:13 <mad> it acts as a cellular automata in base 6?
22:56:16 <HackEgo> 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:27 <HackEgo> 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 <mad> like, in base 6, *3 is the same as /2
22:56:36 <oerjan> mad: it really doesn't.
22:56:42 <mad> except for what happens to the last digits
22:56:58 <int-e> 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 <FreeFull> mad: Instead of focusing on this
22:57:11 <shachaf> `slwd tanebventions:math//s/the reals/the axiom of choice, &/
22:57:12 <FreeFull> mad: How about you construct a computer using the Star Wars cellular automaton
22:57:16 <shachaf> `slwd tanebventions: math//s/the reals/the axiom of choice, &/
22:57:18 <HackEgo> 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 <mad> 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:33 <HackEgo> hodge star operator? ¯\(°_o)/¯
22:57:40 <shachaf> Taneb: Did you really invent that?
22:58:03 <shachaf> Can you explain what it is?
22:58:08 <shachaf> Also can you teach me differential geometry?
22:58:09 <FreeFull> Did Taneb invent Surreal Numbers too?
22:58:11 <Taneb> I generally rely on you to remember what I invented
22:58:13 <int-e> Taneb invented one thing: Claiming other people's inventions for himself.
22:58:32 <Taneb> int-e, someone else invented that on my behalf
22:58:41 <int-e> (Oh wait, I think that has already been done before.)
22:58:52 <int-e> Taneb: sorry, I need to type faster.
22:59:01 <shachaf> int-e: Well, inventions are never named after the person who actually invented them.
23:01:04 <HackEgo> cat: : No such file or directory \ //
23:01:40 <oerjan> `slwd tanebventions: math//s/the Hodge star operator, //
23:01:42 <HackEgo> 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 <shachaf> oerjan: But now Taneb won't teach me differential geometry. :-(
23:02:13 <oerjan> i'm applying the analogous rule to the wiki's language list hth
23:02:33 <oerjan> that is: if you don't create an article with information, your entry will eventually be deleted.
23:02:43 <HackEgo> Lambek's Lemma, invented by Joachim "Taneb" Lambek, states that initial algebras have inverses.
23:02:56 <HackEgo> Histograms are diagrams showing histamine levels. Taneb invented them.
23:03:08 -!- Sgeo_ has joined.
23:03:37 <HackEgo> the axiom of choice? ¯\(°_o)/¯
23:03:50 <shachaf> But everyone knows what the axiom of choice is.
23:05:31 <int-e> . o O ( Operas are an art form featuring soap or singing, and occasionally both at the same time. )
23:05:55 <oerjan> shachaf: there are too many explanations to choose from tdnh
23:06:00 <Taneb> 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 <Taneb> *ice cream flavour in each parlour
23:06:59 <oerjan> Taneb: are you really ready for such a great power
23:07:48 <int-e> 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 <shachaf> "every surjection is a retraction"
23:08:36 -!- boily has joined.
23:08:43 <int-e> (Mathematically: For every choice you make there is a better choice that you could've made instead.)
23:08:59 <Taneb> Every category has a skeleton
23:09:02 <int-e> Is that wisdomy enough?
23:09:14 <int-e> Taneb: in its closet?
23:09:24 <boily> int-ello, Tanelle.
23:09:33 <shachaf> int-e: What does that mean? Something about upper bounds?
23:09:42 <oerjan> more compact: "a product of compact spaces is compact" hth
23:09:49 <int-e> shachaf: I'm applying logic to real life.
23:09:53 <Taneb> int-e, perhaps, but not necessarily
23:10:21 <shachaf> oerjan: you took the bait hth
23:10:51 <shachaf> But apparently you hid the swatter first.
23:11:16 -!- `^_^v has quit (Quit: This computer has gone to sleep).
23:11:22 <oerjan> you'll just have to borrow the mapole hth
23:11:53 <shachaf> boily: How many mapoles are there in the world?
23:12:07 <oerjan> every category is closet, okay
23:13:18 <HackEgo> 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 <boily> hellochaf. as many as there are meese hth
23:13:42 <boily> who needs a mapoling now?
23:13:43 <shachaf> Taneb knows the kings of England and he quotes the fights historical / From Marathon to Waterloo, in order categorical
23:14:11 <oerjan> a major general mapoling is in order
23:14:43 <Taneb> I can only get back to Edward V in the kings of England
23:15:01 <shachaf> before Edward V came Edward IV hth
23:15:21 <int-e> Taneb may be afraid of skipping kings.
23:15:30 * boily kickstarts his Patented Motorized Powerful Mapole Projection Machine. *VBRRRRRRRRRR*
23:15:36 <oerjan> Taneb: don't worry, i can only get back to ... um some guy named George.
23:15:56 <oerjan> or wait, he wasn't named george originally. but anyway.
23:16:03 -!- jaboja has quit (Ping timeout: 264 seconds).
23:16:09 <Taneb> oerjan, was he one of the George's named Albert
23:16:45 <oerjan> it was a german-sounding name, anyway. which was why he had to change it.
23:16:54 <shachaf> The only king of England I know is Elizabeth.
23:17:12 <oerjan> also there was this guy called Edward, but i'm not sure if there was one in between.
23:17:37 <oerjan> and before that, another George, i think.
23:17:43 <Taneb> I thought there was but there isn't
23:17:59 <shachaf> Taneb: What's your vote for the next monarch after Elizabeth?
23:18:53 <Taneb> 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 <fungot> Selected style: europarl (European Parliament speeches during approx. 1996-2006)
23:31:53 <int-e> fungot for president!
23:31:54 <fungot> 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:33 <int-e> never thought about that, actually
23:32:35 <shachaf> fungot for monarch butterfly
23:32:36 <fungot> 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 <int-e> fungot: do you have a gender?
23:32:39 <fungot> 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 <int-e> `` cd wisdom; echo *sex*
23:33:03 <HackEgo> 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:32 <HackEgo> tswett oerjan oerjan tswett
23:35:00 -!- augur has quit (Remote host closed the connection).
23:35:22 <int-e> @google "a board game which originated in Britain in the 1870s before spreading throughout Europe in the 1890s"
23:35:28 <lambdabot> 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.