< 1392076882 395251 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1392077389 198309 :yorick!~yorick@oftn/member/yorick QUIT :Quit: No Ping reply in 180 seconds. < 1392077415 129756 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1392077601 447673 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1392077822 281666 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 247 seconds < 1392078536 197141 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 245 seconds < 1392078584 771506 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1392080764 755679 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Racket has something it calls 3D syntax. Sadly, it seems to merely be "(syntax that contains unwritable values, etc)" < 1392080774 909392 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Read error: Operation timed out < 1392080903 660680 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION wins 1 point in the "guess what Sgeo is talking about just from the single first letter visible in the background window"
< 1392080911 845133 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sorry, *scores < 1392080957 994694 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+game < 1392080978 167470 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION loses points for not reading his own lines before pressing return
< 1392080993 45721 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Can you guys give me tips for making esolangs without really trying < 1392081061 319941 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pick a weird layout for memory and program, possibly separately < 1392081133 867655 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, that was the plan < 1392081138 455595 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :steal commands/keywords from ordinary languages, give them single character names < 1392081150 828662 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I need to do this in half an hour a week on thursday < 1392081170 303522 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :alternatively give them themed names < 1392081194 680056 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(but i somehow expect you to have better taste) < 1392081233 80053 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am worried my audience will be expecting Real Fast Nora's Hair Salon 3: Shear Disaster Download 2 < 1392081281 977019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in that case, steal combinator birds instead. rename them to flowers. < 1392081284 614379 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :...on another note, I've just got a 418 error < 1392081309 153442 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, I want to do as little planning but as much preparation as possible < 1392081343 977520 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i see. < 1392081397 90709 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bring a box of legos. use those for syntax. < 1392081425 178895 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :As in, I want vague ideas about which direction I want to go in, but I don't want to actually have anything defined < 1392081436 585282 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://blog.inedo.com/2010/10/12/http-418-im-a-teapot-finally-a-%E2%80%9Clegitimate%E2%80%9D-use/ < 1392081448 471646 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Not really a legitimate use, but still < 1392081463 205015 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I can imagine frustratingly implementing that sort of thing < 1392081499 650458 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: in fact construct the first 3d esolang. < 1392081506 124685 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Ping timeout: 260 seconds < 1392081518 582303 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, isn't there some 3D funges? < 1392081520 823695 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :oerjan: come on, you've played 4d scrabble, you should suggest 4d esolang < 1392081537 934774 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: i'm afraid lego won't be up to the challenge < 1392081541 593907 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :In fact, nD funges are pretty boring once you get the idea < 1392081563 558476 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Oh, apparently, you were judge, not player < 1392081572 545947 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Based off this esolang log I fojd < 1392081586 577223 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...i assume you mean frc log < 1392081590 402496 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392081612 699123 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait, i may have discussed it here... < 1392081623 732285 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://tunes.org/~nef//logs/esoteric/13.06.09 < 1392081669 745776 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it was an frc round, anyway. < 1392081710 575000 :ion!ion@heh.fi PRIVMSG #esoteric :`coins < 1392081712 131356 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :iotatedcoin pbocoin surfcoin delcoin doguecoin clavcoin catorcoin bullcoin sphcoin squodetroccoin brcalcoin bircoin fromorecoin feemcoin bitflipcoin bf-dercoin fragacoin extenundcoin snowfcoin markanweicoin < 1392081810 123036 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :doguecoin, so francais, much beau < 1392081836 646985 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :15:08:15 I wonder when I'll start having nostalgia for Cablevision's offices < 1392081836 826616 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :15:08:23 did you quit < 1392081836 826770 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :15:08:57 no < 1392081857 806532 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Since this conversation occurred, I have been relocated to a different office < 1392081867 991754 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :is it better or worse? < 1392081901 329065 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It's diagonal. And worse. < 1392081914 337554 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :diagonal? < 1392081949 21638 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :My cube is at the corner of two perpendicular hallways. There is a third hallway diagonal to those hallways < 1392081970 904558 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :It was a bit disorienting at first < 1392081994 340755 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's actually a huge arrow pointing to Sgeo < 1392082047 773904 :tertu!~quassel@143.44.70.43 QUIT :Read error: Connection reset by peer < 1392082136 368517 :elliott_________!~elliott@unaffiliated/elliott QUIT :Ping timeout: 245 seconds < 1392082142 744254 :ineiros!~itniemin@bayesianconspiracy.org QUIT :Ping timeout: 264 seconds < 1392082143 746377 :elliott!~elliott@li278-81.members.linode.com JOIN :#esoteric < 1392082167 303631 :elliott!~elliott@li278-81.members.linode.com NICK :Guest65497 < 1392082184 746532 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392082214 701671 :nortti!nortti@nano.smar.fi QUIT :Ping timeout: 264 seconds < 1392082243 506368 :ineiros!~itniemin@bayesianconspiracy.org JOIN :#esoteric < 1392082286 381148 :nortti!nortti@nano.smar.fi JOIN :#esoteric < 1392082787 918509 :EgoBot!dlopen@libdl.so QUIT :Remote host closed the connection < 1392082904 516834 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 245 seconds < 1392083594 134558 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1392084019 65884 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1392084022 538261 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1392085273 354342 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1392085517 818476 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: what do you call the ordering where you sort by length and then sort by the first symbol within lengths, then sort by the second symbol within those with the same length and first symbol etc... < 1392085648 469486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not quite sure. < 1392085689 552769 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for a given base, if you ignore leading zeros, it's the same as "numerical order" < 1392085831 172358 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so for base aleph_0? < 1392085835 986803 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Shortlex_order < 1392085888 265595 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ah < 1392085892 636033 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :got it < 1392086042 573423 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so "the alignment will never be odd" is enough to prove that the zeros will never disappear? < 1392086094 94652 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for 4, yes. < 1392086132 740192 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for larger than 4, it's not necessary, but with 4 if you hit on 04400440... in that order it completely self-deletes < 1392086156 522580 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*in that alignment < 1392086166 210138 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ah. what suffices for the other cases then? < 1392086189 587991 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :like why do the zeros never show up in the first or second positions? < 1392086247 700794 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they might, but the strings are long enough that you will get a reproduction later anyhow < 1392086262 130435 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in fact the case where the zero is second is the worst one < 1392086281 562071 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and the only reason i need four copies of the n-1 n's block < 1392086392 768408 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hmm. were you able to simultaneously apply all this logic to all of them, and then just grep runs of them? < 1392086395 515264 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or n-2 n's, for the 0 0 case < 1392086409 960127 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: yes. < 1392086455 843563 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :all the cases where the alignment starts with n n work essentially the same, and there are just 2-3 other positions to consider. < 1392086492 939196 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and the logic is not significantly different for different n>=5 < 1392086556 966349 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : n … n 0 n … n 0 n … n 0 n … n < 1392086557 187387 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :. * * . ; : < 1392086568 249343 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's my summary diagram for the logic < 1392086625 613180 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well that's settled then. Now there's only a couple of things I really want to know about it: 1) am i right that universality is still achievable if we bound the number of symbols? < 1392086661 263803 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well of course, just take a universal tag system and apply ais523's perl program to it < 1392086683 381971 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :2) is there a nice block that includes an arbitrary length-n string and copies itself f(n) times for any linear f? < 1392086742 935520 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(afaict the initial state of the tag system doesn't influence the symbols used, only the lookup table/"alphabet" does) < 1392086767 365375 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: his program incorporates the initial condition into the generated program. I'm not perfectly certain about how it works that we can bound the max number for all possible inputs < 1392086781 898282 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well i can't tell. i was hoping so. < 1392086816 954427 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: the initial condition is afaict just concatenating the representation for each symbol as derived from the condition-independent alphabet. < 1392086818 490135 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :in which case, my question is: what's an upper bound on that number? unfortunately, i can't find an explicit representation of a universal tag system anywhere. < 1392086934 164206 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't know either < 1392086976 1429 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i mistated question 2. in fact, i don't know how to phrase that question right now. but i would at least like to have a block pattern which can create a constant number of copies of itself including an arbitrary string. < 1392086984 396975 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as for (2) what do you mean by using a function? i'm pretty sure we can make a block that copies itself m times and contains a length n arbitrarily chosen substring < 1392087036 94428 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess i just rephrased it, then :P < 1392087036 314089 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well i would think so, but i would also like it to be short and simple :P < 1392087041 326087 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it's not what my real question is though. but i don't know what my real question is. < 1392087068 389432 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm probably adjust the 4 2 4 2 ... thing < 1392087089 645688 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i've been trying to! < 1392087148 346237 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i think it needs something at the end too < 1392087228 661439 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah, except things at the end may cause it to interact with other blocks! < 1392087266 309783 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1392087287 638082 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this is tricky. < 1392087293 419677 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :inorite < 1392087311 950839 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the problem is getting anything _between_ the copies. < 1392087326 670519 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :indeed < 1392087337 649994 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think you need two passes. < 1392087361 508434 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that sounds more likely. one pass for the head, one for the tail? < 1392087375 709376 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not really < 1392087392 145322 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah probably not < 1392087400 553683 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :some intermediate form then < 1392087445 141966 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :maybe one pass makes two copies the arbitrary string, and another inserts the header between them somehow < 1392087465 788792 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no. you cannot swap things efficiently. < 1392087476 556241 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but intermediate form, yes. > 1392087775 506193 JOIN :#esoteric > 1392087779 626268 JOIN :#esoteric > 1392087780 140691 JOIN :#esoteric > 1392088135 789637 JOIN :#esoteric > 1392088139 909216 JOIN :#esoteric > 1392088140 424778 JOIN :#esoteric > 1392088156 808845 JOIN :#esoteric > 1392088160 930158 JOIN :#esoteric > 1392088161 445096 JOIN :#esoteric < 1392088169 46194 :glogbot!~glogbot@libdl.so JOIN :#esoteric < 1392088218 20578 :Guest83987!dlopen@libdl.so JOIN :#esoteric < 1392088218 705015 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh, 4 2 m n 4 2 can do the prepending > 1392088517 334202 JOIN :#esoteric < 1392088518 367822 :glogbot!dlopen@libdl.so JOIN :#esoteric > 1392088521 445849 JOIN :#esoteric > 1392088521 961267 JOIN :#esoteric < 1392088529 201446 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so basically prepend 4 2 (n+6) m to any sequence which is already self-preserving. < 1392088547 468323 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1392088557 493516 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*4 2 (n+6) m 4 2 < 1392088591 401169 :variable!root@freebsd/developer/variable NICK :constant < 1392088598 9792 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 JOIN :#esoteric < 1392088599 425407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: ^ < 1392088776 716412 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in the next step, it will be the same, except with (n+22) m prepended, which then copies all of it m times. < 1392088862 370711 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm in fact 4 2 x y 4 2 is a more basic building block of the 4 2 4 2 4 2 4 2 construction. < 1392088953 808933 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392088974 791496 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I have no idea what language this is < 1392089362 172889 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's resplicate < 1392089413 858238 :tertu!~quassel@143.44.70.43 QUIT :Ping timeout: 248 seconds < 1392089444 259235 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1392089516 71042 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392089779 955065 :tertu_!~quassel@143.44.70.43 JOIN :#esoteric < 1392089805 406295 :tertu!~quassel@143.44.70.43 QUIT :Ping timeout: 252 seconds < 1392090571 248199 :FireFly!~firefly@oftn/member/FireFly QUIT :Ping timeout: 272 seconds < 1392091066 445651 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: my rewordings while editing the page made me think of one possible subtlety of my mental model for queue-like languages like this: i'm thinking of the queue as more of a _circle_ that the ip is moving on, and the commands don't so much append to the queue as they are replacing themselves with their result... < 1392091153 40228 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this can apply to stack languages like underload as well (see the rewriting section in that) < 1392091175 352781 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and msm, which is a combination < 1392091298 371763 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(well for stack languages not the circle part, but the replacing part) < 1392091663 991545 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 QUIT :Ping timeout: 245 seconds < 1392091800 18516 :tertu_!~quassel@143.44.70.43 QUIT :Ping timeout: 260 seconds < 1392091897 284998 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: yeah 4 2 mn 5 < 1392091906 750324 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :42mn42 is what i was thinking about < 1392091913 246624 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but got distracted by olympics < 1392092060 457189 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mhm < 1392092859 850710 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: nite < 1392092900 812128 :ggherdov!sid11402@gateway/web/irccloud.com/x-mesncqbcffsqaomb QUIT :Ping timeout: 246 seconds < 1392093389 374797 :MoALTz!~no@host81-153-177-174.range81-153.btcentralplus.com QUIT :Read error: Connection reset by peer < 1392093529 387219 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1392093724 339592 :ggherdov!sid11402@gateway/web/irccloud.com/x-lpzstnjzjybwvrbb JOIN :#esoteric < 1392094124 383592 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1392094126 158978 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :fryinglycoin circcoin acrotcoin hangcoin remonecoin tranocoin inlcoin objectcoin phawacoin kiploycoin bitiocoin kolmocoin micasmittcoin rcemanacoin poientedicasmicoin proomcoin ihatcoin tedcoin georylovecoin herstasiccoin < 1392094152 673554 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392094302 253129 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Ping timeout: 260 seconds < 1392094523 661771 :tertu!~quassel@143.44.70.43 QUIT :Ping timeout: 250 seconds < 1392094569 225369 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :`cat coins < 1392094569 760471 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: coins: No such file or directory < 1392094586 351367 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :`run cat $(which coins) < 1392094586 822871 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :words --eng-1M --esolangs 20 | sed -re 's/( |$)/coin\1/g' < 1392094596 826499 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :hi tech < 1392094596 959974 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392095094 349700 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :Bike: I thought they all exist < 1392095115 457559 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :what < 1392095169 684028 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :I thought they are somehow generated via coingen.io < 1392095171 765501 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric ::S < 1392095245 828593 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :do they have a bot interface < 1392095361 6193 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :no but not hard to automate < 1392096147 757402 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1392096335 899791 :tertu!~quassel@143.44.70.43 QUIT :Ping timeout: 260 seconds < 1392096647 811467 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392097071 998986 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1392097105 723482 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1392097349 749105 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1392097970 452043 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1392098740 864377 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 JOIN :#esoteric < 1392099578 363248 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Excess Flood < 1392099595 911541 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`olist (944) < 1392099596 809413 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :olist (944): shachaf oerjan Sgeo FireFly boily < 1392099635 865336 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1392100006 549447 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1392100008 222219 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :homesprolcoin excocoin alcucoin mycecoin gottcoin gamcoin wilsofcoin lnutacoin rocecoin x-dcoin tarcoin faltcoin neurcoin burrcoin cobosencoin brachcoin photomycoin aheuicoin bicecoin dateflindexeucoin < 1392100657 565639 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Read error: Operation timed out < 1392100714 105932 :HackEgo!~HackEgo@162.248.166.242 QUIT :Ping timeout: 260 seconds < 1392100748 418227 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1392101080 913535 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1392101084 775621 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :tychaf < 1392101170 883354 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungotocracy < 1392101171 208495 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: no, it's not. it's more complex than that. read the code.) good stuff < 1392101564 206281 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: have you read your own code < 1392101564 728422 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: i am just as confused. you, in that line, that i have gone totally wanting, and then you can choose fnord, but don't < 1392101582 188794 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungot: i choose not to choose fnord < 1392101582 484386 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: it's what that guy in medina, a village near the mystic mountain" 65,000,000 b. c.? yes, i'd have done something very brave? fnord 06:22, 29, no. 2, 2, 3, 4, 8, 13, 1(::**) ...bad insn! < 1392101602 249496 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`dis86 4daf5f1e95 < 1392101602 988166 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :scasq; pop rdi; invalid; xchg ebp, eax; < 1392101646 709831 :ion!ion@heh.fi PRIVMSG #esoteric :invalid; is the best instruction. < 1392101652 542411 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`as86 ud2 < 1392101653 370745 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0f0b < 1392101656 695334 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`dis86 0f0b < 1392101657 407706 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ud2; < 1392101668 334662 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :this is the instruction that's defined to be undefined < 1392101677 582472 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i forgot what happened to ud1, maybe somebody defined it by accident < 1392101706 35985 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`as86 ud1 < 1392101706 879847 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0fb9 < 1392101716 159984 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`dis86 0fb9 < 1392101716 786937 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :invalid; < 1392102203 746630 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :is fungot spouting underload now < 1392102203 876790 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Bike: so, let's say i call them mindless games. if we hit every stupid person, any person going, tough one. if we solve it,... < 1392102247 225579 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`gccrun asm("ud2"); < 1392102248 352419 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Illegal instruction < 1392102275 728641 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :^style < 1392102275 781415 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot* homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube < 1392102291 308267 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`gccrun asm("ud1"); < 1392102292 286781 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Illegal instruction < 1392102325 120300 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`cat bin/as86 < 1392102325 772339 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :as="$1"; shift; echo ".intel_syntax noprefix; $as" | gcc "$@" -c -x assembler /dev/stdin -o /tmp/as86.o && objcopy -O binary /tmp/as86.{o,bin} && xxd -p /tmp/as86.bin < 1392102428 628511 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :that's some complicated shite right there. < 1392103244 895302 :Tritonio!~Thunderbi@athedsl-18949.home.otenet.gr QUIT :Quit: Tritonio < 1392103251 801048 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1392103461 894428 :tertu!~quassel@143.44.70.43 QUIT :Ping timeout: 248 seconds < 1392103561 683446 :w00tles!~w00tles@87-104-164-168-dynamic-customer.profibernet.dk JOIN :#esoteric < 1392103998 195552 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392104265 954459 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: "Use the 0F0B opcode (UD2 instruction) or the 0FB9 opcode when deliberately trying to generate an invalid opcode exception (#UD)." < 1392104281 831336 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess it's still proerply undefined. Don't know about names. < 1392104295 267157 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Pro-ERPly. < 1392104298 910498 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :whence quote < 1392104331 261499 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think there's some OS out there which uses ud2 as the syscall instruction < 1392104374 4828 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Intel's instruction set manual, volume 2, Table A-1 "Superscripts Utilized in Opcode Tables", entry "1B". < 1392104391 321898 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Which is used in both the 0F0B and 0FB9 table entries.) < 1392105456 718605 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i'll also ask here i guess: i have a (universal) algebra A in some variety, say it's an abelian group, so the type is (+, 2), (^{-1}, 1), (1, 0). i say a function f : A \to A is \emph{nice} if it can be built as follows: the identity map and constant maps are nice, and if $g$ is nice and $c \in A$, then $x \mapsto g(x) + c$, $x \mapsto c + g(x)$, $x \mapsto g(x)^{-1}$ and $x \mapsto 1$ are nice. is there a better name for nice? < 1392105512 622922 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so basically the functions you can build out of a single variable x and any algebra operations with constants from the algebra < 1392105534 722831 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :for rings, these are the affine maps x \mapsto ax + b < 1392105541 994441 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so i have usually called them affine maps < 1392107490 992294 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1392107543 666621 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1392107774 385196 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :HAXE HAS MACROS??? < 1392107790 619573 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Maybe I should actually take a look at it, instead of just instantly dismissing it as boring < 1392109170 120305 :tertu!~quassel@143.44.70.43 QUIT :Ping timeout: 260 seconds < 1392109273 975896 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Excess Flood < 1392109295 940568 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1392110037 298416 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :kmc: http://blogs.msdn.com/b/oldnewthing/archive/2004/12/15/313250.aspx < 1392111014 760867 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Quit: MindlessDrone < 1392111552 913228 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1392114090 864747 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :olsner: and SYSENTER is born. < 1392115505 419239 :shikhin!~Shikhin@59.177.204.27 JOIN :#esoteric < 1392115508 431323 :shikhin!~Shikhin@59.177.204.27 QUIT :Changing host < 1392115508 436535 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1392115556 338540 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1392116908 874243 :Tritonio1!~Thunderbi@82.221.102.34 JOIN :#esoteric < 1392117013 673721 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Ping timeout: 250 seconds < 1392117664 21605 :aloril!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi QUIT :Ping timeout: 252 seconds < 1392117664 33409 :ski!~ski@remote1.student.chalmers.se QUIT :Ping timeout: 252 seconds < 1392117664 33528 :Deewiant!~deewiant@deewiant.iki.fi QUIT :Ping timeout: 252 seconds < 1392117770 62851 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1392117803 732130 :Deewiant!~deewiant@deewiant.iki.fi JOIN :#esoteric < 1392117872 595037 :ski_!~ski@remote1.student.chalmers.se JOIN :#esoteric < 1392117923 821706 :ski_!~ski@remote1.student.chalmers.se NICK :ski < 1392118381 982059 :Tritonio1!~Thunderbi@82.221.102.34 QUIT :Ping timeout: 272 seconds < 1392118440 871171 :aloril!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi JOIN :#esoteric < 1392120437 125443 :w00tles!~w00tles@87-104-164-168-dynamic-customer.profibernet.dk QUIT :Quit: quit < 1392121247 210392 :w00tles!~w00tles@87-104-164-168-dynamic-customer.profibernet.dk JOIN :#esoteric < 1392121848 154920 :itsy!~john_metc@79.251.125.91.dyn.plus.net QUIT :Read error: Connection reset by peer < 1392123337 116341 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392124007 746909 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk QUIT :Excess Flood < 1392124089 51939 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1392124247 603807 :utkarsh!utkarsh@2600:3c00::f03c:91ff:feae:75b8 QUIT :Changing host < 1392124247 607535 :utkarsh!utkarsh@unaffiliated/utkarsh JOIN :#esoteric < 1392124794 335465 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1392127054 252309 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1392127298 315677 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : hi tech <-- was wondering for a moment who you were greeting, there < 1392127487 77692 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :~metar EFHK < 1392127496 227954 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I always do that when it no works. < 1392127510 710245 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hint: metasepia leaves when boily does. < 1392127565 346696 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I did not know that. Why is it so? < 1392127583 861121 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you'll have to ask boily, it's his bot < 1392127625 599399 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@ask boily Why does metasepia leave when you do? < 1392127625 750883 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1392128720 744811 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1392129617 444964 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darths & droids #1000 today < 1392129643 760630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(don't forget the usual bonus comic) < 1392130162 229738 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait what. < 1392130202 791710 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :THEY FORGOT THE BONUS COMIC < 1392130226 574595 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unless it's related to the fact sromg hasn't updated either. < 1392131099 259530 :FireFly!~firefly@oftn/member/FireFly QUIT :Ping timeout: 246 seconds < 1392131131 696933 :samebchase!~samuel@codesurfers.net QUIT :Ping timeout: 250 seconds < 1392131608 351206 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what bonus comic? < 1392131618 238697 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh < 1392131626 43402 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :do those follow some regular schedule? < 1392131697 466352 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: by bonus comic, you mean the ones branching from #50, right? < 1392131822 929398 :samebchase!~samuel@codesurfers.net JOIN :#esoteric < 1392131955 984892 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes < 1392131972 624101 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1392131978 923768 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they usually appear every 50th ordinary comic < 1392132088 678417 :nooodl!~nooodl@33.171-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1392132143 455308 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1392132155 609782 :nooodl!~nooodl@33.171-241-81.adsl-dyn.isp.belgacom.be PART :#esoteric < 1392132320 354683 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1392132397 146875 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Read error: Operation timed out < 1392132397 308683 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1392132828 995763 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1392134309 864395 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Ping timeout: 248 seconds < 1392134502 226643 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: could your tag-to-resplicate converter be easily adjusted to output only even-length sequences with even numbers in the odd positions? < 1392134766 876320 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: yes < 1392134836 245300 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wish i knew perl better, or understood the algorithm enough to reimplement in something I better understand < 1392134867 569431 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the only tricky thing that program does is build expressions as strings, that are 'eval'ed later < 1392134884 541841 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, @array can either refer to the array as a whole, or the number of elements in it < 1392134894 976234 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which can make that program a little confusing at times < 1392134985 216838 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and 523 is clearly just some sort of flag (based on your name) which could have been any number? < 1392135144 9694 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds < 1392135152 626282 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1392135234 358878 :ruthie!~ruthie@c-98-225-143-81.hsd1.pa.comcast.net JOIN :#esoteric < 1392135245 201359 :ruthie!~ruthie@c-98-225-143-81.hsd1.pa.comcast.net PART #esoteric :"DANG" < 1392135246 285423 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's not even a flag, just a dummy cell < 1392135259 455009 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah < 1392135293 187433 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i'm changing it to zero :P < 1392135341 885852 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the point is that it doesn't matter < 1392135367 927056 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :also it annoys me that it generates a program which is shortened by its first step. (it starts 2 1 78 0) < 1392135507 356920 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you mean it could put the 78 0 at the /end/ instead? that'd annoy me even more < 1392135513 709642 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because then it'd be out of order < 1392135636 751187 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i always manually move it to the end when i save it :P < 1392135707 681848 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so about these 1's that keep showing up in the odd positions...how to make them even numbers? < 1392135753 465255 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :eh, in general, how to change odds to evens? < 1392135779 277533 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1392136012 299736 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: the code that generates the 523 padding has an odd length (3), and the length of that code determines the length of the padding < 1392136055 32586 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you make the padding-generation code have an even length (e.g. by padding by copying a length-2 string not a length-1 string), the required length of padding will be an even length too < 1392136088 912101 :luserdroog!636c1b05@gateway/web/freenode/ip.99.108.27.5 QUIT :Ping timeout: 245 seconds < 1392136118 703572 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...and then my header merge suggestion will work >:) < 1392136205 225842 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: that's why i'm trying to do it < 1392136216 258467 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha < 1392136242 176802 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :because as you've demonstrated, there is a simple meta-symbol construction for "ResPairate" < 1392136282 876845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i may have thought that, but did i actually say it? < 1392136311 428582 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(that you can merge pairs into a single symbol if everything is even alignment) < 1392136322 131825 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(namely, the pair (n,m) is replaced by the sequence (2,2)(n+11,m)(2,2)(2,2)(2,2)(2,2)(2,2)(0,0)(n,1)(0,0)(n,1)) < 1392136371 207231 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait what < 1392136398 762884 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that's the metasymbol. you should recognize it. it's mostly yours. :P < 1392136413 6197 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well yes but what's a metasymbol < 1392136433 372610 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :a sequence that behaves like a symbol. like metapixels in Life. < 1392136472 520100 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um that sequence double itself every second cycle, it doesn't behave like anything else? < 1392136475 502440 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+s < 1392136487 234626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er m-plies < 1392136532 34587 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :actually, you're right < 1392136538 513166 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that n should be something*n < 1392136559 350281 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but yeah it's clearly possible < 1392136591 637895 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :probably 11*n < 1392136737 525442 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but my sequence is designed to preserve _itself_, not what's following. < 1392136746 67676 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*multiply < 1392136747 192839 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: so does push @alphabet, 2, (@alphabet + 5), 0, 0; do what you're saying? i'm not sure what the "5 numbers" you refer to are. < 1392136785 510314 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the 5 numbers are the number of numbers pushed on that line, plus the number of numbers pushed on the next line < 1392136789 614944 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you'd need to change the 5 to 6 < 1392136796 986838 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then you'd need to divide by 2 < 1392136811 270283 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because you're copying a two-element string, so you only need half as many copies < 1392136823 352362 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it'd be push @alphabet, 2, (@alphabet + 6) / 2, 0 , 0; < 1392136831 72539 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then you need to change the end padding the same way < 1392136849 521864 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: it multiplies itself, including some string which it is prepended to. what if what is prepended to is another sequence just like itself? it should work i think. < 1392136912 678175 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1392136924 539941 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: and the trailing padding has to be modified in terms of a string to be eval'd? so i need to put the /2 into a string and concatenate it? < 1392136933 429311 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: yes < 1392136995 547719 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so this: push @alphabet, 2, ('(@alphabet - '. @alphabet. ')/2'), 0, 0; < 1392137030 128073 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: it keeps the thing it's prepended to completely inert. < 1392137033 862374 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: that looks right < 1392137116 101633 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my point is, something that works equivalent to the pair (m,n) needs _not_ to include itself in what it's multiplying. < 1392137121 308623 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: oh wait. i see the problem. it imposes a copy of itself between all those symbols its prepended to. < 1392137123 68758 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: you were right. check the changes now. < 1392137139 864226 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so yeah it should fail to preserve itself instead < 1392137152 558186 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :isn't that even easier though? < 1392137152 973689 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: yay! < 1392137160 54979 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: probably < 1392137268 211527 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: in fact a trivial meta-symbol is (x,0) ...x arbitrary pairs... (m*(x+2),n) < 1392137327 447636 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and the initial part can be replaced by anything that leaves no trace < 1392137346 342285 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :do you have m and n backwards from i am doing or am i just confused < 1392137358 185482 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1392137384 661813 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1392137446 798890 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ah, you're right. metasymbols are really easy. < 1392137464 681819 :augur_!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1392137476 492730 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Read error: Connection reset by peer < 1392137562 314122 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: by the way i ran collatz->tag->resplicate for n=27 and it 406542 steps to reach the period 40 oscillator, growing up to 2,170,200 on the way. < 1392137582 97981 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: I tried doing that, but gave up waiting for it to finish :-) < 1392137600 769733 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can actually follow what the tag system is doing with some simple greps on the debug output of the interp < 1392137603 719862 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: takes about one night's sleep to finish. < 1392137644 583041 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1392137652 592004 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: you can actually follow the collatz one really easily just by watching the length of the queue from moment to moment (which is printed by the -l flag) < 1392137679 962150 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :seeing as how it represents numbers in unary :P < 1392137704 339366 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we need a simple useful tag program that isn't the collatz sequence one from Wikipedia, really < 1392137735 788464 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although I guess generalized collatz (which is TC) shouldn't be too hard to compile to tag? < 1392137742 22944 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: do you think it's possible to design a halt symbol that deletes itself when compiled to resplicate? < 1392137780 952032 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1392137798 14770 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: not without modifying the rest of the construction, but it'd be trivial enough to slip in a "skip to this point in the next symbol" construction to the initial padding < 1392137801 572022 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then you could just jump to that < 1392137807 903023 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and all the symbols would delete themselves in turn until the tape was empty < 1392137900 652948 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: the only problem i've been having with the whole "universal tag system" thing is that every thing I can find shows how particular /families/ of tag systems are universal. I have yet to find anything tag systems that let you encode other tag systems as the string to be modified and evaluates them. < 1392137930 520212 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: write a Turing Machine that evaluates tag sytems, compile it to a tag system < 1392137945 776052 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: yes i know, but that will be HUEG < 1392137965 716414 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also there's the question about how you do input < 1392137974 606990 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'd like to give ResPlicate an output extension, at least < 1392137995 674111 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :something like "if the length is 0, the count is interpreted as a Unicode codepoint and written to stdout" < 1392138002 939107 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that doesn't affect interps that don't understand it < 1392138022 821490 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you could use negative numbers for anything you want < 1392138023 915736 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah that is a nice way < 1392138067 961792 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :actually.. < 1392138069 565731 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: that MIGHT affect some interps. < 1392138075 148028 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1392138075 429775 :ion!ion@heh.fi PRIVMSG #esoteric :`coins < 1392138077 109454 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :inccoin wheatchcoin cabraicoin wiercoin anocoin dellowierdongcoin palcoin cluticoin thersetcoin karmadigecoin gendelliorsquecoin htfcoin publecoin splcoin intfuccencoin clookcoin calcoin ariocoin nigmocoin juncoin < 1392138081 355659 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :depending on the language they are in and how they are implemented < 1392138126 102456 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :why would it have to be numbers? < 1392138131 324781 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :couldn't it be a special entry? < 1392138160 627403 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: backwards compat < 1392138177 795559 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is `coins like `words, but with "coin" at the end? < 1392138180 66343 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`words < 1392138181 359001 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you can't do input with backwards compat, anyway. < 1392138181 360090 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :stu < 1392138187 555429 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: ideally, input would automatically be converted into some kind of useful format, such as your "alphabets" < 1392138271 314682 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1392138289 848077 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: if there were a way to do that, we could compile PLATTS to ResPlicate < 1392138632 594857 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: It's `words with an english-and-esolangs interpolated model, and coin at the end. < 1392138769 223700 :tertu_!~quassel@143.44.70.43 JOIN :#esoteric < 1392138781 174594 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Personally, I think it's impressively good at generating plausible cryptocurrency names, but then again that might be more of a comment on existing cryptocurrency names.) < 1392138822 236113 :tertu!~quassel@143.44.70.43 QUIT :Ping timeout: 260 seconds < 1392139129 225051 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: yeah < 1392139152 203702 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: I like "palcoin". that's probably something endorsed by paypal < 1392139581 678430 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :is there already a language that uses some kind of evolution? < 1392139694 578054 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :all languages evolve! < 1392139700 835254 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :english has evolved a lot < 1392139708 694597 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but then...so has Python < 1392139733 374776 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :as part of the concept < 1392139898 467936 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i have an idea of a metalanguage that produces keywords of the underlying language through some evolutionary rules < 1392140250 74650 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well, stuff like that has certainly been done. for instance the Lymia's BFJoust programs < 1392140276 407952 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :huh? < 1392140389 356778 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :describe your concept < 1392140555 546302 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, i heard about evolutionary game theory an hour ago < 1392140654 964646 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :like you have an instruction that rules for now, but because of some mutations another instruction might evolve and due to given rules might become the main population < 1392140877 363258 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that's not a fully-fledged idea yet :P < 1392140928 864958 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i have more details in mind, but i am on a smartphone right now, so i am too lazy to write that much details < 1392140940 153393 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: do you think ResPairate would be TC with numcopies<=2? < 1392140962 348788 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i may just implement it after this semester is finally over < 1392140965 888770 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quintopia: I think most likely yes, although I don't have a construction in mind < 1392140973 72843 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :myname: that's easy, just define a useful language and a half-useful compiler, but write its specification deliberately incomplete and remove some useful things so people want to add those as extensions, < 1392140989 985388 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :hahaha < 1392140991 239414 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :then variants of the language incompatible with old programs will evolve naturally as people try to fix the language < 1392141004 313974 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :b_jonas: it's true! < 1392141032 637306 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :myname: also, cf. Mascarpoine < 1392141038 23629 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :*Mascarpone < 1392141052 26266 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :? < 1392141062 181222 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1392141095 680871 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: have you seen http://esolangs.org/wiki/Snowflake < 1392141099 384306 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's sort of like that, except automatd < 1392141101 512069 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*automated < 1392141106 770436 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the language definition fixes itself over time < 1392141113 735896 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't have an interp, though < 1392141139 4610 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: I had glanced at it earlier, but didn't understand much of it < 1392141162 23912 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is a problem with my concepts that require a lot of effort to execute on < 1392141189 654596 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(the most extreme example being Feather, which not even I understand) < 1392141189 654792 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :"feather"? < 1392141194 564763 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there's a "sather" language I think < 1392141207 1441 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :http://esolangs.org/wiki/Feather < 1392141234 994248 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wow, has Feather stopped being a #esoteric meme some time in the last year? /me rejoices < 1392141249 819244 :FireFly!~firefly@oftn/member/FireFly QUIT :Excess Flood < 1392141257 388669 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :is it related to sather besides rhiming the name? < 1392141280 718325 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no < 1392141325 647316 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1392141399 743095 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's basically a simple OO language that uses time travel for inheritance, is written entirely in itself (going back infinitely many layers), and is designed to look like Smalltalk except for different reasons < 1392141484 26222 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :time travel.... wait, I have a writeup about that < 1392141491 498169 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(you might have seen it) < 1392141506 257279 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: http://www.math.bme.hu/~ambrus/pu/git-extensions < 1392141524 889029 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think that's even on-topic here < 1392141544 746453 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: yeah, the first paragraph reminds me a lot of Scapegoat < 1392141554 457227 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which I have done like 2 hours of work on in the past year < 1392141662 350924 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the infinite history thing is reminiscent of Feather, though < 1392141677 751944 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, that's why I said time travel reminds me to it < 1392141690 865548 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although the way it's implemented in Feather is, it goes back finitely many levels, then if you try to go past the end of it it retroactively increases the number of levels it used < 1392141695 760125 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(well, besides that I explicitly mention time machine) < 1392141700 856674 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, or would be implemented, if anyone had a clue how to mention Feather < 1392141736 880980 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :right, I specifically say that: "These meta levels spring into existence lazily as you reference them, so if you reference meta^p-history for the first time, then the meta^q-history for all p < q is considered to always have contained a single default meta^p-branch." < 1392141778 151305 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ais523: it's not completely gone from lore tho. for instance... < 1392141783 414266 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :`? ais523 < 1392141786 22419 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Agent “Iä” Smith is an alien with a strange allergy to avian body covering, which he is trying to retroactively prevent from ever evolving. On the 3rd of March, he's lawful good. < 1392141786 638905 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*how to implement Feather < 1392141803 991722 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: Feather isn't quite the same as laziness < 1392141819 486228 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :given that it involves reconstructing the entire gamestate from scratch < 1392141911 754226 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :gah, I'm too incoherent to write meaningful sentences < 1392141916 5135 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I should go sleep < 1392141917 984928 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1392141921 402268 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh :( < 1392142134 705510 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i lold @ lawful good < 1392142449 525217 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungots fall on fungot falls < 1392142449 954919 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: ( that is, levinson went to kish, disappeared, had on your behalf of the commission. at the moment. wheee, shiny.'). the solution is to produce the bonds i.e fnord between the karma and our fnord causeway. the scene uses hare coursing as a metaphor and may be fnord to other military genius, indeed, from country, have the fnord so fnord a series of really coy riddles about it and stop the eval loop, stable or otherwise fail < 1392142487 127967 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungot: have you heard the new album by Levinson and the Commission < 1392142487 428565 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: that is just a value of type " airbus is a big fan of avril....but this song " there < 1392142503 79619 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i'm thinking the non-digit symbol is the best way to add input to ResPlicate. it doesn't matter that it will cause non-compliant interps to break since, a) there's really only one published interp right now and b) if a program needs user input, what it does couldn't be emulated by the current implementation anyway. < 1392142529 458502 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :in which case I think a construction like n ? {n symbols} is the way to go < 1392142535 726767 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :quintopia: well, you could have two versions of the language, one without input and one with input < 1392142569 769445 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :b_jonas: or 90 VERSIONS OF THE LANGUAGE. RIGHT? RIGHT? < 1392142583 711928 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :IS NINETY EVEN ENOUGH? < 1392142597 279158 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :how many versions has python had < 1392142639 295682 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :however, try to make the langauge definition as simple as possible. if it's universal with input just queueing a byte and pushing a single number between 0 and 257, make it do that even if it's harder to program < 1392142660 620013 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :at least java had the class to update their language such that programs are forward-compatible < 1392142661 984892 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and make sure the input thing doesn't make programming easier < 1392142710 544577 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :forget python, how many incompatible version did _ruby_ have? over ten I think < 1392142724 752952 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ruby guys are just not interested in compatibility < 1392142731 588057 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :b_jonas: of course it's universal with (whatever input method you want) because it's universal! < 1392142749 342841 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :they rename methods removing the old name for as feeble reasons as deciding their name isn't perfect < 1392142793 208803 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :quintopia: by universal, I don't mean it should just be turing-complete, but also that it should be able to emulate any bf program < 1392142797 915491 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :theoretically < 1392142847 907354 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :then say BF-complete < 1392142871 435458 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and yes, just enqueueing a byte from input would probably make it BF-complete < 1392142877 905981 :Tritonio!~Thunderbi@cust-208-22.on5.ontelecoms.gr JOIN :#esoteric < 1392142889 341408 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :since the n ? thing could then be done on the second pass < 1392142924 637209 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I can't confirm or deny that, because I really don't understand all this tag system queue language stuff < 1392143047 167180 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :actually < 1392143061 597289 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hmmmmmmmm < 1392143131 550484 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1392143343 854973 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah the current interpreter would interpreter 0 -1 exactly the same as 0 0, which means I could use -1 as the input < 1392143434 662164 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :would the input just add the unicode codepoint to the end or do some encoding? < 1392143786 376684 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :unicode code point? um < 1392143798 835015 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it would be better to input bytes imo < 1392143826 744258 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :inputting unicode code points in this language could be dangerous. < 1392143838 743460 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :hmm, true < 1392143858 976347 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you could also make it input bits, but that might make programming too easy < 1392143866 38666 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :still, it might be worth < 1392143873 429271 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :it would make sense to change the output to bytes, too < 1392143962 908252 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yes that is what i am doing < 1392144490 824367 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1392145308 69950 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Ping timeout: 260 seconds < 1392145318 173781 :tertu_!~quassel@143.44.70.43 QUIT :Ping timeout: 260 seconds < 1392146730 11658 :FireFly!~firefly@oftn/member/FireFly QUIT :Ping timeout: 272 seconds < 1392146746 671693 :Guest83987!dlopen@libdl.so QUIT :Ping timeout: 265 seconds < 1392146956 295257 :Guest38505!dlopen@libdl.so JOIN :#esoteric < 1392147054 103325 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 260 seconds < 1392147087 685943 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1392147630 829288 :Guest38505!dlopen@libdl.so QUIT :Remote host closed the connection < 1392147743 983359 :samebchase!~samuel@codesurfers.net QUIT :Ping timeout: 260 seconds < 1392147903 16267 :samebchase!~samuel@codesurfers.net JOIN :#esoteric < 1392148068 961030 :samebchase!~samuel@codesurfers.net QUIT :Remote host closed the connection < 1392148088 829155 :samebchase!~samuel@71.19.145.59 JOIN :#esoteric < 1392148445 320095 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com QUIT :Quit: Leaving < 1392148564 196486 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com JOIN :#esoteric < 1392149985 970399 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :this place is sad with no oerjan and neither alex < 1392150035 975069 :Gregor!dlopen@libdl.so JOIN :#esoteric < 1392150148 194297 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@bot < 1392150148 236456 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric ::) < 1392150157 919779 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :all fungot all the time < 1392150158 263598 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc:, so i'd be happy to help an fnord archive), and, burning, and no clear account. in that second one is horizontally displaced by 1 pixel is sacred. just me, or i: yet, you rogue! < 1392150163 996390 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :quintopia: see, lambdabot is happy ;) < 1392151322 593389 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: is every pixel sacred, or just that one pixel? < 1392151322 996070 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: no, it's not. it's more complex than that. read the code.) good stuff like " thisfunction2 thislineofcode")) but have to seek. hee. i wan to faster finish the game could < 1392151367 494207 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: sounds tricky < 1392151367 992310 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: that is just a value of type " airbus is a big fan of avril....but this song " there < 1392151508 23468 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1392152313 272648 :evalj!~jeval@BC064793.dsl.pool.telekom.hu JOIN :#esoteric < 1392152772 266452 :w00tles!~w00tles@87-104-164-168-dynamic-customer.profibernet.dk QUIT :Quit: quit < 1392153823 197497 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :error: failed to find an implementation of trait std::iter::FromIterator for [type error] < 1392153834 710410 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I want a language where you can define instances for type errors! < 1392154092 122531 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i thought that was usual in languages with object-oriented error shite < 1392154150 257081 :Tritonio!~Thunderbi@cust-208-22.on5.ontelecoms.gr QUIT :Ping timeout: 248 seconds < 1392155069 9018 :JZTech101!~JZTech101@botters/jztech101 JOIN :#esoteric < 1392155299 187043 :ion!ion@heh.fi PRIVMSG #esoteric :https://twitter.com/puffnfresh/status/433348860413353984 < 1392155399 588382 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I saw somebody claim that Satoshi solved the Byzantine Generals' problem... < 1392155767 835996 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"It’s like assembling Lego" it's funny how this exact thing has been said about every programming system since at least the dawn of OOP < 1392155966 860569 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :"$2.6 million is a pretty hefty seed round. But given this startup’s provenance, it makes perfect sense." omg and the picture < 1392155990 462394 :Guest65497!~elliott@li278-81.members.linode.com PRIVMSG #esoteric :why is there a startup for a package manager < 1392156044 583725 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Guest65497: it's because "Investors are churning around developer tools these days as software makers gain more and more control and mindshare in an increasingly crowded universe of data and devices" < 1392156056 307260 :Guest65497!~elliott@li278-81.members.linode.com PRIVMSG #esoteric :ok < 1392156061 244637 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :this totally makes sense and is not a nonsense sentence at all < 1392156844 231534 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1392157294 848223 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Fun project: prove Haskell's lens library, on its own, without any functions not exported from Control.Lens or other modules in the library, is turing complete < 1392157355 239355 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : ais523: do you think ResPairate would be TC with numcopies<=2? <-- i'd think it would, too. e.g. the self-preservation prefix has that property, so there's no problem keeping things stable in one part of the queue, which means you can use as many cycles as you want to handle a single tag, which means you can multiply the alphabet in several doubling steps to get as many as you want. < 1392157388 659207 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :all the offset stuff is just deleting to where you want to start anew, which is just 0 copies. < 1392157458 328082 :evalj!~jeval@BC064793.dsl.pool.telekom.hu QUIT :Remote host closed the connection < 1392157601 126546 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: well someone did fibonacci already, so it cannot be too hard... < 1392157615 83556 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, the fibonacci was me < 1392157630 739469 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1392157631 336081 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i vaguely thought so, but i couldn't find your post again < 1392157659 219371 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you should be eminently qualified for the project, then. < 1392157685 348648 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I defer to your experience in proving stupidly constrained systems turing complete < 1392157697 550557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1392157808 514939 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I've got some ideas, though < 1392158018 974331 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I want to try http://mirrors.talideon.com/articles/qbal/ < 1392158047 228106 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pastelogs taneb.*fibonacci < 1392158049 391167 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/pastelogs: line 2: cd: /var/irclogs/_esoteric: No such file or directory \ grep: ????-??-??.txt: No such file or directory \ http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.16743 < 1392158062 915490 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just for the despair, i did this. < 1392158082 119994 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It was... the week before last < 1392158117 350735 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Maybe Thursday < 1392158177 615197 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Definitely a weekday < 1392158210 924074 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :"sumOf ignored" should be a good search tearm < 1392158340 259908 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it was not any time between 27-30 january. unless glogbot was down. < 1392158352 189431 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*-31 < 1392158361 748872 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Ah, I was triple-wrong < 1392158366 978637 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It was the 2nd of February < 1392158413 45657 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :http://codu.org/logs/log/_esoteric/2014-02-02#213420Taneb < 1392158518 232734 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Does Control.Lens export curried though? < 1392158529 751279 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> view curried (view simple) (sumOf ignored (&)) (productOf ignored (&)) ^.. over mapped (iterated ((over mapped (view flipped (mapped %~) (sumOf both ^. curried)) (over mapped (mapped %~) (view simple ^. curried))) ^. flipped & over mapped (perform (acts&mapped%~acts)) & review curried)) _1 < 1392158531 770395 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,... < 1392158536 692081 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t curried < 1392158537 500426 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Functor f1, Profunctor p) => p (a -> b -> c) (f1 (d -> e -> f)) -> p ((a, b) -> c) (f1 ((d, e) -> f)) < 1392158541 333612 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Ah < 1392158549 627641 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I was confusing it with curry < 1392158558 975422 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t curried :: Iso' ((a, b) -> c) (a -> b -> c) < 1392158559 903246 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Functor f, Profunctor p) => p (a -> b -> c) (f (a -> b -> c)) -> p ((a, b) -> c) (f ((a, b) -> c)) < 1392158576 732406 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You could possibly make use of & to reduce the brackets < 1392158629 920674 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :FreeFull, you're welcome to give it a go < 1392158661 414561 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the obvious thing is to extract ordinary functions like (.) const etc. somehow < 1392158676 108817 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t over mapped `asTypeOf` (.) < 1392158677 165546 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(b -> c) -> (a -> b) -> a -> c < 1392158692 612536 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t view simple `asTypeOf` id < 1392158693 609004 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :a -> a < 1392158693 610360 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is asTypeOf exported by lens < 1392158708 221255 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it's certainly not defined there < 1392158716 817314 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :We don't need it < 1392158720 158763 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t over mapped < 1392158721 248901 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Functor f => (a -> b) -> f a -> f b < 1392158721 959363 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right < 1392158732 287488 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> over mapped (+1) (*3) 4 < 1392158734 305964 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 13 < 1392158746 60918 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Taneb: To be honest, I don't want to < 1392158762 116042 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t view (view simple) `asTypeOf` const < 1392158763 187044 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: a0 = b0 -> a0 < 1392158763 188470 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : When using functional dependencies to combine < 1392158763 188626 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : MonadReader r ((->) r), < 1392158765 693919 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1392158778 920695 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t mapped < 1392158779 698977 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Functor f, Settable f1) => (a -> f1 b) -> f a -> f1 (f b) < 1392158784 335647 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Handy < 1392158818 34557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t view < 1392158818 869581 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :MonadReader s m => Getting a s a -> m a < 1392158844 572119 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t view id `asTypeOf` const < 1392158845 268988 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: a0 = b0 -> a0 < 1392158845 375477 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : When using functional dependencies to combine < 1392158845 376396 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : MonadReader r ((->) r), < 1392158856 114191 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :view id == id < 1392158857 915421 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t view id < 1392158858 989849 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :MonadReader s m => m s < 1392158867 855251 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm ok < 1392158887 213408 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t over ixed < 1392158888 53567 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Not in scope: `ixed' < 1392158897 340538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right it's return which is const, not ask < 1392158907 799239 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t over mapped over ixed < 1392158908 785728 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Not in scope: `ixed' < 1392158910 438507 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t over mapped over ix < 1392158911 703694 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Indexable (Index t) p, Ixed Mutator t) => Index t -> p (IxValue t) (IxValue t) -> t -> t < 1392158919 523074 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Nope < 1392158930 74077 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t over return < 1392158930 851409 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Anyway, I'm off now < 1392158930 902428 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type `p0 a0' with `Mutator' < 1392158930 903584 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: Setting p0 s0 (Mutator b0) a0 b0 < 1392158930 903735 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: p0 a0 (Mutator b0) -> s0 -> p0 a0 (Mutator b0) < 1392158946 935292 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :It's handy how id is the identity lens < 1392159122 899702 :ion!ion@heh.fi QUIT :Read error: Operation timed out < 1392159125 572062 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t view (over mapped curried _1) < 1392159126 533636 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(MonadReader ((a1, b) -> c) m, Field1 (a1 -> b -> c) (a1 -> b -> c) a a) => m a < 1392159136 598647 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t view (over mapped curried _1) `asTypeOf` const < 1392159137 460087 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Field1 (a -> b -> c) (a -> b -> c) (b1 -> (a, b) -> c) (b1 -> (a, b) -> c) => ((a, b) -> c) -> b1 -> (a, b) -> c < 1392159146 754001 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm nope. < 1392159169 853545 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t view curried _1 `asTypeOf` const < 1392159170 715719 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (Indexable Int (,)) arising from a use of `_1' < 1392159170 716799 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (Functor f, Field1 s t (s -> f t) b) < 1392159170 716951 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : bound by the inferred type of < 1392159179 965911 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t review curried _1 `asTypeOf` const < 1392159180 834213 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: < 1392159180 836911 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : b0 = p0 a0 (b1 -> b0) < 1392159180 837065 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : When using functional dependencies to combine < 1392159184 654441 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bah < 1392159191 150827 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not thinking clearly enough. < 1392159200 371721 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1392159216 723428 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t view curried (view _1) < 1392159217 461266 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :a -> b -> a < 1392159221 451644 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there you go < 1392159256 619877 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::t curry fst < 1392159257 635965 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :c -> b -> c < 1392159265 92009 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Anyone know of any Q-Bal interpreters? < 1392159448 137557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t set both < 1392159449 312141 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :b -> (a, a) -> (b, b) < 1392159478 306002 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm pesky unnecessary argument < 1392159482 512349 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t set each < 1392159484 77755 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Each Mutator s t a b => b -> s -> t < 1392159520 356111 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: Technically ('a','a') is fully syntax < 1392159521 679347 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> set both 1 undefined < 1392159524 89671 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (1,1) < 1392159535 309725 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :undefined isn't < 1392159547 187960 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: i don't think Taneb wants constructors from outside lens < 1392159561 704831 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :even if they're sugared < 1392159579 889509 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :How about prisms? < 1392159587 864104 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Is there a tuple prism? < 1392159625 783370 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :prisms are for data types with more than one constructor, mainly... < 1392159654 711513 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well, "structural" prisms are < 1392159682 831982 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but of course you can have a prism for anything that you can express as a sum < 1392159703 336038 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Prism' s a = exists r. s ~ (Either r a) < 1392159737 156735 :Speed`!~Speed@192.241.167.234 JOIN :#esoteric < 1392159786 914928 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Is the Left value useful for anything other than the constructor itself? < 1392160001 802099 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t both < 1392160002 888199 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Applicative f => (a -> f b) -> (a, a) -> f (b, b) < 1392160017 583685 :ion!ion@heh.fi JOIN :#esoteric < 1392160130 579632 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t joined < 1392160131 606349 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: `joined' < 1392160131 704061 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant `join' (imported from Control.Monad.Writer) < 1392160138 812482 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :worth a try :P < 1392160317 482820 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Seems a Q-BAL interpreter doesn't exist ): < 1392160730 675788 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1392160818 686638 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : this place is sad with no oerjan and neither alex <-- there are two alex? < 1392160898 671532 :nooodl!~nooodl@33.171-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1392160994 599849 :nooodl!~nooodl@33.171-241-81.adsl-dyn.isp.belgacom.be QUIT :Client Quit < 1392161188 607026 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1392161771 641170 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1392162140 668192 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1392162465 248703 :tertu!~quassel@143.44.70.43 JOIN :#esoteric < 1392162579 285865 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 245 seconds < 1392162762 72046 :tertu!~quassel@143.44.70.43 QUIT :Ping timeout: 260 seconds