< 1348358530 569947 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: did you know about SMEP? < 1348358571 125626 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :prevents the CPU from executing user-accessible memory in kernel mode < 1348358614 909865 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, you mentioned it in here a few days ago, I think. < 1348358621 568973 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1348358632 838012 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :okay < 1348358644 353557 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :this will result in kernel exploits being more interesting :) < 1348358715 344517 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i think it does not actually provide much security, because userspace NX exploitation is already such a well-developed field < 1348358854 82715 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wonder how much overhead all these things have. < 1348358865 331745 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :SMEP should have basically no overhead < 1348358874 952026 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :if you're talking about processor performance < 1348358889 314084 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, but things like -fstack-protector do have some. < 1348358892 187647 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1348358898 336195 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean overall compared to "if we didn't have to worry about security". < 1348358901 677011 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i did some measurements for the mosh hardening project < 1348358908 19832 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :results vary < 1348358912 682466 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Alternatively "if we had better ways to deal with security issues than things like -fstack-protector". < 1348358929 137871 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Which we do, of course. But anyway.) < 1348358939 343964 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :well, yes and no < 1348358941 836575 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :defense in depth :) < 1348358950 517252 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure. < 1348359054 114266 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i had this argument with ezyang when he suggested that SafeHaskell provides browser-quality sandboxing "for free" < 1348359078 777783 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :theoretically, sure < 1348359084 700630 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION is very suspicious of things like SafeHaskell.
< 1348359090 195887 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And SecureECMAScript and all those. < 1348359097 216342 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :but how much do you trust the GHC runtime system, a 50,000 line 20 year old concurrent C program? < 1348359114 574016 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :not to mention the implementation of SafeHaskell itself, which is very new < 1348359351 157733 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :of course we all know that writing secure C code is easy if you are not an idiot < 1348359360 764174 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :(an idiot is anyone who ever makes a mistake) < 1348359417 465672 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :that's why i write all my C code using randomly generated identifier names and no whitespace < 1348359426 47941 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :if you can't understand it, you have no business programming in C to begin with < 1348359430 924348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@fresh < 1348359431 341212 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Hahp < 1348359440 632691 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :Halp < 1348359445 720818 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Isn't the JVM supposed to be a secure sandbox, in theory? < 1348359450 61168 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :At least for usages such as applets? < 1348359455 179140 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1348359458 269018 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (ord 'l' - ord 'h') * 26 < 1348359459 424418 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 104 < 1348359461 739291 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :omg clojure < 1348359485 138648 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Don't disclojure, man. < 1348359488 564965 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :-_- < 1348359525 267439 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 260 seconds < 1348359555 273497 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :And, well, "supposed tp" doesn't always seem to work out :( < 1348359557 37751 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Wish it did < 1348359564 725847 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :*to < 1348359566 637781 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :sure, in theory JVM is secure, but it might have a bug, and anything which might have a bug is no better than nothing at all < 1348359576 636407 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :that's why i run all my programs in ring 0 < 1348359587 315191 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i mean, linux might have a privilege escalation bug, so there is no point to even running any code in userspace < 1348359593 868131 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :ok troll mode disengage < 1348359607 617907 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: The switch is stuck! < 1348359613 326612 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION pushes harder
< 1348359641 105220 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.youtube.com/watch?v=14xcsz43Kuw#t=16s < 1348359687 526022 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> "tr"++cycle"ol" < 1348359689 487595 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "trolololololololololololololololololololololololololololololololololololol... < 1348359715 762457 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i think a trollcycle is a bicycle where the brakes don't work < 1348359728 554224 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: That's just a rollcycle < 1348359731 486649 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :okay < 1348359754 866108 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I hope y'all're watching that video!!!!!! < 1348359756 454587 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :`run java -jar clojure-1.4.0.jar "(str [1 2 3])" < 1348359765 84852 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1348359774 332834 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :zzz < 1348359777 964626 :HackEgo!codu@codu.org PRIVMSG #esoteric :Exception in thread "main" java.io.FileNotFoundException: (str [1 2 3]) (No such file or directory) \.at java.io.FileInputStream.open(Native Method) \.at java.io.FileInputStream.(FileInputStream.java:137) \.at java.io.FileInputStream.(FileInputStream.java:96) \.at clojure.lang.Compiler.loadFile(Compiler.java:6909) \..at clojure.main$load_script.invoke(main.clj:283) \.at < 1348359790 474137 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`run ls < 1348359792 90102 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I... uh < 1348359795 328779 :HackEgo!codu@codu.org PRIVMSG #esoteric :bin \ canary \ clojure-1.4.0.jar \ foo \ karma \ lib \ paste \ quotes \ share \ wisdom \ zalgo.hs < 1348359808 631189 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`run mv clojure-1.4.0.jar /tmp/junk < 1348359812 29913 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1348359813 776651 :augur!~augur@c-98-218-127-183.hsd1.md.comcast.net JOIN :#esoteric < 1348359824 816612 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :`run mv /tmp/junk/clojure-1.4.0.jar ~ < 1348359827 873989 :HackEgo!codu@codu.org PRIVMSG #esoteric :mv: cannot stat `/tmp/junk/clojure-1.4.0.jar': No such file or directory < 1348359835 940092 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric ::( < 1348359855 33338 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :`ls < 1348359858 391629 :HackEgo!codu@codu.org PRIVMSG #esoteric :bin \ canary \ foo \ karma \ lib \ paste \ quotes \ share \ wisdom \ zalgo.hs < 1348359867 627774 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :`ls /tmp/junk < 1348359870 972660 :HackEgo!codu@codu.org PRIVMSG #esoteric :ls: cannot access /tmp/junk: No such file or directory < 1348359873 423764 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This channel doesn't need a Clojurebot. < 1348359890 453237 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :It's a better clojurebot than clojurebot < 1348359895 974752 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1348359953 642271 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I don't entirely get what happened with /tmp/junk < 1348360010 848131 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't either. < 1348360891 293982 :TeruFSX!~TeruFSX@65-128-188-237.mpls.qwest.net JOIN :#esoteric < 1348362794 761042 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 240 seconds < 1348362829 516604 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1348363090 156303 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PRIVMSG #esoteric :bye < 1348363095 747457 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PART :#esoteric < 1348363790 84779 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1348364172 813102 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1348364178 141549 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1348364378 312907 :augur!~augur@c-98-218-127-183.hsd1.md.comcast.net QUIT :Remote host closed the connection < 1348364575 71230 :augur_!~augur@c-98-218-127-183.hsd1.md.comcast.net JOIN :#esoteric < 1348365108 313059 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1348365268 790438 :augur_!~augur@c-98-218-127-183.hsd1.md.comcast.net QUIT :Remote host closed the connection < 1348365432 251931 :augur_!~augur@c-98-218-127-183.hsd1.md.comcast.net JOIN :#esoteric < 1348365622 997583 :augur_!~augur@c-98-218-127-183.hsd1.md.comcast.net QUIT :Remote host closed the connection < 1348366969 957259 :carado!~user4539@2a01:e35:2e3d:3ef0:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1348367163 748313 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1348367821 121807 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1348367926 227373 :carado!~user4539@2a01:e35:2e3d:3ef0:6ef0:49ff:fe73:1fd0 QUIT :Quit: Leaving < 1348368048 5474 :segorev!~cherep@217.172.23.118 QUIT :Quit: This computer has gone to sleep < 1348368285 688083 :itidus20!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au NICK :itidus21 < 1348369054 805701 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1348369126 508100 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hullo < 1348369720 730995 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you know the call/cc yin yang? < 1348370582 331273 :DH____!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1348370587 302798 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1348370832 411124 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1348370837 318242 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1348371498 128452 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: getcc :: MonadCont m => m (m a) is a fun Cont thing. < 1348371691 967351 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :heh < 1348371799 749120 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You need fix to implement it, though. < 1348371819 859853 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Since you can use it to make infinite loops, of course.) < 1348371838 769646 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I wonder if the delimited continuations library that currently exists for Clojure allows for the continuations to be passed to untransformed code < 1348371842 353830 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Because that would be cool < 1348371867 46449 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :And for some bizarre reason I'm under the impression that it should be theoretically possible < 1348371893 545661 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the most unclojury topic in the world? < 1348371903 337179 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I bet Sgeo could relate it to Clojure. < 1348371937 198928 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1348372186 532565 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :"In C, a compound literal designates an unnamed object with static or automatic storage duration. In C++, a compound literal designates a temporary object, which only lives until the end of its full-expression. As a result, well-defined C code that takes the address of a subobject of a compound literal can be undefined in C++." < 1348372197 873192 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yikes < 1348372226 837757 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, that's fun. < 1348372230 754645 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :(compound literal is something like (struct foo) { 1, 2, 3 } ) < 1348372249 604460 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does that work with arrays? < 1348372261 451840 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(int[3]){1,2,3} < 1348372275 476230 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1348372278 670868 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Neat. < 1348372279 346300 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Didn't C++ used to just compile to C? < 1348372279 647622 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :according to GCC manual < 1348372298 351929 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: C++ is a language not an implementation < 1348372311 779376 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :you're right that some C++ implementations work this way, including the first implementations < 1348372322 762204 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :'Cfront was the original compiler for C++ (then known as "C with Classes") from around 1983, which converted C++ to C' < 1348372352 54250 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :Comeau C++ works this way too < 1348372367 96336 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :GHC worked that way too. < 1348372381 805823 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, not really. < 1348372394 470384 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :compound literals weren't in C until C99 < 1348372400 113480 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :presumably if a C++ < 1348372402 23728 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :er < 1348372431 548471 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :presumably a C++-to-C compiler translates C++ compound literals to something else in C < 1348372449 710073 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :oh, but compound literals aren't in C++ either -- supporting them in C++ mode is a GNU extension < 1348372470 270466 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :will there eventually be a version of C++ based on C99? is C++11 based on C99? < 1348372993 243243 :DH____!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1348373038 328067 :segorev!~cherep@193.34.208.210 JOIN :#esoteric < 1348373518 860290 :segorev!~cherep@193.34.208.210 QUIT :Quit: Leaving < 1348373596 767538 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1348373782 838884 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kmc, what do you think about emacs? < 1348374376 225933 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i know the question was addressed to kmc, but, emacs is a substandard nes emulator < 1348374391 26314 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :and i have never used it < 1348374517 576576 :ion!ion@heh.fi PRIVMSG #esoteric :GNU GRUB 2 is a much better bootloader than Emacs. < 1348374730 304244 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :When I was in 6th grade, I thought my book saying that some people consider emacs to be almost like an OS meant that I could literally boot into it from the CD. < 1348374742 771894 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I was hoping that that would help me fix my inability to boot my computer. < 1348374790 712675 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION waits for the Clojure tie-in.
< 1348374815 644412 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Clojure is currently my main motivation to learn Emacs... so that's a sort of tie-in. < 1348374834 180421 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :We got it! < 1348374843 169557 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :You asked for it! < 1348374849 329622 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf professional clairvoyant??? < 1348374869 329277 :ion!ion@heh.fi PRIVMSG #esoteric :When i was in 6th grade i hadn’t ever seen a CD in real life. < 1348374885 130664 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: not professional :'( < 1348374890 747459 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: will you pay me for it????????? < 1348374892 243259 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :could've fooled me! < 1348374893 36294 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1348374893 130221 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(answer: no) < 1348374895 822082 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I would give you my money < 1348374902 936071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: do you have a money < 1348374903 801322 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :if you can turn it into future telling < 1348374905 977301 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :and you can < 1348374914 792770 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I don't have money though < 1348374953 803491 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy::;what if i giv emo you moa a money? < 1348375034 960289 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :give money to yourself and then maybe you will be able to tell the future for yourself < 1348375038 37008 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what is the future like < 1348375067 77299 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :in the future i havea as much amoney as the present :'( < 1348375196 791383 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :in the future there will be flying cars and public holograms < 1348377179 158710 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The MMC5 Famicom mapper can use ExRAM as an extra nametable or attribute table, but when used in this mode, it is write-only, and if the PPU is not rendering, it will write zero instead of the value you are trying to write. Do you know what logic causes this to happen? < 1348378058 737577 :kinoSi!~kinosi@27-96-32-84.ipq.jp QUIT :Read error: Connection reset by peer < 1348378086 21322 :kinoSi!~kinosi@27-96-32-84.ipq.jp JOIN :#esoteric < 1348378302 101594 :TeruFSX!~TeruFSX@65-128-188-237.mpls.qwest.net QUIT :Ping timeout: 244 seconds < 1348379506 503075 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What does a RAM chip normally do if some of the address lines are not connected? < 1348379575 587513 :ztirf!~ztirf@HSI-KBW-078-043-031-070.hsi4.kabel-badenwuerttemberg.de JOIN :#esoteric < 1348379746 638512 :ztirf!~ztirf@HSI-KBW-078-043-031-070.hsi4.kabel-badenwuerttemberg.de QUIT :Client Quit < 1348380358 264620 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1348383204 739594 :Slereah!~jackal@ANantes-259-1-174-33.w90-49.abo.wanadoo.fr QUIT :*.net *.split < 1348383204 863634 :lahwran!lahwran@unaffiliated/lahwran QUIT :*.net *.split < 1348383204 889378 :constant!root@freebsd/developer/variable QUIT :*.net *.split < 1348383205 72100 :Sanqui!~SankyZNC@unaffiliated/sanky QUIT :*.net *.split < 1348383205 341686 :comex!~comex@ec2-23-22-255-183.compute-1.amazonaws.com QUIT :Read error: Operation timed out < 1348383220 140712 :atriq!~nathan@host-78-148-13-125.as13285.net JOIN :#esoteric < 1348383367 270471 :comex!~comex@ec2-23-22-255-183.compute-1.amazonaws.com JOIN :#esoteric < 1348383879 263508 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Is newtype CList a = CList ((a -> CList a -> a) -> a) a Functor? < 1348383886 532788 :nvt!nvt@kapsi.fi QUIT :Ping timeout: 256 seconds < 1348383933 900899 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :atriq: Doesn't look like a Functor, since it's invariant (?). < 1348383963 783830 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :It's meant to be a homogenous church list < 1348383996 645338 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Typed Church lists are generally homogeneous, aren't they? < 1348384003 778088 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty foldr < 1348384005 127438 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b. (a -> b -> b) -> b -> [a] -> b < 1348384006 520125 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Perhaps < 1348384017 343035 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1348384019 36781 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :type ChurchList a = forall b. (a -> b -> b) -> b -> b < 1348384062 804628 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Or rather, an infinite church list, apparently < 1348384084 203881 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(a -> b -> b) -> b? < 1348384095 728247 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :(a -> CList a -> a) -> a < 1348384104 81420 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :I've just woken up < 1348384114 270168 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :I shouldn't read edwardk when I'm half asleep < 1348384120 41352 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you trying for a Scott list instead of a Church list? < 1348384120 323396 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :And I shouldn't follow my dreams < 1348384123 570729 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/list/stream/g < 1348384126 503468 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :I don't know? < 1348384128 236173 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Maybe? < 1348384159 42153 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or "Boehm-Berarducci", as Oleg apparently pointed out? < 1348384178 50592 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, no. < 1348384182 11150 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://comments.gmane.org/gmane.comp.lang.haskell.cafe/100508 < 1348384184 347852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's ChurchList. < 1348384212 756646 :Slereah!~jackal@ANantes-259-1-174-33.w90-49.abo.wanadoo.fr JOIN :#esoteric < 1348384212 776300 :Sanqui!~SankyZNC@unaffiliated/sanky JOIN :#esoteric < 1348384212 776424 :lahwran!lahwran@unaffiliated/lahwran JOIN :#esoteric < 1348384212 776500 :constant!root@freebsd/developer/variable JOIN :#esoteric < 1348384398 387043 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :My attempts to do a church list without making a new type result in infinite types < 1348384438 396665 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You're probably trying for a Scott list instead of a Churchy list. < 1348384464 981680 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Churchy is foldr. < 1348384480 580060 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Hmm < 1348384483 657930 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Such that clist (:) [] == actualList < 1348384493 977902 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :fix (pair 1 . unsafeCoerce) seems to work < 1348384513 663348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, it's not pairs. < 1348384517 490878 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION will stop now.
< 1348384520 183320 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Okay < 1348384526 572869 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :I'm not doing a Church list < 1348384537 816651 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :I'm doing something which until now I thought was called a church list < 1348384550 349233 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK -- you need recursive types for a recursive Scott encoding. < 1348384935 973402 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Hmm < 1348385158 143531 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Thank you, shachaf < 1348385162 443343 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :You've been a real help < 1348385207 516630 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1348385234 548775 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :With my SECOND HASKELL OBFUSCATION < 1348385448 192207 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric ::t \h t c n -> c h (t c n) < 1348385449 283964 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall t t1 t2 t3. t -> ((t -> t2 -> t3) -> t1 -> t2) -> (t -> t2 -> t3) -> t1 -> t3 < 1348385463 119450 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric ::t ap (const ap) (ap (const (ap (const ap))) (ap (const (ap (const const))) (ap (const (ap id)) const))) < 1348385464 222782 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall b a b1 b2. b -> ((b -> a -> b1) -> b2 -> a) -> (b -> a -> b1) -> b2 -> b1 < 1348385607 394398 :nvt!nvt@kapsi.fi JOIN :#esoteric < 1348386280 260234 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1348386298 938522 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Hmm < 1348386305 676787 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :I'm gonna need unsafeCoerce anyway < 1348386367 449513 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Woo! Core dump! < 1348387041 139614 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what did you do and why did you do it < 1348387073 505166 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :more questions: why didn't you not do it < 1348387090 774955 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :guilt and shame: you could have avoided it < 1348387111 155401 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: Could I have avoided guilt and shame? < 1348387123 186546 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :are you guilty of something shameful < 1348387140 383642 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :monqy, I used to many unsafeCoerces, for fun, because MY MIND COMMANDED TO ME, yes and I did < 1348387159 683128 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: I don't know. :-( < 1348387168 951912 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: you may or may not have already avoided it < 1348387378 110097 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Good point monqy. < 1348387384 836799 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Good poinqy. < 1348387390 952295 :mig22!~miguelort@bb116-15-0-183.singnet.com.sg JOIN :#esoteric < 1348387453 657448 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :> Identity 1 >> Identity 'a' < 1348387454 769286 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Show.Show < 1348387454 957374 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (Data.Functor.Identity.I... < 1348387461 496890 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :> runIdentity (Identity 1 >> Identity 'a') < 1348387462 679020 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 'a' < 1348387471 730648 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :> const id 1 'a' < 1348387472 809842 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 'a' < 1348387821 276991 :MoALTz!~no@host-92-2-117-165.as43234.net JOIN :#esoteric < 1348388138 739132 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1348389340 406333 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1348389509 65578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :00:25:53: I don't entirely get what happened with /tmp/junk < 1348389509 84226 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :00:26:50: I don't either. < 1348389572 682394 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am guessing that it disappeared when HackEgo's chroot was wiped out; only the HackEgo directory is kept in the repository. < 1348389581 354006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ls /tmp < 1348389593 334846 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1348389610 503412 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ls / < 1348389614 251074 :HackEgo!codu@codu.org PRIVMSG #esoteric :bin \ dev \ etc \ hackenv \ home \ lib \ lib64 \ opt \ proc \ sbin \ sys \ tmp \ usr \ var < 1348389628 282057 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo test >/tmp/test123 < 1348389631 754767 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1348389635 453909 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ls /tmp < 1348389639 639560 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1348389647 550104 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo test >/tmp/test123; ls /tmp < 1348389651 130920 :HackEgo!codu@codu.org PRIVMSG #esoteric :test123 < 1348389663 563275 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pwd < 1348389666 527406 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/hackenv < 1348389681 157747 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :everything you want kept needs to be put in there < 1348389746 909796 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :`run echo test >/blah < 1348389750 819827 :HackEgo!codu@codu.org PRIVMSG #esoteric :bash: /blah: Permission denied < 1348389773 810184 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ls /var < 1348389776 970147 :HackEgo!codu@codu.org PRIVMSG #esoteric :irclogs < 1348390329 763856 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Is newtype CList a = CList ((a -> CList a -> a) -> a) a Functor? < 1348390387 27531 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that scott thing aside, i think that should be newtype CList a = CList (forall b. (a -> CList a -> b) -> b) < 1348390408 610635 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in which case it might be a functor < 1348390537 363630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fmap f (CList l) = CList $ \p -> l (\a as -> p (f a) (fmap f as)) or so < 1348390607 590830 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not sure if that lambda needs to be extracted to get an explicit type annotation < 1348390657 556527 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :probably not, since that's similar to legal stuff with runST < 1348391545 163097 :atriq!~nathan@host-78-148-13-125.as13285.net QUIT :Remote host closed the connection < 1348391633 998554 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Your FAQ is at the top of the Google results for «haskell faq» now! < 1348392444 383183 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1348393175 381073 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1348395115 955157 :carado!~user4539@2a01:e35:2e3d:3ef0:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1348395785 617071 :AnotherTest!~tim@94-224-23-97.access.telenet.be JOIN :#esoteric < 1348395792 400293 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :Hello < 1348395981 696137 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :g'da < 1348395983 95117 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :y < 1348397097 291196 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (0 :+ 1) ** (0 :+ 1) < 1348397098 414880 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 0.20787957635076193 :+ 0.0 < 1348397912 723489 :xzy!~xzy@218.79.228.12 JOIN :#esoteric < 1348397936 852076 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`welcome xzy < 1348397940 492000 :HackEgo!codu@codu.org PRIVMSG #esoteric :xzy: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1348398013 658463 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although it's very quiet this time of week/day < 1348399034 478791 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1348399499 595219 :asiekierka_!~asiekierk@078088172191.elblag.vectranet.pl JOIN :#esoteric < 1348399500 932895 :asiekierka_!~asiekierk@078088172191.elblag.vectranet.pl PRIVMSG #esoteric :hello < 1348399540 157361 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: A time of week/day that's not a weekday. < 1348399655 239508 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well basically _both_ the time of week and time of day are about pessimal now < 1348399959 341267 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm pretty sure I had a week-wrapped graph too, but http://xn--nxa.zem.fi/~fis/test7h.png says 9-10am Finnish time (it's now about 14:32) is more pessimal. < 1348399976 753046 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not that this is much better. < 1348399990 542344 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(That's also slightly old.) < 1348400010 374955 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well ok that's worse < 1348400044 217571 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Okay, http://xn--nxa.zem.fi/~fis/test12.png seems to suggest the difference is smaller; that's IIRC a newer plot. < 1348400059 581845 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Newer, not new.) < 1348400077 599686 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1348400123 824440 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Remote host closed the connection < 1348400131 459326 :mig22!~miguelort@bb116-15-0-183.singnet.com.sg QUIT :Quit: mig22 < 1348400136 421175 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it had cpressey and alise in it :P < 1348400164 776753 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The one before had ehird and AnMaster, so... < 1348400577 10565 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 245 seconds < 1348400980 900264 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> 0 ** 0 < 1348400982 33335 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1.0 < 1348400986 452060 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :? < 1348401001 473381 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :Why doesn't that give an error? < 1348401007 76736 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> 0 ^ 0 < 1348401008 239060 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1 < 1348401034 920805 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 0 ^^ 0 < 1348401035 946251 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1.0 < 1348401047 369873 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :>0 ´pow´ 0 < 1348401054 406016 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :oh pow doesn't exist? < 1348401075 120401 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, and if it did, that wouldn't be the right syntax < 1348401102 14785 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :sorry my haskell knowledge is virtually zero < 1348401117 295100 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> 0^^0 < 1348401118 93096 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it has the three operators above < 1348401118 357706 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1.0 < 1348401124 458855 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :so why is that 1? < 1348401134 372897 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :It should be undefined or something? < 1348401155 834578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because it is more useful for it to be 1. < 1348401168 32468 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> isNaN 0/0 < 1348401169 1507 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Real.Fractional GHC.Bool.Bool) < 1348401169 190117 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use o... < 1348401182 425582 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> isNaN (0 / 0) < 1348401183 846337 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : True < 1348401202 406199 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> isNaN 0^0 < 1348401203 426655 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Num.Num GHC.Bool.Bool) < 1348401203 614482 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of `GHC.R... < 1348401206 23454 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :ugh < 1348401215 126602 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> isNaN (0^0) < 1348401216 327755 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : False < 1348401236 9690 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :Why is it more useful for 0^0 = 1? < 1348401261 577577 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for ^ and ^^, presumably it makes no sense to waste time checking the first argument for equality to 0 < 1348401277 452334 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for **, you have to ask the IEEE floating point standard < 1348401303 313072 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also for ^ , because it makes polynomials work naturally < 1348401441 475923 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [sum [a*x^n | (a,n) <- zip [0..] [1,2,3]] | x <- [0..5]] < 1348401442 697893 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [0,3,20,63,144,275] < 1348401508 560726 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1348401832 677977 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :When I round infinity, this happens: < 1348401833 747815 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> round (1/0) < 1348401834 821489 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 179769313486231590772930519078902473361797697894230657273430081157732675805... < 1348401842 282904 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :? < 1348401864 718479 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :@ty round (1/0) < 1348401865 768040 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall b. (Integral b) => b < 1348401900 426774 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> length . show $ round (1/0) < 1348401902 742806 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 309 < 1348401908 952354 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :Why is infinity integral anyway? < 1348401917 261905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it isn't < 1348401924 233462 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :Then why is there no type error? < 1348401926 132019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :round always gives an integral result < 1348401929 567134 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t round < 1348401930 758431 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b. (RealFrac a, Integral b) => a -> b < 1348401936 306544 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> isInfinity (1/0) < 1348401937 466432 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `isInfinity' < 1348401950 735506 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> isInfinite (1/0) < 1348401951 793169 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : True < 1348401979 93795 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i recall that round(1/0) thing from before... < 1348401979 187221 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric ::t isInfinite < 1348401980 514552 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (RealFloat a) => a -> Bool < 1348401984 25753 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 10^309 < 1348401985 248024 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 100000000000000000000000000000000000000000000000000000000000000000000000000... < 1348401994 184945 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 10^309 :: Double < 1348401995 357981 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Infinity < 1348401999 762355 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 10^308 :: Double < 1348402000 888245 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1.0000000000000006e308 < 1348402005 469661 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric ::t 10^309 < 1348402006 740173 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall t. (Num t) => t < 1348402023 963183 :hagb4rd!~perdito@koln-d9329b6e.pool.mediaWays.net PRIVMSG #esoteric ::t 1**1 < 1348402025 288330 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall t. (Floating t) => t < 1348402030 814329 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :so fininity is a RealFloat? < 1348402034 413110 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 1.79769e308 :: Double < 1348402034 600734 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :*infinity < 1348402035 508481 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1.79769e308 < 1348402040 419151 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 1.7977e308 :: Double < 1348402041 550782 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Infinity < 1348402064 166338 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's basically converting the largest possible Double to Integer < 1348402069 542292 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :> fininity < 1348402070 759781 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `fininity' < 1348402084 32987 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> sin(1/0) < 1348402085 313628 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : NaN < 1348402086 815192 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :well that works < 1348402104 424654 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :@google fininity < 1348402105 862886 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :http://www.spellingcenter.com/fininity < 1348402106 50613 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Title: fininity. Suggestions for fininity provided by Spelling Center of the the Free O ... < 1348402109 966513 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> even (1/0) < 1348402111 40265 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `t' in the constraints: < 1348402111 228202 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `GHC.Real.Fractional t' < 1348402111 246753 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :... < 1348402116 694275 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the round thing is probably an accident < 1348402167 858222 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> floatDigits (1/0) < 1348402168 949943 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 53 < 1348402177 952493 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :That must be an accident too? < 1348402232 404132 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :@google finninity < 1348402233 345197 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :http://twitter.com/pyyvaara/statuses/200636046323617795 < 1348402233 531061 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Title: Twitter / Pyyvaara: Just met a Finn! She was jamming ... < 1348402237 944602 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> decodeFloat (1/0) < 1348402238 979349 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (4503599627370496,972) < 1348402251 22665 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> decodeFloat (2/0) < 1348402252 51554 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (4503599627370496,972) < 1348402265 256291 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> floatDigits (undefined :: Double) -- no accident < 1348402266 343912 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 53 < 1348402274 553670 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> 4503599627370496 ^972 < 1348402275 803014 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 182012343000035853826900847249801744536541097171706064167428854069310344820... < 1348402289 757397 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> isInfinite (4503599627370496 ^972) < 1348402290 869711 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : True < 1348402304 316298 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> isInfinite (4503599627370495 ^972) < 1348402305 554442 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : True < 1348402319 377698 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> isInfinite (10^309) < 1348402320 455575 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : True < 1348402327 57525 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :BIT OVERKILL THERE < 1348402335 665129 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> isInfinite (decodeFloat (1/0 - 1 ) ) < 1348402336 668012 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Float.RealFloat < 1348402336 855784 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (GHC.Integer.Type.... < 1348402350 236155 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :isInfinite isn't definite for integrals < 1348402353 786051 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*defined < 1348402375 27754 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or tuples, for that matter < 1348402393 102714 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :let inf = decodeFloat (1/0 - 1 ) in isInfinite (first inf ^ second inf) < 1348402405 445879 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> let inf = decodeFloat (1/0 - 1 ) in isInfinite (first inf ^ second inf) < 1348402406 675580 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (Control.Arrow.Arrow (,)) < 1348402406 863079 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of `Control... < 1348402409 748086 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric ::( < 1348402413 692274 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you realize that's not what decodeFloat does, right? < 1348402422 818671 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :oh wait < 1348402459 489002 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :If decodeFloat x yields (m,n), then x is equal in value to m*b^^n, where b is the floating-point radix, [...] < 1348402492 122727 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 4503599627370495 * 2^972 < 1348402493 247136 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 179769313486231550856124328384506240234343437157459335924404872448581845754... < 1348402546 785768 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> exponent (0/1) < 1348402547 937542 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 0 < 1348402576 754947 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> exponent ( 1 ^10000) < 1348402577 993447 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1 < 1348402592 688166 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> exponent ( 4503599627370495 * 2^972 ) < 1348402593 833923 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1024 < 1348402595 185658 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :Oh I see < 1348402606 921211 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :That's nice < 1348402649 593827 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 4503599627370495 * 2^972 :: Double < 1348402650 680807 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1.7976931348623155e308 < 1348402769 208635 :bastien_!~bastien@ALille-553-1-78-68.w86-192.abo.wanadoo.fr JOIN :#esoteric < 1348402954 25137 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later < 1348403138 911414 :bastien_!~bastien@ALille-553-1-78-68.w86-192.abo.wanadoo.fr PART #esoteric :"Leaving" < 1348403301 960042 :FireFly!~firefly@oftn/member/FireFly QUIT :Ping timeout: 245 seconds < 1348403698 121274 :nys!~nysnamovo@blk-215-85-41.eastlink.ca JOIN :#esoteric < 1348403910 328761 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 264 seconds < 1348404330 553247 :ztirf!~ztirf@HSI-KBW-078-043-031-070.hsi4.kabel-badenwuerttemberg.de JOIN :#esoteric < 1348404808 63949 :hagb4rd!~perdito@koln-d9329b6e.pool.mediaWays.net QUIT :Ping timeout: 245 seconds < 1348405457 111570 :FireFly!~firefly@firefly.xen.prgmr.com JOIN :#esoteric < 1348406015 305340 :epicmonkey!~epicmonke@188.134.41.211 JOIN :#esoteric < 1348406888 649210 :kinoSi!~kinosi@27-96-32-84.ipq.jp QUIT :Read error: Connection reset by peer < 1348406916 349129 :kinoSi!~kinosi@27-96-32-84.ipq.jp JOIN :#esoteric < 1348407543 228417 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1348408052 50211 :hagb4rd!~perdito@koln-d9329b6e.pool.mediaWays.net JOIN :#esoteric < 1348408137 703350 :ztirf!~ztirf@HSI-KBW-078-043-031-070.hsi4.kabel-badenwuerttemberg.de QUIT :Ping timeout: 252 seconds < 1348409305 397681 :AnotherTest!~tim@94-224-23-97.access.telenet.be PRIVMSG #esoteric :> 6.67e-11 * ((5000 * 6000) / 1000^2) < 1348409306 554879 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 2.001e-9 < 1348410194 748041 :FireFly!~firefly@firefly.xen.prgmr.com QUIT :Ping timeout: 240 seconds < 1348411367 220166 :Effilry!~firefly@firefly.xen.prgmr.com JOIN :#esoteric < 1348411535 442093 :Effilry!~firefly@firefly.xen.prgmr.com QUIT :Changing host < 1348411535 498710 :Effilry!~firefly@oftn/member/FireFly JOIN :#esoteric < 1348411545 2162 :Effilry!~firefly@oftn/member/FireFly NICK :FireFly < 1348412019 558024 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1348412035 268403 :FireFly!~firefly@oftn/member/FireFly QUIT :Ping timeout: 246 seconds < 1348412431 747055 :TeruFSX!~TeruFSX@65-128-188-237.mpls.qwest.net JOIN :#esoteric < 1348413046 224816 :FireFly!~firefly@firefly.xen.prgmr.com JOIN :#esoteric < 1348413089 265736 :asiekierka_!~asiekierk@078088172191.elblag.vectranet.pl QUIT :Ping timeout: 260 seconds < 1348414061 154018 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1348414360 723014 :xiaoding!~GaoMing@27.115.82.230 JOIN :#esoteric < 1348414379 285009 :xiaoding!~GaoMing@27.115.82.230 PART :#esoteric < 1348414728 900256 :xiaoding!~GaoMing@27.115.82.230 JOIN :#esoteric < 1348414755 827597 :xiaoding!~GaoMing@27.115.82.230 PART :#esoteric < 1348415126 201038 :xiaoding!~GaoMing@27.115.82.230 JOIN :#esoteric < 1348415208 668781 :xiaoding!~GaoMing@27.115.82.230 PART :#esoteric < 1348415287 338514 :FireFly!~firefly@firefly.xen.prgmr.com QUIT :Changing host < 1348415287 357649 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1348417080 323029 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1348418298 757737 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: did you know about gcc -finstrument-functions < 1348418326 169945 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1348420167 141160 :chicken1!~chicken@88-190-32-81.rev.dedibox.fr NICK :chickenzilla < 1348421023 174954 :hagb4rd!~perdito@koln-d9329b6e.pool.mediaWays.net QUIT :Ping timeout: 246 seconds < 1348421630 266086 :SHUPFS!~user@S0106001111de1fc8.cg.shawcable.net JOIN :#esoteric < 1348424061 755951 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1348424602 577040 :ogrom!~del@gprs-inet-65-78.elisa.ee JOIN :#esoteric < 1348424902 682011 :atriq!~nathan@host-2-97-150-106.as13285.net JOIN :#esoteric < 1348424929 411712 :atriq!~nathan@host-2-97-150-106.as13285.net PRIVMSG #esoteric :Can anyone recommend some software for using a desktop recorder thingy as a webcam? < 1348425145 612517 :AnotherTest!~tim@94-224-23-97.access.telenet.be QUIT :Quit: Leaving. < 1348425873 313232 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I can't say that I recommend such software, atriq < 1348425881 166810 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Nope. < 1348425896 675691 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Remote host closed the connection < 1348426042 186952 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 246 seconds < 1348426272 303024 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1348426367 782451 :ogrom!~del@gprs-inet-65-78.elisa.ee QUIT :Quit: Left < 1348427379 984508 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: do you know of a tool which is like strace or ltrace but traces regular userspace function calls? < 1348427387 493962 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :it should be possible to build such a thing with Valgrind or Pin < 1348427401 690959 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :but i have not yet found a premade strace-like solution < 1348427478 611194 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: As in every call(/jump) instruction? < 1348427515 634463 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :basically < 1348427533 218583 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :probably only calls < 1348427550 1692 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But, like, tail calls, man! < 1348427554 660257 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :true < 1348427555 514380 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, nothing comes to mind. < 1348427573 715891 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :maybe you would log calls and jumps, but ignore them when the target is in the middle of a function < 1348427577 862435 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :gdb might be able to do it by single-stepping? < 1348427584 367243 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :(defined according to the placement of symbols in .text) < 1348427590 95831 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, that will be hellaciously slow though < 1348427595 600016 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :plus again, not a ready-made solution < 1348427610 905153 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yep. < 1348427629 148869 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :even a breakpoint at every function entry will be very slow < 1348427646 296356 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :To be fair, valgrind is also very slow. < 1348427663 43860 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :strace would be very slow if it did its stracey thing at every function call, too. < 1348427696 418532 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :depends what you mean by the "stracey thing" < 1348427710 338772 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :it involves context switching to the strace process, and then some additional ptrace system calls < 1348427722 18036 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :none of which should be necessary for userspace call tracing < 1348427734 14778 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :or for system call tracing for that matter -- but system calls are slow either way < 1348427749 132654 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, but they're the equivalent of what gdb would do. :-) < 1348427755 872105 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION is aware that's not a very good argument.
< 1348427945 332578 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :is valgrind actually that slow even with the null tool? < 1348427960 900440 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :the default memcheck tool is slow because it has to do a bunch of memory accounting < 1348428046 739877 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"Callgrind will not be able to collect any information, including calls, but it will have at most a slowdown of around 4, which is the minimum Valgrind overhead" < 1348428139 538287 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :hm < 1348428195 832585 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i am on this train of thought because i realized that I find strace to be much more useful than GDB, as a debugging tool < 1348428330 952602 :atriq!~nathan@host-2-97-150-106.as13285.net QUIT :Quit: Leaving < 1348428765 984142 :atriq!~Taneb@host-2-97-150-106.as13285.net JOIN :#esoteric < 1348428862 720701 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1348428881 172294 :epicmonkey!~epicmonke@188.134.41.211 QUIT :Ping timeout: 260 seconds < 1348429878 452780 :xzy!~xzy@218.79.228.12 PART #esoteric :"Leaving" < 1348430550 420529 :atriq!~Taneb@host-2-97-150-106.as13285.net PRIVMSG #esoteric :https://fbcdn-sphotos-c-a.akamaihd.net/hphotos-ak-ash3/557161_435025123200414_1140631525_n.jpg < 1348430553 725173 :atriq!~Taneb@host-2-97-150-106.as13285.net PRIVMSG #esoteric :Do I count as sane? < 1348430624 611987 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :insane, and very very hungry. stay away from that guy. < 1348430636 210154 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Depends on the type of debugging. < 1348430793 856015 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's at a different abstraction level, and the kernel-userspace boundary happens to be really nice for "what is this program really doing, in the end?" < 1348430805 453446 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1348430832 131355 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :if i attach userspace tracing to some random program, i won't know what the functions are anyway < 1348430856 39700 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :but also, i like that strace immediately gives you some probably useful output, which you can then post-process in ad-hoc ways, search in vim, etc < 1348430877 106364 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :you don't particularly have to decide what 'experiment' you're going to run < 1348430894 534300 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1348430935 716685 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :by the way I just tested how slow 'ls' gets if you put a breakpoint on every function < 1348430942 417309 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :it took almost 2 minutes to list a small directory < 1348430985 582366 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What sbout gdb in recotd mofe? < 1348430991 457574 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :record mode < 1348430997 80372 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :what's that < 1348431019 180437 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The reverse-debugging thing. < 1348431039 892720 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Doesn't it have all the same information? < 1348431069 338147 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :the function call history? < 1348431070 948121 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, i guess so < 1348431073 702182 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i have no idea how it works < 1348431259 249963 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1348431291 421802 :JaBoJa!~kvirc@esc63.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1348431857 283973 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1348432273 580534 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is there such thing as discrete logic hardware optimizer? < 1348432916 969303 :MoALTz!~no@host-92-2-117-165.as43234.net QUIT :Ping timeout: 248 seconds < 1348432973 237601 :Arc_Koen!~Arc_Koen@78.245.243.132 JOIN :#esoteric < 1348432993 863096 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :hello < 1348432998 699356 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hi < 1348433001 755549 :atriq!~Taneb@host-2-97-150-106.as13285.net PRIVMSG #esoteric :Hey < 1348433121 202742 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I managed to make the call/cc yin yang with Haskell, yesterday. < 1348433140 656304 :atriq!~Taneb@host-2-97-150-106.as13285.net PRIVMSG #esoteric :Hurrah! < 1348433288 569424 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :surprisngly many people don't seem to notice away message < 1348433342 789224 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking! < 1348433586 297820 :nortti!nortti@dsl-hkibrasgw3-ff25c000-52.dhcp.inet.fi PRIVMSG #esoteric :my friend semt me messages for 10 hours while I was /away IRL < 1348433871 124042 :JaBoJa!~kvirc@esc63.neoplus.adsl.tpnet.pl QUIT :Read error: Connection reset by peer < 1348433919 139190 :JaBoJa!~kvirc@esc63.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1348433945 386426 :JaBoJa!~kvirc@esc63.neoplus.adsl.tpnet.pl QUIT :Read error: Connection reset by peer < 1348434005 998098 :JaBoJa!~kvirc@esc63.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1348434249 893855 :JaBoJa!~kvirc@esc63.neoplus.adsl.tpnet.pl QUIT :Read error: Connection reset by peer < 1348434254 851375 :atriq!~Taneb@host-2-97-150-106.as13285.net QUIT :Ping timeout: 240 seconds < 1348434319 93482 :JaBoJa!~kvirc@esc63.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1348434477 463707 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 246 seconds < 1348434820 601809 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :a 10x programmer isn't cool < 1348434825 981611 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :you know what's cool? a 10,000x programmer < 1348434876 361346 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1348435044 411114 :sivoais!~zaki@199.19.225.239 QUIT :Ping timeout: 246 seconds < 1348435045 23970 :JaBoJa!~kvirc@esc63.neoplus.adsl.tpnet.pl QUIT :Read error: Connection reset by peer < 1348435110 61388 :JaBoJa!~kvirc@esc63.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1348435110 772956 :JaBoJa!~kvirc@esc63.neoplus.adsl.tpnet.pl QUIT :Read error: Connection reset by peer < 1348435193 250979 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 268 seconds < 1348435401 642292 :sivoais!~zaki@199.19.225.239 JOIN :#esoteric < 1348436085 717863 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :
ACTION rages at the GIL
< 1348436182 249188 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :threading the python? < 1348436684 363067 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yup < 1348437895 188216 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :or more accurately < 1348437895 996913 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :would be < 1348437899 862859 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :if the GIL weren't going to screw me over < 1348437968 810876 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric ::) life with python < 1348440365 861461 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1348440496 204391 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1348441037 912589 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :grrr < 1348441224 915326 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :my town organizes a game that ends tomorrow where you have to find a way to write 2012 as the result of a calculation using only consecutive numbers 1, 2, 3, ... in growing order (starting with 1) and operations +, -, *, /, ^, sqrt, factorial, and parentheses < 1348441250 518444 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :and they provide an example of such a calculation, with result 2011. < 1348441296 71049 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :the example uses only 1, 2, 3, 4, 5, so it trivially gives a solution for 2012 in 7 (using the same calculation, -6 + 7) < 1348441319 522592 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :finding a solution in 6 is easy - actually there seem to be a lot of them < 1348441371 202159 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :but I couldn't find one in 5... so since it's the last day I decided to make a program to compute all possible calculations; for 6 it found many solutions, but for 5 it terminated without any. < 1348441534 393073 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :in case of a tie for the shortest answer, they will randomly select one of the tying players... finding in 6 was way to easy to avoid that :( < 1348441598 473166 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :so basically if you can write 2012 as some of those operations using each number from 1 to 5 only once, you'll win? < 1348441614 290045 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :yep < 1348441622 797790 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :only once, and in the right order < 1348441669 238913 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :I found ((1+2)!)!*3-(4+6!/5) in one minute but the 6 comes before the 5 so it doesn't work < 1348441674 998188 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oh, in the right order < 1348441678 950715 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :interesting < 1348441727 395094 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :the question is somehow ambiguous though - for instance they list "- (subtraction)" as a valid operation but not "unary negation", yet I'm not sure they'd refuse a solution starting with -1 < 1348441772 690034 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :also it all works with integers, and they don't say if ": (division)" is integer division or real division < 1348441823 439510 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I'd assume real < 1348441856 219545 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :that's also what I assumed < 1348441865 651203 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I can get 2015 :( < 1348441871 110365 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :hehe < 1348441879 820917 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :I can give you the 2011 example to help < 1348441893 77721 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :if you do find a solution in 5 though, please don't tell me < 1348441916 513206 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :(at least not until tomorrow) < 1348441916 843807 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i know what i'd do if they'd included logarithms too :P < 1348441944 286473 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :((1+2)!)! +(3!)^4-5 = 2011 < 1348442700 168516 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is it possible to make circuits described using discrete logic to be compiled into a native code which can emulate this circuit? < 1348442942 903548 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: i guess you know the answer to that < 1348443291 251675 :hagb4rd!~perdito@koln-d9329b6e.pool.mediaWays.net JOIN :#esoteric < 1348444044 390707 :Arc_Koen!~Arc_Koen@78.245.243.132 PRIVMSG #esoteric :coppro: all my solutions start from 2016 = 6! + 6^4, with 6 being either 6 or 2*3 or 3! or (1+2)! etc., and the other numbers making - 4. < 1348444239 378833 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 244 seconds