00:02:26 zzo38: it's rare that they come up 00:02:39 also C already has a well-known select function that does something entirely different 00:02:42 I find it come up a lot, actually 00:02:42 and it's not common enough to use ~ for it 00:02:48 so you'd have to use a different name, like iselect 00:02:52 or ¢ 00:02:59 I was thinking I wanted to use ~< and ~> for those two operations 00:04:52 I don't get all the fizzbuzzes 00:05:27 It's like Hello World, except takes about half a second more thought. 00:06:08 ais523: Did you ever have anything that you would use it, though? 00:06:22 zzo38: it would have been useful in writing C-INTERCAL 00:06:36 ais523: Yes, but that isn't what I meant. 00:06:48 :t (~<) 00:06:50 Not in scope: `~<' 00:06:50 Perhaps you meant one of these: 00:06:50 `<' (imported from Data.Ord), 00:06:52 apart from that, only when writing an FFT, and even then, the version of bit-reverse in terms of select isn't as clear as the implementation in terms of more usual bitwise operators 00:06:53 :t (~>) 00:06:54 Not in scope: `~>' 00:06:54 Perhaps you meant one of these: 00:06:54 `>' (imported from Data.Ord), 00:07:34 Why would you need anything more than putStrLn.unlines.map(\x->case(x)of(x`mod`15==0)->"FizzBuzz";(x`mod`3==0)->"Fizz";(x`mod`5==0)->"Buzz";otherwise->show(x))$[1..100] 00:07:43 Why indeed. 00:07:48 Hike 00:07:54 Hatchet. 00:08:00 haha 00:08:14 FreeFull: now can you translate that to Homespring? 00:08:15 Wait, that code doesn't work 00:08:15 @fresh 00:08:15 Hajl 00:08:24 ais523: Well, I have had things where I wanted to use, in various other programs too, such as in a Famicom pattern and nametable editor, and in a program to write music for the General Instrument AY-3-8910 00:08:25 FreeFull: I'm afraid you're not qualified for this position. 00:08:38 And in a few other things too. 00:08:42 zzo38: I've never tried writing any of those programs 00:08:45 I do like how Template Haskell separates the concept of producing code from the concept of custom syntax 00:08:51 > map(\x->case(x)of(x`mod`15==0)->"FizzBuzz";(x`mod`3==0)->"Fizz";(x`mod`5==0)->"Buzz";otherwise->show(x))$[1..100] 00:08:53 :1:19: Parse error in pattern: x `mod` 15 00:09:02 FreeFull: i thought that looked fishy 00:10:15 writing a correct fizzbuzz first time without something to warn you about syntax errors is probably quite difficult 00:10:16 ais523: But I have found it useful in other things too, I mean 00:10:24 oerjan: It'd be even more fishy in Homesprint 00:10:28 Homespring 00:10:31 ais523: hmm, now I kind of want to write a formally verified fizzbuzz 00:11:00 uh you can't prove anything about imperative programs sorry 00:11:10 Bike: um when did I say it would be imperative 00:11:19 > unwords[case(x`gcd`15)of 15->"FizzBuzz";3->"Fizz";5->"Buzz";_->show x|x<-[1..100]] 00:11:20 "1 2 Fizz 4 Buzz Fizz 7 8 Fizz Buzz 11 Fizz 13 14 FizzBuzz 16 17 Fizz 19 Bu... 00:11:22 `run perl -lpe 'for my $x (1..100) { print ($x % 15 == 0 ? "FizzBuzz" : $x % 5 == 0 ? "Buzz" : $x % 3 == 0 ? "Fizz" : $x); }' 00:11:22 * elliott has been trying to prove some things about imperative programs, in Coq. 00:11:30 > map(\x->case()of_|(x`mod`15==0)->"FizzBuzz"|(x`mod`3==0)->"Fizz";|x`mod`5==0)->"Buzz"|otherwise->show(x))$[1..100] 00:11:31 :1:18: parse error on input `|' 00:11:32 let's see if I did it first time 00:11:41 I may need to do it again because of HackEgo startup time 00:11:49 oh bleh 00:11:53 No output. 00:11:55 `run perl -le 'for my $x (1..100) { print ($x % 15 == 0 ? "FizzBuzz" : $x % 5 == 0 ? "Buzz" : $x % 3 == 0 ? "Fizz" : $x); }' 00:11:56 1 \ 2 \ Fizz \ 4 \ Buzz \ Fizz \ 7 \ 8 \ Fizz \ Buzz \ 11 \ Fizz \ 13 \ 14 \ FizzBuzz \ 16 \ 17 \ Fizz \ 19 \ Buzz \ Fizz \ 22 \ 23 \ Fizz \ Buzz \ 26 \ Fizz \ 28 \ 29 \ FizzBuzz \ 31 \ 32 \ Fizz \ 34 \ Buzz \ Fizz \ 37 \ 38 \ Fizz \ Buzz \ 41 \ Fizz \ 43 \ 44 \ FizzBuzz \ 46 \ 47 \ Fizz \ 49 \ Buzz \ Fizz \ 52 \ 53 \ Fizz \ Buzz \ 56 \ Fizz \ 58 \ 00:12:06 does invoking the interpreter incorrectly count? 00:12:08 -!- monqy has joined. 00:12:10 the program itself was right 00:12:41 elliott: use game semantics! 00:13:04 ais523: for what? 00:13:13 for fizzbuzz! 00:13:37 elliott: proving things about imperative programs 00:13:56 oerjan: Clever 00:14:04 thanks 00:14:29 oerjan: Too many spaces though 00:14:31 ais523: unconvinced that would help :P 00:14:49 elliott: it's one of the main applications that was found for it 00:15:02 yes but what I'm doing is sort of weird 00:15:21 why are we fizzbuzzing 00:15:37 Phantom_Hoover: because someone tried and failed to write fizzbuzz in Homespring 00:15:44 and I mentioned it here because here was the appropriate channel 00:15:53 FreeFull: um there's just one space 00:16:10 which i left in because removing it would add characters 00:17:38 One space is too many 00:17:45 hm does lambdabot have bang patterns 00:17:47 It's totally reasonable to consider making a Haskell monad for producing code in another (crappy) language, right? 00:17:52 > unwords[case(x`gcd`15)of!15->"FizzBuzz";3->"Fizz";5->"Buzz";_->show x|x<-[1..100]] 00:17:54 "1 2 Fizz 4 Buzz Fizz 7 8 Fizz Buzz 11 Fizz 13 14 FizzBuzz 16 17 Fizz 19 Bu... 00:17:55 sure!! 00:18:04 there you go then 00:18:08 :t (!) 00:18:09 Ix i => Array i e -> i -> e 00:18:24 FreeFull: it's not the operator, it's a strictness modifier on a pattern 00:18:33 Ah =P 00:18:38 And you can apply it to of 00:18:43 oerjan: is there any reason to strict the pattern? in order to leave no spaces in the program? 00:18:44 there's also a laziness modifier ~, but it wouldn't work there 00:18:49 FreeFull: to 15, actually 00:18:58 ais523: that was what FreeFull demanded :P 00:19:01 strict 15 00:19:01 right 00:19:21 FreeFull: entirely redundant semantically there, of course 00:19:25 also is there any difference in evaluation order between stricting and not stricting that pattern? 00:19:32 clearly it produces the same result 00:19:34 because gcd is total 00:19:35 ais523: not in that case, no 00:19:43 case of is strict by default 00:19:44 yeah, I meant in that case 00:19:49 let is lazy by default 00:20:00 itt fizzbuzz 00:20:20 well the original /original/ article was about demonstrating how pattern matching works by giving fizzbuzz as an example 00:20:25 ais523: adding a lazy ~ modifier _would_ break it. 00:20:25 so we've sort-of gone full circle 00:20:26 > let 5 = 6 in 5 00:20:28 5 00:20:33 the original what 00:20:33 oerjan: hmm, why? 00:20:36 > let !5 = 6 in 5 00:20:36 > unwords[case(x`gcd`15)of~15->"FizzBuzz";3->"Fizz";5->"Buzz";_->show x|x<-[1..100]] 00:20:37 *Exception: :3:5-10: Non-exhaustive patterns in pattern binding 00:20:37 can't find file: L.hs 00:20:38 elliott: original article 00:20:40 of what 00:20:53 elliott: I linked the channel to an unfinished attempt at FizzBuzz in Homespring 00:21:00 which was written in a comment to a Reddit post 00:21:01 ah 00:21:01 hm that's weird 00:21:27 and Homespring, which has nothing even remotely resembling arithmetic, is a pretty hard language to write FizzBuzzes in 00:21:29 i thought that should give a list of FizzBuzz only, but not actually err out 00:21:58 how do you get non-exhaustive patterns when one of them is _? 00:21:59 because ~15 means "don't actually check the pattern until a variable in it is evaluated" and there is no variable in it 00:22:02 > unwords [case x `gcd` 15 of ~15 -> "FizzBuzz" | x <- [1..100]] 00:22:04 "FizzBuzz FizzBuzz FizzBuzz FizzBuzz FizzBuzz FizzBuzz FizzBuzz FizzBuzz Fi... 00:22:13 maybe your extra cases are doing weird things. 00:22:13 deep 00:22:20 elliott: huh 00:22:21 i.e. the ~15 just becomes _irrefutable_ 00:22:26 rather than actually lazy 00:22:32 > unwords [case x `gcd` 15 of ~15 -> "FizzBuzz"; _ -> "hello" | x <- [1..100]] 00:22:34 mueval-core: UnknownError "GHC returned a result but said: [GhcError {errMs... 00:22:39 um, nice 00:22:57 i want to see the rest of the error! 00:23:04 elliott: i think we've found a bug in ghc :P 00:23:35 i don't get it locally (7.6.2) 00:24:10 http://sprunge.us/FbAX 00:24:50 No error here http://ideone.com/JRGZGo 00:24:51 ah ok then 00:25:13 > unwords [case 14 of ~15 -> "a", _ -> "b"] 00:25:14 Pattern syntax in expression context: _ -> "b" 00:25:16 err 00:25:31 > unwords [case 14 of ~15 -> "a"; _ -> "b"] 00:25:33 mueval-core: UnknownError "GHC returned a result but said: [GhcError {errMs... 00:25:34 ais523, you put , instead of ; 00:25:36 yeah 00:25:44 lambdabot/hint bug I assume? 00:25:48 > case 1 of ~2 -> 2; _ -> 1 00:25:49 sucks 00:25:50 mueval-core: UnknownError "GHC returned a result but said: [GhcError {errMs... 00:25:57 there we go, I guess that's a minimal test case 00:25:59 wait is that like four nested errors 00:26:01 cool 00:26:17 Bike: only three nested errors are visible there, but there might be more 00:26:41 i mean it's UnknownError, said, GhcError, errMs[g] 00:26:44 mueval-core: UnknownError "GHC returned a result but said: [GhcError {errMsg = \":3:1:\\n Warning: Pattern match(es) are overlapped\\n In a case alternative: _ -> ...\"} 00:26:45 ]" 00:26:45 Prelude> case 1 of ~2 -> 2; _ -> 1 00:26:57 my ghci gave the same warning, and returned 2 00:27:13 sweet 00:27:27 someone who knows more Haskell than me will need to explain whether the fault is in my understanding of Haskell, or of ghc's 00:27:34 (I'm guessing it's mine) 00:27:40 that is the correct result 00:27:44 ~ makes the pattern irrefutable 00:27:51 ah right 00:27:55 thus it forces the 1 to match 2? 00:27:56 (and hence, lazier) 00:28:00 ais523: it blithely assumes it does 00:28:04 yeah 00:28:09 consider also case undefined of ~(x,y) -> "hello" ++ show x ++ show y 00:28:09 and then because the internals of the 2 aren't used anywhere 00:28:20 it doesn't notice anything is wrong 00:28:23 or fix (\ ~(x:xs) -> 1:x:xs) 00:28:25 yeah 00:28:28 (which would be too strict without the ~) 00:28:36 (since, what if it's []? it'd want to give an error) 00:28:55 right, this makes sense 00:29:21 oh wait that line still has a space in it 00:29:32 hey you all are nerds right? what's a reader for android that'll let me read public domain text files without pausing to redownload everything every two minutes 00:29:37 > unwords[case(x`gcd`15)of!15->"FizzBuzz";3->"Fizz";5->"Buzz";_->show$x|x<-[1..100]] 00:29:38 "1 2 Fizz 4 Buzz Fizz 7 8 Fizz Buzz 11 Fizz 13 14 FizzBuzz 16 17 Fizz 19 Bu... 00:29:48 like how hard can it be to present text to me 00:29:48 Bike: that problem sounds suspiciously practical 00:29:54 FreeFull: MOAR FIXED 00:29:56 it's horribly practical ;_; 00:30:04 you could… write your own? 00:30:14 I don't know of one offhand, not owning an android phone 00:30:35 oerjan: Might as well use unlines 00:30:57 > unlines[case(x`gcd`15)of!15->"FizzBuzz";3->"Fizz";5->"Buzz";_->show$x|x<-[1..100]] 00:30:58 "1\n2\nFizz\n4\nBuzz\nFizz\n7\n8\nFizz\nBuzz\n11\nFizz\n13\n14\nFizzBuzz\n1... 00:31:08 it's not immensely pretty 00:31:13 > var$unlines[case(x`gcd`15)of!15->"FizzBuzz";3->"Fizz";5->"Buzz";_->show$x|x<-[1..100]] 00:31:14 1 00:31:15 2 00:31:15 Fizz 00:31:15 4 00:31:15 Buzz 00:31:16 [11 @more lines] 00:31:52 :t var 00:31:53 String -> Sym a 00:32:04 Interesting 00:32:29 it's a nice trick for unquoting a string lambdabot prints 00:33:48 > var "I like pie" 00:33:49 I like pie 00:33:51 var is only used because of its show method, right? 00:33:59 yep 00:34:16 > var $ ulines["foo","`echo hi"] 00:34:18 Not in scope: `ulines' 00:34:18 Perhaps you meant one of these: 00:34:19 `lines' (importe... 00:34:21 > var $ unlines["foo","`echo hi"] 00:34:21 > var "\0332" 00:34:22 mueval-core: : hPutChar: invalid argument (invalid character) 00:34:22 can't find file: L.hs 00:34:25 :t repeat 00:34:27 a -> [a] 00:34:35 FreeFull: lambdabot's Unicode support is buggy 00:34:43 ais523: i think you got a race condition 00:34:45 yeah 00:34:45 > var . take 100 $ repeat '\n' 00:34:47 > var $ unlines["foo","`echo hi"] 00:34:48 Terminated 00:34:49 foo 00:34:49 `echo hi 00:34:57 oh, it remembered the leading space that time 00:35:23 it always does, it just has two on the first one 00:35:33 oh right 00:36:08 > var "\xe2\x99\xa5" 00:36:09 mueval-core: : hPutChar: invalid argument (invalid character) 00:36:15 Dammit 00:37:21 > var "\180" 00:37:23 mueval-core: : hPutChar: invalid argument (invalid character) 00:37:36 it seems like it only allows ASCII... 00:37:50 or possibly things get double encoded 00:40:57 > var "\x40" 00:40:59 @ 00:46:15 Will it work in GCC for one module to specify that a type does not alias while in another module the same type does alias? 00:46:56 Furthermore, does it work in LLVM? 00:49:24 i think someone mentioned segways http://www.dagbladet.no/tegneserie/kellermannen/ 00:52:06 Will structures alias each other if one has an anonymous member having the type of the other structure as its first element? 00:55:44 -!- ais523 has quit. 00:59:09 -!- nooga has quit (Ping timeout: 245 seconds). 01:24:52 It's just that I see a lot of words with no point to them. Then I look to the left and it says . <-- i suggest reading from left to right would at least allow you break after 'hagb4rd' and not to waste your time :p 01:26:06 See, there's a useful suggestion. 01:26:23 cool ;) 01:31:02 not if you're using a client with decent justification 01:31:33 Phantom_Hoover: do you have a hihlight on hagb4rd? 01:32:30 no, hagb4rd, i just happened to check the channel 5 minutes after that exchange and half an hour after anything worthwhile was said 01:32:51 ok 01:34:53 -!- DHeadshot has quit (Read error: Connection reset by peer). 01:34:58 -!- DH____ has joined. 01:47:10 So nervous about tomorrow 01:47:18 Still sad about that other place though 01:47:29 If I screwed up with them, how can I avoid screwing up with Ipreo? 01:47:49 maybe you could not screw up the thing you screwed up before 01:48:03 I don't know exactly what I screwed up, though. 01:50:07 Maybe agreeing to send one of my worst pieces of code? 01:51:06 Which we barely talked about on the phone -- after a lengthy discussion about a piece of code which they suddenly decided was too long ago to look at. 01:53:08 maybe they just chose someone else over you 01:54:39 Sgeo: you didn't send them a piece of esolang code, did you? 01:55:04 I did not, unless you consider Tcl to be an esolang. 01:55:23 anyway: good luck! 01:55:26 But sending Tcl to a company that likes functional programming -> bad idea? 01:55:28 hagb4rd, thanks 01:55:52 why didn't you just send some häskéll 01:56:36 That wasn't what they asked for. I don't think I have any Haskell stuff listed on my resume. And the one project that I _could_ reasonably send that I did in Haskell seems a bit ... awkward to mention to potential employers 01:56:44 (It was a thing to attempt to manage speed dating things) 01:56:59 are you, like, victorian 02:01:56 just make it about 'speed interviews' instead 02:02:22 I don't think that would quite work 02:04:06 try to ask many questions, with an atitude of "what do you have to offer, so i'd like to work for you" 02:05:26 Sgeo: close enough? 02:05:40 Not really 02:05:42 Brb 02:08:23 It took as input number of straight/bi/gay men and women, and tried to match them up for each round 02:09:07 i read that as (straight/bi/gay men) and women 02:09:25 that sounds pretty generalizable 02:10:14 My algorithm sucked 02:10:26 did you use the list monad 02:10:30 it seems like it'd be useful 02:10:47 Yes. But the algorithm emits non-ideal results 02:11:08 like matching bi on gay? or what? 02:11:28 Say 3 straight men and 3 straight women. First round: m1-f1 m2-f2 m3-f3. Second round: m1-f3 m3-f1 no-match... 02:11:45 It doesn't manage to minimize people sitting out or number of rounds 02:12:15 I made the algorithm much uglier in attempts to at least minimize the pain 02:12:21 btw that doesn't seem that embarassing 02:12:38 Yeah, what are you, Victorian? 02:12:51 strikes me as an obvious "well here's a vaguely real-world application" thing 02:21:26 -!- Phantom_Hoover has quit (Quit: Leaving). 02:22:52 for a "straight situation" you could have just "shift" men OR women to the next table 02:23:08 `olist 02:23:16 olist: shachaf oerjan Sgeo 02:23:31 hagb4rd, correct. But it needs to generalize to mixed situations 02:23:44 There's probably a smarter way to handle it than brute-forcing 02:24:01 oerjan, this one is 877. 02:24:02 yea, thinking of that it's not THAT trivial 02:24:39 at least if we don't want to discriminate the dedrophiles 02:25:18 darn, my cache is _still_ stuck despite losing my visited links marking... 02:25:33 Any case where there are no bisexuals is trivial 02:25:49 yep, i thought so 02:26:11 oerjan, http://www.giantitp.com/comics/oots0877.html hth 02:26:17 you should rewrite this as a graph coloring problem. 02:27:31 I don't know graph theory. 02:28:05 or better: graph coloring solution :p 02:28:56 selling solutions is easier than selling problems 02:29:08 It's pretty easy. You have some dots and some lines and you can look up the answer becaue it was probably worked out decades ago. 02:31:23 so the question ist what have graphs in common with dots and lines 02:31:59 They're made out of dots and lines! Or in "the lingo", "nodes" or "vertices" and "edges". 02:32:02 Did I just blow your mind? 02:32:13 you don't say 02:53:56 -!- DH____ has quit (Read error: Connection reset by peer). 02:54:02 -!- DHeadshot has joined. 03:01:11 Thgeo 03:06:23 Template Haskell Sgeo? 03:07:10 -!- Nisstyre-laptop has joined. 03:07:11 Bike: why are they called "edges" 03:07:16 awful name imo 03:07:32 It has an edge to it 03:07:51 shachaf: euler's "bridges" never really caught on 03:08:05 how about "lines" 03:08:28 They tried that for a while, but then the geometers came around with bats. 03:08:50 Lines aren't abstract enough. 03:09:47 oh they are: the shortest conjuction between two points. but they don't feel comfortable with language anyone could understand 03:10:08 it just wouldn't feel right 03:10:21 Well, in graph theory edges don't usually have geometric length in the same way as uh, lines, do. 03:10:35 Wouldn't each edge have length 1? 03:10:37 you don't need metrics or nuthin. 03:11:20 What about topological geometry guys 03:11:21 Each edge is 1 edge in length. 03:11:39 a-b-c 03:11:55 a and b are 1 edge from eachother. The distance between a and c is 2 edges. 03:12:09 a-b-c 03:12:09 each edge is one edge in length. that's pretty deep. 03:12:10 \ / 03:12:18 v 03:12:25 ...didn't think that one through! 03:12:28 let's try this again 03:12:30 a-b-c 03:12:31 \ / 03:12:43 -!- Fiora has left. 03:12:48 d 03:12:49 -!- Fiora has joined. 03:13:04 Graphs aren't easy. 03:13:16 just convert it to a monoid 03:15:06 Oh, graphs actually do form metric spaces. Oopsie. 03:15:08 a─b─c 03:15:09 └───┘ 03:15:14 THERE 03:15:34 Thanks, box drawing characters. 03:15:48 Oh 03:15:52 Anyway then you'd usually say all of a b and c are one away from one another. 03:15:54 ywachaf 03:15:56 is that comparable with algorithms like A* ..in which an edge still can have a different value than? 03:15:57 graph { a--b; b--c; a--c; } 03:16:02 hagb4rd: Weights. 03:16:10 weight..sorry yes 03:16:20 Why are they weights and not masses 03:16:24 So geocentric 03:16:38 Because 03:16:44 (not to mention cumbersome) 03:16:49 Jafet does not understand the gravity of the situation 03:17:14 and yes, A* is a pathfinding algorithm for graphs of course. 03:17:52 That's a heavy thought to ponder. 03:18:07 @brain are you pondering what Jafet is pondering? 03:18:08 Well, I think so, Brain, but do I really need two tongues? 03:18:15 yea.. a good practical example is the shortest way in lenth != the sortest time you need to go 03:18:19 -!- Phantom_Hoover has joined. 03:18:20 -!- Phantom_Hoover has quit (Client Quit). 03:18:33 so weight is more general than length 03:18:49 depending on context 03:19:46 every edge can have a different weight.. at least the relations stay the same..right? 03:19:53 what relations 03:20:02 the "lines" 03:20:26 like streets 03:20:38 or whatever 03:20:44 to keep things simple 03:21:54 still i don't see clear how exactly that would solving the speed dating problem (which doesn't mean it would not) 03:22:47 *would help 03:22:47 because you could reframe it easily as graphshit and then use some known algorithm. 03:23:14 sounds reasonable 03:26:16 Graphshit theory 03:34:34 grapeshot theory 03:35:27 A whiff of graphshit 03:36:04 can i help you 03:37:37 grapeshot is a shitstorm 03:39:01 -!- Arc_Koen has quit (Quit: Arc_Koen). 03:44:52 -!- Jafet has quit (Quit: Leaving.). 03:53:27 http://intothecontinuum.tumblr.com/post/21482592732/mathematica-code-p-t-1-0-9-cos-8-t-1 03:54:23 -!- copumpkin has quit (Ping timeout: 252 seconds). 03:54:38 kmc: whoa man. drugs. 03:55:16 no 420s in the code :/ 03:55:21 -!- copumpkin has joined. 03:55:53 -!- Nisstyre-laptop has quit (Quit: Leaving). 03:57:35 that reminds me of http://mathworld.wolfram.com/CannabisCurve.html thank you wolfram mathworld 03:58:06 I wonder if there are any pretty curves involved with analysis of the endocanniboid system. 03:58:07 -!- Nisstyre-laptop has joined. 03:58:14 "Botanical Terminology" 03:58:29 man i cannot spell that word 03:59:54 kmc: A lot more in that category than I'd ever have expected. 04:17:38 -!- copumpkin has quit (Ping timeout: 245 seconds). 04:18:15 -!- copumpkin has joined. 04:42:50 -!- sebbu has quit (Ping timeout: 260 seconds). 04:54:10 -!- augur has quit (Remote host closed the connection). 05:02:21 -!- oerjan has quit (Quit: leaving). 05:06:07 Wonder if Randall opened up a can of security worms with people taking latest xkcd too seriously... 05:07:16 ☺ 05:07:45 aw man, goatkcd hasn't updated yet. 05:07:56 :☹) 05:44:40 -!- pikhq_ has joined. 05:45:04 -!- carado_ has quit (Ping timeout: 246 seconds). 05:45:24 -!- pikhq has quit (Ping timeout: 272 seconds). 05:47:58 -!- Nisstyre-laptop has quit (Quit: Leaving). 05:57:40 -!- GOMADWarrior has quit (Ping timeout: 246 seconds). 06:08:53 -!- DHeadshot has quit (Read error: Connection reset by peer). 06:09:13 -!- DHeadshot has joined. 06:30:36 sgeo: hah 06:31:35 -!- augur has joined. 06:41:18 Sgeo: Those that don't understand sarcasm? 06:43:54 -!- augur has quit (Read error: Connection reset by peer). 06:44:58 -!- augur has joined. 06:48:30 -!- sebbu has joined. 06:58:37 -!- iamcal_ has quit (Ping timeout: 256 seconds). 06:58:50 -!- surma has quit (Ping timeout: 252 seconds). 07:18:49 -!- surma has joined. 07:28:02 -!- FreeFull has quit. 07:39:59 -!- azaq23 has joined. 07:47:29 -!- Bike has quit (Quit: leaving). 07:51:57 -!- azaq23 has quit (Quit: Leaving.). 08:20:08 -!- epicmonkey has joined. 08:40:20 -!- doesthiswork has quit (Quit: Leaving.). 09:05:33 -!- nooga has joined. 09:06:55 -!- nooga has quit (Client Quit). 09:10:33 -!- DHeadshot has quit (Ping timeout: 245 seconds). 09:10:44 -!- fungot has quit (Ping timeout: 248 seconds). 09:12:48 -!- nooga has joined. 09:22:22 -!- iamcal_ has joined. 09:27:19 -!- copumpkin has quit (Ping timeout: 252 seconds). 09:27:58 -!- copumpkin has joined. 10:17:42 -!- Phantom_Hoover has joined. 10:17:48 Is there program viewing .ods file without needing editing feature and all that stuff? 10:18:19 -!- Jafet has joined. 10:27:52 % apt-cache search '\' 10:27:53 odt2txt - simple converter from OpenDocument Text to plain text 10:28:10 Good enough? 10:28:50 I,I simple converter from WordArt to plane text 10:34:42 shachaf++ 10:39:27 -!- Taneb has joined. 10:43:24 -!- phiscribe has joined. 10:45:34 Giraffes http://imgur.com/a/EiQ5t http://i.imgur.com/Kkhghkj.jpg 10:46:01 Giraffes are a bit like crystal meth 10:46:18 can i be a giraffe 10:46:23 thx 10:46:24 yes 10:46:27 yay 10:46:28 I love giraffes. 10:46:37 They are so long. 10:47:00 monqy: Do you know a good way to draw categories? 10:47:08 draw categories? 10:47:08 Something that expresses all the information in a category. 10:47:14 Rather than just the objects and arrows. 10:47:15 all the information? 10:47:25 The normal objects/arrows doesn't show you what composes to what. 10:47:35 ah 10:48:06 the solution is clearly a heckload of commutative diagrams??? 10:49:03 Something like http://phpsadness.com/static/pages/sad/52/order-full-eq.png 10:54:11 Is php a category 10:54:41 Someone should write a “PHP is a monad” tutorial. 10:56:07 bad idea bad idea bad idea 10:56:21 "PHP is PHP" 10:56:24 The group generated by bad ideas??? 10:56:28 i'd rather write "PHP is a mistake" tutorial 10:56:33 Do bad ideas have inverses 10:56:59 is there such a thing as an idea that is not bad 10:57:14 a good idea 10:57:42 An idea that is still bad but would completely cancel out another bad idea 10:57:46 Well, the inverse of a bad idea could be another bad idea 10:58:03 (which is mandatory in a group generated only by bad ideas) 11:05:35 -!- monqy has quit (Quit: hello). 11:07:13 How does PHP compare to ASP 11:08:06 `erflist 11:08:07 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: erflist: not found 11:08:50 nobody cares about error functions, Sgeo 11:09:05 taneb: You can implement an SQL injection vulnerability in both. 11:09:31 ion: does ASP at least have consistent function names? 11:10:20 ASP is not a language, is it? 11:11:33 Hmm, it's a framework 11:11:52 So, its function names are as good as VB.NET's 11:12:39 Oh, you mean ASP.NET? 11:12:47 That's a completely different thing from ASP, of course. 11:14:14 I'm sort of meaning everything at once 11:14:15 Ignore me 11:14:30 oerjan: oh thank you for the welcome 11:16:07 > div (4*10^10) (10^10) :: Int 11:16:09 4 11:16:37 AND THAT IS MY CUE TO LEAVE 11:16:44 -!- Taneb has quit (Quit: Page closed). 11:16:49 `relcome atehwa 11:16:52 ​atehwa: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 11:17:20 Sgeo: Did you ever help the Dylan folks? 11:17:38 No 11:17:52 Unless a little discussion counts as helping 11:17:58 I should really go back to sleep 11:25:44 hello, how would you describe what a first class function and a higher order function are? 11:25:52 That's an... interesting way to phrase that question 11:26:16 If e didn't know what those are, wouldn't e ask "What is a first-class function and a higher order function?"? 11:27:06 very insightful 11:27:13 have you considered a creer in psychology 11:28:10 sgeo: What happened to your h key? 11:28:24 Spivak took it. 11:28:46 And my heart 11:28:55 Spivakuüm 11:30:13 shachaf: ((),()) > I,I 11:30:41 No 11:30:48 "I,I" is an owl face 11:30:57 "((),())" is some kind of bug or something. 11:34:07 Oh. Huh. When i was “((),())” i thought it looks like an owl. When i was “I,I” i thought it’s some weird anime emoticon. 11:34:23 saw 11:35:07 I seem to start making word substitution typos when i have been awake for too long. 11:36:31 ((),()) may also be part of a spider or something. 11:36:34 Who can say? 11:48:50 -!- ais523 has joined. 11:52:17 It is just some parentheses and comma; what it means depends on the context. 11:56:16 Why is there an ASP.NET but not a Python Web 11:56:29 use WSGI 12:11:10 probably using modwsgi 12:11:13 and then go Django 12:11:56 ((),()) is definitely an owl 14:03:28 specifically, a horned owl 14:04:04 |\ /| 14:04:04 ((),()) 14:04:30 insufficiently angry looking, but what can you do 14:06:31 -!- boily has joined. 14:06:56 i guess it could be a sawhet owl 14:08:08 -!- carado_ has quit (Ping timeout: 256 seconds). 14:16:50 I should learn to notice things like receiving an email that says "Monday, March 5th" 14:17:06 I remember we discussed Monday on the phone, so I do think it is today.' 14:17:51 what's today ? 14:18:44 Monday, March 4th. 14:25:57 Pungenday, Chaos 63rd. 14:28:20 -!- ogrom has joined. 14:33:56 -!- carado_ has joined. 14:34:35 -!- carado_ has quit (Remote host closed the connection). 14:38:22 -!- augur has quit (Remote host closed the connection). 14:50:16 Sgeo: When will you be back? 14:50:33 Be back later. Phone interview soon. 14:50:43 Yes, that was an amsg. 14:51:02 I was going to ask when your phone interview was! 14:51:05 What a coïncidence. 14:51:39 Freenode doesn't really like amsg 14:51:48 amsg ? 14:51:54 That message didn't get sent to a few channels because I was targetting channels too fast 14:51:56 all message 14:52:04 is there any bot that logs stats about diaeresis usage? 14:52:07 Hmm, maybe Freenode is trying to tell you something. 14:54:57 -!- Sgeo has quit (Quit: Leaving). 14:55:49 -!- Taneb has joined. 15:02:58 -!- GOMADWarrior has joined. 15:09:56 boily: Yes, glogbot. Or at least, it does if you're willing to dig thru the data and find the statistics you want. 15:10:54 -!- ais523 has quit (Ping timeout: 264 seconds). 15:33:42 -!- carado has quit (Ping timeout: 256 seconds). 15:34:27 -!- augur has joined. 15:37:27 -!- carado has joined. 15:40:54 -!- FreeFull has joined. 15:47:06 -!- Sgeo has joined. 15:47:26 They said they were a little concerned about my lack of database experience 15:47:36 Other than that, I think it went well 15:48:06 Also, the very first question he asked was one I had no idea about 15:50:04 What was the first question? 15:50:24 What gac is in .NET 15:50:40 No idea myself, never used .NET 15:58:15 what is .NET? :p 15:58:45 A sicromoft thing 16:04:43 I don't care if it's Microsoft. It has first-class functions and Java doesn't. 16:05:35 haha 16:07:19 -!- copumpkin has quit (Ping timeout: 252 seconds). 16:08:31 -!- copumpkin has joined. 16:27:29 -!- copumpkin has quit (Ping timeout: 252 seconds). 16:28:09 -!- copumpkin has joined. 16:28:37 -!- Nisstyre-laptop has joined. 16:39:30 -!- ogrom has quit (Quit: Left). 16:44:55 -!- Phantom_Hoover has quit (Remote host closed the connection). 16:46:41 -!- Nisstyre-laptop has quit (Quit: Leaving). 16:50:21 -!- boily has quit (Quit: Poulet!). 16:52:17 -!- boily has joined. 17:03:37 -!- Phantom_Hoover has joined. 17:04:23 Oh dear, I think this Windows partition may be broken beyond repair. 17:05:13 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 17:13:54 -!- md_5 has quit (Ping timeout: 255 seconds). 17:18:14 Um. Just got an email about a position for a "sr. web crawler" 17:19:15 -!- Nisstyre has joined. 17:20:38 Sgeo, what responsibilities are there for that role? 17:21:37 Oh, it's about creating/maintaining a web crawler 17:21:40 Not _being_ a web crawler 17:21:49 That sounds a lot better 17:22:40 I hope the "sr." is short for Seor 17:25:15 -!- AnotherTest has joined. 17:34:40 -!- jix has quit (Quit: Lost terminal). 17:36:32 -!- carado has quit (Quit: Leaving). 17:36:44 -!- carado has joined. 17:38:53 -!- sebbu has quit (Ping timeout: 245 seconds). 17:40:18 -!- jix has joined. 17:42:38 http://codepad.org/Svmi1KGx 17:42:50 ^- maybe doing garbage collection this way is not the best way to do it :) 17:43:40 but I don't know how I could else tell the gc that a variable has left it's scope. 17:43:46 *its 17:47:57 -!- AnotherTest has quit (Quit: Leaving.). 17:49:09 -!- AnotherTest has joined. 17:50:20 According to #haskell, I'm a man human. 17:51:18 -!- sebbu has joined. 17:52:18 Redundant. 17:52:20 :) 17:52:23 huwoman 17:53:43 hm. 17:53:54 also... reference counting is vulnerable to cyclic references 17:55:38 I think there's a koan about that 17:56:18 Is your Dungeons&Dragons character also a man human? 17:56:42 (including to be specific, the man, and the human) 17:56:49 mroman_: what the hell 17:57:25 Maybe you can use different things to keep track of reference just in case there is cyclic references, you need to do something about it. 17:57:26 coppro: I'm sorry....? 17:57:30 coppro: it's the man. it is human. it is also hu. 17:58:47 the taneb man human greets us 17:59:32 -!- Bike has joined. 18:00:58 -!- epicmonkey has quit (Ping timeout: 245 seconds). 18:01:00 mroman_: your garbage collector 18:01:23 zzo38, my D&D character is a dwarf 18:01:37 OK. 18:02:22 yeah 18:02:27 ref increases the reference count 18:02:31 deref decreases it 18:04:59 -!- Taneb has quit (Quit: Leaving). 18:05:22 Oh god I'm seeing "garbage collection" and "reference count" in the same conversation. 18:05:31 JUST SAY NO TO REFERENCE COUNTING, BY ALL THAT IS HOLY 18:06:26 hehe 18:09:43 -!- sebbu has quit (Ping timeout: 245 seconds). 18:11:17 -!- Bike_ has joined. 18:13:14 -!- Bike has quit (Ping timeout: 256 seconds). 18:16:25 http://science.slashdot.org/story/13/03/04/1238258/state-rep-says-biking-is-not-earth-friendly-because-breathing-produces-co2 I'm just gonna leave this here 18:16:38 1... reference... AH AH AH! 18:17:09 Whatever. 18:19:38 -!- sebbu has joined. 18:19:38 -!- sebbu has quit (Changing host). 18:19:38 -!- sebbu has joined. 18:23:14 -!- Bike_ has changed nick to Bike. 18:25:45 -!- AnotherTest has quit (Read error: Connection reset by peer). 18:26:29 -!- AnotherTest has joined. 18:29:24 nortti: :-D 18:29:25 first rule of cabal: it always goes wrong 18:30:11 (iff you're running like a really outdated version and stuff) 18:34:58 -!- Phantom_Hoover has joined. 18:42:58 -!- Taneb has joined. 18:43:03 But all (?) animals (including people!) will breathe 18:48:05 -!- ogrom has joined. 18:50:51 -!- carado_ has joined. 18:50:54 ouais 18:51:03 -!- carado has quit (Remote host closed the connection). 18:51:07 -!- carado_ has changed nick to carado. 18:51:13 -!- sebbu has quit (Ping timeout: 248 seconds). 18:51:15 -!- carado has left. 19:09:15 -!- AnotherTest has quit (Quit: Leaving.). 19:11:27 -!- AnotherTest has joined. 19:13:13 -!- AnotherTest has quit (Client Quit). 19:13:19 -!- AnotherTest has joined. 19:14:35 -!- AnotherTest has quit (Client Quit). 19:17:43 -!- sebbu has joined. 19:17:43 -!- sebbu has quit (Changing host). 19:17:43 -!- sebbu has joined. 19:18:14 -!- epicmonkey has joined. 19:20:03 -!- AnotherTest has joined. 19:20:49 http://this-plt-life.tumblr.com/post/44462204757/simon-peyton-jones-adding-the-io-monad-to-haskell 19:22:54 :-D 19:23:24 what, you don't slap fishes on your meals? 19:24:48 (fish slapping being an altogether new type system) 19:25:04 Deewiant: that blog is very nice and relaxing :) 19:26:24 http://nekofont.upat.jp/ 19:27:21 -!- AnotherTest1 has joined. 19:27:23 -!- AnotherTest has quit (Quit: Leaving.). 19:30:08 I'm probably the only Homestuck/Haskell tumblr on tumblr 19:30:33 boily: Well spotted, so it is 19:30:48 -!- AnotherTest1 has quit (Client Quit). 19:31:00 -!- AnotherTest has joined. 19:31:34 :t fishSlap 19:31:35 Not in scope: `fishSlap' 19:31:39 Does anyone know why the documentation for Yamaha OPLL says it can be used with Teletext even though Teletext doesn't have music? 19:35:09 maybe there was a failed project to add music to teletext 19:38:19 -!- nooga has quit (Ping timeout: 260 seconds). 19:38:23 kmc, like N64DD or that NES satellite system? 19:39:46 satellaview is the weirdest thing 19:40:11 Taneb: am I the only homestuck/SSE tumblr 19:40:16 yeah 19:43:16 How did oerjan's fizzbuzz go? 19:43:23 I have no idea how buildings in NYC work 19:43:38 Sgeo, there's generally a door and some windows 19:43:40 hth 19:43:54 zzo38: Does taking oxygen out of water count as breathing? 19:43:59 There's stores, and then there's the entrance for this compan 19:44:00 company 19:44:11 And then above it there's many many stories, all drab looking 19:44:14 Are those offices 19:44:20 Do the stores next to the company have offices there? 19:44:27 Who knows 19:44:53 Some of my friends stayed in a hotel in Edinburgh that was mostly above/behind some shops 19:44:56 Oh, maybe that thing is an entrance to the building, and Ipreo has a few offices in that building? 19:45:15 Especially since it's just marked with the address, not company name 19:45:42 Maybe they timeshare 19:46:41 Maybe it's a rich villain's lair and only looks drab from the outside 19:46:58 FreeFull: I don't think so, but I don't know? 19:47:11 Maybe it does. 19:47:18 NYC's a bit expensive for most villainy startups. 19:47:41 isn't villainy well-funded? 19:47:47 the truth about the world is that crime does pay 19:48:12 well, i'm assuming sgeo's going for indie evil. 19:48:22 we may be evil but we haven't sold out! 19:48:34 Ooh, looks like it's a short walk from the train station 19:48:35 :D 19:48:47 I'm liking this place more already 19:48:55 omg trains and new york and stuff 19:50:51 Crime *might* pay. 19:51:07 But it is risky and illegal. 19:51:12 Stealing live copper wires does not typically pay. 19:51:23 Stealing elevator cables less so 19:55:14 A villain doesn't have to break the law to be evil 19:55:45 -!- augur has quit (Read error: Connection reset by peer). 19:56:01 -!- augur has joined. 20:00:51 FreeFull: Yes, but then, is it criminal? 20:02:31 No 20:02:39 Just evil 20:02:50 > Just (var "evil) 20:02:52 :1:17: 20:02:52 lexical error in string/character literal at end of input 20:02:54 > Just (var "evil") 20:02:56 Just evil 20:05:48 -!- metasepia has joined. 20:13:21 -!- nooodl has joined. 20:13:33 > Just (var "!") 20:13:35 Just ! 20:13:52 -!- AnotherTest has quit (Quit: Leaving.). 20:14:12 > fix show 20:14:14 "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\... 20:14:47 Almost like look-and-say with show 20:15:02 > show (fix show) 20:15:05 "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\... 20:15:11 Hm. Is there a fixed point of the look-and-say sequence... 20:16:01 1, 11, 21, 1211, 111221, 312211, 13112221, 1113213211, 31131211131221... 20:16:17 The first digit is going to keep going 1, 1, 3, 1, 1, 3, ..., isn't it. 20:16:35 > fix ((<>) <$> id <*> map not) 20:16:39 mueval-core: Time limit exceeded 20:16:44 > fix ((<>) <$> id <*> map not) :: [Bool] 20:16:48 mueval-core: Time limit exceeded 20:19:24 tswett: there isn't one in the sequence 20:19:46 but for the function that you keep applying to get it, [2,2] is a fixed point 20:20:46 Does it have other fixed points? 20:21:07 i don't think so 20:21:24 I played the Pokemon game with rental, yesterday, and the day before, against my brother we switch sides afterward, this time I managed to win both times but first time I just got lucky. 20:26:41 -!- Taneb has quit (Ping timeout: 248 seconds). 20:27:26 He was first player and in that game you take turn to select the command starting with first player on each turn, so the second player can see how long it took for the first player to select his command. 20:28:58 -!- Taneb has joined. 20:29:48 Perhaps it would be better for it to alternate, like it is done in E-card? 20:38:34 In E-card, you have five minutes to select what card to play. In this game I was playing, the timer can be set up to 90 seconds. 20:38:51 Actually, I mean up to 99 seconds, or no limit. 20:38:56 I had it set to 90 seconds. 20:41:11 Is there any way I could use realWorld# or anything else with a # from GHC.Prim 20:42:45 It gets parsed as realWorld # 20:42:57 You have to enable the extension for MagicHash 20:43:31 Ah 20:46:26 University challenge: "Where's Turku? Where's Trondheim?" 20:46:45 "Where's Hexham? 20:46:46 " 20:46:48 (I wish) 20:51:22 sounds like #esoteric jeopardy... A: Turku Q: Where's Hexham? 20:53:21 -!- md_5 has joined. 20:56:09 -!- augur has quit (Read error: Connection reset by peer). 20:56:15 -!- augur has joined. 20:59:11 -!- oerjan has joined. 21:03:38 I don't know what happen in this Pokemon game if the master clock expires. 21:03:50 02:57:58 Well, the inverse of a bad idea could be another bad idea 21:03:51 02:58:15 (which is mandatory in a group generated only by bad ideas) 21:04:31 Jafet: sorry, that does not obviously follow. at least if you take the analogy bad = negative, the statement is false for the integers. 21:04:45 hth 21:05:05 But what if, say, good=prime? There are no negative prime numbers. 21:05:26 `run echo "Newsflash: every single letter is 'U'" | uuu 21:05:28 Uuuuuuuuu: uuuuu uuuuuu uuuuuu uu 'U' 21:05:36 UUU 21:05:42 (aka QED) 21:06:07 But there are some ideas I have for what such things might want to do: [1] Commands are selected at random for both sides at maximum speed. [2] Whoever has more % of HP remaining wins. [3] Whoever has more happiness wins. [4] Whoever used up less time during their turns in total wins. [5] Whoever has the inferior team at the beginning of the battle wins. [6] It is always a draw. 21:06:10 That reminds me 21:06:18 Do you like any of this? 21:06:31 Gregor: no, but then obviously bad = composite, and the multiplicative group of rationals is still generated by those 21:06:40 zzo38, not keen on 6 21:08:20 Gregor: G gg gggggg; ggggg /g/ggggg. 21:08:38 Taneb: In all cases including [6] I only mean if the master clock expires, though. 21:08:47 Oh 21:09:00 In that case 6 is the best 21:09:16 As long as there's an "infinite time" option 21:09:24 5 would be hard to measure 21:09:47 4 and 2 are okay 21:09:56 Don't know enough about the game to comment on 3 21:10:07 1 I'm in two minds about 21:10:11 Well, yes. Actually, if there is an option, at least if I did it, you would be able to set the master clock to whatever or infinite, as well as to set what happen when it expires, and it would measure by computer so [5] is not being hard to measure. 21:11:06 I mean [4] is not being hard to measure. 21:11:20 [5] would be difficult unless the computer has levels or tiers perhaps! 21:11:28 With levels and tiers and stuff, it can be measured. 21:12:07 But there is another possibility: [7] The time-wasting threshold is set. If the difference of time used up is less than the threshold, it is a draw, otherwise whoever used up less time in total wins. 21:12:54 Of course probably you will use a shot clock and/or a chess clock as welll, regardless what option you set, if you hare a master clock at all. 21:13:10 Option [6] is like the rule in cricket. 21:13:41 Anyway, I need to bulk out the description of Underload 21:13:44 That I am writing 21:13:51 oerjan, interesting thing about Underload 21:14:27 Official Scrabble tournaments are played with shot clocks, and outside of Britain also with a master clock. Chess boxing uses all three clocks. 21:14:34 Taneb: what is? 21:14:42 oerjan, I'm asking for some 21:15:07 well the fact that it's TC with just 4 of its commands is something i find biasedly interesting :) 21:15:25 Some people prefer to play Scrabble with chess clocks instead. 21:15:36 What is a shot clock 21:15:51 boily, interesting thing about Underload 21:16:16 Shot clock means you have a timer to make your move on your turn, and is reset on every turn. 21:16:26 Right 21:16:51 In games that use that (such as snooker) that is what it is called, so probably it can be called the same in other games too. 21:18:35 Taneb: yes? underload is alreading interesting. more interest could cause some kind of wibbly-wobbly thing with our galactic black hole, and make the local supercluster implode. 21:18:36 Taneb: i believe elliott intends to feature Deadfish on April 1, so if Underload is featured now it will have less than a month. 21:18:58 oerjan, that means I can wait a bit longer for this 21:19:03 But I'd like it written 21:19:16 boily, I'm writing a description for the featured language 21:19:25 Because elliott doesn't want to and won't let ais523 21:19:41 yeah. i've been thinking vaguely that there should be a suggested blurb page under Esolang:Featured Languages/ 21:20:23 Taneb: a small interesting thing is that it has very short quines 21:20:39 without being specifically designed to have them (afaik) 21:21:51 ^ul (:a*S):a*S 21:21:59 oh no 21:22:05 in my egotistical opinion, I'd say aubergine would make for an interesting featured language. 21:22:09 fizzie: FUNGOT FATIGUE 21:22:21 !underload (:a*S):a*S 21:22:23 (obviously, I have absolutely no bias towards that particular language, no siree.) 21:22:24 ​:a*S(:a*S) 21:22:34 !underload (:~a*S):~a*S 21:22:34 ​:~a*S(:~a*S) 21:22:38 ... 21:22:40 I suck at this 21:22:59 !underload (:aSS):aSS 21:22:59 ​(:aSS):aSS 21:23:00 boily, I have a similar opinion of Fueue 21:23:32 !underload (:a~*S):a~*S 21:23:32 ​(:a~*S):a~*S 21:24:04 Taneb: now make one which embeds an arbitrary element 21:25:53 !underload (what)(~aS:a~*S)~aS:a~*S 21:25:54 ​(what)(~aS:a~*S)~aS:a~*S 21:27:06 Taneb: therefore, we need a cyclic aubergine/fueue quine. 21:27:27 Oh dear god 21:27:30 Is that even possible 21:28:19 a cyclic aubergine? sounds awesome 21:28:33 How did oerjan's fizzbuzz go? <-- see the logs hth 21:28:41 I'm the worst at quines 21:28:51 And I'm the guy who knows Fueue the third-best 21:29:11 who's the second best 21:29:18 Arc_Koen, of course 21:29:25 i suppose 21:30:14 hm we haven't written a Fueue quine yet, have we. or is that what you are trying? 21:30:31 Nah, boily was proposing a cyclic Aubergine/Fueue quine 21:30:38 ah 21:30:57 Imagine a cyclic Malbolge/ORK quine 21:31:04 ouch 21:31:56 "There is a scribe called bugger this" 21:34:36 -!- nooga has joined. 21:36:37 I think the Interactive Fiction database have no "disjunctive require" option for searching? 21:36:56 -!- fungot has joined. 21:37:03 But it does have "allow", "require", "prohibit", which is OK. 21:50:12 -!- ogrom has quit (Quit: Left). 21:51:58 can any girl genius readers here tell me if there has been an update today? i'd like to know if my cache/whatever issue affects that as well. 21:52:22 It's updated MWF 21:52:22 still using IE? 21:52:23 So no 21:52:31 no, last update March 1st. 21:52:32 Taneb: um today is monday 21:52:37 Oh god 21:52:40 I thought it was Sunday 21:52:40 boily: thanks 21:52:50 eep 21:53:12 I thought yesterday was monday instead 21:53:33 olsner, so on average, we're right 21:53:35 Scheduling an appointment for possible internship, but what if that conflicts with scheduling a possible Ipreo in-person meeting' 21:53:54 schedule nothing and nothing will conflict 21:54:00 You could ask to reschedule either 21:54:13 olsner: the zen of management? 21:54:29 more like the zen of not using a calendar 21:54:33 wait, tao maybe 21:54:41 I think management is more about using a calendar 21:55:17 Do nothing twice at once and nothing will conflict with nothing 21:55:20 Ipreo will be understanding if they suggest a day and I say I'm not available that day, how about a different day? 21:56:10 hmm, probably tao, I suspect zen is not used that way ... I also suspect they are not from the same tradition either 21:56:32 tao isn't buddhistic 21:56:45 although they're both from china afaik 21:56:53 Taneb: the sound of one hand not having a scheduling conflict 21:56:57 oerjan: I don't keep logs 21:57:10 FreeFull: the bot logs. 21:57:19 hm i see a possible problem here. 21:57:23 lambdabot log 21:57:57 -!- oerjan has set topic: welcomes its new prime minister, Ed "Brainfuck Derivative" Centipede | Newsflash: every single letter is 'U' | Logs: http://codu.org/logs/_esoteric/. 21:58:30 hm the #esoteric got swallowed 21:58:30 U're every single letter 21:58:37 -!- oerjan has set topic: #esoteric welcomes its new prime minister, Ed "Brainfuck Derivative" Centipede | Newsflash: every single letter is 'U' | Logs: http://codu.org/logs/_esoteric/. 21:58:37 Nothing here 22:02:08 What timezone is the bot using? 22:02:18 UTC? 22:03:30 oerjan: I'm gonna try to improve on your fizzbuzz 22:03:32 Using monads 22:03:40 Or rather the list monad 22:03:46 YOU GO AHEAD 22:03:53 try included lenses while you're at it 22:03:57 *-ing 22:04:11 glogbot uses UTC afaik 22:04:17 I don't know lens syntax 22:04:32 clog uses something weird USy 22:04:48 but lenses are so easy! 22:05:08 I think one of the bots is on new zeeland time 22:05:22 I guess that's the prevailing time zone in hexham 22:05:38 I think clog is Pacific time same as my timezone; glogbot uses UNIX time so it can be converted to whatever format you need. 22:05:59 HackEgo is on nz language settings, no idea about timezone 22:06:02 `time 22:06:04 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: time: not found 22:06:08 `date 22:06:09 Mon Mar 4 22:06:09 UTC 2013 22:06:13 nope 22:06:44 -!- FreeFull has quit (Read error: Operation timed out). 22:07:59 What types in Haskell can be regular reasoners? I think functors is one of them? 22:08:40 what is a regular reasoner 22:09:12 forall p and q: B(p -> q) -> B(Bp -> Bq) 22:09:35 :t fmap fmap 22:09:36 (Functor f1, Functor f) => f (a -> b) -> f (f1 a -> f1 b) 22:09:49 Yes, fmap fmap is what I was thinking of. 22:10:18 -!- FreeFull has joined. 22:10:50 oerjan: I know 22:10:55 Applicatives 22:11:22 -!- Regis_ has joined. 22:11:57 :t fmap fmap fmap 22:11:59 (Functor f1, Functor f) => (a -> b) -> f (f1 a) -> f (f1 b) 22:13:28 zzo38: Are you talking about modal logic or something? 22:13:40 shachaf: Yes. 22:13:53 Does B mean "believe"? 22:14:02 Functor is not what you want for that. 22:14:30 -!- GOMADWarrior has quit (Ping timeout: 264 seconds). 22:14:40 I mean, they have that property, but they're too strong. 22:14:40 :t (fmap fmap fmap) 22:14:42 I know, but I mean that Functor is one thing that is able to make such a type. 22:14:42 (Functor f1, Functor f) => (a -> b) -> f (f1 a) -> f (f1 b) 22:14:54 shachaf: Yes, that is what I mean, too 22:15:17 it's doxastic logic (again). 22:17:09 Hey, Raymond Smullyan has a book on modal logic? 22:17:29 -!- wareya has quit (Read error: Connection reset by peer). 22:18:17 Bike: Why didn't you tell me? 22:18:27 I was asleep. 22:18:33 -!- wareya has joined. 22:18:53 Oh, is that in Mock a Mockingbird? 22:18:53 WELL WAKE UP 22:18:58 No, _Forever Undecided_ 22:19:34 (B(x), (x -> B(y))) -> B(y) 22:19:52 Holy hell, what a cover 22:20:16 don't judge a musician by their cover, Bike 22:20:42 Taneb: ? 22:21:10 shachaf, me being sleepy and trying to show that possibility is a Monad 22:21:22 wrong modal logic? 22:21:30 PERHAPS 22:21:32 You don't have quantifiers. 22:21:42 Is this pseudoHaskell? 22:22:23 It's "Taneb's awful syntax for a misunderstanding of formal logic and its variations, loosely inspired by Haskell" 22:22:51 Certainty isn't a functor... 22:23:01 -!- Taneb has quit (Quit: Leaving). 22:24:28 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 22:25:37 `run echo -n "We don't know what certainty is for sure, but at least it isn't a functor" >wisdom/certainty 22:25:41 No output. 22:25:44 `? certainty 22:25:46 We don't know what certainty is for sure, but at least it isn't a functor 22:25:53 `run echo -n "We don't know what certainty is for sure, but at least it isn't a functor." >wisdom/certainty 22:25:57 No output. 22:26:42 is certainty a monoid 22:27:01 no, it's not that easy 22:27:28 (why is a dead horse looking at me disapprovingly) 22:28:09 `run cp wisdom/certain{t,l}y && sed -i 's/ty/ly/' wisdom/certainly 22:28:13 No output. 22:30:41 `? Jafet 22:30:43 Jafet? ¯\(°_o)/¯ 22:31:03 `? shachaf 22:31:05 shachaf sprø som selleri and cosplays Nepeta Leijon on weekends. 22:31:13 ok. 22:31:21 To be fair, who doesn't? 22:32:50 I don't, it hasn't reached Canada yet. 22:33:01 hello guys 22:33:09 hi there! 22:33:15 evening 22:33:52 zzo38: what is the purpose of "allow"? 22:34:49 @tell Taneb just because I can tell my computer to interpret fueue doesn't mean I know anything about fueue :) 22:34:49 Consider it noted. 22:35:15 I had an exciting day today 22:35:55 `quote Jafet 22:35:56 825) I wonder if Red Alert 4 will use MMIX \ 850) The world needs better healthcare, social justice and wealth distribution, but a monads library for clojure surely won't hurt \ 955) This position is asking for "- Extensive experience with API" You're just not qualified, kid. 22:36:17 I wanted to go to the cinema to see Angelopoulos' post-mortem film, but at the last moment I remembered I had to play a game for the qualifications for the french youth go team 22:36:27 so I stayed home instead (qualifications are played on the internet) 22:36:36 then my opponent didn't show up 22:37:20 when the game was finally forfeited, I figured I still had enough time to run to the cinema to see Ben Affleck's Argo 22:37:44 I did so... but the theatre was full 22:38:31 Movies are seen on the internet 22:38:40 argo must be seen at the cinema. 22:38:49 -!- Phantom_Hoover has joined. 22:39:09 French Youth Go could be a saturday morning TV show. 22:39:10 it's been a while since I've played go. I guess I'm now somewhere around 18~19 kyu. 22:40:40 boily: you should start again! 22:42:00 on the plus side, I chatted with the projectionist intern, who happens to be very cute 22:44:51 I turned to the shōgi side of the foce a long time ago, and nowadays I'm more of a mahjong player than anything else. 22:45:40 you're the second person I met who's gone from go to shogi 22:45:51 I should play some Go at some point 22:45:57 Except it's hard to score Go in person :( 22:46:01 I guess two is a fair retribution for the countless chess players who turned go players 22:49:37 -!- nooodl has quit (Ping timeout: 248 seconds). 22:49:54 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 23:08:14 -!- Phantom_Hoover has joined. 23:09:21 -!- epicmonkey has quit (Ping timeout: 248 seconds). 23:12:32 -!- Bike has quit (Ping timeout: 256 seconds). 23:29:13 ion: Remind me: Did you need → or End for that game? 23:29:41 boily: I can play shogi and mahjong, as well as chess and go 23:30:22 Arc_Koen: "allow" is simply the default setting; it doesn't actually mean anything. 23:30:42 zzo38: I know the rules of western chess, but can't play it. I'm better at xiangqi than shōgi. my mahjong is probably good, but my go is rust-y (har har har... *sigh* stupid pun.). 23:31:00 I can play xiangqi too. 23:31:48 let's have a chessgoshogixiangki tournament! 23:32:34 I claim mornington crescent by way of picadilly! 23:32:48 Resolve ko through a kickboxing match 23:33:16 -!- augur has quit (Remote host closed the connection). 23:34:56 -!- nooga has quit (Ping timeout: 252 seconds). 23:35:24 -!- sebbu has quit (Ping timeout: 260 seconds). 23:39:57 What kinds of rules do you like to use with mahjong? 23:40:31 -!- Regis_ has quit (Ping timeout: 260 seconds). 23:41:30 * Sgeo wants to try Backgammon 23:42:10 I know how to play backgammon too. 23:42:33 I don't want to play backgammon anymore. the dice always conspire against me. 23:43:29 boily: have you tried using two cups? so that they don't get an opportunity to talk 23:44:47 I want to play backgammon card. 23:47:05 Arc_Koen: good suggestion. I'll try it next time against my bro. 23:47:11 zzo38: that exists? 23:47:52 hmm you could replace the dice by decks of 1-2-3-4-5-6 cards 23:48:28 so if you've got a big number of 1s in the beginning, you know you're not gonna have many of them in the endgame 23:49:38 «Taupes et Compagnie» uses that concept, with a fixed stack of number-tokens. 23:49:45 (can't remember that game's English name) 23:50:36 -!- Bike has joined. 23:51:22 Hypergeometric distribution, in my backgammon? 23:51:24 boily: I don't know if it exists, but I want to play such game. 23:51:53 I generally prefer the games with cards than with dice. 23:51:58 Arc_Koen, zzo38: it is either "mole in the hole" or "under the ground". http://boardgamegeek.com/boardgame/321/the-mole-in-the-hole 23:52:21 boily: are you french? 23:52:59 Arc_Koen: no, from Montréal, Québec. 23:53:22 or right you mentioned canada earlier 23:55:10 Can you play Pokemon card or Magic: the Gathering cards? 23:56:41 only magic. 23:56:44 boily:I'm from Montreal. is not a valid answer to are you French? 23:57:25 coppro: I'm not from France, therefore I'm not French. 23:57:48 Do you like Magic: the Puzzling? 23:57:50 Cockatrice was shut down :( 23:58:03 nooooooooooooooooooo! 23:58:05 darn. 23:58:07 coppro: Montreal isn't french, but Montréal 23:58:14 Jafet: fair 23:59:14 time to go eat. I'm hungry. 23:59:17 -!- boily has quit (Quit: Poulet!). 23:59:26 -!- metasepia has quit (Remote host closed the connection).