< 1430179218 798430 :bb010g!uid21050@gateway/web/irccloud.com/x-tcbfcomkcegquyfs QUIT :Quit: Connection closed for inactivity < 1430179445 92223 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1430180490 649642 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :;5uv-o < 1430180492 337088 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :oops < 1430180688 656435 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you may have to change your password < 1430181676 283126 :spatterworthy!621cff0d@gateway/web/freenode/ip.98.28.255.13 PRIVMSG #esoteric :help < 1430181684 3966 :spatterworthy!621cff0d@gateway/web/freenode/ip.98.28.255.13 PRIVMSG #esoteric :damn doesn't exist < 1430183000 97113 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`help < 1430183000 312000 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ < 1430183234 929316 :bb010g!uid21050@gateway/web/irccloud.com/x-mvljgcadrmtpmybn JOIN :#esoteric < 1430183799 512684 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 265 seconds < 1430183974 686876 :hamrove!~hamrove@96-8-209-215.block0.gvtc.com JOIN :#esoteric < 1430185198 623711 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net NICK :MDream < 1430186410 893811 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1430188832 861864 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 245 seconds < 1430190054 673965 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1430191137 813313 :spatterworthy!621cff0d@gateway/web/freenode/ip.98.28.255.13 QUIT :Ping timeout: 246 seconds < 1430191619 787730 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1430191878 252117 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1430192609 585772 :hamrove!~hamrove@96-8-209-215.block0.gvtc.com QUIT :Quit: hamrove < 1430195617 981788 :variable!~variable@freebsd/developer/variable NICK :trout < 1430196498 483261 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 264 seconds < 1430198151 276491 :zzo38!~zzo38@24-207-56-9.eastlink.ca JOIN :#esoteric < 1430198430 913735 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Another way to do color codes in cells is to use the PC memory format, so there is a color code in each cell < 1430199025 935370 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :color codes for text or graphics? < 1430199197 603669 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Color codes for text is what I meant < 1430199254 828796 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Ah < 1430199296 772383 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Yeah ncurses does that IIRC, you | the color into the character you write < 1430199321 691573 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :whcih implies the higher bits are used for color < 1430199446 806796 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I don't mean ncurses though, I mean poking the data directly into the memory; such a thing is only for PC though < 1430199471 180865 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :PC color codes are also different numbers than ANSI color codes. < 1430199532 848732 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :yah, i would think so, curses was invented on some mainframe architecture, i think. < 1430199633 885271 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :also I remember on windows you can instead use conio.h < 1430199682 581767 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1430200190 144937 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :How would you make a transform from one program to a program which on alternating steps runs the original program and tries to figure out a proof that the original program does not halt? Now is it the new kind of halting problem? (Well, not quite the new kind) < 1430200356 639320 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I suppose, you could simply chack whether the state of the program is one that it was in before? < 1430200392 733853 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :(wait, that only works if the memory doesn't grow) < 1430200400 355630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell int-e Ah, finally the cake is working. I was worried... <-- wait this means you shouted "cake!" *without* having read the latest comic tdnh < 1430200400 659384 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric :Consider it noted. < 1430200416 461071 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Yes, that is one case, at least, but there are other cases too < 1430200435 549380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell int-e wait scratch that i'm getting confused about the age of logs i'm reading < 1430200435 816543 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric :Consider it noted. < 1430200484 439966 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's what happens when i don't log off before going to bed < 1430200531 646421 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :oerjan: well that's better than me. without school or work I was recently corrected about the day of the week from thinking itwas friday to monday < 1430200548 274609 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1430200595 8862 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :The day of the week is pretty arbitrary isn't it < 1430200618 310104 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah. but very traditional. < 1430200648 194453 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :we've probably not skipped a single one since the ancient jews. < 1430200696 309702 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although the french tried. < 1430200716 712630 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :suppose the 7-day cycle had existed since the first humans < 1430200721 943908 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :The chinese apparently had a 10 day week (reading wiipedia) < 1430200731 593785 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :s/ii/iki/ < 1430200742 189882 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: WELL OF COURSE DON'T YOU READ THE BIBLE < 1430200742 386992 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :how few humans would there have to be to have a decent chance of all of them forgetting what day of the week it was simultaneously, amd being unable to reconstruct? < 1430200772 780985 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: that doesn't imply that the seven days cycled, did it? < 1430200774 746550 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :one too big party < 1430200788 140793 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: hm < 1430200789 127916 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :if they were programmers, 100 < 1430200790 85075 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think the Romans had a 9-day cycle, anyway < 1430200795 818048 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :nones < 1430200798 873923 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :and ides < 1430200801 916848 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i vaguely thought it was 8... < 1430200808 510644 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nones and ides happened once a monht < 1430200812 259176 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and calends, too < 1430200828 759084 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so each month was separated into three pieces, each of which was numbered separately < 1430200834 738078 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess it seemed like a good idea at the time? < 1430200866 668681 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: your transform sounds sort of trivial, once you've selected a formal proof system < 1430200964 764914 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I think I would prefer a 9 day system. then we can have 2 days work, one day off < 1430200984 897697 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :don't some jobs have a 2 on, 1 off, 2 on, 2 off system? < 1430200996 614399 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that seems even better < 1430201000 42448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: except some parts of the year didn't have months originally < 1430201015 268607 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :oerjan: What kind of formal proof system is it though? < 1430201019 137873 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I think they did in the Roman calendar < 1430201022 927483 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps not in the early days, thoguh < 1430201033 306260 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :right, that would help sync with the moon < 1430201048 346047 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: i assume gödel implies you cannot really select a "best" one. < 1430201067 336241 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so you could go with ZFC, or homotopic type theory, or whatever. < 1430201083 149164 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i hear the latter is all the rage) < 1430201147 24761 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: well i'm talking about the roman calendar, from when someone here(?) pointed at a good site explaining its evolution. < 1430201152 186228 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :OK I looked it up a few information in Wikipedia < 1430201262 453309 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Is it ever possible that applying such a transformation twice makes a difference (if the transformation method does something unusual)? < 1430201270 797426 :zadock!~zadock@muscalu.tuiasi.ro JOIN :#esoteric < 1430201302 602056 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lots of things are possible < 1430201348 694404 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: well your transform never makes the program _less_ halting. < 1430201360 616693 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :oerjan: I do see that at least yes < 1430201442 399142 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't think that, if your proof system is correct, it's possible to prove that you can prove something, but not prove it < 1430201444 976253 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps I'm wrong though < 1430201464 981422 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually I think this is a property of proof systems that has a name and gets discussed by logicians < 1430201492 841913 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps I should go find my copy of Forever Undecided, it has a lot of discussion about that sort of thing < 1430201497 307834 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh bloody tonsils or whatever it hurts when i swallow < 1430201504 414170 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I thought that too but also am unsure, even if a proof system can make up a proof system somehow < 1430201554 466757 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I don't think that, if your proof system is correct, it's possible to prove that you can prove something, but not prove it <-- i refuse to believe you're not garbling whatever what was supposed to mean. < 1430201575 989793 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1430201580 915110 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :missed a negation < 1430201589 344552 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION fails at refusal
< 1430201606 609323 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: in fact i think there's such a theorem but i cannot remember who it's named after < 1430201623 526636 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :from what I remember reading about this stuff < 1430201637 504933 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's a property a system can have, which is useful in some proofs, and which is implied via various other plausible groups of properties < 1430201655 73452 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so the theorem you're vaguely remembering is probably along the lines of "if a proof system has properties X, Y, and Z, it has that one too" < 1430201687 861168 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm löb's theorem is sort of the wrong way < 1430201869 44886 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Can a formal system make up its own new kind of formal system by adding "this statement cannot prove itself" as a new axiom? < 1430201895 222193 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :dunno < 1430201917 994974 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: well, if you take Gödel's counterexample "this statement is not provable" < 1430201937 989449 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you know that statement is not provable in a correct system (if it were, it would be false) < 1430201959 102204 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and its negation is not provable either (its negation is "the negation of this statement is provable", and if it were, you'd again be proving a false statement) < 1430201970 155437 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :thus you can add either it or its negation as an axiom < 1430201974 379318 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and still have an internally consistent system < 1430201976 933335 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Yes, I read about that too < 1430201991 862265 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :IMO it wouldn't be a very useful axiom though < 1430202207 21497 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : http://blog.fogus.me/2015/04/27/six-works-of-computer-science-fiction/ <-- way for a link to make me feel cheated the second i open it tdnh < 1430205860 82204 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Read error: Connection reset by peer < 1430206658 828122 :llue!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said < 1430206668 178492 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1430207842 925954 :jameseb!~jameseb_@runciman.hacksoc.org QUIT :Ping timeout: 276 seconds < 1430207859 176046 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1430207963 444216 :jameseb!~jameseb_@runciman.hacksoc.org JOIN :#esoteric < 1430208716 77860 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Hmm ed's ! command doesn't appear to allow cd to work properly < 1430208742 190720 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's because cd is a shell builtin < 1430208755 605747 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :WOT? < 1430208755 906666 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you're changing the current directory of the spell you spawned, not the editor that spawned it < 1430208774 740570 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07CalScript14]]4 M10 02http://esolangs.org/w/index.php?diff=42773&oldid=42764 5* 03Vriskanon 5* (+100) 10Added tokens and memory info. < 1430208790 27665 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I have shown #esoteric /bin/cd before, I doubt it'd work with ed directly < 1430208795 901340 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but you could probably tweak it to do so < 1430208812 64642 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(it works by attaching a debugger to the parent process and forcibly getting that process to call the change-directory syscall itself) < 1430208845 808963 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Hmm... Maybe I should download the source code for ed and add filsytem stuff to it < 1430208892 145938 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Ed is written in C, almost certainly, so it shouldn't be hard < 1430209410 195953 :idris-bot!~ircslave@dslb-092-072-191-081.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 250 seconds < 1430209431 342678 :mroman!~roman2@fmnssun.ibone.ch QUIT :Ping timeout: 256 seconds < 1430209445 166383 :mroman!~roman2@fmnssun.ibone.ch JOIN :#esoteric < 1430209457 544248 :idris-bot!~ircslave@dslb-092-072-191-081.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1430209459 439710 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :orin: that's called ex hth < 1430209475 568351 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :does ex have a cd < 1430209487 902925 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, at least the vim based one < 1430209514 315243 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ex is simply a different mode of running vim (you can switch from inside) < 1430209521 508224 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: morning. < 1430209521 673825 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman: what's this " it doesn't compile < 1430209524 126946 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :oh it's chdir < 1430209548 92041 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: That's a start of a string. < 1430209548 328730 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman: i don't think anyone but me's ever used intercal quotes to parens when there are fnord < 1430209554 653912 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vim help says cd < 1430209563 716834 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: Ow. " in intercal? I don't know intercal. < 1430209563 975922 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :mroman: ( define subset? ' ( a) ab acdafg ( b) think long and hard about the concept of code being outstanding... right? < 1430209572 332792 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :chdir means the same thing < 1430209578 545935 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman: in INTERCAL, parens are ' to ' or " to " < 1430209602 420124 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or well, INTERCAL '' and "" do the same thing as parens in most languages < 1430209610 741605 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :with the benefit of occasionally being ambiguous in weird ways < 1430209661 334670 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :ex is not full backward compatible to ed < 1430209686 852583 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :specifically ex uses q! while ed uses Q < 1430209758 173663 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1430209794 974329 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1430210099 485621 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I think strings should be 5"hello < 1430210114 768951 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :and/or [hello] < 1430210171 94052 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Ideally it would support hollerith for auto-generated code, and matching delimiters for humnas < 1430210200 301651 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :hollerith means the generator doesn't have to translate escapes < 1430210991 296263 :lleu!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said < 1430211988 571417 :idris-bot!~ircslave@dslb-092-072-191-081.092.072.pools.vodafone-ip.de QUIT :Quit: Terminated < 1430212005 178374 :idris-bot!~ircslave@dslb-092-072-191-081.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1430212185 894863 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Holy crap. The ed source contains the following line: if( errno == ERANGE || li > INT_MAX || li < INT_MIN ) < 1430212188 893084 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric : { < 1430212191 393162 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric : set_error_msg( "Numerical result out of range" ); < 1430212216 949856 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Which assumes that li, a long, has a lager range than an int < 1430212234 644051 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :which it doesn't, on most 32 bit systems < 1430212295 733464 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that would have made sense in the days of 16-bit systems < 1430212301 706948 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is where I learned to program < 1430212312 149048 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or, well, it was Windows 3.1 code but running on Windows 95 < 1430212322 451396 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :yeah, that makes sense as the origin < 1430212323 807889 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, where I learned to program C and C++, I should say < 1430212362 87161 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I learned BASIC and Pascal earlier than that (and eventually got a computer with BASIC in the ROM of my own; it was obsolete at the time and its owners were trying to get rid of it, so it only cost £20 IIRC) < 1430212387 439210 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :
ACTION never actually learnt to program
< 1430212412 847714 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: can you program, though? < 1430212424 883544 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, I can pretend to program very well < 1430212453 552653 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Is long a 64 bit integer on 64 bit systems? < 1430212461 662396 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :orin: yes on Linux, no on Windows, typically < 1430212468 244341 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Ah. < 1430212484 578551 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :More seriously, I sort of just picked stuff up, I did learn Haskell at some point, and I get lost very easily in any program of any appreciable size < 1430212491 586700 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is apparently because on Linux 32-bit programs, "long is pointer-sized" is a more common assumption than "long is 32 bits"; on Windows, it's the other way round < 1430212504 286579 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, Haskell, right < 1430212515 89653 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :given how little it has in common with anything else < 1430212527 435102 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can imagine knowing that quite well and still having not that much contact with the rest of the programming world < 1430212535 199753 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I had a little Python and JavaScript before I started Haskell, but not much at all < 1430212540 311652 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(although, my day job is in OCaml, so) < 1430212547 929050 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually I'm not even sure why I wrote this thing in OCaml < 1430212550 469993 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I can program in imperative languages. I can write toy programs in functional languagaes < 1430212561 26771 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can't remember if I was asked to, or if I chose it, and if I chose it, why < 1430212585 941347 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's not like I was good at OCaml at the time (I'm much better at it now, after working in it for 3-4 years) < 1430212605 250191 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I once wrote a program inFortran 77 for no good reason < 1430212627 121720 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :other than i was reading a book that had examples in fortran < 1430212647 372359 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I once wrote a program in Prolog with no way to run it < 1430212651 968859 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no idea if I still have it or if it would have worked < 1430212656 751814 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that was based entirely on reading manuals < 1430212664 884159 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Really, I think I'm a maths student who likes computer science more than anything else < 1430212678 693575 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(strangely enough, I remembered enough Prolog from back then to actually write in it once I had an impl) < 1430212702 348399 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I had a course in prolog where I never actually ran any prolog programs, just wrote and analyzed them < 1430212734 782235 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :to be fair, actually running Prolog programs doesn't give much insight into what they do or whether it's working < 1430212767 140553 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think my uni course will take me about as close to Eodermdrome as to Prolog :/ < 1430212793 963625 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1430212818 44438 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the amazing thing about Prolog is that I don't think there's another language like it (apart from uncomputable vaporware esolangs) < 1430212846 535060 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I have the working name "Proud" for a language which is Prolog minus the arbitrary restrictions needed to make it computable, and have no idea why I chose that name any more) < 1430212862 736009 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1430212867 732967 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :why is Perl called perl? < 1430212886 796135 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I don't know why anything is called anything < 1430212887 377348 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, "PROlog UnDecidable"? < 1430212896 672948 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :orin: I know that one < 1430212907 897837 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Larry Wall read through all the three- and four-letter words in the dictionary < 1430212912 286791 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :didn't find any he liked < 1430212925 10347 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and then went through the five-letter words until he finally found a name he thought was acceptable < 1430212932 10466 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then he discovered it was already taken, so had to misspell it < 1430213029 401083 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :orin: Perfect emacs rewriting language < 1430213031 187795 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :obviously. < 1430213033 489858 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`? perl < 1430213035 638470 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :perl? ¯\(°​_o)/¯ < 1430213045 486510 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`learn Perl is the Perfect Emacs Rewriting Language < 1430213052 196288 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'perl': Perl is the Perfect Emacs Rewriting Language < 1430213085 235027 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Anyway if your professor says, you can write the program in any language so long as it works, that is an excuse to use Fortran or PL/I or any other ancient and forbidden tongue. < 1430213119 998426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :orin: they said that in my Systems and Control GCSE < 1430213125 397502 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and I had a huge urge to write it in assembler < 1430213146 183019 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but given that that was an exam that I wanted to do really well at and I had a feeling I shouldn't annoy the examiner, I wrote it in pseudo-BASIC instead < 1430213197 658852 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but without -ffree-form < 1430213202 224845 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :free-form is for whimps. < 1430213210 551786 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Yeah that's what I did < 1430213234 654919 :ais523!~ais523@unaffiliated/ais523 PART #esoteric :" fizzie: it makes demons fly out of my window, washing the windows api" < 1430213238 435924 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1430213240 625385 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I used the line numbers and the weird three number goto and everythinmg < 1430213248 762289 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what does -ffree-form do? < 1430213275 514248 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(also, I did do well at that exam, I got a letter back from the exam board saying I had one of the top 5 marks in the country on that exam) < 1430213291 226440 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(then the school stopped teaching the subject altogether a few years later) < 1430213309 733769 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :it means you don't have to put the line numbers aon particular columns and begin the statement at charcter number 7 and put a C in character 1 for commnets < 1430213365 976495 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, I was assuming BASIC, not Fortran < 1430213385 444901 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually this gives me an evil idea < 1430213390 598372 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fixed-form BASIC < 1430213409 582093 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :line numbers in particular columns, REM has to be in column 1, etc. < 1430213443 726299 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think REM in column 1 is backward compatible < 1430213463 14297 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unless you're satisfied with 9 comment lines < 1430213492 899205 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait is this 0 or 1 indexing < 1430213527 146662 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait you mean REM doesn't get a line number < 1430213542 865925 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION learned BASIC too long ago
< 1430213549 56169 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I was wondering about that myself < 1430213553 497620 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can see a few potential solutions < 1430213563 325645 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one is to use fancy Unicode line numbers that let you fit larger numberes into one column < 1430213574 737995 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess, failing that, you could put the number at the end of the previous line < 1430213659 272902 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :What if a lanuage used Roman line numbers < 1430213678 279336 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm surprised that hasn't been done yet < 1430213682 77701 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if it hasn't < 1430213688 673523 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can believe it happening in something INTERCAL-related < 1430213700 88600 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I. WRITE HELLO WORLD < 1430213709 583304 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :II. END < 1430213725 159759 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :meanwhile, I'm reading a paper on how to do a FizzBuzz in Haskell without checking /anything/ twice, O(n) in program size in the number of "fizz"/"buzz" keywords < 1430213727 591003 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, I remember < 1430213733 351485 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's QVICKBasic < 1430213740 135421 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :from the ICFP contest a few years ago < 1430213743 628775 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you haven't seen that, you should < 1430213750 202379 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it is one of the most amazing esoprogramming projects ever < 1430213757 864839 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(not QVICKBasic, the contest as a whole) < 1430213792 965559 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :orin: http://boundvariable.org/task.shtml < 1430213795 990798 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ais523: show me that paper < 1430213821 133238 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :myname: https://themonadreader.files.wordpress.com/2014/04/fizzbuzz.pdf < 1430213821 867767 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i don't quite get where the problem is < 1430213831 793398 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this doesn't look very submitted, as papers go < 1430213834 592120 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it's in the form of a paper < 1430213842 74538 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :at least every third number is a fizz < 1430213865 139138 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :number of fizz is in O(numbers) < 1430213881 972474 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :myname: no < 1430213889 625890 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :huh? < 1430213894 977062 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :as in, if you add more pairs than just (3, "fizz"), (5, "buzz") < 1430213904 839476 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :say you add in more primes and more humorous noises < 1430213916 261999 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the size of your program needs to be O(n) in that < 1430213927 270889 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, the reason I mentioned this is that it reminded me of yacc < 1430213937 533167 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and now I'm trying to figure out if a yacc fizzbuzz is even a meaningful problem < 1430214027 275901 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, this thing has just two references; one to Dijkstra, the other to Wikipedia < 1430214179 772289 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Why not just do struct {char*s,int i} noises[]={{"fizz",3},{"buzz",5}}; < 1430214199 163537 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and then write an interpreter? < 1430214203 776623 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :yeah < 1430214213 906558 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you may still end up checking something twice < 1430214225 434803 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :what? < 1430214238 261149 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I don't think so... < 1430214276 784805 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :depends on how your interp works < 1430214285 559524 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Is 'capital punishment' == 'death sentence'? < 1430214289 681353 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think it might work if you have an accumulator variable < 1430214295 839168 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman: pretty much, they're used in different contexts < 1430214302 959627 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :yeah. < 1430214315 744166 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"capital punishment" = "this countries' laws allow for execution of people committing certain crimes" < 1430214325 831240 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"death sentence" = "a ruling that a specific person should be executed" < 1430214331 110844 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I see. < 1430214338 45574 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but they're close enough in meaning for people to use them interchangeably < 1430214356 790439 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Susan-Anne White has quite a manifesto. < 1430214405 126186 :zadock!~zadock@muscalu.tuiasi.ro QUIT :Quit: Leaving < 1430214462 193258 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :for(i=0;i http://www.perlmonks.com/?node_id=863110 < 1430215851 802483 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that algorithm there is actually incredibly conventional, it basically starts with two numbers, adds them bitwise to produce a value and a carry, then uses the value and shifted carry as inputs to the next round < 1430215856 1024 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and repeats until there are no carries left < 1430215862 696779 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the violin code is a little more unconventional < 1430215888 914416 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :though maybe a better analog would be http://www.perlmonks.com/?node_id=989716 which does implement useful operation (addition) from inconvenient ones (indexing and amending bits in the Zeckendorf representation) < 1430215905 313915 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I see < 1430215943 844396 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : `carry` = (`a` bitwise-OR (`x` bitwise-AND `carry`)) leftshifted 1 < 1430215949 695752 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(zzo38 has implemented even more useful stuff in zeckendorf) < 1430215957 291754 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`a` and `x` are the and and xor of the original numbers < 1430215959 460267 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: a`: not found < 1430215964 90841 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :based on that, we then define the carry in terms of itself < 1430216012 554393 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah < 1430216027 77490 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and it's only about 16 steps to stabilize < 1430216038 597456 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :not, say, 65536 steps which some formulas could do < 1430216048 591800 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: oh, you don't understand < 1430216053 59086 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's not an iterative algorithm < 1430216054 559068 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's a constraint < 1430216062 141554 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :violin has to use a SAT solver to solve it < 1430216067 479955 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh < 1430216067 946640 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is why it's so slow < 1430216071 584508 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :whoa < 1430216077 330811 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :a sat solver? < 1430216083 136206 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that's even scarier < 1430216100 551486 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Read error: Connection reset by peer < 1430216115 906234 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :INTERCAL expression syntax is now NP-complete, you can write arbitrary boolean satisfaction problems in it < 1430216129 19030 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1430216131 693106 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what < 1430216137 371877 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :how does it achieve that? < 1430216186 524550 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :basically you write them on the left of the arrow < 1430216207 449466 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm < 1430216209 850406 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :all compilers agree that it's legal to select 16 bits from a 32-bit number, then mingle that with something < 1430216230 829910 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, all compilers agree that it's illegal to selec 17 or more bits from a 32-bit number, producing a value greater than 65535, then mingle that with something < 1430216230 995842 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and it can contain indexing on the left and right hand side of the arrow? < 1430216251 765395 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :how does it even determine which variables to modify? < 1430216258 367075 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(there's some grey area if you select 17 or more bits but the value is less than 65536 bits, but you can easily avoid that case) < 1430216265 515074 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and, ugh, I didn't think of array indexing on the left of the arrow < 1430216305 93978 :MauBot!~maubot@perduta.net JOIN :#esoteric < 1430216350 726837 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :like, if you say DO.1~.2<-.3 how does it know whether to modify .1 or .2 ? < 1430216397 387930 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, it modifies everything mentioned to the left of the arrow < 1430216400 205000 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :including the constants, in some mpls < 1430216404 196239 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*impls < 1430216406 858207 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :uh < 1430216408 332302 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although rather predictably in most < 1430216410 571561 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok < 1430216421 37292 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :violin will find each possible solution with nonzero probability < 1430216422 876033 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I have been considering the "some formula which cycles through 2^n possible values in an arbitrary order" thing, but didn't come up with a solution <-- if you make that 2^n-1, it's what i did for the unlambda interpreter gc < 1430216438 89513 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and is there a way to force it to keep some values constant when searching for a solution? < 1430216440 240708 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: oh good < 1430216450 761657 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also the unlambda interp has a gc? or was it just refcounting? < 1430216470 781834 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: currently no, for violin integration I'm planning a "don't modify constants unless you have to" approach < 1430216485 406814 :MDream!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net NICK :MDude < 1430216500 407843 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: ok, but how about non-constants? like if I want to search a solution where .1 doesn't change but .2 does < 1430216532 553997 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm, is there a multiple assignment syntax so you can give more than one condition by the way? < 1430216536 277115 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: then you have to pass in the value indirectly on the right of the arrow < 1430216538 437700 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I read that as integrating an actual violin, before realizing there could be a language called violin < 1430216542 323708 :Wazza!~Wazza@2001:41d0:2:2766::1 JOIN :#esoteric < 1430216550 827373 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, you can't directly do a multiple assignment < 1430216557 657871 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but you can just write DO .1$.2 <- .3$.4 < 1430216567 248825 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um yes, for two values < 1430216567 537511 :Wazza!~Wazza@2001:41d0:2:2766::1 PART #esoteric :"Textual IRC Client: www.textualapp.com" < 1430216574 572236 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that won't work for two dwords or three words < 1430216587 591413 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can only do 32 bits atm, yes < 1430216606 152530 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok < 1430216620 311589 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I guess too much generality would make it too easy to program < 1430216633 64873 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's not INTERCAL without arbitrary restrictions < 1430216640 731162 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although I have been considering bignum mingle as a usefulish operation < 1430216843 193588 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: ok refcounting it was < 1430216890 650868 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1430217161 981793 :iamevn_!~evn@c-67-201-217-24.reshall.wwu.edu JOIN :#esoteric < 1430217293 755769 :nortti!~juhani@ayu.smar.fi QUIT :Ping timeout: 265 seconds < 1430217301 299142 :nortti!~juhani@ayu.smar.fi JOIN :#esoteric < 1430217332 188533 :iamevn!~evn@c-67-201-217-24.reshall.wwu.edu QUIT :Ping timeout: 245 seconds < 1430217816 766513 :AnotherTest!~turingcom@d51a4c65e.access.telenet.be JOIN :#esoteric < 1430217845 599603 :MauBot!~maubot@perduta.net QUIT :Remote host closed the connection < 1430218104 577132 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Ok, I added a 'C' command to ed that changes direcotry < 1430218162 4206 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :As long as I'm mangling GNU software, anything else I shouold add? < 1430218198 746845 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :orin: why don't you just use ex instead? < 1430218210 326705 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :because that's not as fun < 1430218290 996006 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Maybe I can add syntax highlighting < 1430218295 50125 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :lol < 1430218324 348483 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :orin: doesn't it already have that via w|your-syntax-highlighter-executable < 1430218329 161433 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or maybe with a ! instead of | < 1430218372 87151 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Good point. Maybe I whould just add a command to set an executable to pass all output through < 1430218472 163219 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Well technically that doesn't do exactly what I mean, but I see the value in externalizing the highlighting < 1430218560 417298 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellorin. what kind of atrocities are you commiting to ed? < 1430218575 224366 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :boily: it's a saner method than /bin/cd at least < 1430218597 616028 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I added a 'C' command, and now I think i'll add syntax highlighting < 1430218624 123561 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :apparently early UNIX had a /bin/goto that exploited the fact that the shell of the time, pre-sh, read the file back from disk after every command was executed < 1430218628 592950 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it manually moved bits of the shellscript around < 1430218652 564886 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :/clear < 1430218656 92483 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :/flush < 1430218659 315239 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :/aaaaaaaaaaaaaaaargh! < 1430218704 717487 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :http://ctrlv.in/565704 < 1430218837 657791 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :*strchr(*ibufpp,'\n')=0; < 1430218846 494371 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :beacuse i'm awful. < 1430218917 512951 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :remind me to mapole you when I won't be having a cold and have a little bit more muscular strength twh < 1430218959 861544 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :scary < 1430218971 365126 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 264 seconds < 1430219007 530108 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :well it seems that there is always a newline at the end < 1430219026 746716 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :(based on the lack of egfaulting) < 1430219115 147584 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: hey have you been infecting me < 1430219126 294477 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh i was supposed to eat < 1430219151 791977 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellørjan. I don't think so hth < 1430219167 200517 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i recommend not having a throat that hurts when you swallow hth < 1430219282 855114 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :my sinuses are blocked, coughing light green extraterrestrial radioactive stuff, but at least my throat doesn't hurt. < 1430219292 999418 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay! < 1430219315 616010 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now i can think "at least my sinuses aren't blocked" < 1430219438 973278 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :So I think I'll add an F [command] command, which causes ed to pass all output of 'p' and 'n' through the command. < 1430219468 900216 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :and maybe an option to set this from the command line < 1430219484 845159 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :'F' for 'formatter' < 1430219540 964880 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :orin: um, at that point you might want to add some escape code for multibyte commands before you use up all letters for insignificant commands < 1430219556 809500 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that could hurt you later if you find more useful commands you'd want to put on the single letters < 1430219573 431048 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you know, like the way the vanilla nethack key layout is messed up < 1430219603 890303 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Nah, I'll just start using é and æ < 1430219624 913294 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :orin: in what encoding? < 1430219630 681009 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :whatever < 1430219648 136462 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :probably utf-8 < 1430219664 494810 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you'll just run out of all 256 bytes. many are already used up for ranges or commands. < 1430219707 819695 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I mean, all i'd need to do is check for a byte above 128, and in that case read the next byte < 1430219720 756102 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :and check what it is. < 1430219768 936764 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net QUIT :Ping timeout: 240 seconds < 1430219816 712382 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :But I dunno if I'll add more than 2 commands. I'll get bored pretty fast < 1430219851 950651 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :apparently people used to modify the local versions of commands a lot in the old world < 1430220145 831068 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the haskell libraries list seems severely infested with top posters < 1430220192 502284 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1430220241 394528 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: what do you mean? < 1430220277 649640 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :people who quote the message they're replying to, _never_ removing anything, regardless of thread depth < 1430220288 976458 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and put their own answer at the top < 1430220303 127460 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oh. mailing lists. < 1430220337 903268 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I usually do that, but put my reply at the bottom < 1430220364 670585 :ChanServ!ChanServ@services. MODE #esoteric +o :oerjan > 1430220364 694738 NAMES :#esoteric < 1430220373 910944 :oerjan!oerjan@sprocket.nvg.ntnu.no KICK #esoteric orin :Crimes against humanity < 1430220378 946700 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -o :oerjan > 1430220378 957683 NAMES :#esoteric < 1430220387 182933 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca JOIN :#esoteric < 1430220390 67613 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :lol < 1430220415 603034 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :'Crimes against humanity' < 1430220466 553458 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :logically I think the reply shuld be at the bottom, but only if your software doewsn't automatically display the post your repling to < 1430220492 905629 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :e.g. email < 1430220518 811863 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :logically i think it's the sender's responsibility to be non-annoying to a large fraction of recipients. < 1430220538 263108 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I guess.... < 1430220585 222960 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in this case i'm browsing the mailing list from a web archive. it < 1430220601 451197 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Hm.. could you not write a script to go through your emails and cut out lines that consist of />>>>>>>>>>>>>>>*/ < 1430220602 875570 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why was there a return key there. < 1430220620 746962 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :orin: it's not my emails, i'm reading it on the web. < 1430220628 440750 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :ooooo < 1430220659 661375 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Actually that could also cut out lines with brainfuck code in them < 1430220667 858950 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :that's a problem < 1430220723 265626 :boily!~alexandre@96.127.201.149 QUIT :Quit: REPLICATING CHICKEN < 1430220742 544114 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :does that mean we'll have two boilys next time < 1430220842 707714 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :no, it means there was never one boily. the boily we get each time is a duplicate of the original boily, whowe've never met. < 1430220904 111287 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha < 1430220976 807435 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Does garnierite have anythign to do with the shampoo? < 1430221039 593828 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :apparently they're both named after french people < 1430221085 224888 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :garnyayite < 1430221700 805337 :AnotherTest!~turingcom@d51a4c65e.access.telenet.be QUIT :Ping timeout: 244 seconds < 1430223050 665517 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1430224366 741139 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 244 seconds < 1430225982 748501 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wtf < 1430226141 139667 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :wwtf? < 1430226167 479945 :nortti!~juhani@ayu.smar.fi QUIT :Ping timeout: 265 seconds < 1430226326 184365 :nortti!~juhani@ayu.smar.fi JOIN :#esoteric < 1430226553 254314 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :SUCCESS < 1430226580 869187 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :http://ctrlv.in/565759 < 1430226841 935229 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :+ < 1430226875 596835 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :is it a problem if it passes the line numbers into the highlighter? < 1430226970 858602 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I suppose I could fork again and add the line numbers at the end of the pipeline < 1430227066 412142 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 265 seconds < 1430227101 703681 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :eh, for now it's ok < 1430227294 558065 :hamrove!~hamrove@96-8-209-215.block0.gvtc.com JOIN :#esoteric < 1430227376 793694 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :hello < 1430227743 429044 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I'm adding new features to the ed editor, what features do you think it needs? < 1430227848 598285 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :shred. < 1430227878 66303 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :what would that do? < 1430228352 80290 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :some kind of "wipe" solution? < 1430228368 489717 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 256 seconds < 1430228378 152138 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :oh, like destory the data on disk? < 1430228413 588420 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :thats probably beyond my programmign porwess < 1430229222 966442 :e_svedang!~erik@c83-254-7-124.bredband.comhem.se JOIN :#esoteric < 1430230499 723911 :e_svedang!~erik@c83-254-7-124.bredband.comhem.se QUIT :Ping timeout: 255 seconds < 1430230632 647087 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1430231401 287722 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1430231412 433153 :Sgeo__!~Sgeo@ool-44c2a85f.dyn.optonline.net JOIN :#esoteric < 1430231488 678629 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 240 seconds < 1430231568 605726 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1430231588 580304 :spiette!~spiette@mtl.savoirfairelinux.net QUIT :Ping timeout: 240 seconds < 1430231612 498982 :spiette!~spiette@mtl.savoirfairelinux.net JOIN :#esoteric < 1430231637 493637 :Vorpal!~Vorpal@81-230-124-237-no185.bredband.skanova.com JOIN :#esoteric < 1430231637 659207 :Vorpal!~Vorpal@81-230-124-237-no185.bredband.skanova.com QUIT :Changing host < 1430231637 659243 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1430232655 813317 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :can ed execute shell commands? < 1430232659 797377 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and collect the output? < 1430232668 852814 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that would be a feature < 1430232686 30501 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :https://github.com/orenwatson/orens-fun-ed < 1430232701 759498 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :yes it does do that: for example < 1430232707 399349 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :e !ls < 1430232731 813066 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :neat < 1430232749 425804 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm working on an editor in java < 1430232765 601942 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :using lanterna < 1430232775 738762 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :what kind of editor < 1430232779 828952 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :text editor < 1430232796 90540 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :with support for 2D languages < 1430232813 59229 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. you can type normalle and it'll write it backwards or downwards and that stuff. < 1430232816 616989 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*normally < 1430232830 932777 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :Oh, cool! that would really help < 1430232843 407188 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and you can configure letters that change directions < 1430232854 565420 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so it automatically switches after typing a ^ for example < 1430232893 918856 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :orin: I'll let you know once I have a decently working version. < 1430233157 12102 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1430233191 322050 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca PRIVMSG #esoteric :I suppose it is much easier to hack stuff that was already written... < 1430233478 992735 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 252 seconds < 1430233494 351304 :variable!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1430233710 664167 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1430234047 255743 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1430234063 630005 :orin!~oren@TOROON0949W-LP140-03-1279268808.dsl.bell.ca QUIT :Ping timeout: 255 seconds < 1430234156 435943 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1430234168 409158 :orin!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca JOIN :#esoteric < 1430234231 150544 :hamrove!~hamrove@96-8-209-215.block0.gvtc.com QUIT :Quit: hamrove < 1430234435 722781 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :orin: I certainly feel that way. < 1430234493 924510 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: wait scratch that i'm getting confused about the age of logs <-- I forgive you < 1430234512 856169 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION is in a benevolent mood
< 1430235424 595228 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 250 seconds < 1430235650 568082 :orin!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :int-e: about the difficulty of writing versus modifying a program, or about replies should be at the bottom < 1430235780 491747 :Jafet!~jafet@unaffiliated/jafet QUIT :Ping timeout: 256 seconds < 1430235806 764025 :Jafet!~jafet@unaffiliated/jafet JOIN :#esoteric < 1430235848 751715 :jix!~jix@jixco.de QUIT :Ping timeout: 256 seconds < 1430235856 486531 :jix!~jix@jixco.de JOIN :#esoteric < 1430236221 443323 :Jafet!~jafet@unaffiliated/jafet PART :#esoteric < 1430236228 33848 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :orin: I meant the former, but I also feel the same way about top-posting. < 1430236270 643091 :Jafet!~jafet@unaffiliated/jafet JOIN :#esoteric < 1430236290 275391 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :A: Because it upsets the natural flow of reading. < 1430236290 440760 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Q: Why is top posting so rude? < 1430237378 239335 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: yay < 1430237526 14730 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Quit: ZNC - http://znc.sourceforge.net < 1430238018 25218 :bb010g!uid21050@gateway/web/irccloud.com/x-mvljgcadrmtpmybn QUIT :Quit: Connection closed for inactivity < 1430238113 979657 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: that was to the forgiveness, i find the "don't cut away anything" part of posting more annoying than the actual top posting part < 1430238121 477520 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*top posting < 1430238223 356269 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I thought so, but I replied to orin. < 1430238644 240288 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: The two issues are related though: inline replies encourage people to cut down the context. < 1430238720 199723 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1430238736 429287 :hamrove!~hamrove@96-8-209-215.block0.gvtc.com JOIN :#esoteric < 1430240310 240276 :e_svedang!~erik@c83-254-7-124.bredband.comhem.se JOIN :#esoteric < 1430240326 452960 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`relcome e_svedang < 1430240328 9812 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​02e_svedang: 06Welcome 13to 04the 07international 08hub 09for 02esoteric 06programming 13language 04design 07and 08deployment! 09For 02more 06information, 13check 04out 07our 08wiki: 09. 02(For 06the 13other 04kind 07of 08esoterica, 09try 02#esoteric 06on 13irc.dal.net.) < 1430240474 982951 :hamrove!~hamrove@96-8-209-215.block0.gvtc.com QUIT :Quit: hamrove < 1430240928 350446 :AnotherTest!~turingcom@d51a4c65e.access.telenet.be JOIN :#esoteric < 1430241024 845246 :HackEgo!~HackEgo@162.248.166.242 QUIT :Ping timeout: 252 seconds < 1430241105 891318 :hamrove!~hamrove@96-8-209-215.block0.gvtc.com JOIN :#esoteric < 1430241150 642354 :orin!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca QUIT :Quit: Lost terminal < 1430241207 237605 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1430241427 89470 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca JOIN :#esoteric < 1430241455 647589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: HackEgo ran away < 1430241486 227118 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :blah now DF is hanging my computer? god damn it 2GB of memory used to be a megaton! < 1430241498 445440 :e_svedang!~erik@c83-254-7-124.bredband.comhem.se PART #esoteric :"Using Circe, the loveliest of all IRC clients" < 1430241547 749064 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh too much drooling < 1430241567 500062 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :um. wat < 1430241633 929567 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oren, DF as in Dwarf Fortress? < 1430241649 882959 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :yeah < 1430241660 409748 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i've got an infection such that it hurts to swallow, but never swallowing doesn't really work either. thus drooling. < 1430241693 482665 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oren: i think 2GB was about the _disk space_ on the first computer i installed linux on, back in 1999 < 1430241724 4560 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: be more masochistic hth < 1430241736 761842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: sorry no can do < 1430241763 300264 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what about throat numbing medicine? what about soaking up drool with crackers? < 1430241833 502174 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't have crackers. i do have plenty of paper tissue. < 1430241837 983191 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :hmm try swallowing lots of tiny ice cubes < 1430241882 754564 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :I think an eggo would work as a tray to make tiny ice cubes < 1430241884 830651 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't have ice cubes, and i don't see why that should help. < 1430241894 70567 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what's an eggo < 1430241901 432626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i don't think i have one) < 1430241903 39230 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :toaster waffle < 1430241908 367642 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :@google leggo my egoo < 1430241908 832635 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1430241909 415259 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric :https://www.leggomyeggo.com/ < 1430241999 978817 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :eggos were my lunch every day in middle school < 1430242126 713044 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :isn't ridiculously detailed simulation like the point of DF, obviously it will always want to use as much resources as you have. < 1430242147 276829 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just be glad it's not 3d graphics on top < 1430242173 744744 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :one day it will be < 1430242206 162125 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(i don't know that it would add that much load since the simulation would be cpu-bound and the graphics gpu-bound) < 1430242288 916929 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :debian installer CDs now boot with grub-2 instead of isolinux? < 1430242410 3489 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :heh, I don't even know what an installer CD is anymore... I guess I have one for Windows XP somewhere... < 1430242431 159791 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :I use an installer SD usually < 1430242470 198464 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(For the last few installations of Linux I've used debootstrap from Knoppix, which I find convenient because Knoppix can access an existing network.) < 1430242470 632746 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: I don't boot from the CD either, I just load the kernel and initrd on the tiny netboot installer CD from a boot loader instead < 1430242478 96025 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so this change isn't really relevant to me < 1430242481 90824 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm just surprised < 1430242512 618356 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but what's the problem with using grub 2 anyway? < 1430242520 842183 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: no problem < 1430242542 110027 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I don't burn a CD, and don't install a bootloader just to run an installer image < 1430242573 701805 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I just download the files to hard disk, and load them from my already installed grub-l bootloader or from a cd that has a grub-l bootloader < 1430242608 13042 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I have a script here to convert between boot loader config files => http://www.perlmonks.com/?node_id=928102 < 1430242624 247837 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I don't use that, I just type the command manually because I know what the debian installer expects < 1430242695 193912 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 264 seconds < 1430242781 869527 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll probably start to use grub2 when I'm forced to because I get hard disks larger than 2 tebibytes and so can't use a dos partition table < 1430242793 994387 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and not before that < 1430242841 989766 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :how common are such hard disks now? < 1430242850 67305 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :not that I'll be buying any soon < 1430243024 388826 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :mine is 64 GB < 1430243062 346877 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :Hence why I have so many SD cards < 1430243192 136715 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I love having lots of disk space < 1430243205 440998 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but currently the big hard disks seem to be 2 terrabytes size < 1430243240 570098 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Right, 1TB seems to be the standard size for a new desktop pc, 500GB is also still a thing. < 1430243243 704481 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :terrabytes: the data standard for all of Holy Terra < 1430243281 520363 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nobody said anything about holyness... < 1430243309 404770 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :int-e: its a 40K refrence. < 1430243318 855341 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ah. (And welcome to the bianual smartass competition!) < 1430243355 186241 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :oh, I'm up against some terrifying competition < 1430243381 350254 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :I hope I can do well! < 1430243448 795835 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :anyway the disk space you get depends on how much you spend < 1430243469 140981 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure < 1430243483 109791 :Vorpal!~Vorpal@81-230-124-237-no185.bredband.skanova.com JOIN :#esoteric < 1430243483 275406 :Vorpal!~Vorpal@81-230-124-237-no185.bredband.skanova.com QUIT :Changing host < 1430243483 275454 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1430243917 595466 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hi < 1430243923 654234 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :hai < 1430243988 403296 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I need a hostname for a new RPi. I already have a RPi, but this new RPi 2 needs a name < 1430244012 636187 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Hm < 1430244020 339290 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :patrick < 1430244049 720685 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oren, doesn't fit my theme. Which is mythological beasts. The existing RPi is cerberus. The laptop I'm typing on is dragon. < 1430244103 690960 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :veela < 1430244123 512328 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :wait did rowling invent them < 1430244144 95720 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Never heard of them, what are they? < 1430244210 58084 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oren, also plus points if the name fits the device. The RPi acts as a VPN and ssh endpoint. So Cerberus, the gatekeeper of the underworld is a fitting name. < 1430244229 615395 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :And phoenix is an old Pentium 3, reborn from various spare parts < 1430244358 882630 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :guardians. gargoyles < 1430244377 420404 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Vorpal: chimera hth < 1430244385 92895 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(courtesy of the yafgc character) < 1430244398 233920 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oren, yes that would fit the new RPi too, since it will be a ssh end point in a new location < 1430244405 936747 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Also runs RADIUS < 1430244472 536748 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :god, this memory card in this older RPi is slow, it previously ran on an external hdd, but I switched that over to the new RPi < 1430244654 695151 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :Vǫwël Cøntınùům | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ | http://esolangs.org/ < 1430245406 124094 :hamrove_!~hamrove@96-8-209-215.block0.gvtc.com JOIN :#esoteric < 1430245578 694458 :hamrove!~hamrove@96-8-209-215.block0.gvtc.com QUIT :Ping timeout: 252 seconds < 1430245866 928300 :hamrove!~hamrove@96-8-209-215.block0.gvtc.com JOIN :#esoteric < 1430246048 92380 :hamrove_!~hamrove@96-8-209-215.block0.gvtc.com QUIT :Ping timeout: 256 seconds < 1430246681 729495 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :If I flip a fair coin until the number of heads exceeds the number of tails, or vice versa, by 50, then what's the expected value of the total number of flips? < 1430246776 900459 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :2500 < 1430246828 170842 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :Based on a random walk moving, on average, the square root away from the center line after a given distance. < 1430246949 40883 :paul2520!~paul2520@unaffiliated/paul2520 PRIVMSG #esoteric :neat < 1430247102 150537 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 256 seconds < 1430247653 848061 :fractal!~fractal@2001:41d0:a:fab8::1 QUIT :Changing host < 1430247654 13349 :fractal!~fractal@unaffiliated/scounder JOIN :#esoteric < 1430248728 682109 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :MDude: i find the argument lacking, although simulation seems to confirm the answer. < 1430248875 460071 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1430249518 291761 :tromp!~tromp@rtc35-012.rentec.com PRIVMSG #esoteric :it's not exactly 2500, but on the order of that < 1430249902 70898 :zzo38!~zzo38@24-207-56-9.eastlink.ca QUIT :Remote host closed the connection < 1430250431 375200 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1430251441 234677 :hamrove!~hamrove@96-8-209-215.block0.gvtc.com QUIT :Quit: hamrove < 1430251544 127983 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tromp: it actually _is_ exactly 2500 < 1430251789 177665 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oerjan: proof? < 1430251867 875285 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let rwStep l = 0:zipWith((+)`on`(/2))l(drop 2 l)++[0] < 1430251868 833485 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : Defined. < 1430251954 596825 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let rwe = map toInteger (iterate rwStep (replicate 101 0) !! 100000) < 1430251955 672852 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : .L.hs:143:11: < 1430251955 838977 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : No instance for (Integral a0) arising from a use of ‘toInteger’ < 1430251955 839061 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : The type variable ‘a0’ is ambiguous < 1430251960 221978 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eep < 1430251975 773378 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let rwe = map round (iterate rwStep (replicate 101 0) !! 100000) :: [Integer] < 1430251976 900587 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : Defined. < 1430251988 266603 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> rwe !! 50 < 1430251989 941345 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : *Exception: stack overflow < 1430251992 326806 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oerjan: that's not a proof < 1430252017 159391 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :coppro: it's a proof if i can get lambdabot to calculate it, but it's a little heavy < 1430252044 111513 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but lambdabot doesn't cache anything does it... < 1430252066 488625 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :too much laziness. < 1430252075 282904 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh whatever. < 1430252123 799690 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let fp = [0,99,196,291,384,475,564,651,736,819,900,979,1056,1131,1204,1275,1344,1411,1476,1539,1600,1659,1716,1771,1824,1875,1924,1971,2016,2059,2100,2139,2176,2211,2244,2275,2304,2331,2356,2379,2400,2419,2436,2451,2464,2475,2484,2491,2496,2499] < 1430252125 158495 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : Defined. < 1430252171 381371 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let tab = fp ++ 2500 : reverse fp in tab == rwStep tab < 1430252173 17544 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : False < 1430252183 953449 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait what < 1430252268 197847 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that gives True in GHCi :( < 1430252312 165681 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> length fp < 1430252313 596583 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : 50 < 1430252320 330305 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t fp < 1430252321 306602 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric :Num t => [t] < 1430252351 551271 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :perhaps a rounding error. hm how can i make it exact... aha! < 1430252370 290610 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let tab = fp ++ 2500 : reverse fp :: [CReal] in tab == rwStep tab < 1430252371 717856 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : False < 1430252452 80319 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let rwSum l = 0:zipWith((+))l(drop 2 l)++[0] < 1430252453 337024 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : Defined. < 1430252473 68892 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oerjan: it's not a proof, it's just a simulation < 1430252503 4936 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :coppro: the simulation is to find the answer. once you have the answer you can make a proof. < 1430252510 129927 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :right < 1430252525 77865 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :all i need to show is that the answer is a fixpoint of rwStep < 1430252570 591115 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm wait how can there possibly by round-off error whan all i'm doing is half-integers < 1430252603 724471 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let tab = fp ++ 2500 : reverse fp < 1430252604 928312 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : Defined. < 1430252611 218782 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t tab < 1430252612 169242 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric :Num a => [a] < 1430252640 851237 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> map (*2) tab == rwSum tab < 1430252642 112173 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : : can't find file: L.hs < 1430252645 408406 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> map (*2) tab == rwSum tab < 1430252646 891804 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : : can't find file: L.hs < 1430252653 58945 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fffffffff < 1430252656 315782 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> map (*2) tab == rwSum tab < 1430252659 472549 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : False < 1430252903 315472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait duh < 1430252913 588911 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i copied the wrong version < 1430252929 690968 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let rwStep l = 0:zipWith((+)`on`(/2).(+1))l(drop 2 l)++[0] < 1430252929 856405 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : Parse failed: Ambiguous infix expression < 1430252939 403201 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t on < 1430252940 268209 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric :(b -> b -> c) -> (a -> b) -> a -> a -> c < 1430252956 154793 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (0$0`on`) < 1430252957 428480 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : The operator ‘on’ [infixl 0] of a section < 1430252957 594909 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : must have lower precedence than that of the operand, < 1430252957 594972 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : namely ‘$’ [infixr 0] < 1430252989 570369 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wtf is happening < 1430253004 812922 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let rwStep l = 0:zipWith((+)`on`(/2).(+1))l(drop 2 l)++[0] < 1430253004 978414 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : Parse failed: Ambiguous infix expression < 1430253016 624736 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let rwStep l = 0:zipWith((+)`on`((/2).(+1)))l(drop 2 l)++[0] < 1430253017 711879 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : .L.hs:159:1: Warning: < 1430253017 877359 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : Pattern match(es) are overlapped < 1430253017 877424 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : In an equation for ‘rwStep’: rwStep l = ... < 1430253028 245656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1430253035 341283 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let rwStep2 l = 0:zipWith((+)`on`((/2).(+1)))l(drop 2 l)++[0] < 1430253036 557022 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : Defined. < 1430253044 392161 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> tab == rwStep2 tab < 1430253045 747005 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : True < 1430253047 711586 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :finally < 1430253051 719725 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> tab !! 50 < 1430253053 180062 :lambdabot!~lambdabot@2a00:d880:5:5f::ec36 PRIVMSG #esoteric : 2500 < 1430253060 923113 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :coppro: that counts as a proof hth < 1430253190 497203 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oerjan: I do not have the time right now to determine if it does < 1430253200 834157 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :that's rather esoterically dense code < 1430253366 537464 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok but all it does is calculate the expected time to escape at this time given the expected time to escape after one step. < 1430253523 288451 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, the stepping function is contracting in l^1 norm, thus has a unique fixpoint. < 1430253666 71538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :at least in nonnegative values. < 1430253695 16665 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*thus converges to < 1430254110 840644 :paul2520!~paul2520@unaffiliated/paul2520 PRIVMSG #esoteric :quintopia: the original author of the blog post weighs in on reddit: http://www.reddit.com/r/math/comments/341ugi/a_radical_new_look_for_logarithms_interesting/cqrurrt?context=3 < 1430254197 894127 :S0lll0s!~S0lll0s@95.91.244.76 JOIN :#esoteric < 1430254210 488166 :S0lll0s!~S0lll0s@95.91.244.76 PRIVMSG #esoteric :hey < 1430254228 795623 :S0lll0s!~S0lll0s@95.91.244.76 PRIVMSG #esoteric :so I made something: https://github.com/S0lll0s/zunscript < 1430254256 124580 :S0lll0s!~S0lll0s@95.91.244.76 PRIVMSG #esoteric :first time I do anything meta-programming-ish < 1430254722 828708 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Al Dente14]]4 10 02http://esolangs.org/w/index.php?diff=42774&oldid=41877 5* 03Tanner Swett 5* (+746) 10Responses < 1430255044 896218 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1430255292 791870 :tromp!~tromp@rtc35-012.rentec.com PRIVMSG #esoteric :oerjan: isn't the answer infinity? < 1430255422 560513 :tromp!~tromp@rtc35-012.rentec.com PRIVMSG #esoteric :i think we were confused with the expected number of steps until *either* #heads or #tails leads by 50, which is indeed exactly 2500 < 1430255451 178440 :tromp!~tromp@rtc35-012.rentec.com PRIVMSG #esoteric :but the one sided expectations are infinite < 1430255640 651109 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the original question was the former < 1430255685 175070 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tromp: ^ < 1430255689 708947 :AnotherTest!~turingcom@d51a4c65e.access.telenet.be QUIT :Remote host closed the connection < 1430255746 815074 :tromp!~tromp@rtc35-012.rentec.com PRIVMSG #esoteric :oops; missed the vice-versa:( < 1430255790 878188 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :S0lll0s: clicked on link, thought it had to do with 東方. < 1430255841 863930 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :i am disapint < 1430256020 944159 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :s/pint/point/ < 1430256062 306383 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :actually this is cool even if it doesn't have yukkuris in it < 1430256562 898306 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 256 seconds < 1430256838 7852 :S0lll0s!~S0lll0s@95.91.244.76 PRIVMSG #esoteric :the hell are yukkuris? < 1430256951 301472 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :http://yukkuri.wikia.com/wiki/Yukkuri < 1430257060 410341 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :heads filled with delicious bean paste < 1430257118 585254 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :from a subculture of a subculture within japanese otaku subculture < 1430257281 899347 :oren!~oren@TOROON0949W-LP130-01-1242511928.dsl.bell.ca PRIVMSG #esoteric :the creator of Touhou is named (well, pseudonamed) "ZUN" < 1430258289 121823 :spatterworthy!621cff0d@gateway/web/freenode/ip.98.28.255.13 JOIN :#esoteric < 1430258525 128262 :spatterworthy_!621cff0d@gateway/web/freenode/ip.98.28.255.13 JOIN :#esoteric < 1430258672 117865 :spatterworthy!621cff0d@gateway/web/freenode/ip.98.28.255.13 QUIT :Ping timeout: 246 seconds < 1430258924 666953 :ent0nces!~ent0nces@98.125.193.86 JOIN :#esoteric < 1430259564 573492 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1430260107 20038 :ent0nces!~ent0nces@98.125.193.86 QUIT : < 1430260981 712588 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1430261055 751227 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1430261927 43254 :spatterworthy_!621cff0d@gateway/web/freenode/ip.98.28.255.13 QUIT :Ping timeout: 246 seconds