< 1394841603 165587 :erdic!erdic@2604:180::6050:fab4 QUIT :Changing host < 1394841603 219217 :erdic!erdic@unaffiliated/motley JOIN :#esoteric < 1394841704 65130 :boily1!~boily@96.127.201.149 JOIN :#esoteric < 1394841728 60671 :tromp__!~tromp@rtc35-245.rentec.com JOIN :#esoteric < 1394841745 321334 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1394841783 370213 :Slereah__!~jackal@176.222.51.233 JOIN :#esoteric < 1394841808 224672 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :It timed out, and now it’s in a different net fragment. < 1394841860 369236 :boily1!~boily@96.127.201.149 PRIVMSG #esoteric :~duck melvar < 1394841860 475357 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :General Melvar was the right hand man of Warlord Zsinj. < 1394841872 184926 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :~duck Taneb < 1394841872 287188 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :--- No relevant information < 1394841873 832199 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::( < 1394841883 598495 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :~duck University of York < 1394841883 711178 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :The University of York (informally York University, or simply York, abbreviated as Ebor. < 1394841915 834337 :boily1!~boily@96.127.201.149 PRIVMSG #esoteric :ebor? < 1394841925 885375 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Short for Eboracum, I presume < 1394841942 736637 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Roman name for York < 1394841957 823507 :sgeoweb!a6890c76@gateway/web/freenode/ip.166.137.12.118 JOIN :#esoteric < 1394841962 298859 :boily1!~boily@96.127.201.149 PRIVMSG #esoteric :~duck eboracum < 1394841962 429303 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :Eboracum was a fort and city in Roman Britain. < 1394841966 643302 :sgeoweb!a6890c76@gateway/web/freenode/ip.166.137.12.118 PRIVMSG #esoteric :hi. afk < 1394842016 668887 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1394842020 713716 :boily1!~boily@96.127.201.149 PRIVMSG #esoteric :as the proverb goes, "Anas non satis accurate in hac nocte..." < 1394842056 621027 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net JOIN :#esoteric < 1394842056 713474 :trn!jhj@2600:3c00::f03c:91ff:feae:3efa JOIN :#esoteric < 1394842056 713586 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1394842096 254250 :trn!jhj@2600:3c00::f03c:91ff:feae:3efa QUIT :Max SendQ exceeded < 1394842099 62359 :nortti_!nortti@nano.smar.fi JOIN :#esoteric < 1394842112 409997 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( :t getWitness < 1394842112 731206 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09getWitness : (12Exists 13a 13P) -> 13a < 1394842117 489582 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( :t getProof < 1394842117 849854 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09getProof : (13s : 12Exists 13a 13P) -> 13P (09getWitness 13s) < 1394842250 485225 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 246 seconds < 1394842252 212683 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net NICK :23LAATE3Q < 1394842252 212819 :idris-ircslave!~ircslave@88.78.249.67 JOIN :#esoteric < 1394842252 212890 :atehwa_!atehwa@aulis.sange.fi QUIT :Ping timeout: 246 seconds < 1394842252 212959 :elliott_!~elliott@unaffiliated/elliott QUIT :Ping timeout: 246 seconds < 1394842252 213027 :boily!~boily@96.127.201.149 QUIT :Ping timeout: 246 seconds < 1394842252 213094 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 246 seconds < 1394842256 489542 :idris-ircslave!~ircslave@88.78.249.67 QUIT :Client Quit < 1394842256 489685 :nortti!nortti@nano.smar.fi QUIT :Ping timeout: 246 seconds < 1394842256 489756 :itsy!~digital_w@87.112.13.30 QUIT :Ping timeout: 246 seconds < 1394842256 489823 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 246 seconds < 1394842256 489888 :tromp!~tromp@rtc35-245.rentec.com QUIT :Ping timeout: 246 seconds < 1394842256 489953 :trn!jhj@2600:3c00::f03c:91ff:feae:3efa JOIN :#esoteric < 1394842256 490057 :sgeoweb!a6890c76@gateway/web/freenode/ip.166.137.12.118 PRIVMSG #esoteric :o.o < 1394842261 621543 :sgeoweb!a6890c76@gateway/web/freenode/ip.166.137.12.118 PRIVMSG #esoteric :bye for now < 1394842268 964893 :sgeoweb!a6890c76@gateway/web/freenode/ip.166.137.12.118 QUIT :Quit: Page closed < 1394842275 987288 :boily1!~boily@96.127.201.149 NICK :boily < 1394842281 426637 :Froox!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1394842320 684111 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quousque tandem abutere, boily, latina nostra? < 1394842342 244704 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1394842361 663511 :FireFly!~firefly@firefly.xen.prgmr.com JOIN :#esoteric < 1394842369 211623 :23LAATE3Q!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net QUIT :Ping timeout: 240 seconds < 1394842389 658015 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :are we being ddosed again < 1394842419 352487 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 240 seconds < 1394842490 103025 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Ping timeout: 265 seconds < 1394842495 747601 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Taneb: “How long, pray will you abuse boily, the Latin do with us?” ← uhm... wut? < 1394842510 616673 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oerjan: thausibly. < 1394842515 133245 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1394842531 311457 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :boily, ? < 1394842533 548591 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i just changed a couple words in an _actual_ famous quote fwiw < 1394842558 175542 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Taneb: I can't read. I meant to answer oerjan. < 1394842564 725847 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Okay < 1394842567 478602 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(stupid term colours.) < 1394842573 278507 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1394842583 45715 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Wouldn't be "our Latin"? < 1394842626 539475 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I don't do the Latin. you can get addicted to it! < 1394842631 704794 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Catiline_Orations#Oratio_in_Catilinam_Prima_in_Senatu_Habita < 1394842665 86842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: i assume he tried google translate < 1394842702 865785 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Anyway, I have a nine o'clock train. Goodnight < 1394842718 143100 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :bonne nuitaneb! < 1394842727 106786 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good night < 1394842766 193187 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::) < 1394842889 149872 :erdic!erdic@unaffiliated/motley QUIT :Remote host closed the connection < 1394843222 410059 :erdic!erdic@unaffiliated/motley JOIN :#esoteric < 1394843517 191733 :yorick!~yorick@oftn/member/yorick QUIT :Read error: Connection reset by peer < 1394844293 961532 :FireFly!~firefly@firefly.xen.prgmr.com QUIT :Excess Flood < 1394844371 437160 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1394844917 609631 :elliott!~elliott@li278-81.members.linode.com JOIN :#esoteric < 1394844926 330219 :elliott!~elliott@li278-81.members.linode.com QUIT :Client Quit < 1394844941 140408 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1394845155 811997 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394845361 834228 :metasepia!~metasepia@96.127.201.149 QUIT :Remote host closed the connection < 1394845367 840370 :boily!~boily@96.127.201.149 QUIT :Quit: GALAPAGOS CHICKEN < 1394846177 156906 :erdic!erdic@unaffiliated/motley QUIT :Remote host closed the connection < 1394846211 50835 :erdic!erdic@unaffiliated/motley JOIN :#esoteric < 1394846492 787009 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1394846820 175677 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :beware of the topic < 1394846825 419126 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1394847273 137197 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The risk is merely topical. < 1394847299 713190 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well but it's particularly high today (tomorrow for you americans) < 1394848085 526887 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1394848183 341343 :Slereah__!~jackal@176.222.51.233 QUIT :Ping timeout: 264 seconds < 1394849149 710403 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1394849160 864882 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1394849195 527482 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394849456 589677 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1394850007 636287 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1394850171 793664 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Et tu, oerjan? < 1394850470 592200 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394851216 502949 :Slereah__!~jackal@176.222.51.233 JOIN :#esoteric < 1394851328 561164 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 264 seconds < 1394851540 529912 :nooodl!~nooodl@33.96-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1394851644 15245 :nooodl__!~nooodl@91.177.69.110 QUIT :Ping timeout: 255 seconds < 1394851878 754541 :Sellyme!~Sellyme@irc.sellyme.com QUIT :Excess Flood < 1394852035 440889 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1394853049 110816 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :) 1 + 1 < 1394853049 626992 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :Sgeo: 2 < 1394853052 947529 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( 1 + 1 < 1394853056 892926 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric ::( < 1394853136 776976 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :^bf +>+[-<+>]<. < 1394853136 897731 :fungot!fis@eos.zem.fi PRIVMSG #esoteric : < 1394853663 775489 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1394854351 284863 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :17:14:05 --- nick: idris-ircslave -> 23LAATE3Q < 1394854354 173496 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :What was that about? < 1394854645 508773 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1394854748 597770 :Slereah__!~jackal@176.222.51.233 QUIT :Ping timeout: 264 seconds < 1394854856 547404 :nooodl!~nooodl@33.96-242-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 264 seconds < 1394855167 142353 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1394855200 578307 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394855451 380616 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1394855465 622951 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394855491 673297 :Guest95255!uid21876@gateway/web/irccloud.com/x-jiaehmudzxxzlwbf QUIT :Quit: Connection closed for inactivity < 1394855695 509333 :Slereah__!~jackal@176.222.51.233 JOIN :#esoteric < 1394855828 572279 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 264 seconds < 1394856070 775613 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1394856255 959534 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 255 seconds < 1394856256 471268 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1394856607 282483 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1394858749 802292 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1394858756 580410 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Sgeo: Bogosity due to netsplits and -joins. < 1394858785 547860 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394858930 551858 :nisstyre_!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1394859068 516620 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1394859305 555039 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net JOIN :#esoteric < 1394859360 894427 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( the (a ** b) (5 ** "hi") < 1394859361 237561 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:11:No such variable b < 1394859380 90843 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( the (a ** String) (5 ** "hi") < 1394859380 456983 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04(045 04** 04"hi"04) : 12(13a 12** 12String12) < 1394859544 632790 :variable!root@freebsd/developer/variable NICK :trout < 1394859881 998532 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :wat < 1394859996 624889 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :A dependent pair where the proof's type isn't actually dependent on the witness < 1394860068 187903 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Almost wish you could do useful things with Types, make (t ** t) effectively be the typed of runtime-tagged values, practically dynamic typing < 1394860091 828973 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( the (t ** t) (Int ** 5) < 1394860094 78196 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04(12Int 04** 04504) : 12(13t 12** 13t12) < 1394860270 15800 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Totally useless but heterogeneous vector < 1394860345 653030 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> the (Vect 3 (t ** t)) $ [(Int ** 5), (String ** "Hello"), ((a -> a) ** id)] < 1394860347 34096 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `the'Not in scope: data constructor `Vect'Not in scope: data c... < 1394860347 144987 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:61:No such variable a < 1394860347 200898 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1394860347 272033 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `In' (imported from Lambdabot.Plugin.Haskell.Eval.Trusted), < 1394860347 272178 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `InR' (imported from Lambdabot.Plugin.Haskell.Eval.Trusted)Not in scope: d... < 1394860349 932338 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :oops < 1394860371 620351 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( the (Vect 3 (t ** t)) $ [(Int ** 5), (String ** "Hello"), (({a : Type} -> a -> a) ** id)] < 1394860373 134215 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:25: error: expected: operator < 1394860373 190101 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :the (Vect 3 (t ** t)) $ [(Int ** 5), (String ** "Hello"), (({a : Type} -> a ->> < 1394860373 190242 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : ^ < 1394860395 812976 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( the (Vect 3 (t ** t)) $ [(Int ** 5), (String ** "Hello"), (((a : Type) -> a -> a) ** the)] < 1394860402 221802 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04[04(12Int 04** 04504)04, 04(12String 04** 04"Hello"04)04, 04((13a124 : 12Type) -> 13a124 -> 13a124 04** 09the04)04] : 12Vect 043 12(13t 12** 13t12) < 1394860424 990345 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :Sgeo: I was mostly puzzled by the unconstrained a variable < 1394860450 697654 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Implies implicit argument < 1394860454 546862 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I believe < 1394860459 441675 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Although ** is syntax sugar < 1394860611 151537 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :[00:56:20] (5 ** "hi") : (a ** String) < 1394860614 736080 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :that < 1394860634 694860 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :( :t 5 < 1394860634 751911 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09fromInteger 045 : 12Integer < 1394860639 567848 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :( :t 5 : a < 1394860639 646239 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:1: error: expected: end of input, < 1394860639 646375 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : operator < 1394860639 646466 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric ::t 5 : a < 1394860639 646557 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :^ < 1394860640 552380 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : parse error (possibly incorrect indentation or mismatched brackets) < 1394860642 831913 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :( :t the a 5 < 1394860642 889412 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:8:No such variable a < 1394860657 610600 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :oh I see < 1394860659 169899 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :it's a binder < 1394860676 829795 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :wait, is it? < 1394860682 679903 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :no < 1394860793 460547 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :( Z -- y x < 1394860793 572353 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :040 : 12Nat < 1394861045 484692 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1394861156 552004 :Slereah__!~jackal@176.222.51.233 QUIT :Ping timeout: 264 seconds < 1394861745 959641 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 JOIN :#esoteric < 1394861899 878558 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Excess Flood < 1394862025 938793 :Sellyme_!~Sellyme@2605:4d00:0:2::7a JOIN :#esoteric < 1394862080 185096 :Sellyme_!~Sellyme@2605:4d00:0:2::7a NICK :Sellyme < 1394862532 772515 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1394862542 819787 :chaiomanot!~chaiomano@75-121-39-142.dyn.centurytel.net QUIT :Quit: Leaving < 1394864172 113535 :trout!root@freebsd/developer/variable QUIT :Ping timeout: 255 seconds < 1394866965 284267 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: Leaving < 1394868239 808298 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( the Type 5 < 1394868239 970669 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't resolve type class 12Num 12Type < 1394868245 120369 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Worth a shot < 1394868419 829892 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 PRIVMSG #esoteric :was it, sgeo? or have you now violated your most cherished moral principles < 1394868572 440818 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Hey, if Int can be a Type 1 and a Type 2 and a Type 3 and ... why shouldn't something lower down be able to participate? < 1394868635 799120 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 PRIVMSG #esoteric :Int can be a Type 2? < 1394868703 43888 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( the (Vect 2 Type) [Int, Type] < 1394868703 222329 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04[12Int04, 12Type04] : 12Vect 042 12Type < 1394868729 414362 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :That Type in the type signature of that has to be Type 1 < 1394868742 821165 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I think < 1394868756 464370 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 PRIVMSG #esoteric :this seems kind of dumb. < 1394868995 38133 :shikhin!~Shikhin@unaffiliated/shikhin PRIVMSG #esoteric :Um, silly question, but if you're on cell 0 in brainfuck, and you do '<', what's the expected behavior? < 1394869314 905032 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 PRIVMSG #esoteric :i think it depends on implementation < 1394869345 206988 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 PRIVMSG #esoteric :sometimes the tape goes infinitely left, sometimes you get an error, sometimes monkeys fly out your nose, that kinda thing? < 1394869354 299250 :shikhin!~Shikhin@unaffiliated/shikhin PRIVMSG #esoteric :Good enough. < 1394869707 921285 :Bike!ae1924ee@gateway/web/freenode/ip.174.25.36.238 QUIT :Quit: Page closed < 1394869841 450206 :Slereah__!~jackal@176.222.51.233 JOIN :#esoteric < 1394869940 499259 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 264 seconds < 1394870021 413641 :nisstyre_!~yourstrul@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1394870424 713380 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1394870552 424549 :Slereah__!~jackal@176.222.51.233 QUIT :Ping timeout: 264 seconds < 1394870930 753187 :Slereahphone!~slereahph@80.10.161.137 JOIN :#esoteric < 1394871093 172944 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1394871215 787136 :Slereahphone!~slereahph@80.10.161.137 QUIT :Ping timeout: 252 seconds < 1394872070 697924 :Slereahphone!~slereahph@80.10.159.106 JOIN :#esoteric < 1394872257 751556 :Tritonio!~Thunderbi@athedsl-18900.home.otenet.gr JOIN :#esoteric < 1394873251 189871 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1394873294 736837 :Tritonio!~Thunderbi@athedsl-18900.home.otenet.gr QUIT :Ping timeout: 252 seconds < 1394873462 739148 :Slereahphone_!~slereahph@80.12.100.246 JOIN :#esoteric < 1394873496 763510 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( :t 'Foo < 1394873498 391588 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :'Foo : 12Type < 1394873525 747204 :Slereahphone!~slereahph@80.10.159.106 QUIT :Ping timeout: 252 seconds < 1394873527 223280 :Slereahphone_!~slereahph@80.12.100.246 NICK :Slereahphone < 1394873527 761285 :Slereahphone!~slereahph@80.12.100.246 QUIT :Client Quit < 1394874054 692973 :mysanthrop!~myname@84.200.43.57 NICK :myname < 1394874268 775792 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1394874583 849786 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( :t Eff < 1394874584 23562 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No such variable Eff < 1394874585 722194 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :aww < 1394874604 977699 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Melvar: Should I assume effects will always be a no-go for idris-ircslave? < 1394874763 395501 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Yay, I'm "Talkative" on StackOverflow < 1394875103 224183 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I hope that at least requires a space after the paren.) < 1394875108 175112 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Guess so.) < 1394875159 887742 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( the ((a : Type) -> a -> a) the < 1394875160 93760 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09the : (13a : 12Type) -> 13a -> 13a < 1394875169 289972 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( :t o < 1394875169 516916 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :No such variable o < 1394875173 460513 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( :t (.) < 1394875173 757258 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Basics.. : (13b -> 13c) -> (13a -> 13b) -> 13a -> 13c < 1394875173 813324 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Control.Category.. : 12Category 13cat => (13cat 13b 13c) -> (13cat 13a 13b) -> 13cat 13a 13c < 1394875204 598368 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :What's a simple dependently typed function that might fail with . < 1394875305 69295 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :9:15 is the worst time to wake up for an 8:55 train < 1394875340 493179 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( (the . id) Nat 5 < 1394875341 647932 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:12:No such variable a < 1394875367 789093 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( (id . the) Nat 5 < 1394875368 61521 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:12:No such variable a < 1394875372 834413 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric ::t id . the < 1394875374 125706 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Not in scope: `the' < 1394875376 735315 :Slereahphone!~slereahph@80.12.100.246 JOIN :#esoteric < 1394875378 776637 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( :t id . the < 1394875379 44892 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):0:0:No such variable a < 1394875385 407190 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( :t (id .) < 1394875385 669937 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't disambiguate name: Prelude.Basics.., Control.Category.. < 1394875393 200449 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( :t (id Prelude.Basics.) < 1394875393 435729 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:8:No such variable Prelude.Basics. < 1394875394 751563 :Slereah__!~jackal@176.222.51.233 JOIN :#esoteric < 1394875399 454203 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( :t (id Prelude.Basics..) < 1394875399 733565 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:8:No such variable Prelude.Basics.. < 1394875406 936169 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :( :t (id (Prelude.Basics..)) < 1394875407 116658 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:9:No such variable Prelude.Basics.. < 1394875409 14738 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric ::/ < 1394875497 108042 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :You and me both < 1394875498 386996 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :))))))))))))))))))))))))))))))))))))))))))))))))))) calculated to balance things for this month, so far. < 1394875519 715185 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :) 1 2 3 + 4 5 6 < 1394875520 340148 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :Sgeo: 5 7 9 < 1394875538 765903 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 252 seconds < 1394875738 226093 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Actually, based on my current set of logs starting from 2009-03, we actually need 19291 extra opening parens, and my "balancing" just made the total situation worse. < 1394875752 66880 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Wonder where all those closing parens come from; there hasn't been *that* much jconn use. < 1394875764 741991 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :how many come from fungot? < 1394875764 963751 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: " i want as much as i loathe how you've manipulated my friends and i are a bit, and if the good. or any room with. simple math dictates the futility of your effort, i have made, it will now go and i will give you my motives and they were not to your liking, would i be carrying our monthly" says that's what my dad, and my time that you are under the empire that has been so deeply disappoi-- < 1394875911 844172 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: ...actually it's almost all from ":)" and the like... < 1394875936 790372 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :hmm, that makes sense < 1394875964 16430 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :time to start writing (: < 1394876074 755180 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or just be :( all the time. < 1394876132 488375 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :19291 palindromic parentheses < 1394876907 925037 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :fizzie: :) < 1394876910 997739 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oh < 1394876916 203972 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i guess that was answered. < 1394877682 575499 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1394877766 494616 :mr45!~mr45@cpc27-hudd10-2-0-cust59.4-1.cable.virginm.net JOIN :#esoteric < 1394877828 863713 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 255 seconds < 1394877830 306511 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1394878039 426472 :mr45!~mr45@cpc27-hudd10-2-0-cust59.4-1.cable.virginm.net PART :#esoteric < 1394878946 929553 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1394880423 715036 :nooodl!~nooodl@33.96-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1394881115 846845 :Slereah__!~jackal@176.222.51.233 QUIT :Ping timeout: 252 seconds < 1394881246 715002 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1394881301 994638 :ggherdov_!sid11402@gateway/web/irccloud.com/x-ikcqlbbbchrlrtpx QUIT :Changing host < 1394881302 51164 :ggherdov_!sid11402@unaffiliated/ggherdov JOIN :#esoteric < 1394881302 51294 :ggherdov_!sid11402@unaffiliated/ggherdov QUIT :Changing host < 1394881302 51364 :ggherdov_!sid11402@gateway/web/irccloud.com/x-ikcqlbbbchrlrtpx JOIN :#esoteric < 1394881340 733303 :ggherdov_!sid11402@gateway/web/irccloud.com/x-ikcqlbbbchrlrtpx NICK :ggherdov < 1394881385 107495 :nooodl!~nooodl@33.96-242-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 252 seconds < 1394881962 985204 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1394883353 488386 :nortti_!nortti@nano.smar.fi NICK :nortti < 1394883792 140253 :password2!~password@197.78.152.2 JOIN :#esoteric < 1394885037 499720 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Sgeo, Taneb: It’s “Namespace.(*~)”, the pretty-printer is just still buggy on that bit. < 1394885207 326654 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1394885959 784463 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :( :t the < 1394885959 944102 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Basics.the : (13a : 12Type) -> 13a -> 13a < 1394886711 816057 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :( :t the larch < 1394886711 908946 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:8:No such variable larch < 1394887041 652016 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> 3+3 < 1394887041 761621 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :046 : 12Integer < 1394887042 682803 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 6 < 1394887054 269578 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :idris-ircslave should be configured to not accept > outside of #idris < 1394887199 499623 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1394887554 38705 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :It doesn’t have any configuration. At all. < 1394887564 585359 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :( the Integer 3 < 1394887564 640805 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :043 : 12Integer < 1394887620 490566 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( the (Fin 5) 3 < 1394887620 596926 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04fS (04fS (04fS 04fZ)) : 12Fin 045 < 1394887621 394526 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1394888228 546259 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :( the (Fin 10) 3 < 1394888228 652519 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04fS (04fS (04fS 04fZ)) : 12Fin 0410 < 1394888241 639853 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :( the (Fin 0) 1 < 1394888241 694803 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't unify < 1394888241 750720 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 12IsJust (04Just 13x) < 1394888241 750917 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :with < 1394888241 751013 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 12IsJust (09integerToFin 041 (09fromInteger 040)) < 1394888241 751104 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Specifically:14↵… < 1394889745 129733 :password2!~password@197.78.152.2 QUIT :Ping timeout: 240 seconds < 1394890070 173008 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1394890187 181458 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hallo oerjan < 1394890204 993231 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Ave Taneb < 1394890216 672292 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Jafetque < 1394890328 624976 :ion!ion@heh.fi PRIVMSG #esoteric :TIL Nethack, Dungeon Crawl and others are based on octagonal tiles in a hyperbolic space. https://github.com/mhwombat/grid/wiki/Octagonal-tiles < 1394890381 539201 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1394890437 701533 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: I sort of think the wiki should have full specs when possible < 1394890441 999600 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :for archive purposes < 1394890517 617437 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I agree < 1394890634 825079 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ion: um i am quite suspicious that the connection graphs are the same. < 1394890669 290452 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :ion: still can't beat the projective 3D goban < 1394890672 878111 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :like because hyperbolic tilings usually grow exponentially by level, iirc < 1394890854 759676 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Well, they become the same if you merge a few to save space (Haskell is after all very bad with memory and we should help it out whenever possible) < 1394890870 298980 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1394890999 252471 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep, not the same as https://en.wikipedia.org/wiki/File:Uniform_tiling_83-t0.png < 1394891034 869053 :ion!ion@heh.fi PRIVMSG #esoteric :If you place a shape, such as a circle or a square, around (0,0) in https://raw.github.com/mhwombat/grid/master/userguide/images/UnboundedOctGrid.png and start growing the shape, the number of tiles its boundaries touch grows more or less like hyperbolic space, no? < 1394891054 188918 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :while a cell has 8 neigbors by both countings, those 9 cells have 16 other neighbors in total with the diagonal stuff, but 32 in the hyperbolic one. < 1394891128 534485 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which i think is a "no" to your question. < 1394891171 719784 :ion!ion@heh.fi PRIVMSG #esoteric :ok < 1394891193 585268 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically, the moore neighborhood "disks" grow linearly sized boundaries, not exponential < 1394891331 953794 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :http://programmers.stackexchange.com/questions/81624/how-do-computers-work < 1394891361 695120 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in fact that hyperbolic picture gets a little hard to read at the next step, but i _think_ it quadruples every new distance. < 1394891400 455536 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well logically it should, since it's uniform. < 1394891440 18161 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :"Another distinctive property is the amount of space covered by the n-ball in hyperbolic n-space: it increases exponentially with respect to the radius of the ball, rather than polynomially." < 1394891476 699290 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Jafet: don't post that kind of link after a reading binge of creepy and horror stories. I am now scared post-shitless. < 1394891481 53842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm wait that's not true, some of them have only 3. < 1394891530 40698 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :boily: http://stackoverflow.com/a/1732454 < 1394891538 370176 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1394891574 627377 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Jafet: ah, a classic! I always keep a copy of that one on every machine I own :D < 1394891588 11630 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(reminds me to copy it to my newest acquisition) < 1394891604 393161 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The text near the end is actually an amazing test for font rendering < 1394891638 158226 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1394891718 388365 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :oerjan: the border of the image is so tattered that it puts the accuracy of the diagram into question < 1394891731 594828 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose < 1394891825 793838 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i think it's actually meant to be varying for two types of octagons at distance 2, according to whether they themselves bound 1 or 2 at distance 1. < 1394891878 445386 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Ping timeout: 265 seconds < 1394891884 566332 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :TIL: it's en:octagon, but fr:octogon. < 1394891888 261481 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the former have 3 exclusive neigbors and 2 more shared on each side, the latter have 2 and 2. < 1394891894 789248 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :s/n\./ne./ < 1394892291 871617 :Slereah_!~jackal@176.222.51.233 QUIT :Remote host closed the connection < 1394892305 423854 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm apparently it's oktogon in norwegian. < 1394892312 415993 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1394892412 210112 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hu < 1394892472 318274 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Du latin octogonos, lui-même issu du grec ancien ὀκτώ, oktô (« huit ») et γωνία, gônia (« angle »). < 1394892492 921982 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suspect the latins latinized the vowel a bit. < 1394892522 431920 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :First attested in 1656, from Latin octagonos, from Ancient Greek οκτάγωνος (oktágōnos, “eight-angled”), from ὀκτώ (octō, “eight”) + γωνία (gōnía, “angle”). < 1394892540 582385 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sometimes. < 1394892566 301299 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ça fait du sens. < 1394892589 493797 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :otoh it's latin "octave" < 1394892598 172372 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is pure latin afaik. < 1394892645 73102 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(given that it's the common ordinal) < 1394892723 115266 :Slereah_!~jackal@176.222.51.233 QUIT :Remote host closed the connection < 1394892734 471445 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Read error: No route to host < 1394892771 273904 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1394892772 490297 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1394892849 717417 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :but then latin has "octō". < 1394892852 269508 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Latin+ ūnus duo trēs quattuor quinque sex septem octō novem decem < 1394892854 698089 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Greek éna đío tría téssera pénde éksi eftá oxtó ennéa đéka < 1394892889 123149 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's modern greek, the ancient pronunciation was different see table in https://en.wiktionary.org/wiki/%E1%BD%80%CE%BA%CF%84%CF%8E < 1394892913 187424 :variable!root@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1394892978 188072 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also http://www.youtube.com/watch?v=YCFXGanTx4A < 1394893190 155644 :password2!~password@197.78.152.2 JOIN :#esoteric < 1394893221 172473 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :`relcome password2 < 1394893235 95935 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^welcome password2 < 1394893235 152010 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :password2: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esote ... < 1394893235 207185 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Gregor: IEUAAAAAAAAAAAAAAAAAAARGH! I SHALL MAPOLE YOU! < 1394893247 318669 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: stop being so brief < 1394893247 429135 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: of, for-- what does that do? the guild" only worked because belkar and i are a bit, and if my whole life was just leading to one big anticlimax? < 1394893272 594723 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oerjan: but that clip only has one two three four. what about the Pronunciation of Eight? < 1394893289 106536 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(btw, nice fungotrick.) < 1394893289 267343 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: good, good. my partner and i were to be connected to anything especialy scandalous. tell him that i said this is where that king guy is as you say that, i thought that the surname came first in feudal deal there and get started, just put my " thank my lord only gave you the really bad, belkar < 1394893300 470149 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: i am pretty sure at one point in the movie she shouts "oktogonta!" < 1394893318 163924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(when haggling over their rent) < 1394893355 522249 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or possibly oxtogonta. < 1394893413 208860 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I need to spend more time watching old movies. < 1394893483 93197 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it's been a while since i saw it. < 1394893491 105428 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394893594 347545 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :trhellomp. < 1394893598 965669 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1394893609 531910 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Gregor: thanks! < 1394893624 355986 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :`thanks Gregor < 1394893626 235429 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394893632 63940 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :`thank Gregor < 1394893632 549858 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394893634 849464 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :... < 1394893656 38759 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :`? canada < 1394893656 565900 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394893701 633934 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION suspects foul
< 1394893714 791886 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :oerjan: ‘x’ indicating what there? < 1394893719 159284 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :oh, so tesseract means four-something, finally makes sense < 1394893755 417012 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar: the ipa sound, i guess? < 1394893789 432764 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :` < 1394893789 924871 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394893795 693922 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :``` < 1394893796 267622 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394893809 436543 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I think a little mapoling is in order at this point. < 1394893811 654889 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`you're not really HackEgo are you. since when do you join from an unnamed ip. < 1394893812 126183 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394893839 618542 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :
ACTION artfully, tesseratically swings his mapole over at Gracenotes
< 1394893844 185826 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Okay. Just checking, ‘χ’ versus ‘ξ’ and stuff. < 1394893847 762624 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :s/Gracenotes/Gregor/ < 1394893865 475246 :password2!~password@197.78.152.2 PRIVMSG #esoteric :oh hai < 1394893873 171894 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar: see the historical pronunciations at https://en.wiktionary.org/wiki/%E1%BD%80%CE%BA%CF%84%CF%8E < 1394893924 233629 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Yeah, I'm not really sure what's goin' on right now... < 1394893974 679164 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Ohhuh. /x/ from ‹κ›, hadn’t heard of that change. < 1394893990 580443 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: is that actually your bot or is it just someone else faking < 1394893994 516284 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :password2: so, what brings you over to #esoteric by this fine Saturday morning? < 1394894000 391914 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :It's my bot. < 1394894003 694343 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :But it's muy broken. < 1394894004 706200 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1394894037 410213 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: with your sentience, can you achieve a HackEgo Impersonation? < 1394894037 520454 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: i know, i was, uh, any reason... there's no one here but us? we just dueled, he had a name, in accordance with your orders when he instructed the orcs and told me < 1394894046 889007 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the repository looks ok < 1394894053 190965 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Yeah, it's not that. < 1394894095 842304 :HackEgo!~HackEgo@162.248.166.242 QUIT :Remote host closed the connection < 1394894110 465947 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :the problem seems to be that everything gives "No output." instead of e.g. an error < 1394894128 409876 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`fnordly go < 1394894134 650615 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh it already went < 1394894981 379335 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@r < 1394894981 592783 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Maybe you meant: rc reconnect remember repoint roll run v @ ? . < 1394894985 389077 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ru < 1394894986 653521 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : not an expression: `' < 1394895106 431304 :password2!~password@197.78.152.2 PRIVMSG #esoteric :well boily , i have joined this channel a while ago < 1394895132 403498 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :password2: ah? >_>'... < 1394895399 578859 :password2!~password@197.78.152.2 PRIVMSG #esoteric ::) < 1394895443 546210 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t Fin < 1394895443 686155 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :12Prelude.Fin.Fin : 12Nat -> 12Type < 1394895467 100582 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :what is that? it looks vaguely haskelly but not quite < 1394895501 517477 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"idris" hth < 1394895753 518648 :Slereahphone!~slereahph@80.12.100.246 QUIT :Quit: Colloquy for iPhone - http://colloquy.mobi < 1394895780 353207 :Slereahphone!~slereahph@80.12.100.246 JOIN :#esoteric < 1394896153 118420 :password2!~password@197.78.152.2 QUIT :Ping timeout: 240 seconds < 1394896200 604786 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( :doc Fin < 1394896200 697872 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Data type 12Fin : 12Nat -> 12Type < 1394896200 752978 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : Numbers strictly less than some bound. The name comes from "finite sets" < 1394896200 753140 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : Arguments: < 1394896200 753233 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 13n : 12Nat -- the upper bound < 1394896200 753326 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Constructors:14↵… < 1394896456 775943 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1394896462 466286 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(Thus, 12Fin 13n is inhabited by exactly 13n values.) < 1394896524 16286 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ah, so that's why (Fin 0) 1 doesn't work. < 1394896565 376596 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :12Fin 040 is uninhabited. < 1394896608 326141 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( the (Fin 1) 0 < 1394896608 381135 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04fZ : 12Fin 041 < 1394896642 230800 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( the (Fin 1) 1 < 1394896642 343272 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't unify < 1394896642 397919 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 12IsJust (04Just 13x) < 1394896642 398096 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :with < 1394896642 398193 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 12IsJust (09integerToFin 041 (09fromInteger 041)) < 1394896642 398284 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Specifically:14↵… < 1394896678 517877 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :I hope the bit of error reflection that turns that into a more digestible message is merged soon. < 1394898063 752078 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1394898258 304048 :impomatic!~chatzilla@87.112.13.30 QUIT :Ping timeout: 240 seconds < 1394898493 819266 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`echo hi < 1394898499 61370 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394898504 876060 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: *cough* < 1394898794 128823 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :time to phở. < 1394899292 439572 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1394899483 461458 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1394899484 630642 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1394899708 627253 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :) :t zipWith < 1394899709 143814 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :oerjan: |syntax error < 1394899709 199481 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :oerjan: | :t zipWith < 1394899714 919927 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t zipWith < 1394899715 242988 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.List.zipWith : (13a -> 13b -> 13c) -> (13l : 12List 13a) -> (13r : 12List 13b) -> (09length 13l 12= 09length 13r) -> 12List 13c < 1394899715 575404 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Stream.zipWith : (13a -> 13b -> 13c) -> (12Stream 13a) -> (12Stream 13b) -> 12Stream 13c < 1394899715 631028 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Vect.zipWith : (13a -> 13b -> 13c) -> (12Vect 13n 13a) -> (12Vect 13n 13b) -> 12Vect 13n 13c < 1394899807 536359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let fib = 1 :: 1 :: zipWith (+) fib (tail fib) in fib < 1394899809 769504 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't disambiguate name: Data.HVect.::, Prelude.List.::, Data.Vect.Quantifiers.::, Prelude.Stream.::, Prelude.Vect.:: < 1394899836 568631 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let fib = the (Stream Integer) (1 :: 1 :: zipWith (+) fib (tail fib)) in fib < 1394899836 998625 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't unify < 1394899837 320805 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 12Vect 13n 13c < 1394899837 375673 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :with < 1394899837 375823 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 12Stream 12Integer < 1394899837 375917 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Specifically:14↵… < 1394899846 688942 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1394899850 361538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t (::) < 1394899850 747823 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04Data.HVect.:: : 13t -> (12HVect 13ts) -> 12HVect (13t 04:: 13ts) < 1394899851 71029 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04Prelude.List.:: : 13a -> (12List 13a) -> 12List 13a < 1394899851 177477 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04Data.Vect.Quantifiers.:: : (13P 13x) -> (12All 13P 13xs) -> 12All 13P (13x 04:: 13xs) < 1394899851 232394 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04Prelude.Stream.:: : 13a -> (12Lazy (12Stream 13a)) -> 12Stream 13a < 1394899851 232567 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :04Prelude.Vect.:: : 13a -> (12Vect 13n 13a) -> 12Vect (04S 13n) 13a < 1394899871 710105 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1394899873 271513 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t Lazy < 1394899873 702773 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :12Lazy : 12Type -> 12Type < 1394899908 7047 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let fib = the (Lazy (Stream Integer)) (1 :: 1 :: zipWith (+) fib (tail fib)) in fib < 1394899908 487942 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't unify < 1394899908 810872 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 12Vect 13n 13c < 1394899908 866787 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :with < 1394899908 866972 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 12Stream 12Integer < 1394899908 867067 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Specifically:14↵… < 1394899927 218172 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this type inference isn't very reliable. < 1394899957 529785 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let fib : Lazy (Stream Integer); fib = 1 :: 1 :: zipWith (+) fib (tail fib) in fib < 1394899957 850571 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:9: error: expected: "=" < 1394899958 339510 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :let fib : Lazy (Stream Integer); fib = 1 :: 1 :: zipWith (+) fib (tail fib) in> < 1394899958 395837 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : ^ < 1394899984 836831 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...you cannot use : in let? < 1394900019 561805 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :doc Stream < 1394900020 28065 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Data type 12Stream : 12Type -> 12Type < 1394900020 454226 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : An infinite stream < 1394900020 511047 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : Arguments: < 1394900020 511195 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 13__pi_arg : 12Type < 1394900020 511287 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Constructors:14↵… < 1394900039 760775 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :doc Lazy < 1394900040 189571 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Data type 12Lazy : 12Type -> 12Type < 1394900040 512696 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : Arguments: < 1394900040 567736 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 13__pi_arg : 12Type < 1394900040 567898 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Constructors: < 1394900040 567994 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 04Delay : 13a -> 12Lazy 13a14↵… < 1394900044 811622 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1394900073 197367 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let fib = Delay (1 :: 1 :: zipWith (+) fib (tail fib)) in fib < 1394900073 614695 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't disambiguate name: Data.HVect.::, Prelude.List.::, Data.Vect.Quantifiers.::, Prelude.Stream.::, Prelude.Vect.:: < 1394900117 454887 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let fib = Delay (the (Stream Integer) (1 :: 1 :: zipWith (+) fib (tail fib))) in fib < 1394900117 851753 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't unify < 1394900118 281706 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 12Vect 13n 13c < 1394900118 336703 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :with < 1394900118 336854 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 12Stream 12Integer < 1394900118 336946 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Specifically:14↵… < 1394900175 789682 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let fib = Delay (1 :: 1 :: Prelude.Stream.zipWith (+) fib (tail fib))) in fib < 1394900176 137448 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:70: error: expected: "$", < 1394900176 498073 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "*", "***", < 1394900176 553085 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "+", "++", "-", "->", ".", "/", < 1394900176 553273 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "/=", ":+", "::", "<", "<$", < 1394900176 553366 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "<$>", "<*>", "<+>", "<->",14↵… < 1394900191 648580 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let fib = Delay (1 :: 1 :: Prelude.Stream.zipWith (+) fib (tail fib)) in fib < 1394900191 755821 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Can't unify < 1394900191 810354 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 12Nat -> 12Nat < 1394900191 865506 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :with < 1394900191 865685 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : 12Stream 12Nat < 1394900191 865778 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Specifically:14↵… < 1394900302 325330 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let fib = Delay (1 Prelude.Stream.:: 1 Prelude.Stream.:: Prelude.Stream.zipWith (+) fib (tail fib)) in fib < 1394900302 431892 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:20:No such variable Prelude.Stream. < 1394900327 520655 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let fib = Delay (1 Prelude.Stream.(::) 1 Prelude.Stream.(::) Prelude.Stream.zipWith (+) fib (tail fib)) in fib < 1394900327 628031 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:20:Can't infer type for (|(|fromInteger 1 , fromInteger 1 , |) , 1 , 1 , 1 , 1 , 1 , 1 , |) (::) < 1394900350 222230 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let fib = Delay ((the Integer 1) Prelude.Stream.(::) 1 Prelude.Stream.(::) Prelude.Stream.zipWith (+) fib (tail fib)) in fib < 1394900350 364191 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:34:09the 12Integer (09fromInteger 041) does not have a function type (12Integer) < 1394900377 431286 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t tail < 1394900379 293800 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.List.tail : (13l : 12List 13a) -> (09isCons 13l 12= 04True) -> 12List 13a < 1394900379 399397 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Stream.tail : (12Stream 13a) -> 12Stream 13a < 1394900379 454749 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Vect.tail : (12Vect (04S 13n) 13a) -> 12Vect 13n 13a < 1394900440 75364 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let s = (the Integer 1) Prelude.Stream.(::) s in s < 1394900440 457462 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:25:09the 12Integer (09fromInteger 041) does not have a function type (12Integer) < 1394900454 273735 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let s = (the Integer 1) `Prelude.Stream.(::)` s in s < 1394900454 328301 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:47:No such variable s < 1394900505 688328 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let s = (the Integer 1) `Prelude.Stream.(::)` (Delay s) in s < 1394900505 795880 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:54:No such variable s < 1394901014 807541 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :oerjan: What are you trying to do? < 1394901031 122946 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :make a fibonacci stream < 1394901059 752200 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let rec s = (the Integer 1) `Prelude.Stream.(::)` (Delay s) in s < 1394901060 157965 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:58:No such variable s < 1394901083 458260 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :> let fibs = with Stream 0 :: 1 :: [| fibs + tail fibs |] in take 10 fibs < 1394901084 54375 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:37:No such variable fibs < 1394901084 629646 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:29: Illegal literal in type (use -XDataKinds to enable): 1 < 1394901093 192430 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :( let fibs = with Stream 0 :: 1 :: [| fibs + tail fibs |] in take 10 fibs < 1394901093 686110 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:37:No such variable fibs < 1394901110 766678 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Ah, right. No letrec. < 1394901127 483094 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so only functions can recurse? < 1394901156 33993 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or, recursion only at top level? < 1394901173 744858 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Only top-level and where-clause defns, I think. < 1394901181 987739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha... hm < 1394901238 169831 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :“fibs : Stream Nat ; fibs = 0 :: 1 :: [| fibs + tail fibs |]” in a file should work. < 1394901256 896573 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( let fibs = fibs' where fibs' = with Stream 0 :: 1 :: [| fibs' + tail fibs' |] in take 10 fibs < 1394901257 1745 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:18: error: expected: "$", < 1394901257 56694 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "&&&", "*", "***", < 1394901257 56836 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "+", "++", "-", "->", ".", "/", < 1394901257 56928 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "/=", ":+", "::", "<", "<$", < 1394901257 57020 :idris-ircslave!~ircslave@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric : "<$>", "<*>", "<+>", "<->",14↵… < 1394901258 695729 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :That’s also not recursion, but corecursion; in idris the difference is significant. < 1394901313 204912 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no where clauses in let definitions? < 1394901364 241845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you borrow haskell syntax, you should do it _properly_ :( < 1394901571 256004 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :It started out whitespace-insensitive, it has grown more like Haskell syntax since … < 1394901633 760328 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :cargo cult haskell syntax >:) < 1394902011 522646 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Mainly because whitespace-insensitive was easier to implement; it’s largely a research language. < 1394902501 57817 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :U+237B NOT CHECK MARK appears before U+2713 CHECK MARK. ✓ < 1394902522 146634 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess they forgot to check that < 1394902609 53889 :yorick!~yorick@oftn/member/yorick QUIT :Read error: Connection reset by peer < 1394902782 320826 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1394903156 105462 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I hope they implemented whitespace as sugar for punctuation, like Haskell < 1394903693 660322 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :kmc: Well, it’s not sugar as such; the parser checks indents rather than lexing and preprocessing indents into blocks before continuing (which IIRC is what is done for Haskell). But you can use whitespace and {;} alternatively, yes. < 1394903942 266643 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :is that difference observable in the language specification < 1394903969 349519 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1394904051 946865 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :There is no specification. Just research papers that describe some of the foundations and features. < 1394904168 305357 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :sure, I mean hypothetically < 1394904293 137198 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1394904326 113190 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1394904556 447558 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Well, the implementation approaches can be made to behave exactly the same, but I’m guessing that the actual Idris implementation parses some edge cases differently even in the language constructs that Idris and Haskell share, and this is not necessarily always considered a bug. < 1394904566 745560 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :There are almost certainly still outright bugs though. < 1394904569 40887 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1394905922 329395 :password2!~password@197.78.166.89 JOIN :#esoteric < 1394907154 212916 :AnotherTest!~turingcom@94-224-16-121.access.telenet.be JOIN :#esoteric < 1394908586 455455 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :`relcome password2 (because I can :D) < 1394908586 698293 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394908696 716356 :password2!~password@197.78.166.89 PRIVMSG #esoteric ::D < 1394908727 803744 :password2!~password@197.78.166.89 PRIVMSG #esoteric :I like the randomness of this channel < 1394909988 516588 :password2!~password@197.78.166.89 PRIVMSG #esoteric :hows it going here < 1394910537 595970 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I lunched at a Vietnamese restaurant, then went grocery shopping, coffee shopping, and now I'm back home playing DCSS. < 1394911313 755799 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1394911880 330060 :lexande!arapp@terpsichore.ugcs.caltech.edu QUIT :Ping timeout: 264 seconds < 1394911909 31941 :lexande!arapp@terpsichore.ugcs.caltech.edu JOIN :#esoteric < 1394911935 553144 :password2!~password@197.78.166.89 QUIT :Remote host closed the connection < 1394912085 366942 :password2!~password@197.78.166.89 JOIN :#esoteric < 1394912407 438579 :password2!~password@197.78.166.89 QUIT :Ping timeout: 264 seconds < 1394912720 269145 :chaiomanot!~chaiomano@75-121-39-142.dyn.centurytel.net JOIN :#esoteric < 1394912937 807764 :password2!~password@197.78.159.108 JOIN :#esoteric < 1394913453 853381 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://i.imgur.com/hTcbghi.jpg < 1394913554 799000 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1394914088 221825 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Today I bought an apple and ate it, entirely of my own volition. I... don't know who I am any more < 1394914209 118555 :itsy!~digital_w@87.112.13.30 JOIN :#esoteric < 1394914301 577542 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Taneb: if you are having identity troubles, you should become Canadian. it's a very sane choice. < 1394914314 95425 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :kmc: shiny racoons! < 1394914340 716347 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :boily, I am still reasonably confident about my nationality < 1394914344 793106 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Merely not my diet < 1394914572 966452 :password2!~password@197.78.159.108 PRIVMSG #esoteric :oh yeah , i now have an irc bot running < 1394914597 172439 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Is it written in Piet < 1394914669 907834 :password2!~password@197.78.159.108 PRIVMSG #esoteric :nope < 1394914671 131682 :password2!~password@197.78.159.108 PRIVMSG #esoteric :c++ < 1394914732 148236 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Shame < 1394914793 588312 :password2!~password@197.78.159.108 PRIVMSG #esoteric :but its aim is to interpret bf < 1394914801 897369 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Double shame < 1394914810 443883 :password2!~password@197.78.159.108 PRIVMSG #esoteric :-_- < 1394914989 826058 :password2!~password@197.78.159.108 PRIVMSG #esoteric :for now it just sit in a room and responds to hello < 1394915023 265707 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Hello. < 1394915023 382611 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: and my soul and nev'r... actually, y'know, the rune over behind xkyon's throne labeled " castle blowing her cover. < 1394915037 421605 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :This new style is not very good. :/ < 1394915054 719445 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Taneb: Canadianness isn't just a nationality. it's a State of Mind. it's a Temperature. it's Kraft Dinner, too! < 1394915077 775052 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fizzie: it already had some interesting moments, but I concur. I think my favourite is the lovecraft one. < 1394915079 810898 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1394915085 836282 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :But I was going to make chilli and cheese sandwich things < 1394915107 634285 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :but you had an apple instead? < 1394915125 705924 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :olsner, the apple was for the walk home from the shop < 1394915126 715532 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :boily: I'm partial to europarl, for some reason. (And the "irc" style, which was in fact the first.) < 1394915132 659766 :nortti!nortti@nano.smar.fi NICK :lawspeaker < 1394915135 436521 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :^style < 1394915135 559022 :fungot!fis@eos.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 < 1394915143 476688 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :^style enron < 1394915143 636592 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: enron (subset of the Enron email dataset) < 1394915152 438870 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :fungot, how do I deseed a chilli < 1394915152 612365 :lawspeaker!nortti@nano.smar.fi NICK :nortti < 1394915152 690624 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Taneb: for an email. check on the appropriate. april brazil mark t. d. anderson will get to know that the issue of how the attached schedule of the plane that landed a job. < 1394915159 43172 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :^style jargon < 1394915159 164881 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: jargon (UNIX-HATERS mailing list archive) < 1394915162 968953 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :jarg it on fungot < 1394915163 95368 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: ack, i've gotten more help than criticism from its alumni. < 1394915203 233660 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hmm, I prefer hotter food, should I leave the seeds in, fungot? < 1394915203 325430 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Taneb: to the root directory and then return to the superficial dogma of the < 1394915239 251678 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Helpful as always < 1394915269 509840 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :deseeding is overkill in my experience, doesn't seem to matter if there are seeds or not < 1394915280 710694 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`thanks olsner < 1394915281 83286 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394915285 556750 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`thanks HackEgo < 1394915285 805296 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394915287 80175 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`ls < 1394915287 451954 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394915301 597168 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Thanks, olsner. Tholsner. < 1394915309 561286 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :perhaps it's hotter? but just use less next time if it gets too hot < 1394915339 180286 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Oh man, the recipe says use four chillies, but I only bought three :) < 1394915341 489364 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :*:( < 1394915452 807599 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :do you have any hot sauce? tomato paste? < 1394915464 891889 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :a different recipe? < 1394915507 823393 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1394915559 365120 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I could just spread it thinner < 1394915565 739034 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It's only baked sandwiches < 1394915736 647056 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1394915886 501535 :FireFly!~firefly@oftn/member/FireFly QUIT :Excess Flood < 1394915998 79758 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1394917560 395372 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^thanks olsner < 1394917560 520517 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Thanks, olsner. Tholsner. < 1394917583 67160 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Replacing HackEgo, one command at a time. < 1394917603 790010 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Disclaimer: may have bugs. < 1394917609 646914 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^thanks blorg < 1394917609 810515 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Thanks, blorg. Thorg. < 1394917635 175543 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If it doesn't have any, then it should have the same semantics as `thanks. < 1394917684 333319 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :the semantics of `thanks luckily doesn't depend too much on the output < 1394917709 438587 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^show thanks < 1394917709 564554 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :>2,[>,]+15[>+6>+7>+3>+2<4-]>-6.>-.-7.+13.-3.+8.>-.>+2.<5[<]>[.>]>3+2.>.<3.<2[<]>[[-<2+>+>]+<-97[-4[-4[-6[-6[-4[>-<[-]]]]]]]>[[>]>2-11.<3[<]<.>3[.>]>3.>5][-]>]<3[[<]>2[.>]>5.>2] < 1394917752 576069 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :great way to show thanks, fungot < 1394917752 630492 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: didn't you think i'm using it as it were the greatest new idea since the counter was big enough, zwgc has an opening for a routing entry first in the header ( as set forth in the file < 1394917989 500640 :Slereahphone!~slereahph@80.12.100.246 QUIT :Remote host closed the connection < 1394918010 353886 :Slereahphone!~slereahph@80.12.100.246 JOIN :#esoteric < 1394918165 21791 :Slereahphone_!~slereahph@80.10.159.214 JOIN :#esoteric < 1394918258 345252 :Slereahphone!~slereahph@80.12.100.246 QUIT :Ping timeout: 240 seconds < 1394918260 184136 :Slereahphone_!~slereahph@80.10.159.214 NICK :Slereahphone < 1394918319 345684 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :how would one cleanly search for 3 sequential lines conforming to same regex using standard unix commandset? < 1394918514 396387 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :never mind, awk and counter var < 1394918972 479075 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :standard unix commandset < 1394918973 592920 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :BORING < 1394919578 308679 :AnotherTest!~turingcom@94-224-16-121.access.telenet.be QUIT :Ping timeout: 240 seconds < 1394919598 304071 :password2!~password@197.78.159.108 QUIT :Ping timeout: 240 seconds < 1394919641 39104 :Slereah__!~jackal@176.222.51.233 JOIN :#esoteric < 1394919823 299986 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 264 seconds < 1394920295 122160 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1394920439 29037 :Slereah__!~jackal@176.222.51.233 QUIT :Ping timeout: 240 seconds < 1394920900 671804 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1394921083 420502 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1394921084 274423 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1394921130 272662 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :https://github.com/idris-lang/Idris-dev/issues/287#issuecomment-37738942 < 1394921264 804208 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :
ACTION doesn't actually know what's going on in that code
< 1394921584 176570 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1394922454 246277 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Except possibly totality checker merely not active < 1394922499 937113 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo hi >testy < 1394922500 296218 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394922529 422424 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok it's definitely not getting into the repository. < 1394922934 200051 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^thanks hm < 1394922934 325400 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Thanks, hm. Tm. < 1394923067 220500 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1394923094 780146 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1394923108 602667 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :`learn TEST TEST TEST! TEST TEST TEST! < 1394923108 967062 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1394923261 244611 :nooodl!~nooodl@33.96-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1394923536 630550 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :
ACTION sings the Zelda grab-item jingle ♪
< 1394923562 690174 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(still crawling. just got the Sword of Zonguldrok!) < 1394923633 490601 :aloril!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi QUIT :Remote host closed the connection < 1394924224 343705 :aloril!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi JOIN :#esoteric < 1394924950 122624 :ion!ion@heh.fi PRIVMSG #esoteric :http://fratti.ch/spaghetti/airlessarchives69%20-%20%5bArchive%5d%20Unboxing%202012%20McDonalds%20My%20Little%20Pony%20Toys.webm < 1394925271 378860 :Slereah__!~jackal@176.222.51.233 JOIN :#esoteric < 1394925313 108254 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 240 seconds