< 1395792010 378816 :tromp!~tromp@rtc35-245.rentec.com PRIVMSG #esoteric :that's a very ugly / command < 1395792027 487154 :tromp!~tromp@rtc35-245.rentec.com PRIVMSG #esoteric :the , is not too pretty either:( < 1395792047 845354 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you mean the syntax? < 1395792063 688864 :tromp!~tromp@rtc35-245.rentec.com PRIVMSG #esoteric :the semantics < 1395792094 779162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :funnily enough some of that ugliness made it easier to implement, i think. < 1395792107 285547 :tromp!~tromp@rtc35-245.rentec.com PRIVMSG #esoteric :also, it's not specified if going up infinitely is with left or right branches < 1395792113 528693 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if i vaguely recall correctly < 1395792229 635020 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm how did i implement that < 1395792342 18299 :Bike_!~Glossina@wl-nat101.it.wsu.edu QUIT :Quit: leaving < 1395792362 10060 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"A tree of all zeros with the root at its outer rightward slope" says one of my comments < 1395792457 748882 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :looking more carefully, the specification doesn't even say it starts as all zeros. < 1395792475 221503 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess i just made a choice. < 1395792723 48537 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION is quite satisfied with that tree implementation. < 1395792781 138687 :tromp!~tromp@rtc35-245.rentec.com PRIVMSG #esoteric :might be good starting point for BRgFuck implementation < 1395792789 360133 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :to make all the mirroring and left/right stuff easy, the data structure is expressed in terms of whether subtrees are inner or outer ones < 1395793066 449028 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i must have made this program back during my hugs days, ghc complains about a missing language option < 1395793192 707566 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The computers at this university all have Hugs installed and it seems to be the default Haskell implementation < 1395793214 616199 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Which strikes me as odd as this university has its own (albeit horribly unmaintained) implementation of Haskell < 1395793220 419322 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: ouch, hugs has been dead for years < 1395793228 119010 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(unmaintained) < 1395793253 184996 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, more or fewer years than YHC? < 1395793269 285301 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not sure :P < 1395793287 35650 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hugs started dying when ghc got a proper interpreter mode, i think. < 1395793344 979378 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok i'll add just the LANGUAGE pragma and drop the parsec module name change then, so it should still compile with old hugs < 1395793451 575464 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :YHC seems to have died in 2008 < 1395793492 443246 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hugs in 2006 < 1395793619 913594 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :NYHC hasn't got very far yet < 1395793641 482737 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::( < 1395793646 852766 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I should work on that at some point < 1395793815 125569 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok file updated < 1395793890 309930 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and now with CC0 PD license, which i suspect is less dubious than a norwegian-claimed Public Domain < 1395793920 838868 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not that i've ever actually checked properly whether norwegians can release into PD < 1395793994 492913 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i recall way back the servers here are nvg used to have hugs installed. now there is no haskell at all me thinks. < 1395793999 341718 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*here at < 1395794389 633366 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1395795335 479541 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1395795435 879158 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1395795631 454471 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1395795633 571292 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1395798163 170456 :ket1v!~ket1v@147.69.1.51 QUIT :Read error: Connection reset by peer < 1395798203 14796 :ket1v!~ket1v@147.69.1.51 JOIN :#esoteric < 1395798322 652444 :angela1!~canaima@190.37.173.83 JOIN :#esoteric < 1395798439 983678 :Sellyme!~Sellyme@199.127.227.147 QUIT :Excess Flood < 1395798576 819989 :Sellyme!~Sellyme@irc.sellyme.com JOIN :#esoteric < 1395798810 640191 :angela1!~canaima@190.37.173.83 PART :#esoteric < 1395798834 689947 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :i am interested in glass < 1395798848 601152 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net PRIVMSG #esoteric :but the C program is ancient and refuses to work < 1395799023 859783 :ket1v!~ket1v@147.69.1.51 QUIT :Ping timeout: 265 seconds < 1395799198 494889 :ket1v!~ket1v@147.69.37.57 JOIN :#esoteric < 1395799353 901546 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Is Light Table causing Clojure to be yet another so-so language with a superior IDE? < 1395799402 450158 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i thought glass was in C++ ? < 1395799467 749687 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!glass {M[m(_s)S!(_o)0O!o.<34>(_s)(ns).?"{M[m(_s)S!(_o)0O!o.<34>(_s)(ns).?" < 1395799467 936882 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"14?24?14?24?24?04?24?04?]}"14?24?14?24?24?04?24?04?]} < 1395799469 751363 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :OK < 1395799474 541218 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1395799514 60358 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!glass {M[m(_s)S!(_o)0O!o.<34>(_s)(ns).?"{M[m(_s)S!(_o)0O!o.<34>(_s)(ns).?""14?24?14?24?24?04?24?04?]}"14?24?14?24?24?04?24?04?]} < 1395799514 623806 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​{M[m(_s)S!(_o)0O!o.<34>(_s)(ns).?"{M[m(_s)S!(_o)0O!o.<34>(_s)(ns).?""14?24?14?24?24?04?24?04?]}"14?24?14?24?24?04?24?04?]} < 1395799520 309768 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :kmc: too much twitter! < 1395799610 566575 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :Pretty sure it is C++, yes. < 1395799835 639763 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1395801160 564135 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :sgeo: are there many light-table users? < 1395801170 140013 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :newsham: no idea < 1395801182 530527 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I should probably try it, but I haven't been in a Clojure mood for a while < 1395801199 814031 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :now that haskell compiles to javascript, where are all the awesome haskell-based in-browser editors? < 1395801233 436389 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :i wonder what lighttable security is like < 1395801283 550280 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is this an improvement or not https://en.wikipedia.org/w/index.php?title=Esoteric_programming_language&diff=601162845&oldid=600381750 < 1395801475 699745 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :oerjan: Well, I think it is not worse, at least. < 1395801553 978397 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok < 1395802835 376999 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1395802979 167021 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :"We glued an iPad to a diving mask and BOOM two billion dollars. THAT's our fucking TED Talk." < 1395803007 673476 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :sounds like a hit. < 1395803026 200981 :Shubshub!~IceChat77@222.212.252.27.dyn.cust.vf.net.nz JOIN :#esoteric < 1395803034 326383 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1395803034 600086 :Shubshub!~IceChat77@222.212.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :o.o < 1395803043 267977 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!welcome Shubshub < 1395803044 24245 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :`welcome Shubshub < 1395803044 211028 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :Shubshub: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395803044 480709 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1395803048 465522 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh. right. < 1395803057 30067 :Shubshub!~IceChat77@222.212.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :I've been here before :p < 1395803063 210433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: we've made emergency measures < 1395803065 199998 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :nonetheless, the welcome is paramount. < 1395803075 416693 :Shubshub!~IceChat77@222.212.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :kk < 1395803089 780820 :Shubshub!~IceChat77@222.212.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :http://esolangs.org/wiki/!!!Batch < 1395803093 655389 :Shubshub!~IceChat77@222.212.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :I made that < 1395803109 702812 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh lordy < 1395803118 111409 :Shubshub!~IceChat77@222.212.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :hmm? < 1395803196 740570 :Shubshub!~IceChat77@222.212.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :Whats so oh lordy about it? < 1395803656 352680 :BeingUntoDeath!~BeingUnto@173-31-68-167.client.mchsi.com JOIN :#esoteric < 1395803661 13770 :Shubshub!~IceChat77@222.212.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :Bike? < 1395803683 921510 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i just remember the last time it came up opinions were derisive. < 1395803700 312135 :Shubshub!~IceChat77@222.212.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :derisive? < 1395803778 970542 :Shubshub!~IceChat77@222.212.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :Bike: derisive? < 1395803902 394986 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :this slide deck has a neat errata section which delves into ways that cpu bugs can be abused. https://rpw.io/slides/rpw-csw2014-merged.pdf < 1395803913 27847 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :you know.. if you're into that kinda thang < 1395803989 871080 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :newsham: O, it is in Vancouver. I am close enough then. < 1395804022 397454 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :s/is/was/ < 1395804031 315771 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :cansec is done < 1395804085 117898 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :mar 12-14, 2014 < 1395804135 289537 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :If there are CPU bugs can be abused to make security hole that may be due to being too complicated that they didn't secure the instruction set properly. < 1395804177 880890 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :they're not bugs in instruction set, but in implementation. < 1395804191 329874 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :for example, cache doing the wrong thing when instruction is on a page boundary, weird cases like that... < 1395804208 50252 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :err.. branch prediction doing the wrong thing at a page boundary... < 1395804214 830628 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes, it is because of caching and stuff; they shouldn't do that kind of implicit caching and branch prediction and stuff. < 1395804217 101699 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It is a bad idea. < 1395804222 395974 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :anyway, apparently cpu errata docs are getting pretty big these days < 1395804238 590240 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :and security people have started paying attention < 1395804240 221628 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Not only because of that kind of stuff, but also because it make it too complicated design. < 1395804271 891381 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :instruction set is just another VM bytecode < 1395804336 155916 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :also more and more cpu chipsets have extra cpus which are somewhat hidden (in that most peopel arent aware of them) < 1395804357 190867 :tertu3!~tertu@174-20-41-3.mpls.qwest.net PRIVMSG #esoteric :are you saying that they shouldn't do branch prediction < 1395804367 380919 :Shubshub!~IceChat77@222.212.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :8 Core CPU with DDR4 Support was Revealed < 1395804375 111062 :tertu3!~tertu@174-20-41-3.mpls.qwest.net PRIVMSG #esoteric :that's been a thing for quite a while < 1395804379 77756 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :doing things liek power management, extra hidden security features (ie. for drm), handling firmware updates, doing theft protection, doing enterprise asset management (ie. remote control of machiens even when powered off), etc < 1395804392 341379 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :wow it's Shubshub < 1395804394 161405 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :welcome back < 1395804399 352566 :Shubshub!~IceChat77@222.212.252.27.dyn.cust.vf.net.nz PRIVMSG #esoteric :hi < 1395804425 454718 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :like the extra hidden OS underneath your OS in trustzone, or the intel ME environment running on an ARC cpu on many intel chipsets < 1395804439 880347 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :or the hidden power management cpus on intel and arm chips < 1395804483 824519 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :not even counting the more "normal" and more "expected" hidden cpus in things like wifi adapters, keyboards, disk drives, etc.. < 1395804532 540827 :tertu3!~tertu@174-20-41-3.mpls.qwest.net PRIVMSG #esoteric :yeah the first x86 processor with a branch predictor was the P5 Pentium < 1395804533 520702 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :tertu3: Yes, I am saying they shouldn't do branch prediction. The compiler should do it instead of wanted < 1395804538 933241 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :would be neat seeing a list of popular computers over time with an accurate count of the number of distinct cpu cores other than the main general purpose cpu < 1395804547 533225 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :And they shouldn't have hidden extra stuff < 1395804559 520807 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :That not only complicates it but make it not understandable properly. < 1395804561 714141 :tertu3!~tertu@174-20-41-3.mpls.qwest.net PRIVMSG #esoteric :good luck convincing people to abandon x86 or ARM < 1395804585 779759 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :modern systems cannot be fully understood by any one person.. even if they were simple enough to, the information is guarded too secretly. < 1395804602 196841 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :corrolary: modern systems cannot be properly secured. < 1395804605 986 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :newsham: Yes, that is part of the problem, too. < 1395804650 520806 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :tertu3: There are old versions of x86 and ARM, which at least are better than the new one. < 1395804718 781611 :tertu3!~tertu@174-20-41-3.mpls.qwest.net PRIVMSG #esoteric :i mean < 1395804721 401158 :tertu3!~tertu@174-20-41-3.mpls.qwest.net PRIVMSG #esoteric :the 286 perhaps < 1395804738 670916 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :also softcores, opencores, etc... < 1395804748 478366 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :happy hardcores < 1395804766 125143 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :and there are some recent systems that try to be both simple and open/documented, such as rpi (broadcom just recently opened up more of the undocumented bits) < 1395804823 358794 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :if you didnt want to fab yoru own silicon, thats prob your best best right now... start with an rpi. < 1395804831 85763 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :still hella slow compared to state of the art. < 1395804847 838970 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :but faster than fpgas running softcores < 1395804965 400895 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :How do you get documentation of rpi? < 1395804986 587547 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It's possible to inject trojans into silicon during fabrication < 1395805012 842970 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :start here i guess? http://www.raspberrypi.org/technical-help-and-resource-documents < 1395805017 90747 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Jafet: Yes, that too < 1395805024 609503 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :jafet: yup.. and even hard-to-detect ones :( < 1395805046 371375 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :your mind is the scene of the crime < 1395805067 708773 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :http://people.umass.edu/gbecker/BeckerChes13.pdf < 1395805083 235117 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :"stealthy dopant-level hardware trojans" < 1395805102 781075 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Jafet: It too is a problem; hopefully it can be tested sufficiently, in addition to having vendor non-locked components; no vendorlock is one important rule to help to avoid such trojans. < 1395805112 559350 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i emailed that to my ee prof and didn't get a reply. le sigh < 1395805117 742240 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Furthermore, don't have any CPUID or anything like that. < 1395805161 196135 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :but there are some interesting papers on detecting hardware trojans, too < 1395805163 752363 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1395805208 23550 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :newsham: Yes, you need that too. < 1395805383 251219 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Due to this mess everyone has made, I would need to design a completely new computer system. This time, using CF cards, as well as a new instruction set and CPU design which is very simple, eliminating USB and HDMI entirely from the design. And then also the BIOS, graphics, audio, etc everything else too. < 1395805433 741396 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :However, it would then be difficult to make C programs work on it, unless GCC or LLVM or whatever can be made to target it easily enough. This can be difficult to do effectively. < 1395805509 463749 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :People who make LLVM refuse to add support for ARM2 and MMIX. < 1395805511 988408 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :why invent your own? you could start with http://en.wikipedia.org/wiki/OpenRISC or some other open soft core < 1395805521 472834 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :there are already compiler targets for openrisc < 1395805535 349978 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :even linux < 1395805718 301595 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :newsham: I don't want automatic cache and branch prediction and pipeline stalls and all of that stuff. There are also a few other features I want to customize: To make hardwired memory protected pages rather than being programmable, and to include BCD arithmetic instructions. < 1395805762 95529 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :you could always start with an existing arch and take out what you dont want, then just patch up the linux/compiler stuff to match < 1395805768 643064 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :should be easier than clean slate < 1395805792 61295 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes, I did, in fact, think of that possibility < 1395805848 88559 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have no need to run Linux on the system, though, and compilers such as GCC would take too long to compile. < 1395805950 870945 :Shubshub!~IceChat77@222.212.252.27.dyn.cust.vf.net.nz QUIT :Quit: A fine is a tax for doing wrong. A tax is a fine for doing well < 1395806009 391360 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :The original 6502 was a good design, although not powerful enough, and not 32-bits, and lacking some things. < 1395806079 183345 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :isn't it good to have more than 3 registers < 1395806106 53333 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :i think the ARM instruction set (before they went 64-bit) is very elegant < 1395806106 341070 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :kmc: Yes, certainly. < 1395806140 368454 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :that is, the normal arm32 stuff, not the thumb mode stuff or many of the crazy extensions they also support < 1395806142 301756 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :newsham: The first version of the ARM instruction set is very elegant. < 1395806145 614087 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1395806168 721493 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it has a number of clever features to mitigate the downsides of first generation RISC < 1395806203 397404 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :i dont include having a multiplier or divider as a crazy extension, fwiw. :) < 1395806230 417588 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Dude, if your CPU doesn't have hardware support for java, it's going nowhere < 1395806233 571864 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Everyone knows this < 1395806252 846419 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :back in the days when every toaster was destined to run java, that might have been true :) < 1395806278 888702 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :but now we're past that, flew by dot-net and active-*, and are well into the world of cloud < 1395806313 310456 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hardware accelerated JSON decoding < 1395806317 54904 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :tell me how the arm extensions make a better cloud world!@#? < 1395806325 301441 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :hardware accelerated json indeed! < 1395806338 881531 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :nosql as an instruction < 1395806359 284365 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :and.... trustzone :) < 1395806380 769764 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :because your OS inst secure, so we made another, and right now nothing runs there, so its totally sekure! < 1395806411 71031 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You think it's funny but the logic is sound < 1395806477 320716 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :its like most startup plans. it works great until it is successful... then it fails miserably. < 1395806488 98271 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :but, thats plenty of time to monetize and cash out... < 1395806504 112971 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :s/startup plans/good startup plans/ < 1395807054 971356 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :One idea I have involves implementing a standardized VLIW instruction set for microcodes; the microcode RAM can also be used as a cache, but the cache can only be explicitly accessed, and is not implicitly accessed by instructions that access external memory. < 1395807081 150787 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Same with out of order execution and so on; it won't do any of that stuff at all. < 1395807126 571807 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :The compiler optimizations should try to determine what to put in the cache and what order of instructions and predict branching and all of that stuff, not the CPU. < 1395807194 222235 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :hardware jit, imo < 1395807332 229678 :ion!ion@heh.fi PRIVMSG #esoteric :Yes, just in time hardware delivery < 1395807600 91093 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I should have a separate microcode RAM for supervisor mode and for user mode; those two modes do not share cache or microcodes. There would also be a microcode ROM which is fixed and that is used both in supervisor mode and in user mode. < 1395807724 542393 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :How did people figure out that Student == Gosset? < 1395807750 1661 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Sgeo: I do not understand how you mean? < 1395807786 273614 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1395807860 613634 :augur_!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Read error: Connection reset by peer < 1395807911 402989 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Guy named Gosset published under the name "Student" < 1395808097 72165 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :as in student's t? didn't he say so himself at some point? < 1395808150 879495 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :or maybe fisher figured it out. mathematicians are used to that kind of shit, see < 1395808188 901980 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :"For many years, an air of romanticism surrounded the appearance of "Student's" papers, and only a few individuals knew his real identity, even for some time after his death." < 1395808194 580908 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://www.swlearning.com/quant/kohler/stat/biographical_sketches/bio12.1.html < 1395808225 801852 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :guys, what's the command to quit irc? < 1395808231 212023 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :/quit < 1395808277 341545 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(I may be assuming you merely tried to get people to quit) < 1395808319 610749 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :+++ATH0 < 1395808362 180269 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :an air of romanticism, lol < 1395808369 850659 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :in a fucking stats journal < 1395808407 690565 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i guess if you're a stats journal you take it where you can get it < 1395809072 207588 :password2!~password@197.78.141.186 JOIN :#esoteric < 1395810209 612861 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :today I wrote a procedural macro in Rust for the first time < 1395810220 181145 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it expands to an invocation of another procedural macro written by someone else < 1395810235 434654 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1395810236 841420 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395810571 422783 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1395810769 376207 :password2!~password@197.78.141.186 QUIT :Ping timeout: 265 seconds < 1395811207 641493 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :When were procedural macros introduced? < 1395811209 621336 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :ACTION oohs < 1395811257 76811 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :coppro: /sign virgo < 1395811264 311832 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :ACTION vaguely recalls seeing actual hygiene in some language that had macros that he wasn't expecting, mostly because was stereotyping non-Lisps as having limited understanding < 1395811275 11783 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Julia, I think? < 1395811635 818116 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :let mut odds = nums.iter().map(|&x| x * 2 - 1); < 1395811640 923089 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I thought mut was on its way out, or am I confused, or is that not in 0.9? < 1395811979 861633 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :in Rust? I don't think there are any plans to remove it < 1395812026 303087 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i mean the distinction between & and &mut is fundamental to the memory safety story < 1395812066 211273 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you could make all lets allow mut borrows but I haven't heard of anyone wanting that < 1395812066 451040 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> map (\x -> x * 2 - 1) [0..] < 1395812067 602594 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [-1,1,3,5,7,9,11,13,15,17,19,21,23,25,27,29,31,33,35,37,39,41,43,45,47,49,51... < 1395812067 800063 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :No such variable \ < 1395812076 780590 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :nums == [1..] ? < 1395812303 443745 :password2!~password@197.78.130.32 JOIN :#esoteric < 1395812348 401090 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :http://helloworldquiz.com/#/game < 1395812349 831053 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oh i forgot that the term "anaphoric macro" exists < 1395812353 994426 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that's a good one < 1395812394 221576 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: sweet.js implements hygienic macros for JavaScript http://sweetjs.org/ < 1395812398 211216 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :What is a anaphoric macro? < 1395812431 33482 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Rust macros (the non-procedural ones) are partially hygienic; I don't remember the details though < 1395812471 651858 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :zzo38: I can give an example: an aif macro that acts like if, but exposes a name 'it' in the body < 1395812480 63675 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It's deliberately non-hygienic < 1395812561 902235 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the one that starts with "program ObjectPascalExample;" is a trick :P < 1395812579 671926 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It can be useful, that macros can be hygienic and non-hygienic, actually < 1395812591 711325 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Or partially hygienic macros < 1395812600 387759 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :or hygenic partial evalutation < 1395812643 610964 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(if anyone tries that, tell me what you got) < 1395812647 722638 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :my score is 1900 < 1395812656 495612 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i got 1800 :( < 1395812656 698917 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :or hygeine whiel doing macrophitography < 1395812667 387340 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :and that was my third attempt < 1395812703 491205 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Score of what? < 1395812728 11020 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :this thingie i linked: http://helloworldquiz.com/#/game < 1395812733 615559 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :hello world quiz dot com slash octothorpe slash game < 1395812782 892236 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :octothorpe++ < 1395812799 602099 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :kmc: I guessed the trick only because you said it < 1395812847 260911 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :.... I got wrong one that... I should not have gotten wrong < 1395812866 237675 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :How does it start? < 1395812874 571137 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Sgeo: which one? < 1395812880 226872 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Haskell vs. Idris < 1395812885 420857 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I wasn't paying much attention < 1395812970 664649 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's a random selection / order of languages < 1395812980 873647 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :lol i died on matlab, the language i actually use < 1395812990 485333 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :(1300, big whoop) < 1395812997 383202 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :though the choices for a single question remain grouped together, I think < 1395813010 48323 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the problem is, holy shit why would i use matlab oo if i could avoid it < 1395813014 592372 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :(why would i use matlab if i could avoid it) < 1395813053 531869 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :2800 < 1395813061 301845 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :nice < 1395813141 419564 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i got idris vs haskell right < 1395813145 809808 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I managed to get at least one right that I shouldn't have gotten right < 1395813156 18165 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(As in, I had absolutely no idea) < 1395813168 624574 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Don't remember which < 1395813171 306846 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i have never actually seen idris but luckily i was given the idris example and it looked suspicious. < 1395813180 754883 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :3000. that's enough of that. < 1395813197 725697 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :you can tell because i can now distinguish omgrofl from lolcode. < 1395813253 519019 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the idris one looks exactly like haskell except for importing a module, o rsomethin < 1395813324 821441 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :this is not so good if you play it multiple times, i'm at 5100 on my fourth attempt < 1395813353 541664 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Bike: look at the type of main < 1395813356 672309 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :in the idris example, there was something like "main: ..." < 1395813360 331264 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :as the type i guess < 1395813372 940027 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :: vs :: < 1395813402 135673 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :see, i don't give that much of a shit < 1395813407 381224 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :is that the only difference? < 1395813417 943185 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :there's also the import. < 1395813433 41809 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :ok < 1395813437 851792 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :My score is ! < 1395813443 304351 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :Whoa < 1395813473 597975 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i'm just going to keep programming in the langauges i know best. matlab, snobol, and TOPS-20 macroassembler. < 1395813511 501623 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Do Erlangers hate Elixir/ < 1395813526 764813 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :if the pope was catholic would she shit in the woods? < 1395813626 982126 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Bike: Which pope do you mean, and which woods? < 1395813635 672215 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :any < 1395813636 423026 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :At least one person hates the 'mutable state' of being able to assign twice to the same name < 1395813640 822090 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :woods < 1395813655 231665 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> runIdentity $ do { let a = 5; a = 6; return a } < 1395813655 418458 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :No such variable runIdentity < 1395813656 112038 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:47: parse error on input `}' < 1395813657 677309 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :zzo38: the generalized pope < 1395813668 741715 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :O, you mean Don Woods. < 1395813671 824634 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric ::t runIdentityT < 1395813672 521743 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `runIdentityT' < 1395813672 708427 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant `runIdentity' (imported from Control.Monad.Identity) < 1395813677 202911 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric ::( < 1395813709 481937 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I thought you meant the other kind of woods. < 1395813721 142941 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> (do { let a = 5; let a = 6; [a]) < 1395813721 329904 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:32: error: expected: "$", < 1395813721 330098 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric : "$>", "&&", "*", "+", "++", "-", < 1395813721 330195 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric : "->", ".", "/", "/=", "::", ";", < 1395813721 330292 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric : "<", "<$", "<$>", "<*>", "<+>", < 1395813721 330386 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric : "<->", "<<", "<=", "<|>", "=",14↵… < 1395813721 993143 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> runState (do { let a = 5; a = 6; return a }) 10 < 1395813722 179765 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:32: parse error on input `)' < 1395813722 941673 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:43: parse error on input `}' < 1395813723 222145 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :No such variable runState < 1395813736 31847 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :@run (do { let a = 5; let a = 6; [a]}) < 1395813736 861882 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:32: parse error on input `}' < 1395813744 631868 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :> runIdentity (do { let a = 5; a = 6; return a; }) < 1395813744 818387 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :No such variable runIdentity < 1395813745 572681 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:45: parse error on input `;' < 1395813748 701708 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :@run (do { let a = 5; let a = 6; [a] } ) < 1395813749 335521 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :life is hard < 1395813749 522464 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:33: parse error on input `}' < 1395813765 892746 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :? < 1395813766 718167 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@run Control.Monad.Identity.runIdentity $ do { a <- return 5; a <- return 6; return a } < 1395813767 302584 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 6 < 1395813771 205250 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net QUIT :Quit: leaving < 1395813911 284521 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Can you make something like that kind of quiz on Internet Quiz Engine? < 1395813964 215231 :BeingUntoDeath!~BeingUnto@173-31-68-167.client.mchsi.com QUIT : < 1395814013 373451 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1395814279 421251 :tertu3!~tertu@174-20-41-3.mpls.qwest.net QUIT :Ping timeout: 264 seconds < 1395814999 446108 :password2!~password@197.78.130.32 QUIT :Ping timeout: 264 seconds < 1395815264 781377 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@run do let { a = 5 }; let { a = 6 }; [a] < 1395815265 672835 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [6] < 1395815322 961756 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :your problem was ending the lets, not the do < 1395815407 502801 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: ^ < 1395816327 194963 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Quit: WeeChat 0.4.3 < 1395817050 331894 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1395817231 344904 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1395817232 544070 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1395819725 211463 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :oh, this was a new one, http://fimpp.wikia.com/wiki/FiM%2B%2B < 1395819822 31739 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i thought it was shakespeare < 1395819835 892188 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1395819858 972152 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :2012 doesn't count as new in Internet terms, does it? < 1395819874 891810 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :it was new as in I hadn't seen it before < 1395819937 728356 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :olsner? more like oldsner. < 1395819937 728537 :trout!root@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1395819965 302002 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have idea: A programming language that if it typechecks, it results in a provably correct chess puzzle (so, the types are a logic of chess puzzles). < 1395820121 132076 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :is it 8x8 chess < 1395820192 122861 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It could be, but maybe you could also use other board sizes < 1395820673 38403 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: Leaving < 1395821595 66214 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1395821622 62632 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1395821629 273660 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1395821635 861479 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1395822621 141702 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Heh, I just realized that my script for that TSP-based photo blend thing (no TDTSP to start with) actually entirely ignored the TSP path and just put the things in chronological order. < 1395822628 11892 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I did wonder why there was *that* much banding. < 1395824998 420876 :MoALTz!~no@user-31-174-194-235.play-internet.pl JOIN :#esoteric < 1395826622 735382 :mr45!~mr45@cpc27-hudd10-2-0-cust59.4-1.cable.virginm.net JOIN :#esoteric < 1395827275 426336 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1395827788 671858 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :when can we see the results < 1395827834 791751 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can see the initial ones right now, they're at http://zem.fi/2014-03-25-tl -- but there's nothing too fancy there yet, just simple averages plus the column-blend thing in chronological and TSP order. < 1395828094 509727 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1395828126 723260 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :have you considered choosing each pixel independently from the pictures? or maybe this is your feasible approximation to that < 1395828170 331799 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i guess it's likely that it's all summer / all winter then < 1395828180 97575 :ket1v_!~ket1v@147.69.37.57 JOIN :#esoteric < 1395828389 477942 :ket1v!~ket1v@147.69.37.57 QUIT :Ping timeout: 268 seconds < 1395828765 642553 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1395828864 715572 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I could do (smoothed) blocks with a constraint of having the same number of blocks from every image, perhaps. < 1395828867 889772 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The "time goes from left to right" is conventional for e.g. time-lapse videos, but that sort of assumes more correlation between consecutive frames than I have. < 1395828896 968324 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I drew one for the "view from the office window for one day" video, but it was quite boring. < 1395828924 711499 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Then again, so was the video. < 1395829794 918211 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :the same sentence in each of Japan's prefectures' dialects → http://youtu.be/mYZZdpu8pPk < 1395830155 482864 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yay, got a bona-fide university-targeted phishing message; for some reason they typically seem to skip me. :/ < 1395830903 281645 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1395831629 133074 :boily!~boily@96.127.201.149 QUIT :Quit: é < 1395832304 147224 :MoALTz!~no@user-31-174-194-235.play-internet.pl QUIT :Quit: Leaving < 1395832655 501368 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/MDCi -- automatically generated x86 opcodes -- indistinguishable from real ones. < 1395832662 491646 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Disclaimer: some may actually be real.) < 1395832698 951376 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hallo < 1395833871 783497 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: nice < 1395833881 831608 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :some of them are real indeed < 1395833914 148915 :jconn!~va@1-130.ipswich.cc.colocall.com QUIT :Read error: Operation timed out < 1395834151 38540 :unmeg!~unmeg@203-58-25-79.static.tpgi.com.au JOIN :#esoteric < 1395834170 981961 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :cmpfdivpcmpunpcmpd sounds quite plausible, for example. < 1395834189 821702 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: the list has sqrtpd, which is real < 1395834202 1498 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And fshufdivscattpd does some kind of combined shuffle-divide-scatter operation on packed doubles. < 1395834214 491820 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :pmulld is real too < 1395834279 861601 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mind you, given how the stupid intel terminology already has a mnemonic that's used for two completely unrelated instructions, you could say that this is a different "pmulld" instruction that just happens to have the same mnemonic < 1395834384 961393 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :According to a quick check against the source data, 8 (out of 100) were real: fylx, pmulld, sqrtpd, vcmpltpd, vcmpnlepd, vfnmsubps, vmovd and vpminud. < 1395834403 810588 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :does the source data include AVX-512 instructions? < 1395834409 101807 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and all other extensions? < 1395834426 752387 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, that "fylx" must be some kind of mistake for fyl2x. < 1395834524 892726 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It might not include AVX-512, I'm not sure; it was the sources of the latest daily development snapshot of NASM. < 1395834552 222517 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Don't know how the 2 disappeared, because things like vgatherpf0dpd still have a 0 in it. < 1395834586 141879 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, I typoed "0-9" as "0-0" when processing. < 1395834613 405481 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :generate a new list then < 1395834630 631943 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'd like stuff like vfmsub213pd in it < 1395834729 451869 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm, < 1395834784 993921 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the list has "svps". if you capitlize it as "SvPS", it looks like a macro from perl core. < 1395834810 331869 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think it doesn't actually exist, but it's believable < 1395835093 608891 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :How the flip do I have a temperature of 97? < 1395835094 783603 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/dBWd there we go < 1395835109 921507 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"vphaddsub32132132siftsd" < 1395835133 158681 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :How the flip do I not notice this is #esoteric instead of the other place? < 1395835219 263259 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :This time only 4 real ones: cmpeqsd, sub, vandpd and vfmsubpd. < 1395835505 941750 :jconn!~va@1-130.ipswich.cc.colocall.com JOIN :#esoteric < 1395835819 287775 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I am not Spock... I am Spock < 1395835872 565671 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am also Scotty < 1395835964 312516 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I think "turning into a snot machine" is a good reason to say I'm sick and not going to work, right? (Not going to say exactly how I'm sick unless I have to, just justifying to myself) < 1395835978 548084 :unmeg!~unmeg@203-58-25-79.static.tpgi.com.au QUIT :Ping timeout: 252 seconds < 1395836382 773964 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Would be for me < 1395836416 581856 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Sgeo, both the characters I am planning on cosplaying at a convention in June have green eyes. Would you say it would be worth getting coloured contacts? < 1395836436 113181 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(my eyes are notably ungreen) < 1395836448 822464 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Aren't colored contacts dangerous? < 1395836459 250623 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Cheap ones are < 1395836533 953613 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Huh, so, there are actually people who prescribe colored contacts? Or how does that work? < 1395836547 726939 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :There are actors < 1395836641 971806 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I guess the idea of getting a prescription for something that's not medically necessary is... weird to me. But if you can, go for it if you want < 1395836697 677895 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Maybe I should ask someone with experience in the world of coloured contacts < 1395836740 468340 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Sgeo, do you know where I could get a jacket like this one: http://img1.wikia.nocookie.net/__cb20130719090013/rwby/images/thumb/7/78/Roman_Torchwick.png/1000px-Roman_Torchwick.png < 1395836809 262174 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I don't < 1395836816 815508 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Okay < 1395836818 172378 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :At first I thought that person's head was half chopped off < 1395836822 407197 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :But it's just the hat < 1395836892 526495 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Heh, it does kind of look like that < 1395836920 657889 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I suppose it doesn't look impossible to make < 1395837107 631396 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :fizzie: I'm thinking about the image join problem, and realized that the number of different positions for joining images is (n-1)(n^2) < 1395837125 901552 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Somehow, I get the feeling that glpk won't want me to send it a million coefficients. < 1395837166 136158 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What: https://pbs.twimg.com/media/BjnDdLZCYAA1pad.jpg:large < 1395837228 821066 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :When integer HDMI cable is not enough < 1395837243 782120 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Oh, is that a garden hose < 1395837253 84234 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I... I think so < 1395837434 207302 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1395837676 991341 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Client Quit < 1395837700 284111 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1395837824 693748 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Client Quit < 1395837842 150274 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1395837853 999316 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1395838082 924391 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1395838263 112932 :nooodl!~nooodl@193.119-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1395838642 437188 :ket1v_!~ket1v@147.69.37.57 QUIT :Remote host closed the connection < 1395839184 623918 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fun fact: I did the TSP alignments first on http://neos.mcs.anl.gov/neos/solvers/co:concorde/TSP.html (then I just built Concorde locally). < 1395839543 326066 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com JOIN :#esoteric < 1395839779 372395 :tertu3!~tertu@174-20-41-3.mpls.qwest.net JOIN :#esoteric < 1395839918 649036 :tertu3!~tertu@174-20-41-3.mpls.qwest.net NICK :tertu < 1395840011 842856 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Quit: Tritonio < 1395840043 763135 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1395840118 633940 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :There are a bunch of public servers for FOL and SMT solving, too. < 1395840182 211238 :mr45!~mr45@cpc27-hudd10-2-0-cust59.4-1.cable.virginm.net QUIT :Ping timeout: 246 seconds < 1395840809 55974 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Quit: Tritonio < 1395840831 411252 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1395840869 881560 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Client Quit < 1395840891 352908 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1395841245 895223 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Quit: Tritonio < 1395841269 973733 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1395841482 491662 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Client Quit < 1395841489 404476 :Melvar!~melvar@dslb-088-077-168-087.pools.arcor-ip.net PRIVMSG #esoteric :Jafet, Taneb: Yes, that is a garden hose connector. < 1395841505 367814 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1395841699 122318 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Client Quit < 1395841720 407769 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1395842367 841276 :prooftechnique!~NihilistD@c-174-63-103-117.hsd1.vt.comcast.net JOIN :#esoteric < 1395844123 333129 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1395845044 990964 :Speed``!~Speed@evile.thrash.im NICK :Speed` < 1395845879 955371 :ket1v!~ket1v@147.69.37.57 JOIN :#esoteric < 1395846137 874152 :ket1v!~ket1v@147.69.37.57 QUIT :Ping timeout: 240 seconds < 1395847403 882312 :ter2!~tertu@174-20-41-3.mpls.qwest.net JOIN :#esoteric < 1395847404 68918 :tertu!~tertu@174-20-41-3.mpls.qwest.net QUIT :Disconnected by services < 1395847491 281131 :tertu3!~tertu@174-20-41-3.mpls.qwest.net JOIN :#esoteric < 1395847657 940856 :ter2!~tertu@174-20-41-3.mpls.qwest.net QUIT :Ping timeout: 240 seconds < 1395847803 292616 :tertu3!~tertu@174-20-41-3.mpls.qwest.net QUIT :Ping timeout: 265 seconds < 1395847853 272935 :tertu!~quassel@174-20-41-3.mpls.qwest.net JOIN :#esoteric < 1395847990 303204 :spiette!~spiette@2607:fad8:4:6:f2de:f1ff:fe66:77e5 JOIN :#esoteric < 1395848213 817506 :MoALTz!~no@user-109-243-145-237.play-internet.pl JOIN :#esoteric < 1395850073 70844 :nortti!nortti@nano.smar.fi NICK :lawspeaker < 1395850111 522903 :lawspeaker!nortti@nano.smar.fi NICK :nortti < 1395850765 861327 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395850897 882837 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Ping timeout: 240 seconds < 1395850921 220249 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Any static typed & static type checked stack-based programming languages? < 1395850953 900661 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that are reasonably high level < 1395850971 240705 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so MSIL and alike wouldn't really count < 1395851067 761124 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Cat appears to be one < 1395851289 60136 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :neat < 1395853134 415062 :ket1v!~ket1v@147.69.37.57 JOIN :#esoteric < 1395853224 842478 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fizzie: those are some p. good instructions < 1395853401 630880 :ket1v!~ket1v@147.69.37.57 QUIT :Ping timeout: 252 seconds < 1395854033 872793 :Tritonio!~Thunderbi@athedsl-18974.home.otenet.gr JOIN :#esoteric < 1395854769 881528 :john_metcalf!~digital_w@228.15.125.91.dyn.plus.net QUIT :Quit: john_metcalf < 1395855139 90458 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net QUIT :Quit: Terminated < 1395855155 893696 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net JOIN :#esoteric < 1395855193 411183 :ThisFalseReality!~ThisFalse@cpe-67-251-114-139.stny.res.rr.com JOIN :#esoteric < 1395855207 149577 :ThisFalseReality!~ThisFalse@cpe-67-251-114-139.stny.res.rr.com PRIVMSG #esoteric :so this is an esoteric oriented chat? < 1395855231 960196 :ThisFalseReality!~ThisFalse@cpe-67-251-114-139.stny.res.rr.com PRIVMSG #esoteric :or is it distinctly a discussion about a programming language < 1395855285 140878 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :!welcome ThisFalseReality < 1395855287 400161 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :ThisFalseReality: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395855368 980615 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net QUIT :Client Quit < 1395855398 551018 :ThisFalseReality!~ThisFalse@cpe-67-251-114-139.stny.res.rr.com PART :#esoteric < 1395855509 270828 :idris-ircslave!~ircslave@dslb-088-077-168-087.pools.arcor-ip.net JOIN :#esoteric < 1395856144 469736 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It's distinctly a discussion about a class of programming languages. In theory. < 1395856292 500153 :password2!~password@197.78.130.32 JOIN :#esoteric < 1395857621 760144 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: Which instructions were those? < 1395857653 505503 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://sprunge.us/dBWd < 1395857818 269233 :realzies!~pinky@unaffiliated/realazthat QUIT :Quit: realzies < 1395858093 268403 :realzies!~pinky@unaffiliated/realazthat JOIN :#esoteric < 1395858301 643143 :spiette!~spiette@2607:fad8:4:6:f2de:f1ff:fe66:77e5 QUIT :Ping timeout: 265 seconds < 1395858410 95776 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, right, *instructions*. < 1395858431 883102 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I thought, you know, 1. (11) direction, instruction -- (a message describing how something is to be done; "he gave directions faster than she could follow them") < 1395858444 570531 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :kmc is too cool to say opcodes < 1395858468 642928 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I'll write up a X86 Mnemonic Generator javascript thing and put it on the webs. < 1395858474 611551 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Using gradient descent to get a layout: http://46.4.207.77/product.jpeg < 1395858498 414655 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(That's 218 images from a video I had lying around.) < 1395858575 765090 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe I could involve a self-organizing map in the image thing somehow, since it's what "our people" do. < 1395858585 208559 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Super Flappy X86 Opcode Generator 2048 < 1395858634 700104 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Press the arrow keys to slide the nops together < 1395858771 991513 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :fizzie: the problem had 10312708 coefficients, by the way. < 1395859005 856513 :spiette!~spiette@2607:fad8:4:6:a288:b4ff:fe60:a3b0 JOIN :#esoteric < 1395859357 884791 :password2!~password@197.78.130.32 QUIT :Ping timeout: 240 seconds < 1395860060 482490 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1395860097 238353 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1395860250 540934 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@hoogle Set a -> Int -> a < 1395860251 180899 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Data.Set elemAt :: Int -> Set a -> a < 1395860251 367714 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Data.Set deleteAt :: Int -> Set a -> Set a < 1395860251 367874 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Prelude const :: a -> b -> a < 1395860269 460111 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1395860310 473393 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I'll need to upgrade ghc for that, huh < 1395860383 835871 :ket1v!~ket1v@147.69.37.57 JOIN :#esoteric < 1395860394 305996 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 268 seconds < 1395860431 426249 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1395860431 648951 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1395860654 854311 :ket1v!~ket1v@147.69.37.57 QUIT :Ping timeout: 252 seconds < 1395860682 620195 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Incidentally, is there some obvious way from sampling from a categorical distribution where the probabilities are given as log(p)? I mean, other than just doing exp() on them and doing the usual compute-cumulant-sample-uniformly-from-unit-interval thing. < 1395861958 433941 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have another idea, which is, a sequent calculus of a programming language, where a sequent corresponds to the type of the program; input channels on the left and output channels on the right. The rules would have side-effects. The "init" rule then corresponds to a program that copies its input to its output, and "cut" to the creation of a new channel to communicate across two threads of the program. < 1395862033 220068 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :The program, whether or not it halts, is a proof. < 1395862257 940328 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :fizzie: if the probability is log(p) why would you sample using p < 1395862302 6793 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :I thought fizzie meant that the probability is p but the value provided is log(p). < 1395862315 636463 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :So -oo, 0 instead of 0,1. < 1395862315 823058 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, that is what I meant. < 1395862347 698148 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: But I see no better way. < 1395862381 826222 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Since log(p+q) doesn't have a nice interpretation in terms of log(p) and log(q). < 1395862427 970180 :Slereah!~jackal@244.168.90.79.rev.sfr.net PRIVMSG #esoteric :You can do it by taylor series < 1395862431 870106 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Right. I just wonder, since this file format stores the values as log(p) instead of p. < 1395862470 115090 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :is it using fixed point then? < 1395862513 685720 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(then storing log(p) instead of p would give you the benefits of a floating point representation) < 1395862523 213845 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :precision wise, at least. < 1395862527 419806 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's a text-based format, so it's kind of hard to say. I guess it could be just avoiding exponential notation. < 1395862622 485995 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :alternatively, maybe people typically want to multiply a lot of those probabilities; now they can add them, and exponentiate in the end. < 1395862638 891313 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, that's certainly true, too. < 1395862660 330169 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(In fact, they probably won't usually even exponentiate at the end, thanks to monotonicity.) < 1395862671 621631 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :right. < 1395862717 119610 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You'll need -log p bits to sample p < 1395862754 719427 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :But you might be able to use a table for log p, if you sample from an exponential distribution instead of a uniform one < 1395864479 318422 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/XgjW almost there < 1395864635 41985 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Perhaps these instructions can serve as inspiration for zzo's architecture. < 1395864673 821057 :tertu!~quassel@174-20-41-3.mpls.qwest.net QUIT :Remote host closed the connection < 1395864766 401671 :password2!~password@197.78.130.32 JOIN :#esoteric < 1395865020 788980 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1395865355 240322 :AnotherTest!~turingcom@94-224-26-78.access.telenet.be JOIN :#esoteric < 1395865923 653511 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1395866215 441966 :drlemon_!~drlemon@cpe-108-185-0-32.socal.res.rr.com JOIN :#esoteric < 1395866610 80491 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Done: http://zem.fi/2014-03-26-x86 < 1395866665 171391 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :HSUWPCKHMISSD2PI2EBLSMSKBBR probably gets lots of use. < 1395866701 280592 :augur!~augur@129-2-129-35.wireless.umd.edu JOIN :#esoteric < 1395867206 810724 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :PSHAW < 1395867303 160944 :spiette!~spiette@2607:fad8:4:6:a288:b4ff:fe60:a3b0 QUIT :Remote host closed the connection < 1395867311 212580 :augur!~augur@129-2-129-35.wireless.umd.edu QUIT :Ping timeout: 245 seconds < 1395867562 860092 :spiette!~spiette@2607:fad8:4:6:a288:b4ff:fe60:a3b0 JOIN :#esoteric < 1395867638 255501 :ket1v!~ket1v@147.69.37.57 JOIN :#esoteric < 1395867737 261808 :augur!~augur@129-2-129-35.wireless.umd.edu JOIN :#esoteric < 1395867911 282129 :ket1v!~ket1v@147.69.37.57 QUIT :Ping timeout: 245 seconds < 1395868513 23597 :augur!~augur@129-2-129-35.wireless.umd.edu QUIT :Remote host closed the connection < 1395868547 122739 :augur!~augur@129-2-129-35.wireless.umd.edu JOIN :#esoteric < 1395868801 334203 :augur!~augur@129-2-129-35.wireless.umd.edu QUIT :Ping timeout: 252 seconds < 1395869127 763997 :tertu!~quassel@174-20-41-3.mpls.qwest.net JOIN :#esoteric < 1395869246 719286 :Zom-B|zz!~Zom-B@143.177.41.147 NICK :Zom-B < 1395869408 903166 :AnotherTest!~turingcom@94-224-26-78.access.telenet.be QUIT :Ping timeout: 265 seconds < 1395869473 791894 :Tritonio!~Thunderbi@athedsl-18974.home.otenet.gr QUIT :Read error: Connection reset by peer < 1395869831 593649 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1395869855 841868 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395870837 875311 :Zom-B!~Zom-B@143.177.41.147 NICK :Zom-B|zz < 1395871411 413988 :password2!~password@197.78.130.32 QUIT :Ping timeout: 264 seconds < 1395871571 154126 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :My brother decided that we play Yomi cards with Lum vs Rook, because apparently Rook is severely disadvantaged in this matchup. First I played Lum, and I won. Second, I played Rook, and I also won, but, on the last turn we both played attacks of the same speed, so they both hit, and I was left with only one point at the end of the game. < 1395871615 481334 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :yomi? < 1395871714 731772 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It is a card game, it comes with ten decks of cards. < 1395871754 556789 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Each one has the standard 52 cards, plus two jokers, and one character stats card and one rule reminder card. However, all of the cards, except for the joker, have additional markings which differ based on each character, too. < 1395871874 110676 :nooodl!~nooodl@193.119-242-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 265 seconds < 1395871984 947954 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1395872180 422427 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :seems pretty expensive for a card game < 1395872370 771402 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes, although it is a good quality. < 1395872457 721181 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, don't get, why you can't buy these decks one by one < 1395872528 251419 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :You can buy these decks one by one, although, you shouldn't! < 1395872700 815701 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1395872884 708037 :ket1v!~ket1v@147.69.37.57 JOIN :#esoteric < 1395873070 833182 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1395873320 347563 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1395873665 142173 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1395874095 422454 :zzo38!~zzo38@24-207-51-179.eastlink.ca QUIT :Remote host closed the connection < 1395874396 26868 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hallo < 1395874454 158319 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1395874722 207113 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Captain America: The Winter Soldier was good < 1395874820 632444 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shouldn't that have been Captain Finland < 1395874832 415869 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The winter soldier was a different character < 1395874837 911185 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :"Captain America" refers to the series < 1395874850 247287 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :So really it should have been Captain America AND the Winter Soldier < 1395874866 875708 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so, was the winter soldier finnish, then < 1395874874 557869 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :No, he was American < 1395874881 291953 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tragic < 1395874898 779030 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :We do have winters here, you know < 1395874917 9085 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think y'all are not familiar with the winter war. < 1395875177 54482 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com QUIT :Quit: This computer has gone to sleep < 1395875545 692479 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://sjoerdvisscher.handcraft.com/regexfractal.html < 1395875622 574795 :MoALTz!~no@user-109-243-145-237.play-internet.pl QUIT :Quit: Leaving < 1395876132 882475 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^..[24] < 1395876249 42710 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :the winter soldier could also reasonably be russian? < 1395876306 734785 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :theoretically. < 1395876329 412017 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^()(..(2|4).*$) < 1395876645 262974 :ion!ion@heh.fi PRIVMSG #esoteric :shachaf: cool < 1395876931 332481 :augur!~augur@129-2-129-35.wireless.umd.edu JOIN :#esoteric < 1395877117 763720 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my failed attempt at a spiral still seemed slightly interesting ^(?:13|24|31|42)*(?:[12]*|[23]*|[34]*|1?4[14]*|14[12]*)$ < 1395877195 552413 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(probably more than a spiral, anyway) < 1395877276 920147 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :lexande, definitely in the comics was Russian-commanded? < 1395877285 908453 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It is too late for me < 1395877297 767679 :tertu!~quassel@174-20-41-3.mpls.qwest.net QUIT :Ping timeout: 240 seconds < 1395877321 342198 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :How is coloring determined? < 1395877440 396688 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: length of the first three capturing groups correspond to RGB < 1395877531 353955 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :e.g. i surrounded my chess pattern with ()( ... ) to make it green < 1395877565 563389 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I have not been making sense < 1395877567 602816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and (( ... )) would make it yellow < 1395877571 219187 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I should sleep < 1395877572 808930 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Goodnight < 1395877744 144540 :augur!~augur@129-2-129-35.wireless.umd.edu QUIT :Remote host closed the connection < 1395877985 892115 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ACTION --> bed < 1395878155 292137 :simpleirc!~simpleirc@2602:30a:2c4a:9e00:46a7:cfff:fe65:3b90 JOIN :#esoteric < 1395878159 593777 :simpleirc!~simpleirc@2602:30a:2c4a:9e00:46a7:cfff:fe65:3b90 NICK :Guest73347 < 1395878256 263179 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :strange bugs ^(?:13*(?:4[14]*|.[12])*|24*(?:[12]*|[23]*)|31*(?:[23]*|[34]*)|42*(?:[34]*|[14]*))$ < 1395878313 773617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh misplaced parentheses, should be ^(?:13*(?:4[14]*|.[12]*)|24*(?:[12]*|[23]*)|31*(?:[23]*|[34]*)|42*(?:[34]*|[14]*))$ < 1395878324 993227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(there you go, spiral) < 1395878385 278364 :augur_!~augur@129-2-129-35.wireless.umd.edu JOIN :#esoteric