< 1362355346 492357 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: it's rare that they come up
< 1362355359 236163 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also C already has a well-known select function that does something entirely different
< 1362355362 584787 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I find it come up a lot, actually
< 1362355362 734544 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and it's not common enough to use ~ for it
< 1362355368 279987 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you'd have to use a different name, like iselect
< 1362355372 464196 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or ¢
< 1362355379 543317 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I was thinking I wanted to use ~< and ~> for those two operations
< 1362355492 816773 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I don't get all the fizzbuzzes
< 1362355527 60355 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :It's like Hello World, except takes about half a second more thought.
< 1362355568 15136 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :ais523: Did you ever have anything that you would use it, though?
< 1362355582 549559 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: it would have been useful in writing C-INTERCAL
< 1362355596 567340 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :ais523: Yes, but that isn't what I meant.
< 1362355608 999377 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (~<)
< 1362355610 337951 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :    Not in scope: `~<'
< 1362355610 487441 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :    Perhaps you meant one of these:
< 1362355610 487628 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :      `<' (imported from Data.Ord),
< 1362355612 221439 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :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
< 1362355613 5835 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (~>)
< 1362355614 213756 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :    Not in scope: `~>'
< 1362355614 363253 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :    Perhaps you meant one of these:
< 1362355614 363444 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :      `>' (imported from Data.Ord),
< 1362355654 20352 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :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]
< 1362355663 426213 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :Why indeed.
< 1362355668 385749 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hike
< 1362355674 915235 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :Hatchet.
< 1362355680 581893 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haha
< 1362355694 94076 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FreeFull: now can you translate that to Homespring?
< 1362355695 104029 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Wait, that code doesn't work
< 1362355695 253623 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@fresh
< 1362355695 776460 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Hajl
< 1362355704 561655 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :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
< 1362355705 398624 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :FreeFull: I'm afraid you're not qualified for this position.
< 1362355718 234408 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :And in a few other things too.
< 1362355722 183532 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: I've never tried writing any of those programs
< 1362355725 778931 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I do like how Template Haskell separates the concept of producing code from the concept of custom syntax
< 1362355731 549762 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 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]
< 1362355733 409699 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  <hint>:1:19: Parse error in pattern: x `mod` 15
< 1362355742 641428 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: i thought that looked fishy
< 1362355815 393684 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :writing a correct fizzbuzz first time without something to warn you about syntax errors is probably quite difficult
< 1362355816 357978 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :ais523: But I have found it useful in other things too, I mean
< 1362355824 960603 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: It'd be even more fishy in Homesprint
< 1362355828 463693 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Homespring
< 1362355831 118097 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: hmm, now I kind of want to write a formally verified fizzbuzz
< 1362355860 593592 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :uh you can't prove anything about imperative programs sorry
< 1362355870 345826 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: um when did I say it would be imperative
< 1362355879 224804 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> unwords[case(x`gcd`15)of 15->"FizzBuzz";3->"Fizz";5->"Buzz";_->show x|x<-[1..100]]
< 1362355880 900014 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  "1 2 Fizz 4 Buzz Fizz 7 8 Fizz Buzz 11 Fizz 13 14 FizzBuzz 16 17 Fizz 19 Bu...
< 1362355882 401487 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`run perl -lpe 'for my $x (1..100) { print ($x % 15 == 0 ? "FizzBuzz" : $x % 5 == 0 ? "Buzz" : $x % 3 == 0 ? "Fizz" : $x); }'
< 1362355882 991768 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION has been trying to prove some things about imperative programs, in Coq.
< 1362355890 455572 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> map(\x->case()of_|(x`mod`15==0)->"FizzBuzz"|(x`mod`3==0)->"Fizz";|x`mod`5==0)->"Buzz"|otherwise->show(x))$[1..100]
< 1362355891 975375 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  <hint>:1:18: parse error on input `|'
< 1362355892 226752 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let's see if I did it first time
< 1362355901 238018 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I may need to do it again because of HackEgo startup time
< 1362355909 877939 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh bleh
< 1362355913 272977 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output.
< 1362355915 82699 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`run perl -le 'for my $x (1..100) { print ($x % 15 == 0 ? "FizzBuzz" : $x % 5 == 0 ? "Buzz" : $x % 3 == 0 ? "Fizz" : $x); }'
< 1362355916 375920 :HackEgo!codu@codu.org PRIVMSG #esoteric :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 \
< 1362355926 776241 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :does invoking the interpreter incorrectly count?
< 1362355928 239927 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric
< 1362355930 196701 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the program itself was right
< 1362355961 836917 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: use game semantics!
< 1362355984 239484 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: for what?
< 1362355993 774449 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :for fizzbuzz!
< 1362356017 423955 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: proving things about imperative programs
< 1362356036 136343 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: Clever
< 1362356044 548360 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :thanks
< 1362356069 949938 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: Too many spaces though
< 1362356071 426122 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: unconvinced that would help :P
< 1362356089 387487 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: it's one of the main applications that was found for it
< 1362356102 497656 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes but what I'm doing is sort of weird
< 1362356121 120078 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :why are we fizzbuzzing
< 1362356137 607663 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Phantom_Hoover: because someone tried and failed to write fizzbuzz in Homespring
< 1362356144 629793 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and I mentioned it here because here was the appropriate channel
< 1362356153 664715 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: um there's just one space
< 1362356170 105479 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which i left in because removing it would add characters
< 1362356258 176006 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :One space is too many
< 1362356265 200874 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm does lambdabot have bang patterns
< 1362356267 670445 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It's totally reasonable to consider making a Haskell monad for producing code in another (crappy) language, right?
< 1362356272 632796 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> unwords[case(x`gcd`15)of!15->"FizzBuzz";3->"Fizz";5->"Buzz";_->show x|x<-[1..100]]
< 1362356274 300877 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  "1 2 Fizz 4 Buzz Fizz 7 8 Fizz Buzz 11 Fizz 13 14 FizzBuzz 16 17 Fizz 19 Bu...
< 1362356275 633495 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :sure!!
< 1362356284 6044 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there you go then
< 1362356288 342002 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t (!)
< 1362356289 623309 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Ix i => Array i e -> i -> e
< 1362356304 73559 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: it's not the operator, it's a strictness modifier on a pattern
< 1362356313 79097 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Ah =P
< 1362356318 714324 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :And you can apply it to of
< 1362356323 180400 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: is there any reason to strict the pattern? in order to leave no spaces in the program?
< 1362356324 890788 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there's also a laziness modifier ~, but it wouldn't work there
< 1362356329 703264 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: to 15, actually
< 1362356338 956250 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: that was what FreeFull demanded :P
< 1362356341 112796 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :strict 15
< 1362356341 301703 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right
< 1362356361 807086 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: entirely redundant semantically there, of course
< 1362356365 998373 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also is there any difference in evaluation order between stricting and not stricting that pattern?
< 1362356372 204120 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :clearly it produces the same result
< 1362356374 571589 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because gcd is total
< 1362356375 433495 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: not in that case, no
< 1362356383 517730 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :case of is strict by default
< 1362356384 816474 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah, I meant in that case
< 1362356389 806006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :let is lazy by default
< 1362356400 946586 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :itt fizzbuzz
< 1362356420 354615 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well the original /original/ article was about demonstrating how pattern matching works by giving fizzbuzz as an example
< 1362356425 425579 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: adding a lazy ~ modifier _would_ break it.
< 1362356425 954516 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so we've sort-of gone full circle
< 1362356426 722026 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> let 5 = 6 in 5
< 1362356428 75758 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  5
< 1362356433 626394 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the original what
< 1362356433 854819 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: hmm, why?
< 1362356436 151603 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> let !5 = 6 in 5
< 1362356436 301137 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> unwords[case(x`gcd`15)of~15->"FizzBuzz";3->"Fizz";5->"Buzz";_->show x|x<-[1..100]]
< 1362356437 625154 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  *Exception: <interactive>:3:5-10: Non-exhaustive patterns in pattern binding
< 1362356437 786862 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  can't find file: L.hs
< 1362356438 591384 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: original article
< 1362356440 985749 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :of what
< 1362356453 14464 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: I linked the channel to an unfinished attempt at FizzBuzz in Homespring
< 1362356460 284194 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which was written in a comment to a Reddit post
< 1362356461 625393 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ah
< 1362356461 776174 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that's weird
< 1362356487 641802 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and Homespring, which has nothing even remotely resembling arithmetic, is a pretty hard language to write FizzBuzzes in
< 1362356489 28399 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i thought that should give a list of FizzBuzz only, but not actually err out
< 1362356518 83 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :how do you get non-exhaustive patterns when one of them is _?
< 1362356519 569914 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because ~15 means "don't actually check the pattern until a variable in it is evaluated" and there is no variable in it
< 1362356522 467321 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :> unwords [case x `gcd` 15 of ~15 -> "FizzBuzz" | x <- [1..100]]
< 1362356524 440259 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  "FizzBuzz FizzBuzz FizzBuzz FizzBuzz FizzBuzz FizzBuzz FizzBuzz FizzBuzz Fi...
< 1362356533 298754 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe your extra cases are doing weird things.
< 1362356533 948378 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :deep
< 1362356540 719543 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: huh
< 1362356541 627330 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i.e. the ~15 just becomes _irrefutable_
< 1362356546 459528 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :rather than actually lazy
< 1362356552 234443 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :> unwords [case x `gcd` 15 of ~15 -> "FizzBuzz"; _ -> "hello" | x <- [1..100]]
< 1362356554 101017 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  mueval-core: UnknownError "GHC returned a result but said: [GhcError {errMs...
< 1362356559 114426 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :um, nice
< 1362356577 665988 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :i want to see the rest of the error!
< 1362356584 740536 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i think we've found a bug in ghc :P
< 1362356615 444647 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i don't get it locally (7.6.2)
< 1362356650 176398 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://sprunge.us/FbAX
< 1362356690 396623 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :No error here http://ideone.com/JRGZGo
< 1362356691 403183 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah ok then
< 1362356713 100578 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> unwords [case 14 of ~15 -> "a", _ -> "b"]
< 1362356714 921723 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  Pattern syntax in expression context: _ -> "b"
< 1362356716 896940 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err
< 1362356731 710034 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> unwords [case 14 of ~15 -> "a"; _ -> "b"]
< 1362356733 457167 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  mueval-core: UnknownError "GHC returned a result but said: [GhcError {errMs...
< 1362356734 150449 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ais523, you put , instead of ;
< 1362356736 250843 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah
< 1362356744 421617 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :lambdabot/hint bug I assume?
< 1362356748 593756 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> case 1 of ~2 -> 2; _ -> 1
< 1362356749 579471 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :sucks
< 1362356750 341312 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  mueval-core: UnknownError "GHC returned a result but said: [GhcError {errMs...
< 1362356757 906974 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there we go, I guess that's a minimal test case
< 1362356759 821931 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :wait is that like four nested errors
< 1362356761 723750 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :cool
< 1362356777 297725 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Bike: only three nested errors are visible there, but there might be more
< 1362356801 988121 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :i mean it's UnknownError, said, GhcError, errMs[g]
< 1362356804 948135 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :<lambdabot>   mueval-core: UnknownError "GHC returned a result but said: [GhcError {errMsg = \"<interactive>:3:1:\\n    Warning: Pattern match(es) are overlapped\\n             In a case alternative: _ -> ...\"}
< 1362356805 97586 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :<lambdabot> ]"
< 1362356805 815246 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Prelude> case 1 of ~2 -> 2; _ -> 1
< 1362356817 118257 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my ghci gave the same warning, and returned 2
< 1362356833 13858 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :sweet
< 1362356847 458406 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :someone who knows more Haskell than me will need to explain whether the fault is in my understanding of Haskell, or of ghc's
< 1362356854 177109 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I'm guessing it's mine)
< 1362356860 621522 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that is the correct result
< 1362356864 57831 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :~ makes the pattern irrefutable
< 1362356871 257026 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right
< 1362356875 216838 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :thus it forces the 1 to match 2?
< 1362356876 148217 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(and hence, lazier)
< 1362356880 502222 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: it blithely assumes it does
< 1362356884 818630 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah
< 1362356889 142888 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :consider also case undefined of ~(x,y) -> "hello" ++ show x ++ show y
< 1362356889 740591 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and then because the internals of the 2 aren't used anywhere
< 1362356900 355809 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it doesn't notice anything is wrong
< 1362356903 786234 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or fix (\ ~(x:xs) -> 1:x:xs)
< 1362356905 591790 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah
< 1362356908 661679 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(which would be too strict without the ~)
< 1362356916 255912 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(since, what if it's []? it'd want to give an error)
< 1362356935 581196 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, this makes sense
< 1362356961 658656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait that line still has a space in it
< 1362356972 596080 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :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
< 1362356977 507001 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> unwords[case(x`gcd`15)of!15->"FizzBuzz";3->"Fizz";5->"Buzz";_->show$x|x<-[1..100]]
< 1362356978 986378 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  "1 2 Fizz 4 Buzz Fizz 7 8 Fizz Buzz 11 Fizz 13 14 FizzBuzz 16 17 Fizz 19 Bu...
< 1362356988 601331 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :like how hard can it be to present text to me
< 1362356988 750871 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: that problem sounds suspiciously practical
< 1362356994 682290 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: MOAR FIXED
< 1362356996 586480 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :it's horribly practical ;_;
< 1362357004 999421 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you could… write your own?
< 1362357014 370981 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't know of one offhand, not owning an android phone
< 1362357035 181194 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: Might as well use unlines
< 1362357057 136129 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> unlines[case(x`gcd`15)of!15->"FizzBuzz";3->"Fizz";5->"Buzz";_->show$x|x<-[1..100]]
< 1362357058 843680 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  "1\n2\nFizz\n4\nBuzz\nFizz\n7\n8\nFizz\nBuzz\n11\nFizz\n13\n14\nFizzBuzz\n1...
< 1362357068 211211 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's not immensely pretty
< 1362357073 242595 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> var$unlines[case(x`gcd`15)of!15->"FizzBuzz";3->"Fizz";5->"Buzz";_->show$x|x<-[1..100]]
< 1362357074 887978 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  1
< 1362357075 72313 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 2
< 1362357075 221957 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Fizz
< 1362357075 222135 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : 4
< 1362357075 222246 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Buzz
< 1362357076 926807 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :[11 @more lines]
< 1362357112 974864 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t var
< 1362357113 932993 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :String -> Sym a
< 1362357124 230140 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Interesting
< 1362357149 20596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's a nice trick for unquoting a string lambdabot prints
< 1362357228 341350 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> var "I like pie"
< 1362357229 817537 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  I like pie
< 1362357231 189029 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :var is only used because of its show method, right?
< 1362357239 376816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep
< 1362357256 698613 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> var $ ulines["foo","`echo hi"]
< 1362357258 690382 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  Not in scope: `ulines'
< 1362357258 859852 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Perhaps you meant one of these:
< 1362357259 9677 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :   `lines' (importe...
< 1362357261 4394 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> var $ unlines["foo","`echo hi"]
< 1362357261 153971 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> var "\0332"
< 1362357262 667369 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  mueval-core: <stdout>: hPutChar: invalid argument (invalid character)
< 1362357262 826082 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  can't find file: L.hs
< 1362357265 268411 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::t repeat
< 1362357267 11619 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :a -> [a]
< 1362357275 942533 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FreeFull: lambdabot's Unicode support is buggy
< 1362357283 149898 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: i think you got a race condition
< 1362357285 150896 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah
< 1362357285 735556 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :> var . take 100 $ repeat '\n'
< 1362357287 499379 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> var $ unlines["foo","`echo hi"]
< 1362357288 105240 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : Terminated
< 1362357289 242566 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  foo
< 1362357289 392066 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric : `echo hi
< 1362357297 718392 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, it remembered the leading space that time
< 1362357323 978402 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it always does, it just has two on the first one
< 1362357333 367891 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh right
< 1362357368 358558 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> var "\xe2\x99\xa5"
< 1362357369 816354 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  mueval-core: <stdout>: hPutChar: invalid argument (invalid character)
< 1362357375 566458 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Dammit
< 1362357441 908182 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> var "\180"
< 1362357443 376048 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  mueval-core: <stdout>: hPutChar: invalid argument (invalid character)
< 1362357456 889654 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it seems like it only allows ASCII...
< 1362357470 192608 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or possibly things get double encoded
< 1362357657 690145 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> var "\x40"
< 1362357659 95558 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  @
< 1362357975 124323 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :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?
< 1362358016 519669 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Furthermore, does it work in LLVM?
< 1362358164 86141 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think someone mentioned segways http://www.dagbladet.no/tegneserie/kellermannen/
< 1362358326 784838 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Will structures alias each other if one has an anonymous member having the type of the other structure as its first element?
< 1362358544 401031 :ais523!~ais523@unaffiliated/ais523 QUIT :
< 1362358749 979066 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 245 seconds
< 1362360292 674692 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :<shachaf>It's just that I see a lot of words with no point to them. Then I look to the left and it says <hagb4rd>. <-- i suggest reading from left to right would at least allow you break after 'hagb4rd' and not to waste your time :p
< 1362360366 607756 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :See, there's a useful suggestion.
< 1362360383 366668 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :cool ;)
< 1362360662 833552 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :not if you're using a client with decent justification
< 1362360693 936334 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :Phantom_Hoover: do you have a hihlight on hagb4rd?
< 1362360750 381140 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no, hagb4rd, i just happened to check the channel 5 minutes after that exchange and half an hour after anything worthwhile was said
< 1362360771 61866 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :ok
< 1362360893 286934 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer
< 1362360898 468989 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric
< 1362361630 319352 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So nervous about tomorrow
< 1362361638 270595 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Still sad about that other place though
< 1362361649 60379 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If I screwed up with them, how can I avoid screwing up with Ipreo?
< 1362361669 725301 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :maybe you could not screw up the thing you screwed up before
< 1362361683 794984 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I don't know exactly what I screwed up, though.
< 1362361807 773309 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Maybe agreeing to send one of my worst pieces of code?
< 1362361866 473499 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :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.
< 1362361988 492375 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe they just chose someone else over you
< 1362362079 281107 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :Sgeo: you didn't send them a piece of esolang code, did you?
< 1362362104 872843 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I did not, unless you consider Tcl to be an esolang.
< 1362362123 455555 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :anyway: good luck!
< 1362362126 311390 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :But sending Tcl to a company that likes functional programming -> bad idea?
< 1362362128 827658 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :hagb4rd, thanks
< 1362362152 574677 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :why didn't you just send some häskéll
< 1362362196 121785 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :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
< 1362362204 133913 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(It was a thing to attempt to manage speed dating things)
< 1362362219 277352 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :are you, like, victorian
< 1362362516 76070 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :just make it about 'speed interviews' instead
< 1362362542 677969 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I don't think that would quite work
< 1362362646 605960 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :try to ask many questions, with an atitude of "what do you have to offer, so i'd like to work for you"
< 1362362726 350919 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: close enough?
< 1362362740 519215 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Not really
< 1362362742 140450 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Brb
< 1362362903 766051 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It took as input number of straight/bi/gay men and women, and tried to match them up for each round
< 1362362947 434250 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i read that as (straight/bi/gay men) and women
< 1362362965 912425 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :that sounds pretty generalizable
< 1362363014 994682 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :My algorithm sucked
< 1362363026 121390 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :did you use the list monad
< 1362363030 333445 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it seems like it'd be useful
< 1362363047 812148 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Yes. But the algorithm emits non-ideal results
< 1362363068 729828 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :like matching bi on gay? or what?
< 1362363088 296735 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Say 3 straight men and 3 straight women. First round: m1-f1 m2-f2 m3-f3. Second round: m1-f3 m3-f1 no-match...
< 1362363105 71690 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It doesn't manage to minimize people sitting out or number of rounds
< 1362363135 195523 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I made the algorithm much uglier in attempts to at least minimize the pain
< 1362363141 712717 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :btw that doesn't seem that embarassing
< 1362363158 578332 :pikhq!~pikhq@174-24-33-39.clsp.qwest.net PRIVMSG #esoteric :Yeah, what are you, Victorian?
< 1362363171 20628 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :strikes me as an obvious "well here's a vaguely real-world application" thing
< 1362363686 163045 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving
< 1362363772 588547 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :for a "straight situation" you could have just "shift" men OR women to the next table
< 1362363788 90114 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`olist
< 1362363796 4196 :HackEgo!codu@codu.org PRIVMSG #esoteric :olist: shachaf oerjan Sgeo
< 1362363811 460481 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :hagb4rd, correct. But it needs to generalize to mixed situations
< 1362363824 751749 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There's probably a smarter way to handle it than brute-forcing
< 1362363841 612360 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :oerjan, this one is 877.
< 1362363842 523454 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :yea, thinking of that it's not THAT trivial
< 1362363879 442816 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :at least if we don't want to discriminate the dedrophiles
< 1362363918 422716 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn, my cache is _still_ stuck despite losing my visited links marking...
< 1362363933 595584 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Any case where there are no bisexuals is trivial
< 1362363949 811075 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :yep, i thought so
< 1362363971 889972 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :oerjan, http://www.giantitp.com/comics/oots0877.html hth
< 1362363977 954265 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :you should rewrite this as a graph coloring problem.
< 1362364051 815327 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I don't know graph theory.
< 1362364085 438934 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :or better: graph coloring solution :p
< 1362364136 829871 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :selling solutions is easier than selling problems
< 1362364148 77034 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :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.
< 1362364283 692765 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :so the question ist what have graphs in common with dots and lines
< 1362364319 551112 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :They're made out of dots and lines! Or in "the lingo", "nodes" or "vertices" and "edges".
< 1362364322 945745 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :Did I just blow your mind?
< 1362364333 611090 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :you don't say
< 1362365636 820528 :DH____!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer
< 1362365642 510707 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric
< 1362366071 838046 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Thgeo
< 1362366383 624685 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Template Haskell Sgeo?
< 1362366430 802536 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric
< 1362366431 224219 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: why are they called "edges"
< 1362366436 760682 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :awful name imo
< 1362366452 786555 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :It has an edge to it
< 1362366471 408530 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :shachaf: euler's "bridges" never really caught on
< 1362366485 222315 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how about "lines"
< 1362366508 609670 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :They tried that for a while, but then the geometers came around with bats.
< 1362366530 220937 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Lines aren't abstract enough.
< 1362366587 231266 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :oh they are: the shortest conjuction between two points. but they don't feel comfortable with language anyone could understand
< 1362366608 911019 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :it just wouldn't feel right
< 1362366621 675017 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :Well, in graph theory edges don't usually have geometric length in the same way as uh, lines, do.
< 1362366635 811462 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Wouldn't each edge have length 1?
< 1362366637 908138 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :you don't need metrics or nuthin.
< 1362366680 813010 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :What about topological geometry guys
< 1362366681 861936 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Each edge is 1 edge in length.
< 1362366699 791177 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :a-b-c
< 1362366715 187171 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :a and b are 1 edge from eachother. The distance between a and c is 2 edges.
< 1362366729 91488 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a-b-c
< 1362366729 498788 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :each edge is one edge in length. that's pretty deep.
< 1362366730 445583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : \ /
< 1362366738 973231 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :  v
< 1362366745 683550 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :...didn't think that one through!
< 1362366748 912684 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :let's try this again
< 1362366750 500853 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a-b-c
< 1362366751 922412 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : \ /
< 1362366763 667697 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PART :#esoteric
< 1362366768 752992 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :   d
< 1362366769 704378 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com JOIN :#esoteric
< 1362366784 605765 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Graphs aren't easy.
< 1362366796 917835 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just convert it to a monoid
< 1362366906 536885 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :Oh, graphs actually do form metric spaces. Oopsie.
< 1362366908 4958 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a─b─c
< 1362366909 318051 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :└───┘
< 1362366914 378742 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :THERE
< 1362366934 834673 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :Thanks, box drawing characters.
< 1362366948 461116 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh
< 1362366952 702798 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :Anyway then you'd usually say all of a b and c are one away from one another.
< 1362366954 939524 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ywachaf
< 1362366956 345253 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :is that comparable with algorithms like A* ..in which an edge still can have a different value than?
< 1362366957 705924 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :graph { a--b; b--c; a--c; }
< 1362366962 664103 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :hagb4rd: Weights.
< 1362366970 117375 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :weight..sorry yes
< 1362366980 325910 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Why are they weights and not masses
< 1362366984 30995 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :So geocentric
< 1362366998 856474 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Because <insert church pun here>
< 1362367004 384755 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :(not to mention cumbersome)
< 1362367009 13672 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Jafet does not understand the gravity of the situation
< 1362367034 576947 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :and yes, A* is a pathfinding algorithm for graphs of course.
< 1362367072 713458 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :That's a heavy thought to ponder.
< 1362367087 731056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@brain are you pondering what Jafet is pondering?
< 1362367088 258287 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Well, I think so, Brain, but do I really need two tongues?
< 1362367095 106020 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :yea.. a good practical example is the shortest way in lenth != the sortest time you need to go
< 1362367099 105136 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric
< 1362367100 750273 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Client Quit
< 1362367113 698181 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :so weight is more general than length
< 1362367129 850037 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :depending on context
< 1362367186 530452 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :every edge can have a different weight.. at least the relations stay the same..right?
< 1362367193 257838 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :what relations
< 1362367202 122362 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :the "lines"
< 1362367226 673309 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :like streets
< 1362367238 875763 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :or whatever
< 1362367244 439820 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :to keep things simple
< 1362367314 71673 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :still i don't see clear how exactly that would solving the speed dating problem (which doesn't mean it would not)
< 1362367367 704686 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :*would help
< 1362367367 854345 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :because you could reframe it easily as graphshit and then use some known algorithm.
< 1362367394 464733 :hagb4rd!~perdito@koln-d9329b26.pool.mediaWays.net PRIVMSG #esoteric :sounds reasonable
< 1362367576 676078 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Graphshit theory
< 1362368074 300933 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :grapeshot theory
< 1362368127 758474 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :A whiff of graphshit
< 1362368164 895150 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :can i help you
< 1362368257 747676 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :grapeshot is a shitstorm
< 1362368341 94922 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen
< 1362368692 255417 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving.
< 1362369207 734163 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://intothecontinuum.tumblr.com/post/21482592732/mathematica-code-p-t-1-0-9-cos-8-t-1
< 1362369263 188924 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds
< 1362369278 49931 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: whoa man. drugs.
< 1362369316 753940 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :no 420s in the code :/
< 1362369321 479737 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric
< 1362369353 776893 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving
< 1362369455 307362 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :that reminds me of http://mathworld.wolfram.com/CannabisCurve.html thank you wolfram mathworld
< 1362369486 865411 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :I wonder if there are any pretty curves involved with analysis of the endocanniboid system.
< 1362369487 305394 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric
< 1362369494 352014 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"Botanical Terminology"
< 1362369509 520767 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :man i cannot spell that word
< 1362369594 612341 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :kmc: A lot more in that category than I'd ever have expected.
< 1362370658 485644 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 245 seconds
< 1362370695 863435 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric
< 1362372170 66699 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 260 seconds
< 1362372850 574288 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection
< 1362373341 782146 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving
< 1362373567 519377 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Wonder if Randall opened up a can of security worms with people taking latest xkcd too seriously...
< 1362373636 344915 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :☺
< 1362373665 745783 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :aw man, goatkcd hasn't updated yet.
< 1362373676 841413 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::☹)
< 1362375880 361988 :pikhq_!~pikhq@75-163-219-9.clsp.qwest.net JOIN :#esoteric
< 1362375904 844868 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds
< 1362375924 855856 :pikhq!~pikhq@174-24-33-39.clsp.qwest.net QUIT :Ping timeout: 272 seconds
< 1362376078 59384 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving
< 1362376660 849068 :GOMADWarrior!~Regis@187.65.192.73 QUIT :Ping timeout: 246 seconds
< 1362377333 603686 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer
< 1362377353 481624 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric
< 1362378636 899423 :ion!ion@heh.fi PRIVMSG #esoteric :sgeo: hah
< 1362378695 576580 :augur!~augur@208.58.5.87 JOIN :#esoteric
< 1362379278 505780 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Sgeo: Those that don't understand sarcasm?
< 1362379434 228676 :augur!~augur@208.58.5.87 QUIT :Read error: Connection reset by peer
< 1362379498 862566 :augur!~augur@208.58.5.87 JOIN :#esoteric
< 1362379710 356770 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric
< 1362380317 893458 :iamcal_!uid1110@gateway/web/irccloud.com/x-rxvhvucuznwyonmv QUIT :Ping timeout: 256 seconds
< 1362380330 844806 :surma!uid6361@c-base/crew/surma QUIT :Ping timeout: 252 seconds
< 1362381529 455341 :surma!uid6361@c-base/crew/surma JOIN :#esoteric
< 1362382082 588831 :FreeFull!~freefull@defocus/sausage-lover QUIT :
< 1362382799 548370 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric
< 1362383249 73290 :Bike!~Glossina@65-100-34-217.ptld.qwest.net QUIT :Quit: leaving
< 1362383517 141612 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving.
< 1362385208 537397 :epicmonkey!~epicmonke@195.206.224.58 JOIN :#esoteric
< 1362386420 876101 :doesthiswork!~Adium@75.87.251.5 QUIT :Quit: Leaving.
< 1362387933 906382 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric
< 1362388015 202126 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Client Quit
< 1362388233 544316 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 245 seconds
< 1362388244 775215 :fungot!fis@eos.zem.fi QUIT :Ping timeout: 248 seconds
< 1362388368 666261 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric
< 1362388942 151708 :iamcal_!uid1110@gateway/web/irccloud.com/x-basnbegnhnozjpgh JOIN :#esoteric
< 1362389239 710518 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds
< 1362389278 864152 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric
< 1362392262 633758 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric
< 1362392268 64940 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is there program viewing .ods file without needing editing feature and all that stuff?
< 1362392299 109159 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric
< 1362392872 96022 :ion!ion@heh.fi PRIVMSG #esoteric :% apt-cache search '\<ods\>'
< 1362392873 837522 :ion!ion@heh.fi PRIVMSG #esoteric :odt2txt - simple converter from OpenDocument Text to plain text
< 1362392890 966239 :ion!ion@heh.fi PRIVMSG #esoteric :Good enough?
< 1362392930 278211 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I,I simple converter from WordArt to plane text
< 1362393282 398988 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf++
< 1362393567 192185 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 JOIN :#esoteric
< 1362393804 546298 :phiscribe!~david@98.157.5.116 JOIN :#esoteric
< 1362393934 197060 :ion!ion@heh.fi PRIVMSG #esoteric :Giraffes http://imgur.com/a/EiQ5t http://i.imgur.com/Kkhghkj.jpg
< 1362393961 592478 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :Giraffes are a bit like crystal meth
< 1362393978 505724 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :can i be a giraffe
< 1362393983 657159 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thx
< 1362393984 79464 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes
< 1362393987 936820 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yay
< 1362393988 733241 :ion!ion@heh.fi PRIVMSG #esoteric :I love giraffes.
< 1362393997 948278 :ion!ion@heh.fi PRIVMSG #esoteric :They are so long.
< 1362394020 48583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: Do you know a good way to draw categories?
< 1362394028 672653 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :draw categories?
< 1362394028 993685 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Something that expresses all the information in a category.
< 1362394034 332732 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Rather than just the objects and arrows.
< 1362394035 597942 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :all the information?
< 1362394045 289520 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The normal objects/arrows doesn't show you what composes to what.
< 1362394055 18708 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ah
< 1362394086 350052 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the solution is clearly a heckload of commutative diagrams???
< 1362394143 285521 :ion!ion@heh.fi PRIVMSG #esoteric :Something like http://phpsadness.com/static/pages/sad/52/order-full-eq.png
< 1362394451 537602 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Is php a category
< 1362394481 357112 :ion!ion@heh.fi PRIVMSG #esoteric :Someone should write a “PHP is a monad” tutorial.
< 1362394567 572770 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :bad idea bad idea bad idea
< 1362394581 682170 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :"PHP is PHP"
< 1362394584 107208 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :The group generated by bad ideas???
< 1362394588 980418 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :i'd rather write "PHP is a mistake" tutorial
< 1362394593 36376 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Do bad ideas have inverses
< 1362394619 588326 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is there such a thing as an idea that is not bad
< 1362394634 499400 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :a good idea
< 1362394662 666372 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :An idea that is still bad but would completely cancel out another bad idea
< 1362394666 29849 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Well, the inverse of a bad idea could be another bad idea
< 1362394683 147445 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :(which is mandatory in a group generated only by bad ideas)
< 1362395135 79666 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello
< 1362395233 746087 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :How does PHP compare to ASP
< 1362395286 313101 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`erflist
< 1362395287 627071 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: erflist: not found
< 1362395330 138073 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nobody cares about error functions, Sgeo
< 1362395345 710018 :ion!ion@heh.fi PRIVMSG #esoteric :taneb: You can implement an SQL injection vulnerability in both.
< 1362395371 765870 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :ion: does ASP at least have consistent function names?
< 1362395420 825814 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ASP is not a language, is it?
< 1362395493 697005 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :Hmm, it's a framework
< 1362395512 107079 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :So, its function names are as good as VB.NET's
< 1362395559 366006 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, you mean ASP.NET?
< 1362395567 748144 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's a completely different thing from ASP, of course.
< 1362395654 3451 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :I'm sort of meaning everything at once
< 1362395655 707093 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :Ignore me
< 1362395670 513096 :atehwa!atehwa@aulis.sange.fi PRIVMSG #esoteric :oerjan: oh thank you for the welcome
< 1362395767 805540 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :> div (4*10^10) (10^10) :: Int
< 1362395769 640096 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  4
< 1362395797 960671 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 PRIVMSG #esoteric :AND THAT IS MY CUE TO LEAVE
< 1362395804 31818 :Taneb!d917e6fc@gateway/web/freenode/ip.217.23.230.252 QUIT :Quit: Page closed
< 1362395809 416898 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`relcome atehwa
< 1362395812 740094 :HackEgo!codu@codu.org PRIVMSG #esoteric :​06at12e06hwa03: We11lcome to the i11nternat09ional hub for esoteric 07programming 03lang02uage design 03and 12deploymen14t! For more inf07ormatio08n, c14heck03 o12ut our wiki07: ht05tp://eso09langs.or07g/wiki/Main_Page. 07(For the oth05er kind of 12es14oteri10ca, try #esoteric o07n i07rc04.dal.net.)
< 1362395840 775545 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: Did you ever help the Dylan folks?
< 1362395858 909325 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :No
< 1362395872 601128 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Unless a little discussion counts as helping
< 1362395878 149742 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I should really go back to sleep
< 1362396344 211113 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :18<KneferilisHome> hello, how would you describe what a first class function and a higher order function are?
< 1362396352 79915 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :That's an... interesting way to phrase that question
< 1362396376 350195 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If e didn't know what those are, wouldn't e ask "What is a first-class function and a higher order function?"?
< 1362396426 934083 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :very insightful
< 1362396433 988298 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :have you considered a creer in psychology
< 1362396490 207808 :ion!ion@heh.fi PRIVMSG #esoteric :sgeo: What happened to your h key?
< 1362396504 9554 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Spivak took it.
< 1362396526 133035 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :And my heart
< 1362396535 465212 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Spivakuüm
< 1362396613 369907 :ion!ion@heh.fi PRIVMSG #esoteric :shachaf: ((),()) > I,I
< 1362396641 874561 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No
< 1362396648 132082 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"I,I" is an owl face
< 1362396657 164782 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"((),())" is some kind of bug or something.
< 1362396847 395560 :ion!ion@heh.fi PRIVMSG #esoteric :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.
< 1362396863 374694 :ion!ion@heh.fi PRIVMSG #esoteric :saw
< 1362396907 432372 :ion!ion@heh.fi PRIVMSG #esoteric :I seem to start making word substitution typos when i have been awake for too long.
< 1362396991 665910 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :((),()) may also be part of a spider or something.
< 1362396994 410647 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Who can say?
< 1362397730 546010 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1362397937 393016 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is just some parentheses and comma; what it means depends on the context.
< 1362398176 918454 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Why is there an ASP.NET but not a Python Web
< 1362398189 612998 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :use WSGI
< 1362399070 238743 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :probably using modwsgi
< 1362399073 285569 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and then go Django
< 1362399116 296041 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :<S
< 1362399583 415532 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 245 seconds
< 1362399924 390990 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1362400456 90647 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 JOIN :#esoteric
< 1362400831 788724 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 QUIT :Remote host closed the connection
< 1362403187 446186 :Arc_Koen!~Arc_Koen@78.245.243.132 JOIN :#esoteric
< 1362404038 902933 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer
< 1362404045 204064 :ais523_!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1362404050 578280 :ais523_!~ais523@unaffiliated/ais523 NICK :ais523
< 1362405138 91614 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 JOIN :#esoteric
< 1362405710 887739 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric
< 1362405782 732255 :augur!~augur@208.58.5.87 PRIVMSG #esoteric :((),()) is definitely an owl
< 1362405808 373950 :augur!~augur@208.58.5.87 PRIVMSG #esoteric :specifically, a horned owl
< 1362405844 522423 :augur!~augur@208.58.5.87 PRIVMSG #esoteric :|\   /|
< 1362405844 671807 :augur!~augur@208.58.5.87 PRIVMSG #esoteric :((),())
< 1362405870 266459 :augur!~augur@208.58.5.87 PRIVMSG #esoteric :insufficiently angry looking, but what can you do
< 1362405991 909327 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric
< 1362406016 361310 :augur!~augur@208.58.5.87 PRIVMSG #esoteric :i guess it could be a sawhet owl
< 1362406088 59397 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 256 seconds
< 1362406610 861851 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I should learn to notice things like receiving an email that says "Monday, March 5th"
< 1362406626 746641 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I remember we discussed Monday on the phone, so I do think it is today.'
< 1362406671 690522 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :what's today ?
< 1362406724 578799 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Monday, March 4th.
< 1362407157 345473 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Pungenday, Chaos 63rd.
< 1362407300 637305 :ogrom!~del@gprs-inet-65-178.elisa.ee JOIN :#esoteric
< 1362407636 407667 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric
< 1362407675 27262 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Remote host closed the connection
< 1362407902 565101 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection
< 1362408616 778014 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: When will you be back?
< 1362408633 289156 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Be back later. Phone interview soon.
< 1362408643 347551 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Yes, that was an amsg.
< 1362408662 453655 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was going to ask when your phone interview was!
< 1362408665 163741 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What a coïncidence.
< 1362408699 919159 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Freenode doesn't really like amsg
< 1362408708 185881 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :amsg ?
< 1362408714 218238 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :That message didn't get sent to a few channels because I was targetting channels too fast
< 1362408716 775653 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :all message
< 1362408724 63294 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :is there any bot that logs stats about diaeresis usage?
< 1362408727 787490 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, maybe Freenode is trying to tell you something.
< 1362408897 25770 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net QUIT :Quit: Leaving
< 1362408949 485112 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net JOIN :#esoteric
< 1362409378 197311 :GOMADWarrior!~Regis@187.65.192.73 JOIN :#esoteric
< 1362409796 511435 :Gregor!codu@codu.org PRIVMSG #esoteric :boily: Yes, glogbot. Or at least, it does if you're willing to dig thru the data and find the statistics you want.
< 1362409854 179253 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 264 seconds
< 1362411222 104325 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 QUIT :Ping timeout: 256 seconds
< 1362411267 360749 :augur!~augur@129.2.129.34 JOIN :#esoteric
< 1362411447 165063 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 JOIN :#esoteric
< 1362411654 223110 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
< 1362412026 618280 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric
< 1362412046 321767 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :They said they were a little concerned about my lack of database experience
< 1362412056 507281 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Other than that, I think it went well
< 1362412086 41316 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Also, the very first question he asked was one I had no idea about
< 1362412204 104243 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :What was the first question?
< 1362412224 403409 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What gac is in .NET
< 1362412240 636126 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :No idea myself, never used .NET
< 1362412695 747002 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :what is .NET? :p
< 1362412725 856988 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :A sicromoft thing
< 1362413083 606189 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I don't care if it's Microsoft. It has first-class functions and Java doesn't.
< 1362413135 490328 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :haha
< 1362413239 110529 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds
< 1362413311 932503 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric
< 1362414449 166630 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds
< 1362414489 257696 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric
< 1362414517 983377 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric
< 1362415170 276659 :ogrom!~del@gprs-inet-65-178.elisa.ee QUIT :Quit: Left
< 1362415495 251991 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection
< 1362415601 126686 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving
< 1362415821 390642 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet!
< 1362415937 572964 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric
< 1362416617 489376 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric
< 1362416663 278738 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh dear, I think this Windows partition may be broken beyond repair.
< 1362416713 366981 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer
< 1362417234 464662 :md_5!md_5@mcdevs/trusted/md-5 QUIT :Ping timeout: 255 seconds
< 1362417494 762449 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Um. Just got an email about a position for a "sr. web crawler"
< 1362417555 311994 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric
< 1362417638 859814 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Sgeo, what responsibilities are there for that role?
< 1362417697 149822 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh, it's about creating/maintaining a web crawler
< 1362417700 581336 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Not _being_ a web crawler
< 1362417709 133341 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :That sounds a lot better
< 1362417760 141892 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :I hope the "sr." is short for Se�or
< 1362417915 251814 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric
< 1362418480 194843 :jix!~jix@jixco.de QUIT :Quit: Lost terminal
< 1362418592 730210 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 QUIT :Quit: Leaving
< 1362418604 92874 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric
< 1362418733 581013 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds
< 1362418818 855154 :jix!~jix@jixco.de JOIN :#esoteric
< 1362418958 587712 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/Svmi1KGx
< 1362418970 756658 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^- maybe doing garbage collection this way is not the best way to do it :)
< 1362419020 483015 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I don't know how I could else tell the gc that a variable has left it's scope.
< 1362419026 461716 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*its
< 1362419277 927786 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving.
< 1362419349 610539 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric
< 1362419420 616551 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :According to #haskell, I'm a man human.
< 1362419478 541830 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric
< 1362419538 999184 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Redundant.
< 1362419540 712075 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::)
< 1362419543 757200 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :huwoman
< 1362419623 185107 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm.
< 1362419634 223404 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also... reference counting is vulnerable to cyclic references
< 1362419738 177940 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :I think there's a koan about that
< 1362419778 566971 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is your Dungeons&Dragons character also a man human?
< 1362419802 284970 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(including to be specific, the man, and the human)
< 1362419809 48281 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :mroman_: what the hell
< 1362419845 916089 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :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.
< 1362419846 887922 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :coppro: I'm sorry....?
< 1362419850 77400 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :coppro: it's the man. it is human. it is also hu.
< 1362419927 679742 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :the taneb man human greets us
< 1362419972 87567 :Bike!~Glossina@65-100-34-217.ptld.qwest.net JOIN :#esoteric
< 1362420058 423379 :epicmonkey!~epicmonke@195.206.224.58 QUIT :Ping timeout: 245 seconds
< 1362420060 248893 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :mroman_: your garbage collector
< 1362420083 788216 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :zzo38, my D&D character is a dwarf
< 1362420097 262807 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK.
< 1362420142 553451 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah
< 1362420147 617205 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ref increases the reference count
< 1362420151 208880 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :deref decreases it
< 1362420299 389943 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net QUIT :Quit: Leaving
< 1362420322 880087 :Gregor!codu@codu.org PRIVMSG #esoteric :Oh god I'm seeing "garbage collection" and "reference count" in the same conversation.
< 1362420331 287273 :Gregor!codu@codu.org PRIVMSG #esoteric :JUST SAY NO TO REFERENCE COUNTING, BY ALL THAT IS HOLY
< 1362420386 577430 :Bike!~Glossina@65-100-34-217.ptld.qwest.net PRIVMSG #esoteric :hehe
< 1362420583 351001 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds
< 1362420677 107736 :Bike_!~Glossina@71-34-78-123.ptld.qwest.net JOIN :#esoteric
< 1362420794 999773 :Bike!~Glossina@65-100-34-217.ptld.qwest.net QUIT :Ping timeout: 256 seconds
< 1362420985 358505 :nortti!~juhani@nano.smar.fi PRIVMSG #esoteric :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
< 1362420998 439945 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :1... reference... AH AH AH!
< 1362421029 266121 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Whatever.
< 1362421178 156942 :sebbu!~sebbu@ADijon-152-1-24-160.w83-194.abo.wanadoo.fr JOIN :#esoteric
< 1362421178 594319 :sebbu!~sebbu@ADijon-152-1-24-160.w83-194.abo.wanadoo.fr QUIT :Changing host
< 1362421178 743908 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric
< 1362421394 64265 :Bike_!~Glossina@71-34-78-123.ptld.qwest.net NICK :Bike
< 1362421545 620873 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Read error: Connection reset by peer
< 1362421589 186086 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric
< 1362421764 323503 :ion!ion@heh.fi PRIVMSG #esoteric :nortti: :-D
< 1362421765 232581 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :first rule of cabal: it always goes wrong
< 1362421811 724618 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :(iff you're running like a really outdated version and stuff)
< 1362422098 330817 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric
< 1362422578 208979 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net JOIN :#esoteric
< 1362422583 822151 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But all (?) animals (including people!) will breathe
< 1362422885 26857 :ogrom!~del@gprs-inet-65-178.elisa.ee JOIN :#esoteric
< 1362423051 85148 :carado_!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 JOIN :#esoteric
< 1362423054 101351 :carado_!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 PRIVMSG #esoteric :ouais
< 1362423063 908632 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Remote host closed the connection
< 1362423067 982660 :carado_!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 NICK :carado
< 1362423073 208555 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 248 seconds
< 1362423075 141291 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 PART :#esoteric
< 1362424155 124368 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving.
< 1362424287 181995 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric
< 1362424393 416683 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Client Quit
< 1362424399 158366 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric
< 1362424475 714289 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Client Quit
< 1362424663 700734 :sebbu!~sebbu@ADijon-152-1-24-160.w83-194.abo.wanadoo.fr JOIN :#esoteric
< 1362424663 850818 :sebbu!~sebbu@ADijon-152-1-24-160.w83-194.abo.wanadoo.fr QUIT :Changing host
< 1362424663 850983 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric
< 1362424694 159089 :epicmonkey!~epicmonke@188.134.41.176 JOIN :#esoteric
< 1362424803 740 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric
< 1362424849 145403 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :http://this-plt-life.tumblr.com/post/44462204757/simon-peyton-jones-adding-the-io-monad-to-haskell
< 1362424974 804426 :ion!ion@heh.fi PRIVMSG #esoteric ::-D
< 1362425004 510958 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :what, you don't slap fishes on your meals?
< 1362425088 502228 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(fish slapping being an altogether new type system)
< 1362425104 200200 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Deewiant: that blog is very nice and relaxing :)
< 1362425184 857829 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://nekofont.upat.jp/
< 1362425241 128941 :AnotherTest1!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric
< 1362425243 800403 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving.
< 1362425408 139902 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :I'm probably the only Homestuck/Haskell tumblr on tumblr
< 1362425433 372927 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :boily: Well spotted, so it is
< 1362425448 97217 :AnotherTest1!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Client Quit
< 1362425460 174881 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric
< 1362425494 93257 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric ::t fishSlap
< 1362425495 795343 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Not in scope: `fishSlap'
< 1362425499 517394 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Does anyone know why the documentation for Yamaha OPLL says it can be used with Teletext even though Teletext doesn't have music?
< 1362425709 786059 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe there was a failed project to add music to teletext
< 1362425899 750436 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 260 seconds
< 1362425903 877175 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :kmc, like N64DD or that NES satellite system?
< 1362425986 762130 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :satellaview is the weirdest thing
< 1362426011 303118 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: am I the only homestuck/SSE tumblr
< 1362426016 772612 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah
< 1362426196 326988 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :How did oerjan's fizzbuzz go?
< 1362426203 979776 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I have no idea how buildings in NYC work
< 1362426218 949698 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Sgeo, there's generally a door and some windows
< 1362426220 477490 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :hth
< 1362426234 967633 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :zzo38: Does taking oxygen out of water count as breathing?
< 1362426239 379276 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There's stores, and then there's the entrance for this compan
< 1362426240 993576 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :company
< 1362426251 828313 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :And then above it there's many many stories, all drab looking
< 1362426254 49522 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Are those offices
< 1362426260 924793 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Do the stores next to the company have offices there?
< 1362426267 144223 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Who knows
< 1362426293 92733 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Some of my friends stayed in a hotel in Edinburgh that was mostly above/behind some shops
< 1362426296 447019 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh, maybe that thing is an entrance to the building, and Ipreo has a few offices in that building?
< 1362426315 457603 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Especially since it's just marked with the address, not company name
< 1362426342 527671 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Maybe they timeshare
< 1362426401 207867 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Maybe it's a rich villain's lair and only looks drab from the outside
< 1362426418 553967 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :FreeFull: I don't think so, but I don't know?
< 1362426431 921708 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Maybe it does.
< 1362426438 881098 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :NYC's a bit expensive for most villainy startups.
< 1362426461 613874 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :isn't villainy well-funded?
< 1362426467 359349 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the truth about the world is that crime does pay
< 1362426492 441605 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :well, i'm assuming sgeo's going for indie evil.
< 1362426502 519423 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :we may be evil but we haven't sold out!
< 1362426514 646465 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ooh, looks like it's a short walk from the train station
< 1362426515 169867 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric ::D
< 1362426527 504027 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I'm liking this place more already
< 1362426535 419283 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :omg trains and new york and stuff
< 1362426651 356166 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Crime *might* pay.
< 1362426667 192538 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But it is risky and illegal.
< 1362426672 257282 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Stealing live copper wires does not typically pay.
< 1362426683 400956 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Stealing elevator cables less so
< 1362426914 713276 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :A villain doesn't have to break the law to be evil
< 1362426945 340292 :augur!~augur@129.2.129.34 QUIT :Read error: Connection reset by peer
< 1362426961 485738 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric
< 1362427251 221577 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :FreeFull: Yes, but then, is it criminal?
< 1362427351 640014 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :No
< 1362427359 649700 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Just evil
< 1362427370 721925 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> Just (var "evil)
< 1362427372 778194 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  <hint>:1:17:
< 1362427372 938592 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :     lexical error in string/character literal at end of input
< 1362427374 278018 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> Just (var "evil")
< 1362427376 312080 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  Just evil
< 1362427548 144005 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric
< 1362428001 183404 :nooodl!~nooodl@91.177.66.187 JOIN :#esoteric
< 1362428013 149484 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :> Just (var "!")
< 1362428015 357890 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  Just !
< 1362428032 454961 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving.
< 1362428052 621655 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :> fix show
< 1362428054 475556 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\...
< 1362428087 572514 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Almost like look-and-say with show
< 1362428102 671104 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :> show (fix show)
< 1362428105 114492 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\...
< 1362428111 97884 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Hm. Is there a fixed point of the look-and-say sequence...
< 1362428161 750493 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :1, 11, 21, 1211, 111221, 312211, 13112221, 1113213211, 31131211131221...
< 1362428177 269639 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :The first digit is going to keep going 1, 1, 3, 1, 1, 3, ..., isn't it.
< 1362428195 481706 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :> fix ((<>) <$> id <*> map not)
< 1362428199 476094 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  mueval-core: Time limit exceeded
< 1362428204 395675 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :> fix ((<>) <$> id <*> map not) :: [Bool]
< 1362428208 417800 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :  mueval-core: Time limit exceeded
< 1362428364 101297 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :tswett: there isn't one in the sequence
< 1362428386 798970 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :but for the function that you keep applying to get it, [2,2] is a fixed point
< 1362428446 96287 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Does it have other fixed points?
< 1362428467 632267 :nooodl!~nooodl@91.177.66.187 PRIVMSG #esoteric :i don't think so
< 1362428484 145482 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :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.
< 1362428801 164491 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net QUIT :Ping timeout: 248 seconds
< 1362428846 136207 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :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.
< 1362428938 520355 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net JOIN :#esoteric
< 1362428988 423148 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Perhaps it would be better for it to alternate, like it is done in E-card?
< 1362429514 956096 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :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.
< 1362429531 410723 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Actually, I mean up to 99 seconds, or no limit.
< 1362429536 61889 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I had it set to 90 seconds.
< 1362429671 632777 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Is there any way I could use realWorld# or anything else with a # from GHC.Prim
< 1362429765 674608 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :It gets parsed as  realWorld #
< 1362429777 24502 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You have to enable the extension for MagicHash
< 1362429811 340923 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Ah
< 1362429986 395488 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :University challenge: "Where's Turku? Where's Trondheim?"
< 1362430005 381384 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :"Where's Hexham?
< 1362430006 525128 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :"
< 1362430008 540262 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :(I wish)
< 1362430282 685730 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :sounds like #esoteric jeopardy... A: Turku Q: Where's Hexham?
< 1362430401 743968 :md_5!md_5@mcdevs/trusted/md-5 JOIN :#esoteric
< 1362430569 806740 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Read error: Connection reset by peer
< 1362430575 215241 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric
< 1362430751 235396 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric
< 1362431018 287250 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't know what happen in this Pokemon game if the master clock expires.
< 1362431030 880489 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :02:57:58 <Jafet> Well, the inverse of a bad idea could be another bad idea
< 1362431031 223037 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :02:58:15 <Jafet> (which is mandatory in a group generated only by bad ideas)
< 1362431071 16364 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Jafet: sorry, that does not obviously follow.  at least if you take the analogy bad = negative, the statement is false for the integers.
< 1362431085 764386 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hth
< 1362431105 244966 :Gregor!codu@codu.org PRIVMSG #esoteric :But what if, say, good=prime? There are no negative prime numbers.
< 1362431126 569560 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo "Newsflash: every single letter is 'U'" | uuu
< 1362431128 266776 :HackEgo!codu@codu.org PRIVMSG #esoteric :Uuuuuuuuu: uuuuu uuuuuu uuuuuu uu 'U'
< 1362431136 712762 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :UUU
< 1362431142 328103 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(aka QED)
< 1362431167 824920 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :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.
< 1362431170 88601 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :That reminds me
< 1362431178 9644 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you like any of this?
< 1362431191 422191 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: no, but then obviously bad = composite, and the multiplicative group of rationals is still generated by those
< 1362431200 347144 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :zzo38, not keen on 6
< 1362431300 923848 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Gregor: G gg gggggg; ggggg /g/ggggg.
< 1362431318 111059 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Taneb: In all cases including [6] I only mean if the master clock expires, though.
< 1362431327 3627 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Oh
< 1362431340 324195 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :In that case 6 is the best
< 1362431356 904284 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :As long as there's an "infinite time" option
< 1362431364 842758 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :5 would be hard to measure
< 1362431387 242601 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :4 and 2 are okay
< 1362431396 401263 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Don't know enough about the game to comment on 3
< 1362431407 732868 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :1 I'm in two minds about
< 1362431411 1089 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :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.
< 1362431466 483795 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I mean [4] is not being hard to measure.
< 1362431480 216322 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :[5] would be difficult unless the computer has levels or tiers perhaps!
< 1362431488 167278 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :With levels and tiers and stuff, it can be measured.
< 1362431527 249492 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :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.
< 1362431574 584644 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :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.
< 1362431590 380761 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Option [6] is like the rule in cricket.
< 1362431621 252953 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Anyway, I need to bulk out the description of Underload
< 1362431624 242475 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :That I am writing
< 1362431631 580621 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :oerjan, interesting thing about Underload
< 1362431667 682846 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Official Scrabble tournaments are played with shot clocks, and outside of Britain also with a master clock. Chess boxing uses all three clocks.
< 1362431674 115759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: what is?
< 1362431682 740632 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :oerjan, I'm asking for some
< 1362431707 236218 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well the fact that it's TC with just 4 of its commands is something i find biasedly interesting :)
< 1362431725 680177 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Some people prefer to play Scrabble with chess clocks instead.
< 1362431736 196382 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :What is a shot clock
< 1362431751 594069 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :boily, interesting thing about Underload
< 1362431776 551527 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Shot clock means you have a timer to make your move on your turn, and is reset on every turn.
< 1362431786 73173 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Right
< 1362431811 207543 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :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.
< 1362431915 124614 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :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.
< 1362431916 954554 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: i believe elliott intends to feature Deadfish on April 1, so if Underload is featured now it will have less than a month.
< 1362431938 963612 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :oerjan, that means I can wait a bit longer for this
< 1362431943 184569 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :But I'd like it written
< 1362431956 926539 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :boily, I'm writing a description for the featured language
< 1362431965 806460 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Because elliott doesn't want to and won't let ais523
< 1362431981 174932 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah. i've been thinking vaguely that there should be a suggested blurb page under Esolang:Featured Languages/
< 1362432023 714203 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: a small interesting thing is that it has very short quines
< 1362432039 624519 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :without being specifically designed to have them (afaik)
< 1362432111 511178 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :^ul (:a*S):a*S
< 1362432119 537012 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh no
< 1362432125 705611 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :in my egotistical opinion, I'd say aubergine would make for an interesting featured language.
< 1362432129 912581 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: FUNGOT FATIGUE
< 1362432141 840436 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :!underload (:a*S):a*S
< 1362432143 914279 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(obviously, I have absolutely no bias towards that particular language, no siree.)
< 1362432144 663812 :EgoBot!codu@codu.org PRIVMSG #esoteric :​:a*S(:a*S)
< 1362432154 189428 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :!underload (:~a*S):~a*S
< 1362432154 512378 :EgoBot!codu@codu.org PRIVMSG #esoteric :​:~a*S(:~a*S)
< 1362432158 81000 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :...
< 1362432160 526133 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :I suck at this
< 1362432179 333613 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!underload (:aSS):aSS
< 1362432179 667093 :EgoBot!codu@codu.org PRIVMSG #esoteric :​(:aSS):aSS
< 1362432180 66674 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :boily, I have a similar opinion of Fueue
< 1362432212 586448 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :!underload (:a~*S):a~*S
< 1362432212 981140 :EgoBot!codu@codu.org PRIVMSG #esoteric :​(:a~*S):a~*S
< 1362432244 744817 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: now make one which embeds an arbitrary element
< 1362432353 714496 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :!underload (what)(~aS:a~*S)~aS:a~*S
< 1362432354 124062 :EgoBot!codu@codu.org PRIVMSG #esoteric :​(what)(~aS:a~*S)~aS:a~*S
< 1362432426 419347 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Taneb: therefore, we need a cyclic aubergine/fueue quine.
< 1362432447 640641 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Oh dear god
< 1362432450 660856 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Is that even possible
< 1362432499 414635 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :a cyclic aubergine? sounds awesome
< 1362432513 792846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :<FreeFull> How did oerjan's fizzbuzz go? <-- see the logs hth
< 1362432521 825 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :I'm the worst at quines
< 1362432531 467480 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :And I'm the guy who knows Fueue the third-best
< 1362432551 58402 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :who's the second best
< 1362432558 221406 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Arc_Koen, of course
< 1362432565 537126 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose
< 1362432614 344437 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm we haven't written a Fueue quine yet, have we.  or is that what you are trying?
< 1362432631 712999 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Nah, boily was proposing a cyclic Aubergine/Fueue quine
< 1362432638 765136 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah
< 1362432657 56819 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Imagine a cyclic Malbolge/ORK quine
< 1362432664 372502 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ouch
< 1362432716 567332 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :"There is a scribe called bugger this"
< 1362432876 576850 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric
< 1362432997 556590 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think the Interactive Fiction database have no "disjunctive require" option for searching?
< 1362433016 898320 :fungot!fis@eos.zem.fi JOIN :#esoteric
< 1362433023 383941 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But it does have "allow", "require", "prohibit", which is OK.
< 1362433812 699962 :ogrom!~del@gprs-inet-65-178.elisa.ee QUIT :Quit: Left
< 1362433918 97750 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :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.
< 1362433942 315224 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :It's updated MWF
< 1362433942 673274 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :still using IE?
< 1362433943 965072 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :So no
< 1362433951 201291 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :no, last update March 1st.
< 1362433952 967399 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: um today is monday
< 1362433957 390434 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Oh god
< 1362433960 708844 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :I thought it was Sunday
< 1362433960 858309 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: thanks
< 1362433970 738432 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :eep
< 1362433992 954306 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I thought yesterday was monday instead
< 1362434013 895282 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :olsner, so on average, we're right
< 1362434015 911643 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Scheduling an appointment for possible internship, but what if that conflicts with scheduling a possible Ipreo in-person meeting'
< 1362434034 893470 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :schedule nothing and nothing will conflict
< 1362434040 788392 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :You could ask to reschedule either
< 1362434053 459617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :olsner: the zen of management?
< 1362434069 618708 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :more like the zen of not using a calendar
< 1362434073 62543 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait, tao maybe
< 1362434081 470126 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I think management is more about using a calendar
< 1362434117 388182 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Do nothing twice at once and nothing will conflict with nothing
< 1362434120 612023 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Ipreo will be understanding if they suggest a day and I say I'm not available that day, how about a different day?
< 1362434170 564152 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :hmm, probably tao, I suspect zen is not used that way ... I also suspect they are not from the same tradition either
< 1362434192 245386 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tao isn't buddhistic
< 1362434205 764305 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although they're both from china afaik
< 1362434213 764429 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Taneb: the sound of one hand not having a scheduling conflict
< 1362434217 569184 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: I don't keep logs
< 1362434230 73160 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: the bot logs.
< 1362434239 736393 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i see a possible problem here.
< 1362434243 28601 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :lambdabot log
< 1362434277 750343 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :welcomes its new prime minister, Ed "Brainfuck Derivative" Centipede | Newsflash: every single letter is 'U' | Logs: http://codu.org/logs/_esoteric/
< 1362434310 384604 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm the #esoteric got swallowed
< 1362434310 888406 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :U're every single letter
< 1362434317 168983 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :#esoteric welcomes its new prime minister, Ed "Brainfuck Derivative" Centipede | Newsflash: every single letter is 'U' | Logs: http://codu.org/logs/_esoteric/
< 1362434317 519843 :oonbotti!~oonbotti@91-145-118-87.bb.dnainternet.fi PRIVMSG #esoteric :Nothing here
< 1362434528 776298 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :What timezone is the bot using?
< 1362434538 586820 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :UTC?
< 1362434610 720386 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: I'm gonna try to improve on your fizzbuzz
< 1362434612 906011 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Using monads
< 1362434620 812964 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Or rather the list monad
< 1362434626 408527 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :YOU GO AHEAD
< 1362434633 395000 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :try included lenses while you're at it
< 1362434637 892675 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*-ing
< 1362434651 318050 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :glogbot uses UTC afaik
< 1362434657 397071 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I don't know lens syntax
< 1362434672 354585 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :clog uses something weird USy
< 1362434688 831241 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but lenses are so easy!
< 1362434708 72107 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I think one of the bots is on new zeeland time
< 1362434722 172804 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I guess that's the prevailing time zone in hexham
< 1362434738 186639 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think clog is Pacific time same as my timezone; glogbot uses UNIX time so it can be converted to whatever format you need.
< 1362434759 858560 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :HackEgo is on nz language settings, no idea about timezone
< 1362434762 347781 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`time
< 1362434764 42130 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: time: not found
< 1362434768 273948 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`date
< 1362434769 811117 :HackEgo!codu@codu.org PRIVMSG #esoteric :Mon Mar  4 22:06:09 UTC 2013
< 1362434773 337891 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope
< 1362434804 268687 :FreeFull!~freefull@defocus/sausage-lover QUIT :Read error: Operation timed out
< 1362434879 44363 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What types in Haskell can be regular reasoners? I think functors is one of them?
< 1362434920 37661 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what is a regular reasoner
< 1362434952 678942 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :forall p and q: B(p -> q) -> B(Bp -> Bq)
< 1362434975 245724 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric ::t fmap fmap
< 1362434976 982927 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :(Functor f1, Functor f) => f (a -> b) -> f (f1 a -> f1 b)
< 1362434989 656861 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, fmap fmap is what I was thinking of.
< 1362435018 822819 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
< 1362435050 783479 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: I know
< 1362435055 741491 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Applicatives
< 1362435082 330276 :Regis_!~Regis@187.65.192.73 JOIN :#esoteric
< 1362435117 757486 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric ::t fmap fmap fmap
< 1362435119 431252 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :(Functor f1, Functor f) => (a -> b) -> f (f1 a) -> f (f1 b)
< 1362435208 943651 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Are you talking about modal logic or something?
< 1362435220 554145 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Yes.
< 1362435233 58230 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does B mean "believe"?
< 1362435242 799295 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Functor is not what you want for that.
< 1362435270 184447 :GOMADWarrior!~Regis@187.65.192.73 QUIT :Ping timeout: 264 seconds
< 1362435280 367440 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, they have that property, but they're too strong.
< 1362435280 773059 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t (fmap fmap fmap)
< 1362435282 59960 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I know, but I mean that Functor is one thing that is able to make such a type.
< 1362435282 210608 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :(Functor f1, Functor f) => (a -> b) -> f (f1 a) -> f (f1 b)
< 1362435294 741333 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Yes, that is what I mean, too
< 1362435317 132986 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :it's doxastic logic (again).
< 1362435429 633582 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hey, Raymond Smullyan has a book on modal logic?
< 1362435449 447787 :wareya!~wareya@cpe-67-248-121-45.nycap.res.rr.com QUIT :Read error: Connection reset by peer
< 1362435497 668186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Why didn't you tell me?
< 1362435507 150137 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :I was asleep.
< 1362435513 236087 :wareya!~wareya@cpe-67-248-121-45.nycap.res.rr.com JOIN :#esoteric
< 1362435533 694130 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Oh, is that in Mock a Mockingbird?
< 1362435533 889240 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :WELL WAKE UP
< 1362435538 598856 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, _Forever Undecided_
< 1362435574 590587 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :(B(x), (x -> B(y))) -> B(y)
< 1362435592 240138 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :Holy hell, what a cover
< 1362435616 862185 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :don't judge a musician by their cover, Bike
< 1362435642 40756 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: ?
< 1362435670 229752 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :shachaf, me being sleepy and trying to show that possibility is a Monad
< 1362435682 935501 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :wrong modal logic?
< 1362435690 132185 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :PERHAPS
< 1362435692 940654 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You don't have quantifiers.
< 1362435702 567910 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is this pseudoHaskell?
< 1362435743 12545 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :It's "Taneb's awful syntax for a misunderstanding of formal logic and its variations, loosely inspired by Haskell"
< 1362435771 294842 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net PRIVMSG #esoteric :Certainty isn't a functor...
< 1362435781 998702 :Taneb!~nathan@host-84-13-66-225.opaltelecom.net QUIT :Quit: Leaving
< 1362435868 879981 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer
< 1362435937 288584 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`run echo -n "We don't know what certainty is for sure, but at least it isn't a functor" >wisdom/certainty
< 1362435941 144462 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output.
< 1362435944 775341 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`? certainty
< 1362435946 814062 :HackEgo!codu@codu.org PRIVMSG #esoteric :We don't know what certainty is for sure, but at least it isn't a functor
< 1362435953 996886 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`run echo -n "We don't know what certainty is for sure, but at least it isn't a functor." >wisdom/certainty
< 1362435957 559947 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output.
< 1362436002 70271 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is certainty a monoid
< 1362436021 231868 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, it's not that easy
< 1362436048 327496 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(why is a dead horse looking at me disapprovingly)
< 1362436089 254746 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :`run cp wisdom/certain{t,l}y && sed -i 's/ty/ly/' wisdom/certainly
< 1362436093 169477 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output.
< 1362436241 68453 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? Jafet
< 1362436243 5512 :HackEgo!codu@codu.org PRIVMSG #esoteric :Jafet? ¯\(°_o)/¯
< 1362436263 707437 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`? shachaf
< 1362436265 319612 :HackEgo!codu@codu.org PRIVMSG #esoteric :shachaf sprø som selleri and cosplays Nepeta Leijon on weekends.
< 1362436273 472264 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :ok.
< 1362436281 606526 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :To be fair, who doesn't?
< 1362436370 349551 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I don't, it hasn't reached Canada yet.
< 1362436381 375729 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :hello guys
< 1362436389 618056 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :hi there!
< 1362436395 429909 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :evening
< 1362436432 593023 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :zzo38: what is the purpose of "allow"?
< 1362436489 394074 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :@tell Taneb just because I can tell my computer to interpret fueue doesn't mean I know anything about fueue :)
< 1362436489 615239 :lambdabot!~lambdabot@74.207.243.105 PRIVMSG #esoteric :Consider it noted.
< 1362436515 327204 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :I had an exciting day today
< 1362436555 152814 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :`quote Jafet
< 1362436556 839472 :HackEgo!codu@codu.org PRIVMSG #esoteric :825) <Jafet> I wonder if Red Alert 4 will use MMIX \ 850) <Jafet> The world needs better healthcare, social justice and wealth distribution, but a monads library for clojure surely won't hurt \ 955) <Sgeo> This position is asking for "- Extensive experience with API"  <Jafet> You're just not qualified, kid.
< 1362436577 486268 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :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
< 1362436587 821790 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :so I stayed home instead (qualifications are played on the internet)
< 1362436596 744325 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :then my opponent didn't show up
< 1362436640 965855 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :when the game was finally forfeited, I figured I still had enough time to run to the cinema to see Ben Affleck's Argo
< 1362436664 266420 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :I did so... but the theatre was full
< 1362436711 705754 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Movies are seen on the internet
< 1362436720 749167 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :argo must be seen at the cinema.
< 1362436729 228956 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric
< 1362436749 628608 :Bike!~Glossina@71-34-78-123.ptld.qwest.net PRIVMSG #esoteric :French Youth Go could be a saturday morning TV show.
< 1362436750 734723 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :it's been a while since I've played go. I guess I'm now somewhere around 18~19 kyu.
< 1362436840 309431 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :boily: you should start again!
< 1362436920 773965 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :on the plus side, I chatted with the projectionist intern, who happens to be very cute
< 1362437091 600783 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :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.
< 1362437140 236789 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :you're the second person I met who's gone from go to shogi
< 1362437151 678145 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I should play some Go at some point
< 1362437157 812527 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Except it's hard to score Go in person :(
< 1362437161 782755 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :I guess two is a fair retribution for the countless chess players who turned go players
< 1362437377 206247 :nooodl!~nooodl@91.177.66.187 QUIT :Ping timeout: 248 seconds
< 1362437394 188040 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 264 seconds
< 1362438494 30132 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric
< 1362438561 189527 :epicmonkey!~epicmonke@188.134.41.176 QUIT :Ping timeout: 248 seconds
< 1362438752 303344 :Bike!~Glossina@71-34-78-123.ptld.qwest.net QUIT :Ping timeout: 256 seconds
< 1362439753 948093 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: Remind me: Did you need → or End for that game?
< 1362439781 340632 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :boily: I can play shogi and mahjong, as well as chess and go
< 1362439822 655036 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Arc_Koen: "allow" is simply the default setting; it doesn't actually mean anything.
< 1362439842 518304 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :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.).
< 1362439860 581386 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I can play xiangqi too.
< 1362439908 704059 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :let's have a chessgoshogixiangki tournament!
< 1362439954 460222 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I claim mornington crescent by way of picadilly!
< 1362439968 381419 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Resolve ko through a kickboxing match
< 1362439996 887054 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Remote host closed the connection
< 1362440096 629991 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 252 seconds
< 1362440124 74762 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 260 seconds
< 1362440397 275760 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What kinds of rules do you like to use with mahjong?
< 1362440431 712038 :Regis_!~Regis@187.65.192.73 QUIT :Ping timeout: 260 seconds
< 1362440490 457761 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION wants to try Backgammon
< 1362440530 923272 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I know how to play backgammon too.
< 1362440553 998948 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I don't want to play backgammon anymore. the dice always conspire against me.
< 1362440609 656106 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :boily: have you tried using two cups? so that they don't get an opportunity to talk
< 1362440687 977094 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I want to play backgammon card.
< 1362440825 475986 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Arc_Koen: good suggestion. I'll try it next time against my bro.
< 1362440831 592950 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :zzo38: that exists?
< 1362440872 336452 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :hmm you could replace the dice by decks of 1-2-3-4-5-6 cards
< 1362440908 49080 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :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
< 1362440978 521212 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :«Taupes et Compagnie» uses that concept, with a fixed stack of number-tokens.
< 1362440985 608604 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(can't remember that game's English name)
< 1362441036 643512 :Bike!~Glossina@71-34-78-123.ptld.qwest.net JOIN :#esoteric
< 1362441082 177886 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Hypergeometric distribution, in my backgammon?
< 1362441084 123592 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :boily: I don't know if it exists, but I want to play such game.
< 1362441113 258698 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I generally prefer the games with cards than with dice.
< 1362441118 11985 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Arc_Koen, zzo38: it is either "mole in the hole" or "under the ground". http://boardgamegeek.com/boardgame/321/the-mole-in-the-hole
< 1362441141 482984 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :boily: are you french?
< 1362441179 48731 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Arc_Koen: no, from Montréal, Québec.
< 1362441202 691707 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :or right you mentioned canada earlier
< 1362441310 579405 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can you play Pokemon card or Magic: the Gathering cards?
< 1362441401 855678 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :only magic.
< 1362441404 195940 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :boily:I'm from Montreal. is not a valid answer to are you French?
< 1362441445 444581 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :coppro: I'm not from France, therefore I'm not French.
< 1362441468 90089 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you like Magic: the Puzzling?
< 1362441470 139768 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Cockatrice was shut down :(
< 1362441483 314977 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :nooooooooooooooooooo!
< 1362441485 449415 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :darn.
< 1362441487 938213 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :coppro: Montreal isn't french, but Montréal
< 1362441494 419162 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Jafet: fair
< 1362441554 597386 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :time to go eat. I'm hungry.
< 1362441557 98094 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet!
< 1362441566 486783 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection