< 1454371345 124782 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Hellu! < 1454371355 687557 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :@messages-screamed < 1454371356 176594 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1454371361 688598 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :@messages-deafening < 1454371362 85943 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1454371368 172456 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :@messages-shockwave < 1454371368 558964 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1454371370 119488 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric ::/ < 1454371374 248358 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :@messages-lud < 1454371374 745880 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :oerjan said 1h 17m 40s ago: We should establish the official #esoteric stack <-- i think xkcd did that the other day. < 1454371374 746728 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :oerjan said 1h 12m 7s ago: mezkhalin: Keyboard Inaccessible <-- itym "AFK" hth < 1454371409 986980 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: No, it didn't. xkcd just create /a/ stack. We should make a /true/ #esoteric stack < 1454371417 106882 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :And the AlphaGo authors estimated their program to have about 3140 Elo... < 1454371423 36930 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Also, I wasn't AFK, it was just inaccessible < 1454371455 910816 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(but they used the 10 games against Fan Hui for anchoring the scale, so there's quite a big margin for error, I think) < 1454371516 675524 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Another project it'd be cool for #esoteric to do would be to take REALLY old languages and revise them into modern languages ;) < 1454371525 147326 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Like apparently modula-2 < 1454371636 613765 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :But something I REALLY think would be cool is if somebody took the original Python source code- or made a language similar to Python- and modified it to the point where it was suitable for OS development by running an interpreter on bare metal < 1454371756 759141 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1454371781 268104 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :darn now i feel old we used modula-2 at my second programming course in university < 1454371801 894933 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(this was 1991 or thereabouts.) < 1454371823 35346 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :It was modern, compared to Pascal! < 1454371837 214146 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: which we used in the _first_ course tdnh < 1454371872 9559 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :turbo pascal < 1454371906 124805 :Treio!~Treio@87.244.233.250 QUIT :Ping timeout: 240 seconds < 1454371913 569347 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm, that's not really Pascal... it had its own module (well, unit) system. < 1454371926 353225 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't think we used the fancy parts of it much. < 1454372082 685118 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I don't think Modula added much over Turbo Pascal, feature wise; but it had a noticably different syntax. < 1454372101 364505 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :I accidentally voting opposite on a marketing survey < 1454372142 968517 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you're accidently taking a marketing survey? < 1454372149 381547 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :Ads < 1454372156 158374 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :That block content etc < 1454372164 507825 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think i've forgotten almost all the modula syntax < 1454372216 690533 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :pascal stuck better as i also saw it in other contexts < 1454372236 68628 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :both before and after the course < 1454372261 711151 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh, it looks like Modula has interfaces (for modules), which Turbo Pascal didn't. < 1454372278 196303 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm that rings a bell < 1454372411 47398 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: That was the plan :) < 1454372422 473791 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :We had a "basics of imperative programming" course taught in C but by a former Pascal person. < 1454372445 552270 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They said you declare a floating point variable 'x' in C with the declaration "x real;" < 1454372459 425513 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh joe (or joy?)... #define begin { < 1454372488 392882 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: i fail to recall where you could have gained the knowledge that i ever learned modula-2, in order to plan from it. < 1454372492 432385 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: Really? woooooooow < 1454372526 89156 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: It wasn't targetted at you specifically, just at anyone who'd learned it. < 1454372531 520350 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1454372545 861217 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i was just a nocent bystander, got it < 1454372573 668239 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I think you mean a broke bystander hth < 1454372580 895422 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Or is it a clueless bystander? < 1454372664 641854 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wat < 1454372674 882310 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :nocent is a perfectly cromulent word hth < 1454372684 70964 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(although i only checked it after using it) < 1454372712 357619 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca QUIT :Quit: :qa! < 1454372758 347813 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think you *can* run Python by running an interpreter on bare metal. It's just, I don't know if anyone has ever actually created such an interpreter. < 1454372810 612668 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Well someone should < 1454372836 239204 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: What I'm really getting at is that someone should develop a language targeted SPECIFICALLY at OS developmen < 1454372837 133152 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :t < 1454372849 974285 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: that's... not quite but kind of what Rust is. < 1454372856 497160 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I mean, it's targeted at *system* development. < 1454372858 928457 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: OK. < 1454372863 334193 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And lots of people have done OS development in it. < 1454372865 100815 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Including me. < 1454372886 648908 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Would there happen to be a tutorial for using Rust for that I can use after I learn Rust? < 1454372891 954436 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Granted, my OS doesn't really do anything. It dynamically allocates memory, and uses it to print "Hello, world!" backwards. < 1454372908 624148 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? elloh < 1454372909 925664 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :elloh? ¯\(°​_o)/¯ < 1454372919 378943 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: And osdev.org doesn't have a Rust tutorial, afaict < 1454372927 465320 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`wisdom < 1454372929 893967 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :thausiblee/A thausiblee is the recipient of a thausible action. < 1454372952 371633 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :There isn't really any such thing as an OS development tutorial. OS development requires quite a bit of knowledge. < 1454373000 592105 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :That said... < 1454373001 225417 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :http://wiki.osdev.org/Rust_Bare_Bones < 1454373010 44448 :bb010g!uid21050@gateway/web/irccloud.com/x-xkhcwpqqbfvtmrtn JOIN :#esoteric < 1454373011 621573 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: That's what I said. < 1454373025 244694 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Rust Bare Bones doesn't have anything in it < 1454373034 898832 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Anything useful, at least < 1454373043 131480 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The first link is very useful: https://github.com/thepowersgang/rust-barebones-kernel < 1454373117 206613 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: by the way, do you know how to implement linked lists in C? < 1454373129 678863 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Yes. Kind of. < 1454373131 223720 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :xD < 1454373139 846444 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I failed at it. < 1454373153 738135 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :tswett: Isn't it just a structure of data and a pointer to the next thing? < 1454373154 368880 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Partially < 1454373159 435971 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :In any case... have fun. < 1454373161 211157 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :ACTION cackles. < 1454373228 630721 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :linked lists are so much fun to debug... < 1454373245 442600 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but kinda boring when they work < 1454373336 98807 :Treio!~Treio@87.244.233.250 JOIN :#esoteric < 1454373380 895306 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :I should read Too Many Lists < 1454373392 887830 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :And work on releasing my minilibrary for Rust < 1454373462 186555 :bender|!benderpc@2404:e800:e61a:41d:f90b:ac04:9b43:1dda QUIT :Ping timeout: 252 seconds < 1454373512 44378 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :That reminds me... I was working on implementing everything in Coq. < 1454373689 389076 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :How was it goingL? < 1454373691 242312 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :s/L// < 1454373700 377385 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, I haven't gotten very far yet. < 1454373707 160087 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You could say that I'm 0% finished at the moment. < 1454373738 434875 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=46343&oldid=45922 5* 03Erinius 5* (+14) 10 < 1454373763 164224 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Anyway, I've defined Category, the type of categories. < 1454373783 485167 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Next, I'm going to... I'm gonna define Monoid, the type of monoids. < 1454374164 923860 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :Makes me wish I knew things by osmosis. < 1454374239 965490 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :There, I've done that too. < 1454374248 865673 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :This brings me to 0% complete. < 1454374297 50628 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Next... heck, I feel like defining all sorts of weird things today. I'm going to define a natural number algebra! < 1454374352 666958 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Record NaturalNumberAlgebra := { nnalg_element_type : Type; nnalg_zero : nnalg_element_type; nnalg_successor : nnalg_element_type -> nnalg_element_type }. < 1454374356 721884 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It's a pretty simple concept. < 1454375110 17870 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Suddenly I feel like giving up on this and working on my English–Spanish blend instead. < 1454375135 493584 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Tentatively called SN50. < 1454375173 165845 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I don't really have any SN50 words created yet. But it's likely that the word for a certain type of animal will be something pretty close to "wolbo". < 1454375219 665848 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm not just randomly mashing together the words "wolf" and "lobo". The "lf" of "wolf" and the "lob" of "lobo" actually have the same etymological origin. < 1454375257 582238 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So, I'm mashing them together in an etymologically sound fashion! < 1454375643 471480 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I had an idea recently that sounds like the sort of thing #esoteric would be interested in < 1454375646 278463 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :homeomorphic compression < 1454375654 78859 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I have no idea how to implement it, but it seems like an interesting concept < 1454375664 507430 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(the idea is that you can operate on compressed data without decompressing it) < 1454375685 946419 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the aim would be to further develop this into allowing compressed RAM < 1454375698 486588 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(thus you could "download more RAM" via downloading a better compressor) < 1454375738 821669 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :Hahah. < 1454376000 262746 :mad!boulam@69-165-212-148.cable.teksavvy.com JOIN :#esoteric < 1454376059 225692 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :playing around with cpu instruction set design < 1454376081 729716 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I'm ending up with some pretty insane design < 1454376223 38421 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :instead of going < 1454376238 858829 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :add r8, r4, r5 (add r4 to r5 and store in r8) < 1454376243 546546 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I'm ending up with < 1454376290 270167 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :rename r8*, ld r4, add r5, st r8* < 1454376457 715066 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :kindof a 6502 on crack where instead of running instructions directly, you rename target registers, then start small threads that compute the results < 1454376706 149321 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :the idea being that using a virtual accumulator reduces the number of real registers you have to retire/write < 1454376774 414022 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and that it gives a good idea of what can be parallelized (load accumulator = can start a second execution thread here that can run before the previous instructions are done) < 1454376871 385891 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1454376906 196999 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : So, I'm mashing them together in an etymologically sound fashion! <-- technically, that would require making up a consistent set of sound changes from the common ancestor in proto-indoeuropean hth < 1454376917 935101 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Exactly. < 1454376972 158430 :bender|!benderpc@2404:e800:e61a:41d:f90b:ac04:9b43:1dda JOIN :#esoteric < 1454377038 48796 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mad: have you seen the Itanium? < 1454377089 548569 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I'm not aware of the small details, only that it was a failure ;) < 1454377117 216732 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the details are amazing < 1454377120 829355 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :very eso < 1454377127 959649 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(which probably explains why it was a failure) < 1454377146 251301 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :or more exactly, that it performed well at floating point, but considering its market that doesn't seem to have helped much < 1454377170 792367 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I'm aware that it has 3 instruction bundles < 1454377198 877479 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it did get us a pretty solid C++ abi < 1454377199 45973 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :with some strange fields to tell which instructions can run concurrently in contiguous bundles < 1454377277 160339 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and that it has weird stuff like modulo registers < 1454377292 479221 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and speculative loads < 1454377314 65779 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and the whole predicate bit thing where it basically has a whole lot of different flags registers < 1454377359 249796 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I think the failure is more due to just not performing well < 1454377405 172775 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :one guy says that it can't perform an address calculation in memory loads/stores and that eats up registers like crazy and is pretty bad overall < 1454377512 216397 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and also that what was left of alpha ended up as a team at intel and they tried to make an out of order version of itanium and just couldn't do it < 1454377528 704640 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1454377762 782868 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :My guess on this stuff is that it's often best to have a cpu architecture that performs well on a crazy mix of loads and stores and jumps, and that fast arithmetic is a comparatively lesser problem if your architecture is clean enough < 1454377807 780753 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :itanium clearly doesn't fit here < 1454377994 144388 :bender|!benderpc@2404:e800:e61a:41d:f90b:ac04:9b43:1dda QUIT :Ping timeout: 252 seconds < 1454378202 158592 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and that x86 has a couple of features that bizzarely seem to help despite their complexity < 1454378417 776484 :MDude!~fyrc@pa-67-235-7-57.dhcp.embarqhsd.net NICK :MDream < 1454379124 462523 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :what, did wikipedia go down < 1454379163 694045 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hmph google doesn't work either, guess it's me then < 1454379279 3920 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i hope i won't just lose irc as well if i toggle the router... < 1454379345 868721 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454379357 234874 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Can confirm, Google is not currrently on fire. < 1454379365 104243 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1454379385 353309 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i just did a quick toggling in windows, seems to have fixed it. < 1454379445 499604 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Latin seems way closer to PIE than Old English is. < 1454379454 134270 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Which makes sense, since Latin was spoken sooner. < 1454379459 8653 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :pikhq_: well that's just _your_ site, i hear google has several < 1454379465 833740 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pikhq_: Really? < 1454379484 6822 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :oerjan: A notable outage would probably involve my inbox going wild too... < 1454379486 28539 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Google is usually at least a little bit on fire in my experience. < 1454379493 300448 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :pikhq_: ah < 1454379503 8649 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :shachaf: Well, relatively speaking. < 1454379513 444856 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :just use bing until this gets sorted out < 1454379549 889240 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :There's only so "everything fine" you can be when your reliability comes from designing around the assumption that some percentage of things are going to fail. < 1454379551 912109 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswett: i dunno, i've heard modern lithuanian is notably archaic < 1454379556 619716 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*read < 1454379605 570348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Past a certain point "up" or "down" is an analog value, not digital. < 1454379615 525001 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Yup. < 1454379660 546383 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :There *was* a major outage of damn near everything earlier today for a couple minutes, though, so that was fun. < 1454379676 435809 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa whoa whoa < 1454379791 164953 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :that's very reassuring < 1454379799 209461 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pikhq_: Remind me, do you work on Calendar? < 1454379828 867126 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :shachaf: No, but I do work *next* to them. < 1454379844 349268 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I heard some rumours about Calendar the other day. < 1454379883 206334 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :I can neither confirm nor deny there being rumor-worthy things about them. < 1454379896 629516 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, nothing really all that secret. < 1454379965 1293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What was it you worked on again? < 1454379983 363209 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Google Apps for Work < 1454380087 394209 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :oerjan: yeah, but that doesn't make sense. < 1454380160 183438 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pikhq_: Is that the same as ----er? < 1454380168 107308 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Yes < 1454380177 529123 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :The more general public name for it. < 1454380199 670751 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess the internal name isn't secret anyway. < 1454380208 898108 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I'm pleased with the redaction. < 1454380217 818851 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Yes, it's fairly delightful. < 1454380330 697322 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :f---er < 1454380392 954622 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I played _Spider and Web_ today. Interesting game. < 1454380395 482870 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :fu--er < 1454380408 493864 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :We definitely do not use "fucker" as an internal code name. < 1454380416 639629 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :... At least, not one I know about. < 1454380420 861822 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :fuh-er < 1454380426 974814 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Fuhrer? < 1454380428 153797 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :fuhrer < 1454380448 524831 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :you should be ashamed, google < 1454380450 947180 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pikhq_: I mean... There was an unfortunately named build tool... < 1454380466 191293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That one was so bad that it was renamed. < 1454380483 726264 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ah, google childslaughter, renamed to google mail < 1454380491 57700 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Der Googleführer? < 1454380492 147803 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :shachaf: Don't even know what you're referring to. < 1454380518 298823 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :/topic mōdar - māter; āna - ūnus < 1454380519 309425 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :But I really hope you're not referring to what eventually became Bazel. < 1454380571 197413 :v^!~v^@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1454380602 957975 :v^!~v^@c-68-41-215-101.hsd1.mi.comcast.net PRIVMSG #esoteric :so what do people think about a webserver written in brainfuck ( ͡° ͜ʖ ͡°) < 1454380615 958258 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Implausible yet highly amusing. < 1454380618 205257 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswett: are you sure those last two are in the same gender? < 1454380634 710449 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :that's one weird question for irc < 1454380661 486996 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :oerjan: āna and ūnus? Nope. < 1454380669 413472 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :shachaf: Do you know anyone in the area that can perform a cephalectomy? I think it might help my headaches. < 1454380687 464678 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :*that*'s one weird question for irc < 1454380712 148363 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure what a cephalectomy is. < 1454380719 875528 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :brain removal < 1454380738 806293 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Head removal, actually. < 1454380743 751658 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :sorry < 1454380764 599315 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Remind me what a cephalotomy would be? < 1454380769 498898 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I have a copy of a book titled _On Having No Head_. < 1454380776 336636 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you interested? < 1454380781 162939 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Cephalotomy would be cutting the head. Cephalectomy would be removal of the head. < 1454380816 662535 :andrew!~andrew@183.54.14.109 JOIN :#esoteric < 1454381196 436689 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://github.com/rdebath/Brainfuck about that small snippet in the readme, hellbox < 1454381238 785148 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :any idea how to prove that it's not stuck in an endless loop at the end? < 1454381249 363168 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :other than running it < 1454381258 761701 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Ugh. How do I get grub-mkrescue working on windows? < 1454381271 709102 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :No one say switch to linux, I'm not in the mood to do that ATM < 1454381273 807676 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :just wanted to remove that loop to generate cleaner code < 1454381349 517588 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :there's also a similar [] loop in the middle and i can't prove that it's not stuck there either < 1454381381 932762 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it seems again time to link https://en.wikipedia.org/wiki/Mike_the_Headless_Chicken < 1454381400 607755 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :DDDDDDDD: dafuq is that < 1454381411 630186 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Halp? < 1454381427 668165 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :thought so. < 1454381433 169259 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :`help "getting grub-mkdir working on windows" < 1454381433 457637 :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/ < 1454381436 506226 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Wait, no < 1454381442 125934 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :`help "getting grub-mkrescue working on windows" < 1454381442 639892 :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/ < 1454381467 418797 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ACTION doesn't use grub so debugging it is not an option < 1454381508 859688 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :systemd-boot is great when it doesn't fuck up your efi < 1454381952 6118 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :izabera: Alternatively, I just need to be able to make a .bin I made with nasm and ld into a bootable iso < 1454381965 372515 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :everyone: But a way to use grub would be optimal < 1454382019 636031 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :s/-boot(.+?) your.*/\1/ < 1454382034 401494 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :s/great/terrible/ < 1454382066 564613 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :well, one of those changes sounds superfluous < 1454382080 950035 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :hppavilion[1]: take a look at the tutorials on osdev.org < 1454382272 836230 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: you're planning to run your OS on bare metal? < 1454382300 274749 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'd run it in an emulator first. Easier to get going, and there's not much point in skipping past it. < 1454382313 106999 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: On an emulator, obviously < 1454382316 270077 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: *Sigh* < 1454382318 907092 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Ah, good. < 1454382319 352980 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :What was I doing wrong? < 1454382333 713169 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: What do I not need to do that I'm doing but I need not because emulators? < 1454382353 485143 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Right, right. Lemme see. < 1454382369 450969 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The good news: emulators aren't going to make it that much easier. < 1454382374 929730 :zgrep!sid43445@gateway/web/irccloud.com/x-cceqawspvetlxaqf PRIVMSG #esoteric :izabera: One of those changes tells the truth, the other one makes the point more succinct and more general. :P < 1454382376 714864 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Oh no... < 1454382381 495948 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I have a bit of ASM I found on someone's blog that I'm working from < 1454382388 398204 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Actually... I did in fact make an ISO in order to boot my OS. < 1454382394 448690 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Having an emulator didn't make *that* part easier at all. < 1454382400 603213 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :What an emulator is good for is debugging. < 1454382409 268957 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :With an emulator: "My OS isn't working. Let me figure out why." < 1454382410 737510 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :And the tutorial uses grub-mkrescue to make an iso out of a .bin < 1454382415 700175 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Without an emulator: "My OS isn't working. Crap." < 1454382431 18082 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I don't think I used grub-mkrescue. Lemme see. < 1454382440 342601 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :You say "lemme see" a lot < 1454382453 252407 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :You should instead say "lemma C" < 1454382462 9411 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :To refer to the third lemma set forth in this proof < 1454382468 52355 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I like that idea. < 1454382469 655779 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :hth < 1454382472 961688 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric ::) < 1454382478 674562 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I used something called "genisoimage". < 1454382507 933572 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :ACTION nods < 1454382512 787057 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :And where do I get that? < 1454382597 234082 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm not sure. < 1454382604 910985 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :By the way, what format are you using for the kernel? ELF? < 1454382661 548329 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I don't even know anymore < 1454382671 485629 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: ELF, in theory < 1454382683 223506 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Yeah, ELF. I remember now < 1454382805 277800 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: And? < 1454382898 841016 :Treio!~Treio@87.244.233.250 QUIT :Quit: Leaving < 1454382914 85868 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Unfortunately I have to go to bed now. < 1454382915 809679 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Night. < 1454382991 290394 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :~ < 1454383812 493402 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Quit: Leaving < 1454383977 31870 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :sea of lemmings < 1454384073 425606 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :you can change orbits by having the astronaut get out and push < 1454384185 557495 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :of course, this is harder than it sounds because you can't use the jetpack while on a ledder < 1454384189 805307 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :*ladder < 1454384226 574979 :\oren\!~oren@TOROON0949W-LP140-1-1175999594.dsl.bell.ca PRIVMSG #esoteric :so you have to get out, fly to a flat surface of the orbiter, and fly against that hard < 1454384256 250261 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :OK < 1454384258 507983 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I am so close < 1454384261 334745 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :How do I get bochs < 1454384263 755082 :hppavilion[1]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :To boot an iso? < 1454389730 812316 :Trioxin!~Trioxin@209.95.50.18 JOIN :#esoteric < 1454389801 754946 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :so brainfuck isn't actually as esoteric as one might think. In doing some AI research with the idea of searching a programming space it turns out to be quite useful < 1454389815 35702 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :http://www.primaryobjects.com/2013/01/27/using-artificial-intelligence-to-write-self-modifying-improving-programs/ < 1454389876 734926 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :so my idea? do the same thing and have a program do NLP with lojban to produce brainfuck code < 1454389906 426682 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 265 seconds < 1454390045 374353 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :ACTION downloads github link to run it locally < 1454390432 34104 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :Elronnd, it was clever. I wouldn't have thought of brainfuck off the top of my head to constrain the programming space (I've never used brainfuck or any esoteric). < 1454390654 198098 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :of course in that example the fitness function is just a string output. still impressive to me but I would aim higher. < 1454390732 231512 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :I...don't see how to run it < 1454390751 187213 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :i think the AI part was done in .net? < 1454390777 218987 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :Looks like < 1454390788 370661 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :Maybe AIProgrammer/Program.cs? < 1454390846 479031 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :one sec. a step behind you < 1454390883 819873 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :https://github.com/primaryobjects/AI-Programmer < 1454390924 572787 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :im there. oh cool it actually looks to still be maintained < 1454390957 838561 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :Last commit half a year ago? not so much < 1454390999 612103 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :Installing mono... < 1454391001 678839 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :well, considering it started in jan 2013 < 1454391014 238501 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :It looks like it's written for windows though < 1454391082 100159 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :Running some of the programs in Results/, the encoding seems messed up or something < 1454391097 246473 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :eh, froze my 7zip. one sec < 1454391153 144477 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :Huh, I'm getting a weird error from mono < 1454391158 19114 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :"Cannot open assembly 'Program.cs': File does not contain a valid CIL image." < 1454391199 622679 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :Oh, apparently I have to compile with mcs first < 1454391221 452742 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :but that gives me errors < 1454391265 461792 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :i just opened it in vs2015 < 1454391294 918689 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :ACTION sighs < 1454391298 402306 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :I don't use windows < 1454391300 671694 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :it works! < 1454391330 435656 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :for what? < 1454391373 165829 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :i think i might need to define a string, hold on. I got a CLI app that was outputting info from the GA's epochs < 1454391452 577928 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :Oh, apparently vs is available for linux < 1454391499 336875 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :I opened the folder, now how do I run the program? < 1454391675 618749 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :got it < 1454391685 502000 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :you just pass the string via cli < 1454391694 314475 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :What do you mean? < 1454391709 70681 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :how? < 1454391735 485382 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :compiled with vs then ran from cli < 1454391746 898299 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :how do you compile with vs? < 1454391761 154158 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :just hit "Start" or build solution < 1454391765 529758 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :start/debug < 1454391767 215193 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :http://screencast.com/t/h0nRvAqPnh < 1454391833 444519 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :the play button in VS lol. produces a directory called AIProgrammer/bin/AIProgrammer.exe < 1454391846 766145 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :or build solution, whatever < 1454391952 799216 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :that's interesting. target string is hello. So far it's best fitness has been "hi" < 1454391965 839531 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :obviously a coincidence < 1454391985 820803 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :OMG it's self-aware < 1454391995 702003 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :I'm getting an 4ERROR: Debug adapter process has terminated unexpectedly < 1454392053 967994 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :probably best on windows. i'll send you a compiled version. let me know if you want to change the fitness parameter explained near the top of Program.cs < 1454392064 336773 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :want me to change it rather < 1454392086 103388 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :the fitness method < 1454392088 34723 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1454392113 507736 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :k, thanks < 1454392138 830109 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :wow i don't get it. I defined "hello" as the target and the program finished with: hi < 1454392192 898140 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :once it hit "hi" it considered that the best till the end < 1454392231 96481 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :it was still generating far after it first came up with hi too < 1454392308 485503 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :here you go... < 1454392321 92145 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :https://spideroak.com/storage/NNZGC6I/shared/462690-13-15328/bin.tar.gz?92a837f9aad6a97caddb46f9b046825e < 1454392445 802491 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :"hi" must be hard-coded somewhere < 1454392542 802880 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :oic where it's hard-coded < 1454392554 171080 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :IfThenFitness.cs < 1454392570 7262 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :downloading now < 1454392579 101813 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :concrete/IfThenFitness.cs < 1454392623 279299 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :It's doing something < 1454392627 51759 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :I'm not sure what < 1454392631 345191 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :specify 1, 2 or 3 < 1454392637 19381 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :pass it to the program < 1454392638 703816 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :{ "hi", "z", "bye" } < 1454392666 528866 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :well, "Note, input is taken in byte value (not ASCII character)." < 1454392720 487911 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :i passed it 2. waiting for output < 1454392757 335469 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :Now I have to get a decent bf implementation < 1454392772 494472 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :// If/Then example. Accepts input from the user (1, 2, 3) and prints out text, depending on the option selected. < 1454392793 728043 :infinitymaster!~infinitym@c-67-201-229-96.reshall.wwu.edu JOIN :#esoteric < 1454392795 384351 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :it's giving me damn "hi" again. should be "z" < 1454392869 26939 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :maybe change this in Program.cs? private static TargetParams _targetParams = new TargetParams { TargetString = "hi" }; < 1454392885 265364 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :It keeps giving me "unbalanced ']'" < 1454392898 169298 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :hmm < 1454392948 868148 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :the brainfuck interpreter, that is < 1454392965 22381 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :I think it's producing malformed brainfuck < 1454392977 367830 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :here try this... < 1454393027 965949 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :http://hastebin.com/qamojiqohu.coffee < 1454393071 763697 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :still producing malformed bf < 1454393081 623277 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :*still getting that error < 1454393102 672604 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :the bf the ai is using is outputting it correctly < 1454393111 658912 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :version problem? < 1454393125 704974 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :the ai appears to be producing bf it can interpret, yes < 1454393134 111205 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :I doubt it's a version problem < 1454393152 454205 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :brainfuck standards are pretty much set in stone, at this point < 1454393166 988566 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :if it used some weird extensions to brainfuck, I think it would say so < 1454393168 841486 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :cause it looks like it's running the code against bf when it outputs the results < 1454393183 222165 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :yes < 1454393260 668595 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :oh well. it's not like these fitness functions are that great anyway < 1454393274 242009 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :outputting some text < 1454393334 474084 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://arin.ga/BoVkW7/raw compiling this on x86_64 with -Ofast -march=native, clang produces 1 movq, gcc produces 8 movb < 1454393357 441014 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :sorry that wasn't relevant to the current discussion < 1454393369 954721 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :np < 1454393405 720508 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :it's a cool proof of concept though however infantile < 1454393520 504657 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :i don't know all that much about quantum computing/creating algorithms for quantum computers but I always wondered if something like this could be done with quantum gating < 1454393598 608948 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :i know there's some project (I think by Google) that let's you run your algos on their d-wave. Of course I don't believe the d-wave to be a true quantum computer < 1454393626 588094 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Yeah, something about the d-wave smells. < 1454393628 104819 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :i know some lab recently created a QC based on quantum gating though < 1454393692 211366 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :and we've got quantum coherence in silicon now too < 1454393896 949877 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :is brainfuck limited to just being turing complete? like no networking or other systems api access? < 1454393917 338105 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Without any sort of extensions, yes. < 1454393943 289886 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :It has the ability to do arbitrary computation, and to access stdin and stdout. < 1454393948 460238 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :That's about it. < 1454393972 410737 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we talk about "brainfuck-completeness" which is Turing-complete + can do arbitrary things with stdin and stdout access (including making stdout any Turing-equivalent function of stdin) < 1454394097 605522 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :hmm. so you could extend it with external components and actually have it do a lot more using this sort of machine learning < 1454394143 251258 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the most true to the spirit of brainfuck is to write a syscall library that communicates over stdin and stdout < 1454394151 406514 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although most people's attempts to do that have stalled quickly < 1454394166 64901 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :It turns out to be harder than it looks. < 1454394202 806957 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :and so the computer will write it for us :P < 1454394221 678228 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Yeaaah, that's a ways off. < 1454394256 764791 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Google still hires software engineers you know. :P < 1454394380 656581 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :ray kurzweil is over there. i remember him being quoted as saying he could write a super-intelligence in 50 lines of lisp. of course it would take an eternity to run and get to that point < 1454394447 82793 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :using the same sort of method as this BF programmer AI < 1454394452 905626 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Huh, does Kurzweil work for Google? News to me. < 1454394473 515314 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :yeah, i think he heads up deep mind < 1454394479 412447 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Sure enough! < 1454394495 359368 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Maybe I'll pay him a visit for shits and giggles. < 1454394507 573387 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :you work for G? < 1454394521 709095 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Yep < 1454394576 316897 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :lucky. I'm a convicted felon so I have to code for myself and only get to work for big companies under contract < 1454394594 435726 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Eeep. Well, that sucks. < 1454394596 701147 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :I don't know if you're joking < 1454394617 122758 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Elronnd: Well, being a convicted felon does make it nigh impossible to get a job here. < 1454394620 756046 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Which is terrible. < 1454394630 207442 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :that does suck < 1454394644 362343 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :And perversely serves only to increase crime. < 1454394665 334667 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :governments in general are fucked up in many ways < 1454394682 522036 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :I'm not joking. one stupid mistake when I was 18 all effed up on xanax and alcohol (Going into unlocked cars and removing mostly random useless things) < 1454394718 740197 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :...4FELONY?????? < 1454394723 330393 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Yup, sounds like the way it goes. Do something stupid when you're a dumb 18 year old and voila you're fucked. < 1454394732 436648 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not even sure the UK has a felony/misdemeanor split; perhaps it does but it certainly isn't part of popular culture like it is in the US < 1454394738 106650 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Elronnd: "Felony" is surprisingly easy to hit. < 1454394773 303177 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :ais523: I suspect the UK also doesn't make it so that once you're a felon you're basically an untouchable. < 1454394779 609228 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :yeah. and I had a pub defender so they were supposed to do this thing called running my charges concurrent which would have put them all into 1 and I could have expunged them later < 1454394794 475039 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :instead I have 7 felonies for 1 crime < 1454394809 318382 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :(Each car they knew I broke into) < 1454394825 222351 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :public defender fucked me over < 1454394841 518854 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :if you call it "Breaking in" < 1454394856 362162 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :the charge is "Burglary of an unoccupied conveyance" < 1454394895 742180 :pikhq_!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :ACTION especially 'loves' things like "felons can't vote". < 1454394907 699896 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :i woke up in jail not knowing why i was there < 1454395237 840012 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :what happened? < 1454395334 757002 :nisstyre!~yourstrul@li611-52.members.linode.com QUIT :Quit: WeeChat 1.3 < 1454396923 127350 :bb010g!uid21050@gateway/web/irccloud.com/x-xkhcwpqqbfvtmrtn QUIT :Quit: Connection closed for inactivity < 1454397354 232783 :infinitymaster!~infinitym@c-67-201-229-96.reshall.wwu.edu QUIT :Quit: Leaving... < 1454397489 800080 :infinitymaster!~infinitym@c-67-201-229-96.reshall.wwu.edu JOIN :#esoteric < 1454399606 528404 :andrew!~andrew@183.54.14.109 QUIT :Ping timeout: 272 seconds < 1454399956 433244 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1454400369 631935 :andrew!~andrew@183.54.14.109 JOIN :#esoteric < 1454401511 419804 :Trioxin!~Trioxin@209.95.50.18 PRIVMSG #esoteric :Erlonnd, I was convicted of a slew of burglary and theft charges that should have been rolled up into 1 charge that I could have gotten expunged from my record. The limit for expunging is 4 charges so it's pointless with 7 felonies. < 1454401883 756491 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 264 seconds < 1454402776 559899 :LexiciScriptor!~LexiciScr@net-37-117-69-8.cust.vodafonedsl.it JOIN :#esoteric < 1454403078 179280 :infinitymaster!~infinitym@c-67-201-229-96.reshall.wwu.edu QUIT :Remote host closed the connection < 1454403592 271234 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: GTG < 1454403597 462408 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454403866 413343 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1454404000 428808 :hppavilion[1]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 265 seconds < 1454405178 618387 :J_Arcane!~chatzilla@37-219-108-222.nat.bb.dnainternet.fi QUIT :Ping timeout: 256 seconds < 1454405528 846553 :jaboja!~jaboja@user-188-33-223-183.play-internet.pl JOIN :#esoteric < 1454405536 132356 :jaboja!~jaboja@user-188-33-223-183.play-internet.pl QUIT :Excess Flood < 1454405556 303329 :jaboja!~jaboja@user-188-33-223-183.play-internet.pl JOIN :#esoteric < 1454407662 676224 :jaboja!~jaboja@user-188-33-223-183.play-internet.pl QUIT :Ping timeout: 272 seconds < 1454407825 770759 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1454410253 532251 :anybody!~Anybody@82.144.205.57 JOIN :#esoteric < 1454410253 534458 :anybody!~Anybody@82.144.205.57 QUIT :Client Quit < 1454410827 151568 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454411099 131852 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1454411712 337066 :jaboja!~jaboja@user-188-33-223-183.play-internet.pl JOIN :#esoteric < 1454412506 347986 :jaboja!~jaboja@user-188-33-223-183.play-internet.pl QUIT :Ping timeout: 240 seconds < 1454412567 743704 :jaboja!~jaboja@user-188-33-223-183.play-internet.pl JOIN :#esoteric < 1454412930 42339 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07OISC14]]4 10 02https://esolangs.org/w/index.php?diff=46344&oldid=45951 5* 0382.25.49.46 5* (+1) 10/* List of OISCs */ Subleq's conditional is "less than or equal to 0", not just "less than 0" < 1454412952 841023 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1454413075 770565 :jaboja!~jaboja@user-188-33-223-183.play-internet.pl QUIT :Ping timeout: 260 seconds < 1454413918 688568 :jaboja!~jaboja@user-188-33-193-126.play-internet.pl JOIN :#esoteric < 1454414077 777943 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Subleq14]]4 10 02https://esolangs.org/w/index.php?diff=46345&oldid=45991 5* 0382.25.49.46 5* (-9) 10/* External resources */ TechTinkering URL to point to new GH-based site < 1454414466 521709 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454414736 582083 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1454415629 25564 :boily!~alexandre@96.127.201.149 QUIT :Quit: ABDOMINAL CHICKEN < 1454417534 477951 :Trioxin2!~Trioxin@209.95.50.70 JOIN :#esoteric < 1454417764 495648 :Trioxin!~Trioxin@209.95.50.18 QUIT :Ping timeout: 248 seconds < 1454418270 168670 :bender|!benderpc@2404:e800:e61a:41d:f90b:ac04:9b43:1dda JOIN :#esoteric < 1454418409 586510 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454418438 646547 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07The chan-esoteric stack14]]4 M10 02https://esolangs.org/w/index.php?diff=46346&oldid=46342 5* 03Stalem 5* (+95) 10Added CHIP-8 < 1454418464 849843 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 JOIN :#esoteric < 1454418540 160104 :bender|!benderpc@2404:e800:e61a:41d:f90b:ac04:9b43:1dda QUIT :Ping timeout: 252 seconds < 1454418660 913307 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :lmbdabot ? < 1454418674 413433 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :whoops < 1454418869 951093 :andrew!~andrew@183.54.14.109 QUIT :Remote host closed the connection < 1454419233 570452 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1454420836 325289 :Trioxin2!~Trioxin@209.95.50.70 NICK :Trioxin < 1454421081 179461 :Trioxin2!~Trioxin@104.156.240.200 JOIN :#esoteric < 1454421296 468659 :Trioxin!~Trioxin@209.95.50.70 QUIT :Ping timeout: 240 seconds < 1454422078 602990 :kaikai2199!~kai@59.175.49.17 JOIN :#esoteric < 1454422294 559909 :kaikai2199!~kai@59.175.49.17 QUIT :Quit: 离开 < 1454422787 944687 :quintopi1!~quintopia@74.117.159.204 PRIVMSG #esoteric :test < 1454422792 475400 :quintopi1!~quintopia@74.117.159.204 NICK :quintopia < 1454422822 48021 :quintopia!~quintopia@74.117.159.204 NICK :Guest15657 < 1454422875 170088 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454422878 204154 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1454422980 354465 :Guest15657!~quintopia@74.117.159.204 NICK :quintopia < 1454422982 996953 :quintopia!~quintopia@74.117.159.204 QUIT :Changing host < 1454422982 999091 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1454423126 172098 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1454423621 637243 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1454423755 599093 :Treio!~Treio@87.244.233.250 JOIN :#esoteric < 1454423783 278586 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1454423895 648289 :jaboja!~jaboja@user-188-33-193-126.play-internet.pl QUIT :Ping timeout: 240 seconds < 1454424652 495260 :Treio!~Treio@87.244.233.250 QUIT :Remote host closed the connection < 1454424692 720430 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca JOIN :#esoteric < 1454424749 35252 :Treio!~Treio@87.244.233.250 JOIN :#esoteric < 1454424927 83883 :Treio!~Treio@87.244.233.250 QUIT :Max SendQ exceeded < 1454424939 888179 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07~EarthBit14]]4 M10 02https://esolangs.org/w/index.php?diff=46347&oldid=45470 5* 03YoYoYonnY 5* (+0) 10Fixed a typo < 1454424953 128754 :Treio!~Treio@87.244.233.250 JOIN :#esoteric < 1454425774 851609 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1454426716 539378 :asie!~asie@asie.pl JOIN :#esoteric < 1454426783 189877 :asie!~asie@asie.pl PRIVMSG #esoteric :hello < 1454426797 560766 :MDream!~fyrc@pa-67-235-7-57.dhcp.embarqhsd.net PRIVMSG #esoteric :Hi < 1454427128 62770 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :greetings < 1454427169 427541 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1454427243 692264 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :grtngs < 1454427252 738086 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hi asie < 1454427264 960509 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ahis523 < 1454427268 538405 :asie!~asie@asie.pl PRIVMSG #esoteric :haven't been here for ages < 1454427395 917646 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :one of the ancients! although you were pretty young when you were ancient. < 1454427418 388308 :asie!~asie@asie.pl PRIVMSG #esoteric :yes < 1454427421 166112 :asie!~asie@asie.pl PRIVMSG #esoteric :like < 1454427423 276646 :asie!~asie@asie.pl PRIVMSG #esoteric :i'm 19 now < 1454427426 559666 :asie!~asie@asie.pl PRIVMSG #esoteric :i joined when i was like 11 or 12? < 1454427432 549712 :asie!~asie@asie.pl PRIVMSG #esoteric :that's almost half my life woah < 1454427433 967988 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i recall 11 < 1454427439 317207 :asie!~asie@asie.pl PRIVMSG #esoteric :oerjan: yeah i suspect 2008 < 1454427442 477014 :asie!~asie@asie.pl PRIVMSG #esoteric :still < 1454427461 800663 :asie!~asie@asie.pl PRIVMSG #esoteric :i'm curious as to anything that might've happened that i missed < 1454427463 560761 :asie!~asie@asie.pl PRIVMSG #esoteric :i see a lot more -bots < 1454427476 565362 :asie!~asie@asie.pl PRIVMSG #esoteric :also i did mature a lot, i think so at least < 1454427489 48589 :asie!~asie@asie.pl PRIVMSG #esoteric :at least i think my code doesn't suck as much anymore < 1454427497 204182 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the bots hover around 10% of the channel < 1454427497 205065 :asie!~asie@asie.pl PRIVMSG #esoteric :i guess that's a good measure of maturity < 1454427506 712606 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :oh man, 2008 was that long ago.. < 1454427510 295190 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Hi, asie! < 1454427516 822475 :asie!~asie@asie.pl PRIVMSG #esoteric :Hi, Taneb! < 1454427528 80677 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Jeez, back in 2008 I hadn't got here yet < 1454427533 716948 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :That was... 2010? < 1454427537 116781 :asie!~asie@asie.pl PRIVMSG #esoteric :I'm an ancient who remembers nothing about the ancient days < 1454427539 878983 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :asie: the last time you were here was mar 10 of last year < 1454427545 96832 :asie!~asie@asie.pl PRIVMSG #esoteric :quintopia: I did lurk briefly < 1454427545 939844 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :2008 was about when I joined for the first time probably < 1454427551 625879 :asie!~asie@asie.pl PRIVMSG #esoteric :but I wasn't really active per se < 1454427556 602765 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that was the last time you spoke < 1454427558 871473 :asie!~asie@asie.pl PRIVMSG #esoteric :I think the last time I was active might've been 12-13? < 1454427581 979232 :asie!~asie@asie.pl PRIVMSG #esoteric :even then, it's been ages since i was "into" esolangs < 1454427583 604406 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :wow is it time for one of my many internet-wide encounters with asiekierka < 1454427590 258168 :asie!~asie@asie.pl PRIVMSG #esoteric :mauris: what communities? < 1454427599 118761 :asie!~asie@asie.pl PRIVMSG #esoteric :i know someone who knew me from ZZT and Minecraft. a rare-but-not-surprising combination < 1454427604 476920 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :i'm nooodl! < 1454427606 925839 :asie!~asie@asie.pl PRIVMSG #esoteric :nooodl!? < 1454427609 712724 :asie!~asie@asie.pl PRIVMSG #esoteric :oh man i missed you so much < 1454427612 820969 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :\o/ < 1454427616 104416 :asie!~asie@asie.pl PRIVMSG #esoteric :well, not really, but i liked you a lot < 1454427619 393133 :asie!~asie@asie.pl PRIVMSG #esoteric :so i guess i retroactively miss you now < 1454427632 582940 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :aw~ i am around in here most of the time < 1454427637 358469 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :asikierka... that name sounds familiar < 1454427639 458541 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Hey, didn't you do some DS homebrew at some point? < 1454427641 686648 :asie!~asie@asie.pl PRIVMSG #esoteric :yes i have < 1454427644 119757 :asie!~asie@asie.pl PRIVMSG #esoteric :wireworld ds < 1454427646 877012 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :oh yeah < 1454427647 841593 :asie!~asie@asie.pl PRIVMSG #esoteric :which was 20% code from #dsdev on blitzed < 1454427649 260628 :asie!~asie@asie.pl PRIVMSG #esoteric :40% copypasta < 1454427651 829456 :asie!~asie@asie.pl PRIVMSG #esoteric :40% gluecode < 1454427655 276619 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Haha < 1454427656 633411 :asie!~asie@asie.pl PRIVMSG #esoteric :but i was too young to care < 1454427672 732796 :asie!~asie@asie.pl PRIVMSG #esoteric :then my ds lite's hinge broke < 1454427676 369732 :asie!~asie@asie.pl PRIVMSG #esoteric :and there were no more homebrews < 1454427681 664734 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :It's further than I got when I tried to delve into homebrew < 1454427687 239411 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :remember rocks 'n' diamonds. good times :'> < 1454427690 358152 :asie!~asie@asie.pl PRIVMSG #esoteric :oh yeah < 1454427697 796629 :asie!~asie@asie.pl PRIVMSG #esoteric :it's still around < 1454427699 577481 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :being like freakin', 8 and 9 on the internet < 1454427703 884812 :asie!~asie@asie.pl PRIVMSG #esoteric :they recently put up a git repo for development < 1454427707 185746 :asie!~asie@asie.pl PRIVMSG #esoteric :also yeah < 1454427712 377203 :asie!~asie@asie.pl PRIVMSG #esoteric :being 8 or 9 on the internet was both a blessing and a curse < 1454427715 731110 :asie!~asie@asie.pl PRIVMSG #esoteric :i now feel like an internet native < 1454427718 937256 :asie!~asie@asie.pl PRIVMSG #esoteric :but a real life foreigner < 1454427737 746364 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I didn't get regular on the internet until 2006 I think < 1454427738 808572 :asie!~asie@asie.pl PRIVMSG #esoteric :right now i'm blasting music through a zx spectrum+ 128k i got fixed < 1454427741 543865 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :i know that feeling :( < 1454427745 260940 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I'd have been 11 < 1454427754 747723 :asie!~asie@asie.pl PRIVMSG #esoteric :should port some esolangs to it to learn the z80 < 1454427789 600096 :MDream!~fyrc@pa-67-235-7-57.dhcp.embarqhsd.net NICK :MDude < 1454427821 411965 :asie!~asie@asie.pl PRIVMSG #esoteric :mauris: anyhow, what you missed: i got into slice-of-life cartoons from japan, i got into minecraft modding then got out of it then got into it again repeat a few times, i made some random projects < 1454427821 580494 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hmm, i don't have complete logs on my vps. they're on my old laptop. does anyone have greppable logs to tell me when i first joined? < 1454428276 791622 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i'm pretty sure fizzie does. < 1454428289 736880 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm very idle < 1454428397 540028 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :LexiciScriptor: you around mate? < 1454428416 224977 :LexiciScriptor!~LexiciScr@net-37-117-69-8.cust.vodafonedsl.it PRIVMSG #esoteric :mezkhalin hey < 1454428430 496767 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :ahoy! hows it going? < 1454428477 609484 :LexiciScriptor!~LexiciScr@net-37-117-69-8.cust.vodafonedsl.it PRIVMSG #esoteric :nothing new programming-wise :P < 1454428520 102086 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :well in a sense i guess just taking in the environment your brain is sort of programming :P < 1454428539 7888 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :anyways i wanted to tell you i did get around to writing the article on pisano programming < 1454428540 948521 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I've been trying to prove that insertion sort is a sorting algorithm using Agda < 1454428549 848845 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :It's slow progress < 1454428563 289270 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :don't know what Agda really is, i'll have to look into it < 1454428572 328353 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Proof assistant language < 1454428583 624455 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :It's dependently typed and functional < 1454428587 563839 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :And also total < 1454428593 748581 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :ah ok now i get it, i got the formulation of your sentence completely wrong < 1454428625 100528 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :i grouped "is a sorting algorithm using agda" ie insertion sort is using agda < 1454428648 241215 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Ah, sorry! < 1454428652 519338 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :does sound like a complex task though < 1454428661 934678 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :no dont apologize the fault was mine :) < 1454428680 526329 :LexiciScriptor!~LexiciScr@net-37-117-69-8.cust.vodafonedsl.it PRIVMSG #esoteric :mezkhalin: yesterday I checked some articles about the pisano period and maybe there is an algorithm < O(n^2) < 1454428685 711823 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :i'm not very proficient in parsing text messages very well < 1454428689 832282 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :It's one of the easiest sorting algorithms to prove, I think < 1454428697 605432 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I can do it on paper easily < 1454428731 296353 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :Taneb: i'd still call that impressive by my standards ;) you could regard me as "dumb" really < 1454428746 747301 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :LexiciScriptor: an algorithm for finding the length of p(n) for any n? < 1454428758 74 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Naw, I just have more of a maths background than you, I guess < 1454428760 21258 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :that sounds interesting < 1454428761 203166 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Or at least a different one < 1454428790 248993 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :Taneb: most likely, i only got so far as to an equivalent of 11-12th grade maybe < 1454428809 792964 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :What's that in British? < 1454428812 229958 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :the rest has been hazily distributed reading on the internet :P < 1454428823 755534 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :GCSE level? < 1454428834 503668 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :british um, by the age of 18-19 would be a better scale < 1454428840 385029 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Oh, A-level < 1454428842 955652 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :That's pretty good < 1454428870 944543 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :yeah i'd say so. but not as high as i'd wanted < 1454428884 605155 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :and now i'm almost 25 jeez < 1454429330 49890 :Treio!~Treio@87.244.233.250 QUIT :Quit: Leaving < 1454429410 243298 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :how high is your Taneb? < 1454429411 772161 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :who here knows lots of machine learning algos? < 1454429432 117019 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :mezkhalin: I'm sober < 1454429444 888669 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :And in my third year of university < 1454429488 411946 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :LexiciScriptor: since p(n) cannot be larger than n^2 (can it be larger than n?), you'd think so... < 1454429578 783091 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :Taneb: heh what difference an s can make. nice, you're almost finished then? < 1454429603 842573 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I've got another year (I'm doing a four year course) < 1454429604 900552 :LexiciScriptor!~LexiciScr@net-37-117-69-8.cust.vodafonedsl.it PRIVMSG #esoteric :oerjan: having the modulo sequence, yes < 1454429642 450266 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :you'll end up with a nice degree then and magnificent knowledge < 1454429650 84351 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I certainly hope so < 1454429655 120619 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :oerjan: we're talking pisano sequences here < 1454429685 76766 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :Taneb: given the impression i've gotten you'll do perfectly fine i think :) < 1454429701 961014 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I'm not very good at putting effort into things < 1454429715 39904 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :better than me, that's for sure! < 1454429839 169421 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :oerjan: finding the length of a pisano sequence p(n) for any n yields wildy varying results. there's no general formula afaik < 1454429851 625555 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :*for any n > 0 < 1454430090 205024 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :It is never more than n^2 < 1454430113 342334 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Because there's only n^2 pairs of numbers modulo n < 1454430172 985604 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :oerjan: with n =3, the Pisano sequence is 0, 1, 1, 2, 0, 2, 2, 1 < 1454430181 453066 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Which has length 8 < 1454430419 630935 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Taneb: OEIS says there is an explicit formula for the nth term in terms of the prime factorization of n. So it at least has as much an explicit formula as the totient function does. < 1454430596 606791 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1454431055 715236 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :one month ago https://arin.ga/hyenKJ/raw today https://arin.ga/9X5ujU/raw < 1454431062 848926 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :12 minutes faster! < 1454431214 860219 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Nice! < 1454431240 198186 :asie!~asie@asie.pl PRIVMSG #esoteric :yay! < 1454431263 917564 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mezkhalin: he spoke about an algorithm, not a formula. there's an obvious O(n^2) one (where n is the number, not its bit size) < 1454431371 789936 :LexiciScriptor!~LexiciScr@net-37-117-69-8.cust.vodafonedsl.it PRIVMSG #esoteric :actually it's easy to see (new things for me!) that p(n) <= 6n < 1454431504 674811 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :quintopia: it's not an explicit formula, it just splits up into prime powers and those are still mysterious. < 1454431545 806305 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: same goes for the totient function :) < 1454431553 728368 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 PRIVMSG #esoteric :oerjan: sorry mate, my math is sub subpar so don't take my ramblings as truth or the likes < 1454431587 226692 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :quintopia: no it doesn't. you don't have a formula for a(p^n) (or a(p)) in general. < 1454431599 249131 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you do have that for the totient. < 1454431630 375489 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although i see it's conjectured that p^n follows from p < 1454431682 547297 :mauris!~mauris@unaffiliated/nooodl QUIT :Quit: Leaving < 1454431686 520137 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :quintopia: to be clear, i meant it's still mysterious _after_ you've managed to factorize it. < 1454432241 826993 :Reece`!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1454432844 639944 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1454433008 798219 :Treio!~Treio@87.244.233.250 JOIN :#esoteric < 1454433026 190060 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1454433440 79427 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1454433720 83909 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454433902 734017 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :izabera, is this in brainfuck? < 1454433903 782957 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Wow < 1454433945 164115 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yes < 1454433990 879453 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Impressive! < 1454434024 4227 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :uh i didn't write the mandelbrot, i wrote the interpreter < 1454434029 542292 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Oh < 1454434031 304568 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1454434033 464742 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :It's still impressive! < 1454434036 916944 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Just not your impressive < 1454434043 47004 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Someone else is impressive! < 1454434044 287940 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :heh < 1454434123 664483 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I keep thinking about an idea for an optimizing bf compiler I keep coming back to < 1454434131 588608 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Ought to actually write it sometime < 1454434138 416704 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what's the idea? < 1454434150 598115 :bb010g!uid21050@gateway/web/irccloud.com/x-qirexitemmqeteor JOIN :#esoteric < 1454434198 525735 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Turning balanced single or possibly 2-depth loops into hardcoded polynomials < 1454434206 865673 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1454434231 988958 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i do that < 1454434234 134227 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 240 seconds < 1454434234 470529 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Oooh < 1454434241 491417 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :My intuition wasn't completely loony! < 1454434242 876597 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :well, only for 1-depth < 1454434261 447121 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I think you can do it for 2-depth but I'm not sure < 1454434270 68163 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Shit, I've got to get to a lecture < 1454434272 635090 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Speak to you later < 1454434276 632649 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :bye < 1454434464 928626 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :the most "complex" thing it can optimize is something like a balanced loop with a zero-loop inside of it, like [>>++<+>>>----<<<<[-]] < 1454434975 12188 :Reece`!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Quit: Alsithyafturttararfunar. < 1454435008 790983 :Reece`!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1454436276 833262 :mezkhalin!54dbecd7@gateway/web/freenode/ip.84.219.236.215 QUIT :Ping timeout: 252 seconds < 1454436849 445946 :zadock!~outsider@81.180.208.252 JOIN :#esoteric < 1454437199 723235 :Treio!~Treio@87.244.233.250 QUIT :Ping timeout: 264 seconds < 1454438054 755970 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :polynomials? < 1454438240 520034 :Reece`!~Reece@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Read error: Connection reset by peer < 1454438640 441645 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :well, not really < 1454438666 553232 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1454438715 449266 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :my guess is that Taneb probably means to reduce [>+++<-] to tape[1] += tape[0] * 3; tape[0] = 0 < 1454438718 482861 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :or something < 1454439004 43797 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :is there a faster way to do that than that loop? < 1454439604 149777 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :coppro, at compile time, maybe > 1454439991 179029 JOIN :#esoteric > 1454439995 236075 JOIN :#esoteric > 1454439995 743031 JOIN :#esoteric > 1454440034 417783 JOIN :#esoteric > 1454440038 471594 JOIN :#esoteric > 1454440038 977674 JOIN :#esoteric > 1454440068 412524 JOIN :#esoteric > 1454440072 462145 JOIN :#esoteric > 1454440072 970077 JOIN :#esoteric > 1454440120 926394 JOIN :#esoteric > 1454440124 981648 JOIN :#esoteric > 1454440125 488881 JOIN :#esoteric > 1454440170 411140 JOIN :#esoteric > 1454440174 470403 JOIN :#esoteric > 1454440174 978007 JOIN :#esoteric > 1454440204 416940 JOIN :#esoteric > 1454440208 476111 JOIN :#esoteric > 1454440208 983404 JOIN :#esoteric > 1454440237 925744 JOIN :#esoteric > 1454440241 985106 JOIN :#esoteric > 1454440242 491632 JOIN :#esoteric > 1454440277 823268 JOIN :#esoteric > 1454440281 884183 JOIN :#esoteric > 1454440282 391341 JOIN :#esoteric > 1454440329 643792 JOIN :#esoteric < 1454440331 309636 :glogbot!dlopen@libdl.so JOIN :#esoteric > 1454440333 701727 JOIN :#esoteric > 1454440334 208898 JOIN :#esoteric < 1454440346 138718 :EgoBot!dlopen@libdl.so JOIN :#esoteric < 1454440353 543204 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1454440408 866781 :catern!~catern@catern.com JOIN :#esoteric < 1454440506 756815 :vodkode!~vodkode@fl-71-52-122-10.dhcp.embarqhsd.net JOIN :#esoteric < 1454440757 413603 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Taneb: how? < 1454441175 117987 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :coppro, consider [->[->+>+<<]>>[-<<+>>]<<<] < 1454441229 840098 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :This'll set cell 1 to 0, cell 2 to the sum of cell 2 and cell 4, cell 3 to the sum of cell 3, cell 2, and the product of one less than cell 1 and the sum of cell 2 and cell 4, and cell 4 to 0 < 1454441292 892656 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Assuming the loop is ran at all < 1454441317 758994 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :This can clearly be implemented more efficiently than just looping < 1454441871 117074 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :fair < 1454441903 316339 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I think in a lot of cases it's possible to derive a formula like that automatically < 1454442112 97545 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org JOIN :#esoteric < 1454442669 507730 :bb010g!uid21050@gateway/web/irccloud.com/x-qirexitemmqeteor QUIT :Ping timeout: 240 seconds < 1454442904 990149 :bb010g!uid21050@gateway/web/irccloud.com/x-zdrrzxpqqieehfjo JOIN :#esoteric < 1454442949 418036 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org QUIT :Read error: Connection reset by peer < 1454442984 90656 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org JOIN :#esoteric < 1454443123 248550 :bb010g!uid21050@gateway/web/irccloud.com/x-zdrrzxpqqieehfjo QUIT :Quit: Connection closed for inactivity < 1454443208 250022 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :Taneb: https://arin.ga/2BSrQY/raw < 1454443228 424767 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :(now it can also generate c) < 1454443238 671783 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :(figured it was easier to read for most people) < 1454443539 764356 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :your analysis for cell 3 is too advanced :\ < 1454443785 864968 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :izabera, it's c_n+1 = c_n + b_n, b_n = b_n-1 + d_n-1, and noting that d is almost always 0 < 1454443850 841942 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :And then you can use summation laws < 1454443874 875128 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07GolfScript14]]4 10 02https://esolangs.org/w/index.php?diff=46348&oldid=44531 5* 0394.100.212.168 5* (-239) 10 < 1454444122 606388 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :hard :\ < 1454444254 904989 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :let's see how gcc optimizes that < 1454444315 501429 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :gcc loops < 1454444324 512104 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ACTION feels entitled to not optimize it < 1454444795 113436 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org QUIT :Ping timeout: 276 seconds < 1454444961 900806 :zadock!~outsider@81.180.208.252 QUIT :Quit: Leaving < 1454445246 9586 :mysanthrop!~myname@84.200.43.57 NICK :myname < 1454445942 764631 :nycs!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1454446729 18901 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org JOIN :#esoteric < 1454447326 144885 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1454447496 724258 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1454448066 146550 :gde33!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl QUIT :Ping timeout: 240 seconds < 1454448255 76151 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454448500 802370 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org PRIVMSG #esoteric :91106555419103 < 1454448538 987787 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1454448551 146532 :gde33!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl JOIN :#esoteric < 1454448675 414843 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :is the new largest known prime < 1454448694 103879 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :numbers a little above 19100, such as the 19103 at the end of that, tend to bring thoughts of the Y2K bug to my mind < 1454448702 494809 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I mentally parse it as a typo for 2003 < 1454448719 625615 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ouch < 1454448746 83980 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Y2K genuinely was a problem at one time, but because the effects were recognised in advance, there was time to fix everything important < 1454448806 480226 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we were given leaflets about how to compensate for Y2K (which, for example, recommended setting the year on VCRs to one which had the same day-of-week/day-of-month correspondence to 2000) < 1454448831 576761 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(VCR = videocassette recorder; pretty much obsolete technology nowadays but they were pretty common in 1999) < 1454448836 490658 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :who the hell sotes dates as 3 2-digit-numbers? < 1454448869 651140 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :stores < 1454448889 988407 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org QUIT :Ping timeout: 276 seconds < 1454448978 584273 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :myname: well hardly anyone /nowadays/ < 1454448982 55849 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it was common at the time < 1454448991 925090 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :weird < 1454448999 884446 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although, even now, if you look at a file which has a date as part of the filename < 1454449008 662754 :mauris_!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1454449011 557902 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ddmmyy or yymmdd formats are quite common < 1454449085 91927 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 276 seconds < 1454449347 130306 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yeah. not only in computers, but also printed on paper, such as on bank card POS terminal receipts or food expiry dates. often in very ambiguous formats like yy-mm-dd vs dd-mm-yy vs mm-dd-yy or yy-mm vs mm-yy vs mm-dd vs dd-mm < 1454449374 932741 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :on #tasvideos a while back we were having a debate about hh:mm versus mm:ss < 1454449385 62515 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Luckily at least medicine these days tends to use YYYY-mm or mm-YYYY < 1454449390 914663 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(triggered by a game using hh:mm:ss:ff, with one frame being 1/60 of one second; IMO the colon is correct there but lots of people disagreed) < 1454449395 447719 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :people using dd-mm-yy should burn in hell < 1454449397 119299 :J_Arcane!~chatzilla@37-219-108-222.nat.bb.dnainternet.fi JOIN :#esoteric < 1454449400 744582 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: ah yes < 1454449419 184220 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :myname: no, they should learn to put the extra digits in theyear < 1454449440 814959 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :- should imply yy mm dd < 1454449441 775740 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :people should just use YYYY-mm-dd or YYYYmmdd < 1454449446 488288 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`dateu < 1454449461 666694 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :these / are for crazy orderings < 1454449472 984211 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2016-02-02 21:44:21.269801000+00:00 < 1454449505 108148 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :mm dd yy is just plain crazy < 1454449697 808538 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :myname: so what about dates between 1 and 100 AD/CE? < 1454449742 214591 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what about them? < 1454449773 99535 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :myname: they naturally only have two digits < 1454449789 913498 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a date like 10/11/12 has a lot of possible interpretations < 1454449793 966127 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :perfect < 1454449842 576537 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i never saw a - aeperated date any other way than yy-mm-dd < 1454449854 533594 :mauris_!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 256 seconds < 1454449861 407847 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :only / has these weird "anything goes" attitude < 1454449914 93492 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what about .-separated dates? I think I've seen those as both dmy and ymd < 1454449928 87335 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Then there's the strange traditional unix format of %a %b %_d %H:%M:%S %Z %Y; the unreadable (to me) randomly abbreviated formats like "3 months ago" and "jan 14" and "feb 9 '15" that some websites (like StackExchange) use, and the traditinonal date formats used by the HTTP headers and mail headers. < 1454449935 683774 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :as a german, i only know dd.mm.yy < 1454450005 706715 :vodkode!~vodkode@fl-71-52-122-10.dhcp.embarqhsd.net QUIT :Ping timeout: 245 seconds < 1454450048 77802 :LexiciScriptor!~LexiciScr@net-37-117-69-8.cust.vodafonedsl.it PART :#esoteric < 1454450051 138437 :LexiciScriptor!~LexiciScr@net-37-117-69-8.cust.vodafonedsl.it QUIT :Quit: LexiciScriptor < 1454450294 855081 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :The nastiest abuse of dates though is when the translated label says something to the effect of “See expiration date on cap (month/date)” but the cap actually has expiration in %d/%m format. < 1454450435 120252 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :The only good thing I can say about dates printed on products is that at least when there's only one date shown, it's always the expiry or best before date, not the date of manufacture. < 1454450699 90884 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org JOIN :#esoteric < 1454450820 539635 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Even then there are exceptions: iirc return tickets for train show the purchase date and the start of validity, but not the end of validity. But that's different from products, because they actually have a start of validity that can be in the future. < 1454451044 804668 :__Beavis__!~Adium@84.93.42.125 JOIN :#esoteric < 1454452229 127632 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1454452349 633508 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org PRIVMSG #esoteric :I'm making a new golphy/usable/terse language called "shorthand" (for now) < 1454452358 307082 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org PRIVMSG #esoteric :|sserv fn:m{srv<=ssv.srv;upn:srv.srcv{sck=>(<<-sck)->>sck}} is a cat server < 1454452386 519737 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org PRIVMSG #esoteric :|ssv fn:m{srv<=ssv.srv;upn:srv.srcv{sck=>(<<-sck)->>sck}} < 1454452386 662091 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org PRIVMSG #esoteric : I mean < 1454452526 504694 :mauris!~mauris@unaffiliated/nooodl QUIT :Read error: Connection reset by peer < 1454452555 96286 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1454452679 816640 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org PRIVMSG #esoteric :I just realized that a cat program is basically a repl for that cat programming language < 1454452774 485407 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1454452779 113901 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org PRIVMSG #esoteric :Even better for a cat server, |ssv;srv<=ssv.srv;upn:srv.srcv{sck=>(<<-sck)->>sck} < 1454452906 67573 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 240 seconds < 1454452944 674471 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1454452968 574216 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org PRIVMSG #esoteric :Cat that terminates on EOF: < 1454452969 188841 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org PRIVMSG #esoteric :w!_.ef{gln(inp);out<<-_} < 1454454389 127412 :hppavilion[1]!~Devourero@74-114-87-78.dynamic.asdk12.org QUIT :Ping timeout: 276 seconds < 1454454597 87330 :Trioxin!~Trioxin@64.197.162.2 JOIN :#esoteric < 1454454778 997582 :Trioxin2!~Trioxin@104.156.240.200 QUIT :Ping timeout: 276 seconds < 1454454822 128584 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca QUIT :Quit: :qa! < 1454454904 416236 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1454455124 504268 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 272 seconds < 1454455185 161113 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1454455814 678440 :infinitymaster!~infinitym@c-67-201-229-96.reshall.wwu.edu JOIN :#esoteric < 1454455918 85602 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Ping timeout: 252 seconds < 1454455964 109891 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1454456575 571935 :hppavilion[1]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1454456730 132287 :mauris_!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1454456776 123091 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 252 seconds < 1454456935 38057 :mauris__!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1454457050 612065 :Treio!~Treio@87.244.233.250 JOIN :#esoteric < 1454457111 816162 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1454457157 992034 :mauris_!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 276 seconds < 1454457170 628738 :infinitymaster!~infinitym@c-67-201-229-96.reshall.wwu.edu QUIT :Quit: Leaving...