< 1431475223 939943 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1431475281 299024 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :er, of such a channel* rather < 1431475308 249345 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Scandalous < 1431475387 172383 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :Didn't ski die though well I wouldn't know I've only seen him once < 1431475422 552039 :heroux!sandroco@gateway/shell/insomnia247/x-nqpfciabveqtmxqj QUIT :Ping timeout: 256 seconds < 1431475425 939248 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ski: are you dead in which case your bouncer is holding up amazingly well hth < 1431475481 563323 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net PRIVMSG #esoteric :How do you cure your squid if he has the bends? < 1431475567 959781 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Decim: he'll just have to straighten out tentacle it himself < 1431475606 740089 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :TIL: Something called "Sunset Overdrive" is using my good name. :( < 1431475675 941446 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Fizzie is the corporate mascot of Fizzco, and the primary antagonist of Sunset Overdrive." "Fizzie's voice has been modified to appeal to 'young children and males in their 20's.'" This makes me unhappy. < 1431475869 802328 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net QUIT :Remote host closed the connection < 1431476039 243273 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION notes that watching ORin try to guess haskell's syntax in the logs is slightly painful. < 1431476294 208262 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which logs twpnh < 1431476298 651799 :hilquias!~user@unaffiliated/hilquias JOIN :#esoteric < 1431476312 252638 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://codu.org/logs/log/_esoteric/2015-05-12 hth < 1431477669 188612 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :🞋 < 1431477691 951870 :cantsolvethis!~deco@192.3.30.211 JOIN :#esoteric < 1431477693 297937 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :🞢🞣🞤🞥🞦🞧 < 1431477742 43759 :solid_whiskey!~teakey@23.27.206.118 JOIN :#esoteric < 1431477926 19371 :cantsolvethis!~deco@192.3.30.211 PRIVMSG #esoteric :anyone up for a small challenge < 1431477939 223479 :cantsolvethis!~deco@192.3.30.211 PRIVMSG #esoteric :Flag == YBONCECOJTHPGKUNCFTRHEAMMEOFPOEKHV < 1431477939 370340 :cantsolvethis!~deco@192.3.30.211 PRIVMSG #esoteric :Here's a hint: < 1431477940 832014 :cantsolvethis!~deco@192.3.30.211 PRIVMSG #esoteric :CHWLMMYKMETMMEATVTTO == BOYILOVEMESOMECRYPTO < 1431477959 138355 :cantsolvethis!~deco@192.3.30.211 PRIVMSG #esoteric :see if you can solve for the flag < 1431478083 372303 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION is reminded of someone from years ago < 1431478317 531709 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> "hello" + "world" < 1431478318 698103 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Num [Char]) arising from a use of ‘+’ < 1431478318 844805 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the expression: "hello" + "world" < 1431478322 80766 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> "hello" . "world" < 1431478323 249693 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type ‘b0 -> c’ with actual type ‘[Char]’ < 1431478323 396260 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the first argument of ‘(.)’, namely ‘"hello"’ < 1431478323 396344 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the expression: "hello" . "world" Couldn't match expected type ‘a ... < 1431478331 280362 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> "hello" = "world" < 1431478332 517517 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:9: parse error on input ‘=’ < 1431478336 513595 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> "hello" == "world" < 1431478337 132677 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats ORin -----### < 1431478337 779990 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : False < 1431478345 471964 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> "hello" != "world" < 1431478346 662599 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘!=’ < 1431478346 809076 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1431478346 809156 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘!’ (imported from Data.Array), ‘M.!’ (imported from Data.Map), < 1431478353 937221 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> "hello" ++ "world" < 1431478355 219604 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "helloworld" < 1431478357 778065 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :AH < 1431478392 191270 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> "hello" ++ [10] < 1431478393 364409 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Num Char) arising from the literal ‘10’ < 1431478393 511105 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the expression: 10 < 1431478393 511180 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the second argument of ‘(++)’, namely ‘[10]’ < 1431478402 47835 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : need to open file in ed just to use the N,Ms/name/newname/g command <-- sed -i hth < 1431478428 138898 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> "hello" ++ "\n" < 1431478429 504134 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "hello\n" < 1431478446 441053 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> "hello" ++ [10 :: Char] < 1431478447 638622 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Num Char) arising from the literal ‘10’ < 1431478447 785251 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the expression: 10 :: Char < 1431478447 785347 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the second argument of ‘(++)’, namely ‘[10 :: Char]’ < 1431478465 134080 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :What? but but 10 is '\n' < 1431478467 944029 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> '\10' < 1431478469 504889 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : '\n' < 1431478480 983084 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ORin: haskell :: is _not_ a cast. < 1431478490 205768 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :it it isn't? < 1431478502 883663 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :but it is used as one < 1431478522 170734 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> "hello" ++ [((Char) 10)] < 1431478523 485003 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: data constructor ‘Char’ < 1431478523 631443 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1431478523 631522 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘Chr’ (imported from Text.PrettyPrint.HughesPJ), < 1431478525 138908 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope. it just says what the type of the expression is. whether that expression _can_ be that type, is a different question. < 1431478533 418389 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> "hello" ++ [(Chr 10)] < 1431478534 584589 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type ‘Char’ with actual type ‘TextDetails’ < 1431478534 731198 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the expression: (Chr 10) < 1431478534 731267 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the second argument of ‘(++)’, namely ‘[(Chr 10)]’ < 1431478549 673267 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :ord '\n' < 1431478554 147831 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> "hello" ++ [toEnum 10] < 1431478555 570998 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "hello\n" < 1431478563 853586 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I you what < 1431478585 49834 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's one of the explicit conversion functions < 1431478593 841974 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :toEnum is a weird way to spell (char) < 1431478605 657169 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's because it's more general < 1431478617 35870 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> "hello" ++ [chr 10] < 1431478618 221503 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "hello\n" < 1431478621 546589 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric ::t toEnum < 1431478622 536592 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Enum a => Int -> a < 1431478641 191358 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric ::t ord < 1431478642 134446 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Char -> Int < 1431478653 612148 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric ::t chr < 1431478654 511159 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Int -> Char < 1431478663 160106 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :so they copid perl < 1431478665 756909 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i never bother with chr or ord in my own programs because they require an import, so i just use the more general toEnum and fromEnum. < 1431478706 453203 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> [1 .. 4] < 1431478707 766306 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [1,2,3,4] < 1431478721 309077 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> [1 ... 4] < 1431478722 611439 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (Num (Over p f c0 c0 a b)) < 1431478722 757892 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (Num (Over p f c c a b), < 1431478722 757962 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Num (LensLike f s t c c), < 1431478723 851563 :solid_whiskey!~teakey@23.27.206.118 QUIT :Remote host closed the connection < 1431478747 367912 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> ['a'.. 'z'] < 1431478748 596581 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "abcdefghijklmnopqrstuvwxyz" < 1431478767 797144 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> ["a" .. "z"] < 1431478769 200231 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Enum [Char]) < 1431478769 346847 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from the arithmetic sequence ‘"a" .. "z"’ < 1431478769 346895 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the expression: ["a" .. "z"] < 1431478799 307388 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Hmm so not quite like perl < 1431478819 108612 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> ['a','b' .. 'z'] < 1431478820 424014 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "abcdefghijklmnopqrstuvwxyz" < 1431478824 349669 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> ['a','c' .. 'z'] < 1431478825 922624 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "acegikmoqsuwy" < 1431478847 876795 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> [1,2,4 .. 256] < 1431478849 215709 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:8: parse error on input ‘..’ < 1431478858 514350 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :alas < 1431478869 652113 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 1:[2,4 .. 256] < 1431478871 25087 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [1,2,4,6,8,10,12,14,16,18,20,22,24,26,28,30,32,34,36,38,40,42,44,46,48,50,52... < 1431478922 41744 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> [2 ** x : x in [1 .. 8]] < 1431478923 275993 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:13: parse error on input ‘in’ < 1431478930 243116 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :hmm < 1431478940 806157 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [2 ^ x | x <- [1 .. 8]] < 1431478942 166342 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [2,4,8,16,32,64,128,256] < 1431478971 326138 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :cool < 1431478995 265344 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :so that's why | isn't or < 1431479011 633140 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :indeed, | is a "keyword" < 1431479049 333437 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :4 ** x | x <- 2 < 1431479057 349012 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 4 ** x | x <- 2 < 1431479058 670278 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:8: parse error on input ‘|’ < 1431479065 876869 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> [4 ** x | x <- 2] < 1431479067 321979 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Show t0) < 1431479067 468442 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘show_M783320247286381027832586’ < 1431479067 468496 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable ‘t0’ is ambiguous < 1431479068 657781 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and with | taken, & never was used commonly for anything until lens started making it reverse application < 1431479124 361430 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> first [2..4] < 1431479125 758202 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘[]’ with ‘a b’ < 1431479125 904736 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: a b c < 1431479125 904810 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: [c] < 1431479133 707188 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> first [2 .. 4] < 1431479133 993726 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> head [2..4] < 1431479135 162900 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘[]’ with ‘a b’ < 1431479135 309420 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: a b c < 1431479135 309510 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: [c] < 1431479135 455878 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : : can't find file: L.hs < 1431479139 7187 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1431479140 179230 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> head [2..4] < 1431479142 76821 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 2 < 1431479161 602579 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> cdr [2 .. 4] < 1431479162 885351 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘cdr’ < 1431479163 31954 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant ‘chr’ (imported from Data.Char) < 1431479164 117131 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :first is something else from Control.Arrow < 1431479170 604416 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> tail [2..4] < 1431479172 14128 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [3,4] < 1431479206 275717 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :well at least those names make more sense than car and cdr < 1431479224 612541 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :what were they thinking < 1431479248 8892 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think those were from assembly language < 1431479259 227309 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :content of address register < 1431479284 446257 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> Int -> Float < 1431479285 700510 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:5: parse error on input ‘->’ < 1431479291 597629 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> x : Int -> Float < 1431479292 863625 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:9: parse error on input ‘->’ < 1431479297 863473 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :note that head and tail are deprecated for serious use, pattern matching is safer < 1431479314 339425 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> head [] -- errors out < 1431479315 899378 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : *Exception: Prelude.head: empty list < 1431479351 589346 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> case [] of x:_ -> "head is " ++ show x; _ -> "no head" < 1431479352 979091 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "no head" < 1431479408 144436 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hoogle Int -> Float < 1431479409 5338 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Data.Set elemAt :: Int -> Set a -> a < 1431479409 151748 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Prelude (!!) :: [a] -> Int -> a < 1431479409 151835 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Data.List (!!) :: [a] -> Int -> a < 1431479417 143819 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...that was not helpful. < 1431479423 964642 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t fromIntegral < 1431479425 81455 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Integral a, Num b) => a -> b < 1431479471 278298 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :another conversion function that newbies bitch about needing < 1431479497 490177 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fromIntegral (1 :: Int) :: Float < 1431479498 870270 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1.0 < 1431479520 355572 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I need it so that the output has a useless .0 in it < 1431479572 751297 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 1 :: Float < 1431479574 23945 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1.0 < 1431479619 391659 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> round pi < 1431479620 640064 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3 < 1431479638 838820 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> floor 4.9 < 1431479640 78257 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 4 < 1431479646 181158 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> round 4.9 < 1431479647 443501 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 5 < 1431479649 909570 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> round 4.5 < 1431479651 230089 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 4 < 1431479653 858890 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :fail < 1431479662 132198 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> round 3.5 < 1431479663 892684 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 4 < 1431479667 160527 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think it uses the banker's rounding rule < 1431479671 539448 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :total fail < 1431479681 730144 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ORin: that's recommended behavior for rounding < 1431479692 372998 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it makes rounding errors even out more often < 1431479715 792243 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :bah. 0,1,2,3,4 -> down. 5,6,7,8,9 -> up < 1431479738 65791 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's the rule for money in norway too < 1431479745 484062 :solid_whiskey!~teakey@23.27.206.118 JOIN :#esoteric < 1431479757 533714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but using floating point for money isn't recommended < 1431479780 499288 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :that's that BCD is for < 1431479799 191152 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :well, primarily anyway IIRC < 1431479826 688861 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 3.12345 :: Milli < 1431479828 10510 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3.123 < 1431479876 520637 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 3.12345 :: Centi < 1431479877 964278 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3.12 < 1431479879 717338 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :from a fixed point package < 1431479882 854441 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 3.12345 :: Deci < 1431479884 183911 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3.1 < 1431479890 111807 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 3.12345 :: Myria < 1431479891 260790 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: type constructor or class ‘Myria’ < 1431479905 164219 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :myria isn't a metric prefix anyway < 1431479909 207354 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 3.123456789 :: Micro < 1431479910 651447 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3.123456 < 1431479938 567954 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> 3.123456789123 :: Nano < 1431479940 31091 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3.123456789 < 1431479942 717862 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :cool < 1431479980 579444 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there's probably some notation for giving arbitrary precision but i've forgotten it < 1431480039 993957 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> printf "%f Hello %d world" 4.5 567 < 1431480041 487375 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Show a0) < 1431480041 633932 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘show_M3328553923042570177738’ < 1431480041 633986 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable ‘a0’ is ambiguous < 1431480065 276193 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :That error message is very unyhelpful < 1431480078 393700 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> printf "Hello world" < 1431480079 739537 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Show a0) < 1431480079 886176 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘show_M7421556609422406871750’ < 1431480079 886244 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable ‘a0’ is ambiguous < 1431480081 128857 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :printf needs a lot of type annotation when used like that < 1431480083 937010 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1431480096 244224 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> printf "%f Hello %d world" 4.5 567 :: String < 1431480097 657878 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "4.5 Hello 567 world" < 1431480118 920972 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> sprintf "%f Hello %d world" 4.5 567 < 1431480120 219635 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘sprintf’ < 1431480120 366270 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1431480120 366367 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘printf’ (imported from Text.Printf), < 1431480122 863642 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :fail < 1431480137 836722 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :printf is overloaded so it can be used both ways < 1431480148 316242 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :how is :: not a cast again then < 1431480175 590229 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because it chooses a type, but it doesn't convert one type to another < 1431480179 461411 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :how oh < 1431480256 335388 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> printf "%f Hello %d world" 4.5 567 :: IO () -- this would work imperatively if lambdabot allowed running IO actions < 1431480257 742045 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : < 1431480343 554651 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :sscanf "345" "%d" < 1431480349 874602 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> sscanf "345" "%d" < 1431480351 286680 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘sscanf’ < 1431480351 444277 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1431480351 444328 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘scanl’ (imported from Data.List), < 1431480356 863951 :cantsolvethis!~deco@192.3.30.211 PART :#esoteric < 1431480361 191933 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> scanl "345" "%d" < 1431480362 561421 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type ‘[Char] -> a -> [Char]’ < 1431480362 708057 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with actual type ‘[Char]’ < 1431480362 708154 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the first argument of ‘scanl’, namely ‘"345"’ < 1431480371 827787 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i haven't seen scanf anywhere commonly used < 1431480388 11891 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :scanl is something completely different < 1431480394 752479 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> atoi "345" < 1431480396 175637 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘atoi’ < 1431480401 387026 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> read "345" :: Integer < 1431480402 816539 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 345 < 1431480415 936467 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> strtol "345" < 1431480417 325736 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘strtol’ < 1431480438 746656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> read "345" :: Double < 1431480440 93444 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 345.0 < 1431480447 545692 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> read "345" :: String < 1431480448 969849 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "*Exception: Prelude.read: no parse < 1431480455 847483 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> read "345" :: [Char] < 1431480457 383822 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "*Exception: Prelude.read: no parse < 1431480465 218815 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :fail < 1431480506 84536 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> read "\"345\"" :: String < 1431480507 527602 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "345" < 1431480524 538232 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it does the opposite of show, so you need the quotes < 1431480537 471173 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> read "345.0 78 \"jakarta\"" :: [Int, Double, String] < 1431480538 720252 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected a type, but ‘'[Int, Double, String]’ has kind ‘[*]’ < 1431480538 866820 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In an expression type signature: '[Int, Double, String] < 1431480538 866978 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the expression: < 1431480577 520777 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :oh, lists are homogenous? < 1431480583 916215 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes < 1431480597 670616 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but that read won't work either < 1431480628 569851 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> read "(345.0, 78, \"jakarta\")" :: (Int, Double, String) < 1431480630 105415 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : *Exception: Prelude.read: no parse < 1431480632 309330 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1431480637 912608 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1431480646 650740 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> read "(345.0, 78, \"jakarta\")" :: (Double, Int, String) < 1431480648 9176 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (345.0,78,"jakarta") < 1431480701 81954 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :haskell distinguishes between homogeneous lists and nonhomogeneous tuples < 1431480784 187377 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tuples with many elements are a bit of an antipattern, and not that well supported. < 1431480868 590103 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :[45,75.0,'f',"foo"] < 1431480874 859470 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> [45,75.0,'f',"foo"] < 1431480876 203969 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type ‘Char’ with actual type ‘[Char]’ < 1431480876 350555 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the expression: "foo" < 1431480876 350632 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the expression: [45, 75.0, 'f', "foo"] < 1431480906 813686 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :> ['f',"foo"] :: [Either Char String] < 1431480908 178141 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type ‘Either Char String’ < 1431480908 324729 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with actual type ‘Char’ < 1431480908 324810 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In the expression: 'f' < 1431480953 24216 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Either doesn't do any silent conversion either < 1431480966 809555 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [Left 'f', Right "foo"] :: [Either Char String] < 1431480968 135419 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [Left 'f',Right "foo"] < 1431481037 17891 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Blah < 1431481059 341479 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :many newbies pass through a stage where they want heterogeneous lists < 1431481120 256837 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :they're kind of an idiom in a lot of languages < 1431481139 449288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :thing is, it's usually due to an X/Y problem: unless you're doing hideously advanced stuff there's a simpler haskell way without them. < 1431481161 306713 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or at least a more typesafe one < 1431482340 288212 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1431482595 405702 :doesthiswork1!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1431482595 674305 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Read error: Connection reset by peer < 1431485631 326666 :solid_whiskey!~teakey@23.27.206.118 QUIT :Ping timeout: 244 seconds < 1431486892 782986 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net NICK :TodPunk < 1431487688 715033 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive QUIT :Remote host closed the connection < 1431488754 532376 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You know what I want to create? < 1431488760 301395 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The Online Encyclopedia of Real Numbers. < 1431488779 396228 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Of course, there are uncountably many real numbers. But that hasn't stopped OEIS. < 1431488923 196543 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there is already the inverse symbolic calculator < 1431488942 644917 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it might have some gaps hth < 1431488962 88591 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :I'm pretty sure it'll have to be the Online Encyclopedia of Computable Numbers. < 1431488983 834749 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :It's kinda hard to index the non-computables. < 1431489068 205406 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :MAYBE < 1431489110 476936 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, the OEIS doesn't claim to contain only computable sequences. < 1431489166 278191 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :thare are non-computable integers too < 1431489186 595439 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :(for one meaning of "are") < 1431489212 216082 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :There are non-computable integer expressions. There are not non-computable integers. < 1431489221 851891 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Any integer small enough to fit inside a computer program is computable. < 1431489234 545974 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :exactly < 1431489235 631903 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Any integer is computable. < 1431489252 548281 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :By the reasonably definition of 'computable', 'integers', and 'are'. < 1431489274 749062 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :and computer memory is a finite resource < 1431489277 923164 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah but you cleverly forgot to define "any" hth < 1431489294 932002 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Well, there are the non-standard integers < 1431489325 94188 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :you mean like ...111110? < 1431489338 655465 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :ORin: Not in the definition of "computable". < 1431489383 348600 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :YOUR definition of computable which presumably isn't satisfied by any um, computer < 1431489386 675246 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :When pikhq says "any", they're saying that there exists an integer which is computable. < 1431489454 584574 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :ORin: The definition of computable is not satisfied by any computer, yes. < 1431489464 626429 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think that's it's theoretically possible to explicitly define a non-standard integer. < 1431489465 763683 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :If you can define an uncomputable number, you could presumably still meaningfully index it < 1431489477 254711 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I will now pretty much do so. < 1431489481 162529 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :I will say something stronger, though. For all integers x, x is computable. < 1431489508 651604 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :That is to say, there exists an algorithm which will compute x. < 1431489514 937517 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's only computable if you can do it with an original ibm pc. this is how theory works < 1431489545 584761 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :If you use a mainframe does that make it supercomputable? < 1431489550 679999 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1431489584 452825 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Let P be a predicate on the natural numbers, defined in the language of second-order arithmetic, such that P is not satisfied by any natural number, but ZFC does not prove that P is not satisfied by any natural number. < 1431489611 604981 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Perform the Henkin construction on the theory ZFC + "there exists a natural number satisfying P". (This can be done in an explicitly definable manner.) < 1431489627 151579 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :computable should have different definitions when dealing with abstract algorithms, than when dealing with the tuple of (algorithm, arguments) < 1431489659 956643 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Then the witness of the statement "there exists a natural number satisfying P" is a non-standard integer. < 1431489661 313720 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :can you please refrain from offering strong opinions on something you clearly don't even know the definition of... < 1431489670 572012 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"perform the henkin construction" sounds like /such/ mathbabble < 1431489677 409350 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fakest real thing I've ever heard < 1431489697 650617 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :when you have also the arguments, it is then possible to prove that no computer can be built which can carry it to completion < 1431489711 994889 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :please. this is painful. < 1431489720 111530 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Set the henkin drive to negative ten parsecs < 1431489727 681666 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i don't know why you think any of this is relevant to theoretical CS < 1431489774 423521 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i mean unless you're going to go all finitist and say that huge integers don't exist in the first place because the universe can't fit the paper to write down their digits on < 1431489788 376669 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :It is relevant to thw practical problem of creating a database of computable numbers? < 1431489793 951304 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which is more defensible than introducing weird arbitrary limits just because the word "computer" pops up < 1431489829 462794 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION sighs < 1431489833 730030 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no, it isn't really < 1431489854 514995 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It's easy to make a database of computable numbers, just throw away all the digits and answer "yes, it's computable" < 1431489856 395000 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :such a database could easily contain an integer that can trivially be computed but not in this universe < 1431489861 159597 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you just include the definition < 1431489864 506043 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :"It's also NUMBERWANG" < 1431489876 126692 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(but a database of "computable numbers" is rather unlikely to include any integers) < 1431489882 124869 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(or rationals, for that matter) < 1431489887 737070 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(except as trivial examples) < 1431489934 442445 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I don't think that every integer can have a definition which can be stored. < 1431489953 826260 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :True, if you mean "stored in the universe". < 1431489958 457824 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Yes < 1431489961 599616 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Mathematicians don't tend to care about the physical limits of the universe. < 1431489973 410319 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The word "computable" is defined in a way which disregards the physical limits of the universe. < 1431489980 243083 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I don't know of any other universe I can store things in < 1431489998 851499 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :/topic Disregard the physical limits of the universe < 1431490065 557195 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :btw how do you define "computable in this universe" 'cuz you're never gonna query every digit of a computable real < 1431490080 404003 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"any digit can be computed in reasonable time on a reasonable computer"? "the early digits can be"? < 1431490081 163026 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1431490093 355083 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Remind me one of these days to study "the ultrafinitistic category". < 1431490093 501589 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :...don't actually answer that... < 1431490137 168728 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :That is, the category whose objects are sets of finite sequences of symbols from the alphabet {A, B}, and whose morphisms are functions whose output length is bounded by a polynomial function of the input length. < 1431490151 235397 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Most reals aren't computable by a practical defintion. That's why we use floating point < 1431490178 559256 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the pain levels are approaching physical here, ORin < 1431490184 996964 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :can you please like... google "computable number" or something < 1431490190 439293 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Looks like a good time to leave < 1431490250 903716 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Well I'm explicitly saying "parctical definition"... form now on when I say computable I will mean on a turing machine with unbounded time and space, kay < 1431490314 32750 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :It is important to remember that we don't care about practicality. Even less so than most theoreticians. < 1431490320 59487 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ok but why do you think this "practical definition" is relevant to the topic that was being discussed at all < 1431490330 46716 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Brainfuck is too mainstream. < 1431490344 193954 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's so far off from the goal of making a database of interesting real numbers that it's hard to even parse it in that context < 1431490352 616788 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Because of the idea of making a database similar to OEIS < 1431490372 638838 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :I'm pretty sure OEIS includes some sequences that aren't practical to compute all of. < 1431490407 907040 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's not like uncountability matters for making a finite subset of anyway........ < 1431490412 954639 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :But I'm talking about mathematicalobjects where it isn't even practical to define them < 1431490427 584040 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ok, hint: possibly-infinite sequences of integers are isomorphic to the real numbers < 1431490432 147831 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :they are the same size < 1431490444 48056 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OEIS-for-reals has to care about floating point or whatever exactly as much as OEIS does < 1431490445 421261 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :http://oeis.org/search?q=busy+beaver < 1431490456 215612 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1431490465 77658 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the analogy for the OEIS busy beaver entry would be chaitin's omega, I suppose < 1431490470 599897 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :with the known digits for some formalism included < 1431490482 7798 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and that's not computable even if you have as many universes as you want... < 1431490490 733840 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(ok, as long as church-turing holds in all of them) < 1431490546 339815 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :The 'hard' tag on OEIS is specifically for sequences where it is hard to find new entries, so.. < 1431490558 852874 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Right, So. Chaitin's omega can't be computed. ORin hypothesized number, there is no algorithm which can ever be written. < 1431490566 946426 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :let alone run < 1431490581 421792 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no < 1431490585 571226 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :chaitin's omega doesn't have a computable algorithm either < 1431490591 967178 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's kind of the point. it's not computable by a turing machine < 1431490625 565928 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :It is the canonical example of a non-computable number. < 1431490628 724614 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Each halting probability is a normal and transcendental real number that is not computable, which means that there is no algorithm to compute its digits. Indeed, each halting probability is Martin-Löf random, meaning there is not even any algorithm which can reliably guess its digits. < 1431490678 215913 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :er, sorry I messed up there. < 1431490707 513592 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :"there is no defintion which can be written" is what I wsas getting at before < 1431490729 147460 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ok, yes, undefinable real numbers are a thing < 1431490740 420562 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(and far scarier to think about than uncomputable imo) < 1431490752 947901 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah, such an encyclopedia would never be able to include undefinable numbers < 1431490756 663517 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but computability isn't an obstacle < 1431490771 321556 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also, what counts as "undefinable" depends on what you're writing the definitions in, of course < 1431490803 305965 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :thankfully, since the answer to any question we ask can never be an undefinable number (because our question defines it), they're completely uninteresting < 1431490815 108710 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :basically all just completely random juk as far as we're concerned < 1431490818 112719 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*junk < 1431490839 908850 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :they are the real numbers most likely to keep you awake at night thinking about them though < 1431491100 667470 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Ok, how about this then. The "unthinkable numbers" are those where a defintion cannot be written, or possibly, cannot be fully understood. This includes undefinable numbers, but also includes many definable ones, because the shortest definitions of such, are too long for a human's lifetime. < 1431491126 190015 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Sounds good. < 1431491139 788385 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what was your point again >_> < 1431491175 602940 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Eh that last one was rather pointless actually. But fun to think about < 1431491189 179436 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Reminds me of the "intuitive definition" of a non-standard number given here: http://en.wikipedia.org/wiki/Internal_set_theory < 1431491204 8014 :doesthiswork1!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1431491233 3601 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :A standard number is one that someone, somewhere, has specifically thought of or will specifically think of. < 1431491241 139201 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :All the other numbers are non-standard. < 1431491263 853986 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sweet, every time some nerd tries to tell me about a non-standard number I can just think about it and instantly prove them wrong < 1431491268 338144 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the power........ < 1431491294 826329 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Wait how would they tell you about it? < 1431491323 37476 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :by talking about a model that has a non-standard number in it < 1431491351 629800 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :models are scary < 1431491362 453268 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Of course, that non-standard number I just defined (up to detail) isn't actually a number at all. < 1431491388 584327 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :everyone thinks things are the same as their definitions and then you find out about models and just cry forever :( < 1431491437 655953 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :ACTION performs "Mad World". < 1431491447 181566 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :uh. I'm pretty sure they aren't, primarily because you can define things differently < 1431491489 4760 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :pi is the area of unit circle. Or is it the ratio of diameter and perimeter? < 1431491501 748557 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I mean, people see the Peano defintion of the naturals and assume that there are no naturals that aren't of the form SSS...Z, and you can even prove it. < 1431491514 931141 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but there are realisations of the Peano axioms where that isn't true. < 1431491515 345141 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Oh < 1431491526 177538 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Yeah < 1431491527 696490 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think it's kinda funny, I think it's kinda sad. The dreams in which it turns out that mathematical contradictions are, in fact, true, and so not only does nothing exist, but nothing ever could have existed, not even hypothetically, are the best I've ever had. < 1431491529 786618 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think the existence of non-standard models is very surprising to most people. < 1431491549 283525 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :ORin: pi is both of those things, as it happens. < 1431491561 116170 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think the prior tendency is to assume that any consistent theory has one standard model, and to identify that model with the theory. < 1431491572 363683 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pretty sure that's how I thought of things before < 1431491588 205753 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The way I see it is that first-order Peano arithmetic is merely an attempt at approximating second-order Peano arithmetic. < 1431491595 36592 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I feel like eve mathematicians act like this is true a lot of the time by saying things that only make sense if you identify a theory with its standard model < 1431491603 996310 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in the way they phrase proofs and stuff < 1431491605 877885 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It's a good attempt, but not perfect. < 1431491614 548353 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*even < 1431491642 692372 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Here, let me spout an unsolicited opinion. < 1431491666 462422 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :im listening! < 1431491688 162836 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I don't consider "a set of real numbers" to be a meaningful notion in (mathematical) reality. < 1431491722 976984 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Anyway, I should go to bed a couple hours ago. < 1431491724 950239 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Night, everyone. < 1431491953 698801 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :great now i will spend an hour trying to figure out < 1431492816 830873 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :agh. there is no undefinable number which is closest to x, for any definable x < 1431492920 159557 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :but neither can < 1431493036 614097 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :there be a undefinable number which is furthest away < 1431493536 746078 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :any definition of a number, whether meta on the set of definable numbers or not, puts that number into said set. < 1431493764 272970 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :meaning that you really can't touch them < 1431493898 824257 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hint: if you talk about "the undefinable number which is ...", you've already lost. < 1431493917 721865 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :see https://en.wikipedia.org/wiki/Berry_paradox < 1431493919 759118 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :A model of the real numbers where the undefinable numbers are missing, rearranged or otherwise messed, is indistinguishable from the standard one < 1431493939 87988 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :uhhhh, not so sure about that... < 1431493947 821346 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :note that the definable numbers are countable < 1431493958 838271 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the reals are most certainly not countable, so you're doing heavy surgery there < 1431494001 355808 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :But how would one devise a test? < 1431494028 163315 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what is even your proposal for that model? < 1431494037 194869 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :can you define one and prove it satisfies the axioms? < 1431494097 250316 :yiyus!1242712427@je.je.je JOIN :#esoteric < 1431494143 734504 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :they can't be rearranged < 1431494183 908944 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I mean... a formal definition. :) < 1431494199 167432 :jameseb-!~jameseb_@runciman.hacksoc.org JOIN :#esoteric < 1431494367 311489 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :remember that you cannot define undefinable numbers from within the theory. < 1431494386 871081 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :OH SHIT < 1431494391 185272 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1431494404 690684 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if you could define the set of undefinable numbers, you could define an undefinable number by, e.g. just picking one arbitrarily. (axiom of choice!!11) < 1431494425 360661 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can do it "a level up", though < 1431494498 994274 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How can you pick one arbitrarily? < 1431494500 48077 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :So I can't define the set of definable numbers either < 1431494575 211258 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :shachaf: Not sure about that one < 1431494589 318408 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :axiom of choice? < 1431494643 954991 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Right, it's an axiom that I can do it, but I don't know how to do it. < 1431494653 661322 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :we < 1431494662 97739 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :'re talking about undefinable reals, nobody gets to call constructivism < 1431494730 882374 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Quit: Toodaloo < 1431494773 234538 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure I follow. Maybe I don't understand what an undefinable number is. < 1431494775 263685 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I guess I can say "I summon x from the set S, let it be chosen" < 1431494776 452247 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :*.net *.split < 1431494776 726197 :yiyus_!1242712427@je.je.je QUIT :*.net *.split < 1431494777 505324 :jameseb!~jameseb_@runciman.hacksoc.org QUIT :*.net *.split < 1431494796 840155 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is the set of definable numbers also undefinable in this context? < 1431494815 161569 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Uh. I'm not sure actually < 1431494818 407360 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Definable_real_number < 1431494847 383389 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :okay, https://mathoverflow.net/questions/44102/is-the-analysis-as-taught-in-universities-in-fact-the-analysis-of-definable-numb/44129#44129 might be better. < 1431494861 477400 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Presumably we can apply the predicate definable to other math objects too < 1431494910 645243 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(sigh, models) < 1431494948 552659 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :we need a model for it < 1431494951 260649 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway, no, you can't define (un)definable numbers in the theory you're talking about. < 1431494962 250342 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is a meta-level concept < 1431494970 186724 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :just like consistency or whatever < 1431495008 318557 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ORin: sure, uncountable things < 1431495015 852238 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in the end it's just the fact that the set of descriptions is countable < 1431495080 468679 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :so the set of definable obj does not include itself? < 1431495390 189008 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, I see. < 1431495620 72971 :notfowl-!Elite14005@gateway/shell/elitebnc/x-gvmaljspqakicnai QUIT :Excess Flood < 1431495686 330942 :notfowl!Elite14005@gateway/shell/elitebnc/x-wadiklotbqgfomjn JOIN :#esoteric < 1431496615 429524 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fools! < 1431496671 111752 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :this book, published in the 1990s, doesn't have a publication date printed in it. I don't understand why. would it cost too much for them to add one? would it go against their sacred traditions? are they affraid people won't buy the book if it's more than two years old? < 1431496693 855709 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it has an isbn, and library catalogs list the date of the book variously as "1996", "1996?", and "2003" < 1431496698 678902 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: The real question is why papers never have a date written on them. < 1431496737 419516 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: that's because you usually see preprint drafts. the published papers usually have a date. < 1431496750 165405 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That might be an explanation. < 1431496755 733127 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :luckily for papers it's usually easy to find out the date, because they're indexed well < 1431496786 945870 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I can sort of understand no date for 18th century books, when they didn't add _any_ info about the publisher, < 1431496795 980035 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or tell who the translator or illustrator is. < 1431496828 969947 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :s/18th/19th/ < 1431496868 35025 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but this book, it's a 20the century book, it has a colophon page telling the publisher, the translator, the cover illustrator, and on the back it has a list of other books published in the same series < 1431496882 45532 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it even has an isbn < 1431497089 99107 :elliott!~elliott@unaffiliated/elliott QUIT :Quit: leaving < 1431497116 752484 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What is the book? < 1431497778 90817 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: ''Kalevala'', Talentum Diákkönyvtár Sorozat, (1996?) Akkord kiadó, ISBN 9638396652, abridged edition, translator Rácz István, preface by Outi Karanko. < 1431498059 37160 :heroux!sandroco@gateway/shell/insomnia247/x-nsodpbzalbkbujfo JOIN :#esoteric < 1431499363 952748 :heroux!sandroco@gateway/shell/insomnia247/x-nsodpbzalbkbujfo QUIT :Ping timeout: 244 seconds < 1431499637 865427 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 272 seconds < 1431499886 212986 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 N10 02http://esolangs.org/w/index.php?oldid=42840 5* 03SuperJedi224 5* (+2163) 10Created page with "'''Microscript''' is an in-progress expirimental code golfing language by SuperJedi224. Data is stored as 64-bit integers in a single register and a single stack. The current..." < 1431500139 186701 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42841&oldid=42840 5* 03SuperJedi224 5* (+106) 10 < 1431500226 903367 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42842&oldid=42841 5* 03SuperJedi224 5* (+27) 10 < 1431500418 161928 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42843&oldid=42842 5* 03SuperJedi224 5* (+254) 10 < 1431500454 717764 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42844&oldid=42843 5* 03SuperJedi224 5* (+0) 10 < 1431500480 401504 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42845&oldid=42844 5* 03SuperJedi224 5* (+0) 10 < 1431500750 451953 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42846&oldid=42845 5* 03SuperJedi224 5* (+142) 10 < 1431500775 246422 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42847&oldid=42846 5* 03SuperJedi224 5* (+10) 10 < 1431500926 532411 :notfowl!Elite14005@gateway/shell/elitebnc/x-wadiklotbqgfomjn QUIT :Excess Flood < 1431500936 660792 :notfowl!Elite14005@gateway/shell/elitebnc/x-fxjzmcywjhrtlxau JOIN :#esoteric < 1431500937 439530 :notfowl!Elite14005@gateway/shell/elitebnc/x-fxjzmcywjhrtlxau QUIT :Excess Flood < 1431500966 647586 :notfowl!Elite14005@gateway/shell/elitebnc/x-qxpeznckutfirges JOIN :#esoteric < 1431502091 631947 :AnotherTest!~turingcom@d51a45e8c.access.telenet.be JOIN :#esoteric < 1431504570 619248 :AnotherTest!~turingcom@d51a45e8c.access.telenet.be QUIT :Ping timeout: 265 seconds < 1431506270 123872 :notfowl!Elite14005@gateway/shell/elitebnc/x-qxpeznckutfirges QUIT :Excess Flood < 1431506306 231656 :notfowl!Elite14005@gateway/shell/elitebnc/x-szqawejcghlbcxbx JOIN :#esoteric < 1431506382 820176 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1431506593 280672 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1431506593 467111 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1431509528 991466 :nszceta!~nszceta@5ED062E5.cm-7-1b.dynamic.ziggo.nl JOIN :#esoteric < 1431511365 784625 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42848&oldid=42847 5* 03SuperJedi224 5* (+171) 10 < 1431511400 140288 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42849&oldid=42848 5* 03SuperJedi224 5* (+11) 10 < 1431512211 482400 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :b_jonas: Why are you reading The Kalevala? < 1431512360 562144 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: dunno, why not? I might not read that translation though. I'll have to find copies of perhaps all four modern translations and figure out which one I prefer and read only that. > 1431512717 72534 JOIN :#esoteric > 1431512721 128011 JOIN :#esoteric > 1431512721 634204 JOIN :#esoteric > 1431512774 683581 JOIN :#esoteric > 1431512778 734223 JOIN :#esoteric > 1431512779 240639 JOIN :#esoteric > 1431512836 861003 JOIN :#esoteric > 1431512840 910154 JOIN :#esoteric > 1431512841 415949 JOIN :#esoteric > 1431512870 859187 JOIN :#esoteric > 1431512874 908367 JOIN :#esoteric > 1431512875 416096 JOIN :#esoteric > 1431512918 680196 JOIN :#esoteric > 1431512922 731272 JOIN :#esoteric > 1431512923 237358 JOIN :#esoteric > 1431512954 684133 JOIN :#esoteric < 1431512954 686536 :glogbot!dlopen@libdl.so JOIN :#esoteric > 1431512958 734134 JOIN :#esoteric > 1431512959 240836 JOIN :#esoteric < 1431512965 237846 :nortti!~juhani@ayu.smar.fi JOIN :#esoteric < 1431513060 262523 :trn!~trn@trnsz.com QUIT :Ping timeout: 272 seconds < 1431513068 623109 :Vorpal!~Vorpal@81-230-124-237-no185.bredband.skanova.com JOIN :#esoteric < 1431513068 624301 :Vorpal!~Vorpal@81-230-124-237-no185.bredband.skanova.com QUIT :Changing host < 1431513068 625164 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1431513126 514029 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :b_jonas: You should just read the Don Rosa version, it's a lot shorter. < 1431513142 197275 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Are you for or against this net neutrality thing? < 1431513142 681792 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: the first part remaining intact. the council leapt into the breach, adopting its common position, nor by the house i met a group called the bilderberg group. this group of people wishing to take a number of countries have concluded between 25 and 28. < 1431513166 307142 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Are you quite sure you're not turning into a conspiracy theorist? < 1431513166 707930 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: the willockx report is the role of echo in the other language versions too. ( parliament gave its approval for these potentially disastrous plans to go forward. this topic has been given: parliament is well aware, ladies and gentlemen, i will reply successively to the different legal systems, in which the european union < 1431513183 593504 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1431513333 600559 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b JOIN :#esoteric < 1431513353 127381 :nszceta!~nszceta@5ED062E5.cm-7-1b.dynamic.ziggo.nl JOIN :#esoteric < 1431513355 164619 :TieSoul!~quassel@86.89.119.147 QUIT :Quit: No Ping reply in 180 seconds. < 1431513362 628886 :merdach!~k@stargate.cat.pdx.edu JOIN :#esoteric < 1431513437 31731 :TieSoul!~quassel@86.89.119.147 JOIN :#esoteric < 1431513454 60910 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1431513458 777113 :trn!jhj@trnsz.com JOIN :#esoteric < 1431514252 112659 :AnotherTest!~turingcom@d51A45E8C.access.telenet.be JOIN :#esoteric < 1431514485 425427 :nszceta!~nszceta@5ED062E5.cm-7-1b.dynamic.ziggo.nl QUIT :Quit: Textual IRC Client: www.textualapp.com < 1431516665 324775 :boily!~alexandre@96.127.201.149 QUIT :Quit: ROUTING CHICKEN < 1431516902 652285 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? bivector < 1431516903 254398 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bivector? ¯\(°​_o)/¯ < 1431517132 823507 :hilquias!~user@unaffiliated/hilquias QUIT :Remote host closed the connection < 1431517410 962111 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :A trade-off for these advantages of the modern human pelvis is that childbirth is more difficult and dangerous than in most mammals, especially given the larger head size of human babies compared to other primates. < 1431517415 509689 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :That's interesting. < 1431517437 71079 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^style < 1431517437 109567 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl* ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube < 1431518051 189715 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :mroman: I know a guy who has complained loudly (but not seriously) about some primordial fish deciding to put its whatever-hole behind its rear fins instead of in front for this reason. < 1431518129 925251 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I just find it very unusual for evolution to evolve in a way that makes producing offspring more dangerous < 1431518157 234987 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because it doesn't really sound like an advantage that would make these kind of mutations survive better. < 1431518162 486533 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Tradeoffs and changing costs. < 1431518315 9876 :Melvar!~melvar@dslb-092-072-136-176.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Particularly, if the thing is helps the offspring you do produce to survive, this may outweigh being restricted to fewer. May. < 1431518553 893593 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or it is an evolutionary mismatch < 1431518572 824226 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :since evolution isn't really goal and/or future oriented these things can happen < 1431518610 442252 :TieSoul!~quassel@86.89.119.147 QUIT :Read error: Connection reset by peer < 1431518625 581918 :TieSoul!~quassel@86.89.119.147 JOIN :#esoteric < 1431518630 188870 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, what's a bivector? < 1431518630 672131 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: mr president, mrs fnord. fifth aspect: while taking account of our will to resolve their problem. it preserves the four pillar structure and the implementation of the action plan for the return of the golan heights are illegal, are marginalised, living in a different light, it is a good example in the care sector also risen in other member states. < 1431518652 659859 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot: is it some crazy physicist thing, or some crazy type theory computer science thing? < 1431518653 648540 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: it is with the presidency. let me make it clear before the end of business on the other hand, we do not even comply with the guidelines which we discussed this week, as the house, has voted today without the services of such an important debate on competition this morning, on behalf of the socialist group has finally decided to allocate ecu 200m to this task, and also in order to break the taboos. we have talked about, < 1431518655 813176 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :a vector that points into two directions? < 1431518721 736893 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :nah, apparently it's just an antisymmetric 2-0-tensor or something < 1431518735 49570 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so yes, one that points into two directions < 1431518746 440758 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but not quite that < 1431518850 496402 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so physicist nonsense, not type theory one < 1431518897 525606 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but maybe haskell people have a different object called the same, one that's real simple, because it's just a bimorphism in the bicategory of Idunno what < 1431520237 941879 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1431520663 292942 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1431521291 356399 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ah, assumptions, the Foglios surprised me once again... < 1431521721 962833 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 252 seconds < 1431522000 594796 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42850&oldid=42849 5* 03SuperJedi224 5* (+242) 10 < 1431522027 492518 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42851&oldid=42850 5* 03SuperJedi224 5* (+19) 10/* Commands */ < 1431522346 343846 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42852&oldid=42851 5* 03SuperJedi224 5* (+51) 10/* Commands */ < 1431522682 849804 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42853&oldid=42852 5* 03SuperJedi224 5* (-219) 10/* Commands */ < 1431522699 584309 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42854&oldid=42853 5* 03SuperJedi224 5* (+16) 10/* Commands */ < 1431522805 113364 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42855&oldid=42854 5* 03SuperJedi224 5* (+4) 10/* Commands */ < 1431523667 785346 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1431524898 412643 :Weloxux!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1431524964 308183 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what the hell is wrong with ‎Esowiki201529A < 1431525013 250454 :impomatic_!~digital_w@31.185.153.201 JOIN :#esoteric < 1431525096 299549 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I hate him now. < 1431525160 368542 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :He didn't even bother to change the text o_O < 1431525548 699703 :lleu!~gnomebad@unaffiliated/lleu QUIT :Ping timeout: 245 seconds < 1431526769 306205 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive JOIN :#esoteric < 1431527597 983080 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1431528332 79160 :G33kDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1431528466 64977 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 276 seconds < 1431528468 961548 :G33kDude!~GeekDude@unaffiliated/g33kdude NICK :GeekDude < 1431529025 428530 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :I don't think I like the modern human pelvis < 1431529040 942943 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :the bones look alll wonky < 1431529045 94911 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It has its downsides, certainly < 1431529257 789121 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Also, I bet another design wouldn't requre me to probably need a new hip when I'm 60 < 1431530073 248211 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive QUIT :Remote host closed the connection < 1431530822 953812 :mitchs_!~canissimi@unaffiliated/canissimia QUIT :Quit: mitchs_ < 1431531258 108242 :mitchs!~canissimi@unaffiliated/canissimia JOIN :#esoteric < 1431532186 382678 :bb010g!uid21050@gateway/web/irccloud.com/x-uvxqoaulsxqyxkiz QUIT :Quit: Connection closed for inactivity < 1431532686 669409 :impomatic_!~digital_w@31.185.153.201 PRIVMSG #esoteric :Anyone interested in CROBOTS? There's a 30th anniversary tournament in November http://crobots.deepthought.it/home.php?page=tournament2015&link=2 < 1431532697 158863 :j-bot!~j-bot@li339-21.members.linode.com QUIT :Ping timeout: 272 seconds < 1431532867 5628 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi QUIT :Quit: ChatZilla 0.9.91-rdmsoft [XULRunner 32.0.3/20140923175406] < 1431532908 902214 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Wepmlrio14]]4 10 02http://esolangs.org/w/index.php?diff=42856&oldid=42835 5* 03168.99.197.17 5* (+47) 10morse code, removed s < 1431533202 928176 :nvd!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :impomatic_, ooh, that looks interesting < 1431533388 39443 :impomatic_!~digital_w@31.185.153.201 PRIVMSG #esoteric :I've been meaning to give it a go for years. < 1431533946 169616 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi JOIN :#esoteric < 1431534274 155919 :lifthras1ir!~lifthrasi@115.68.131.49 NICK :lifthrasiir < 1431536078 174267 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1431536469 924366 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42857&oldid=42855 5* 03168.99.197.17 5* (+84) 10implemented h(alt) and n(ewline) commands < 1431536557 205428 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42858&oldid=42857 5* 03168.99.197.17 5* (-16) 10/* A Java Interpreter */ Removed excess braces, following convention created by implementation for the command e. < 1431536651 583879 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42859&oldid=42858 5* 03168.99.197.17 5* (+13) 10sp < 1431537252 473286 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Ping timeout: 258 seconds < 1431537574 517700 :AnotherTest!~turingcom@d51A45E8C.access.telenet.be QUIT :Ping timeout: 258 seconds < 1431537675 688650 :Weloxux!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Ping timeout: 246 seconds < 1431538496 178007 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 250 seconds < 1431538898 511536 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1431539466 664102 :jameseb-!~jameseb_@runciman.hacksoc.org NICK :jameseb < 1431540139 596299 :perrier!~cinch@107.170.175.57 QUIT :Read error: Connection reset by peer < 1431540212 705839 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1431540223 681669 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1431540400 93995 :perrier!~cinch@107.170.175.57 QUIT :Read error: Connection reset by peer < 1431540472 79211 :perrier!~cinch@107.170.175.57 JOIN :#esoteric < 1431540498 166146 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1431540703 921203 :heroux!sandroco@gateway/shell/insomnia247/x-gzwivkkyhmrykwke JOIN :#esoteric < 1431540895 265629 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de QUIT :Quit: Terminated < 1431540929 69152 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1431541122 51664 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 250 seconds < 1431541369 863216 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1431541645 651898 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1431541875 408451 :heroux!sandroco@gateway/shell/insomnia247/x-gzwivkkyhmrykwke QUIT :Ping timeout: 258 seconds < 1431542235 647443 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42860&oldid=42859 5* 0372.74.32.143 5* (-104) 10/* Commands */ < 1431542284 797012 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de QUIT :Quit: Terminated < 1431542306 970277 :idris-bot!~ircslave@dslb-092-072-136-176.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1431542698 484437 :heroux!sandroco@gateway/shell/insomnia247/x-imayhkufkmqhqkyr JOIN :#esoteric < 1431543675 684068 :heroux!sandroco@gateway/shell/insomnia247/x-imayhkufkmqhqkyr QUIT :Ping timeout: 276 seconds < 1431543732 403449 :heroux!sandroco@gateway/shell/insomnia247/x-dhjevunweocommec JOIN :#esoteric < 1431544012 856385 :impomatic_!~digital_w@31.185.153.201 QUIT :Quit: http://corewar.co.uk < 1431544095 432571 :nvd!~Taneb@runciman.hacksoc.org QUIT :Ping timeout: 252 seconds < 1431544101 896461 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io JOIN :#esoteric < 1431544137 332266 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io NICK :nvd < 1431545684 907705 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1431545690 104639 :heroux!sandroco@gateway/shell/insomnia247/x-dhjevunweocommec QUIT :Ping timeout: 255 seconds < 1431546117 728225 :heroux!sandroco@gateway/shell/insomnia247/x-rchczozdmyymuxmd JOIN :#esoteric < 1431546679 972005 :heroux!sandroco@gateway/shell/insomnia247/x-rchczozdmyymuxmd QUIT :Ping timeout: 264 seconds < 1431547074 458950 :bb010g!uid21050@gateway/web/irccloud.com/x-uzkmqqlnlltaqwhu JOIN :#esoteric < 1431547107 512456 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 276 seconds < 1431547446 418013 :heroux!sandroco@gateway/shell/insomnia247/x-ykxbxwtoyxsvande JOIN :#esoteric < 1431547951 145584 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02http://esolangs.org/w/index.php?diff=42861&oldid=42765 5* 03SuperJedi224 5* (+18) 10/* M */ < 1431548302 451640 :notfowl!Elite14005@gateway/shell/elitebnc/x-szqawejcghlbcxbx QUIT :Excess Flood < 1431548310 633369 :notfowl!Elite14005@unaffiliated/fowlmouth JOIN :#esoteric < 1431548310 635286 :notfowl!Elite14005@unaffiliated/fowlmouth QUIT :Changing host < 1431548310 635323 :notfowl!Elite14005@gateway/shell/elitebnc/x-cazupucdjfrlftfq JOIN :#esoteric < 1431548991 365095 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1431549148 123311 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 245 seconds < 1431549982 764497 :shikhin!shikhin@unaffiliated/shikhin QUIT :Ping timeout: 256 seconds < 1431550123 557625 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive JOIN :#esoteric < 1431550917 676969 :MoALTz_!~no@78.11.179.104 JOIN :#esoteric < 1431550948 234333 :Tod-Autojoined!~Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1431551071 274895 :mroman_!~roman2@fmnssun.ibone.ch JOIN :#esoteric < 1431551156 865764 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1431551221 143004 :atehwa_!~atehwa@aulis.sange.fi JOIN :#esoteric < 1431551241 915306 :yorick_!~yorick@ip51cd0513.speed.planet.nl JOIN :#esoteric < 1431551241 927249 :yorick_!~yorick@ip51cd0513.speed.planet.nl QUIT :Changing host < 1431551241 932930 :yorick_!~yorick@oftn/member/yorick JOIN :#esoteric < 1431551262 767764 :shikhin!shikhin@unaffiliated/shikhin JOIN :#esoteric < 1431551313 6590 :Warrigal!~tswett@192.241.237.138 JOIN :#esoteric < 1431551339 430809 :diginet!~diginet@107.170.146.29 QUIT :Ping timeout: 250 seconds < 1431551339 451932 :mroman!~roman2@fmnssun.ibone.ch QUIT :Ping timeout: 250 seconds < 1431551339 753712 :MoALTz!~no@78.11.179.104 QUIT :Ping timeout: 250 seconds < 1431551340 155639 :trn!jhj@trnsz.com QUIT :Ping timeout: 250 seconds < 1431551340 207082 :jameseb!~jameseb_@runciman.hacksoc.org QUIT :Ping timeout: 250 seconds < 1431551340 246565 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Ping timeout: 250 seconds < 1431551340 440758 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 250 seconds < 1431551340 443907 :tswett!~tswett@192.241.237.138 QUIT :Ping timeout: 250 seconds < 1431551340 447439 :yorick!~yorick@oftn/member/yorick QUIT :Ping timeout: 250 seconds < 1431551354 441922 :jameseb!~jameseb_@runciman.default.hacksoc.uk0.bigv.io JOIN :#esoteric < 1431551356 283763 :diginet_!~diginet@107.170.146.29 JOIN :#esoteric < 1431551395 242626 :diginet_!~diginet@107.170.146.29 QUIT :Remote host closed the connection < 1431551398 103314 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Hey yorick is your name copied from hamlet that guy who died? < 1431551445 938327 :diginet!~diginet@107.170.146.29 JOIN :#esoteric < 1431551466 154561 :trn!jhj@trnsz.com JOIN :#esoteric < 1431551471 971089 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"that guy who died" isn't very descriptive hth < 1431551495 898534 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :don't most of the characters in hamlet end up dying? < 1431551505 673576 :olsner!~salparot@c83-252-198-142.bredband.comhem.se PRIVMSG #esoteric :isn't yorick the skull? < 1431551509 203943 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :That's literally all I know about the yorick from hamlet < 1431551559 356955 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :everyone dies in romeo and juliet too. < 1431551576 577188 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ISTR some famous musician bequeathed his skull to the Royal Shakespeare Company, with a request that it be used to play the part of Yorick < 1431551587 383889 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and apparently they actually did so at least once (not sure if they do it every time) < 1431551601 102405 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, perhaps composer rather than musician < 1431551669 521831 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I would think that a composer would count as a musician. < 1431551709 458493 :olsner!~salparot@c83-252-198-142.bredband.comhem.se PRIVMSG #esoteric :I've also heard of the guy who donated his skull < 1431551712 868704 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps, the word's more commonly used for people who read music than write it, though < 1431551729 243525 :olsner!~salparot@c83-252-198-142.bredband.comhem.se PRIVMSG #esoteric :`quote canposer < 1431551729 639843 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(and play it, but "read" is still technically correct and makes the sentence look nicer) < 1431551730 30806 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :379) drinks should come in long long pipes that drip liquid at varying speeds, and you shouldn't just casually taste to them, you should really try to understand what the artist (the canposer?) was trying to convey when making the drink olsner: well you know i'm a genius. anyway i like how food works tho, because it has both th < 1431551825 577314 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What good is a quote so long it won't fit in a line of IRC? < 1431551886 858501 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we need to connect HackEgo to a server with a shorter name < 1431551899 789535 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although "verne.freenode.net" is probably one of the shortest < 1431551902 45779 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, no < 1431551911 610434 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's which server that you're connected to that matters < 1431551916 186875 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not which server it's connected to < 1431552012 644075 :Warrigal!~tswett@192.241.237.138 NICK :tswett < 1431552601 623553 :nycs!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1431552755 628354 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive QUIT :Remote host closed the connection < 1431552766 156461 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1431552813 823034 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 256 seconds < 1431552901 706902 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :so maybe something like a@43nt30.tk would be better? < 1431553026 588107 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 272 seconds < 1431553027 795950 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c NICK :Tritonio < 1431553308 204051 :AnotherTest!~turingcom@d51A45E8C.access.telenet.be JOIN :#esoteric < 1431553638 433898 :yorick_!~yorick@oftn/member/yorick NICK :yorick < 1431553998 319707 :AnotherTest!~turingcom@d51A45E8C.access.telenet.be QUIT :Remote host closed the connection < 1431554314 374538 :notfowl!Elite14005@gateway/shell/elitebnc/x-cazupucdjfrlftfq QUIT :Excess Flood < 1431554369 183159 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 252 seconds < 1431554428 164261 :notfowl!Elite14005@gateway/shell/elitebnc/x-dkuhmgmesknylhqc JOIN :#esoteric < 1431554500 674912 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1431554657 203245 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1431555030 621612 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1431555067 968312 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION pökes oerjan in the diæresis < 1431555311 870066 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my name has no diæresis hthoily < 1431555522 82342 :notfowl!Elite14005@gateway/shell/elitebnc/x-dkuhmgmesknylhqc QUIT :Excess Flood < 1431555628 22288 :notfowl!Elite14005@gateway/shell/elitebnc/x-ywcjtclsqudmqlul JOIN :#esoteric < 1431556009 268826 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Remote host closed the connection < 1431556034 211122 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1431556283 206360 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 252 seconds < 1431557636 244131 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :How about a słash, then < 1431557688 709669 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :sometimes i think the argot on this channel has gone too far < 1431557697 902663 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :but then i thirth about it < 1431557797 696105 :Sprocklem!~Sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1431557798 142657 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: what do you think about the matter? < 1431557798 384016 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :FireFly: mr president, the treaty of amsterdam, that whatever the majority that is required is reciprocity between the pillars. i share that view. < 1431557857 435038 :notfowl!Elite14005@gateway/shell/elitebnc/x-ywcjtclsqudmqlul QUIT :Excess Flood < 1431557937 813432 :notfowl!Elite14005@gateway/shell/elitebnc/x-ovcynuwgrvnmmacm JOIN :#esoteric < 1431558140 400453 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :słashes are fine, especially when słashbuckling < 1431558822 524015 :heroux!sandroco@gateway/shell/insomnia247/x-ykxbxwtoyxsvande QUIT :Ping timeout: 256 seconds < 1431559063 551902 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: so does https://git.haskell.org/ghc.git/commitdiff/130e93aab220bdf14d08028771f83df210da340b mean you can finally get instances for (,) :: Constraint -> Constraint -> Constraint ? < 1431559085 419108 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :presumably you need to import it from GHC.Classes < 1431559180 748328 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm but it's not mentioned in the export list. confusing. < 1431559898 592359 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`? thirth < 1431559899 196061 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :thirth? ¯\(°​_o)/¯ < 1431559957 434163 :ZombieAlive!~N3cr0naV@186-95-11-135.genericrev.cantv.net JOIN :#esoteric < 1431559976 761582 :ZombieAlive!~N3cr0naV@186-95-11-135.genericrev.cantv.net QUIT :Changing host < 1431559976 762598 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive JOIN :#esoteric < 1431559995 524037 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: i have no idea what Phantom_Hoover means either < 1431560010 711038 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :it's just the irth form < 1431560043 868823 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :perhaps you should questionirth me and search the logs?? < 1431560093 669823 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: i am sorry you do _not_ get to use it with "should" hth < 1431560102 82630 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shouldirth! < 1431560114 19199 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shouldirth is fine < 1431560162 207810 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :'should' isn't a verb hth < 1431560248 803072 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes it irth < 1431560469 995349 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :you're a disgrace johansen < 1431560504 870538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you sayfth so < 1431560708 982038 :Sprocklem_!~Sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1431560735 622190 :Sprocklem!~Sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1431560950 671529 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i tried to figure out what "irth" stood for for a while tdnh < 1431561036 978281 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :iwnsth hth < 1431561141 396845 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :irth is what you reply if someone tells you to rtfm hth < 1431561218 997009 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :HireFly < 1431561234 311637 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :run into any exciting abstractions lately? < 1431561252 933916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats FireFly -----### < 1431561264 191547 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what! < 1431561293 508047 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: just ran him into an exciting abstraction hth < 1431561306 266674 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, it had been too long < 1431561319 677775 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I suppose that is true < 1431561370 117668 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :shachaf: I'm not a person of exciting abstractions, I'm afraid :( < 1431561426 13783 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what sort of exciting things have you run into, then < 1431561442 599723 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you ride any good trains? < 1431561501 775343 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: johansen??? < 1431561539 876171 :Sprocklem_!~Sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 258 seconds