< 1387756843 168632 :function!root@freebsd/developer/variable PRIVMSG #esoteric :oerjan: :) < 1387757276 986883 :olsner!~salparot@c83-252-203-32.bredband.comhem.se QUIT :Quit: Leaving < 1387758068 996673 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1387758558 826024 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1387758911 833157 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: esolang esolang Esolang. esolang? < 1387759360 916203 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1387759833 152344 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1387759940 960310 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1387760838 917542 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1387760981 944880 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 272 seconds < 1387761315 761802 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1387761413 741657 :realzies!~pinky@unaffiliated/realazthat QUIT :Ping timeout: 248 seconds < 1387762071 987121 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net QUIT :Ping timeout: 259 seconds < 1387762250 698508 :realzies!~pinky@unaffiliated/realazthat JOIN :#esoteric < 1387763978 665988 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1387764189 117917 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1387764455 300075 :Frooxius!~Frooxius@217.196.214.101 JOIN :#esoteric < 1387765059 912725 :Sorella!~quildreen@oftn/member/Sorella QUIT :Remote host closed the connection < 1387767474 517249 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1387767700 942126 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: Textual IRC Client: www.textualapp.com < 1387767779 546171 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1387768093 19742 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 JOIN :#esoteric < 1387768199 864355 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PART :#esoteric < 1387768650 153777 :function!root@freebsd/developer/variable NICK :trout < 1387768790 988286 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Excess Flood < 1387768853 793180 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1387768874 571147 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Textual IRC Client: www.textualapp.com < 1387768914 775 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1387769043 871475 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net JOIN :#esoteric < 1387769771 877365 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1387770159 203844 :nooodl!~nooodl@91.176.187.101 QUIT :Quit: Ik ga weg < 1387770586 376311 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1387772069 732619 :Bike!~Glossina@71-222-53-73.ptld.qwest.net QUIT :Ping timeout: 248 seconds < 1387772188 910061 :Bike!~Glossina@75-175-73-166.ptld.qwest.net JOIN :#esoteric < 1387772695 916736 :Bike!~Glossina@75-175-73-166.ptld.qwest.net QUIT :Ping timeout: 246 seconds < 1387772721 849208 :Bike!~Glossina@174-25-41-229.ptld.qwest.net JOIN :#esoteric < 1387773435 917381 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: Textual IRC Client: www.textualapp.com < 1387773491 911016 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1387773703 18515 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 JOIN :#esoteric < 1387773726 709740 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :LinearInterpol: Hey! Just finished the groundwork for my brainfuck compiler! < 1387773781 478199 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Wonderful! < 1387773807 229848 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Edward___: Have you compiled anything with it yet? < 1387773833 998882 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Well, by groundwork I mean: I've gotten the File IO stuff taken care of with C (which I'm still shaky with) < 1387773847 13034 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :So I can pass two arguments, one for the text file, one for the output c file. < 1387773861 957109 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Good! < 1387773875 31318 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :File I/O in C is always nasty imho. < 1387773887 856123 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :And, it works! Now I'm working on the actual reading of information from the first file, clearly. Can write to second file, but reading is, well, nasty. < 1387773943 76913 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :When I've finished, I'll put it on Github, if you'd like to see if you can help clean it up, please! < 1387773957 556815 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Excellent, I'd be happy to! :) < 1387774029 495403 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Great, I've only been working for about twenty minutes, I'll see what I can do before I knock out tonight. I'll stay on the channel in case I finish early. < 1387774082 974504 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Ever vigilant is the programmer, armed with his knowledge of code. I wish you the best of luck. :) < 1387774096 915701 :oklopol!~oklopol@dyn60-339.yok.fi JOIN :#esoteric < 1387774110 88644 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :is that why everyone just idles < 1387774121 82469 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :also singular they ftw < 1387774145 799844 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :"When you do, what do you?" is very sofe du phil < 1387774186 779167 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :isn't it just < 1387774207 390647 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I like reading it when I log on haha < 1387774211 882728 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I giggle, then think < 1387774230 652139 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Y u do what do you do? < 1387774281 227010 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :has anyone really been far even as decided to use even go want to do look more like < 1387774288 806610 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Edward___: i like you, who are you? < 1387774297 668192 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :are you the usual one < 1387774309 524864 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Bike: there is a full 20 page continuation of that I shit you not. < 1387774339 152864 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :oklopol: He joined yesterday. < 1387774343 926894 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :is there a usual edward < 1387774382 615776 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there are a few haskell-edwards < 1387774383 802696 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so in france i was talking to some people and i saw this poster on some logic that has call/cc and i said "ooh what's that now" and forgot the people existed < 1387774392 101636 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :oh right, edwardk < 1387774397 947625 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah that usual edward < 1387774406 646654 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :logic that has call/cc = classical logic? < 1387774425 878884 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :what do you mean by classical logic? < 1387774436 814262 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :heh < 1387774448 407482 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and i don't know in what sense any logic has call/cc < 1387774463 239546 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the poster was not very specific :( < 1387774466 661318 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :logic with call/cc is equivalent to classical predicate logic or some shit like that i think < 1387774469 711509 :preflex!~preflex@unaffiliated/mauke/bot/preflex QUIT :Ping timeout: 248 seconds < 1387774478 276199 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :you guys have so much to teach me < 1387774494 194348 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :ha ha < 1387774520 696001 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Bike: that'd be more helpful if i knew what "logic" means < 1387774527 958985 :preflex!~preflex@unaffiliated/mauke/bot/preflex JOIN :#esoteric < 1387774530 577092 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :formal logic? < 1387774544 454340 :mauke!~mauke@p3m/member/mauke QUIT :Disconnected by services < 1387774547 432632 :mauke_!~mauke@p3m/member/mauke JOIN :#esoteric < 1387774575 401707 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :"The Curry-Howard correspondence between proofs and programs relates call/cc to Peirce's law." < 1387774579 399755 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :says wikipedia < 1387774582 768410 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I am a new Edward, hence the double underscore < 1387774584 880585 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oklopol: classical logic is the kind with ¬¬p → p < 1387774586 579096 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :you guys knew this and never told me? :( < 1387774603 309701 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I joined last night, and LinearInterpol has mentored me ever since hahaha < 1387774605 547278 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :i can't tell how serious anyone's being right now, help < 1387774609 404199 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oklopol: type systems give you constructive logic by default but the type of call/cc is Peirce's Law and adding that as an axiom to a constructive logic makes it classical < 1387774675 919901 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Bike: totes. < 1387774695 657577 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :kmc: oh. < 1387774708 461789 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :that sounds awesome < 1387774731 407390 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i only know peirce's law from reading metamath < 1387774731 595533 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :ｈｅｌｐ < 1387774753 796741 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :to prove (p ∨ ¬p), make a baseless assertion that ¬p, but also capture the current continuation. if somebody calls BS on your claim by providing a witness for p, use the continuation to go back in time and say that p was true all along < 1387774756 300458 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :i think there's a decent chance i would actually like reading peirce directly, hmmmmm < 1387774781 275473 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :gotta learn me some abduction < 1387774797 342859 :mauke_!~mauke@p3m/member/mauke NICK :mauke < 1387774824 942606 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :kmc: ooh would like to see some detail on that < 1387774828 564924 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :
ACTION takes pants off
< 1387774831 931588 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric ::O < 1387774836 196800 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that got weird < 1387774846 752121 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :probably ripe for esolangs too reall y < 1387774855 177407 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :sorry < 1387774860 917691 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :... i like weird < 1387774870 296175 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :anyway uh i don't have that much more detail... I could write out a term with the right type in Haskell's Cont monad, given enough time, but I probably won't < 1387774879 20569 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :maybe someone else can do it or find it in the logs < 1387774937 913870 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I guess I should also prove that ∀p. ¬¬p → p is equivalent to ∀p. (p ∨ ¬p) maybe < 1387774961 481771 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :i should think that's more well known < 1387774970 116672 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i think i should first try to recall how peirce's law works < 1387774986 862520 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i mean iirc i was able to find it obvious last time i looked < 1387774994 88298 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :but it took some time < 1387775060 136555 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :not that it's needed for understanding how it corresponds to call/cc prolly, if indeed it's the type of it < 1387775083 897459 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so ((p -> q) -> p) -> p < 1387775090 350646 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :why is that the type of call/cc? < 1387775109 234647 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Wit < 1387775111 171065 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :wait* < 1387775120 811492 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric ::t callCC < 1387775121 597383 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :MonadCont m => ((a -> m b) -> m a) -> m a < 1387775121 785492 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :This is all predicate logic from discrete math < 1387775131 756977 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :jk Monads are wholly different. < 1387775158 517172 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :i have no idea why callCC has that type, of course. < 1387775161 443121 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Anyway, guys... I found something worse than hating yourself for missing a semicolon from not paying attention < 1387775181 974512 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Bike: thank you for joining us stupids :) < 1387775185 901835 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Forgetting to add a semicolon on a file that you're creating with a program from not paying attention... < 1387775198 820611 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i don't even know what MonadCont is < 1387775210 818496 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Nesting problems makes them more annoying < 1387775211 596957 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :i think it's just a typeclass for Cont because I don't know? HASKELL < 1387775216 744959 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric ::P < 1387775223 155212 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yeah because you might have a monad transformer stack with ContT in it somewhere < 1387775232 75171 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :anyway so callcc takes a function that returns a thingie, i got that much < 1387775240 405971 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: well a continuation has type (a → ⊥) because you call it and it doesn't return < 1387775241 695587 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :and that function takes a function that takes a non-thingie and makes a thingie out of it < 1387775253 87796 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :which.. i guess is the continuation, ok. < 1387775257 989515 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and that's sort of like (∀b. a → b) < 1387775280 173573 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :What is a "non-thingie"? < 1387775286 686611 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :a value not in the cont monad. < 1387775298 569306 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :LinearInterpol: update, got the reading working. I'll be done in just a little, hopefully. < 1387775299 590387 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :somebody's probably having a heart attack from my use of wordes < 1387775308 74549 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so call/cc calls a function of type (∀b. a → b) → a, i.e. passing a continuation as the argument, and the function can also return an 'a' normally < 1387775314 518641 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :right ok, makes sense < 1387775322 626981 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :and it can also call the continuation on an a and that returns it right off < 1387775328 297395 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and uh you can hoist the ∀ out to top level because *handwave* < 1387775330 757915 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :from the, callcc thing. < 1387775341 549477 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :actually I remember encountering a situation where I wanted the rank-3 callCC with the ∀ inside < 1387775349 337046 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but it's usually good enough to have it on the outside < 1387775357 863721 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Law of excluded middle continuations can be made too, similar to how kmc described above < 1387775361 129956 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, you can always instantiate it with Void. < 1387775380 791414 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and use void elimination wherever I need to use it polymorphically? yeah good point < 1387775384 524928 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I called it "lemCC", though, rather than whatever the proper name is (if there is one) < 1387775389 63684 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :(is that elimination or introduction? i can never keep 'em straight) < 1387775416 592527 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Elimination, I guess, since you're consuming it. < 1387775466 635545 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :om nom nom < 1387775504 862863 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Is there a more proper name for such a thing? lemCC :: Either a (a -> Cont r b) < 1387775506 566954 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :kmc: what element of a does it return? < 1387775518 234510 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :does what return < 1387775518 430537 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the one coming off the continuation... never? < 1387775523 676848 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :erm < 1387775531 93421 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i mean the call of the function with the current continuation < 1387775538 293783 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Well, that's uninhabited in Haskell. < 1387775540 703641 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i'm so confuzzled < 1387775547 409714 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :i'm thinkin a this like scheme because ha ha haskell < 1387775559 87609 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :call/cc takes a "continuation" which we pretend is a function from things to bottom < 1387775568 944747 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :er, it takes a function that takes a continuation < 1387775577 705130 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can always make a continuation a separate type rather than pretending it's a function. < 1387775580 533683 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :and the function can also just never call the continuation, returning normally < 1387775595 506469 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :also i don't know what (∀b. a → b) actually means < 1387775614 711354 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :shachaf: but then it wouldn't look like peirce's law? or something?? i only know peirce from like mapmaking and shit < 1387775641 174767 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :oklopol: it can return a value of any possible type i think? and the only value that fits that is bottom < 1387775648 352760 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :or undefined w/e types values fuck fuck fuck < 1387775670 376536 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: OK, fine. < 1387775701 890817 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :does it mean it has all possible types? is that the same as saying it has both types a -> int and a -> string, since int \cap string is empty? < 1387775702 136806 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :there's so much backlog/scrollback/whatever is it worth reading < 1387775720 340128 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :shachaf: it only goes back like ten minutes < 1387775721 166884 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oklopol: There's no real notion of \cap of types. < 1387775727 473941 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: yes but y'all talk so much < 1387775750 587002 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :ok five screens, and that's on my ridiculous x600 screen < 1387775753 105675 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :well i guess the intersection of two types should always be empty < 1387775757 409012 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :if they are not the same < 1387775784 202334 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so can you have a function with both types a -> int and a -> string? < 1387775784 456982 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok what's the question at hand here < 1387775791 593596 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :callCC < 1387775794 478901 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oklopol: Yes, using polymorphism. < 1387775801 390334 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :the a -> m b part particularly < 1387775812 192902 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you have a function of type (forall b. a -> b), it means the caller can pick what b is. < 1387775814 745922 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :but you cannot have something of type (∀b. a → b) using polymorphism? < 1387775821 825642 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can. < 1387775829 584462 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Of course, such a type is uninhabited in Haskell. < 1387775834 113705 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you can express the type. < 1387775842 113015 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :shachaf: Correct that is because I made a mistake. < 1387775847 309416 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Well, it might be clearer to pretend you had first-class callCC. < 1387775851 198563 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :Wait, it's uninhabited? What's the continuation then < 1387775852 388354 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :It should be: Cont r (Either a (a -> Cont r b)) < 1387775852 576398 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :why is it uninhabited? because it should work also for empty b? < 1387775855 897279 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :That is what I meant < 1387775857 187171 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I.e. ccc :: ((a -> b) -> a) -> a < 1387775858 838724 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :and what's first class call cc gosh < 1387775861 598519 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :oh. < 1387775866 409416 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No "m"s to get in the way. < 1387775877 842817 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Then you can figure out the ms later. < 1387775889 129970 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :how's it uninhabited though < 1387775909 332400 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, (forall b. Int -> b) means that you give me an Int and I give you something of any type you like. < 1387775919 267103 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But some types are uninhabited, so obviously I can't do that. < 1387775919 455069 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric ::t \x -> undefined < 1387775920 174198 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :t -> a < 1387775922 936813 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, fine. < 1387775928 954773 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :ok, good < 1387775930 565525 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Uninhabited if you ignore _|_. < 1387775937 927772 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :(It is still a mistake because it should be ContT and that stuff, but hopefully now is understandable) < 1387775940 59013 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :But the function itself isn't bottom, riht? < 1387775970 663591 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :I mean, is forall b. a -> b a roundabout way of saying a function with a bottom return type, or what. < 1387775984 924623 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :i should really stop conflating bottom and undefined, huh < 1387776001 306829 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :" Uninhabited if you ignore _|_." and isn't this value exactly why the type is useful, if you can then do continuation stuff with this sort of type? < 1387776002 876968 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :well, don't confuse the type ⊥ with the value ⊥ (which is a member of every type) < 1387776010 416945 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :that's what i meant right < 1387776026 81686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The type _|_ and the value _|_ have almost nothing to do with each other. < 1387776028 206954 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :if you have the value ⊥ in all the types in your language then your logic is unsound for actual logic < 1387776028 941036 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :okay what Bike said i guess < 1387776031 881025 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :...oh, i see. < 1387776033 615833 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They're both minimal in two different (semi)lattices. < 1387776034 672392 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :because you can use that value to prove any proposition < 1387776037 457125 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :the type bottom doesn't have the value bottom in it < 1387776043 120003 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It does in Haskell. < 1387776045 159631 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Edward___: Sorry, was AFK. Awesome, now the next step is to parse it. :) < 1387776051 767006 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :
ACTION flips a table over
< 1387776059 227105 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok ok ok look < 1387776066 144309 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :haskell is bad for logic < 1387776073 805152 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :mad as hell and i'm not going to take it any more < 1387776083 256645 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :every type has an extra inhabitant representing non-termination or whatever < 1387776085 717001 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :called _|_ < 1387776089 830956 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :gonna start a stupid ass tv show where i just yell pointlessly at everything < 1387776092 698890 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Is it cheating if I use the translations that Wikipedia provides? < 1387776097 467871 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :nah < 1387776100 177194 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :nah. < 1387776103 427278 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Great. < 1387776107 452800 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Almost done then ;) < 1387776108 906718 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :let x = x in x, or undefined, or whatever are all considered equivalent and we call them all _|_ < 1387776136 809437 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :actually looking at a value of type _|_ is equivalent to your program going into an infinite loop (and/or crashing, whatever) < 1387776139 173658 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Edward___: Tip: if on a unix system, have an option to write to standard output. < 1387776149 926044 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Instead of just a .c file. < 1387776151 463710 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but when we talk about haskell as logic we pretend _|_ doesn't exist because it makes it nice < 1387776156 214843 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :That way you can pipe it directly into GCC. < 1387776166 457396 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :does the curry-howard isomorphism for haskell's types work if you say a type is true if it contains a non-bottom value < 1387776175 423762 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so for the purpose of this entire discussion we'll pretend the value _|_ (undefined, infinite loops, whatever) doesn't exist < 1387776177 916726 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :starting to think talking about logic in haskell might, in fact, be kind of silly?? < 1387776192 486928 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :talking is fine because you can play pretend < 1387776204 220860 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :implementing is p. bad, which is why haskell isn't a theorem proving system < 1387776206 677925 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :yeah but then why not use something that isn't haskell. < 1387776220 113129 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :because you already kind of know haskell and it's good enough at expressing all these concepts < 1387776221 482629 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :LinearInterpol: Great idea. I'll implement it tomorrow though, I need sleep haha. For now I'll just do the C file. < 1387776227 996420 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :wait, was that my fault? maybe it was me who brought up call c c < 1387776231 21750 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :the function < 1387776234 407429 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :there was a language derived from haskell that wasa theory proving system. < 1387776239 891240 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :*was a < 1387776248 131762 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you thinking of agda < 1387776255 2685 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :I believe so, yes. < 1387776262 307137 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :agda is good and you can get many useful haskell intuitions from it < 1387776266 656377 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but imo let's stick with haskell < 1387776267 656507 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :that there dependent types language. < 1387776281 581673 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :then again it was me who asked and i don't know haskell :( < 1387776293 106012 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is LinearInterpol actually = oklopol? < 1387776301 276689 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :no love for the *pol < 1387776309 335922 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :everyone. everyone thinks that. < 1387776325 557822 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah i say all the _really_ stupid stuff with my other nick. < 1387776326 611916 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :LinearInterpol: maybe you should change your nick < 1387776334 536644 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :to what, CubicCIA? < 1387776336 154803 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :to RJones or something < 1387776340 833617 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :RJones is good to < 1387776342 153706 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :o < 1387776343 870790 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :o < 1387776344 156500 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :okoko < 1387776347 35998 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :okokokokoko < 1387776348 549922 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ANWAY < 1387776349 697067 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Y < 1387776349 966592 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :screw that, I'm keepin' this. < 1387776354 799119 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :lul i have to go to work < 1387776358 733665 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :see u. < 1387776363 315119 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok who actually wants to me to talk about this thing < 1387776366 266737 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if anyone < 1387776372 242292 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :if(anyone){} < 1387776374 702418 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :me, but we can do that later. < 1387776478 343692 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :isn't it like five am in france < 1387776487 40282 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i'm in finland already < 1387776496 418133 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :isn't it like five am in finland < 1387776500 3316 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :it's 7:30 here and 6:30 in france < 1387776506 674404 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :fuckers < 1387776542 320206 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :like all mathematicians who can work whenever the fuck they like, i wake up at 6 every morning < 1387776555 966933 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(and usually wank around here for an hour asdkfj) < 1387776565 224190 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :what's it like being compltely incompreensible < 1387776596 565022 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :it takes a practise but is worth. < 1387776601 758628 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :pfft. < 1387776605 843881 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :6 AM? < 1387776610 238948 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :try 3. < 1387776621 694885 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :oh yeah well i wake up at ten... pm < 1387776624 55156 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i used to, but life got in the way < 1387776628 816818 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric ::( < 1387776630 120740 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Bike: that's responsible. < 1387776633 210010 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :srs. < 1387776640 203531 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :wow that's early < 1387776642 798091 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :should be going to sleep soon in fact so i ccan wake up on time < 1387776645 81876 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :put us all in our place < 1387776648 547158 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :see you in half an hour < 1387776652 609660 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yep < 1387776654 188441 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :byes. < 1387776655 455422 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :sweet dreams. < 1387776666 461419 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :had to put my family up in a hotel. < 1387776672 624698 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :freakin' ice storm. < 1387776789 419034 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I live in Southeastern USA. < 1387776791 673208 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :what's snow? < 1387776822 127694 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :snow is a filthy demon that we have to fight back with shovels and beards. < 1387776825 393590 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :mostly beards. < 1387776834 353173 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :we don't have those here in the Bible Belt. < 1387776838 243617 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :those belong to the Devil. < 1387776839 200530 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :;) < 1387776842 765754 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :I chortled. < 1387776846 891848 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :"Bible Belt" < 1387776866 111390 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :It's the worst place to be an Agnostic... < 1387776873 545006 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :God help you. < 1387776873 827748 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :and my mother is a pastor :) < 1387776876 620529 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :(Oh wait..) < 1387776883 338771 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :ha. < 1387776883 526721 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :look up. < 1387776910 846528 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :my brother's an Atheist, at least she can say "Edward's just having doubts" < 1387776918 785376 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :pff. < 1387776935 43586 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Issue, my Terminal won't open after crashing it after an infinite loop... < 1387776945 836695 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Ctrl+C! < 1387776949 248248 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Ctrl+C damnit! < 1387776967 277199 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :hm? < 1387776982 540047 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :You could always kill it from MacOS' task viewer. < 1387776990 542813 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :*MacOS's. < 1387776992 253213 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I'm on Ubuntu < 1387776995 552591 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :what do? < 1387776997 57915 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Oh. < 1387776998 59177 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Jinkies. < 1387777006 609492 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :New to Linux < 1387777008 713647 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Alt+Left/Right < 1387777010 736471 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Log in. < 1387777010 924733 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :could work fine on Mac lol < 1387777019 85012 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Actually... < 1387777021 400607 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Kill your term process. < 1387777025 131500 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I finished the project. < 1387777032 498270 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I just need a bit of tidying. < 1387777039 973918 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I'll send it to you tomorrow instead of tonight, okay> < 1387777044 794866 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :? < 1387777050 931483 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :For now, I think I'm off to sleep < 1387777052 718405 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Awesome. < 1387777058 530588 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Thanks so much! < 1387777061 54961 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Rest easy, I think I'll do the same. < 1387777073 59739 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Hey, you wrote the code. :) < 1387777084 542114 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I have a party at night, so I'll try and catch you in the morning. < 1387777088 202571 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :What's your timezone? < 1387777098 151830 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :EST. < 1387777103 459522 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :It's 12:38am for me. < 1387777106 41530 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Okay. great. < 1387777107 508810 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Likewise. < 1387777108 792481 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Same on. < 1387777115 376567 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :one*... < 1387777120 80282 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :The east coast is a cruel bitch. < 1387777132 853710 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Depends... Where are you? < 1387777138 501103 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Maine. < 1387777148 459874 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :An ice storm just hit. < 1387777157 433757 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Which is.. wonderful. < 1387777160 261039 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Ooooh pretty. I'm in Atlanta, so nowhere near as scenic. Or snowy. < 1387777188 757249 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :At least we don't have any damn bilboards. < 1387777194 700393 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :hahahaha < 1387777204 141121 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Anyway, I'll be on until noon or 1pm, hope to catch you! < 1387777210 273521 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Peace. :) < 1387777216 624937 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 QUIT :Quit: "Oh no, I'm melting." < 1387777227 449486 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :wish I was fucking melting. < 1387777289 570226 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Your nick is too long and too capitalized. < 1387777311 549576 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :"linear" was taken and I don't like RJones. Sue me. < 1387777320 972922 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Could always go back to my gamertag. Frostitute. < 1387777377 358139 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You could go with "affine". < 1387777384 344381 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess that's taken. < 1387777389 229611 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net NICK :fourier < 1387777392 298540 :fourier!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :damnit. < 1387777403 301468 :fourier!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :taken. < 1387777430 981815 :fourier!~RJones@ip-64-134-242-146.public.wayport.net NICK :LinearInterpol < 1387777449 683227 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or you could just go with "oklopol". < 1387777461 776934 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :I don't get that. < 1387777474 984210 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, you could go with "relevant". < 1387777484 596609 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's even more obscure than "affine"! < 1387777520 150938 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And not taken. < 1387777523 224150 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And always relevant. < 1387777568 12578 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net NICK :relevant < 1387777572 779357 :relevant!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :son of a bitch it isn't taken. < 1387777581 797870 :relevant!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :'tis now. < 1387778955 918507 :relevant!~RJones@ip-64-134-242-146.public.wayport.net QUIT :Ping timeout: 272 seconds < 1387781304 15787 :noooodl!~nooodl@91.176.187.101 JOIN :#esoteric < 1387781568 521536 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :As it turns out I did find some mistakes (and omissions) in this dream.txt file; I typed "isomorphic" but I meant "isometric" and fixed it; also some things I omitted before, I added in, and so on. < 1387782428 709323 :^v!~NotPing@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Remote host closed the connection < 1387782536 133424 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :https://dl.dropboxusercontent.com/u/8731765/Pictures%20and%20video/Glimpses%20of%20reality/don%27t%20do%20it.jpg it's cool how domain specific languages always seem to be esolangs < 1387782623 234922 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Is there an esolang that involves stupid ownership information < 1387782715 232151 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Bike: Do they? Well, even in esolang wiki there is information about prehistory of esoteric programming, and Dada Engine is mentioned on Wikipedia as an example too but I am not so sure. However, one thing that is mentioned on esolang wiki, is Automouse. < 1387782756 75907 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Bike: And what is the program in the picture? < 1387782814 225936 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Furthermore, what operations is the error message refering to? < 1387782821 953907 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Jafet: ownership information? < 1387782972 27954 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :it controls robots, like car manufacturing ones < 1387782977 502304 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :no idea what it does < 1387783079 182171 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :well, i guess i can surmise that it's a program to pick up an object and put it down somewhere else. < 1387783579 139625 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :This looks like the assembly language of the robot < 1387783590 190139 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(Assembly language of an assembly robot?) < 1387783693 753260 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :yes < 1387783877 705731 :Slereah!~jackal@176.222.51.233 QUIT :Ping timeout: 248 seconds < 1387784407 112656 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :What programming languages might have their own other smaller programming languages/syntaxes for use with certain commands? < 1387784422 32811 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :C < 1387784442 927720 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :(printf) < 1387784457 805687 :prooftechnique!~Also@c-24-128-161-213.hsd1.nh.comcast.net JOIN :#esoteric < 1387784460 897608 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Yes, that is one example of what I mean too. < 1387784481 76741 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :C++ adds templating. < 1387784491 992935 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :for uh some definition of "smaller" i suppose :p < 1387784499 865420 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Other things are embedded assembly language codes or SQL codes in some programs. < 1387784559 461309 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :What other kind of examples are there? I find that in some of my programs it tends to also have additional syntaxes for other purposes built-in too < 1387784598 678030 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Maybe the PLAY and DRAW commands in BASIC, kind of are < 1387784620 645518 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Many programming languages have regular expressions < 1387784636 561491 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I almost feel like every API is an example of this < 1387784643 741639 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :yeah, it's hard to draw a line. < 1387784810 708231 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :kmc: Maybe, but some things may be more so or less so than others < 1387785051 571688 :prooftechnique!~Also@c-24-128-161-213.hsd1.nh.comcast.net QUIT : < 1387785800 313238 :zzo38!~zzo38@24-207-57-25.eastlink.ca QUIT :Remote host closed the connection < 1387786730 19802 :mauke!~mauke@p3m/member/mauke QUIT :Remote host closed the connection < 1387786752 998025 :mauke!~mauke@p3m/member/mauke JOIN :#esoteric < 1387787136 663960 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :kmc: especially the cross-language ones < 1387787262 819383 :MindlessDrone!~MindlessD@vpn34-176.rz.hs-offenburg.de JOIN :#esoteric < 1387787675 107350 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Quit: Bye. < 1387787988 917233 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :how does one measure time and space efficiency in the lambda calculus? < 1387788015 124517 :hogeyui_!~hogeyuiVP@vps.usamimi.biz QUIT :Ping timeout: 240 seconds < 1387788048 783731 :hogeyui_!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1387788095 505624 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :count reduction steps? < 1387788170 435490 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You have no reason to believe this sentence. < 1387788278 516696 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :yeah i do, shachaf doesn't usually lie for no reason < 1387788308 711725 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :uh < 1387788312 572021 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes he does < 1387788330 956992 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :you think? < 1387788344 980460 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Bike: is that a guess? < 1387788358 816360 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :maybe it would help if this was conveyed to me in the form of a universially quantified sentence referencing some fucking island < 1387788371 322702 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i like islands < 1387788377 717842 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you figure out the callcc business yet < 1387788414 881943 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :play some god damned billy joel < 1387788447 57758 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you can do a haskell exercise if you just want to figure it out by brute force < 1387788460 292167 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :using ccc :: ((a -> b) -> a) -> a; ccc = undefined < 1387788467 441545 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :define lem :: Either (a -> Void) a < 1387788515 662557 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :lem = law-excluded-middle right < 1387788636 698421 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1387788663 394246 :noooodl!~nooodl@91.176.187.101 QUIT :Quit: noooodl < 1387788687 216115 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"My Name Is Skrillex (Skrillex Remix)" by Skrillex < 1387788707 656115 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :i want to insult someone by telling them that their actions are poorly conveyed < 1387788837 127118 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :maybe it's me whose actions are poorly conveyed though < 1387789357 15741 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1387791541 335262 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :«Once upon a time two boys found a cake. One of them said: “Splendid! I will eat the cake.” The other one said: “No, that is not fair! We found the cake together, and we should share and share alike; half for you and half for me.” The first boy said, “No, I should have the whole cake!” The second said, “No, we should share and share alike; half for you and half for me.” The first said, “No, I want the whole cake.” The ... < 1387791547 344175 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :... second said, “No, let us share it half and half.” Along came an adult who said: “Gentlemen, you shouldn’t fight about this; you should compromise. Give him three quarters of the cake.”» < 1387791597 285774 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :xkcd said we should compromise between pi and tau, and use 1.5pi < 1387791634 119238 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :or sqrt(2)pi. < 1387792334 990071 :AwfulProgrammer!uid11324@gateway/web/irccloud.com/x-pbzgotzvmglozali JOIN :#esoteric < 1387792796 103405 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm actually all for Tau < 1387792837 906203 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but it's too late < 1387792843 387486 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :those pi-guys already won the fight. < 1387793206 682307 :Jafet!~jafet@unaffiliated/jafet QUIT :Ping timeout: 272 seconds < 1387793300 574504 :Froox!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1387793347 891347 :AnotherTest!~turingcom@94-224-30-45.access.telenet.be JOIN :#esoteric < 1387793358 522518 :Jafet!~jafet@static.77.207.4.46.clients.your-server.de JOIN :#esoteric < 1387793380 240110 :Jafet!~jafet@static.77.207.4.46.clients.your-server.de PART :#esoteric < 1387793464 181070 :Frooxius!~Frooxius@217.196.214.101 QUIT :Ping timeout: 240 seconds < 1387793997 459743 :Froox!~Frooxius@cust-101.ktknet.cz QUIT :Quit: *bubbles away* < 1387794010 248560 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1387794857 104693 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1387795113 744665 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Radius is more fundamental than diameter, although diameter is easier to measure in the real world < 1387795125 822142 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :freefall XD < 1387795128 930606 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Mathematics shouldn't be decided by the real world < 1387795139 697968 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(it might need context) < 1387795673 587385 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: Heheh, she sure knows how to get things done < 1387795691 730327 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Poor guy never stood a chance < 1387795695 608540 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :indeed < 1387795852 594279 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm more worried about clippy, he seems to have constructed a perverted zeroth law so might start harming humans. < 1387795871 997570 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I am wondering how she's supposed to get out of an arctic compound < 1387795901 445791 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tricky. but sam should show up eventually. < 1387795912 27045 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :What will Sam do about the cold? < 1387795926 43614 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Hopefully not something involving flamethrowers < 1387795933 93536 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :something utterly ridiculous but effective, i expect < 1387795952 28278 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Probably < 1387795975 663260 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :People who don't read freefall have no idea what we're talking about < 1387795982 923824 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :poor guys < 1387796169 400155 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Sam + Florence has proven itself to be a world-shaking combo < 1387798875 943508 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1387799445 93577 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Ping timeout: 245 seconds < 1387799891 210472 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1387799958 525197 :ion!ion@heh.fi PRIVMSG #esoteric :‘Director of the NSA Gen. Keith Alexander said on “60 Minutes” Sunday that […] people need to be held accountable for their actions.’ http://dailycaller.com/2013/12/17/dod-official-snowden-stole-everything-literally-everything/ < 1387800542 757553 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I recently read that a Boy who esentially drove over some people has been found not very guilty due to him "being rich and his parents did not teach him that actions have consequences therefore he could not have known better" < 1387800817 691915 :Jafet!~jafet@static.77.207.4.46.clients.your-server.de JOIN :#esoteric < 1387802691 962500 :nooodl!~nooodl@91.176.187.101 JOIN :#esoteric < 1387803035 100143 :Sgeo_!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1387804127 429663 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The affluenza thing. < 1387804200 281773 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There was also the fund manager who ran over a cyclist and avoided charges because getting convicted would "have some pretty serious job implications for someone in Mr. Erzinger’s profession". < 1387804210 975517 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ran over and fled the scene, that is. < 1387804224 780108 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://www.rawstory.com/rs/2010/11/08/wealthy-fund-manager-avoids-felony-charges-running-cyclist/ < 1387804287 569901 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(The vague logic is that he can afford to pay restitution only if he doesn't lose his job.) < 1387804942 764263 :relevant!~RJones@ip-64-134-242-146.public.wayport.net JOIN :#esoteric < 1387805497 993396 :Sorella!~quildreen@201.80.214.167 JOIN :#esoteric < 1387805537 63534 :Sorella!~quildreen@201.80.214.167 QUIT :Changing host < 1387805537 263828 :Sorella!~quildreen@oftn/member/Sorella JOIN :#esoteric < 1387806315 25872 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1387806388 426981 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Today's Freefall is great :) < 1387806575 102126 :boily!~boily@207.112.39.31 JOIN :#esoteric < 1387806576 289552 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :freefall continues to be not furry at all, nosiree, i see < 1387806758 326011 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :It has one anthropomorphic wolf < 1387807000 945717 :boily!~boily@207.112.39.31 PRIVMSG #esoteric :good Québec morning! < 1387807010 13475 :boily!~boily@207.112.39.31 PRIVMSG #esoteric :~metar CYUL < 1387807016 762006 :boily!~boily@207.112.39.31 PRIVMSG #esoteric :hmmm... < 1387807022 374775 :metasepia!~metasepia@207.112.39.31 JOIN :#esoteric < 1387807026 709631 :boily!~boily@207.112.39.31 PRIVMSG #esoteric :~metar CYQB < 1387807027 549054 :metasepia!~metasepia@207.112.39.31 PRIVMSG #esoteric :CYQB 231330Z 07013G22KT 3SM -SNSG BR DRSN FEW008 OVC029 M09/M11 A3008 RMK SF2SC6 SLP191 < 1387807114 13294 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1387807137 496690 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1387807172 965210 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1387807429 897879 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1387807454 430094 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Any one have any advice regarding translating some Haskell code that relies on StateT (WriterT []) into Python? < 1387807613 896455 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I kind of wrote myself into a hole with that < 1387807638 619303 :Slereah_!Slereah_@ALille-656-1-43-106.w83-198.abo.wanadoo.fr JOIN :#esoteric < 1387808647 951068 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1387809129 368082 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You could show us the code < 1387809138 721792 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Why are you translating it into Python? < 1387809186 458595 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :http://lpaste.net/97433 < 1387809198 136693 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :FreeFull, it's for a competition that has to be written in Python < 1387809213 961266 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :So you wrote it in Haskell? < 1387809230 68173 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I think in Haskell < 1387809246 418678 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :If I had any idea how to write this in Python, I would have written it in Python < 1387809250 820531 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Fair < 1387809295 519693 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I don't think I can help you < 1387809613 546146 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1387810213 729047 :Slereah_!Slereah_@ALille-656-1-43-106.w83-198.abo.wanadoo.fr QUIT :Ping timeout: 248 seconds < 1387811298 898171 :^v!~NotPing@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1387814443 552437 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I could maybe help you < 1387814450 615317 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If I could Haskell < 1387814469 109098 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but that's beyond my Haskell knowledge < 1387814602 573036 :Slereah_!Slereah_@ALille-656-1-43-106.w83-198.abo.wanadoo.fr JOIN :#esoteric < 1387814751 37290 :metasepia!~metasepia@207.112.39.31 QUIT :Ping timeout: 240 seconds < 1387815170 279660 :glogbackup!~glogbacku@192.3.160.190 QUIT :Read error: Connection reset by peer < 1387815560 772563 :metasepia!~metasepia@207.112.39.31 JOIN :#esoteric < 1387816184 43594 :atriq!5c1e9ba8@gateway/web/freenode/ip.92.30.155.168 JOIN :#esoteric < 1387816438 917029 :nooodl!~nooodl@91.176.187.101 QUIT :Ping timeout: 246 seconds < 1387816718 867072 :relevant!~RJones@ip-64-134-242-146.public.wayport.net QUIT :Ping timeout: 264 seconds < 1387817263 887394 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 250 seconds < 1387817609 65138 :impomatic!~digital_w@150.20.208.46.dyn.plus.net JOIN :#esoteric < 1387820145 90978 :relevant!~RJones@ip-64-134-242-146.public.wayport.net JOIN :#esoteric < 1387820292 50597 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 JOIN :#esoteric < 1387820302 287860 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Ciao! < 1387820367 32599 :relevant!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Lol. < 1387820370 323687 :relevant!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Leaving so soon? < 1387820372 586359 :relevant!~RJones@ip-64-134-242-146.public.wayport.net NICK :LinearInterpol < 1387820462 412822 :boily!~boily@207.112.39.31 PRIVMSG #esoteric :`relcome Edward___ < 1387820467 717568 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​13Edward___: 04Welcome 07to 08the 09international 02hub 06for 13esoteric 04programming 07language 08design 09and 02deployment! 06For 13more 04information, 07check 08out 09our 02wiki: 06. 13(For 04the 07other 08kind 09of 02esoterica, 06try 13#esoteric 04on 07irc.dal.net.) < 1387820484 630642 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Ciao being "hello" in Italian ;) < 1387820501 187548 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :And thanks! How to I reserve this name, so I'm not a noob every time I log on? < 1387820505 223251 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :do* < 1387820508 908714 :boily!~boily@207.112.39.31 PRIVMSG #esoteric :do we have an Italian `relcome? < 1387820519 636709 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Edward___: /msg NickServ HELP REGISTER < 1387820634 442395 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Alright, I am permanent! < 1387820683 614827 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Also, I don't think an Italian welcome would be of much worth to me, I know far too little ;) < 1387820684 342740 :atriq!5c1e9ba8@gateway/web/freenode/ip.92.30.155.168 PRIVMSG #esoteric ::D < 1387820697 772393 :atriq!5c1e9ba8@gateway/web/freenode/ip.92.30.155.168 PRIVMSG #esoteric :bonjourno, Edward___ < 1387820742 132370 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :E 'dopo mezzogiorno! < 1387820747 203615 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :;) < 1387820767 154017 :atriq!5c1e9ba8@gateway/web/freenode/ip.92.30.155.168 PRIVMSG #esoteric :(I don't speak Italian, I'm afraid) < 1387820823 90759 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :It's after noon! < 1387820833 144525 :atriq!5c1e9ba8@gateway/web/freenode/ip.92.30.155.168 PRIVMSG #esoteric :No matter < 1387820847 725822 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :At least for my timezone... < 1387820874 854050 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :So buongiorno works < 1387820878 196285 :atriq!5c1e9ba8@gateway/web/freenode/ip.92.30.155.168 PRIVMSG #esoteric :Mine neither < 1387820902 834088 :boily!~boily@207.112.39.31 PRIVMSG #esoteric :as always, someone on Earth is partaking in a delicious fternooner. < 1387820936 159198 :atriq!5c1e9ba8@gateway/web/freenode/ip.92.30.155.168 PRIVMSG #esoteric :boily: four simultaneous fternooners on a single rotation of the fternooner cube < 1387821059 295690 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :LinearInterpol: I'm debugging the code.. < 1387821065 525843 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :just started working on it. < 1387821175 637232 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Edward___: You write it first then you debug it? < 1387821277 381115 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I'm having issues with a loop < 1387821282 916364 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :So I'm trying to get that figured out < 1387821287 601410 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Pastebin whatever your errors are. < 1387821290 990442 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :And make it less...ugly... < 1387821297 318801 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Never! I must do it myself :) < 1387821300 147138 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Hehe. < 1387821329 277560 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :A real challenge is to never use GDB until it compiles cleanly with -Wall -Werror --pedantic -std=c89 < 1387821338 582248 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Then go chasing segfaults. < 1387821352 197957 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :what's GOB? < 1387821362 225533 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :GDB. GNU DeBugger. < 1387821366 890795 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Oh oh oh < 1387821374 813907 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Okay, I haven.t < 1387821580 247117 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Is there a special end of line marker? < 1387821600 932405 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :My code isn't properly reading the file, throwing an error when it hits the end of a line, before going to the next. < 1387821609 353594 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I know there's EOF < 1387821707 341377 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :EOL? < 1387821722 151176 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :There's a character for it iirc. < 1387821738 113859 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :EOF is system-specific. < 1387821741 449118 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :That'w what I figured. < 1387821751 980590 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Man. I can't type today. Need coffee. < 1387821757 810189 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :EOLs are also system-specific < 1387821761 930126 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Yep. < 1387821766 198549 :Slereah_!Slereah_@ALille-656-1-43-106.w83-198.abo.wanadoo.fr PRIVMSG #esoteric :Doesn't ASCII have a specific EOF character? < 1387821770 682038 :Slereah_!Slereah_@ALille-656-1-43-106.w83-198.abo.wanadoo.fr PRIVMSG #esoteric :Like in the control characters < 1387821773 366943 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :also yes < 1387821778 802308 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I'm pretty sure you can just use EOF < 1387821835 489979 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :But I may be wrong. Just started using C < 1387821877 181203 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The standard C macro EOF, and the ASCII control character EOF don't have all that much to do with each other. < 1387821889 538974 :Slereah_!Slereah_@ALille-656-1-43-106.w83-198.abo.wanadoo.fr PRIVMSG #esoteric :How disappointing < 1387821895 795912 :Slereah_!Slereah_@ALille-656-1-43-106.w83-198.abo.wanadoo.fr PRIVMSG #esoteric :Where is the ASCII EOF used? < 1387821896 829 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :EOF is treated as -1. < 1387821918 431972 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :EOT? < 1387821935 595499 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think some Windows context (streams open in text mode?) treats the ASCII EOF character as an actual end-of-file. < 1387821966 775005 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Fucking a. < 1387821972 660756 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I can just use '/n' < 1387821984 61055 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Nevermind all. < 1387821988 358333 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :You can use \n. < 1387821998 861577 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Yes, that's the one haha < 1387822005 409220 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Once again, haven't had coffee yet. < 1387822013 227380 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hrm, I guess the actual official ASCII name for ^Z is "SUB", but it's pretty often called EOF anyway. < 1387822040 318598 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :\n is EOL. < 1387822058 186223 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :traditionally, anyway. Microsoft has alternate EOL chars. < 1387822086 485680 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :last I checked. < 1387822094 184630 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If you're reading a text stream in C, it will translate whatever line-ending mechanism the system uses to what '\n' evaluates to. < 1387822100 995375 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Correct. < 1387822194 246981 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It doesn't need to be a particular character at all. I think at least VMS had a more record-structured standard text file format. < 1387822263 349612 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :If I'm printing a printf statement onto a file, to print a character... < 1387822290 450129 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :does fprintf(outf,"printf(\"\%c\",*ptr);\n"); < 1387822293 735668 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :work? < 1387822309 111622 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No. < 1387822319 388547 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I tried putchar, but that didn't work. < 1387822322 962596 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But fprintf(outf,"printf(\"%%c\",*ptr);\n"); would. < 1387822327 948246 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :oooooh < 1387822329 819668 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :thanks! < 1387822384 319133 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(You can't escape the % with a \, because \ is a string-literal-level construct, while you want to affect the behaviour of printf, which doesn't see the backslashes at all.) < 1387822392 594079 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Hm, same output as putchar. I need to do some work with data types... < 1387822402 426768 :atriq!5c1e9ba8@gateway/web/freenode/ip.92.30.155.168 QUIT :Quit: Page closed < 1387822452 817018 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :printf("%c", x) should be pretty close to putchar(x), yes. < 1387822475 479181 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I'm getting obscure symbols, and not the letters I want. < 1387822477 933248 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Why would this be? < 1387822513 411972 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Incidentally, since you don't have any actual formatting going on, fputs("printf(\"%c\",*ptr);\n", outf); would've been a slightly easier way to write that printf statement. < 1387822536 404668 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: What do you think, why the obscure symbols? < 1387822536 654543 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: the whole point is that they are all delicately different languages so no surprise prolly does several tests starting saturday. < 1387822661 754420 :Slereah_!Slereah_@ALille-656-1-43-106.w83-198.abo.wanadoo.fr QUIT :Ping timeout: 248 seconds < 1387822729 102736 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Hard to say much more than that without any further details.) < 1387822750 800864 :Slereah_!~Slereah@ALille-656-1-43-106.w83-198.abo.wanadoo.fr JOIN :#esoteric < 1387822797 518483 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :LinearInterpol: I'm getting "r????2?????3(something weird), when it should say "Hello World" < 1387822810 725684 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :does this have to do with text encoding? or just something wrong with data types. < 1387822829 210369 :boily!~boily@207.112.39.31 PRIVMSG #esoteric :Edward___: you're communicating with the Elder Ones. nothing to worry about. < 1387822840 778436 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :hahaha < 1387822856 106697 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Code, please. < 1387822871 750639 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :How would you like it sent? < 1387822884 436124 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Pastebin < 1387822902 383379 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Edward___: Your nick is really awful. :-( Can you pick something not so underscorey? < 1387822908 783922 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Okay one sec, I'll have to log off really quickly. < 1387822918 62749 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :shachaf: and yes, I'll change it in a bit ;) < 1387822918 635200 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :No no! < 1387822919 753373 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Reading a conversation between you and LinearInterpol especially is painful. < 1387822929 988013 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Type /nick < 1387822936 470448 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :shachaf: I think you have to blame three other Edwards for that. < 1387822941 500482 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 QUIT :Quit: "One second..." < 1387822975 48885 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 JOIN :#esoteric < 1387822994 663876 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :It didn't ask for my password upon logging in... < 1387823005 816910 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Oh god < 1387823010 334889 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :three underscores. < 1387823027 978398 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I need to l2IRC < 1387823029 830521 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://livegrep.com/search/linux?q=\b_________[a-z] < 1387823034 304755 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :typeof(*p) *_________p1 = (typeof(*p)*__force )ACCESS_ONCE(p); < 1387823041 945024 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :https://bitmonica.com meanwhile, in r bitcoin < 1387823062 831532 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(There's an edward, edward_ and edward__ already; hence the three underscores.) < 1387823063 101050 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :jesus < 1387823063 381660 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :kmc: that's.. horrifying. < 1387823089 309896 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: wait what is this even < 1387823099 725318 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Bike: IS THAT KIM POSSIBLE?! < 1387823137 336687 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :LinearInterpol: http://pastebin.com/VaJjGJGb < 1387823173 676957 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Bike, what < 1387823178 893081 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Okay, how do I effectively...log in... < 1387823181 652296 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'm so dehydrated < 1387823200 872304 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Edward___: /msg NickServ identify < 1387823212 314045 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Change your nick to the one you registered with. < 1387823234 626813 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :three goddamn underscores. < 1387823238 489860 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I thought it was only two. < 1387823259 4486 :zzo38!~zzo38@24-207-57-25.eastlink.ca JOIN :#esoteric < 1387823302 440929 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Bike, context for where you found the link plx < 1387823310 981541 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is this literally just a pyramid scheme < 1387823321 869024 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no pyramids < 1387823325 391930 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i think it's just a ponzi scheme < 1387823335 751609 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :maybe it's a fonzie scheme < 1387823341 443004 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :eyyyyyyyy < 1387823347 596341 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :~$97k has been invested in this... thing < 1387823348 741628 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :Phantom_Hoover: someone hacked a site i use to redirect to it < 1387823348 945486 :metasepia!~metasepia@207.112.39.31 PRIVMSG #esoteric :--- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi < 1387823360 308811 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :Phantom_Hoover: reliable business here < 1387823383 223709 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :METHODS OF CONTRACEPTION < 1387823442 56261 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :and yes, it's sexay kim possible art straight from deviantart < 1387823442 261620 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Okay, what's the command for changing nicks? One last time, promise. < 1387823443 889084 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: p. sure that means you have to invest to get your site back < 1387823452 51815 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :Edward___: /nick < 1387823455 423513 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :ah < 1387823456 336558 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :thanks < 1387823471 56530 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Edward___: You don't initialize your array in the generated C code. < 1387823481 371685 :Edward___!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 NICK :Edwardz < 1387823492 570228 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It should start with a lowercase letter. < 1387823499 482324 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Edwardz: So it will contain random garbage, and after doing the increments and decrements specified by the brainfuck code, it will be some other random garbage. < 1387823501 948914 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :fizzie: I was following the Wiki page for Brainf**k translation. I'll change that. < 1387823512 66216 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Edwardz: char array[100] = {0}; will work. < 1387823514 537103 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Your nick, I mean. That's how nicks work. < 1387823522 862620 :MindlessDrone!~MindlessD@vpn34-176.rz.hs-offenburg.de QUIT :Ping timeout: 264 seconds < 1387823536 364912 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :fizzie: you'd rather use malloc for this. < 1387823538 119949 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I like "Edwardz" because there are others. I'm the last. < 1387823573 210464 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :LinearInterpol: No, I don't think I would. Why would you? < 1387823578 121232 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, but "edward", "edward_", "edward__" all have a lowercase e in their nick. < 1387823592 834736 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Static allocation for an upwards of 3,000 cells? < 1387823607 83043 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :100 maybe. < 1387823607 449007 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :lowercase is lame... < 1387823647 580883 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Lowercase is how it goes here. < 1387823649 418859 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I got a segfault < 1387823658 668200 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :when changing to ptr={0}; < 1387823673 878324 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Edwardz: array[100] = {0} is quite a different thing than ptr={0}. < 1387823677 689685 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Yeah. < 1387823686 34547 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :array[100] initializes the array's elements to 0. < 1387823688 785624 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :fuckfuckfuck < 1387823694 107883 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :did array[00] < 1387823694 478621 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :ptr={0} is.. well shit. < 1387823699 474311 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Lol. < 1387823704 612684 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :http://datenform.de/forgot-your-password.html also < 1387823711 817220 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: stop making stuff up about nicks < 1387823724 631986 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :x < 1387823732 933764 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :s/x/it's just trolling/ < 1387823737 559266 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :an easy typo < 1387823760 524800 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :fprintf(outf,"char array[100]={0};\nchar *ptr=array;\n"); < 1387823781 327782 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I think it doesn't matter lowercase or uppercase, but, it is case insensitive due to the specification of IRC. < 1387823865 934664 :Chillectual!~RJones@ip-64-134-242-146.public.wayport.net JOIN :#esoteric < 1387823885 12697 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net QUIT :Disconnected by services < 1387823888 574725 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :IT WORKS < 1387823889 397647 :Chillectual!~RJones@ip-64-134-242-146.public.wayport.net NICK :LinearInterpol < 1387823895 699636 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :thanks <3 < 1387823906 410409 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :christ, the power is flickering. < 1387823935 120305 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :MEANWHILE IN /R/BITCOIN: http://www.reddit.com/r/Bitcoin/comments/1tijj6/paul_krugman_disses_bitcoin_again/ce8dfsv < 1387823946 836806 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :LinearInterpol: thanks much! < 1387823958 954942 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I need to remember to set to {0} if I want it at 0... < 1387823963 789147 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Edwardz: pff. fizzie helped you. < 1387823963 986247 :nooodl!~nooodl@91.176.187.101 JOIN :#esoteric < 1387823971 581210 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :fizzie: Thanks to you, too! < 1387823977 487214 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Edwardz: bear in mind that that notation is only valid in c99. < 1387823981 319984 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :thanks to the esolang community ;) < 1387824000 696482 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Only c99? Why is that? < 1387824003 574437 :Bike!~Glossina@174-25-41-229.ptld.qwest.net PRIVMSG #esoteric :damn establishment shills < 1387824010 587592 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Just is. < 1387824027 259592 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Edwardz: It was introduced in C99. < 1387824032 423243 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :What would be the new equivalent < 1387824034 939416 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :? < 1387824040 570748 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :C99 is new. < 1387824041 312342 :ion!ion@heh.fi PRIVMSG #esoteric :Cool, I can investigate an InvestigationTarget. http://cloud-4.steampowered.com/ugc/451782616472490608/1B00D268228AA5AD8C9E9343F793E5A3A12204BA/ < 1387824051 664105 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Oh, I thought there was a newer < 1387824053 129193 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :huh. < 1387824056 778309 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :There's C11. < 1387824061 145514 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :But we don't.. we don't talk about that. < 1387824065 118045 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :.... Gotcha. < 1387824068 339998 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What is new in C99? < 1387824090 920405 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :fizzie: "new" is relative compared to C89. < 1387824098 782161 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :C99 rocks < 1387824100 959106 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No, I mean, what's "that notation"? < 1387824103 856945 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :{} < 1387824108 158585 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Initializers. < 1387824110 130152 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's very untrue. < 1387824111 673836 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :http://pastebin.com/DNVkKshB < 1387824129 111835 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i think the struct initializer = { .foo = 3, .bar = 4 } is new though < 1387824133 323016 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :before I clean up the code a bit and make it prettier, lighterweight, and add the ',' operator for brainfuck < 1387824140 830588 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's v. convenient b/c it sets the rest to 0 < 1387824142 866943 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Compound literals are a thing involving {} that are new in C99, and designated initializers too, but basic array initialization is old as bones. < 1387824151 113925 :ion!ion@heh.fi PRIVMSG #esoteric :fizzie: The one C99 change i’m probably using the most is for (foo x = …; …; …) etc. < 1387824168 448463 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :^ < 1387824242 519853 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The code is C99 due to mixed declarations and code, but there's nothing C99 about the initializers. < 1387824262 937231 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And not even that in the generated code. < 1387824351 812599 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1387824427 943800 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :fizzie: You are.. correct. Array initializers are in C89, huh. Thought they were added in C99 along with struct initializers. < 1387824495 318659 :MindlessDrone!~MindlessD@HSI-KBW-37-49-6-33.hsi14.kabel-badenwuerttemberg.de JOIN :#esoteric < 1387824576 135276 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Struct initializers are C89 too, just the designators are new. < 1387824596 665596 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Yeah. < 1387824600 553931 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :remember that sometimes 0 is really -1 !!! < 1387824615 148719 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wait the only example i can think of is in c++ < 1387824692 763348 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :I know nothing of c++... Only a bit of time though. < 1387824781 651727 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"A bit in time saves nine," they say. < 1387824849 510627 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :LinearInterpol: How would I turn this into an interpreter? Compile the code, then run the make and ./ commands? < 1387824855 536967 :MindlessDrone!~MindlessD@HSI-KBW-37-49-6-33.hsi14.kabel-badenwuerttemberg.de QUIT :Quit: MindlessDrone < 1387824891 379119 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Edwardz: That's one way, albeit very messy. < 1387824906 270973 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :How would I do it, then? < 1387824919 21585 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :So that all you do is run the program, without needing to do anything else? < 1387824954 776701 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Replace your "run file" function's code with what you'd generate. < 1387825035 144112 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Edit the makefile? < 1387825050 768797 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Your .c file. < 1387825102 91256 :Bike_!~Glossina@67-5-214-16.ptld.qwest.net JOIN :#esoteric < 1387825117 90179 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Oooohhh I see. < 1387825126 29277 :Bike!~Glossina@174-25-41-229.ptld.qwest.net QUIT :Ping timeout: 272 seconds < 1387825127 810508 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :Okay, I'll do that. < 1387825140 623148 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 PRIVMSG #esoteric :But for now, off to hike Stone Mountain, y'all enjoy yourselves! < 1387825148 708922 :Bike_!~Glossina@67-5-214-16.ptld.qwest.net NICK :Bike < 1387825156 468631 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Peace! < 1387825176 459355 :Edwardz!47ec1e9a@gateway/web/freenode/ip.71.236.30.154 QUIT : < 1387825339 180573 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :god what-if's been so boring lately < 1387825371 208545 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :all the questions are just 'how big is this boring number', not 'how well can you illustrate this ridiculous scenario' < 1387825898 809884 :Slereah_!~Slereah@ALille-656-1-43-106.w83-198.abo.wanadoo.fr QUIT :Ping timeout: 264 seconds < 1387826376 919336 :Tefaj!~jafet@static.77.207.4.46.clients.your-server.de JOIN :#esoteric < 1387826625 478730 :yorick_!~yorick@oftn/member/yorick JOIN :#esoteric < 1387826714 696879 :yorick_!~yorick@oftn/member/yorick QUIT :Client Quit < 1387826767 292383 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Some C99 features are also available in GNU89 mode, although some work a bit differently, and some features are different. < 1387826784 344432 :yorick!~yorick@oftn/member/yorick QUIT :*.net *.split < 1387826784 584557 :Jafet!~jafet@static.77.207.4.46.clients.your-server.de QUIT :*.net *.split < 1387826785 759555 :aloril!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi QUIT :*.net *.split < 1387826933 791273 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1387827040 2016 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I happen to like zero-length arrays, which is a GNU feature, and I don't like the flexible arrays. < 1387827065 767586 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why, again? < 1387827191 434969 :aloril!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi JOIN :#esoteric < 1387827209 825206 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Zero-length arrays are a useful feature, mostly to use at the end of a structure definition, although you don't have to; it can occasionally be useful in the middle or something else instead. < 1387827242 5084 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I also think it is more sensible and doesn't require an exception to anything in order to implement. < 1387827268 457583 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :It is more mathematically elegant. < 1387827287 716001 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :GNU also supports zero-length structures, which is also just as sensible too, in my opinion. < 1387827528 367273 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :Empty structures are awesome. < 1387827559 447037 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Those behave differently in GNU C and GNU C++, don't they? < 1387827576 552081 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :they do. < 1387827625 90288 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :shachaf: Yes, I think that is correct. The way they work in C++ is no good in my opinion but if you program in C++ then that is what you use. < 1387827687 309583 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :shachaf: Since structures are effectively classes with their members set to public by default, empty structures act as empty classes, which is defined by the standard last I checked. < 1387827746 997817 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :C99 (iirc) was standard that fully defined empty structures for C. < 1387827769 312601 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :In that they aren't truthfully allowed. < 1387827856 788709 :Bike!~Glossina@67-5-214-16.ptld.qwest.net PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Medieval_Unicode_Font_Initiative wait, so they have this, but multiocular o is official? < 1387827866 567543 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :It's been.. a while since I've looked at C99 or C89's standard. < 1387827879 899256 :boily!~boily@207.112.39.31 QUIT :Ping timeout: 240 seconds < 1387827904 50234 :boily!~boily@207.112.39.31 JOIN :#esoteric < 1387828266 174031 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I have written what I would consider improvement to C standards; these improvements do not require any runtime support (except for some new numeric types, which *might* need it but can be emulated if needed), but much more things are done with macros now. < 1387828361 257529 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :Including one thing that is kind of like C++ templates, but actually very differently. < 1387828510 653372 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :The only thing I would use over C is Forth. < 1387828560 219047 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :I use different programming languages for different purposes. Yes, Forth is good too. < 1387828841 240465 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Ay < 1387828852 738737 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :https://bitbucket.org/mroman_/cobohl < 1387828861 302057 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^- that's what I'm gonna use in the future ;) < 1387828902 964132 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net PRIVMSG #esoteric :hah, nice. < 1387828978 864966 :zzo38!~zzo38@24-207-57-25.eastlink.ca PRIVMSG #esoteric :mroman: Might it be better if you also need quotation marks around the AUTHOR and NAME strings? < 1387829655 969234 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1387829924 1879 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 252 seconds < 1387829978 30848 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover JOIN :#esoteric < 1387830027 702730 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :zzo38: Nah < 1387830032 881311 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'll just parse till end of line :) < 1387830044 593947 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I'm probably gonna switch to writing a haskell interpreter for it < 1387830047 782986 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's probably faster < 1387830057 135615 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and I get garbage collection for free < 1387830091 124120 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and ENTRYPOINT probably belongs into MODULE DIVISION < 1387830206 68458 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If I ever have kids < 1387830217 397927 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the second name will have a new line in it < 1387830220 274749 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Like uhm < 1387830239 612223 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Athene Hele\na < 1387830256 561769 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or hm < 1387830261 497522 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Athene 'Hele\na < 1387830337 841479 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1387830515 617757 :Tefaj!~jafet@static.77.207.4.46.clients.your-server.de PART :#esoteric < 1387830907 922853 :AnotherTest!~turingcom@94-224-30-45.access.telenet.be QUIT :Ping timeout: 246 seconds < 1387831116 856940 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1387831232 641107 :boily!~boily@207.112.39.31 PRIVMSG #esoteric :quintopia: quinthellopia. still vacationing under the sun? < 1387832488 150093 :Slereah_!~Slereah@ALille-656-1-43-106.w83-198.abo.wanadoo.fr JOIN :#esoteric < 1387832512 94847 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 JOIN :#esoteric < 1387832679 233952 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :mroman: i think the fashionable thing is like http://xkcd.com/327/ hth < 1387832687 503289 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1387832761 994386 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover QUIT :Ping timeout: 252 seconds < 1387833748 917578 :boily!~boily@207.112.39.31 PRIVMSG #esoteric :uhm. is it me, or is CAO currently down? < 1387833768 65530 :boily!~boily@207.112.39.31 PRIVMSG #esoteric :it's me. can't type a simple 5-letter work. < 1387833770 337737 :boily!~boily@207.112.39.31 PRIVMSG #esoteric :s/k/d/ < 1387833780 53941 :Slereah_!~Slereah@ALille-656-1-43-106.w83-198.abo.wanadoo.fr QUIT :Ping timeout: 255 seconds < 1387833782 305802 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :_or_ 4-letter. < 1387833835 843865 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :also, what is CAO? < 1387833842 492866 :boily!~boily@207.112.39.31 PRIVMSG #esoteric :crawl.akrasiac.org. < 1387833878 194080 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :aha < 1387833974 321728 :boily!~boily@207.112.39.31 PRIVMSG #esoteric :yes. I'm an addict, and I accept that fact. < 1387834037 986637 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :i implied nothing. < 1387834149 988037 :Slereah_!~Slereah@ALille-656-1-43-106.w83-198.abo.wanadoo.fr JOIN :#esoteric < 1387834215 793152 :boily!~boily@207.112.39.31 PRIVMSG #esoteric :I SELF PROCLAIM MY ADDICTION! < 1387834219 933226 :boily!~boily@207.112.39.31 PRIVMSG #esoteric :(also, I am sane.) < 1387834236 908276 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :`? mad < 1387834238 825723 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​"But I don't want to go among mad people," Alice remarked. "Oh, you can't help that," said the Cat: "we're all mad here. I'm mad. You're mad." "How do you know I'm mad?" said Alice. "You must be," said the Cat, "or you wouldn't have come here." < 1387834264 990823 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I wonder if that's in the original INTERCAL manual < 1387834275 325033 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, the C-INTERCAL Revised manual < 1387834284 177072 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one of the revisions was adding Alice in Wonderland quotes at the start of every chapter < 1387834288 106580 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and that one seems to fit < 1387834313 530290 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ais523: it's in the introduction < 1387834322 276157 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right < 1387834839 62755 :metasepia!~metasepia@207.112.39.31 QUIT :Ping timeout: 240 seconds < 1387834874 28002 :boily!~boily@207.112.39.31 QUIT :Ping timeout: 252 seconds < 1387835086 931042 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net QUIT :Ping timeout: 246 seconds < 1387835105 484008 :^v!~NotPing@c-71-238-153-166.hsd1.mi.comcast.net NICK :jacob3 < 1387835109 118799 :jacob3!~NotPing@c-71-238-153-166.hsd1.mi.comcast.net NICK :^v < 1387835401 792856 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric ::\ < 1387835444 913653 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1387837047 433437 :mauke!~mauke@p3m/member/mauke PRIVMSG #esoteric :`run echo $'LET a = 0 + b' | ploki -MO=Deparse < 1387837048 960070 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :LET a 1 + b \ END < 1387837111 311402 :oerjan!6d6cca49@gateway/web/freenode/ip.109.108.202.73 PRIVMSG #esoteric :mauke: looks logical < 1387837139 486312 :mauke!~mauke@p3m/member/mauke PRIVMSG #esoteric :`run echo $'LETa+=c+@NOTc\na_"\nLETc b+@NOTb\nLETb a\nIF' | ploki < 1387837141 44938 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 \ 144 \ 233 \ 377 \ 610 \ 987 \ 1597 \ 2584 \ 4181 \ 6765 \ 10946 \ 17711 \ 28657 \ 46368 \ 75025 \ 121393 \ 196418 \ 317811 \ 514229 \ 832040 \ 1346269 \ 2178309 \ 3524578 \ 5702887 \ 9227465 \ 14930352 \ 24157817 \ 39088169 \ 63245986 \ 102334155 \ 165580141 \ 267914296 \ 433494437 \ 701408733 \ 11349031 < 1387837230 627069 :mauke!~mauke@p3m/member/mauke PRIVMSG #esoteric :`run echo $'LETa+=c+@NOTc\na_"\nLETc b+@NOTb\nLETb a\nIF' | ploki -MO=Deparse < 1387837232 54447 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :FOR x0 LET a += b + @NOT(b) \ WUNT (a _ "\n") \ LET b c + @NOT(c) \ LET c a \ NEXT x0 < 1387837706 406224 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what the hell < 1387837765 349388 :ion!ion@heh.fi PRIVMSG #esoteric :shachaf: http://heh.fi/tmp/LATIN_SMALL_LIGATURE_IJ.png < 1387838216 152518 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover JOIN :#esoteric < 1387838539 920385 :waltom!~gamasi@202.70.34.18 JOIN :#esoteric < 1387838550 992213 :nycs!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com JOIN :#esoteric < 1387838558 754445 :waltom!~gamasi@202.70.34.18 PART :#esoteric < 1387838572 267892 :waltom!~gamasi@202.70.34.18 JOIN :#esoteric < 1387838636 58957 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com QUIT :Ping timeout: 252 seconds < 1387838720 515450 :waltom!~gamasi@202.70.34.18 PART :#esoteric < 1387839734 25814 :LinearInterpol!~RJones@ip-64-134-242-146.public.wayport.net JOIN :#esoteric < 1387841081 876499 :augur!~augur@65.199.61.222 JOIN :#esoteric < 1387841150 684386 :hogeyui_!~hogeyuiVP@vps.usamimi.biz QUIT :Ping timeout: 240 seconds < 1387841174 384281 :hogeyui_!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1387841912 77510 :Sorella!~quildreen@oftn/member/Sorella QUIT :Remote host closed the connection < 1387842082 641675 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1387842755 778728 :Slereah_!~Slereah@ALille-656-1-43-106.w83-198.abo.wanadoo.fr QUIT :Remote host closed the connection < 1387842774 399414 :Slereah_!~Slereah@ALille-656-1-43-106.w83-198.abo.wanadoo.fr JOIN :#esoteric < 1387843083 334926 :Slereah_!~Slereah@ALille-656-1-43-106.w83-198.abo.wanadoo.fr QUIT :Ping timeout: 272 seconds