< 1396483211 912727 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote shachaf agda < 1396483212 657917 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :shachaf says: Everyone forgets about Agda Lovelace, the first constructivist. < 1396483218 423156 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: ☝ < 1396483244 499191 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::) < 1396483252 155026 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1396483526 693395 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Client Quit < 1396483659 523229 :w00tles!~w00tles@192.38.10.2 QUIT :Quit: quit < 1396484128 641682 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1396484314 243051 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1396484345 544260 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1396484398 680172 :Sorella!~queen@oftn/member/Sorella QUIT :Max SendQ exceeded < 1396484477 591836 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1396484995 605036 :w00tles!~w00tles@192.38.10.2 JOIN :#esoteric < 1396485337 746189 :conehead!~conehead@unaffiliated/conehead QUIT :Ping timeout: 240 seconds < 1396485419 412121 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1396486891 380311 :augur!~augur@129-2-129-32.wireless.umd.edu QUIT :Remote host closed the connection < 1396487625 170615 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :http://i.imgur.com/kJxqkZ6.png software licenses are important < 1396487799 99464 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I hear IBM actually managed to get an exception to that license that allows them to use it for Evil too. (I'm not kidding, but the story may be false.) < 1396487814 294334 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Crockford is dumb and his license is dumb though. < 1396487971 769244 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :http://dev.hasenj.org/post/3272592502/ibm-and-its-minions mmhm great < 1396488044 274003 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I mean if you use Crockford's JSON code as it stands then you're completely open to him wasting a lot of your time and money by deciding you're using it for Evil and trying to get you legally for it. < 1396488067 782248 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and since he's the kind of person to put a clause like that in a license, it's not really convincing to just assume he won't be obnoxious enough to. < 1396488081 533708 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the point is, someone not a programmer linked me to this and there's nothing to do but laugh < 1396488170 240684 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1396488203 790519 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1396488375 182536 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Read error: Operation timed out < 1396488479 328592 :Sprocklem!~Sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1396488878 808044 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1396489827 537426 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :"it has addition and subtraction, must be a brainfuck derivetive!" < 1396489852 489940 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :^ everyone who hasnt been to esolangs.org < 1396489948 381127 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1396489950 744317 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1396489957 522577 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1396490013 782130 :w00tles!~w00tles@192.38.10.2 QUIT :Quit: quit < 1396496786 360415 :ion!ion@heh.fi PRIVMSG #esoteric :http://www.sewingandembroiderywarehouse.com/embtrb.htm < 1396499195 701014 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1396499510 290662 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Since #haskell is ignoring me, should I just ask questions in here? < 1396499521 40925 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(Or probably they just didn't see it or didn't know) < 1396499688 672536 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :ask now or forever hold your piece < 1396499772 240931 :ion!ion@heh.fi PRIVMSG #esoteric :Urinate now or forever hold your piss < 1396500097 332700 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1396501024 772459 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1396501056 351092 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1396501127 820837 :MoALTz_!~no@user-188-33-177-251.play-internet.pl JOIN :#esoteric < 1396501298 302215 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1396501311 985379 :MoALTz!~no@user-188-33-177-251.play-internet.pl QUIT :Ping timeout: 255 seconds < 1396502452 341745 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Is Elerea not a good fit if I want discrete events like 'line received from IRC'? < 1396503234 681171 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It looks as though the external function could end up causing loss for those things if the FRP network isn't fast enough < 1396503978 317155 :w00tles!~w00tles@192.38.10.2 JOIN :#esoteric < 1396503983 950970 :w00tles!~w00tles@192.38.10.2 QUIT :Read error: Connection timed out < 1396504024 722841 :w00tles!~w00tles@192.38.10.2 JOIN :#esoteric < 1396505357 380874 :nooodl!~nooodl@48.86-177-91.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1396505990 956651 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/DrFFzea.png < 1396506593 701711 :w00tles!~w00tles@192.38.10.2 QUIT :Quit: quit < 1396506745 193881 :password2!~password@105.233.36.200 JOIN :#esoteric < 1396506928 92473 :tertu_!~quassel@143.44.65.14 QUIT :Ping timeout: 255 seconds < 1396507860 93137 :nooodl!~nooodl@48.86-177-91.adsl-dyn.isp.belgacom.be QUIT :Quit: Ik ga weg < 1396508523 669855 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1396508758 326814 :lexande!arapp@terpsichore.ugcs.caltech.edu QUIT :Ping timeout: 240 seconds < 1396509087 991485 :lexande!arapp@terpsichore.ugcs.caltech.edu JOIN :#esoteric < 1396509299 958124 :samebchase!~samuel@codesurfers.net QUIT :Read error: Operation timed out < 1396509405 106849 :samebchase!~samuel@codesurfers.net JOIN :#esoteric < 1396509855 351218 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://stackoverflow.com/questions/22109333/how-can-i-write-human-language-units-as-postfixes-in-haskell-like-3-seconds < 1396509869 431104 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Why does everyone love '3 seconds' whether it makes a lot of sense in the language or not? < 1396509879 741029 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It makes sense in Factor, much less so in Haskell... < 1396509940 830588 :chaiomanot!~chaiomano@75-121-29-109.dyn.centurytel.net QUIT :Remote host closed the connection < 1396510109 41748 :Sprocklem!~Sprocklem@unaffiliated/sprocklem QUIT :Quit: leaving < 1396510428 41339 :Slereahphone!~slereahph@90.84.145.105 JOIN :#esoteric < 1396510686 160672 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1396512030 553195 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1396512289 581069 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1396512322 46378 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1396513085 308837 :MoALTz_!~no@user-188-33-177-251.play-internet.pl QUIT :Quit: brb < 1396513108 378374 :MoALTz!~no@user-188-33-177-251.play-internet.pl JOIN :#esoteric < 1396513884 950947 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i like that < 1396516776 501233 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :scary < 1396517025 834358 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1396519209 410310 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1396520609 796952 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if I'm not sure whether a language is esoteric or not, should I add it to the esolang wiki? < 1396520795 321288 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I guess it is esoteric < 1396520894 830356 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why is the bloody wiki stalling in the middle of my edits < 1396521021 204126 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1396521262 878891 :Slereahphone!~slereahph@90.84.145.105 QUIT :Remote host closed the connection < 1396521449 41117 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ‘` < 1396521450 20828 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2018 LEFT SINGLE QUOTATION MARK] [U+0060 GRAVE ACCENT] < 1396521576 290954 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: wiki is down hth < 1396521588 870676 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OCCASIONALLY < 1396521662 280482 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wfm < 1396521693 591382 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i opened a heap of tabs and not worked, then i complained, then it worked again < 1396521698 722058 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*none worked < 1396521749 531116 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> map ord "@\\[" < 1396521750 685772 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :Can't resolve type class 12Functor f < 1396521751 61357 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [64,92,91] < 1396521868 220236 :Slereahphone!~slereahph@90.84.145.105 JOIN :#esoteric < 1396521961 730589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: we _do_ have a rule you cannot create categories without discussing first, though. *cough* < 1396522013 850353 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that rule is dumb < 1396522072 191156 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well then why didn't you repeal it while you hosted the wiki QED hth < 1396522089 70927 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :enforcing it was more fun! < 1396522100 870697 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1396522532 234363 :Slereahphone!~slereahph@90.84.145.105 QUIT :Remote host closed the connection < 1396522549 977889 :Slereahphone!~slereahph@90.84.145.105 JOIN :#esoteric < 1396522649 515931 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: we do? oh damn, sorry < 1396522666 95729 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what do I do now then? how do I put it up for discussion? < 1396522668 694428 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hmm. < 1396522689 864485 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :an yes, that seems like a dumb rule < 1396522780 154446 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I am not sure why it is being slow, the computer it runs on is mostly idle. < 1396522787 816474 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(But it was v. slow for me, too.) < 1396522854 308897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: http://esolangs.org/wiki/Esolang_talk:Categorization < 1396523481 527625 :xpte!uid17782@gateway/web/irccloud.com/x-plshuvacojuhgsks QUIT :Quit: Connection closed for inactivity < 1396523751 754489 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :11:41:38 *none worked < 1396523755 874363 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oops < 1396523772 550558 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :YEAH IT WAS HORRIBLE < 1396524435 213981 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what, a new HWN i thought they'd died < 1396524763 454335 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 268 seconds < 1396524940 493720 :glogbackup!~glogbacku@192.3.160.190 JOIN :#esoteric < 1396525965 494278 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"•Fuuzetsu: I know someone who pulls in Lens just for & and ??" <-- it's tempting... < 1396526047 976434 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm looks like there's been another bitcoin crash < 1396526937 883410 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :erm, it has? < 1396526940 33773 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*there < 1396527179 39710 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1396527195 343268 :ion!ion@heh.fi PRIVMSG #esoteric :http://i.imgur.com/Bsy1sZI.jpg < 1396527225 708427 :Sorella!~queen@oftn/member/Sorella QUIT :Max SendQ exceeded < 1396527257 695722 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I want to add the ant brain language from ICFP 2004 defined at "https://alliance.seas.upenn.edu/~plclub/cgi-bin/contest/ants.html" to the wiki. what name do you suppose I should use for that language? < 1396527338 542381 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1396527339 189373 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it could be "Ant state machine" or "Ambiant" or "Ant brain" or "ICFP 2004" or something else < 1396527420 925085 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: bitcoinity's graph fell from 0.6 to 0.4 in the last week < 1396527434 542559 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pfft, you call that a crash? < 1396527437 339493 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's not a crash until it halves < 1396527448 982623 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for anything _other_ than bitcoin it would be :P < 1396527454 728454 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's the joke~ < 1396527457 744078 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :b_jonas: mediawiki supports redirects, so pick your favourite and redirect th eothers < 1396527511 716814 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ion: argh XD < 1396527549 231812 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :finally ghc might get the (:: T) extension i babbled about in 2008 or thereabouts < 1396527670 832671 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess it is actually useful these days < 1396527672 904232 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :especially with lens < 1396527676 830626 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe < 1396527682 455096 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess lens wants something stronger < 1396527708 764075 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: augustss noted that it could also be used as a proxy < 1396527730 161357 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, that is very nice < 1396527736 534005 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sizeOf (:: CInt) < 1396527749 293481 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I'm doing these regexp crosswords and one of the 'definitions' is [ABC]\s(LU|LP)]* and there is a mismatched ] whatdoido < 1396527753 393929 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t sizeof < 1396527754 303710 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `sizeof' < 1396527754 514386 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1396527754 514547 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `IM.size' (imported from Data.IntMap), < 1396527774 23023 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t sizeOf < 1396527775 58196 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `sizeOf' < 1396527775 267741 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1396527775 267899 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : `IM.size' (imported from Data.IntMap), < 1396527796 891975 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Koen_: \] or put it right after the [ < 1396527803 559935 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the latter is quite horrid. < 1396527812 952762 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(IIRC) < 1396527818 3661 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@hoogle sizeOf < 1396527819 83370 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Foreign.Storable sizeOf :: Storable a => a -> Int < 1396527819 291597 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Network.Socket.Internal sizeOfSockAddr :: SockAddr -> Int < 1396527819 291760 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Network.Socket.Internal sizeOfSockAddrByFamily :: Family -> Int < 1396527839 700534 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i think Koen_ means the regexp is already given as that < 1396527845 143048 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yup < 1396527848 572768 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, I see < 1396527856 152046 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you complain, I guess < 1396527893 728384 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I'm feeling very uncomfortable < 1396527906 403197 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :...? < 1396527985 252684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :killed by unmatched brackets < 1396528620 683800 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1396529113 663233 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1396529150 92825 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :This code is supposed to return values generally in the range [-10, 10], but it's returning values in [-10^300, 10^300]. :/ < 1396529273 1046 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1396529460 153514 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1396529493 954364 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1396529536 353805 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Ping timeout: 268 seconds < 1396529790 828203 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1396529795 355128 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 268 seconds < 1396530055 509548 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Ping timeout: 240 seconds < 1396530078 33425 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1396530899 110470 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1396532260 271423 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1396532695 33851 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1396532898 673766 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hehe http://esolangs.org/wiki/Ndef < 1396532904 382294 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :nice joke langauge < 1396533055 5880 :Slereahphone!~slereahph@90.84.145.105 QUIT :Quit: Colloquy for iPhone - http://colloquy.mobi < 1396533264 16483 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I love "the famous real-time interpreter notepad.exe". < 1396533550 972711 :Slereahphone!~slereahph@90.84.145.105 JOIN :#esoteric < 1396534298 404493 :oklopol!~oklopol@dyn60-339.yok.fi QUIT :Ping timeout: 240 seconds < 1396534550 29642 :nooodl!~nooodl@48.86-177-91.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1396537784 369046 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1396537820 617297 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1396538776 495946 :spiette!~spiette@2607:fad8:4:6:f2de:f1ff:fe66:77e5 QUIT :Ping timeout: 265 seconds < 1396538869 154871 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1396539218 295631 :tertu!~quassel@143.44.65.14 QUIT :Ping timeout: 240 seconds < 1396539474 560932 :spiette!~spiette@2607:fad8:4:6:a288:b4ff:fe60:a3b0 JOIN :#esoteric < 1396540633 855366 :Sellyme!~Sellyme@199.127.227.147 QUIT :Quit: Oh god my bouncer is down help < 1396540741 664627 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1396540742 387298 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :linear algebra: a load of horseshit? discuss < 1396540753 505067 :Sellyme!~Sellyme@199.127.227.147 JOIN :#esoteric < 1396540778 495978 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1396540797 213116 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Is there a language that let's you define input types based on whether certain methods exist? < 1396540825 850118 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :kinda like int foo(some type where int bar(int) exists ) < 1396540842 302158 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*int bar(that certain type) < 1396540986 615397 :Sellyme!~Sellyme@199.127.227.147 QUIT :Excess Flood < 1396540990 955426 :CutoutCapitalist!~CutoutCap@ool-457aab35.dyn.optonline.net JOIN :#esoteric < 1396541058 865560 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mroman: ocaml < 1396541063 255725 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :go, I think < 1396541075 325009 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :elm, I think < 1396541197 187383 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Can you give me a keyword to look it up? < 1396541205 795290 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's not generics < 1396541209 654773 :tertu!~quassel@143.44.65.14 QUIT :Read error: Connection reset by peer < 1396541227 874822 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :try "row polymorphism" < 1396541238 834441 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah, what FireFly said < 1396541256 475072 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or "static duck typing" is what a plebian would call it, so you might get results that way too :P < 1396541288 553626 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1396541290 123067 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok < 1396541303 755725 :Melvar!~melvar@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :Record subtyping? < 1396541307 6513 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Go hase some cool interface stuff < 1396541362 272472 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well.. it's an interface alright < 1396541405 417311 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :https://www.cs.cmu.edu/~neelk/rows.pdf has some slides on the topic < 1396541414 128994 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :but you probably found those already < 1396541815 624697 :Slereahphone!~slereahph@90.84.145.105 QUIT :Quit: Colloquy for iPhone - http://colloquy.mobi < 1396541894 613572 :Sellyme!~Sellyme@199.127.227.147 JOIN :#esoteric < 1396542088 304854 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Koen_ < 1396542793 775865 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1396542959 25228 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/BkcDW8CK <- something like that < 1396542974 981464 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :although showing you sketch-code isn't probably gonna say much :D < 1396543092 684959 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :function addStuff(<* +(a) => a *> a, <* +(a) => a *> b) would allow you to pass two things that support the + operator < 1396543111 662183 :CutoutCapitalist!~CutoutCap@ool-457aab35.dyn.optonline.net PART #esoteric :"Leaving" < 1396543128 245753 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the real question though is whether this kind of stuff requires run-time checks or not < 1396543249 426991 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You can create a list of "objects" that all support addition < 1396543297 494970 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which means there can be a double and an integer in it < 1396543304 136556 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I might not be able to add doubles and integers < 1396543313 687102 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which is why I'd need a "homogenous" constraint < 1396543352 474527 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :The other thing is knowing at compile time which overloaded function I'd actually have to invoke < 1396543365 335294 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and I guess that's not possible < 1396543528 646205 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/x9yx3VQb <- Haskell seems to know which version of a function it has to invoke < 1396543534 464457 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :for existential quantification < 1396543811 681040 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Is my assumption correct that this can't be decided at compile time? < 1396543903 214702 :nooodl!~nooodl@48.86-177-91.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :i don't think it is; you could have some function return Objs and pass them to squ < 1396543923 800187 :nooodl!~nooodl@48.86-177-91.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :then which function it has to invoke depends on that x value's type < 1396543978 414723 :spiette!~spiette@2607:fad8:4:6:a288:b4ff:fe60:a3b0 QUIT :Quit: :qa! < 1396544145 571410 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :infinite ducks typing for an infinite amount of time will eventually verify a correct program < 1396544771 201574 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :does boily ever leave metasepia in here while he's at work < 1396544898 684796 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1396544904 309634 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :he did once when specifically asked to < 1396544953 393967 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1396545050 905015 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :kolgomorov complexity blows my mind every time < 1396545145 243092 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :kolmogorov? < 1396545161 826127 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :err, yes < 1396545236 748900 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :koglormov < 1396545270 915122 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :whatever < 1396545282 85162 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :the correctly spelled complexity blows my mind every time < 1396545332 975297 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :the fact that the difference between different systems is only constant is just amazing < 1396545353 181518 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :it's "just" turing universality < 1396545490 221549 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Remote host closed the connection < 1396545717 354289 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yes < 1396545727 388834 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :but the constant factor is what's so strange < 1396545758 884314 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :not all universal machines are time-equivalent; it's likely the case that TMs are slower than QTMs are slower than NTMs < 1396545759 93980 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :why < 1396545788 48341 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah, there are extensions to kolmogorov complexity that require the program to have similar complexities, and there's no constant factor there < 1396545961 425239 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :why what? < 1396545977 956331 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i don't understand your question. < 1396545982 655082 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it's not a question < 1396545992 3643 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i don't understand your message < 1396546010 605507 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :?! time does not even the picture, it's all about program size. < 1396546011 13068 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Maybe you meant: v @ ? . < 1396546036 902273 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Given two models of turing-universality, kolmogorov complexity of a string between the two varies by at most a constant < 1396546051 546715 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yes, because you can just stick an interpreter in front < 1396546068 127421 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :This doesn't come from "just" turing universality, because there are other properties like time complexity which do depend on the model < 1396546072 605788 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :and that's what's so weird < 1396546081 916369 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :time complexity is irrelevant to kolmogorov complexity. < 1396546099 146280 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yes, I agree < 1396546102 233316 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the constant factor is just for the program size. the new interpreter program combo might run exponentially slower. < 1396546107 166429 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :sure < 1396546113 807582 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :so what are you talking about. < 1396546179 67329 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :https://xkcd.com/386/ < 1396546222 366755 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Bike: I am simply trying to draw a comparison between two properties of universal turing machine < 1396546425 555375 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :The biggest problem about this "as few constraints as possible" is, that you can't do much withit < 1396546440 81063 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you can pass in a list of squarables to a function that squares them and returns them in a new list < 1396546447 445759 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but you can't get those values out again :) < 1396546473 536093 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because you can't cast it back to a double (because a squarable isn't always a double) < 1396546490 116736 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :The function would have to make a promise to NOT change any type in the list < 1396546496 586694 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :as well as NOT change the length of the list < 1396546536 676059 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :then one could safely pass a list of doubles and cast it back to a list of doubles since we know the function doesn't affect the types < 1396546553 315465 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and I guess then we arrived at dependant types :( < 1396546649 916201 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :especially with custom user defined types/containers that's probaly a little bit tricky < 1396546655 456971 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :to verify that no contained type is changed < 1396546674 896861 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :for lists you could just block add and some other list functions < 1396546705 210648 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :https://peerj.com/articles/338/ scientists are fucked up < 1396546824 661923 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :not as fucked up as the participants who stung themselves < 1396546837 734931 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or let them sting them? < 1396546844 275411 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm not sure what the correct pronoun here is :( < 1396546861 305215 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :... as the participants who let them(the scientists) sting them(the participants)? < 1396546875 38962 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the participant was the experimenter, is the point. < 1396546890 925945 :nooodl!~nooodl@48.86-177-91.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :Bike: "Medical terminology: Buttocks / Layperson terminology: Buttock" nice < 1396548138 386081 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1396548550 655527 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1396548959 345901 :oklopol!~oklopol@dyn60-339.yok.fi JOIN :#esoteric < 1396549876 44408 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1396550563 75039 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: go also has static duck typing I think, but I'm not sure < 1396550628 915398 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :well, I think they're both static and dynamic, sort of like haskell's classes, as in the validity is checked in runtime but the methods are resolved partly in runtime < 1396550641 124633 :avid!~root@nobody.violates.us JOIN :#esoteric < 1396550739 575453 :avid!~root@nobody.violates.us QUIT :Quit: tulip < 1396551133 319791 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :was the first "runtime" there meant to be "compile time"? < 1396551136 385263 :olsner!~salparot@c83-252-203-32.bredband.comhem.se JOIN :#esoteric < 1396551454 972869 :yorick!~yorick@oftn/member/yorick QUIT :Ping timeout: 240 seconds < 1396551490 861248 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1396552103 327349 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1396552323 894903 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1396552555 684170 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1396552905 95300 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :kmc: yes, sorry < 1396552911 15410 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :validity is checked in compile time < 1396553348 451831 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/DrFFzea.png < 1396553363 729747 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1396553462 278184 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1396553761 706282 :password2!~password@105.233.36.200 QUIT :Ping timeout: 240 seconds < 1396553929 804809 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION wonders who made him a reddit response that was deleted. < 1396554237 253189 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :b_jonas: yeah < 1396554246 628870 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :interface types in Go are used for two different things, though < 1396554285 464069 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you can call the methods in the interface, but you can also do typecase and casts on the dynamic type of the value < 1396554339 131509 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and since Go doesn't have actual polymorphism, it's very common to pass "interface {}" and do runtime checks on it :< < 1396554367 864276 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::'( < 1396554392 143857 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :by contrast Haskell a) has a real type system, b) has a separate facility for dynamic casts, which is much less frequently used because see (a) < 1396554443 780201 :Melvar!~melvar@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :interface{} is the top type. < 1396554452 765688 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yep < 1396555810 871638 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :oh, btw, these guys are back: https://www.youtube.com/watch?v=OH0n_Ew2YDM < 1396556023 688153 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1396556662 74722 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1396556666 709243 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1396556693 795704 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1396556951 807654 :yorick!~yorick@oftn/member/yorick QUIT :Read error: Operation timed out < 1396557862 11537 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/DrFFzea.png < 1396557983 349902 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1396558273 645482 :Sorella!~queen@oftn/member/Sorella QUIT :Ping timeout: 240 seconds < 1396560106 313939 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :elliott, I have a strange feeling that your day was more interesting than mine < 1396560122 498187 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1396561550 972245 :olsner!~salparot@c83-252-203-32.bredband.comhem.se QUIT :Quit: Leaving < 1396561599 490659 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1396562566 371754 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu JOIN :#esoteric < 1396562698 501977 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :https://twitter.com/haley/status/451838031297646592/photo/1/large < 1396562907 257374 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :butt that makes no sense. < 1396563428 274089 :tertu!~quassel@143.44.65.14 QUIT :Ping timeout: 268 seconds < 1396563435 204949 :tertu!~quassel@143.44.65.14 JOIN :#esoteric < 1396563449 887961 :nooodl!~nooodl@48.86-177-91.adsl-dyn.isp.belgacom.be QUIT :Quit: Ik ga weg < 1396563946 272494 :oklopol!~oklopol@dyn60-339.yok.fi QUIT :Ping timeout: 268 seconds < 1396565091 156912 :yorick!~yorick@oftn/member/yorick QUIT :Read error: Connection reset by peer < 1396565336 240394 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1396565614 411404 :Sprocklem!~Sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1396565792 353129 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Quit: bai < 1396566439 50804 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1396566443 628771 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1396567611 680558 :impomatic!~digital_w@31.185.135.87 PRIVMSG #esoteric :How can I do a signed multiplication using unsigned multiplication? Is the only way to take the absolute value of both multiplicands, multiply, then set the correct sign afterwards? < 1396567693 20649 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :how could you do better? if the call will only take and output naturals, then you need to have a "downgrade" and an "upgrade" step < 1396567728 841332 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :abs to get something you can pass to unsigned multiplication, then applying the sign to regain the information, seems minimal < 1396567805 792483 :impomatic!~digital_w@31.185.135.87 PRIVMSG #esoteric :I wasn't sure if there's some magical bit twiddling thing that somehow works :-) < 1396567833 250838 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there is. just make sure you use enough bitwidth < 1396567881 462115 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, okay, so it's unsigned multiplication on the two's complement form? < 1396567890 322293 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1396567896 49961 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that was unclear to me < 1396567901 400274 :impomatic!~digital_w@31.185.135.87 PRIVMSG #esoteric :Yes, sorry :-) < 1396567922 540148 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right, I can see how it's not obviously impossible to do better then :P < 1396567923 859838 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's just multiplication (mod 2^n) < 1396567954 499796 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and it will work as long as the multiplication of the value bits don't seep into the sign bit < 1396567964 70714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*doesn't < 1396568028 810091 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(well, carry) < 1396568073 380198 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :put differently, you can think of it as working in the 2-adic system < 1396568112 810010 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*number system < 1396568171 829110 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1396568295 451388 :impomatic!~digital_w@31.185.135.87 PRIVMSG #esoteric :ACTION is playing British Legends :-) < 1396568490 660983 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Textual IRC Client: www.textualapp.com < 1396568551 690227 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Niet < 1396568971 854421 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1396569131 256876 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Ok so in Elemera or whatever it's called, there's externalMulti, which I completely didn't notice until now < 1396569135 692142 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Elera < 1396569388 661745 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :emeria? < 1396569417 640709 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :@messages-loot < 1396569417 921000 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Koen_ said 11h 33m 11s ago: yeah I watched the latest captain america film with a friend and of course the bad guys from the opening scene are french (the bad guys are always french...) or so did they say!!! they were OBVIOUSLY quebecois < 1396569447 59205 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :@tell Koen_ eh? eeeeeeh? like, real Québécois people for real real? < 1396569447 246539 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted.