00:01:27 -!- ^v has joined. 00:06:03 -!- Tritonio_ has joined. 00:07:26 -!- Tritonio has quit (Ping timeout: 252 seconds). 00:07:58 -!- Tritonio_ has changed nick to Tritonio. 00:09:08 -!- Lymia has quit (Ping timeout: 245 seconds). 00:31:41 -!- Lymia has joined. 00:37:58 -!- shikhin_ has joined. 00:40:56 -!- shikhin has quit (Ping timeout: 244 seconds). 00:50:19 -!- mihow has quit (Quit: mihow). 01:03:44 I am looking forward to Australia's entry to Eurovision this year 01:17:51 Austrialia 01:18:42 -!- olsner has quit (Ping timeout: 246 seconds). 01:18:49 * oerjan assumes Taneb is being serious 01:19:03 oerjan, yes 01:19:10 http://www.eurovision.tv/page/news?id=australia_to_participate_in_the_2015_eurovision_song_contest 01:21:20 -!- adu has quit (Quit: adu). 01:21:26 can we hope for some confused votes if both australia and austria reach the final 01:22:03 or is austria one of those countries who've stopped participating 01:22:38 hm nope, the final is actually _in_ austria 01:22:54 definitely some joke potential here 01:24:47 -!- olsner has joined. 01:27:15 ah, they already thought of "what if they win" 01:30:28 -!- adu has joined. 01:34:33 oerjan, if they hadn't I'd vote for Australia just to see them panic 01:34:49 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:38:13 -!- pallokolmio has quit (Ping timeout: 255 seconds). 01:40:23 -!- Lymia has quit (Ping timeout: 245 seconds). 01:51:08 -!- newline1 has joined. 01:51:19 -!- newline1 has left. 02:17:58 > let the = 0:11: zipWith (\a b -> a+b+1) (tail the) ((init . tail) $ the) in the 02:18:02 mueval-core: Time limit exceeded 02:18:14 > let the = 0:11: zipWith (\a b -> a+b+1) (tail the) ((init . tail) $ the) in take 7 the 02:18:18 mueval-core: Time limit exceeded 02:18:24 nigger 02:19:27 please don't use offensive words like that in here 02:19:44 -!- ^v has quit (Read error: Connection reset by peer). 02:20:07 -!- ^v has joined. 02:20:58 i think the (init . tail) $ the is not lazy enough to work with just two elements known 02:21:05 Except in the context of discussion of, say, the works of Mark Twain. 02:21:18 (I guarantee that wasn't in such a context) 02:21:49 even then, preferably, at least not in here 02:22:10 are you saying mark twain isn't esoteric 02:22:34 oh wait misparsed 02:22:34 -!- Froox has joined. 02:22:48 never the twain shall meet 02:24:50 dulla: if you are going to create an infinite list, then init is redundant anyhow 02:25:12 leonardo numbers, yo 02:25:21 oh wait, durr 02:25:54 -!- Frooxius has quit (Ping timeout: 250 seconds). 02:26:00 > let durr 1:1: zipWith (\a b -> a+b+1) durr tail durr in durr 02:26:02 :1:54: parse error on input ‘in’ 02:26:15 getting closer 02:26:24 > let durr 1:1: zipWith (\a b -> a+b+1) durr (tail durr) in durr 02:26:25 :1:56: parse error on input ‘in’ 02:26:34 needs work on the punctuation 02:27:00 > let durr = 1:1: zipWith (\a b -> a+b+1) durr (tail durr) in durr 02:27:02 [1,1,3,5,9,15,25,41,67,109,177,287,465,753,1219,1973,3193,5167,8361,13529,21... 02:27:30 Meanwhile I disconnect everwhere else 02:27:36 great success 02:27:59 food -> 02:28:08 If I recall leonardo numbers are okay for heaps 02:29:58 -!- Lymia has joined. 02:31:20 -!- CADD has joined. 02:33:05 okay, for smooth sort 02:37:33 game idea: mark twain clones running around in 19th century san francisco, your goal is to keep them from meeting. 02:37:45 emperor norton will be included. 02:39:31 Well of course. 02:39:32 > :help 02:39:33 :1:1: parse error on input ‘:’ 02:39:37 > help 02:39:37 wait, it's not a clone, it's mark twain from a parallel universe where norton _actually_ rules. 02:39:38 Not in scope: ‘help’ 02:39:48 ? 02:39:57 dulla: lambdabot is not GHCi 02:40:03 it has :t and :k commands, but not much else 02:40:41 (from GHCi that is. it has many other commands.) 02:40:57 > :k "Jesus" 02:40:59 :1:1: parse error on input ‘:’ 02:41:01 @help 02:41:02 help . Ask for help for . Try 'list' for all commands 02:41:31 @list 02:41:31 What module? Try @listmodules for some ideas. 02:42:15 We need more shadow of the Colossus 02:42:18 More DD 02:54:19 "Because the Academy could not plan ahead, buildings were placed wherever they fit; they were attached to other buildings by a network of tunnels, bridges, and walkways that were rumored to have been the inspiration for a frustrated Professor Dijkstra’s famous pathfinding charm." 02:55:17 lol 03:18:21 anyone know about them zippers 03:20:55 -!- nisstyre has quit (Changing host). 03:20:55 -!- nisstyre has joined. 03:30:12 oleg does hth 03:35:24 he does 03:43:59 -!- fractal has quit (Ping timeout: 272 seconds). 03:50:56 -!- pallokolmio has joined. 03:51:04 I found a really.. weird spammer on reddit 03:51:27 Posts images on a weird domain. Viewed from a desktop UA string, it's legitimate content, viewed from a mobile UA, it's a creepy porn ad 03:56:01 -!- adu has quit (Quit: adu). 03:56:19 huh i guess that was inevitable 03:57:43 -!- ProofTechnique has joined. 04:00:17 -!- nyuszika7h has quit (Read error: Connection reset by peer). 04:01:37 -!- nyuszika7h_ has joined. 04:17:17 -!- bb010g has joined. 04:29:23 -!- Zefpher has joined. 04:29:39 Muahahha 04:29:44 Hello~ 04:30:55 ^ ban he 04:31:06 * Zefpher stabs dulla 04:31:08 What 04:31:19 * dulla dullas the stab 04:31:28 Dull knife 04:32:41 Why did you say ban he? 04:32:44 ?!??!!? 04:32:44 Unknown command, try @list 04:32:59 ?!?! should make lambdabot flip out 04:32:59 should make lambdabot flip out 04:33:05 I seeeeee 04:33:43 @jesus 04:33:43 Unknown command, try @list 04:33:47 @list 04:33:47 What module? Try @listmodules for some ideas. 04:33:54 @listmodules 04:33:54 activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime metar more oeis offlineRC pl pointful poll pretty quote search slap source spell system tell ticker todo topic type undo unlambda unmtl version where 04:34:02 @help dice 04:34:02 @dice . Throw random dice. is of the form 3d6+2. 04:34:12 @listmodules bf 04:34:12 activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime metar more oeis offlineRC pl pointful poll pretty quote search slap source spell system tell ticker todo topic type undo unlambda unmtl version where 04:34:14 @dice 3d3 04:34:14 dulla: 1+2+2 => 5 04:34:24 @dice 100d20 04:34:25 dulla: 1043 04:34:35 @dice d6 04:34:36 Zefpher: 2 04:34:44 Reroll your destiny 04:37:27 Monad structures make me confuse 04:37:44 -!- fractal has joined. 04:39:15 something something encapsulating computations 04:39:24 Burn it all 04:39:30 each of them has some kind of effect 04:39:49 ugh 04:39:54 Maybe is the case of failure, Just a | Nothing, the latter being the failure 04:40:02 ill just go back to making librarys for people 04:40:09 Either can be more verbose, but can be used for choice 04:40:22 Then there is List for multiple answers 04:40:25 verbose Fuck 04:40:30 State for Mutable or Global States 04:40:31 -!- KingOfKarlsruhe has quit (Ping timeout: 245 seconds). 04:40:59 No idea what Reader or Writer do 04:41:17 Error throws an exception, which usually fucks a lot of things 04:41:54 -!- jix has quit (Ping timeout: 245 seconds). 04:42:01 Perhaps does range data, which is good for probablity 04:42:19 And then there's there's the Monte Carlo 04:42:28 Reader allows for pervasive read-only state. It's the same as passing the same thing into every function 04:42:41 And Writer? 04:42:56 Writer is for write-only state, such as logging 04:43:03 Ah 04:43:19 -!- KingOfKarlsruhe has joined. 04:43:25 -!- naturalog has quit (Ping timeout: 250 seconds). 04:43:35 > Monte Carlo is so that people can do arithmetic operations on probablistic distributions 04:43:36 :1:35: parse error on input ‘do’ 04:43:50 or distribution curves 04:43:50 Either and Error are... kind of the same 04:43:52 -!- jix has joined. 04:43:56 a monad is just an endomorphism in the category of bad analogies hth 04:43:58 At least when used as a monad 04:44:05 hth? 04:44:12 ` 04:44:12 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found 04:44:15 Idk whats going on with my ban times but they exceed any actual universal date 04:44:15 oops 04:44:19 hackage 04:44:21 `? hth 04:44:22 hth is help received from a hairy toe. It is not at all hambiguitous. 04:44:42 my raw meat ingots 04:44:50 -!- naturalog has joined. 04:44:51 Hmmm 04:45:05 curious, irc clients somehow manage multiple network connections 04:45:23 oh wait s/endomorphism/monoid/ 04:45:26 how long is 78e+8000000000000000000 years? 04:45:27 Not sure how to deal with that in a functional purview 04:45:58 namely because of a very primitive, if any, understanding of juggling state or data 04:46:16 Uh 04:46:26 the issue of multiple handles comes up again in writing to multiple log files at once 04:46:40 Hmmm I find any language that requires a drag and drop variable type to very useful 04:46:53 Either x = CodensityAsk (Traced x) and I hoped they would add the corresponding MonadPlus Either instance. Shoudln't it be? 04:46:55 -!- MDude has changed nick to MDream. 04:47:14 man 04:47:16 I forgot what is was called 04:47:19 if I knew math 04:47:22 lol 04:47:34 * Zefpher pats dulla 04:47:39 makes me think of a visual IDE, Zefpher 04:47:52 ja 04:47:59 @where hackage 04:48:00 , also see `revdeps' 04:48:48 No but they were little tabs on a free white space and you just pulled variable strings to eachother and it made a nice big spider web of variables 04:49:09 doesn't work anymore though 04:49:15 ;w; sadness 04:49:18 * dulla shrugs 04:49:26 Even Ethereum has that kind of thing already 04:50:29 > Left "hm" `mplus` Left "..." `mplus` Right 42 04:50:31 Right 42 04:50:56 zzo38: isn't that the MonadPlus? 04:51:14 > infinite 04:51:16 Not in scope: ‘infinite’ 04:51:16 Perhaps you meant one of these: 04:51:16 ‘infinity’ (imported from Data.Number.Natural), 04:51:28 > infinity 04:51:30 *Exception: stack overflow 04:51:35 fancy 04:51:40 Aww 04:51:41 :t infinity 04:51:42 Natural 04:52:02 Lets make a bot that can list out really big numbers 04:52:14 :k "jesus" 04:52:15 > 10^10^100 04:52:15 GHC.TypeLits.Symbol 04:52:15 no that's spam 04:52:31 pssht 04:52:40 who said we would join it here oerjan 04:53:10 > Left "hm" <|> Left "..." 04:53:11 Left "..." 04:53:34 no but idk I'm just getting really big numbers 04:53:37 > Left 7 04:53:38 Left 7 04:53:40 It isn't quite the one I wanted although it might do I suppose 04:53:43 > Nothing 04:53:44 Nothing 04:53:45 maybe I messed up 04:53:47 :t Nothing 04:53:48 Maybe a 04:53:54 :k Nothing 04:53:55 Maybe k 04:54:00 :k "the" 04:54:01 ak 04:54:02 GHC.TypeLits.Symbol 04:54:04 It isn't the one achieved from CodensityAsk (Traced x) anyways 04:54:07 : 'a' 04:54:13 :k 'a' 04:54:14 parse error on input ‘'’ 04:54:15 zzo38: if you mean the thing that does mappend on the Lefts, i thought that was only Applicative? 04:54:29 :k 04:54:30 parse error on input ‘<’ 04:54:38 > Left "hm" `mplus` Left "..." 04:54:40 Left "..." 04:54:40 :k [a] 04:54:41 Not in scope: type variable ‘a’ 04:54:46 * Zefpher pats lambdabot 04:54:49 ish ok 04:54:59 > Right "a" `mplus` Left "b" 04:55:01 Right "a" 04:55:07 oerjan: Applicative? How is that? 04:55:15 > Left "a" `mplus` Right "b" 04:55:16 Right "b" 04:55:24 > Left "a" `mplus` Left "b" 04:55:25 Left "b" 04:55:29 I don't see how Applicative would do it. 04:55:34 > Right "a" `mplus` Right "b" 04:55:36 No instance for (GHC.Show.Show a0) 04:55:36 arising from a use of ‘M211300074112954360827231.show_M2113000741129543608... 04:55:36 The type variable ‘a0’ is ambiguous 04:55:43 uh 04:55:58 two rights make a wrong dulla 04:56:01 I can't add two Rights 04:56:01 :) 04:56:22 The one that lambdabot seems to use is wrong 04:56:32 It doesn't follow the laws 04:56:40 IT DOESN"T FOLLOW THE RULES 04:56:44 -!- ProofTechnique has quit (Ping timeout: 246 seconds). 04:56:51 zzo38: i meant Alternative i guess 04:57:08 > Right "a" `mplus` left "a" 04:57:09 Couldn't match type ‘Data.Either.Either GHC.Types.Char d’ 04:57:09 with ‘[GHC.Types.Char]’ 04:57:09 Expected type: Data.Either.Either 04:57:13 The <|> is Alternative and it doesn't do it either 04:57:17 > repeat "hora" 04:57:18 Fuck you lambdabot 04:57:19 ["hora","hora","hora","hora","hora","hora","hora","hora","hora","hora","hora... 04:57:22 dammit 04:57:25 anyways 04:57:27 > empty :: Either String String 04:57:29 Left "" 04:57:32 > concat . repeat $ "hora" 04:57:34 "horahorahorahorahorahorahorahorahorahorahorahorahorahorahorahorahorahorahor... 04:57:35 Why doesn't it follow the laws?! 04:57:39 yesssssss 04:57:51 > empty :: Either [Int] [Int] 04:57:52 No instance for (Control.Monad.Trans.Error.ErrorList GHC.Types.Int) 04:57:52 arising from a use of ‘Control.Applicative.empty’ 04:57:54 > concat . repeat $ "hora" 04:57:56 "horahorahorahorahorahorahorahorahorahorahorahorahorahorahorahorahorahorahor... 04:58:00 lol 04:58:09 > Left "hm" <|> Left "" 04:58:10 Left "" 04:58:15 pfft 04:58:21 It seems right-biased 04:58:22 That violates the laws it is wrong 04:58:25 also 04:58:30 What is associativity 04:58:35 never got it 04:58:42 left rights 04:58:43 Now I proved it is wrong. 04:58:46 > Left "hm" <|> right "" 04:58:47 Couldn't match type ‘Data.Either.Either d b0’ 04:58:47 with ‘[GHC.Types.Char]’ 04:58:47 Expected type: Data.Either.Either 04:58:50 non 04:58:53 also 04:58:59 «» count also¿ 04:59:10 Zefpher: You have to capitalize both "Left" and "Right" 04:59:19 > concat . repeat $ "shoah" 04:59:20 ugh 04:59:21 "shoahshoahshoahshoahshoahshoahshoahshoahshoahshoahshoahshoahshoahshoahshoah... 04:59:22 work 04:59:29 > [a..z] 04:59:30 *Exception: not an integer: a 04:59:33 oerjan: Now can you see it is all wrong? 04:59:47 > ['a'..'z'] 04:59:49 "abcdefghijklmnopqrstuvwxyz" 04:59:55 > ['A'..'z'] 04:59:55 > Left "hm" <|> Right "" 04:59:56 "ABCDEFGHIJKLMNOPQRSTUVWXYZ[\\]^_`abcdefghijklmnopqrstuvwxyz" 04:59:57 can't find file: L.hs 05:00:03 k 05:00:21 > [minBound..maxBound] :: [Char] 05:00:22 "\NUL\SOH\STX\ETX\EOT\ENQ\ACK\a\b\t\n\v\f\r\SO\SI\DLE\DC1\DC2\DC3\DC4\NAK\SY... 05:00:38 > [ 'A' ... '1'] 05:00:40 Couldn't match type ‘GHC.Types.Char’ 05:00:40 with ‘(c0 -> f c0) -> s -> f t’ 05:00:40 Expected type: Control.Lens.Type.LensLike f s t c0 c0 05:00:40 When I put that in ghci it spams me with \n 05:00:47 pfft 05:00:49 seriously 05:00:49 weirdo 05:00:51 the fuck 05:00:56 I want characters 05:01:00 not control characters 05:01:13 lambdabot is having a dumb 05:01:26 it freaks out in the middle of dumping ASCII 256 when I do it in ghci 05:01:31 why does it do that 05:01:52 why can't it putChar something int he Prelude's Char class 05:02:23 zzo38: i don't know which law you claim it violates 05:02:28 It just strings random variables out 05:02:34 for me 05:02:58 oerjan: Monoid law 05:03:34 fuck the MonadPlus Laws 05:03:35 > raw :: empty 05:03:37 Not in scope: ‘raw’ 05:03:45 > undefined 05:03:46 *Exception: Prelude.undefined 05:03:48 Fuck you Watson 05:03:50 lol 05:04:01 Fuck the MonadZero Laws 05:04:06 Fuck the Monad Laws 05:04:11 stupid 05:04:12 Fuck the Arrow "Laws" 05:04:24 why can't I just have fun ;--; 05:04:30 So many laws 05:05:02 I want the Alternative (Either x) and MonadPlus (Either x) instances which are the same one that you would achieve for free as if it was CodensityAsk (Traced x) 05:05:20 Which do follow the monoid laws properly 05:05:27 raw :: empty should just output empty 05:05:28 what are the implementations? 05:05:30 ya dip 05:05:36 or maybe I'm just a weirdo 05:06:00 probably the latter 05:06:13 * Zefpher pets elliott 05:06:21 I also made up a proper MonadPlus IO instance but people don't use it and use the wrong one instead. 05:06:59 (and the corresponding Alternative IO) 05:08:41 dulla: GHCi uses your locale settings as default for stdout's allowed characters 05:08:57 :v 05:09:26 so if I write to a txt I could see it all 05:10:40 My proper instance used the rightmost nonempty error if all of them are errors, but the wrong one failed to pay attention to whether or not it is empty. 05:11:08 zzo38: there is no requirement that mplus be a monoid operation. 05:11:23 oh wait 05:11:28 missed it 05:11:40 -!- GeekDude has quit (Quit: ZNC - http://znc.in). 05:12:05 * Zefpher pets oerjan 05:12:08 There is the requirement actually. 05:12:11 Pap pap 05:12:51 However the documentation is wrong anyways; it also gives the left zero law and right zero law. Actually the right zero law is wrong (it is true of some instances, but isn't actually a general law) while the left zero law is implied by the monad laws and is therefore redundant. 05:13:11 A lot of people don't believe me that it is implied by the monad laws and is therefore redundant. 05:14:31 -!- FreeFull has quit (Ping timeout: 256 seconds). 05:16:34 dulla: well it also uses it as default for files. you can use hSetEncoding if you want. 05:18:29 ? 05:19:11 i mean that by default ghc uses locale settings for opened text files 05:19:31 but you can set them explicitly 05:19:40 or use binary mode 05:20:20 ok 05:20:38 :t mzero 05:20:39 MonadPlus m => m a 05:21:19 > mzero Just 'a' 05:21:21 No instance for (Control.Monad.MonadPlus 05:21:21 ((->) (a0 -> Data.Maybe.Maybe a0))) 05:21:21 arising from a use of ‘Control.Monad.mzero’ 05:21:36 > mzero [] 05:21:38 No instance for (Control.Monad.MonadPlus ((->) [t0])) 05:21:38 arising from a use of ‘Control.Monad.mzero’ 05:21:45 -!- ProofTechnique has joined. 05:22:36 -!- not^v has joined. 05:23:10 zzo38: i believe you, although i'm a bit fishy on the details, but in mzero >>= f (1) mzero cannot produce an argument for f, so it is probably irrelevant what f is (2) mzero >>= return = mzero is a monad law. i expect you can use the third law to make it more precise? 05:24:22 -!- ProofTechnique has quit (Read error: Connection reset by peer). 05:24:38 dulla: you seem to have some problems with the syntax... 05:25:29 I don't know the syntax 05:25:31 c: 05:25:48 -!- fractal has quit (Ping timeout: 245 seconds). 05:26:11 There is a concept of willingness 05:26:16 i had the vague impression you knew some haskell but ok 05:26:19 -!- ProofTechnique has joined. 05:26:26 But no concept in efficacy towards 05:26:55 You can say I would like to dabble 05:27:00 But I don't 05:27:42 i can say you are making no sense. 05:29:24 I get that a lot, also 05:29:51 But I manage to eventually understand something? 05:30:04 I just need some kind of asshole to lecture me 05:30:42 Something about someone else saying something makes me understand 05:32:07 Just ask oerjan 05:32:21 he's an asshole sometimes and likes to lecture I think 05:33:27 Hey, Big Brother oerjan 05:33:28 nichts für ungut~ 05:33:29 c: 05:33:52 Also what is it with all these fucking germans saying sig heil today 05:33:53 Big brother oerjan XD 05:33:57 On the street 05:34:01 in the bathroom 05:34:01 Non 05:34:03 seriously 05:34:05 the fuck 05:34:14 So you are saying oerjan is a loli 05:34:19 I can get behind that 05:34:21 It means something about victory 05:34:31 Dulla don't spam unless you are a bot 05:34:40 They call those kinds of women Sea Lions because they like to suck clam? 05:34:48 nyet, Zefpher 05:37:02 dulla: i am starting to get tempted to ban you. just so you know. 05:37:15 dulla: this is your last warning btw 05:37:16 :c 05:38:19 -!- fractal has joined. 05:40:19 does the wiki have a clear rule set 05:40:33 You have to post only public domain files to esolang wiki is one thing 05:40:39 or are people just happening to do #esoteric into their clients 05:41:10 such grammar /I think that was correct/ 05:41:12 I think the wiki has rules? maybe? 05:41:24 we have Esolang:Policy 05:41:26 thankfully people aren't generally jerks or gross to people on a wiki about esolangs 05:41:37 so doing things case-by-case has worked fine so far 05:41:39 _most_ of the time. 05:41:49 It's probably one of those hard "common sense" things. 05:42:28 -!- not^v has quit (Ping timeout: 245 seconds). 05:42:34 I don't really believe in common sense 05:42:58 No posting any file to esolang wiki which is not public domain; regardless if it is BSD, GPL, ordinary copyright, or otherwise, those aren't public domain, therefore they are all banned. Only public domain is allowed. 05:43:35