< 1428020491 237209 :iamevn_!~evn@c-67-201-217-24.reshall.wwu.edu JOIN :#esoteric < 1428020586 410312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gah it's my monthly reddit shock ad < 1428020669 304569 :iamevn!~evn@c-67-201-217-24.reshall.wwu.edu QUIT :Ping timeout: 248 seconds < 1428020843 915763 :Lymia!~lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1428020855 59325 :Lymia!~lymia@magical.girl.lyrical.lymia.moe QUIT :Changing host < 1428020855 60576 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1428021017 390651 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1428022110 620067 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :gah, another wasted ghc build < 1428022168 561702 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how so < 1428022218 391781 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I had copied a file to mk/build.mk.7.10.1 instead of build.mk < 1428022452 615191 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mhm < 1428022516 77118 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so I got a full build, but without DYNAMIC_GHC_PROGRAMS < 1428022553 678000 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a fully anemic build < 1428022619 706024 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net QUIT :Read error: Connection reset by peer < 1428022651 529269 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1428022720 753806 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :paraphrasing #haskell, unsafeCoerce is a fixed point of ($ id) < 1428022744 891733 :stuntaneous!~stuntaneo@124-168-187-86.dyn.iinet.net.au JOIN :#esoteric < 1428022745 958956 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :whoa < 1428022749 652582 :stuntaneous!~stuntaneo@124-168-187-86.dyn.iinet.net.au QUIT :Excess Flood < 1428022763 134705 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t ($ id) < 1428022764 119147 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :((a -> a) -> b) -> b < 1428022764 951408 :stuntaneous!~stuntaneo@124-168-187-86.dyn.iinet.net.au JOIN :#esoteric < 1428022768 380990 :stuntaneous!~stuntaneo@124-168-187-86.dyn.iinet.net.au QUIT :Excess Flood < 1428022776 305127 :elliott!~elliott@unaffiliated/elliott QUIT :Ping timeout: 250 seconds < 1428022780 148769 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t fix ($ id) < 1428022781 52167 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: b ~ (a -> a) -> b < 1428022781 52826 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: ((a -> a) -> b) -> (a -> a) -> b < 1428022781 180885 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: ((a -> a) -> b) -> b < 1428022789 325211 :stuntaneous!~stuntaneo@124-168-187-86.dyn.iinet.net.au JOIN :#esoteric < 1428022791 857623 :stuntaneous!~stuntaneo@124-168-187-86.dyn.iinet.net.au QUIT :Excess Flood < 1428022798 511982 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :HMM < 1428022811 247025 :stuntaneous!~stuntaneo@124-168-187-86.dyn.iinet.net.au JOIN :#esoteric < 1428022814 42596 :stuntaneous!~stuntaneo@124-168-187-86.dyn.iinet.net.au QUIT :Excess Flood < 1428022820 261678 :elliott!~elliott@li278-81.members.linode.com JOIN :#esoteric < 1428022839 694539 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> :t (unsafeCoerce $ id) :: a -> b < 1428022839 695282 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(unsafeCoerce $ id) :: a -> b :: a -> b < 1428022841 556233 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input ‘:’ < 1428022843 579641 :elliott!~elliott@li278-81.members.linode.com NICK :Guest24483 < 1428022855 752796 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::t let uc :: a -> b; uc = undefined in ($ id) uc < 1428022856 828325 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :b < 1428022860 96617 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but the point is, it's operationally the same as unsafeCoerce, too. < 1428022862 379514 :stuntaneous!~stuntaneo@124-168-187-86.dyn.iinet.net.au JOIN :#esoteric < 1428022863 232481 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it has an even more general type < 1428022865 317642 :stuntaneous!~stuntaneo@124-168-187-86.dyn.iinet.net.au QUIT :Excess Flood < 1428022885 830216 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: but without restricting the type it's liable to crash < 1428022891 334566 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I think) < 1428022900 259128 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's liable to crash anyway. < 1428022904 525415 :stuntaneous!~stuntaneo@124-168-187-86.dyn.iinet.net.au JOIN :#esoteric < 1428022907 372972 :stuntaneous!~stuntaneo@124-168-187-86.dyn.iinet.net.au QUIT :Excess Flood < 1428022909 580471 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :true, there's that < 1428022928 242341 :stuntaneous!~stuntaneo@124-168-187-86.dyn.iinet.net.au JOIN :#esoteric < 1428022965 368245 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the least fixed point of ($ id) in untyped lambda calculus? < 1428022982 236772 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :maybe unsafeCoerce should really have type unsafeCoerce :: a. < 1428023091 98887 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :let t = t (\y -> y) in t -- doesn't look useful after unfolding it into a Böhm tree. < 1428023094 822689 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: pretty sure it's bottom hth < 1428023138 574740 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: and what's the greatest fixed point twh < 1428023139 637261 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1428023167 251304 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :does there have to be one < 1428023170 118970 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(meh we're working in different domains) < 1428023189 520665 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i never said it exists < 1428023232 750944 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unlambda v is a bit higher, i think < 1428023245 215021 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is basically fix const < 1428024201 132953 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1428025920 427617 :zzo38!~zzo38@24-207-84-223.eastlink.ca JOIN :#esoteric < 1428028010 969397 :nys!~nysnamovo@blk-215-85-138.eastlink.ca QUIT :Quit: quit < 1428029212 300477 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: cetera < 1428030007 905307 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Time Out14]]4 10 02http://esolangs.org/w/index.php?diff=42276&oldid=42248 5* 03Esowiki201529A 5* (+26) 10 < 1428030900 989241 :constant!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1428032241 168833 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :a hacker made this almost 3 years ago < 1428032244 961754 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` a=abcdef; n= eval 'printf %s "${a[0]"{1..'${#a}'}":(-(++n)):1}"' "$'\n'" < 1428032253 666351 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :fedcba < 1428032274 618762 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :and... this is mine < 1428032277 320926 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` a=abcdef; n= eval 'printf %s "${a[0]"{1..'${#a}'}":(-(++n)):1}"' "$'\n'" < 1428032278 276064 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :fedcba < 1428032279 992974 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :no < 1428032287 218211 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` a=abcdef; eval eval printf %s '"\"\${a:"'{${#a}..0}':1}\"' "$'$\'\\n\''" < 1428032288 12396 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :fedcba < 1428032289 444986 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :^ that one < 1428032375 869261 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :mine is much more straigthforward :| < 1428032385 972859 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :but... it works in bash/ksh/zsh < 1428032391 820545 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :his version only works in bash < 1428032393 943751 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :so yeah < 1428032397 462198 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :kinda happy < 1428032494 402401 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1428033363 826635 :fractal!~fractal@2607:fcd0:100:4300::3e34:746 QUIT :Changing host < 1428033363 841118 :fractal!~fractal@unaffiliated/scounder JOIN :#esoteric < 1428034084 549078 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net JOIN :#esoteric < 1428034104 353119 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net QUIT :Ping timeout: 244 seconds < 1428034135 470585 :adu!~ajr@cpe-65-191-31-157.nc.res.rr.com JOIN :#esoteric < 1428034619 478360 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net QUIT :Ping timeout: 256 seconds < 1428034686 608939 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1428036246 288701 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 250 seconds < 1428036271 918110 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-wtrcdhvqtsnhygyh QUIT :Ping timeout: 252 seconds < 1428036315 741930 :ocharles_!sid30093@gateway/web/irccloud.com/x-udsvatpuwiflxvcd QUIT :Ping timeout: 252 seconds < 1428036345 351103 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1428036435 550582 :ocharles_!sid30093@gateway/web/irccloud.com/x-orpmewynspcknvfv JOIN :#esoteric < 1428036497 461246 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-hlxmylrhuvuaytwp JOIN :#esoteric < 1428036603 896647 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Remote host closed the connection < 1428036691 711060 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: For monotonic functions does o behave the way I wanted it to with respect to O? < 1428036972 621220 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1428037090 799183 :Guest24483!~elliott@li278-81.members.linode.com PRIVMSG #esoteric :coppro: you being a nethack dev is an april fool's, right < 1428037172 598278 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Guest24483: IIRC no, he's been involved in nethack for a while. < 1428037182 301313 :Guest24483!~elliott@li278-81.members.linode.com PRIVMSG #esoteric :I mean actual nethack < 1428037183 390211 :Guest24483!~elliott@li278-81.members.linode.com PRIVMSG #esoteric :not nethack 4 < 1428037760 941258 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1428037869 14321 :zadock!~zadock@81.180.210.87 QUIT :Quit: Leaving < 1428037905 199249 :variable!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1428038281 720676 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1428038713 688337 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 250 seconds < 1428040336 305822 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Is "Do not destroy" the title of any melody? < 1428040386 211544 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :write one and call it like that < 1428040476 681364 :adu!~ajr@cpe-65-191-31-157.nc.res.rr.com QUIT :Quit: adu < 1428040507 170938 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Footnotes in the book of Psalms in the version I have say that it probably is, although some psalms are just marked "Do not destroy" and it isn't quite clear why; the scholars who wrote the footnotes seem to believe it is probably the title of a melody that is now lost (I suppose, presumably, they had no musical notation at the time so they just named the melody instead). < 1428046909 649265 :dianne_!~diannes@unaffiliated/dianne QUIT :Quit: byeannes < 1428047014 972549 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net JOIN :#esoteric < 1428047044 697336 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1428047943 549244 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: no, you can construct staircase functions with fast growing stairs and still get similar counterexamples to the alternating function one. < 1428048240 130780 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: for example, f(n) = 2^2^floor(log_2(log_2(n)) (which maps [2,4) to 2, [4,16) to 4, [16,256) to 16, [256,65536) to 256, etc; it's O(n), not o(n), and n is not O(f)). < 1428048290 966284 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::t 1 < 1428048291 906701 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Num a => a < 1428048295 242018 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :lucky me. < 1428048457 747993 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: OK. < 1428048466 262408 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there an obvious relationship between o and O? < 1428048503 956132 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :other than o(f) being a strict subset of O(f), none that I'm aware of. < 1428048626 686321 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :O(f) \ o(f) has no nice characterization, I think. < 1428049161 393201 :stuntaneous_o!~stuntaneo@203-158-60-155.dyn.iinet.net.au JOIN :#esoteric < 1428049230 696916 :stuntaneous!~stuntaneo@124-168-187-86.dyn.iinet.net.au QUIT :Ping timeout: 256 seconds < 1428049581 464990 :stuntaneous_o!~stuntaneo@203-158-60-155.dyn.iinet.net.au QUIT :Ping timeout: 246 seconds < 1428049811 903069 :stuntaneous!~stuntaneo@124-168-151-12.dyn.iinet.net.au JOIN :#esoteric < 1428049814 635588 :stuntaneous!~stuntaneo@124-168-151-12.dyn.iinet.net.au QUIT :Excess Flood < 1428050016 808662 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050019 600519 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050034 767388 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050037 495954 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050057 729431 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050060 472635 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050078 332910 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050081 566966 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050098 340534 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050101 159468 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050113 553756 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050116 39858 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050131 592810 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050134 179783 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050149 474142 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050151 917310 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050171 754734 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050174 480786 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050190 171582 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050193 99087 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050207 756504 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050210 227614 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050224 283800 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050227 14779 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050247 349657 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050250 97450 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050272 953740 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050275 639513 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050288 475783 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050290 963328 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050307 860954 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050310 478944 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050324 639181 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050327 403577 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050342 508081 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050345 213616 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050360 279094 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050362 722845 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050382 94835 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050384 902913 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050407 730138 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050410 471345 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050424 807094 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050427 519859 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050441 731610 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050444 243304 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050458 581213 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050461 298687 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050475 740258 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050478 399752 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050494 488913 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050497 320897 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050510 774696 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050513 236344 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050533 682206 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050536 367600 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050551 350897 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050554 147050 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050569 252592 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050571 886839 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050593 970507 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050596 151907 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050610 941139 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050613 156046 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050632 796943 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050634 851575 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050636 278019 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wtf. < 1428050650 384773 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050652 558444 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050669 328342 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050671 532291 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050688 459142 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050690 555927 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050707 51477 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050707 979961 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net PRIVMSG #esoteric :Stuntaneous is yet another unfortunate victim of autojoin... < 1428050709 201389 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050722 698724 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050724 940573 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050745 778616 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050747 701228 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050763 440079 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050764 490114 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050803 747708 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050805 927071 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050818 496792 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( thank irssi for selective ignores... /ignore stuntaneous JOINS PARTS QUITS ) < 1428050820 816943 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050822 870615 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050838 546814 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050840 467030 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050855 592448 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050857 457864 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050872 728795 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050874 776805 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050890 661928 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050893 3361 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050908 751522 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050910 923765 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050924 773897 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050926 755178 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050942 877448 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050944 986571 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Excess Flood < 1428050960 970942 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au JOIN :#esoteric < 1428050970 857082 :zadock!~zadock@muscalu.tuiasi.ro JOIN :#esoteric < 1428052110 322628 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1428052345 177650 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 245 seconds < 1428053946 877799 :Guest61975!~magician@178.161.120.34 JOIN :#esoteric < 1428053991 766470 :Guest61975!~magician@178.161.120.34 PRIVMSG #esoteric :hi < 1428054023 653601 :Guest61975!~magician@178.161.120.34 PART :#esoteric < 1428054179 385006 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net QUIT :Ping timeout: 252 seconds < 1428055744 292178 :Guest61975!~magician@178.161.120.34 JOIN :#esoteric < 1428056447 674357 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :hi < 1428057532 504781 :Guest61975!~magician@178.161.120.34 PRIVMSG #esoteric :hi < 1428057583 614224 :AnotherTest!~turingcom@d51A4C6F4.access.telenet.be JOIN :#esoteric < 1428057635 563848 :Guest61975!~magician@178.161.120.34 PRIVMSG #esoteric :heyo < 1428057871 627888 :Guest24483!~elliott@li278-81.members.linode.com PRIVMSG #esoteric :`relcome Guest61975 < 1428057874 762929 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​04Guest61975: 07Welcome 08to 09the 02international 06hub 13for 04esoteric 07programming 08language 09design 02and 06deployment! 13For 04more 07information, 08check 09out 02our 06wiki: 13. 04(For 07the 08other 09kind 02of 06esoterica, 13try 04#esoteric 07on 08irc.dal.net.) < 1428058109 185414 :Guest61975!~magician@178.161.120.34 PRIVMSG #esoteric :thanks < 1428058111 901670 :Guest61975!~magician@178.161.120.34 PRIVMSG #esoteric :so guys < 1428058118 297251 :Guest61975!~magician@178.161.120.34 PRIVMSG #esoteric :anyone know art magick? < 1428058816 192116 :Guest61975!~magician@178.161.120.34 PART :#esoteric < 1428059775 525871 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1428060573 60453 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net QUIT :Read error: Connection reset by peer < 1428060778 809458 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1428061470 228141 :Guest61975!~magician@178.161.120.34 JOIN :#esoteric < 1428061785 744903 :AnotherTest!~turingcom@d51A4C6F4.access.telenet.be QUIT :Ping timeout: 265 seconds < 1428062527 797555 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1428063479 720495 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1428065150 983510 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1428065566 735360 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy :: Proxy ((((),()),()) => ()) < 1428065567 390590 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:45: < 1428065567 392511 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : parse error (possibly incorrect indentation or mismatched brackets) < 1428065574 885440 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy :: Proxy ((((),()),()) => ())) < 1428065576 337592 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Illegal polymorphic or qualified type: (((), ()), ()) => () < 1428065576 338680 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you intended to use ImpredicativeTypes < 1428065576 338734 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In an expression type signature: Proxy ((((), ()), ()) => ()) < 1428065584 499888 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok that's still missing < 1428065591 446344 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1428065651 584221 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy :: Proxy (((),()) :: Constraint)) == typeRep (Proxy :: Proxy ((),())) < 1428065653 725816 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : True < 1428066031 760676 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> 1 < 1428066033 202970 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1 < 1428066154 158648 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let x :: forall a. (a b c ~ (((),()) :: Constraint)) => TypeRep; x = typeRep (Proxy :: Proxy a) in x < 1428066155 381976 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: type variable ‘b’Not in scope: type variable ‘c’ < 1428066159 539342 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1428066201 64172 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let x :: forall a. (a b c ~ ((b,c) :: Constraint)) => TypeRep; x = typeRep (Proxy :: Proxy a) in x < 1428066202 354535 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: type variable ‘b’Not in scope: type variable ‘c’Not in scope: ... < 1428066203 511204 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sorry, going to take away the toy for some minutes. < 1428066205 393574 :lambdabot!~lambdabot@silicon.int-e.eu QUIT :Quit: brb < 1428066221 782751 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats int-e -----###
< 1428066226 277915 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :WORST TIMING EVER < 1428066266 415190 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i was trying to see if you could get at (,) :: Constraint -> Constraint -> Constraint indirectly < 1428066425 965559 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well, :t understands unicode syntax now (and still prints types in ASCII) < 1428066442 361895 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1428066483 390305 :lambdabot!~lambdabot@silicon.int-e.eu JOIN :#esoteric < 1428066505 829918 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let x :: forall a b c. (a b c ~ ((b,c) :: Constraint)) => TypeRep; x = typeRep (Proxy :: Proxy a) in x < 1428066511 392270 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (,) < 1428066518 87292 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay < 1428066636 629168 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy :: Proxy (() ~ ())) < 1428066637 839735 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ~ * () () < 1428066646 810769 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm ~ has the kind, useless < 1428066690 809891 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think maybe you actually need the () base case to construct ambiguous things of the same kind, but i'm not entirely counting on it. < 1428066869 303395 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :This was amazingly simple. https://ghc.haskell.org/trac/ghc/attachment/ticket/8959/ghc-print-unicode-flag.patch < 1428066939 387915 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :GHC simple? what heresy is this? < 1428066973 131959 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I know, right?! < 1428067300 615047 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Guest24483: you are fooling no one hth < 1428067472 448789 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: hi there < 1428067472 839579 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: gah. i've inadvertently gone and added another project to my ever-increasing list. so there's really no difference between eof and), respectively, too.) < 1428067489 702425 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: I feel your pain < 1428067489 839323 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: maybe ' bureaucracy' isn't the opposite of partial? fnord? < 1428067502 153585 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: that's an interesting thought < 1428067502 156789 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: it's just not the ants. < 1428067507 913532 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :creepy. < 1428068171 518392 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Quit: Leaving < 1428068566 474848 :lambdabot!~lambdabot@silicon.int-e.eu QUIT :Quit: sorry, let me try that again... < 1428068839 683565 :lambdabot!~lambdabot@silicon.int-e.eu JOIN :#esoteric < 1428069091 748319 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :fungot: Do your people celebrate easter? < 1428069092 5425 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman: gah. paul graham you program form the bottom up instead of top down... < 1428069152 415646 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: you're better than a magic 8ball < 1428069152 610691 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: and it isn't available in debian. debian is known at run-time, but the meta-language in which macros are your fnord bits? < 1428069166 34514 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: and almost as mysterious < 1428069166 267485 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: omg c++ rox0rz rofl rofl!!! i want a programming language < 1428069244 271057 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1428069487 355456 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Read error: Connection reset by peer < 1428069781 309776 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1428069813 164272 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 JOIN :#esoteric < 1428069890 418106 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Disconnected by services < 1428069903 414629 :shikhin_!~shikhin@unaffiliated/shikhin NICK :shikhin < 1428070349 189480 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1428070941 851939 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :^style < 1428070941 890222 :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 < 1428071002 50412 :oren!~oren@65.94.97.99 JOIN :#esoteric < 1428071145 443486 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :fungot, how are you doing? < 1428071145 843208 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Taneb: you've all seen it, always building the answer up is much more < 1428071212 949599 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot's on a roll < 1428071213 80684 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: machinecode is where it's at < 1428071215 387991 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm the most recent girl genius seems to indicate that some time has passed since the battle with the beast < 1428071223 223893 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :zzo38: Perhaps at some point, when people tended to reuse parchment after scraping the letters off, some monk thought it a good idea to mark the psalms he needed saved, as "do not destroy"? < 1428071300 775080 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: ah well, you know sparks < 1428071304 654569 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :And then the mark just got copied from copy to copy, until the reason was lost < 1428071306 164809 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: it's probably less than a week < 1428071312 964939 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe < 1428071346 678163 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oren: this is the bible though, i somehow doubt they'd scribble in it? < 1428071347 997143 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, sparks are involved, progress can go quickly < 1428071355 391709 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: how long did building the swinecopter-driven sleigh take, you think? < 1428071373 255544 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and she did that all almost by herself < 1428071373 965808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :15 minutes? :P < 1428071381 803528 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok maybe an hour < 1428071406 198824 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :oerjan: Hmm... my aunt writes notes all over her bible, but i can see how in the era of handwritten books that mght be frownedupon < 1428071418 355406 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: but in this case, the monks are also working on it, presumably not as fast < 1428071421 770020 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1428071438 275096 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I know, she has some serious help there < 1428071447 703639 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: and some of those monks are sparky too < 1428071463 421485 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, and the monks are REALLY GOOD at trains < 1428071537 525202 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I wonder whether Martellus is helping < 1428071568 387557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1428071615 729207 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, at least a few days though, i'd say, they've had time to calm down some. < 1428071640 8748 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :let's say 3 days and move on :) < 1428071650 289801 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and also, gil initially expected them to have gone already. < 1428071657 527519 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FINE < 1428071713 176078 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I mean there still was smoke outside, presumably indicating leftovers from the carnage < 1428071780 163946 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right < 1428071831 124192 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(technically, very little meat was involved... huh) < 1428071871 874942 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Should I evn bother putting "2 years Matlab experience" on my resume? < 1428071884 253271 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Does anyone outside of academia use it? < 1428072287 186896 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fun site... http://www.itjobswatch.co.uk/jobs/uk/matlab.do < 1428072348 4229 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so Matlab is about as popular as R, according to that site. < 1428072404 280461 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I also thought that many of the toolboxes that Mathworks sells are not really made for academia but for real-life engineering and data analysis tasks. < 1428072422 699982 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But I have virtually no personal Matlab experience. < 1428072453 585611 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Cool, so my time struggling to work with it in various courses was not wasted. Awsome < 1428072627 489003 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I have the same impression, that it does see real-life use. < 1428072639 656264 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Something like Mathematica possibly rather less so?) < 1428072676 659446 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I haven't used Matlab outside of an academic context, but that's a pretty small sampling of jobs. < 1428072697 468676 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I haven't used Matlab inside an academic context ;) < 1428072754 365504 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1428072761 187026 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Also I'm writing my resume in LaTeX... I wonder if anyone will recognize the Computer Modern font on my resume < 1428072814 613823 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( "We have a special paper bin for resumes written in LaTeX." ) < 1428072831 66202 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1428072839 385701 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If you want recognizability, Comic Sans would be a good choice. < 1428072853 518982 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Lol. < 1428072897 658344 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :has anyone here played typerider and read the history of comic sans? < 1428072971 329343 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You forgot the colon. (But I haven't played it.) < 1428073010 307017 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Batch14]]4 N10 02http://esolangs.org/w/index.php?oldid=42277 5* 03Esowiki201529A 5* (+24) 10redirect to "Batch file" < 1428073028 247482 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: sorry, the colon got stuck in the middle of a level. < 1428073171 362192 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/move14]]4 move10 02 5* 03Esowiki201529A 5* 10moved [[02MuFuck10]] to [[ΜFuck]] < 1428073262 326353 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/move14]]4 move_redir10 02 5* 03Esowiki201529A 5* 10moved [[02ΜFuck10]] to [[MuFuck]] over redirect < 1428074143 838450 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode Μ < 1428074179 369341 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+039C GREEK CAPITAL LETTER MU] < 1428074182 980186 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :thought so < 1428074226 118846 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Way to confuse people. < 1428074254 417154 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Clearly Latin should be the one and only alphabet ;-) < 1428074291 169617 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/move14]]4 move_redir10 02 5* 03Oerjan 5* 10moved [[02MuFuck10]] to [[ΜFuck]] over redirect: It's a good idea but needs a little change... < 1428074399 592805 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :int-e: Clearly if unicode did Han unification they should, for the sake of fairness, do Phoenician Unification as well < 1428074401 57813 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07ΜFuck14]]4 10 02http://esolangs.org/w/index.php?diff=42284&oldid=42282 5* 03Oerjan 5* (-2) 10Different template, also bold < 1428074407 809690 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The thing with µ and μ is pretty bad. < 1428074431 18264 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode μ < 1428074432 22504 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+03BC GREEK SMALL LETTER MU] < 1428074437 930551 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: did you mean: ΜΦυκ < 1428074459 883500 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :th other one is the micro symbol for iupac < 1428074476 726897 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, but I can only easily type µ, not μ. < 1428074505 134617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: Heт < 1428074523 105878 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :I have greek mapped to `x* where x is any latin letter < 1428074551 928053 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Я не понимаю < 1428074572 773406 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Eat at Pectopah, the most popular restaurant chain of the Cyrillic world. (Ресторан.) < 1428074596 809568 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ouch. < 1428074598 605626 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Ya ne ponimayu? < 1428074603 255112 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :heh < 1428074626 604899 :yorick!~yorick@oftn/member/yorick QUIT :Quit: No Ping reply in 180 seconds. < 1428074631 506448 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :
ACTION does not quite know how to read cyrillic
< 1428074641 12383 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oren: it's the universal phrase, you can say that to anybody, anytime < 1428074654 724810 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oren: nye, but close enough < 1428074676 759331 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oren: so how do you write an actual x? < 1428074686 165806 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`unidecode x < 1428074687 383051 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+0078 LATIN SMALL LETTER X] < 1428074693 533712 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :with the key x < 1428074700 694618 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1428074708 285890 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(ah, not a trick question) < 1428074708 596291 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :make that an actual * < 1428074734 41139 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or perhaps an actual ` < 1428074734 424227 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1428074736 825216 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :oerjan the ` is part of the sequence, and `` makes a ` < 1428074748 897500 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1428074770 163766 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1428074773 781473 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`unidecode ѥ < 1428074774 781678 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+0465 CYRILLIC SMALL LETTER IOTIFIED E] < 1428074781 699484 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I've never seen that one (except in gucharmap) < 1428074850 195362 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ye ye ye < 1428074864 788630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sounds redundant < 1428074920 981662 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Probably an old character they need for historic works... like ゑ < 1428074949 220810 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :(that's a hiragana 'we' ) < 1428074994 803479 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :airplane crashing in the mountains < 1428075005 344272 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :again? < 1428075020 259739 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: just freely interpreting ゑ < 1428075031 599329 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ic < 1428075042 834103 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION needs to catch up on recent changes before it slips off the 30 day limit
< 1428075069 217782 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :which 30 day limit, what, huh, stop changing the subject! < 1428075114 272144 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh, on the wiki, I guess. < 1428075222 197001 :zadock!~zadock@muscalu.tuiasi.ro QUIT :Quit: Leaving < 1428075583 157962 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes < 1428075684 434675 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1428075702 250948 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/delete14]]4 delete10 02 5* 03Oerjan 5* 10deleted "[[02Talk:QWERTY Keyboard Dot Language10]]": content was: "xd" (and the only contributor was "[[Special:Contributions/80.222.241.129|80.222.241.129]]") < 1428075797 194823 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Ping timeout: 272 seconds < 1428075821 74364 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/delete14]]4 delete10 02 5* 03Oerjan 5* 10deleted "[[02Talk:JSFuck10]]": content was: "new Array().filter(callbackfn[, thisArg])" (and the only contributor was "[[Special:Contributions/Esowiki201529A|Esowiki201529A]]") < 1428075997 46415 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/delete14]]4 delete10 02 5* 03Oerjan 5* 10deleted "[[02Batch file10]]": Not esoteric < 1428076029 752620 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i seem to be brutal today < 1428076224 219555 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/delete14]]4 delete10 02 5* 03Oerjan 5* 10deleted "[[02Batch10]]": Redirect to deleted page < 1428076529 856056 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1428076531 221336 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/delete14]]4 delete10 02 5* 03Oerjan 5* 10deleted "[[02ArrayZ10]]": Author request: content before blanking was: "'''ArrayZ''' is a [[brainfuck]]-derived [[esoteric programming language]] created by [[User:GeorgeEpicGen]] in 2014 to serve one purpose only: to be as short-hand and confusing as possible. It was created over the course ..." < 1428076746 27371 :Guest24483!~elliott@li278-81.members.linode.com PRIVMSG #esoteric :wait where was the author request < 1428076757 894864 :Guest24483!~elliott@li278-81.members.linode.com PRIVMSG #esoteric :oh < 1428076812 328630 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User talk:SuperJedi22414]]4 M10 02http://esolangs.org/w/index.php?diff=42285&oldid=42158 5* 03Oerjan 5* (+51) 10unsigned, hoping I got time zone right < 1428076838 339581 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Guest24483: in the edit summary for the blanking < 1428076844 736501 :Guest24483!~elliott@li278-81.members.linode.com PRIVMSG #esoteric :yeah I saw < 1428077081 851503 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 QUIT :Ping timeout: 252 seconds < 1428077131 716607 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07ReThue14]]4 10 02http://esolangs.org/w/index.php?diff=42286&oldid=42165 5* 03Oerjan 5* (+17) 10wikify, not a good URL < 1428077144 117745 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 JOIN :#esoteric < 1428077360 350369 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :stupid clicking noise from the ventilation system seems to be insisting on returning today < 1428077373 716865 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(it's always been _occasionally_ like this.) < 1428077411 784747 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 QUIT :Ping timeout: 252 seconds < 1428077427 762043 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Should be going soon < 1428077533 2550 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Ping timeout: 265 seconds < 1428077662 367981 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1428078985 291417 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1428078991 974522 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1428078995 224590 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1428079052 958556 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Quit: Leaving < 1428079155 399133 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1428080156 824066 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1428080167 24669 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1428080176 310822 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1428080289 231959 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07ReThue14]]4 10 02http://esolangs.org/w/index.php?diff=42287&oldid=42286 5* 03SuperJedi224 5* (-18) 10Fixed source/ < 1428080444 23492 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Quit: *bubbles away* < 1428080633 328575 :zadock!~zadock@81.180.210.87 JOIN :#esoteric < 1428081557 513679 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1428081867 794643 :AnotherTest!~turingcom@d51A4C6F4.access.telenet.be JOIN :#esoteric < 1428081920 291558 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1428082076 568508 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :oerjan: grab the attitude adjustment tool < 1428082585 233253 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Isaacg1 5* 10New user account < 1428082783 308077 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Pyth14]]4 10 02http://esolangs.org/w/index.php?diff=42288&oldid=40981 5* 03Isaacg1 5* (+65) 10 < 1428082829 901679 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Pyth14]]4 10 02http://esolangs.org/w/index.php?diff=42289&oldid=42288 5* 03Isaacg1 5* (+57) 10/* External resources */ < 1428082947 250727 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Pyth14]]4 10 02http://esolangs.org/w/index.php?diff=42290&oldid=42289 5* 03Isaacg1 5* (-3232) 10/* Documentation */ < 1428083358 608874 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Guest24483: yes, it's part of an april fool's joke < 1428083385 57910 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :how is an april fools joke esolang any different from a regular esolang < 1428083400 77092 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :how is it different from a regular joke esolang? < 1428083480 313493 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`2014 hello < 1428083481 706569 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1428083484 746666 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`2015 hello < 1428083488 871918 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1428083505 426179 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`cat bin/2014 < 1428083506 391776 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ if [ $(date +%Y) = "$(basename "$0")" ] \ then echo "Hello, world!" \ fi < 1428083508 374498 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`cat bin/2015 < 1428083510 721070 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ if [ $(date +%Y) != "$(basename "$0")" ] \ then echo "Hello, world!" \ fi < 1428083526 503564 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :aha, 2015 is a language that /doesn't/ work in 2015? < 1428083538 135443 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Evidently < 1428083662 219727 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's interesting in another way < 1428083667 326831 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although I think http://esolangs.org/wiki/2014 is better < 1428084418 357071 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1428084577 191148 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1428085616 329886 :stuntaneous_a!~stuntaneo@203-214-158-46.perm.iinet.net.au JOIN :#esoteric < 1428085619 32575 :stuntaneous_a!~stuntaneo@203-214-158-46.perm.iinet.net.au QUIT :Excess Flood < 1428085637 817727 :stuntaneous_a!~stuntaneo@203-214-158-46.perm.iinet.net.au JOIN :#esoteric < 1428085639 2159 :stuntaneous!~stuntaneo@124-149-101-207.dyn.iinet.net.au QUIT :Ping timeout: 246 seconds < 1428085639 830915 :stuntaneous_a!~stuntaneo@203-214-158-46.perm.iinet.net.au QUIT :Excess Flood < 1428085730 484415 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1428085827 85671 :sebbu2!~sebbu@ADijon-152-1-33-116.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1428085869 327925 :sebbu2!~sebbu@ADijon-152-1-33-116.w83-194.abo.wanadoo.fr QUIT :Changing host < 1428085869 328823 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1428085893 627943 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 250 seconds < 1428086625 981264 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1428086626 996071 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1428086640 153697 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1428086969 34546 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Time Out14]]4 10 02http://esolangs.org/w/index.php?diff=42291&oldid=42252 5* 03Rottytooth 5* (+61) 10 < 1428086972 365474 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I believe the problem with trying to do FM synth in .XM is that you cannot have a modulator envelope independent from the note frequency. < 1428087177 304481 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :(Except for having multiple samples, I suppose, but even then it is not exact unless you do it for each note!!) < 1428087892 380917 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1428088062 572994 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 250 seconds < 1428088277 285047 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1428088277 837402 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1428088288 20038 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1428088396 656281 :nycs!~nycs@gw.hq.meetup.com NICK :`^_^v < 1428088401 849433 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :i have just been alerted, by the appearance of a procession outside, that there is a holiday today. < 1428088473 70183 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :That's because it is Good Friday today < 1428088664 511319 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Don't you know these kind of thing? < 1428088730 739081 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1428088735 127361 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1428088794 787578 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1428088798 741807 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1428088809 40290 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1428088814 470016 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1428089019 960380 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ooh, Rust 1 beta < 1428089089 187047 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :zzo38: I generally lose track of time when I'm really busy < 1428089223 94414 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Someone (who is an atheist) asked me, why is it good (if Jesus is dead)? I said, it is good because you don't have to go to work. < 1428089248 130773 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Hm... maybe it < 1428089257 570921 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :is like "god friday"? < 1428089278 607007 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I don't know, possibly < 1428089342 239056 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :
ACTION afk, getting cotton candy
< 1428089768 445183 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 256 seconds < 1428089857 964016 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1428089882 651732 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :zzo38: Christian teaching is that Jesus' death is the punishment for humanity's sin. So by the crucixion, the faithful's sins are absolved and they do not need to suffer the punishments themselves < 1428089979 912108 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :coppro: Yes I know that. < 1428090107 487117 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :But I think if it is good because sometimes you don't have to go to work! < 1428090248 55466 :Guest61975!~magician@178.161.120.34 PRIVMSG #esoteric :I'm back bitches < 1428090329 252684 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Some people doubt Jesus's existence. Some others believe he existed but was not resurrected. I am of the latter, but still must say I don't know for sure (I am no historian!); however I also believe that it is pretty irrelevant for today other than as a historical study; the stories were written and now they exist, and they contain a lot of stuff. < 1428090370 670413 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :You can do good works and you can do prayer and meditation and spirituality and whatever regardless of how accurate the Gospels are. < 1428090406 593668 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1428090438 16330 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :And then there's people who believe Jesus was buried in Shingou village, in Aomori Prefecture, Japan. < 1428090480 313307 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Well, that seems unlikely to me, but of course I don't know. < 1428090499 385612 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Why would he be in Japan? < 1428090553 580361 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :https://upload.wikimedia.org/wikipedia/commons/7/7f/GraveSign.jpg < 1428090561 777268 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Lots of stuff but nothing saying *why* Japan. < 1428090581 823034 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Japan is one hell of a long way away from Judea. < 1428090590 920407 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :*Judaea < 1428090627 442434 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Yes, that's why it seems so unlikely to me. < 1428090674 795923 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: there's also people who believe that he was in North America when he was thought to be dead < 1428090693 172855 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 255 seconds < 1428090701 63470 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :
ACTION wonders how unlikely a statement has to be before /nobody/ believes it
< 1428090716 576970 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :at least, it seems likely that such a statement exists < 1428090729 322218 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the alternative is for some set of people to exist who collectively believe everything < 1428090759 408925 :Vorpal!~Vorpal@81-224-29-207-no185.bredband.skanova.com JOIN :#esoteric < 1428090759 587500 :Vorpal!~Vorpal@81-224-29-207-no185.bredband.skanova.com QUIT :Changing host < 1428090759 593575 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1428090827 917828 :variable!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1428090853 788706 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :ais523: "Nothing is false" < 1428090893 632279 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq: I guess someone believing that either believes everything, or fails at logic < 1428090949 888841 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Though unlikely for humans, there hypothetically could exist minds that don't accept modus ponens... < 1428090960 315064 :barrucadu!~barrucadu@fsf/member/barrucadu QUIT :Ping timeout: 265 seconds < 1428090965 116699 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :There are various hypotheses as to what actually happened; some say the body was stolen, although even such people disagree as to how or why. The most likely scneario to me seems that his family took it to bury it in the family tomb and didn't tell anyone since it wasn't important. < 1428091030 57166 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :zzo38: My belief is just that it's unlikely any individual person would be all that recognizable as "Jesus" from that time period. < 1428091070 811498 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Even if there is in fact a "Jesus" from Nazareth it seems rather unlikely said person's life much resembles the myth. < 1428091103 560307 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I read somewhere that the Jesus Seminar considers that the amount of resemblance is approx. 20% < 1428091119 705739 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 250 seconds < 1428091121 558867 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: I think it's fairly likely such a person existed. < 1428091151 190499 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :A prophet is just a cult leader that people never stopped listening to < 1428091173 378300 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Vorpal: I tried out the fisheye thing too, since you told me about it. < 1428091181 355262 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :It's particularly weird some of the various omissions from records that, nevertheless, include other figures that people associate with Jesus... < 1428091203 29975 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :(for instance, both John the Baptist and the apostle Paul are *quite* well attested.) < 1428091214 776583 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :My own belief (although I must say I cannot be certain of anyy of this) is that Jesus of Nazareth probably did exist and was a Great Prophet. I do not believe in a final Great Prophet, though (even though most organized religion seems to) < 1428091258 110049 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Vorpal: The projection kind of makes this riverside view look like a lake, with the opposite shore being an isle. < 1428091260 443799 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :But alas, I don't have a time machine. < 1428091273 130033 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Piecing shit together from sparse records is a tricky thing. :) < 1428091288 383943 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :zzo38: Most organized religion doesn't actually believe that there is a "final" prophet < 1428091294 401510 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Neither do I, and furthermore I am not a historian, so I cannot do it as good as real historians anyways. < 1428091313 760902 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :coppro: That tends to be common in Christian belief in particular, though. < 1428091322 435865 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :Assuming one doesn't count the Pope as a prophet. < 1428091328 990513 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: Yes, but that is because Jesus is not, in Christian belief, a prophet. < 1428091335 11331 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :True. < 1428091344 691487 :barrucadu!~barrucadu@fsf/member/barrucadu JOIN :#esoteric < 1428091375 350742 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :He is quite specifically a divine being of some sort in that belief system. (precisely which sort depends on sect) < 1428091404 187933 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yes < 1428091423 785500 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :He is a prophet in Islam, though. < 1428091448 783040 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :And Baha'i. < 1428091511 781801 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Being a divine being of some sort does not seem to imply not being a prophet, as far as I can tell, though. < 1428091581 226165 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: true, but "$RELIGION accepts $DUDE as a prophet -> Baha'i accepts $DUDE as a prophet" :P < 1428091587 685052 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :coppro: :) < 1428091778 996428 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :coppro: Are you sure about that? < 1428091842 614696 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1428091907 472794 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1428091912 362742 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1428091917 604162 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1428092066 67195 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :zzo38: no < 1428092071 801561 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it was facetious < 1428092273 134308 :Guest61975!~magician@178.161.120.34 PRIVMSG #esoteric :I'm back bitches again < 1428092299 65443 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Guest61975: Explain! < 1428092315 185959 :Guest61975!~magician@178.161.120.34 PRIVMSG #esoteric :Screw you, your legs will go POOF! < 1428092328 325118 :Guest61975!~magician@178.161.120.34 PRIVMSG #esoteric :*Poofs* < 1428092412 509406 :Guest61975!~magician@178.161.120.34 PART :#esoteric < 1428092591 529278 :Guest43464!~magician@178.161.120.34 JOIN :#esoteric < 1428092598 885309 :Guest43464!~magician@178.161.120.34 PRIVMSG #esoteric :Back again! < 1428092605 352086 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Why? < 1428092634 489459 :Guest43464!~magician@178.161.120.34 PRIVMSG #esoteric :Screw you! that's why! < 1428092720 474399 :Guest43464!~magician@178.161.120.34 PRIVMSG #esoteric :Anyway < 1428092725 828523 :Guest43464!~magician@178.161.120.34 PRIVMSG #esoteric :anyone heard of art magick? < 1428092733 489798 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :No, I have not. < 1428092770 800485 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :(I doubt others here have or care much either, but, I don't know. I don't really care much either though.) < 1428092837 962720 :Guest43464!~magician@178.161.120.34 PRIVMSG #esoteric :What interests you zzo38 < 1428092843 89008 :Guest43464!~magician@178.161.120.34 PRIVMSG #esoteric :Wanna talk about it? < 1428092917 663608 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I don't really care what you wish to talk about though, but if you ask, well, I have studied many things, but I am interested in mathematics, and do much computer programming to. < 1428092965 383431 :Guest43464!~magician@178.161.120.34 PRIVMSG #esoteric :interresting < 1428092972 463917 :Guest43464!~magician@178.161.120.34 PRIVMSG #esoteric :please do speak about mathematics < 1428093032 699471 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I don't really have much to say right now though < 1428093036 714563 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Guest43464: you are acting oddly like Eliza… < 1428093103 656066 :Guest43464!~magician@178.161.120.34 PRIVMSG #esoteric :Guest43464 knows that it is suspicious but he doesn't know who the hell that is < 1428093143 753648 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :I think it is possible they merely made a mistake and he wasn't completely dead when they put him in the tomeb < 1428093159 489635 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :oren: I did consider that possibility too < 1428093173 859792 :Guest43464!~magician@178.161.120.34 PRIVMSG #esoteric :Seriously is that guy Misao Okawa? < 1428093218 356492 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :Misao Okawa was the oldest woman in the world until she died a few days ago < 1428093224 423177 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I do have one thing to say about logic too, which is that in my opinion, logic is a math, and reasoning is the application of logic; some consider logic and reasoning to be the same thing but I do not. < 1428093463 127938 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I don't know what your opinion about these things are. < 1428093939 757024 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :In my course "knowledge representation and reasoning" we learned different "logics" including "propositional logic" and "first-order logic"; and then we also learned different processes of "reasoning" which take a set of logical statements and produce a new one from them. < 1428093982 104182 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :So sort of "logic" is the language and "reasoning" is the runtime? < 1428094088 115988 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 252 seconds < 1428094176 840318 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :O, that's the course? I haven't heard of that course either < 1428094199 399729 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1428094869 908313 :oren!~oren@65.94.97.99 PRIVMSG #esoteric :zzo38: I dunno if they have that course at other universities. http://en.wikipedia.org/wiki/Knowledge_representation_and_reasoning < 1428096654 931680 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh, this is a nice thought... a self-driving car could avoid parking tickets. < 1428096696 44581 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Apparently Tesla produced an April fool's video which embedded this idea.) < 1428096756 678103 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm. April's fool's video. April's fool video. Glad this grammatical swamp will be irrelevant for the next 360 days. < 1428096884 23847 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: the idea is that if the time parked is about to expire, it drives off without its owner? < 1428096963 181146 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: right, or perhaps even later, when a parking enforcement officer approaches. < 1428097007 532257 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the latter would be dangerous; in the UK, most parking enforcement's done via CCTV nowadays < 1428097081 921399 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Yeah, but that's a technical detail. I'm picturing a scene in a movie: the officer approaches the car, trying to affix the ticket; the car backs away... It's completely unrealistic, but hilarious. < 1428097109 367294 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Useless too because then the license plate information will already have been taken down.) < 1428097184 580854 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Ultimately, the car, surrounded by traffic enforcement personnel, would sprout wings and fly away.) < 1428097838 824468 :AnotherTest!~turingcom@d51A4C6F4.access.telenet.be QUIT :Remote host closed the connection < 1428097845 519232 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1428098398 517180 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1428098635 595066 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Someone (who is an atheist) asked me, why is it good (if Jesus is dead)? I said, it is good because you don't have to go to work. <-- that also confused me once. in norwegian it's called the equivalent of "long friday" instead. < 1428098707 356497 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is suddenly tempted to ban Guest*!*
< 1428098743 384272 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :especially that pesky Guest24483 < 1428098792 155432 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: you seem to have guest their secret identity < 1428098851 390354 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now to find some kryptonite... < 1428098853 939664 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I feel like some of these constraint things ought to be filed as separate GHC tickets. < 1428098862 668271 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Uh, I'm not very Christian. Good Friday is a day of mourning, but also a day of hope?! < 1428098894 308928 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :presumably the first part is only in the morning < 1428098898 196929 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: it was pretty much explained in the logs, i was just commenting on the naming < 1428098909 399651 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh. Good. < 1428098939 530779 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I still have the tradition on Good Friday to not eat meat, but still eat fish and chips. (I do not consider myself a Christian either though.) < 1428098961 651062 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: happy passover, or something < 1428098998 512732 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I think Passover is on Saturday; it says so on my calendar. < 1428099015 798484 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :(It is also Holy Saturday) < 1428099056 206187 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i was going by wikipedia's main page, also i believe jewish days start at sunset. < 1428099083 942043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i may of course be too early, pesky time zones. < 1428099117 377204 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh Saturday morning. < 1428099143 890189 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, friday evening < 1428099164 316254 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i guess we have saturday morning here, sort of < 1428099170 387035 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION wonders where oerjan is right now.
< 1428099177 81747 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :norway hth < 1428099182 90338 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just past midnight < 1428099188 458703 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh you already agreed, sort of. < 1428099269 837220 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :something to test which i don't think will work with the new system < 1428099371 325510 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let f :: forall a. Typeable a => Proxy a -> TypeRep; f _ = typeOf (Proxy :: Proxy a) < 1428099372 586313 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : : < 1428099372 730342 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : not an expression: ‘let f :: forall a. Typeable a => Proxy a -> TypeRep;... < 1428099377 21322 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1428099401 331469 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let f :: forall a. Typeable a => Proxy a -> TypeRep; f _ = typeOf (Proxy :: Proxy a) in f (Proxy Ord) < 1428099402 670101 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: data constructor ‘Ord’ < 1428099402 711199 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant variable ‘ord’ (imported from Data.Char) < 1428099408 403439 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1428099412 962227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let f :: forall a. Typeable a => Proxy a -> TypeRep; f _ = typeOf (Proxy :: Proxy a) in f (Proxy :: Proxy Ord) < 1428099414 50566 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (Typeable Proxy) arising from a use of ‘typeOf’ < 1428099414 220135 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (Typeable a) < 1428099414 221395 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : bound by the type signature for < 1428099419 26881 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there you go < 1428099440 78905 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: just download ghc 7.10 hth < 1428099449 602935 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm waiting for the platform < 1428099452 16312 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I haven't used the Haskell platform for years. < 1428099463 329389 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I guess it's a bigger hassle on Windows. < 1428099504 702854 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :anyway, it cannot deduce Typeable (Proxy a) from Typeable a when the kind is polymorphic < 1428099536 410131 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in fact, i don't think you can get the kindRep for k from the dictionary for Typeable (a::k) at all < 1428099542 429124 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The error is pretty confusing. < 1428099562 266025 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> typeRep (Proxy :: Proxy Proxy) < 1428099563 906128 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Typeable Proxy) < 1428099563 906731 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (maybe you haven't applied enough arguments to a function?) < 1428099563 906786 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘typeRep’ < 1428099587 958075 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1428099604 932720 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :isn't that just kind not defaulting < 1428099620 20736 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you expect it to default? < 1428099632 365719 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy :: Proxy (Proxy :: * -> *)) < 1428099633 697748 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Proxy < 1428099647 100863 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I thought, if the programming language can be made which is using RDF as the input format, and which includes macros, aspect programming, logic programming, and may be made in such a way to be suitable it can implement the rules and cards of Magic: the Gathering and other similar games. < 1428099653 637569 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, but in my example the kind is known < 1428099670 127247 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :But with many things figured at compile-time < 1428099734 405115 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1428099928 10834 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::k HList < 1428099928 977209 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Not in scope: type constructor or class ‘HList’ < 1428099966 179620 :ais523!~ais523@unaffiliated/ais523 QUIT :Disconnected by services < 1428099967 561581 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1428100032 529471 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Why is the kind known in your case? < 1428100034 466262 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let pt :: forall a. Typeable a => Proxy a -> TypeRep; pt _ = typeOf (Proxy :: Proxy a) < 1428100035 440526 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:186:8: < 1428100035 545654 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (Typeable Proxy) arising from a use of ‘typeOf’ < 1428100035 546370 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (Typeable a) < 1428100051 378739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: because the type is known < 1428100112 534361 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm actually < 1428100125 461295 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let pt :: forall a. Typeable a => Proxy a -> TypeRep; pt x = typeOf x < 1428100126 462470 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:186:8: < 1428100126 464010 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (Typeable Proxy) arising from a use of ‘typeOf’ < 1428100126 464059 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (Typeable a) < 1428100138 957350 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lovely < 1428100142 514568 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t typeOf < 1428100143 835179 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Typeable a => a -> TypeRep < 1428100168 638814 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: get ghci 7.10.1 installed already < 1428100173 888491 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let pt :: forall a. Typeable a => Proxy a -> TypeRep; pt = typeOf < 1428100174 739292 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:183:6: < 1428100174 832220 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (Typeable Proxy) arising from a use of ‘typeOf’ < 1428100174 832941 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (Typeable a) < 1428100186 86430 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i'm also demonstrating :( < 1428100189 135444 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or at least use private messages < 1428100198 175392 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you're demonstrating lack of restraint < 1428100205 456295 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :HOW DARE YOU < 1428100214 665491 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :typeOf :: Typeable a => Proxy a -> TypeRep -- is also the same error hth < 1428100225 683873 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1428100279 393670 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it is a funny one though, this works in ghci... < 1428100310 893031 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: without PolyKinds, i assume? < 1428100311 176540 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::k () :: Constraint < 1428100312 222149 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Constraint < 1428100319 118110 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: ah there's that... < 1428100327 59046 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :right < 1428100687 104716 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: http://sprunge.us/Yhdd sheds a bit more light on this. But now it's full of shadows. < 1428100821 250786 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: the reason, as i suspect it, is that the new typeable solver doesn't try to transfer kind information at all; in fact TypeRep for the type a doesn't necessarily contain enough information to deduce its kind without access to compiler data. < 1428100843 449985 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's designed such that type application works, but little more. < 1428100868 31776 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :e.g. < 1428100871 761148 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: No, it goes deeper to the foundations. You cannot talk about a type `a` without knowing its kind first. So ghc invents a context k :: BOX => for pt's type. < 1428100912 488349 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh. Nah, there's no contradiction there. < 1428100952 505394 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the foundations don't prevent you from hypothetically making a TypeRep that _does_ contain the necessary information. < 1428100959 602526 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :You want something like class Kindable k => Typeable (a :: k), and ghc doesn't do it that way. < 1428100964 770912 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep < 1428100975 375596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or at least something that fakes it < 1428100999 962970 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is what i discussed with Richard Eisenberg in the trac with test cases < 1428101039 401565 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1428101041 194489 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although i guess if no one has made code that was actually broken by this... < 1428101067 718871 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The downside, perhaps, is that this would have to be explicit in the TypeRep that the Typeable class instances carry? < 1428101095 764669 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess mixing Typeable with code kind polymorphic enough to need this is not happening < 1428101110 641049 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i could imagine something with DataKinds) < 1428101133 869015 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: well yeah, you'd need a representation of the _whole_ kind < 1428101159 105485 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :rather than just the core kind parameters < 1428101206 266266 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :
ACTION *yawn*
< 1428101252 188248 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: go to bed hth < 1428101261 487233 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, I need to book a train ticket! < 1428101284 209122 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And then like put my duvet cover on my duvet < 1428101285 275417 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and you need to wait until after midnight to do it? < 1428101295 927831 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1428101301 913759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for stupid price reasons? < 1428101324 486534 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :No, I'm doing it now < 1428101329 432465 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1428101330 553022 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I was just procrastinating < 1428101339 139714 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And now it is suddenly the last minute < 1428101343 334515 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION does such things for "I can still do this when I'm too tired to do all this other more interesting stuff" reasons.
< 1428101372 454603 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :
ACTION has booked train ticket
< 1428101378 744909 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Just make sure you got the date correct! < 1428101402 362093 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Too late now! < 1428101434 474917 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I started to type this before you announced it was already done. So I had a "get" there initially. < 1428101438 846391 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION recalls the time he had ordered a train ticket for the day after the DST change
< 1428101468 709698 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh, DST ... *twiddles with watch* < 1428101482 903890 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: you're a number of days late... < 1428101489 218305 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no I'll wait 5 more minutes so it doesn't affect the date < 1428101515 591956 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I know. I hardly ever look at my pocket watch, and then usually only to check whether I have to run for the bus. < 1428101560 47488 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :last time i took the bus i made the mistake of looking at the bus table i'd got by mail < 1428101577 784487 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(the "pocket" watch is a wrist watch without the bands) < 1428101622 823382 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not remembering that they'd had a major budgeting scandal and had had to downsize everything. so the bus schedule i was going to take had been canceled. < 1428101632 540017 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::/ < 1428101665 6034 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fortunately i didn't miss my appointment. < 1428101846 781377 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :there, 1 am now on that watch < 1428101873 699768 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(it's a bit fast. that's healthy since ... I'm using it to check whether I have to run for buses and the buses tend to be a bit early ;-) ) < 1428102066 925590 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i try to make sure it's not late, but i don't compensate for anyone else being early < 1428102167 749298 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hmm < 1428102171 543496 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :My train is at 10:53 < 1428102183 652601 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It is a 40 minute walk to the station, but I want to stop at the shops on the way < 1428102195 529236 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so go to bed now. < 1428102217 737120 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION tries to remember Taneb's time zone
< 1428102223 241232 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@time taneb < 1428102224 118581 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Local time for Taneb is Sat Apr 4 00:05:42 < 1428102234 889464 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :So I probably want to leave before 10 < 1428102238 695624 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Probably closer to half 9 < 1428102252 810208 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( half past 9? ) < 1428102258 293173 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yes < 1428102262 586219 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION is used to halb 9 meaning 8:30.
< 1428102275 909849 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :dito < 1428102281 718042 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think "half 9" meaning half past nine is a British thing < 1428102285 8343 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh german is like norwegian then < 1428102285 733052 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(German speakers are not in agreement about this.) < 1428102290 587851 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1428102304 259647 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I was taught that in German, "halb 9" meant 8:30 < 1428102305 891772 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :huh? < 1428102307 4407 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as an English speaker < 1428102308 926746 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it does < 1428102312 104813 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :however, in English "half 9" would always be 9:30 < 1428102323 71765 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :halb 9 in germany is 8:30 < 1428102347 929109 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(It's worse about viertel (quarter) 9 and dreiviertel 9 (three quarter 9) meaning 8:15 and 8:45; many states prefer the viertel vor/viertel nach (quarter to/quarter past) versions.) < 1428102350 162510 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, I am told that is more a British thing rather than something agreed upon throughout the anglosphere < 1428102359 471167 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s/about/with/ < 1428102385 58322 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: English English, then < 1428102385 146440 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :int-e: i think "um 1" is more interesting < 1428102395 618853 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(The logical explanation is that this says how much of the 9th hour has passed.) < 1428102405 303465 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :myname: same explanation < 1428102408 684985 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :almost sure it's the same in the rest of the UK, and I think it's the same in the US too < 1428102415 36891 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :there are regions where it is exactly 13:00 and others where it id around 13:00 < 1428102445 740165 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :to me it'd just as likely be 1am < 1428102447 137813 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :myname: ah. Ok, for the regions where this means exactly 13:00, that's the point where the 1st hour has passed. (ist um). < 1428102468 400036 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I'm used to that meaning.) < 1428102487 645451 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(The other is "gegen 1") < 1428102542 454702 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :"um 1" is meant as "um 1 rum" in the second < 1428102556 979126 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am going to go to bed now < 1428102558 857789 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Goodnight < 1428102568 357567 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dol um ber ist < 1428102582 686309 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Taneb: have a safe trip < 1428102597 685485 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Thank you < 1428102611 528458 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(I'm literally going to the next city over to play D&D) < 1428102612 797947 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :to me, the funniest thing is that there are three things that are called pfannkuchen, depending on the region < 1428102622 948407 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Taneb: don't die ;) < 1428102646 974442 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and try not to kill any GMs either < 1428102658 242192 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Which city is the next over? < 1428102662 641614 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, Leeds < 1428102668 875756 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or DMs, whatever. < 1428102705 932147 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, I'll try < 1428102720 847498 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, (from York) < 1428102784 907554 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :/s/shachaf, I/int-e, I/ < 1428102804 553988 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Anyway, I must be off < 1428102807 156725 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Goodnight! < 1428102954 408697 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Wordy14]]4 10 02http://esolangs.org/w/index.php?diff=42292&oldid=42171 5* 03Oerjan 5* (-73) 10wikify a bit, also we have our own .Gertrude page < 1428103264 391399 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Taworvor14]]4 10 02http://esolangs.org/w/index.php?diff=42293&oldid=42225 5* 03Oerjan 5* (+10) 10standardifimogrify section name < 1428103324 733631 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 250 seconds < 1428103912 69856 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Duck Duck Goose14]]4 10 02http://esolangs.org/w/index.php?diff=42294&oldid=42223 5* 03Oerjan 5* (-24) 10wikify a bit, remove some blank lines < 1428104171 18624 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1428104271 328965 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07~ATH14]]4 10 02http://esolangs.org/w/index.php?diff=42295&oldid=42240 5* 03Oerjan 5* (+9) 10wikify intro, section headers