< 1310083208 428549 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you realise that "HURT HIS FEELINGS WITH CLOSED-MINDEDNESS" was capitalised for deliberate theatricality right < 1310083217 444272 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's good to know that it's so easy to upset you, though :) < 1310083220 816548 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :even easier than with me apparently < 1310083230 963616 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :how to anger elliott: accuse him of child molestation w/ surname < 1310083237 998512 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :how to anger BeedaWeeda: tell him he's a gullible idiot for believing in UFOs < 1310083254 785306 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :damn, you must be REALLY upset actually, to stay in the channel for so many days trolling us :( < 1310083258 827836 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :BeedaWeeda: do you need some emotional support? < 1310083486 326410 :pumpkin!~pumpkin@unaffiliated/pumpkingod NICK :copumpkin < 1310084032 967561 :FireFly!~firefly@unaffiliated/firefly QUIT :Quit: swatted to death < 1310084045 985995 :BeedaWeeda!~port72.c@unaffiliated/beedaweeda PRIVMSG #esoteric :lol < 1310084071 91376 :BeedaWeeda!~port72.c@unaffiliated/beedaweeda PRIVMSG #esoteric :you probably believe everything the media tells you < 1310084077 528958 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :you already said that < 1310084080 787467 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :a few days ago was it < 1310084090 411942 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1310084092 512842 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lol < 1310084119 361906 :BeedaWeeda!~port72.c@unaffiliated/beedaweeda PRIVMSG #esoteric :so... < 1310084126 553735 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :BeedaWeeda, on the other hand, is in charge of the Daily Mail's Paedophile Division < 1310084137 279505 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sure dreading the paper tomorrow < 1310084191 885834 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the daily mail has a paedophile division? < 1310084192 850516 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :fancy that < 1310084247 745391 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: where else do you think they get all their accusations < 1310085720 564922 :Lymia!~moe@unaffiliated/cirno-chan JOIN :#esoteric < 1310085915 820712 :Lymee!~moe@unaffiliated/cirno-chan QUIT :Ping timeout: 276 seconds < 1310085939 765448 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au JOIN :#esoteric < 1310088394 611951 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: would it be weird to call a vector of bits in a VHDL-type environment "Word" < 1310088399 613400 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i.e. Word 9 being bit[9] < 1310088405 17748 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i forget the long VHDL name :P < 1310088408 69115 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :for bit, I mean < 1310088695 157088 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :Why does "autodidact" have a Wikipedia entry, and why is there a list of "notable autodidacts". Is it rare? < 1310088697 729520 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :ACTION mindboggles < 1310088710 246326 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : Vorpal: would it be weird to call a vector of bits in a VHDL-type environment "Word" <-- yeeeeeees < 1310088721 949262 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :kind of < 1310088733 386810 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I would call it an array of std_logic :P, I don't use bits < 1310088856 749841 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :Please tell me that most people try to learn things on their own at least on occasion < 1310088955 562395 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Are you a notable audodidact? < 1310089001 419215 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :Not notable... < 1310089019 626479 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :And if "autodidact" means what Wikipedia says it means, then why isn't everyone an autodidact < 1310089020 112070 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Now you know what the list is for < 1310089022 928394 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :im totally a notable autodidact < 1310089031 969843 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Vorpal: would it be weird to call a vector of bits in a VHDL-type environment "Word" <-- yeeeeeees < 1310089032 865386 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :why :( < 1310089037 349150 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's basically a word < 1310089041 476478 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Are you a notable audodidact? < 1310089045 929881 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no but he's a famous bisexual < 1310089061 220095 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :std_logic isn't a bit so an array of std_logic isn't a word < 1310089063 916988 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :elliott, hmm? Someone with my name is a famous gay DJ, but... < 1310089080 340403 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo_: I understand that it may be hard to come to terms with your famous bisexuality. < 1310089083 29885 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Patashu: Yeah, but my bits are bits. < 1310089390 516028 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: OK so I guess "vector" is a better choice than "word"? < 1310089401 280337 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Bearing in mind that they're actual bits. < 1310089432 570267 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :does it really matter though? < 1310089472 245259 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, yes < 1310089483 286766 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Patashu: what does? < 1310089487 426580 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: :< < 1310089501 749352 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, unless you use it to implement a vector CPU, in which case it will be confusing < 1310089502 614527 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :;) < 1310089539 578548 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Har har :P < 1310089546 853860 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But seriously, Word is a nicer name than Vec :( < 1310089555 113161 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, but do that in redstone logic and I will laugh in scorn (but also be really amazed) < 1310089608 566908 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: Dude, ideally this will make redstone engineering as "simple" as using VHDL :P < 1310089615 75112 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Maybe simpler, it's all bits and no stupid syntax :P < 1310089628 626085 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, wait a second < 1310089631 29319 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :vhdl? simple? < 1310089641 573612 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, I don't quite understand what you are talking about < 1310089652 816124 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :simpler than redstone :D < 1310089653 447651 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, vhdl is simpler than wiring up by hand... < 1310089655 867865 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :that is about it < 1310089662 876122 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :precisely, which is what we're talking about here < 1310089673 720276 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but really, it's not hard to implement a simple cpu :P i base this on a single york lava example < 1310089680 785475 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, writing something that would be like 5 lines in C would take some 30 lines of *non-boilerplate* vhdl quite often < 1310089683 61768 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :it'd be quicker to make an integrated circuits mods for minecraft < 1310089683 634470 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :again < 1310089690 359233 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, add another 20 lines of boilerplate to that < 1310089700 950878 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : poly :: Poly -> Recipe < 1310089701 308886 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : poly s = < 1310089701 471250 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : let instr = s!code!top in < 1310089701 471433 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Seq [ Tick < 1310089701 471539 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : , While (instr!isHALT!inv) $ < 1310089701 848397 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Seq [ isLIT instr |> s!rtop <== getLIT instr < 1310089703 862816 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : , isDUP instr |> s!stack!push (s!rtop!val) < 1310089705 977748 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : , isREV instr |> < 1310089707 951998 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Seq [ s!rtop <== s!stack!top < 1310089709 920998 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : , s!stack!pop < 1310089712 63646 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : , s!stack!push (s!rtop!val) < 1310089714 12666 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : ] < 1310089718 16160 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : , isADD instr |> < 1310089719 812487 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Seq [ s!rtop <== s!rtop!val + s!stack!top < 1310089722 122666 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : , s!stack!pop < 1310089724 97569 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : ] < 1310089725 883519 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : , isMUL instr |> < 1310089728 37698 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Seq [ s!mult!multiply (s!rtop!val) (s!stack!top) < 1310089729 871092 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : , s!rtop <== s!mult!result!val < 1310089732 21367 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : , s!stack!pop < 1310089733 817608 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : ] < 1310089735 941885 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : , s!code!pop < 1310089737 894163 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : , Tick < 1310089740 71967 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : ] < 1310089741 844546 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : ] < 1310089743 807648 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :see, easy < 1310089747 935972 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also long, whoops < 1310089756 687909 :BeedaWeeda!~port72.c@unaffiliated/beedaweeda PRIVMSG #esoteric :spammer < 1310089763 936543 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :child molester _and_ a spammer? < 1310089766 969454 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :these accusations. < 1310089770 129272 :BeedaWeeda!~port72.c@unaffiliated/beedaweeda PRIVMSG #esoteric :reporting to server ops < 1310089775 138202 :BeedaWeeda!~port72.c@unaffiliated/beedaweeda PRIVMSG #esoteric :ban < 1310089789 947893 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :im sure < 1310089841 396524 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> fmap (const 4) ((,) 3) < 1310089842 175741 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show (b -> t) < 1310089842 337936 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of `... < 1310089868 386390 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t fmap < 1310089869 137556 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b (f :: * -> *). (Functor f) => (a -> b) -> f a -> f b < 1310089869 874037 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: can you construct RAM in VHDL? it seems that everyone just uses the provided memory interface < 1310089871 850864 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :whcih is SOOO BORING < 1310089875 813240 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well < 1310089878 311310 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i suppose you obviously can < 1310089883 502425 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :isn't RAM just a shitload of latches < 1310089890 374890 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :and a big multiplexer/demultiplexer < 1310089894 770412 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :im gonna have to ask pikhq about his repeater ram :P < 1310089903 97828 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fmap fst (1,2) < 1310089913 960605 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> fmap (+1) (1,2) < 1310089914 294003 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :> fmap fst (1,2) < 1310089914 699303 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (1,3) < 1310089915 72429 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (1,2) < 1310089921 869491 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wtf < 1310089922 945798 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t fmap fst < 1310089923 751910 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b (f :: * -> *). (Functor f) => f (a, b) -> f a < 1310089924 996979 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :lol < 1310089933 844779 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t fmap fst (?x,?y) < 1310089934 556551 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b t. (?x::t, ?y::(a, b)) => (t, a) < 1310089941 606746 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric : Vorpal: can you construct RAM in VHDL? it seems that everyone just uses the provided memory interface <-- you can do random access memory < 1310089942 740016 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> let ?x = 0; y = 9 in fmap fst (?x,?y) < 1310089943 555482 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `y' < 1310089945 298835 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :probably only SRAM < 1310089945 839812 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: I'm guessing f is a different instance in this case. < 1310089947 676508 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> let ?x = 0; ?y = 9 in fmap fst (?x,?y) < 1310089948 511546 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (0,9) < 1310089952 752534 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, DRAM I don't think would be feasible < 1310089955 615393 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> let ?x = 0; ?y = 9 :: Int in fmap fst (?x,?y) < 1310089956 347726 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `GHC.Types.Int' < 1310089956 509747 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : against inferred type ... < 1310089958 9543 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :at least not on usual FPGAs < 1310089959 799169 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :grr < 1310089966 605302 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: whats the difference :) < 1310089975 467982 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, actually what you create will be pretty much a register file < 1310089976 329911 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> fmap show (1,2) < 1310089977 70410 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (1,"2") < 1310089983 40684 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :not proper SRAM < 1310089987 890856 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: well sure registers are the same thing as ram < 1310089988 788908 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :obviously < 1310089998 401064 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, nope, probably based on d-latches < 1310090005 730351 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: ram is a thing not an implementation < 1310090010 24176 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :its random access and its memory ergo its ram < 1310090018 577312 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :rather than capacitance as in DRAM (definitely unfeasible on a FPGA) < 1310090023 171221 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :or whatever it is SRAM uses < 1310090031 24463 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :(I forgot how SRAM works exactly) < 1310090042 798158 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, just pointing out memory density will be rather bad < 1310090057 682129 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, same reason your "ram" in your computer isn't all register file type ram < 1310090085 979281 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Vorpal: I don't think he cares that much — he's generating *redstone logic* here. < 1310090086 825677 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes but this is minecraft < 1310090092 395912 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :register style ram is all you can do < 1310090093 299623 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::P < 1310090100 801898 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :pikhq, oh right < 1310090109 505258 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, there is delay line in mc too < 1310090112 814426 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :that is pretty compact < 1310090121 473338 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, basically repeaters chained up < 1310090128 200754 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :of course that is not *random* access < 1310090130 928239 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :elliott: I'm willing to bet driving the delay line would be a PITA. < 1310090131 555171 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq made that < 1310090134 906975 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :apparently his is actually usable though < 1310090139 771380 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :rather than the one on the wiki < 1310090141 263025 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :heh < 1310090148 905588 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :pikhq, how does your differ < 1310090152 604377 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: well you can just construct a bunch of delay lines duh < 1310090153 973298 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :It's clocked! < 1310090160 259176 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :pikhq, how? < 1310090213 765031 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Signals coming into the delay line are anded with a clock. :P < 1310090221 674513 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :is minecraft a hamster? < 1310090252 490572 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :what is a 'delay line'? time multiplexing? < 1310090266 341304 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it is a line that is delayed... < 1310090268 332638 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :I also set up some other and gates to make it have a set and reset line. < 1310090385 12548 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :what a baffling youtube account http://www.youtube.com/user/freetroutfish?email=comment_received (look at recent activity) < 1310090409 697566 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :elliott: If you're feeling awesome, you could set up a tape with pistons. < 1310090426 824249 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Patashu: MWAHAHA NOW I KNOW YOU RECEIVED A COMMENT < 1310090429 666523 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :LOOK AT MY URL POWER < 1310090430 121325 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :(reading = easy, writing = motherfucking PAIN) < 1310090435 216206 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: An infinite tape? :P < 1310090438 6369 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :lol OH NO < 1310090454 653818 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :elliott: Not with Minecraft limits, sadly. < 1310090471 797002 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: I mean, infinite as far as Minecraft goes < 1310090603 350374 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :So, within the surrounding 16 chunks? :P < 1310090612 700708 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Erm, less than that. Anyways. < 1310090647 932863 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :if it's in multiplayer < 1310090651 445841 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :you can have more people load in every chunk < 1310091034 358776 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :More spam time: < 1310091035 590722 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :add4 < 1310091035 753277 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : :: (Fun2 Bit (t3 -> t4 -> t1), < 1310091035 753480 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Fun2 Bit (t7 -> t8 -> t6), < 1310091035 753591 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Fun2 Bit (t14 -> t15 -> Bit -> Gen ()), < 1310091037 21556 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Fun2 Bit (t13 -> (Bit -> Gen ()) -> t12 -> Gen ()), < 1310091039 28985 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Fun2 Bit (t10 -> t11 -> Bit -> Gen ()), < 1310091041 20103 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Fun2 Bit (Bit -> t5 -> t2), < 1310091043 26681 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Fun2 Bit (Bit -> t5 -> t -> Gen ()), < 1310091044 982071 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Fun2 Bit (t1 -> t2 -> Bit -> Gen ()), < 1310091046 965341 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Fun2 Bit (t6 -> (Bit -> Gen ()) -> Bit -> Gen ()), < 1310091048 920926 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Fun2 Bit (t10 -> t11 -> t9), < 1310091050 889164 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Fun2 Bit (t14 -> t15 -> t13), < 1310091053 104606 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Fun2 Bit (t9 -> (Bit -> Gen ()) -> Bit -> Gen ()), < 1310091055 58263 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Fun2 Bit (t7 -> t8 -> Bit -> Gen ()), < 1310091056 853981 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Fun2 Bit (t3 -> t4 -> Bit -> Gen ())) => < 1310091058 984576 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : (t3, t7, t10, t14) < 1310091060 825375 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : -> (t4, t8, t11, t15) < 1310091062 961522 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : -> t5 < 1310091064 899605 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : -> ((t, Bit, Bit, Bit), t12) < 1310091069 1288 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : -> Gen () < 1310091071 140056 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :good type for an adder < 1310091072 969146 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I like how it's inexplicably specialised some types to Bit and not others < 1310091140 118711 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wtf, it's actually decreased in size by adding declarations :D < 1310091143 176401 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :as in < 1310091144 25131 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :umm < 1310091145 98553 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :generalisations < 1310091197 778896 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: not-here-lament: not-here-oerjan: < 1310091198 574894 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Choms, Channels that don't follow it are sometimes moved to their proper namespace < 1310091198 737140 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Expect the # channels that do not have approved group registrations to be moved when the GMS is in place. < 1310091206 757999 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: You guys should, uh, really get on that. < 1310091218 221652 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or we'll end up forced into ##esoteric. < 1310091224 652804 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Which exists, heh. < 1310092333 24393 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::t showIntAtBase < 1310092333 790636 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (Integral a) => a -> (Int -> Char) -> a -> String -> String < 1310092356 247900 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> showIntAtBase 2 ("OI"!!) 99 "" < 1310092357 43015 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "IIOOOII" < 1310092374 344645 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> foldr (\x r -> x ++ " (" ++ r ++ ")") "" (showIntAtBase 2 ("OI"!!) 99 "") < 1310092375 101004 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `[GHC.Types.Char]' < 1310092375 263080 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : against inferred ty... < 1310092390 931478 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> foldr (\x r -> x : " (" ++ r ++ ")") "" (showIntAtBase 2 ("OI"!!) 99 "") < 1310092392 443659 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "I (I (O (O (O (I (I ()))))))" < 1310092396 677856 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> foldr (\x r -> x : " (" ++ r ++ ")") "Z" (showIntAtBase 2 ("OI"!!) 99 "") < 1310092398 87471 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "I (I (O (O (O (I (I (Z)))))))" < 1310092424 784497 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> let n = 99 in "type N" ++ show n ++ " = " ++ foldr (\x r -> x : " (" ++ r ++ ")") "Z" (showIntAtBase 2 ("OI"!!) n "") < 1310092426 221037 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "type N99 = I (I (O (O (O (I (I (Z)))))))" < 1310092431 107854 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: line noise. < 1310092432 295526 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::P < 1310092439 148531 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what part of it? < 1310092441 853723 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that whole function is trivial to read < 1310092451 437818 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh it's trivial to read. < 1310092461 738877 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm just saying it looks like line noise. < 1310092474 110777 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no it doesn't :) < 1310092513 568822 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :line noise with some words thrown in. 4 of them to be exact. < 1310092520 208145 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :er, 5... < 1310092540 438093 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :let, type, show, fold(right), int, at, base < 1310092550 539857 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's six to eight words < 1310092560 992811 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I was counting showIntAtBase as one. < 1310092567 647849 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cheater :) < 1310092572 459334 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but sure, whatever makes it less like line noise. :P < 1310092590 786281 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :MIGHT AS WELL WRITE IT IN PERL OOOOH SNAPPP < 1310092723 507290 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: oh hey, I forgot in < 1310092729 192527 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Redsynth.Vec Data.List Numeric> n128 < 1310092729 354749 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :N1 < 1310092729 896691 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no... < 1310092757 316480 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :huh, it is broken < 1310092757 478586 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that is 6 words by the CakeProphetian anti-line-noise quantification metric. < 1310092773 530472 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what the fuck... < 1310092782 632633 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :are you writing a synthesizer? < 1310092788 688768 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :We've already estabilished that the CakeProphetian metrics have negative value. < 1310092805 716583 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: Yes. < 1310092818 492642 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :pikhq: nonsense, they are intuitive and beautiful. < 1310092827 92784 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: are you using a filter by chance? < 1310092845 842880 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :filters = good synthesis. < 1310092849 971615 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: Why would I use a filter for synthesising? < 1310092861 224114 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :because they produce rich timbres. < 1310092880 564442 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :whereas additive synthesis is tedious, time-consuming trial-and-erorr < 1310092886 804139 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lol *error < 1310092907 364690 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: I'm probably doing it with a hill-climb or genetic algorithm of some sort following a random layout. < 1310092912 796484 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Do you know a better way? < 1310092964 354156 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: ? < 1310093049 935296 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :nope. but filters are good. That is all. < 1310093064 558002 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but I will eat my newly acquired Cap'n Crunch and ponder this. < 1310093081 657658 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: Ponder what? < 1310093104 328134 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :different synthesis techniques. < 1310093122 937822 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :a hill-climb does sound interesting though. < 1310093155 149280 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :any idea what exactly you're synthesizing? < 1310093167 792385 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: I'd be interested in knowing the basic filtering synthesis algorithm. ais said that all the major shops basically use what I said, but it sounds really crappy and a pain to code to boot. < 1310093174 413453 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, redstone. Why? < 1310093187 71007 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...wat < 1310093198 575692 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't believe I said anything about /sound/ synthesis. < 1310093207 449198 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :... -_- < 1310093209 845472 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :LOL < 1310093214 222160 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :ACTION rimshot < 1310093240 449198 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :assholes. < 1310093293 321556 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that was great < 1310093347 198407 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: nope, I will never teach you how to filter good-sounding redstone. < 1310093364 814810 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OH NOES < 1310093384 283898 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you will be left in the dark forever, as I am the only source of information on this subject. < 1310093449 951305 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1310093475 98003 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ACTION impatiently waits for PayPal to confirm his bank account so he can begin a spree of compulsive online spending. < 1310093510 564080 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :How do you not already have a PayPal account I am fifteen and even I have one. < 1310093515 554209 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :this is an important rite of passage in the US. < 1310093518 613954 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Actually I've had one for years but. < 1310093524 946259 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: I have one, but I didn't have a bank account until now. < 1310093552 885004 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Weeeeell, I believe mine is technically called a savings account, but I put money in, get interest, can take it out, and have a Visa debit card, so "what's the difference" :P < 1310093560 322959 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Not savings account. < 1310093562 314597 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :What is it called. < 1310093563 216383 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Argh. < 1310093566 845267 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well it's something other than "bank". < 1310093577 863314 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But they transmogrify it into a banque account once you become SUFFICIENTLY OLD TO BEAR THE RESPONSIBILITY :p < 1310093593 125671 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: must savings accounts have a limit on how many withdrawals you can make in a month. < 1310093605 164562 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...oh god, that was horrible. < 1310093605 957198 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Hmm, I might have such a limit, but I dunno what it is < 1310093606 597862 :BeedaWeeda!~port72.c@unaffiliated/beedaweeda PRIVMSG #esoteric :they terminated elliotts PayPal account after discovering several large orders of male child pornography < 1310093617 934600 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm not sure it applies to debit cards. < 1310093631 688143 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :BeedaWeeda: I realise I hurt your precious little feelings by saying that UFOs aren't real, but seriously, fuck off. < 1310093640 21738 :BeedaWeeda!~port72.c@unaffiliated/beedaweeda PRIVMSG #esoteric :which he ordered to his moms house < 1310093721 617934 :BeedaWeeda!~port72.c@unaffiliated/beedaweeda PRIVMSG #esoteric :ACTION chuckles < 1310093725 869938 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :begin < 1310093726 51749 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :w1_0 <= '1'; < 1310093726 214076 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :w3_0 <= '0'; < 1310093726 214158 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :c2 : fd generic map (INIT => '0') port map (w2_0,clock,w0_0); < 1310093726 214236 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :c0 : fd generic map (INIT => '1') port map (w0_0,clock,w2_0); < 1310093726 952512 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :x <= w0_0; < 1310093728 774226 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :end structural; < 1310093730 782157 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : 23,1 Bot < 1310093732 976348 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: What does this even mean. < 1310093742 226686 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :what language is that < 1310093746 168241 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, that looks generated < 1310093755 379068 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: Yes, it is. < 1310093756 826682 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: VHDL. < 1310093762 138963 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: I did < 1310093762 865298 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Prelude Lava> writeVHDL "Yeah" (let x = delayBit high (delayBit low x) in x) (name "x") < 1310093765 155469 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :not expecting it to work. < 1310093772 703511 :BeedaWeeda!~port72.c@unaffiliated/beedaweeda PRIVMSG #esoteric :UFO's have feelings too y'know < 1310093796 49278 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, but it maps inputs and outputs from some component to inputs and outputs (or signals) in the own module < 1310093813 224282 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: It's all that's generated; there is no more. < 1310093813 386194 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :the c2 and c0 lines I mean < 1310093814 129826 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh hey, I don't have to wait for my bank account to be linked, I can go ahead and make transfers manually. < 1310093819 520301 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, okay... < 1310093821 705639 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: Durr < 1310093832 110661 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: You already know that everything Lava generates is structural < 1310093833 369103 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: look I've never used PayPal I didn't have a bank account until now. < 1310093837 759873 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :this is all new to me. < 1310093839 348848 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[[ < 1310093840 625084 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :entity Yeah is port ( < 1310093840 787406 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :x : out std_logic; < 1310093840 787496 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :clock : in std_logic < 1310093840 787539 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :); < 1310093840 787589 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :end entity Yeah; < 1310093841 928118 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :architecture structural of Yeah is < 1310093843 23100 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, right. Well I can't explain what it *does* < 1310093844 93684 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :signal w1_0, < 1310093845 899477 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :w3_0, < 1310093847 889915 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :w2_0, < 1310093849 876331 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :w0_0 : std_logic; < 1310093851 968223 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :attribute INIT: string; < 1310093853 815210 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, anyway it generates using primitives < 1310093853 977241 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :attribute INIT of c2: label is "0"; < 1310093857 968344 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :attribute INIT of c0: label is "1"; < 1310093859 828065 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :]] < 1310093860 698366 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :from some vendor specific library iirc < 1310093861 786475 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Spam, but eh < 1310093863 969378 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's what's above that < 1310093865 992760 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: It's meant to generate low and then high forever :P < 1310093867 621863 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: Why not, surely you had a debit card or something before < 1310093869 774508 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: Xilinx, yeah < 1310093874 717101 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, what is c2 and c0? < 1310093884 20406 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: ...no. I had no bank account so why would I have a debit card? < 1310093884 945781 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :you gave attributes for them < 1310093887 766756 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :but nothing else < 1310093893 353436 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://hackage.haskell.org/packages/archive/york-lava/0.2/doc/html/src/Lava-Vhdl.html wow, this is short < 1310093904 452448 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: Uhh, do people in the US not get any sort of account before a bank account? < 1310093910 606120 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: PayPal accepts cheques I think actually < 1310093944 823159 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: not as like... a law or anything. o_o if you have fiscally responsible parents, then possibly. < 1310093953 18091 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, err.. what would you get before a bank account? < 1310093964 900405 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: A I-can't-bloody-remember-the-name account < 1310093983 957887 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I keep wanting to say savings account but I don't think it is a savings account, but anyway it's functionally identical to a bank account :P < 1310093989 821196 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I got a bank account when I was like 10 I think, maybe somewhat earlier. Saved money on it from the start < 1310093990 286064 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Maybe it has a limited number of withdrawals per month like CakeProphet said, dunno < 1310093996 49733 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :hm < 1310094002 787076 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oh yeah I had a savings account < 1310094003 615050 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :right < 1310094013 456807 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well you can't get bank accounts when you're ten here or presumably in the US < 1310094017 600172 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't think < 1310094023 482785 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah see... my parents didn't give me any kind of savings account. < 1310094038 41391 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But I have a debit card and it works online, so, woo, good enough for irrational online spending binges that I don't have < 1310094042 113661 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I've been using cash for the past 5 years or so. < 1310094085 104157 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well, all I'm really going to buy is a hookah. I was joking about the compulsive spending part. < 1310094111 374809 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's just a really tiny compulsive spending spree. < 1310094192 264999 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes, it's pretty much negligible. < 1310094519 201216 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ACTION is actually pretty good about saving money. < 1310094850 713702 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: I take it it's inaccurate to refer to low and high as "false" and "true"? :p < 1310094854 369251 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(True bits, as always.) < 1310094858 164860 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(As in: not std_logic.) < 1310094874 871189 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, I haven't ever used plain bits. Always std_logic < 1310094880 982103 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :but true is what you decide it is < 1310094885 314515 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :for your application < 1310094889 440762 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :now, night → < 1310094918 455768 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: >:( < 1310094924 238735 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: Zero or one, then :P < 1310094937 440041 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"inv low" is just so much less nice than "not false" :( < 1310094947 748981 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :okay I hasn't turned off the monitor yet < 1310094953 304052 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, inv low makes more sense < 1310094962 224622 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: Why >:( < 1310094974 300700 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, you can save gates sometimes by inverting the meanings of true and false in part of a circuit < 1310094975 192253 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Hmm, how is "inv" less accurate than "not"? It's called a NOT gate, after all.) < 1310094983 187280 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :not low works too < 1310095005 788322 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: Blargh, fine :P < 1310095008 933938 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, but representing high as 1 is common < 1310095009 761093 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :What about "zero" and "one"? < 1310095013 12390 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Are those ok? < 1310095017 617570 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, look at an std_logic array in vhdl < 1310095026 231210 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :elliott: use -0.5 and 0.5 < 1310095030 492657 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :"10001" as std_logic < 1310095034 268456 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :what do you think THAT is? < 1310095040 601610 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: OK so what you are saying is zero and one are OK. < 1310095043 311725 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :(note "as std_logic" was not code) < 1310095049 955742 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, I'm saying zero is low < 1310095055 136348 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I'm not saying zero is false < 1310095059 587853 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes, I understand. < 1310095078 157770 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :→ < 1310095078 567640 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: Ha, but wait, my simulation returns [Bool] :P < 1310095080 966024 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And so does Lava's. < 1310095100 620016 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instance Show Bit where < 1310095100 800780 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : show b = if bitToBool b then "high" else "low" < 1310095106 225725 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: OH SNAP LOOKS LIKE SOMEONE'S ALREADY TAKEN AN OPINION < 1310096191 249761 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm, to use Data.Bits or to roll my own < 1310096223 998794 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Ping timeout: 255 seconds < 1310096860 649036 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: BURNING IN HELLFIRE IS A BAD EXPERIENCE < 1310097058 999366 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net JOIN :#esoteric < 1310097064 288541 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: oh really? < 1310097080 598469 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I will remember that? < 1310097109 876353 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :Quick question - is it possible to reduce an arbitrary BF loop into any two smaller BF loops? < 1310097173 490034 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :DocHerrings: No. [+] and [] cannot be reduced into two smaller BF loops. < 1310097176 949011 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :For instance. < 1310097217 616091 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1310097251 492911 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :elliott: Makes sense, but more specifically, I am writing an esolang where loops have a max number of commands, and I wanted to know if that would affect turing-completeness. < 1310097305 849637 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well... you only need two nested loops to implement BF in BF, and they're of finite, short length, but this is the ℒ debacle all over again. < 1310097341 712261 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Basically: There's a very good chance you'll be TC by one definition, because an interpreter of a TC language will exist; on the other hand, it may affect your Turing-completeness by the better standard. (Or it may not; I honestly have no idea.) < 1310097346 725921 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(It depends on your language.) < 1310097349 779879 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(See http://esolangs.org/wiki/%E2%84%92.) < 1310097405 420938 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :Man that's a pretty interesting article. This is why I love esolang. < 1310097460 575674 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :Well, I suppose I will ask the general public for ideas - what is the most creative looping or conditional construct you can think of? < 1310097489 165172 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Not requiring looping or conditionals at all? I mean, they'll be there at some level, but you can make them implicit. < 1310097522 399012 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :For instance ///, one of my favourite languages (http://esoteric.voxelperfect.net/wiki/Slashes) doesn't have a conditional, it just has string replacement -- which is implemented as a loop with a bunch of conditionals, but they're hidden from the actual semantics. < 1310097539 351046 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :Hold on, I'll just put the rough specs on pastebin. And I love /// too. < 1310097569 612125 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :lambda/combinator calculi do no-loop/conditionals, as another example < 1310097577 404869 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :self-modifying/extending languages are nifty too < 1310097613 261743 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Right, the lambda calculus is a good example, of course < 1310097616 946513 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Why didn't I think of that < 1310097648 266410 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And with that, the interpretation as a loop of substitutions feels way more unnatural than the obvious semantics, whereas with /// the semantics are pretty loop-esque < 1310097710 942000 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :http://pastebin.com/hL2tUw7S link. Anyways, there are two data structures - a track and a drum. The drum consists of 8 tumblers, which all hold 8 binary cells. The track is essentially 8 tapes side-by-side. < 1310097737 976923 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm afraid I'm too tired to understand that spec :) < 1310097756 312782 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You did misspell "accessor", though. Aren't I useful! < 1310097768 462516 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :Mostly because it was whipped up in a hour. < 1310097777 647679 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::) < 1310097807 48517 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :There are 256 viable commands - it takes a lot out of ya. < 1310097819 38228 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :All for the sake of being able to read data as code. < 1310097878 746668 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Where's Vorpal and/or ais when you need one of them < 1310097883 632768 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I don't see how data as code implies 256 commands < 1310097888 755553 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :DocHerrings: That's easy, just use a binary alphabet < 1310097897 705736 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://esolangs.org/wiki/Bitwise_Cyclic_Tag#Self_BCT < 1310097913 37162 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :I am - everything is in terms of 8 bits. < 1310097927 435545 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Right < 1310097928 705461 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :. < 1310097934 520022 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But that could just be two commands. < 1310097986 894470 :kwertii!~kwertii@ResNet-33-19.resnet.ucsb.edu JOIN :#esoteric < 1310098015 446023 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :All the commands have three parts - (OPERATOR TYPE) (FUNCTION) (DATA) - Which boils down to... 00000000 for instance, which would rotate tumbler no 1 to the right. < 1310098091 338403 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :Blah. I need to rethink this. < 1310098124 76359 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :Just desperately trying to avoid something resembling BF, as usual. < 1310098182 388591 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :a noble goal < 1310098354 839071 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm, this is a pain < 1310098357 627552 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :deep thoughts w/ elliott < 1310098362 554143 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :I'm having a bit of trouble understanding this spec :( < 1310098419 984663 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :Sorry. If it helps, MSP => Most Significant Bit, whereas LSP => Least Significant Bit. < 1310098500 424173 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"VHDL has file input and output capabilities, and can be used as a general-purpose language for text processing" < 1310098505 700941 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :DocHerrings: p = bit? < 1310098523 74770 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :elliott: Oh lord I need to sleep. < 1310098538 145473 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::) < 1310098544 499591 :Slereah!x@ANantes-259-1-195-235.w90-49.abo.wanadoo.fr QUIT :Ping timeout: 258 seconds < 1310098550 332482 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :whenever you enter here i am tired and you are tired < 1310098552 506284 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i blame you < 1310098584 612011 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :sometimes im tired but then i sleep and everything is better < 1310098591 691772 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :I plead the 5th. < 1310098684 826735 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: its hard to sleep < 1310098690 815964 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you have to lie down and wait a long time < 1310098695 579609 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and then a lot of hours pass < 1310098696 123307 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::( < 1310098704 81986 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but theres a chance of nifty dream < 1310098715 60397 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :Certainly when you have an esolang idea in your head. < 1310098726 959309 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i have not remembered dreams in a very long time, i dreamt yesterday but it was not a very exciting dream < 1310098734 472790 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :sometimes i have esolang dreams < 1310098744 329853 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :last night included < 1310098752 721060 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh tell us tell us < 1310098758 271928 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i cant remember anything :( < 1310098783 11545 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :I once had a dream where /// was the only programming language. < 1310098788 730171 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :It was beautiful < 1310098794 93126 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the most recent dream I remember was one where everything was dark and I had to go to a restaurant and there was just a big dark room with a big table with a shark on it < 1310098804 931376 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :Although you needed a crap-ton of libraries. < 1310098810 327058 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :and people tore parts off of the shark (and optionally cooked them) and ate them < 1310098816 208463 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :DocHerrings: oh that sounds nice /// is a good basis for everything < 1310098830 349678 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: then how do you know it was an esolang dream :OOOO < 1310098833 837686 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I had a dream where your mom was /// in bed. < 1310098844 185908 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :sometimes i remember things about dreams without remembering the details < 1310098874 986291 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: do you ever remember like < 1310098881 835086 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"that was the best dream ever and no dream will ever hold a candle to it" < 1310098884 528283 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but nothing about the dream itself < 1310098885 441372 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and cry < 1310098911 218022 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :no i actually remembered that dream < 1310098913 935357 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it was a wonderful dream < 1310098917 708595 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what was it < 1310098920 119385 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :was it about death < 1310098922 360610 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1310098927 84951 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i died in it < 1310098927 247083 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :all the good dreams are < 1310098929 217458 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :that's how it started < 1310098940 621427 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote it was a wonderful dream i died in it that's how it started < 1310098941 724414 :HackEgo!Gregor@codu.org PRIVMSG #esoteric :489) it was a wonderful dream i died in it that's how it started < 1310098945 100009 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :One day after reading a book about the discovery of the structure of benzene (the chemist saw it in his dream) I tried to dream up the perfect sorting algorithm. When I woke up, I was only extremely confused. < 1310098959 51674 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :DocHerrings: that's the warning signal from your brain < 1310099052 353840 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :Then I designed the 2nd worst sorting algorithm I could (what could be worse than quantum sort?)) < 1310099119 426319 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net PRIVMSG #esoteric :It was picking a pivot, splitting the list into pairs, sorting each pair, sorting ala quicksort using the smallest element in each pair, and rinse and repeat. < 1310099230 168821 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1310099280 920105 :DocHerrings!~DocHerrin@pool-71-246-68-89.bltmmd.east.verizon.net QUIT :Quit: ChatZilla 0.9.87 [Firefox 5.0/20110615151330] < 1310099486 678295 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :how does an works????????????????? < 1310099490 670994 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :theses are questions < 1310099550 758546 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :an umber < 1310099593 556529 :Slereah!x@ANantes-259-1-181-181.w90-49.abo.wanadoo.fr JOIN :#esoteric < 1310100046 779330 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?hoogle index < 1310100047 266411 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.ByteString index :: ByteString -> Int -> Word8 < 1310100047 428495 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Ix index :: Ix a => (a, a) -> a -> Int < 1310100047 590729 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.Sequence index :: Seq a -> Int -> a < 1310100049 502323 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?hoogle indexOf < 1310100049 718718 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No results found < 1310100054 770642 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?hoogle [a] -> a -> Int < 1310100055 104957 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.List elemIndex :: Eq a => a -> [a] -> Maybe Int < 1310100055 278606 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.List elemIndices :: Eq a => a -> [a] -> [Int] < 1310100055 440909 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Network.BufferType buf_concat :: BufferOp a -> [a] -> a < 1310101062 594150 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Lava> (13 :: Word N4) `vat` n2 < 1310101062 794598 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : low < 1310101064 138999 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :HAHA VORPAL < 1310101065 631705 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :IT DOES IT < 1310101066 355010 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :IT DOES < 1310101068 357786 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :HAAHAHAHAHAHAHAHAHAH < 1310101069 808046 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :WELL SORT OF < 1310101071 998395 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :HAHAHAJHJAOHIJAIHOJIOFJDIOJGOIFDJGIOFDJGOIDFJGOIFDJGOFDG < 1310101073 812803 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OIJHSEFIODHGIDSJFIGREGJREG < 1310101074 901976 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :EGRJRGOJGREOIJGREOIJGERIOJEGORJI < 1310101290 973326 :BeedaWeeda!~port72.c@unaffiliated/beedaweeda PRIVMSG #esoteric :elliott had an orgasm whacking off to some computer software and complex algorithms < 1310101357 773941 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah, and they were underage too < 1310101558 490143 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what a creep, that elliott < 1310101608 729234 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh no my REp;TUATION < 1310102044 326238 :Lymia!~moe@unaffiliated/cirno-chan NICK :Lymee < 1310103248 567559 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so I wonder what >λ= does. < 1310103301 183557 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :лол < 1310103302 678572 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what does >λ= do? < 1310103341 684724 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's the Haskell logo, I was just wondering what it would do as a function. :) < 1310103417 269088 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :well for one it's a syntax error < 1310103440 585365 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :unless it doesn't work like that < 1310103449 118045 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :in which case it does whatever you want it to < 1310103464 91690 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm surprised Haskell doesn't have unicode support.. < 1310103487 980843 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or is it that lambda isn't an operator character? < 1310103631 32839 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :GHC has that UnicodeSyntax extension, but presumably λ counts as a regular letter maybe. < 1310103653 848317 :kwertii!~kwertii@ResNet-33-19.resnet.ucsb.edu QUIT :Quit: bye < 1310103978 517102 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fizzie: do modules that import Unicode modules have to have that extension enabled? < 1310104015 522038 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :probably not. It probably just makes the unicode names unavailable. < 1310104121 392922 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :I think the extension just enables Unicode alternatives for some ASCII syntax (::, =>, forall, ->, <-, -<, >-, -<<, >>- and *); it seems completely separate from things like that base-unicode-symbols package which provides modules like Prelude.Unicode containing things like ≠ for /= and so on. < 1310104151 650727 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :I also think the topic has been discussed on-channel before too. < 1310104320 718164 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :So to put it differently, the extension is just to get those Unicode variants for those built-in syntax bits; you don't need anything special to use Unicode in general for your own names. < 1310104328 73533 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t (/) < 1310104328 985227 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a. (Fractional a) => a -> a -> a < 1310104377 565390 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(Fractional a, Num b) => b -> b -> a < 1310104380 593428 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :would be swanky. < 1310104423 313839 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :The Haskell 98 lexical bits seem to say so too. symbol -> ascSymbol | uniSymbol, uniSymbol -> "any Unicode symbol or punctuation". < 1310104440 124204 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :But of course λ is not a symbol or punctuation but a letter. < 1310104446 575910 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :right, < 1310104452 254622 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> 3 / 3 < 1310104453 116356 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1.0 < 1310104487 327429 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I guess with numeric literals being overloaded to Num, everything is fine... < 1310105962 979888 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm, my Gen thing is actually stupid... < 1310105968 635341 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :almost as stupid as my life :((((((((((((99999999999999999999999999999 < 1310105985 829017 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, doubly stupid actually < 1310105990 488034 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :livin' the stupid life < 1310106021 599532 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> > > > > > > > > > < 1310106022 391083 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `>' < 1310106053 221984 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> 3 > 4 < 4 > 3 < 1310106054 91744 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Precedence parsing error < 1310106054 254170 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : cannot mix `GHC.Classes.>' [infix 4] and `GHC... < 1310106055 271105 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wait, what................... < 1310106097 144441 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :argh, this is a stoopid < 1310106161 131685 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no u. < 1310106168 422780 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :u stoopuid < 1310106466 468163 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CakeProphet: ur terible < 1310106508 16171 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NONE OF THIS MAKES ANY SENSE MAYBE ILL KILL MYSELF TO DEATH ............... < 1310106535 175664 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 264 seconds < 1310106750 496913 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i wouldn't recommend that elliott < 1310106765 408146 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :think of all those chinese babies that died so you could have a high standard of living < 1310106772 721664 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :are you really going to waste that sacrifice? < 1310106797 160817 :oerjan!oerjan@tyrell.nvg.ntnu.no JOIN :#esoteric < 1310106812 919737 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :Is it just me, or does everyone hate FF13? < 1310106864 13466 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :We polled 6 billion people and all of them said 'yes' < 1310107011 728455 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :83/100 like it, says metacritic, so... < 1310107069 341543 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :Oh, huh < 1310107085 844310 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :I keep getting the impression that people consider it to me more of a movie than a game < 1310107115 249451 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Pretty much everyone seems to dislike the linearity of it, but apparently it's not enough to completely ruin it. < 1310107577 486991 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :fizzie: On the other hand, 7/10 is given out for games that aren't even *playable*. < 1310107600 468439 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :fizzie: < 1310107601 482846 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :19:10:43 Choms, Channels that don't follow it are sometimes moved to their proper namespace < 1310107604 582822 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :19:10:44 Expect the # channels that do not have approved group registrations to be moved when the GMS is in place. < 1310107608 996681 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Indeed, the range seems to be 7-10. < 1310107612 202846 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :19:10:43 fizzie: not-here-lament: not-here-oerjan: < 1310107643 187996 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :I saw those lines, but I do not know what they mean. < 1310107663 315771 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :they mean that #esoteric might get an # prepended soon? < 1310107667 501277 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i _assume_ it means ... right < 1310107673 742271 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yeah. < 1310107679 71179 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Unless you do the group registration thing. < 1310107685 876966 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lament looked into it but stopped because it was a pain, apparently. < 1310107693 18459 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :BUT THAT WAS BEFORE THE THREAT TO OUR GREAT NAME. < 1310107709 515767 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(FSVO great) < 1310107717 57470 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :pikhq: On the third hand, they had sold 5.5 million copies a ~year ago, so that's a lot of disappointed people if *everyone* hates it. < 1310107727 439704 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i vote: who gives a shit. anyone else? < 1310107736 481167 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :fizzie: Shit sells. < 1310107762 542020 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :This is one of the most depressing facts of life. < 1310107783 626959 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :I'm more annoyed by the fact that they're super-slow at group registrations < 1310107783 797647 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :quintopia: On the #? But this is a _national institution_ exclamation mark < 1310107787 982795 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And ##esoteric already exists, anyway < 1310107795 188388 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :...also we could get esoteric cloaks? < 1310107796 913315 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :wait what < 1310107799 267505 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: yes < 1310107800 175565 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The point is we must protect this glorious nation. < 1310107803 409229 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :if we had group registration < 1310107812 715184 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://freenode.net/group_registration.shtml Oh, this doesn't look hard at all. < 1310107819 186583 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: The problem is we don't have a claim to the name < 1310107831 833687 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: cpressey has argued that we do. < 1310107842 473464 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And he's one of the popularisers of the term "esoteric" as it relates to programming languages. < 1310107851 15220 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Something like "esolangs" I could see happening < 1310107867 430901 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but Deewiant! < 1310107879 645224 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but then we won't get confused people who think it's about religion or hip hop < 1310107883 604425 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :then we wouldn't get the entertaining randoms looking for magick-lovers all the time! < 1310107885 427126 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::'( < 1310107887 298679 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :how depressing! < 1310107890 861861 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i'd cry < 1310107891 921145 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm pretty sure we could get #esoteric < 1310107896 120493 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :coppro: You must remember we're also associated with esolangs.org. < 1310107899 109128 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(And I would rather just try and stay under the radar if we couldn't) < 1310107906 63441 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: that's "esolangs" though < 1310107909 35322 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: so we could get #esolang probably < 1310107919 735712 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :elliott: esoteric.voxelperfect.net < 1310107921 716751 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Too. < 1310107933 20536 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i can set up justinbieber.domainname.com < 1310107935 207961 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :#esoteric-voxelperfect < 1310107935 385991 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :doesnt mean im justin bieber < 1310107936 788458 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(yes it does) < 1310107943 176137 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and it is called esoteric wiki < 1310107948 51265 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no, it's called Esolang < 1310107958 19577 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well you know what < 1310107967 742651 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i'd be okay with #esolang < 1310107975 487276 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ACTION shrugs < 1310107994 532287 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :#esolang? that's ugly < 1310108003 929624 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :If nothing else, our having been here for ages would be an argument in favor. < 1310108004 799230 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But anyway, we've had this name for almost a decade, the term "esoteric" as it relates to programming languages is exclusively used to refer to our topic, we are the only active IRC channel for this topic, and we are associated with the main wiki for it; we've also had at least one populariser of the term "esoteric" as it relates to programming languages here. And it's hard to come up with another meaning of "esoteric" such that #esoteric would be < 1310108004 992100 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pic for freenode. < 1310108017 584627 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And lament /did/ talk to people about getting a group registration. < 1310108028 510582 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :So obviously it wasn't dismissed immediately, although I dunno if he told them the channel name. < 1310108090 372957 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Creative Commons has cc, it looks like < 1310108098 944041 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's pretty generic :P < 1310108125 937942 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://freenode.net/primary_groups.shtml It seems that having a software project named that is completely sufficient, and I think we have a stronger tie to our name than some random software project < 1310108260 443795 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Yes, but software projects are what they prioritize. ("-- giving priority to trademark owners and peer-directed project groups --") < 1310108314 252203 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :I don't really have an onion of the number of #s in front of the channel name. Though perhaps to be contrary we should try to get ###esoteric? < 1310108330 51935 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :And register as a group. < 1310108331 976879 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well, we're a peer-directed project group. Sort of. :p < 1310108353 269305 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But really, the group registration Might As Well Be Tried; what are they going to do, kick us out SLIGHTLY SOONER if they decide against it? < 1310108353 551269 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :"Yes, we call ourselves ##esoteric. Therefore we should get ###esoteric." < 1310108403 662991 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OH HM how do temporary variables work i WONDER... < 1310108414 374564 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Let's go for #, ## and ### < 1310108414 536611 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh god have i just lead myself into a world of CSE < 1310108428 617114 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :..? < 1310108436 372605 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Creation Science Evangelism < 1310108445 613781 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :# has 32 people in it < 1310108445 896607 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :*wince* < 1310108448 397507 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :common subexpression elimination < 1310108461 116221 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :33 < 1310108469 248530 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1310108470 700378 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :### unable to join channel (invite only) < 1310108471 930450 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :NOOOOOOO < 1310108474 793281 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::'( < 1310108475 309560 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :heh < 1310108495 960383 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OH GODDAMMIT YORK LAVA ILL EAT YOUR SOUL AND TEAR OUT YOUR ENTRAIL < 1310108497 14687 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :s < 1310108513 416455 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what did york lava ever do to you < 1310108518 563756 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Ah, ##esoteric exists, is registered by ihope, is a redirect here, *and* is invite only. < 1310108520 576278 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Have they said whether they want everyone (who want to keep a non-grouped "#foo" channel) to apply for group thingies now or immediately after they've got that new system in place? (I think I've seen them complain about how horrible their current system is.) < 1310108536 337545 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :"Due to the current backlog, priority is given to groups requiring approval in order to re-gain access/control of their group namespace." < 1310108549 397506 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :They were talking about that new GMS thing < 1310108550 896259 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Don't know what that means. < 1310108558 33084 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :So I guess we should try that when it happens. < 1310108571 863531 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :fizzie: Groups wanting to steal a channel name. < 1310108575 72993 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It was in the context of some idiot demanding that they reassign eir foundership even though eir request was backlogged < 1310108590 312587 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And generally being a jerk about it < 1310108724 750979 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : -- For observable sharing. (Pass "outSigs" to prevent full-laziness.) < 1310108725 114372 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : {-# NOINLINE ref #-} < 1310108725 276549 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : ref = newRef outSigs Nothing < 1310108729 842125 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NO YORK LAVA WHY < 1310108733 296450 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :-- Use of unsafePerformIO to implement Observable Sharing < 1310108733 660410 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :{-# NOINLINE newRef #-} < 1310108733 843302 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :newRef :: a -> Maybe InstanceId -> IORef (Maybe InstanceId) < 1310108734 5565 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :newRef s x = unsafePerformIO (newIORef x) < 1310108736 387803 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NOooooOOOOOOooooooOOOOOooooOOOooooOoooOoooOOooOOoooOooOOoooooooo < 1310108740 179128 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I HATE YOU < 1310108775 337822 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :... What the *fuck*. < 1310108783 754772 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1310108800 759735 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :unsafePerformIO . newIORef < 1310108803 391918 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :The fuck. < 1310108806 942945 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :uhh < 1310108811 127273 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you realise thats a common idiom < 1310108818 468902 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :I don't want it to be. < 1310108828 189597 :CakeProphet!~adam@h184-60-161-54.mdsnwi.tisp.static.tds.net JOIN :#esoteric < 1310108828 726416 :CakeProphet!~adam@h184-60-161-54.mdsnwi.tisp.static.tds.net QUIT :Changing host < 1310108828 888377 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1310108832 34472 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in this case its implementing something ghc cant do sOoooOOOOOOOooooOOOoooOOooooo < 1310108963 781587 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : or is it that lambda isn't an operator character? < 1310108977 868423 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :yeah they don't want to make greeks unable to use their language < 1310109056 104928 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :they _could_ make it a reserved word, i guess, but that would still make λx->x not work (because λx is one word, not a keyword + a word) < 1310109123 689940 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Clearly, Unicode should distinguish between alphabetic and mathematic lambda. :P < 1310109144 100691 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fullAdd :: Bit -> Bit -> Bit -> (Bit, Bit) < 1310109144 283031 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fullAdd cin a b = (sum, cout) < 1310109144 445607 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : where sum' = a <#> b < 1310109144 445768 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : sum = xorcy (sum', cin) < 1310109144 445874 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : cout = muxcy sum' (a, cin) < 1310109149 640977 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :noooooooooooOOOOOooooooooOOooooOOooooooooooOOoooooooooOOOOOoooooooOOOOOOOOooooooooOOOOOOOOOOooooooooOOOOOOOOOoooooOOOOOOOOOooooOOOOOoooOOO < 1310109160 590415 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :who what < 1310109164 330596 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :what am I looking at < 1310109218 574042 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nooo its using < 1310109219 852091 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sharing < 1310109220 396267 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :thing < 1310109220 777520 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so < 1310109223 126636 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :its < 1310109224 582292 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :like < 1310109228 988107 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if ghc inlines sum' < 1310109230 801875 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it will break i think < 1310109231 348304 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::( < 1310109232 805678 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i mean < 1310109237 412450 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah i could like < 1310109239 47141 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cse mylesf < 1310109239 980429 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but like < 1310109240 863984 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ffffff < 1310109243 682777 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :why internet is like wtf < 1310109248 48432 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :calm down < 1310109252 804269 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :haha cse < 1310109262 237322 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Patashu: why hdl is like wtf :( < 1310109305 707040 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :`wtf hdl < 1310109307 242158 :HackEgo!Gregor@codu.org PRIVMSG #esoteric :why hdl is like wtf < 1310109319 888429 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :... Waitwaitwait, it's relying on GHC's *precise* inlining semantics to work right? < 1310109326 997368 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric ::( < 1310109340 729668 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well hmm............................................... < 1310109346 190359 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: yes good < 1310109355 808549 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`quote like wtf < 1310109357 265976 :HackEgo!Gregor@codu.org PRIVMSG #esoteric :131) alise: why internet is like wtf < 1310109359 294033 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :still best thing ever said < 1310109401 265406 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :♥ fungot < 1310109438 83257 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :fizzie: WE'LL BAN YOU IF YOU DON'T FIX FUNGOT SOON. Oh wait, darn... < 1310109462 985702 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :17:14:42: anyway, I still need ais, for a VHDL question < 1310109463 147752 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :synchronicity < 1310109471 788963 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :same day as why internet is like wtf < 1310109495 86758 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: maybe it was part of why fungot though it was wtf < 1310109505 407762 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no that was after < 1310109589 214882 :BeedaWeeda!~port72.c@unaffiliated/beedaweeda QUIT :Ping timeout: 255 seconds < 1310109596 921853 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :fungot is a future psychic < 1310109638 257585 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :fungot was clearly too good for this wretched mortal world < 1310109700 310888 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1310109771 184300 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :I'll just go right ahead and link to some swedish humor: http://www.youtube.com/watch?v=VOfPnKkS4PM#t=2m03s < 1310109849 96385 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :why percy tarar is like wtf < 1310109894 92868 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :(one of the funny things is that this show (from 1996) is constantly making fun of christer fuglesang never getting sent into space - but it took another 10 years for him to actually get up there) < 1310109972 920804 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :astrowaiting < 1310110075 108842 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :oerjan: why is åke sick? http://www.youtube.com/watch?v=xltu4RW8Whw < 1310110083 857451 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :IM CARBON DIOXIDE MASTER < 1310110119 292281 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :um i rarely click youtube links < 1310110134 345178 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :probably a good strategy in general < 1310110160 640275 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1310110161 530353 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :and at the moment my laptop is thrashing due to something probably insisting on upgrading (i suspect avg) < 1310110233 647653 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :check task manager then < 1310110243 118818 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :carbon bioxide < 1310110248 916935 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: lol who uses avg < 1310110259 3039 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: it came with the laptop < 1310110264 473350 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lol who uses laptops < 1310110266 956482 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :23:41:28: You realise what kind of shit that would put a person in if (a) everyone in here didn't already know you were a piece of shit and (b) I wasn't a minor? < 1310110276 584114 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: people who get them as presents < 1310110283 747045 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1310110287 417357 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :And c) it's clearly false? < 1310110319 16918 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: OK, that list of conditions was bullshit, but the point is that making child molestation allegations is... never OK. < 1310110328 316544 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Well, unless they're true.) < 1310110332 97427 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, sure, but it's easy to refute. < 1310110362 801925 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :indeed < 1310110373 126521 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Phantom_Hoover: Doesn't change that it's a dick move. < 1310110388 885113 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :one way to refute it is by beating up the slanderer in a round of fisticuffs < 1310110959 42284 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :observable sharing scares me < 1310111013 368631 :ChanServ!ChanServ@services. MODE #esoteric +o :oerjan > 1310111014 8739 NAMES :#esoteric < 1310111036 946033 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :unaffiliated/beedaweeda cloak might be useful < 1310111052 885086 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :BeedaWeeda!~port72.c@50.8.174.68 is full uncloaked address though < 1310111060 304922 :oerjan!oerjan@tyrell.nvg.ntnu.no MODE #esoteric -b :*!*@* > 1310111060 328646 NAMES :#esoteric < 1310111063 338596 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :argh < 1310111067 120925 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :xD < 1310111070 935429 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :A+ opping < 1310111108 558701 :oerjan!oerjan@tyrell.nvg.ntnu.no MODE #esoteric -b :*!unaffiliat@* > 1310111108 583594 NAMES :#esoteric < 1310111112 486882 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :wtf < 1310111134 794043 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :hm something wrong < 1310111137 668929 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :haha, wtf < 1310111146 42210 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :/mode #esoteric +b foo!bar@baz < 1310111149 480007 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ah < 1310111164 529209 :oerjan!oerjan@tyrell.nvg.ntnu.no MODE #esoteric +b :*!*@unaffiliated/beedaweeda > 1310111164 552418 NAMES :#esoteric < 1310111173 363868 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :STUPEED SYNTACS < 1310111197 143142 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lol < 1310111209 174281 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :we have very well-trained ops here at #esoteric < 1310111219 389781 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well oerjan wouldn't know, he never uses the thing < 1310111219 959687 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :EVER < 1310111269 387553 :oerjan!oerjan@tyrell.nvg.ntnu.no MODE #esoteric +b :BeedaWeeda!~port72.c@50.8.174.* > 1310111269 412874 NAMES :#esoteric < 1310111282 113231 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :something like that < 1310111288 609539 :oerjan!oerjan@tyrell.nvg.ntnu.no MODE #esoteric -o :oerjan > 1310111288 634837 NAMES :#esoteric < 1310111309 335149 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: methinks the point of a bigger ban is to get _around_ him using another name... < 1310111478 104036 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1310111479 923511 :ChanServ!ChanServ@services. MODE #esoteric +o :oerjan > 1310111479 934922 NAMES :#esoteric < 1310111493 455489 :oerjan!oerjan@tyrell.nvg.ntnu.no MODE #esoteric -b :BeedaWeeda!~port72.c@50.8.174.* > 1310111493 478256 NAMES :#esoteric < 1310111511 757880 :oerjan!oerjan@tyrell.nvg.ntnu.no MODE #esoteric +b :*!*port72.c@50.8.174.* > 1310111511 781740 NAMES :#esoteric < 1310111529 758823 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :we have ops here? < 1310111536 3408 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1310111538 887279 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you wouldn't know it < 1310111541 718599 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :should i remove the port72.c part as well? < 1310111559 295917 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: should be safe; there won't be many people with that IP < 1310111566 94288 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and anyway it can be removed after a week or so, presumably even he gets bored < 1310111577 54643 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[asterisk]that prefix < 1310111583 15638 :oerjan!oerjan@tyrell.nvg.ntnu.no MODE #esoteric -b :*!*port72.c@50.8.174.* > 1310111583 39073 NAMES :#esoteric < 1310111591 859558 :oerjan!oerjan@tyrell.nvg.ntnu.no MODE #esoteric +b :*!*@50.8.174.* > 1310111591 871706 NAMES :#esoteric < 1310111612 251954 :oerjan!oerjan@tyrell.nvg.ntnu.no MODE #esoteric -o :oerjan > 1310111612 275957 NAMES :#esoteric < 1310111614 926863 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Blocking plain IP ranges is a bit rude < 1310111636 563731 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :dammit < 1310111643 215522 :ChanServ!ChanServ@services. MODE #esoteric +o :oerjan > 1310111643 233316 NAMES :#esoteric < 1310111655 293085 :oerjan!oerjan@tyrell.nvg.ntnu.no MODE #esoteric -b :*!*@50.8.174.* > 1310111655 303535 NAMES :#esoteric < 1310111665 205937 :oerjan!oerjan@tyrell.nvg.ntnu.no MODE #esoteric +b :*!*port72.c@50.8.174.* > 1310111665 229287 NAMES :#esoteric < 1310111674 203621 :oerjan!oerjan@tyrell.nvg.ntnu.no MODE #esoteric -o :oerjan > 1310111674 228326 NAMES :#esoteric < 1310111687 539714 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: It's a pretty specific range, and it's only for ~a week < 1310111694 587434 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Rude" doesn't seem to be a very good argument against < 1310111709 763425 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :It's still up to 254 completely unrelated people getting blocked < 1310111713 849593 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :let's just assume until further notice he's not smart enough to get around that (and if he is, he can probably get another IP if he wants) < 1310111743 992222 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: Out of millions upon millions upon millions < 1310111750 890019 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :I'd ban the most specific thing possible at first and go wider only if he circumvents it :-P < 1310111760 527516 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Deewiant: Now you see why NAT and DHCP suck. < 1310111761 326744 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric ::) < 1310111770 532436 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: He's clearly dedicated enough to keep "trolling" us for days solely because we told him UFOs aren't real < 1310111787 192083 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :elliott: Rather, that UFOs most probably aren't aliens. < 1310111795 868081 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yeah yeah, shut up < 1310111799 522223 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Host Name: 50-8-174-68.sfo.clearwire-wmx.net < 1310111799 684570 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :IP Address: 50.8.174.68 < 1310111799 684733 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Country: < 1310111805 200353 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Hmm, why's GeoIP failing < 1310111809 113368 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :The distinction matters. < 1310111818 815865 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No it doesn't, UFO means alien ship and you know it < 1310111819 721023 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :pikhq: TBH I don't see how they matter here < 1310111835 127626 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :elliott: I dislike terms defined by derp. < 1310111839 17980 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: because pikhq is a pedant < 1310111846 290085 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :$ geoiplookup 50.8.174.68 < 1310111846 642522 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :GeoIP Country Edition: US, United States < 1310111848 259001 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: hi prescriptivist < 1310111855 365606 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: NOT NEARLY SPECIFIC ENOUGH < 1310111855 639584 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : we have very well-trained ops here at #esoteric <-- it's just so much easier when they are present and the client can mangle the ban automatically from the nick < 1310111859 312041 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It seems to be some mobile internet thing < 1310111861 634803 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :I have a pedant license and everything. :) < 1310111896 946810 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :pikhq, you own the universe now? < 1310111914 620277 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Sgeo_: Yes. Yes I do. < 1310111930 495560 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Which is why everyone is getting a free unicorn. < 1310112013 173616 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :pikhq: i wish to complain, my free unicorn appears to be invisible. as well an awful shade of pink. < 1310112017 995166 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :*as an < 1310112034 327026 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©©© < 1310112050 939182 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :oerjan: Dem's the breaks. < 1310112056 4927 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :CakeProphet: why this spamming of evil symbols? < 1310112060 227026 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: Can I have a tardis? < 1310112075 222526 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :coppro: Time lords only, sorry! < 1310112082 169165 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: damn < 1310112086 758477 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :Can I get a pet time lord then < 1310112087 240669 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :However, you can be made a time lord. < 1310112088 366239 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: no reason < 1310112089 933955 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :pikhq: you mean coppro isn't retarded enough? < 1310112129 928331 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :I'm afraid I'm contractually obligated to let the Daleks know of your whereabouts after doing so, though. < 1310112189 730973 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :pikhq: just trick them into ex-terminating the contract < 1310112212 192077 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: hrm < 1310112228 201463 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :pikhq: solution: make the daleks into time lords and give me a pet one < 1310112250 512393 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :coppro: ... Do you know what havoc this would cause? < 1310112250 800572 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :coppro: i foresee no problems with that solution < 1310112264 965471 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: you should write doctor who < 1310112274 785538 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : Hmm, why's GeoIP failing < 1310112275 877425 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :pikhq, while you're at it, run rm -rf / on the universe. Seems gentler than coppro's solution < 1310112283 381828 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :BeedaWeeda is on a UFO. < 1310112290 966808 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Sgeo_: Meh. < 1310112322 338039 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: :D < 1310112338 755878 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Sgeo_: dd if=/dev/urandom | tee /dev/* >/dev/null < 1310112414 887295 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Especially nasty, /dev/mem. < 1310112440 498141 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :How is that that nasty? If it were only /dev/mem, wouldn't a reboot fix it? < 1310112449 866228 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :Um, probably need a physical reboot < 1310112456 727343 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :see "tee" < 1310112465 973083 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Uh, that would be writing to every device. < 1310112484 75944 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :Oh, especially nasty since it includes /dev/mem < 1310112488 742646 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Yes. < 1310112491 81436 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh hey < 1310112493 54090 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :netlists are blimps < 1310112493 410178 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1310112494 312453 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :What does the >/dev/null part do < 1310112510 885403 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Patashu: Stops it from spamming your TTY. Uselessly, because your TTY is in /dev. :) < 1310112520 815360 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Aaah < 1310112530 355641 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :... Also your framebuffer. < 1310112542 821432 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: BTW, the observable sharing thing is actually "safe" ish < 1310112549 275455 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: Because the functions that observe it are all in IO < 1310112551 966496 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and IO functions can do anything < 1310112558 930496 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :including giving different results for identical values < 1310112560 742188 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well < 1310112566 226552 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :IO functions must be referentially transparent < 1310112568 924732 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :IO /actions/ can do anything < 1310112594 810404 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(i.e. getLineButFirstPrintThisPrompt s == getLineButFirstPrintThisPrompt t if s == t, but the actions they represent can give wildly different results.) < 1310112837 193039 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 240 seconds < 1310112849 512323 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: I haven't got the accent to write for Doctor Who, sadly/ < 1310112885 588253 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :David Tennant, Hugh Laurie, you could be the next in a long line of successful acecnt-fakers < 1310112887 741158 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :accent-fakers < 1310112926 457085 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: it doesn't work that way for writers < 1310112939 965627 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OH MY GOD KANSAS LAVA: GO AWAY: JESUS < 1310112941 744637 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :because you can't slip up < 1310112943 361374 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :STOP INVENTING: NEW LAVA: VARIANTS < 1310112949 985134 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :THERE ARE: ENOUGH < 1310112950 164143 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :actors can just redo the take < 1310112957 335128 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: just redo ur life < 1310112958 236006 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :writers get no such leeway < 1310112966 847795 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :elliott: are you talking about minecraft or something? < 1310112967 550560 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :every time i make a mistake i reset < 1310112974 328876 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: lol yes and no < 1310112978 27178 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: im talking about circuit synthesis < 1310112990 217271 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i happen to be writing a circuit Haskell HDL DSL and synthesiser for Minecraft redstone < 1310112998 491121 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :... ah < 1310113000 287175 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but everything im reading is about hardware design software < 1310113014 968499 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lava is what FUCKING EVERYONE calls their Haskell HDL DSLs < 1310113023 226369 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :YOU CANT JUST TOTALLY REDESIGN IT AND THEN KEEP THE NAME YOU FUCKS < 1310113025 33675 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ITS NOT EVEN A FORK < 1310113033 265771 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 276 seconds < 1310113038 516168 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :theres Lava, Chalmers Lava, York Lava, fucking KANSAS LAVA < 1310113056 474563 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NEXT THERE'LL BE ALASKA LAVA AND THERE ISN'T EVEN ANY LAVA IN ALASKA!!!!!! < 1310113110 422585 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The definition is wrong. Declarative programming is about data flow, not about declarations. For example, Yahoo Pipes is declarative programming. --TehZ 08:12, 8 July 2011 (UTC) < 1310113112 918452 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i really want to kill tehz < 1310113116 666777 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :can i plz < 1310113154 212909 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : STOP INVENTING: NEW LAVA: VARIANTS <-- NEXT: BAKLAVA AND BALACLAVA < 1310113204 798150 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :elliott: Is there lava in Chalmers/York/Kansas? < 1310113222 946392 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: yes its a hardware description language < 1310113230 429763 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION graduates from school of logic < 1310113244 575047 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :.... fine < 1310113272 745926 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :First known instance of Deewiant backing down when faced with nonsense. < 1310113518 159403 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :elliott: ... Yahoo Pipes, *declarative*? < 1310113525 985321 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :That's graphical programming. < 1310113550 220106 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :... And somewhat imperative, actually. < 1310113668 591867 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :um its dataflow isnt it < 1310113676 593434 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://upload.wikimedia.org/wikipedia/en/3/3c/Yahoo_Pipes_screenshot.png < 1310113676 947573 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1310113678 594855 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so not imperative < 1310113687 472456 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Sorry, that was a misthink. < 1310113688 936115 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but its not the only kind of declarative obviously < 1310113691 256768 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :It's late and I should sleep. < 1310113727 727856 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Claiming that declarative programming is not about declarations is very confusing, though. < 1310113756 754542 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well it's hard to define declarative programming and maybe the definition is bad, but not for the reason TehZ says at all :P < 1310113769 563435 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I just wish he wouldn't act so authoritative while being such an idiot. < 1310113786 913053 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :In order to observe sharing on nodes of types that are Typeable, < 1310113787 75204 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and share a graph representation type, we refine the type of < 1310113787 75384 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mapDeRef. The refined MuRef class has the following definition. < 1310113787 75511 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :class MuRef a where < 1310113787 75620 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :type DeRef a :: * -> * < 1310113787 292335 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mapDeRef :: (Applicative f) < 1310113789 230583 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :=> (forall b . < 1310113791 340471 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :( MuRef b < 1310113793 329718 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :, Typeable b < 1310113795 223815 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :, DeRef a ~ DeRef b < 1310113797 344787 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :) => b -> f u) < 1310113799 298626 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :-> a < 1310113801 248823 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :-> f (DeRef a u < 1310113803 393553 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :) < 1310113807 173042 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :WHY ARE YOU DOING THIS TO ME < 1310113825 460451 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hey this stuff will actually let me produce a circuit graph, cool < 1310113845 136469 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :elliott: You should call this Minecraft Lava. < 1310113847 956104 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :>:D < 1310113899 235816 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :How are you going to deal with connections being unable to be longer than 15 tiles without needing a repeater thus making that connection take one extra tick < 1310114114 568139 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :"painfully." < 1310114125 725261 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :I suspect so < 1310114131 806379 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :(what do you _mean_ i'm just guessing?) < 1310114147 50371 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Patashu: He'll run the whole thing on a 300-clock to avoid sync issues! < 1310114148 281864 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :You just make your master clock for the actual circuit slow enough so that signal propagation delays like that aren't a problem, right? < 1310114154 654714 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :So 30 seconds per tick? < 1310114155 964772 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Sounds good to me < 1310114160 593259 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : elliott: You should call this Minecraft Lava. < 1310114161 313986 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1310114163 246561 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : How are you going to deal with connections being unable to be longer than 15 tiles without needing a repeater thus making that connection take one extra tick < 1310114166 791633 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Don't repeaters work? < 1310114172 785590 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yeah < 1310114179 773277 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well, I just have to account for that during synthesis < 1310114181 808560 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :yeah but < 1310114186 332635 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's no harder than the physical problems real-world synthesisers take :) < 1310114187 547701 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :elliott: It's just that they're a hell of a lot of propogation delay in most contexts is all. < 1310114225 853152 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yeah, but human-built shit suffers this too < 1310114234 126813 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And human-built shit generally doesn't use the vertical dimension much < 1310114238 871586 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :pikhq: Perhaps he can then do the clock-setting time-speedup thing to actually run the universe at higher speed. < 1310114241 959146 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I have the advantage there, i.e. building pain isn't an issue :P < 1310114272 534178 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :(Does that still work?) < 1310114305 931900 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Heh. < 1310114307 588410 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I dunno. < 1310114329 965139 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :It's kind of surprising that redstone only runs at 10 fps to begin with < 1310114333 628771 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Is it really so computationally intensive? < 1310114336 359974 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :A traditional way of observing functions is to apply a function to a < 1310114336 535342 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :dummy argument, and observe where this dummy argument occurs < 1310114336 697494 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :inside the result expression. At first, it seems that an exception can < 1310114336 697659 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :be used for this, but there is a critical shortcoming. It is impossible < 1310114336 697768 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :to distinguish between the use of a dummy argument in a sound < 1310114337 430640 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :way and examining the argument. For example < 1310114339 361262 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :\ x -> (1,[1..x]) < 1310114341 508303 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :gives the same result as < 1310114343 463186 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :\ x -> (1,x) < 1310114347 344314 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :when x is bound to an exception-raising thunk. < 1310114349 313367 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :haha WOW < 1310114351 267924 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :someone else had that idea???? < 1310114407 841493 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Patashu: Actually, Notch is t3h lazy. < 1310114421 419502 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instance ( MuRef a, Typeable a, NewVar a, < 1310114421 581756 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :MuRef b, Typeable b, < 1310114421 581958 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :DeRef a ~ DeRef (a -> b), < 1310114421 582070 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :DeRef b ~ DeRef (a -> b) ) < 1310114421 582177 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :=> MuRef (a -> b) where < 1310114422 280740 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :type DeRef (a -> b) = Node < 1310114424 394856 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mapDeRef f fn = let v = mkVar $ toDyn fn < 1310114426 236077 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in Lambda <$> f v <*> f (fn v) < 1310114433 898926 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Same reason for the 16 block limit. < 1310114512 470926 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :um no that's for performance reasons IIRC < 1310114519 358461 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and memory-hogging reasons < 1310114523 705146 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :How performance intensive is it to do some boolean arithmetic < 1310114546 688706 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Patashu: Well, you must remember, this is Java. < 1310114554 577734 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :aaah < 1310114581 105800 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Where people love that their JVM is uberfast, so they can put 10 trillion poorly done abstraction layers in place so it's sufficiently slow. < 1310114591 330955 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Mmm, abstraction < 1310114594 658081 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :I still love the xkcd comic about that < 1310114613 459599 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Flash movie on flash on web browser on kernel on CPU on hardware or something < 1310114636 314026 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :I think the best kind of abstraction is simulating a CPU on circuitry on your computer on your CPU on your circuitry < 1310114679 480117 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Like that dwarf fortress computer one guy made < 1310114686 278301 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Then you inevitably get someone saying to emulate dwarf fortress on that computer < 1310114691 316490 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :Strangely no one ever goes that far < 1310114830 241928 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :ok, I go to bed after this < 1310115037 875160 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://www.ittc.ku.edu/csdl/fpg/sites/default/files/Gill-09-TypeSafeReification.pdf god this is sdojfisdf < 1310115053 989481 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Patashu: you might like the eigenvalues blog :p < 1310117119 70592 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de JOIN :#esoteric < 1310117189 120701 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de QUIT :Client Quit < 1310117241 625492 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de JOIN :#esoteric < 1310117380 377252 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1310117435 578904 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi ais523 < 1310117447 934584 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi elliott < 1310117450 611698 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de QUIT :Client Quit < 1310117458 722468 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my sleep pattern atm is unusually sane, I'm worried < 1310117464 218999 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm going to sleep about 9pm and waking up about 5am < 1310117472 702987 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :consistently < 1310117475 370493 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de JOIN :#esoteric < 1310117476 293336 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: can you use your industry connections to tell everyone not to name every single Haskell HDL library Lava just because they originally based it on something called Lava and then totally rewrote it and changed the API < 1310117477 155643 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :thx < 1310117490 872972 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: heh < 1310117498 395436 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can mention it to them if necessary < 1310117519 335523 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i read a paper about observable sharing using Kansas Lava as an example, got to the end, looked at the type signature, and used the hackage library instead of rewriting it < 1310117524 298371 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i never use libraries, something is WRONGGG < 1310117543 649357 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :class MuRef a where < 1310117543 825399 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : mapDeRef :: < 1310117543 988111 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Applicative f => < 1310117543 988282 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : (forall b. (MuRef b, DeRef a ~ DeRef b) => b -> f u) < 1310117543 988389 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : -> a < 1310117544 880038 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : -> f (DeRef a u) < 1310117547 20600 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :seriously. that signature. < 1310117625 929989 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway, < 1310117627 701136 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :add :: (Bit,Bit,Bit,Bit) -> (Bit,Bit,Bit,Bit) -> ((Bit,Bit,Bit,Bit),Bit) < 1310117627 863202 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :add (a,b,c,d) (e,f,g,h) = ((oa,ob,oc,od),cd) < 1310117627 863380 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : where (oa,ca) = halfadd a e < 1310117628 25333 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : (ob,cb) = fulladd b f ca < 1310117628 25507 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : (oc,cc) = fulladd c g cb < 1310117628 742567 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : (od,cd) = fulladd d h cc < 1310117631 553143 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :woop woop < 1310117653 317052 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but now I just need to make that _generic_ < 1310117656 744141 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de QUIT :Client Quit < 1310117667 737544 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de JOIN :#esoteric < 1310117690 7575 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: and before you ask, yes, yes i am just reimplementing york lava wholesale < 1310117694 806254 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :heh < 1310117700 135684 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what are you going to call it? < 1310117709 533979 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hexham lava < 1310117721 571502 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric ::) < 1310117729 43563 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(not really, but it's tempting) < 1310117733 957798 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe i'll just call the actual DSL hexham lava < 1310117767 298940 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so yeah, when i was surprised by "let x = delay low (delay high x) in x" working in York Lava < 1310117769 947806 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i shouldn't have been < 1310117771 579746 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :do you still live in an insignificant village vaguely near Hexham? < 1310117775 582906 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh god the horrors that go into making that work < 1310117788 956568 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: no, I've been in Hexham proper since late last year < 1310117795 842986 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah, OK < 1310117798 672414 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and I'm putting you down in my book as an exceptionally bad stalker < 1310117802 130448 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :heh < 1310117810 925605 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :don't worry, I'm sufficiently bad at stalking that you have nothing to fear from me < 1310117814 472889 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm, was it even late, or was it just mid < 1310117827 946339 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: that's exactly what a master stalker would say < 1310117838 504598 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION EYES SUSPICIOUSLY...... < 1310117865 530378 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wow, the News of the World is actually going to shut down as a result of the phone hacking scandal < 1310117872 319016 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1310117884 554591 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so just to scare ais523, I would now like to state the fact that my code can tell < 1310117885 668330 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fulladd :: Bit -> Bit -> Bit -> (Bit,Bit) < 1310117885 844553 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fulladd a b cin = (n `xor` cin, (a `and` b) `or` (n `and` cin)) < 1310117887 453292 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : where n = a `xor` b < 1310117889 764255 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :from < 1310117897 248695 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fulladd :: Bit -> Bit -> Bit -> (Bit,Bit) < 1310117897 423688 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fulladd a b cin = ((a `xor` b) `xor` cin, (a `and` b) `or` ((a `xor` b) `and` cin)) < 1310117926 32589 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that sort-of defeats the point of Haskell, I fear < 1310117927 530771 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well done < 1310117949 82694 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: not really; the only change is that the outputted redstone will be /slower/ if you do that < 1310117961 703649 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and it's hardly unHaskelly for shuffling equivalent code to result in a /speed/ change < 1310117967 181297 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :otherwise optimising Haskell code would be impossible < 1310117974 411513 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I suppose so < 1310117980 758976 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: and you can only tell them apart in IO, which can do anything < 1310117988 831515 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: anyway, York Lava does it too < 1310117995 611407 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and so does Kansas Lava, but in a nicer way that I copied :) < 1310117999 948063 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I fear that there's far too much magic in IO < 1310118000 109986 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :((by using their library)) < 1310118005 750387 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nobody likes IO < 1310118017 372668 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is literally State RealWorld :P < 1310118025 22009 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's a big ol' heap < 1310118087 251890 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, based on wiki discussion, I'm vaguely tempted to try to write a language where it's far from obvious (preferably undecidable) whether it's computable or not < 1310118089 23676 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I have no idea how < 1310118330 455936 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :elliott: State#, a rather different beast < 1310118340 38115 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : do you still live in an insignificant village vaguely near Hexham? <-- wait, hexham isn't an insignificant village? < 1310118361 65345 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: it's major enough for me to have heard of it before elliott claimed to live nearby < 1310118368 868852 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although not major enough for me to know why I'd heard of it < 1310118378 600813 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: By "literally", I meant "figuratively". < 1310118398 975490 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: And it's not State# RealWorld, it's State# RealWorld -> (# State# RealWorld, a #). < 1310118399 137970 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Don't do that. < 1310118401 106216 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :TO BE PRECISE. < 1310118423 423184 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: Have you got any other prescriptivist-pedant requests to make? (would you like fries with that?) < 1310118458 194290 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Not right now. < 1310118466 654242 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Duly noted. < 1310118529 180840 :oerjan!oerjan@tyrell.nvg.ntnu.no QUIT :Quit: Later < 1310118625 663161 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: Is Vorpal right in saying that calling a vector of n HDL-bits a word wrong? :'( < 1310118634 401213 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :As opposed to "array of bits" which is just SILLY. < 1310118654 225657 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: calling it a word is correct iff it corresponds to some sort of native wordlength in what you're producing < 1310118663 543737 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think it'd be wrong to have, say, both 9-bit words and 11-bit words in the same program < 1310118667 727769 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but either is plausible in the abstract < 1310118678 176154 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: But x86 words aren't even the native wordlength! < 1310118680 706536 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :std_logic_vector, the "official" VHDL name, is incidentally also just SILLY < 1310118687 56253 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: because x86 is wrong < 1310118692 294291 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: Anyway, you're just a meanie, York Lava does it. < 1310118713 958022 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :type Word n = Vec n BitSource < 1310118714 133338 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Notably, an instance of the Num class. < 1310118719 411480 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::p < 1310118729 937668 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :York Lava: literally god? < 1310118730 582236 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's dangerous, as you run into signed/unsigned arithmetic problems < 1310118737 47027 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: It has a separate Signed type < 1310118739 680984 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :aha < 1310118753 575810 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"one-hot" <-- I love this terminology < 1310118763 663650 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I know for my compiler, I decided to use signed/unsigned operators rather than signed/unsigned data types, I think that's a much more mature and sensible way to handle the issue < 1310118779 114794 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: By "much more mature and sensible", do you mean "less effort"? < 1310118779 821374 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: the inefficient small-integer encoding that is nevertheless sometimes useful? < 1310118788 62038 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: no, it's about the same amount of effort < 1310118792 146049 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :How's it inefficient < 1310118795 19648 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it removes classes of subtle bugs < 1310118800 833904 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: It's just the OCaml solution, i.e. not a solution < 1310118812 294151 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: well, if you're encoding 1,2,3,4,5 as 10000 01000 00100 00010 00001 < 1310118825 237957 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you'd probably be better off using 001 010 011 100 101 if you wanted to save memory < 1310118833 562601 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one-hot just makes for a useful intermediate sometimes < 1310118840 5442 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, is that what one-hot means? < 1310118848 79973 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I assumed it just meant one = one binary < 1310118851 417754 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Rather than inverting them < 1310118867 129863 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Which cheap plastic imitation of ais523 (Vorpal) tells me is sometimes a good idea < 1310118886 553479 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the thing about modern semiconductor design is, 0s are more powerful as 1s < 1310118895 216426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*than 1s < 1310118895 429811 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote the thing about modern semiconductor design is, 0s are more powerful as 1s < 1310118897 184488 :HackEgo!Gregor@codu.org PRIVMSG #esoteric :490) the thing about modern semiconductor design is, 0s are more powerful as 1s < 1310118902 855923 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, I mentally corrected that < 1310118905 653868 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as in, you can sink more current from a 0 than you can source from a 1 < 1310118907 372216 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But hey, it makes the quote more confusing, let's go with that < 1310118916 101994 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the difference is almost an order of magnitude, it's quite large < 1310118920 593791 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Heh < 1310118933 314102 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :often you have to use 0=true as a result, say if you're powering LEDs < 1310118940 566206 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: Doesn't apply in redstone, mind you :) < 1310118948 306006 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I have to keep reminding myself I'm not writing an /actual/ synthesiser. < 1310119104 578564 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's not a real problem in practice, as you can just add an inverter at the end < 1310119111 977910 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :except when you're designing the internals of an IC < 1310119311 72908 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm, at least I can say I've improved on this particular module of York LAva < 1310119311 774112 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Lava < 1310119320 33493 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I've made the type-level nats binary to avoid context stack overflows < 1310119412 792817 :FireFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1310119728 80842 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wow, how does less-than work on binary numbers again < 1310119906 115621 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Same way it works on decimal numbers < 1310119921 200755 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :badly? < 1310119932 938096 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :0 < 1 < 1310120045 417570 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: no that s wrong < 1310120107 196440 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :If the bits're equal, recurse, otherwise 0 < 1, if no more bits are left then the numbers are equal < 1310120184 315399 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you are an scholars... < 1310120250 661192 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :god dammit ghc < 1310120254 51379 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i turned on scoped type variables < 1310120256 899747 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :scope'em < 1310120272 586075 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Your question provided no context to assume rhetoricalness so I answered it < 1310120322 395531 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it wasnt rhetorical < 1310120327 131509 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that was sincere thanks, i cant handle binary right now < 1310120329 420878 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :too many numbers < 1310120352 704809 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :heh < 1310121086 443903 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :?ty foldl < 1310121087 210949 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b. (a -> b -> a) -> a -> [b] -> a < 1310121090 628215 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :good < 1310121206 623224 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de PRIVMSG #esoteric :why don't you want to work with squid 2, google instant? < 1310121217 150459 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de PRIVMSG #esoteric :why? < 1310122986 718461 :GreaseMonkey!~gm@unaffiliated/greasemonkey QUIT :Quit: The Other Game < 1310123135 38426 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Man, are there really no decent fixed-length vector libraries on Hackage that encode the vector as a natural in the type rather than making the type grow in the number of conses or whatever? < 1310123292 570673 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NOT A RHETORICAL QUESTION, PEOPLE < 1310123357 363172 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :hah < 1310123362 721199 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :high level o2jam charts are the perl of rhythm gaming < 1310123366 766459 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :http://www.youtube.com/watch?v=8l7XLN7tFRI&feature=related < 1310123374 814811 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :rhythm gaming is the perl of rhythm gaming < 1310123421 830829 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au PRIVMSG #esoteric :column noise :D < 1310124427 842492 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :qwer < 1310124678 900899 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :xD < 1310124709 949898 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol how does a flower < 1310124741 940553 :oklopol!~oklopol@dyn58-429.yok.fi PRIVMSG #esoteric :well obviously it could just < 1310125356 511862 :copumpkin!~pumpkin@user-12hcrs5.cable.mindspring.com JOIN :#esoteric < 1310125357 30077 :copumpkin!~pumpkin@user-12hcrs5.cable.mindspring.com QUIT :Changing host < 1310125357 192099 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1310125536 782473 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1310128458 187343 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Tim Bednar 8 years ago < 1310128458 537770 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Will Google be around? I think it will be more interesting to see if Google will be around in five years? Or better yet will we still be searching for information using search engines and keywords? < 1310128813 800597 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :“Large Hadron Collider will destroy Earth.” DETAILED TERMS » < 1310128814 163622 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :PREDICTOR < 1310128814 325904 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Joe Keane < 1310128814 326106 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :CHALLENGER < 1310128814 326215 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Nick Damiano < 1310128814 511347 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :STAKES $1,000 < 1310128816 455765 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :will go to National Rifle Association if Keane wins, < 1310128818 392904 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or Save the Children if Damiano wins. < 1310128820 743897 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh i wonder what political affiliation mr. keane has < 1310128841 683478 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Prediction is correct if Earth is, as a result of operation of the collider, annihilated, reduced to much smaller volume than previously, vaporized, broken into large pieces, converted into photons, neutrinos, or other radiation, converted into exotic matter, or just unable to support life. For the purpose of the bet, Earth should be considered "destroyed" if, at the end of the term of this bet in 2018, zero human beings reside on the surface of t < 1310128841 862978 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :anet. Damage caused by attack of hostile beings is included if it is a causal result of operation of the collider. Teleporting Earth to another location or alternate universe where it is still able to support life is specifically excluded. Bet is won if whatever scientific community remains at this time, whether human, machine, or extraterrestrial, acknowledges that the "destruction" of Earth most likely resulted from the Large Hadron Collider or a < 1310128842 564203 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :uct thereof (e.g. strangelet, micro black hole, etc)." < 1310128876 533410 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :heh < 1310128888 488061 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :At least they're thorough < 1310128908 138762 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: I like how Keane thinks we're going to colonise other planets before the LHC blows everything up < 1310128917 757448 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or maybe the "international scientific community" will consist of the people on the ISS < 1310128928 710438 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"That Earth look blown up to you?" "Yep." "LHC?" "Prob'ly." < 1310128948 807281 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Teleporting Earth to another location or alternate universe where it is still able to support life is specifically excluded." <-- this is the best part though, i hope the lhc does this < 1310128984 398544 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Well, it did specify "human, machine, or extraterrestrial" < 1310129017 719634 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :And "whatever scientific community remains at this time" < 1310129028 281236 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Secondly, the concept of "unitlessness" was invented (AFAIK) by some academic to scare students a long time ago and is not taken seriously by modern scientists. I first heard of it in an early lecture in my college physics class and decided to drop it (the lecturer's accent was also really bad). Even more strange, I logged onto OpenCourseWare and Walter Lewin talked about it as well! I had heard that MIT was a good school, but I am now teaching my < 1310129028 444900 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :physics from better books such as the Emperor's New Mind." < 1310129040 859433 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :This is the best web page + comment section I have ever read. < 1310129133 522183 :foocraft!~ewanas@89.211.223.87 JOIN :#esoteric < 1310129147 16535 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: if the LHC destroyed the world, collecting on the bet would be a little difficult < 1310129167 972803 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: :slowpoke: < 1310129188 231161 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: you can't slowpoke me if I haven't been looking at the chat for ten minutes and that's my reaction upon catching up < 1310129193 509265 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, you can, but it isn't very effective < 1310129214 128770 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I can slowpoke ANYONE. < 1310129224 429581 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :besides, Dream World slowpoke is actually very good < 1310129239 373426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, better after evolving < 1310129242 11926 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes but it's still slow and a poke. < 1310129523 611208 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1310130006 426306 :CakeProphet!~adam@h176.5.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1310130006 626759 :CakeProphet!~adam@h176.5.18.98.dynamic.ip.windstream.net QUIT :Client Quit < 1310130026 174441 :CakeProphet!~adam@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1310130797 336893 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: WeeChat 0.3.5 < 1310131462 630943 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Redsynth.Test> add (one,zero,zero,one) (zero,zero,zero,one) < 1310131462 819430 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :((one,zero,zero,zero),one) < 1310131463 150143 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no < 1310131486 351060 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Remote host closed the connection < 1310131515 912962 :copumpkin!~pumpkin@gw1.mcgraw-hill.com JOIN :#esoteric < 1310131516 396405 :copumpkin!~pumpkin@gw1.mcgraw-hill.com QUIT :Changing host < 1310131516 558760 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1310131824 160630 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Redsynth.Test> add (one,zero,zero,one) (one,zero,zero,zero) < 1310131824 362887 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :((zero,one,zero,one),zero) < 1310131825 219450 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh right < 1310131827 518719 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :its little-endian < 1310131872 444784 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Gross < 1310132094 804136 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: what < 1310132102 566529 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: little endian is the best < 1310132133 352626 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Why < 1310132156 257216 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: downcasting is nop < 1310132174 791002 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also, it's the obvious ADT expression of binary :) < 1310132216 471359 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Fair enough < 1310132231 864044 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :I'd still make I/O big-endian :-P < 1310132235 574313 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Conversely, why's it gross? < 1310132252 57856 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And that's hardly I/O, that's simulating a ripple adder by literally giving it bits :P < 1310132269 403271 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Just from the I/O perspective in that it's unlike (almost?) all natural languages < 1310132291 529513 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: You realise this is a circuit that would be used internally in a CPU? < 1310132292 764974 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :I guess with Read and Show you have to have it like that, meh < 1310132296 309547 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's not "I/O" :P < 1310132308 957491 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: When I'm simulating something that looks like < 1310132312 910853 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :add :: (Bit,Bit,Bit,Bit) -> (Bit,Bit,Bit,Bit) -> ((Bit,Bit,Bit,Bit),Bit) < 1310132313 92745 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :add (a,b,c,d) (e,f,g,h) = ((oa,ob,oc,od),cd) < 1310132313 255000 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : where (oa,ca) = halfadd a e < 1310132313 255158 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : (ob,cb) = fulladd b f ca < 1310132313 255266 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : (oc,cc) = fulladd c g cb < 1310132313 444627 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : (od,cd) = fulladd d h cc < 1310132315 421095 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :It's I/O in the sense that you I (one,zero,zero,one) and it Os (zero,one,zero,one) < 1310132317 770161 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't want it to print in opposite order. < 1310132335 778038 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: How many times do I have to say that I'm simulating an adder circuit directly :P < 1310132386 928278 :Patashu!~Patashu@c122-106-155-219.carlnfd1.nsw.optusnet.com.au QUIT :Ping timeout: 252 seconds < 1310132418 258607 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :To preserve my sanity I'd write a String -> (Bit,Bit,Bit,Bit) that turns "1000" into (zero,zero,zero,one) or (zero,one,zero,zero) or whatever it should be < 1310132435 113685 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Or Int -> if you prefer < 1310132455 432419 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: It's going to be Vec N4 Bit, or maybe even Unsigned N4 < 1310132458 656581 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And that'll have a Num instance < 1310132476 605116 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Not that Haskell has binary literals, but < 1310132489 620736 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :You found a Vec library? :-P < 1310132517 404279 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: I've already written my own, it's just crap :P < 1310132529 894192 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: I tried to use binary type-level nats to avoid context stack overflows < 1310132542 394478 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But it turns out that it's way harder to "prove" stuff about them to get your functions to type, woo < 1310132551 248753 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :So fuck that, I'm going back to unary and forcing ugly compiler flags on everyone < 1310132562 913072 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: I suppose I could depend on York Lava and just "import Lava.Vec" :P < 1310132610 368691 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Ugly compiler flags? < 1310132623 572821 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, on a development board I used, that had a row of buttons and leds, for buttons 0 = pressed, and for the leds 0 = emitting light. < 1310132629 416878 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :(wrt that discussion above) < 1310132662 389679 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: -fcontext-stack=9999 < 1310132663 622537 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or whatever it was < 1310132674 627330 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Ah, heh < 1310132692 698869 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's set at twenty-one by default, which means that if you have a twenty-four bit word, the compiler will refuse to admit it's a member of any typeclasses where your instance recurses < 1310132706 791150 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :A really stupidly low value; what harm would there be in setting it to e.g. five hundred twelve < 1310132716 8800 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Vorpal: Nice :P < 1310132732 903040 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, one-hot coding can be used on a port on a SOC for example if you connect one LED or button to each pin on that port < 1310132742 835453 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :I mean, it has it's uses < 1310132817 805762 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :SOC? < 1310132831 836396 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, System On a Chip < 1310132873 206967 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Bah, who needs chips, lay it on the rough grass, this is Minecraft! < 1310132886 949545 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :elliott, well it was just an example < 1310132889 652576 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Fish is all you need, the chips are just extra < 1310132916 455995 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Like you guys have chips in Finland. < 1310132940 794276 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Hence only fish < 1310132960 234639 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You probably don't even know what "fish" means < 1310132983 656461 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :http://www.kalakerho.net/tiedostot/ahven24.jpg < 1310133151 915521 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :Deewiant, what sort of fish is it? < 1310133177 980223 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Perch < 1310133188 835175 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :(fi:ahven) < 1310133207 695520 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :oh sv:abborre < 1310133212 369104 :Vorpal!~AnMaster@unaffiliated/anmaster PRIVMSG #esoteric :right < 1310135155 339591 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the funny thing is, that although most Brits know a perch is a sort of fish, they have no idea what specifically it is < 1310135159 328837 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I know I don't < 1310135169 71917 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I wouldn't be able to tell one from another random species of fish I didn't know < 1310135207 509205 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :GOD DAMMIT HASKELL < 1310135224 629127 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :IF A PARAMETER OF A GADT HAS AN INSTANCE FOR A GIVEN TYPECLASS FOR EACH CONSTRUCTOR < 1310135227 862037 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :THEN IT DOES NOT NEED TO BE STATED < 1310135228 956636 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :IN EVERY < 1310135229 686578 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :SINGLE < 1310135230 571418 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :FUCKING < 1310135231 305818 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :FUNCTION < 1310135235 588444 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :IM GOING TO RIP YOUR SOUL APART < 1310135577 904744 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, this makes me want to work more (as in, at all) on Anarchy < 1310135582 160490 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even if it probably wouldn't solve that problem < 1310135603 735395 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Property is theft! Uh, also, GADT typeclass contexts." < 1310135656 860330 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's, umm, an esolang < 1310135663 932083 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :intended for writing compilers < 1310135678 19405 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : it's, umm, an esolang < 1310135680 532511 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :never a good line to hear < 1310135690 462557 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, it's not as eso as most esolangs < 1310135699 226829 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's just that I can't consider anything I write a real language :) < 1310135703 365693 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1310135727 194852 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :one day ais523 will release the Common Practicality-Oriented Boring Language, and talk about HOW ESOTERIC it is; you guys, it organises statements into blocks and has mutable variables!! < 1310135739 697701 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and we'll all believe you cuz we're gullible hero-worshipping idiots < 1310135756 775578 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :heh < 1310135761 328133 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and it will become world famous < 1310135765 607150 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and we will declare mission successful < 1310135779 651194 :foocraft!~ewanas@89.211.223.87 QUIT :Ping timeout: 255 seconds < 1310135780 543646 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Anarchy effectively has mutable types, does that count? < 1310135791 318904 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as in, the types themselves, not variables of that type < 1310135800 224539 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :except it's done statically at compile time < 1310135830 638839 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :heh < 1310135845 794390 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION realises he should have more of an aversion to the phrase "statically at compile time" than he does < 1310135896 540347 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's also one of those languages where I have to reign it back a bit to stop it becoming uncomputable < 1310135905 931332 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's all your languages < 1310135908 993910 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :except sometimes you don't even bother < 1310135911 336802 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, apart from the sub-TC ones < 1310135925 476990 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nah, Underload hit exactly TC pretty much without trying < 1310135934 579665 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although it turned out to have quite a few redundant commands for that purpose < 1310135943 624839 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :After Overload collapsed under its own weight < 1310135952 471041 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1310135954 553392 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it had goto < 1310135965 552817 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :What I'm saying is, Underload is the reigning-in of Overload :P < 1310135969 577304 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and you could jump into bits of program that were still on the stack, etc < 1310135976 183786 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't believe Overload was super-TC, though < 1310135980 855123 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just really hard to get your head around < 1310135988 732561 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and, fwiw, to implement < 1310135990 827394 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I wonder what happens if you take something like Overload, and just don't stop adding to it < 1310135999 678992 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Can languages collapse into a black hole? < 1310136008 49808 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :do you know of MAGENTA? < 1310136013 453210 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Will adding ONE MORE FEATURE suddenly make your language uncomputable in conjunction with the others? < 1310136027 473370 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: Yeah, but that's more "a really silly imperative-ish language" than "EVERY PARADIGM POSSIBLE SMUSHED TOGETHER". < 1310136031 58240 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1310136034 914134 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and even so, it's cursed < 1310136045 745182 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :smushing every paradigm possible together would be worse < 1310136052 669854 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :admittedly, Overload was getting that way < 1310136082 874768 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Perfection is achieved, not when there is nothing left to take away, but when there is nothing more to add."--Saint-Exupery de Antoine < 1310136089 833897 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :s/"-/" -/ < 1310136093 65014 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is that a genuine attribution? < 1310136106 462925 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(quote from foreword of The Kind-of-Algorithmic Language Overload) < 1310136111 719392 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: No :P < 1310136115 730313 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, if you think about it, it's correct that way round < 1310136118 959943 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's "Perfection is achieved, not when there is nothing more to add, but when there is nothing left to take away." --Antoine de Saint-Exupery < 1310136133 933088 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if there's nothing more to add, it means that you don't need anything else for it to be perfect, along the lines of BF < 1310136138 689955 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: Argh, I swapped too much. < 1310136155 943431 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Perfection is achieved, not when there is nothing more to take away, but when there is nothing left to add." --Saint-Exupery de Antoine < 1310136159 771182 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if there's nothing more to take away, it means you have a horrific mess where you can't take out anything and leave it still viable < 1310136165 469582 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :see, I fixed it < 1310136176 362909 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, that's worse < 1310136185 518756 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you misspelled better < 1310136194 110200 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I mean, it's meant to be a bad quote, right? < 1310136196 220318 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so being worse is better < 1310136258 818244 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that was intentional, right < 1310136304 578585 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: what should i call... a bit vector... if not a word... :( < 1310136309 97025 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i need something to call the module :P < 1310136313 862626 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :im thinking of just using Unsigned/Signed for the actual types < 1310136318 469260 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :semi-intentional, I caught it as soon as I wrote the sentence, and left it in < 1310136319 150164 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :then there can be NO ARGUMENT < 1310136339 350561 :foocraft!~ewanas@89.211.167.31 JOIN :#esoteric < 1310136376 243608 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what about SomeBitsOfThisAreSignedAndSomeAreUnsignedBecauseVHDLDoesntHaveVarargsButItDoesHaveArraysWithLengthSpecifiedByATemplateParameterSoIFakedThemWithAnArrayAfterAllEverythingIsJustBitsRight < 1310136394 770625 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've actually done that on two different projects... < 1310136403 423860 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: that exact name? < 1310136414 127365 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, I didn't actually name them that < 1310136421 763091 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :GO RECTIFY THAT < 1310136422 349315 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the type was called std_logic_vector, as always < 1310136436 464775 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: amusingly, Haskell doesn't have varargs either < 1310136438 983227 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but it has [], which is the same thing < 1310136442 210646 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I mean, it's a use for a std_logic_vector that isn't interpreted either as a signed or an unsigned variable < 1310136481 125802 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :UNLIKE YORK LAVA, I'm planning to keep the numbery types separate from the vectors by newtypes < 1310136496 85079 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :York Lava just keeps signed separate (for typeclasses); vectors of bits are identical to unsigned numbers < 1310136500 787262 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Which seems Wrong < 1310136505 291266 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Especially as it stops you making a nice Show instance < 1310136517 843887 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Unless you want all your vectors to show like that I suppose < 1310136551 737444 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :VHDL's method of doing things is really amusing < 1310136569 462633 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :by default, + on vectors is an error, you have to import an arithmetic library < 1310136578 884868 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :heh < 1310136584 701550 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and signed and unsigned arithmetic are in two separate libraries, so originally you just imported one or the other < 1310136600 762965 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :after a while, they decided that was stupid, so imported a third which had signed() and unsigned() casts you could put around the vectors < 1310136603 455777 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I kind of feel bad about writing a Num instance, because dammit, you should have to write your own ripple carry adder < 1310136625 560921 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ripple carry? so slow < 1310136631 809475 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although at least it's easy < 1310136633 905914 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: So small < 1310136653 497874 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: Remember, my electronics have very limited size :P < 1310136657 123426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1310136664 752146 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And the bigger they get the smaller they get (= repeater) < 1310136666 567821 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ideally, you'd let the user select their own implementation of addition < 1310136673 360866 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :They can do that by using another function :P < 1310136680 176 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or making their own instance and not importing mine < 1310136698 265498 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: Almost any adder will require being assembled as a separate circuit and hooked up to the rest of the system, anyway < 1310136710 425927 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Because, like I said, my circuits are tiny < 1310136714 922403 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Can't afford to duplicate anything :P < 1310136747 245537 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: So in RL circuits, do OR gates flow the result back to their input too? < 1310136758 67598 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :depends on the architecture < 1310136759 914011 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i.e. (A or B) where A is low and B is high flow... highness to A. < 1310136763 366664 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(I'm good at terminology.) < 1310136776 27723 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a "wired-OR" does, that's when you connect two outputs together, using logic levels that make that possible < 1310136778 349264 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :This is kind of a problem in Minecraft since it saves space and time most of the time but fucks up some circuits :P < 1310136781 350537 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it has all sorts of undesirable characteristics < 1310136791 621306 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so people nearly always use gates which have explicit inputs and outputs < 1310136806 737642 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: In redstone, OR is literally just connecting two wires together, yeah < 1310136807 262735 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :note that if you flow a signal to an output in real life, you either get nothing happening, very high power drain, or a fire < 1310136809 744158 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :depending on various things < 1310136815 921442 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And it's the most common type of OR because... repeaters take up a block and a tick < 1310136829 90167 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :alternatively, you could use diodes, but that has problems of its own < 1310136830 395055 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(You need to put a repeater on one input to stop it flowing backwards) < 1310137058 50176 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: BITVECTOR IS SUCH AN UGLY NAME DO YOU HAVE ANY IDEA < 1310137096 200992 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just call it Std_logic_vector < 1310137130 337951 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ACTION runs < 1310137625 937651 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: :D < 1310137629 895731 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: but it isn't even std_logics < 1310137636 949217 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I deal in finest pure bits < 1310137652 643381 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, VHDL's array declaration syntax is really really weird < 1310137659 816988 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :first, you have to define an array type < 1310137670 278786 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the definition looks something like this (/me looks it up because it's so crazy): < 1310137703 12312 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ugh, seems I don't use it in any of my programs < 1310137713 990357 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ACTION looks it up in the stdlib < 1310137736 809414 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: LITTLE OR BIG ENDIAN < 1310137748 307255 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :depends on whether you declare the indexes as 0 to 7 or 7 downto 0 < 1310137755 591140 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: no i mean which do you do < 1310137766 1234 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :lsb is 0 < 1310137775 821020 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: so little < 1310137780 28456 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :orw ait no < 1310137791 369307 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :type std_logic_vector is array (natural range <>) of std_logic < 1310137799 865549 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*type std_logic_vector is array (natural range <>) of std_logic; < 1310137816 382291 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :as opposed to real or complex range < 1310137818 607722 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1310137821 786206 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wait < 1310137822 694693 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :srsly? < 1310137833 337850 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure what happens if you put something other than an integral type there < 1310137846 249069 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I suppose I should try string range <> sometime to see how the compiler reacts < 1310137852 697250 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, I still don't know what the <> is for < 1310137866 16077 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :its the hole that the indices go into < 1310137873 493082 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :where else would they fit < 1310137936 815977 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :VHDL is really finicky about semicolons, btw < 1310137949 750049 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm, I should parameterise my integer types on little/big endian < 1310137951 375400 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :good idea y/n < 1310137954 836579 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the rules for where they go are vaguely consistent but unintuitive < 1310137966 409228 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: well, VHDL effectively does < 1310137973 59646 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes but i'm not vhdl :) < 1310137986 636813 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you go down that route, you should parameterise signed integers on whether they're two's complement, one's complement, or signed-magnitude < 1310137990 810592 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and have a thousand different sorts of floats < 1310137993 766107 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hahaha no < 1310138003 546299 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :floats in minecraft LMAO i want to make an fpu now < 1310138005 896701 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the most useless fpu. < 1310138044 739218 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :someone wrote one in INTERCAL < 1310138079 719483 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :admittedly, I don't think anyone wrote one in Malbolge < 1310138084 377089 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and redstone is somewhere in between < 1310138448 131462 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: but seriously < 1310138457 75841 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :LITTLE OR BIG ENDIAN i need to know what opinion you have so i can correct it < 1310138465 641757 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :heh < 1310138466 29846 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Middle endian < 1310138470 182443 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure which term refers to what < 1310138476 105357 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :middle endian is unmistakably wrong, though :) < 1310138485 606930 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: little endian = numbers done get bigger as you go right < 1310138487 430122 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :big endian = not that < 1310138491 591778 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :xeightsix is little < 1310138494 160301 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sparc is big < 1310138497 567352 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which end's left, and which end's right? < 1310138505 307660 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, it depends on what you're doing < 1310138506 492576 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wait, sparc is bi-endian < 1310138507 34606 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lol < 1310138516 122490 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: oh come on, you know what end's left < 1310138520 932527 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :gcc-bf uses least significant byte has lowest address < 1310138525 550328 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :little: lowest address = least significant < 1310138528 822900 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :X endian = the most X significant bit is at the start < 1310138529 994618 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because that way, casting int to short or short to char is a no-op < 1310138530 461916 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :big: lowest address = most significant < 1310138541 4733 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: right, that's the sole reason for little-endian being good < 1310138546 628941 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :as opposed to the zero reasons for big < 1310138572 607843 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Big endian discourages casting, thus is good < 1310138650 952356 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: What does that even mean < 1310138741 577351 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Because downcasting big endian integers isn't a no-op, you're less likely to cast with big endian, and because blindly casting is generally bad, this is a good thing, thus big endian encourages good practices, thus it is good < 1310138822 7345 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: You... are joking, right? < 1310138826 712327 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Yes < 1310138829 973802 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Thank god < 1310138992 448861 :Gregor!Gregor@codu.org PRIVMSG #esoteric :The space shuttle countdown clock on nasa.gov is counting up :P < 1310139004 707375 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: big-endian works better for fixedpoint, for much the same reason little-endian works better for integers < 1310139018 897057 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because you can truncate it as a no-op < 1310139025 829915 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Heh < 1310139026 916785 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :... < 1310139027 816672 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: Heh < 1310139030 721506 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But you can have a heh too < 1310139200 600202 :lifthrasiir!~lifthrasi@61.106.27.227 PRIVMSG #esoteric :http://codepad.org/9txI7dcT recent project: code golfing a text-to-number program.f < 1310139217 281781 :lifthrasiir!~lifthrasi@61.106.27.227 PRIVMSG #esoteric :s/f$// < 1310139296 914352 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :as in "one hundred" => ...? < 1310139312 920725 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Yep < 1310139339 367567 :lifthrasiir!~lifthrasi@61.106.27.227 PRIVMSG #esoteric :yes < 1310139405 20925 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Now make it reject invalid input < 1310139457 564137 :lifthrasiir!~lifthrasi@61.106.27.227 PRIVMSG #esoteric :Deewiant: the first approach i tested indeed did so, using a perfect hash. too huge for golfing however. < 1310139510 323153 :lifthrasiir!~lifthrasi@61.106.27.227 PRIVMSG #esoteric :it nevertheless handles "thousands" vs. "thousand" correctly, and also correctly ignores "and". < 1310139531 982092 :lifthrasiir!~lifthrasi@61.106.27.227 PRIVMSG #esoteric :one bug is that it treats "a" as like "zero"... :p < 1310139623 152062 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm, type families and typeclasses, tricky < 1310140150 963504 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :qntm: SPAAAAAAAAAAAAAAAAAAAAAAAAAAAAACE < 1310140393 933321 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net JOIN :#esoteric < 1310140899 551664 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: how do type families < 1310140967 92750 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :when a boy type loves a girl type very much < 1310141026 192579 :Gregor!Gregor@codu.org PRIVMSG #esoteric :https://github.com/mozilla/narcissus/blob/master/lib/jslex.js#L538 BEHOLD < 1310141043 233815 :Gregor!Gregor@codu.org PRIVMSG #esoteric :My BRILLIANT metacircular code is now a part of Narcissus. < 1310141045 850342 :Gregor!Gregor@codu.org PRIVMSG #esoteric :<-- winner < 1310141077 217755 :monqy!~chap@pool-71-102-215-70.snloca.dsl-w.verizon.net PRIVMSG #esoteric :how did that happen < 1310141393 30581 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : when a boy type loves a girl type very much < 1310141394 999791 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but my types arent class < 1310141402 796379 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the POVERTY types are having CHILDREN...... < 1310141476 930780 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :eh theyve gotta do something when they arent watching tv or collecting their check... :P < 1310141533 901389 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1310141671 47640 :aloril!~aloril@dsl-tkubrasgw3-fe7ef900-153.dhcp.inet.fi QUIT :Ping timeout: 252 seconds < 1310142415 191947 :aloril!~aloril@dsl-tkubrasgw3-fe7ef900-153.dhcp.inet.fi JOIN :#esoteric < 1310142712 813523 :MigoMipo!~John@84-217-10-134.tn.glocalnet.net JOIN :#esoteric < 1310143816 183348 :aloril!~aloril@dsl-tkubrasgw3-fe7ef900-153.dhcp.inet.fi QUIT :Ping timeout: 240 seconds < 1310144041 827530 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 255 seconds < 1310144332 566741 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1310144359 90645 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :OK guys come on I need a really long, 'boring', academic YouTube video. < 1310144359 280902 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Phantom_Hoover: You have 3 new messages. '/msg lambdabot @messages' to read them. < 1310144375 131116 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Where 'boring' == boring for normal people but not actually boring for me. < 1310144597 838936 :aloril!~aloril@dsl-tkubrasgw3-fe7ef900-153.dhcp.inet.fi JOIN :#esoteric < 1310144953 68616 :foocraft!~ewanas@89.211.167.31 QUIT :Ping timeout: 258 seconds < 1310147565 937912 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://www.haskell.org/pipermail/haskell/2005-May/015815.html < 1310147569 909690 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this is cool exclamation mark < 1310147570 272824 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :s < 1310147719 544305 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :"Note that we can't type "vfoldr Cons Nil", because the result type of < 1310147719 910883 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :Cons does not match the second argument." < 1310147728 961900 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well the cool part < 1310147732 170147 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is the NatCase thing < 1310147733 106062 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :that can be done, with some minor pain < 1310147736 117143 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :which I inexplicably haven't seen before < 1310147748 38872 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :elliott: I like http://www.haskell.org/pipermail/haskell-cafe/2009-June/062690.html < 1310147749 786212 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION is running into stupid errors like < 1310147752 481631 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vat :: (i `LT` n) => Vec n a -> Nat i -> a < 1310147752 663737 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vat (x :+> _) Z = x < 1310147752 826190 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vat (_ :+> xs) (S n) = xs `vat` n < 1310147753 202086 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :--> < 1310147758 230792 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Redsynth/Vec.hs:39:27: < 1310147758 409233 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : Could not deduce (LT n2 n1) arising from a use of `vat' < 1310147758 571651 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : from the context (LT i n) < 1310147758 571834 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : bound by the type signature for < 1310147759 312706 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : vat :: LT i n => Vec n a -> Nat i -> a < 1310147761 150438 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : at Redsynth/Vec.hs:(38,1)-(39,33) < 1310147763 314206 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :blah blah blah < 1310147780 35464 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :http://hpaste.org/41453/foldl_on_vec?pid=41453&lang_41453=haskell < 1310147788 800478 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> class Nat n where < 1310147788 983632 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> caseNat :: forall r. n -> (n ~ Z => r) -> (forall p. (n ~ S p, Nat p) => p -> r) -> r < 1310147789 610916 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `class' < 1310147789 790562 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: type variable `n'Not in scope: type constructor or class `Z'N... < 1310147790 71066 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coq flashback < 1310147810 407844 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :that paste of mine shows more useful foldr and foldl on Vec < 1310147810 950943 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: also coq flashback < 1310147906 274063 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :in coq or agda you wouldn't have to do some of the acrobatics I do there < 1310147957 704128 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: I note that the "n ->" parameter to caseNat is not _technically_ necessary :) < 1310147975 547150 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: < 1310148012 270899 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: The problem, I think, with natCase is that it basically forces you to write your case statements in an ugly manner :) < 1310148018 915440 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Is there a way to make it spit out an equivalent GADT? < 1310148036 434 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :spit out? nope :/ < 1310148042 231785 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :you can probably do it all with SHE < 1310148051 406419 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :I had a module that did that somewhere < 1310148079 740513 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: I just mean "spit out" as a return value < 1310148102 504386 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :oh, sure < 1310148133 178960 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :data NatCase where IsZero :: Z -> NatCase; IsSucc :: (n ~ S p, Nat p) => n -> p -> NatCase < 1310148134 617583 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Or something < 1310148138 917751 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Hmm < 1310148154 551620 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh wait, it's simpler than that even < 1310148156 857333 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :data Nat n where Zero :: Nat Z; Suc :: Nat n -> Nat (S n) < 1310148159 772461 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric ::P < 1310148171 805146 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :then use induction < 1310148183 237078 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coppro: Yeah yeah, but that's just the GADT solution all over again < 1310148189 340653 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Although I suppose < 1310148190 241849 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :data NatCase n where < 1310148190 605318 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : IsZ :: (n ~ Z) => NatCase n < 1310148190 767541 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : IsS :: (n ~ S p, Nat p) => p -> NatCase n < 1310148192 404796 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is too, just in disguise < 1310148196 715428 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Although it's not < 1310148200 312265 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Because the p isn't GADT's < 1310148211 275583 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :point is, with "natCase :: n -> NatCase n", you can use a case statement < 1310148213 440845 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :rather than two ugly functions < 1310148250 865280 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :value :: (Nat n) => n -> Int < 1310148251 70128 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :value n = < 1310148251 232355 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : case natCase n of < 1310148251 232499 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : IsZ -> 0 < 1310148251 232572 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : IsS n -> value n + 1 < 1310148286 671837 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : IsZ :: (n ~ Z) => NatCase n < 1310148298 368300 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Onto another project already? < 1310148304 132835 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :What? < 1310148330 207891 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Is that for the synthesiser or...? < 1310148344 888770 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes. < 1310148386 724441 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :elliott: now you need finite sets < 1310148395 539835 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: Why? < 1310148405 547351 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :you have vectors, but you can't index into them! < 1310148420 703628 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh right, the entire problem I was trying to solve < 1310148425 546540 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess a typeclass just won't work for that, SIGH < 1310148445 183993 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :a Fin type gives you safe indexing into Vec < 1310148461 159434 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes, but so does a nat with an LT constraint < 1310148464 577285 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :If it works < 1310148478 432064 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :LT on type nats is a horrible hack that relies on weird behavior < 1310148490 297252 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's... just a typeclass < 1310148496 86228 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :you have it? < 1310148509 736524 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :class (N m, N n) => m `LT` n < 1310148509 917525 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instance (N n) => Z `LT` S n < 1310148510 79599 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instance (N m, N n, LT m n) => S m `LT` S n < 1310148517 869308 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Modulo I'm-really-tired errors. < 1310148534 681365 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :how do you write 0 < 5 with that? < 1310148554 895180 :Deewiant!~deewiant@cs186230.pp.htv.fi PRIVMSG #esoteric :Z `LT` S$S$S$S$S Z < 1310148562 290353 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Thanks Deewi < 1310148562 452694 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :I mean, prove < 1310148571 469952 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You don't prove anything, this isn't Agda < 1310148577 579371 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm not looking to prove anything :P < 1310148577 741290 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :instances are proofs < 1310148578 906355 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :my point < 1310148584 417273 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :is that those instances don't cover 0 < 5 < 1310148598 672364 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes... yes it does. < 1310148602 621041 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : instance (N n) => Z `LT` S n < 1310148609 451236 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :oh, okay < 1310148621 734355 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :fair enough then :) < 1310148623 453528 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm not sure why this typeclass is meant to be difficult and hacky :P < 1310148633 954940 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :there's a couple of ways of doing it < 1310148663 355569 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :either way, a Fin is a more "natural" way of indexing into a vec :P < 1310148687 944938 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, so wait, how did you end up down this route? < 1310148690 266615 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But less convenient to use, since now you have two problems caret doubleyou type-level number-ish types < 1310148701 614037 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: I want static-length vectors to represent integers. < 1310148725 230467 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :How do you define N? < 1310148746 905139 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :... < 1310148751 753630 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Do you want me to pastebin all my code? < 1310148753 813162 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :elliott: you're going to have to do the same amount of work < 1310148756 246551 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Because none of it currently works, y'see. < 1310148759 129716 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :That'd be nice. < 1310148770 275224 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :None of it at all? < 1310148782 386282 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :elliott: convincing the compiler you have an instance for an arbitrary natural is just as hard as using Fin for indices :P < 1310148799 749618 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: Very little of this part. < 1310148803 859677 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: Yeah yeah :) < 1310148814 7288 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :I warn you < 1310148816 118121 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: I just feel this little twinge in my heart every time I deviate from York Lava < 1310148819 373397 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :this way lie many proofs < 1310148833 937556 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :I've done a fair amount of fooling around like this in haskell < 1310148846 418668 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :and convincing the compiler of things that should be "obvious" is a real pain < 1310148856 791075 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :you can do it, but haskell is a pretty shitty proof language < 1310148901 42117 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :O'course < 1310148906 812437 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And all I'm tryina' do is generalise tuples :( < 1310148910 276462 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :aw < 1310148912 615874 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Doubt GHC likes thirty-two element tuples < 1310148926 844075 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :oh, homogeneous? < 1310148946 602623 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :otherwise you can bury yourself deeper and go for heterogeneous vector-like things < 1310148952 298663 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :indexing into those is fun < 1310148971 270749 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Homogeneous, yes < 1310148976 142631 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm writing an HDL < 1310148982 131058 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :HDL? < 1310148987 147875 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Hardware description language < 1310149002 729926 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Think VHDL, Verilog, and also the damned interminable series of Haskell DSLs named " Lava". < 1310149138 408283 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :ah < 1310149148 384045 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :I've wanted to do something like that in agda < 1310149189 415682 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: ...mine's for Minecraft redstone though :) < 1310149209 49036 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm basically ripping off various Lavas...Lavae... wholesale, because dem people be smarter than me. < 1310149215 938748 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I've yet to actually write a line of synthesis code. I'm scared. < 1310149244 559013 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric ::O < 1310149355 979745 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: in my hardware compiler, the type inference code is much much longer than the actual synthesis code < 1310149373 794692 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: Yeah, but that's done for me :P < 1310149380 675721 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: And anyway, doesn't yours spit out VHDL? < 1310149381 966151 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, slower to run, but I think that's because there are quadratic algos in it < 1310149382 468261 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That does not count < 1310149393 642552 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, it spits out connections < 1310149398 704081 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which happen to be in VHDL, but that's irrelevant < 1310149406 893441 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's doing nothing but connecting together premade units from libraries < 1310149442 580931 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :see, the problem with what I'm doing is that once I infer the type, I might discover it's wrong < 1310149447 10818 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and have to fix the program to comply < 1310149468 29010 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :noot :: Nat n -> (forall p. (n ~ p, N p) => Nat p -> r) -> r < 1310149468 191365 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :noot n f = foo n (f Z) (\p -> noot p (\q -> noxs q f)) < 1310149473 785062 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: proofs.jpg < 1310149477 786761 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :actually here is my whole proof < 1310149480 635407 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :foo :: Nat n -> ((n ~ Z) => r) -> (forall p. (n ~ S p) => Nat p -> r) -> r < 1310149480 798069 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :foo Z z _ = z < 1310149480 798274 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :foo (S n) _ f = f n < 1310149480 798386 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :noxs :: (N n) => Nat n -> (forall p. (p ~ S n, N p) => Nat p -> r) -> r < 1310149480 798494 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :noxs n f = f (S n) < 1310149481 353003 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :noot :: Nat n -> (forall p. (n ~ p, N p) => Nat p -> r) -> r < 1310149482 981966 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :noot n f = foo n (f Z) (\p -> noot p (\q -> noxs q f)) < 1310149494 483140 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this is me saying "fuck you world, every value of (Nat n) has (N n) and i'm going to prove it" < 1310149519 682587 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric ::) < 1310149522 692481 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :woot, can be simplified to < 1310149524 136518 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :noot :: Nat n -> ((N n) => Nat n -> r) -> r < 1310149543 750499 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nooot :: Nat n -> ((N n) => Nat n) < 1310149544 838115 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Woot < 1310149546 642723 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Nooot < 1310149554 122732 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :that isn't the same though < 1310149578 914274 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :oh, you're reusing variables < 1310149639 764510 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no im just expanding their names with more os < 1310149654 683864 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*Redsynth.Nat> :t nooot < 1310149654 846102 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nooot :: N n => Nat n -> Nat n < 1310149655 218110 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :heh oops < 1310149657 748785 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: ur rite < 1310149688 174193 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nooot :: Nat n -> (forall p. (p ~ n, N p) => Nat p) < 1310149689 117302 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :there < 1310149697 672556 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ugh what < 1310149702 882273 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it got turned into < 1310149704 865680 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nooot :: N n => Nat n -> Nat n < 1310149705 584027 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :again < 1310149717 3741 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :monomorphism restrction?? < 1310149726 447042 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nope < 1310149763 528707 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: now the question is, how do I make GHC automatically apply this everywhere :P < 1310149897 605242 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: btw... the reason I'd rather use nats rather than fin is that I can use "n99" as a type-nat literal and it'll cause a type error immediately if it's too large; either I define a whole other set for fins which is really ugly, or I rely on fromInteger, which only fails at runtime... < 1310150078 843643 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :ah < 1310150083 897531 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :just use a real language < 1310150085 997114 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :like agda! < 1310150118 520210 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: yes definitely < 1310150123 796845 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: how slow is 9 + 9 in Agda again < 1310150131 161156 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: Anyway I can't use Agda, I use observable sharing :-) < 1310150157 641825 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :boo < 1310150170 214997 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: Hey, I use the _type-safe_ in-IO observable sharing. < 1310150171 400688 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :9 + 9 isn't noticeably slow, even when normalizing < 1310150177 742357 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm not a bad person! < 1310150180 64948 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :when compiled, it's just using Integer < 1310150196 3980 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The topic is now me rationalising my use of observable sharing. < 1310150252 900699 :ais523!~ais523@unaffiliated/ais523 TOPIC #esoteric :elliott rationalising his use of observable sharing | Logs: http://codu.org/logs/_esoteric/ and http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1310150295 534822 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes. < 1310150608 915851 :oerjan!oerjan@129.241.210.46 JOIN :#esoteric < 1310150695 829836 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: Heh, and any such fin literal type thing would have to use LT/GT < 1310150705 42077 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :not really < 1310150712 779903 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :What type would f9 have then < 1310150715 798494 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :zero :: Fin (S n) < 1310150719 883405 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, Fin (S (S (S (S (S (S (S N)))))))))))))))))))000000000000000 < 1310150720 397006 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :one :: Fin (S (S n)) < 1310150720 773805 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1310150724 145654 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric ::) < 1310150730 134295 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Hmm, I could have a typeclass < 1310150738 382719 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instance Lit Fin n where ... < 1310150741 615144 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :instance Lit Nat Z where ... < 1310151173 777938 :oerjan!oerjan@129.241.210.46 PRIVMSG #esoteric :> 2 `2` 2 < 1310151174 565610 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `2' < 1310151182 854584 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :boring < 1310151193 363376 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> 2 `(+)` 2 < 1310151194 159929 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `(' < 1310151195 821222 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also boring < 1310151201 697333 :oerjan!oerjan@129.241.210.46 PRIVMSG #esoteric :oh wait that wasn't what elliott meant with binary literals < 1310151211 547022 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: ? < 1310151219 274503 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :copumpkin: You're insufficiently horrified :( < 1310151222 923471 :oerjan!oerjan@129.241.210.46 PRIVMSG #esoteric : Not that Haskell has binary literals, but < 1310151223 451071 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :C++11 lets you define your own literal syntaxes < 1310151398 489305 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :elliott: oh sorry, doing work < 1310151407 462571 :copumpkin!~pumpkin@unaffiliated/pumpkingod PRIVMSG #esoteric :elliott: not sure how that would work, but I'll be interested to see it < 1310151411 196852 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Work is no excuse for horrorslacking < 1310151415 671111 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de PRIVMSG #esoteric :could you make a literal which is actually a language? < 1310151424 72703 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de PRIVMSG #esoteric :and define code with it < 1310151431 303463 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :could you make a horse that's the sky < 1310151437 330894 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de PRIVMSG #esoteric :and embed something in C++ < 1310151453 971735 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de PRIVMSG #esoteric :elliott, yes < 1310151844 485643 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :elliott: pancreas < 1310152097 658081 :KingOfKarlsruhe!~chatzilla@p5B1334EE.dip.t-dialin.net JOIN :#esoteric < 1310152332 84787 :oerjan!oerjan@129.241.210.46 TOPIC #esoteric :elliott using his observation of shareable rationality | Logs: http://codu.org/logs/_esoteric/ and http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1310152672 96753 :calamari!~calamari@ip72-211-146-193.tc.ph.cox.net JOIN :#esoteric < 1310153905 381478 :KingOfKarlsruhe!~chatzilla@p5B1334EE.dip.t-dialin.net QUIT :Quit: ChatZilla 0.9.87 [Firefox 5.0/20110615151330] < 1310154318 249049 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan changing his topic of shareable elliott < 1310154360 322663 :foocraft!~ewanas@78.101.89.139 JOIN :#esoteric < 1310156913 1716 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1310156983 648460 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I made program in TeX for PBM picture to output. http://sprunge.us/VGgZ < 1310158027 303277 :oerjan!oerjan@129.241.210.46 QUIT :Quit: Good night < 1310158165 156986 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1310158414 773030 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1310158606 73361 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1310159166 216738 :calamari!~calamari@ip72-211-146-193.tc.ph.cox.net QUIT :Quit: Leaving < 1310159377 264362 :FireFly!~firefly@unaffiliated/firefly QUIT :Read error: Connection reset by peer < 1310159511 828984 :FireFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1310161681 80971 :hagb4rd!~hagb4rd@koln-4db4f17f.pool.mediaWays.net JOIN :#esoteric < 1310161916 79553 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1310162058 45131 :pumpkin!~pumpkin@user-12hcrs5.cable.mindspring.com JOIN :#esoteric < 1310162058 491114 :pumpkin!~pumpkin@user-12hcrs5.cable.mindspring.com QUIT :Changing host < 1310162058 653117 :pumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1310162116 611404 :elliott!~elliott@unaffiliated/elliott QUIT :Ping timeout: 240 seconds < 1310162197 427157 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Ping timeout: 240 seconds < 1310162600 923367 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de JOIN :#esoteric < 1310163043 20866 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Why does MiKTeX include so much junk? < 1310164641 970739 :MigoMipo!~John@84-217-10-134.tn.glocalnet.net QUIT :Read error: Connection reset by peer < 1310164888 272455 :pumpkin!~pumpkin@unaffiliated/pumpkingod NICK :copumpkin < 1310165651 283595 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :<3 "Frost" < 1310165991 564929 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :The Homestuck track? < 1310165993 135624 :hagb4rd!~hagb4rd@koln-4db4f17f.pool.mediaWays.net QUIT :Ping timeout: 255 seconds < 1310166093 773021 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :OK so basically I now have to spend two days hanging around museums. < 1310166096 929383 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Yaaaaaaay. < 1310166156 905345 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Why do you have to hang around museums? < 1310166719 693023 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :Phantom_Hoover, yes < 1310166778 608138 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :My ear is bubbling < 1310166808 728915 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :Ok, that's not as amusig as i thought < 1310166837 152344 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :You should probably do something about that. < 1310166858 303016 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :I think it < 1310166863 773370 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :'s fine < 1310166895 929139 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :hmm, I wonder what this bag from burger king is doing on my desk and what it might contain < 1310167005 848558 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :should I ... open it? < 1310167027 679015 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Yes open it carefully in case it smell too bad or something < 1310167061 220230 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :itchy tickly < 1310167101 804729 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :itckly tichy < 1310167181 498970 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo_ is going mad from an ear infection which spread. < 1310167186 50542 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Soon he will die. < 1310167236 258198 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :It's just H2O2 < 1310167268 147368 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo_ < 1310167275 253007 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de PRIVMSG #esoteric :Sgeo_, do you have a perforated ear drum < 1310167276 943051 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Why are you pouring peroxide in your ear < 1310167291 10575 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, on the subject of unlikely flamewars that I've got into not on the Internet: I'm currently in a Takeshi's Castle vs. Ninja Warrior flamewar < 1310167306 31866 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :cheater_, not that I know of, dad says I'd be in pain if I did' < 1310167328 495421 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de PRIVMSG #esoteric :Sgeo_, that is wrong, a perforated ear drum does not hurt < 1310167342 383239 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :... < 1310167357 541390 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :why would you pour hydrogen peroxide in your ear anyway? < 1310167362 353330 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de PRIVMSG #esoteric :well take it from someone who's had that and it didn't hurt < 1310167413 947389 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de PRIVMSG #esoteric :Sgeo_, did you pour peroxide in your ear and it sounds like the water is flowing into a hole of some sort - like it's going further than usually when you have water in your ear? < 1310167434 363728 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de PRIVMSG #esoteric :either way if it's itchy it's probably just a lot of ear wax :p < 1310167443 628943 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :ais523, try to clean it out because I can barely hear from it < 1310167462 841644 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :cheater_, would it be noticable? I notice no such thing < 1310167518 778982 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de PRIVMSG #esoteric :would what be noticable - the perforation, or the earwax? < 1310167541 508023 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :Sound of H2O2 flowing into perforation < 1310167553 579605 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, elliott's lucky he isn't here, he'd have facepalmed to death < 1310167556 225547 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de PRIVMSG #esoteric :yeah it sounds very different than usual < 1310167558 642464 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I should possibly email him a warning not to logread < 1310167560 647861 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de PRIVMSG #esoteric :try with the other ear < 1310167562 865402 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de PRIVMSG #esoteric :for comparison < 1310167590 222095 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :cheater_: we've had enough of trying to get Sgeo to kill his girlfriend (/me waits for NOT ACTUALLY GIRLFRIEND rant) < 1310167595 214697 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :stop trying to get him to kill himself too < 1310167599 304259 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Medical advice from cheater vs. medical advice from Sgeo's dad. < 1310167612 791890 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I'm really not sure which side of the fence I'm on here, < 1310167617 43299 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Phantom_Hoover: well, I'd probably phone the NHS if in doubt < 1310167631 790695 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but the US doesn't have a national health service < 1310167664 408639 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de PRIVMSG #esoteric :ais523, what? < 1310167681 638759 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :cheater_: what are you whating at? < 1310167876 802405 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :I did survive doing the same thing yesterday < 1310167888 238468 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :But I just told my dad that I want to see a doctor, and I don't mean him < 1310167913 630557 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :was your ear having hearing problems before you did it the first time? < 1310167920 551667 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :Yes < 1310167939 510720 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :It's been having problems for a while now < 1310167946 347763 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :Cleared up some time ago, but then came back < 1310167953 537745 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :TbH, I suspect pouring peroxide into a perforated eardrum would hurt like hell, but IANAD. < 1310167995 31978 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hydrogen peroxide can explode on contact with all sorts of things, and the most potent is quite common in the human body < 1310168006 328902 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because H2O2 badly messes up a range of reactions and it gets rid of it by any means possible as a result < 1310168115 459791 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :ACTION vaguely hopes that Phantom_Hoover is right < 1310168186 639353 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ais523, you refer, I assume, to the catalytic breakdown of peroxide into water and oxygen. < 1310168195 689290 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1310168200 657027 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in a confined space, it's an explosion < 1310168209 305853 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Which is not particularly dangerous, what with peroxide having been used in the past as a topical antiseptic on wounds. < 1310168211 836774 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've done it in the lab < 1310168226 33971 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and yep, not generally in the human body, it's so dangerous that the body is good at dealing with it < 1310168234 173910 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de QUIT :Ping timeout: 255 seconds < 1310168250 331804 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :Phantom_Hoover, in the past? < 1310168257 558887 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :People don't do that anymore? < 1310168279 981016 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :TIL: #! is not POSIX. < 1310168294 199731 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :pikhq: omg!! < 1310168298 710384 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo_, it releases oxygen, so if it gets into the bloodstream there's a risk of an air embolism. < 1310168307 891252 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq: I learnt that recently, looking it up < 1310168313 539667 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :WHY < 1310168317 530123 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :Phantom_Hoover, um, that's scary < 1310168318 981136 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :however, POSIX does mention it as a common convention in a footnote somewhere < 1310168325 783075 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo_: also very noticeable < 1310168329 976658 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo_, why, do you have any open blood vessels in your ear? < 1310168330 838245 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :so posix basically says nothing at all about executable formats? < 1310168335 693527 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it probably didn't happen < 1310168337 842233 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :makes a lot of sense though, really < 1310168348 55560 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :There *is* a portable way to do shell scripts, though. < 1310168349 658857 :Sgeo_!~Sgeo@ool-44c2d23d.dyn.optonline.net PRIVMSG #esoteric :Phantom_Hoover, no, not in my situation particularly, just in general < 1310168355 862802 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :pikhq: orly? < 1310168362 457747 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq: load them from inside the appropriate shell? < 1310168364 770420 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :execvp passes invalid executables to the shell. < 1310168382 174440 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but what if your portable shell script is also a valid executable on the system in question? < 1310168428 787700 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Have fun. :) < 1310168466 244314 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps I should write a shellscript/.COM format Windows executable polyglot < 1310168477 733565 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :In practice, adding #!/bin/sh should fix that. < 1310168480 393985 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's reasonably easy to make an entirely printable one of those, although it has to be selfmodifying because the flow control commands are unprintable < 1310168495 636131 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :(it's very unlikely that #!/bin/sh is the magic for an executable format) < 1310168516 272623 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and I think it's invalid x86 machine code, too < 1310168521 802311 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :IIRC the lowercase letters are all invalid commands < 1310168546 9114 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :"invalid" x86 machine code, as if there are any byte values left to treat as invalid :P < 1310168563 297360 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there were quite a lot back on the 8086 < 1310168589 734989 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :that was... more than a life time ago, I believe < 1310168601 695224 :pikhq!~pikhq@71-219-241-58.clsp.qwest.net PRIVMSG #esoteric :Oh, *right*, .COM didn't even have header magic. < 1310168613 931986 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, I was working from the developer's manual for DOS 3 back when I did the printable machine code stuff < 1310168617 267310 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq: indeed < 1310168629 378589 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because I found it in the library < 1310169018 189465 :cheater_!~ubuntu@g229131167.adsl.alicedsl.de JOIN :#esoteric < 1310169211 872230 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ACTION → sleep < 1310169213 274125 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving