< 1507766516 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm tempted to just link you to Fractran again :-P < 1507766572 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(note that evaulation order in Fractran doesn't matter for TCness; you can write programs so that only one rule at a time ever applies) < 1507766758 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric : right, but fractran isn't quite like what I'm thinking. < 1507766769 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :it's not that equivalent. < 1507766877 0 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :how so? < 1507766960 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :well, fractran's state is a single number, while a multiset rewriting system's state is, well, a multiset. < 1507766966 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :it's very different. < 1507766967 0 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :abc -> def perfectly translates to 7*11*13/1*3*5 < 1507766979 0 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :2*3*5 < 1507766986 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :imode: convert it to a prime factorisation < 1507766995 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the fact that you can treat that as a single number is mostly just coincidence < 1507767015 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actual fractran programming uses the multiset view pretty much all the time < 1507767016 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloily < 1507767020 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :so you're just choosing primes as the alphabet. < 1507767024 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :aishello < 1507767028 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :himode < 1507767028 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :in fractran. < 1507767029 0 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :exactly < 1507767041 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :alright, I can see that. creative. < 1507767051 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :leibniz would be proud. < 1507767160 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :generalized collatz functions are p cool guys. they golf well and dont afraid of any computable n7mber < 1507767195 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :that however lends itself to larger and larger numbers which is rather inconvenient. < 1507767217 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :but that's really simple, actually. < 1507767241 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: whoa, I didn't know order wasn't required for Fractran < 1507767274 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I can see why it doesn't, because prime factorization's order doesn't matter, and that naturally maps to a multiset. < 1507767298 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean the order of instructions. < 1507767312 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: it's required by the spec, but you can change that part of the spec and it still works < 1507767314 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or whatever those are called. Fractions. < 1507767317 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1507767321 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :fractrans. :P < 1507767361 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I tend to program fractran and thue the same way, i.e. so that the order of evaluation is irrelevant to the program < 1507767382 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fractran is actually probably a more convenient language, thue has bad wire-crossing-like problems < 1507767391 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in that trying to get data from one end of the program to the other is a pain < 1507767396 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can do it, just normally need a huge number of cases < 1507767413 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Since when do people talk about esolangs in here? < 1507767435 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :lol. < 1507767463 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :ais523: yeah that was my initial gripe. because ordering mattered you're essentially constructing a 1D CA with an arbitrary neighborhood. < 1507767470 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :hard to program in. < 1507767495 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: it's more likely when I'm in here (admittedly, not /much/ more likely, and in this case imode started it) < 1507767500 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I like ontopic discussion though < 1507767505 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :whereas an unordered set (or in this case, an unordered multiset) is more convenient. < 1507767536 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :it's not hard to take a unary representation of a number and double it for example, but in thue the representation becomes unwieldy. < 1507767593 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually in thue that's pretty easy if you have a marker at each end < 1507767599 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just run a cursor along the number < 1507767604 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :|1 ::= 11| < 1507767621 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and get the markers at each end to handle the cursor appropriately (they'll need to do something to fit this into your program's control flow) < 1507767992 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Characteristica_universalis leibniz and godel have something in common, in that they fetishized about primes and their properties for uniqueness. :P < 1507768017 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 240 seconds < 1507768182 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :QUINTHELLOPIA, his523, imellode, mynamello, helloochaf. < 1507768198 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :boily: is there a bot capable of that in here? < 1507768218 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't see what benefit a bot woudl have < 1507768229 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although hackego is capable of just about anything as long as the output's a function of the input < 1507768254 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :automation is what keeps bored minds busy. :P < 1507768276 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :automating porthelloes isn't trivial. < 1507768457 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :its almost like correctly conjugating present tense verbs and deciding when to use an article on a noun simultaneously < 1507768505 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily has tried to describe his porthello algorithm and it mostly comes out "however sounds good to me" < 1507768519 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :something like that. < 1507768595 0 :Soni!SoniEx2@unaffiliated/soniex2 QUIT :Ping timeout: 240 seconds < 1507768889 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the algorithm only seems unclear in cases where the original word doesn't have exactly one "o" pronounced as such < 1507769337 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1507770268 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1507770296 0 :tellstogo!3ecd7b2f@gateway/web/freenode/ip.62.205.123.47 JOIN :#esoteric < 1507770619 0 :tellstogo!3ecd7b2f@gateway/web/freenode/ip.62.205.123.47 QUIT :Quit: Page closed < 1507771301 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 258 seconds < 1507771660 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 255 seconds < 1507772476 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1507772799 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : and was accidentally rediscovered by oerjan as a rewriting-like system before he discovered it already existed <-- no, that's a misunderstanding, i had definitely heard of the fraction version (from the math institute's encyclopedia iirc) - i just had no idea what it was _called_. < 1507772815 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, I see < 1507772821 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you called it something else < 1507772841 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and included a symbolic format < 1507773016 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : (note that evaulation order in Fractran doesn't matter for TCness; you can write programs so that only one rule at a time ever applies) <-- istr we found out that was false at some point. < 1507773065 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: oh right, now you mention it, perhaps I misremembered < 1507773084 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in which case I've been spreading misinformation < 1507773094 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(very slowly, on and off over the last several years) < 1507773109 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the problem being that you can't prove, without some evaluation order restriction, that a particular element /isn't/ contained < 1507773113 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in the multiset < 1507773165 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, just when I thought I was informed. < 1507773271 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is one of those proofs that you can remember how it works when you're reminded it exists, but be implicitly certain with no evidence that the opposite is true the rest of the time < 1507773301 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :heh < 1507773424 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess it's because I think of the problem as being control flow (which is trivially fixed), not detecting zero < 1507773461 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't remember 100% how the proof went < 1507773575 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if a fraction can run at p**0 (* other factors) it can also run at p**n (* the same other factors) for higher n; this means that you can't set a value to 0 without already having a defined maximum value for it < 1507773582 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's not the full proof but it's the basic argument < 1507773587 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and everthing else was just details from there < 1507773712 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :something like, if there's a non-halting computation then it must at some point produce a number divisible by a previous one. < 1507773727 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: GUARANTEED CHICKEN < 1507773760 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and then _everything_ divisible by the previous one can avoid halting < 1507773838 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: right < 1507773921 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but there's something like a compactness argument hiding in the details, i smell < 1507774024 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or perhaps it was linear algebra. < 1507774330 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`hello testing < 1507774331 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hello, World! < 1507774335 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`hi testing < 1507774336 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hi testing. Hesting. < 1507774362 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm i vaguely thought there _was_ a porthello command. btwohily. < 1507774376 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`ello testing < 1507774377 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ello: not found < 1507774380 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hmph < 1507774391 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` cd bin; ls *ll* < 1507774392 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :8ball \ 8-ball \ 8ball \ allquotes \ dontaskdonttelllist \ don'taskdon'ttelllist \ hello \ hello-world-in-any-language \ llist \ roll \ tell \ wellcome \ willkommen < 1507774445 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` ls -l bin/8* < 1507774446 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​-rwxr-xr-x 1 5000 0 39 Oct 28 2016 bin/8ball \ -rwxr-xr-x 1 5000 0 39 Oct 28 2016 bin/8-ball \ -rwxr-xr-x 1 5000 0 10 Feb 10 2017 bin/8ball < 1507774475 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` ls -l bin/8* | cat -v < 1507774476 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​-rwxr-xr-x 1 5000 0 39 Oct 28 2016 bin/8ball \ -rwxr-xr-x 1 5000 0 39 Oct 28 2016 bin/8-ball \ -rwxr-xr-x 1 5000 0 10 Feb 10 2017 bin/8^Oball < 1507774489 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm right < 1507774502 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` diff bin/8{,-}ball < 1507774503 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1507774536 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :why is there a literal control-O in the name of that file? < 1507774549 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that's a secret hth < 1507774576 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507774611 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`mkx bin/8-ball/8ball "$@" < 1507774611 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :usage: mk[x] file//contents < 1507774618 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`mkx bin/8-ball//8ball "$@" < 1507774620 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/8-ball < 1507774628 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`8-ball did this work < 1507774628 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :It is decidedly so. < 1507774663 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(i prefer that way of avoiding duplication because links have been known to break) < 1507774726 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` cd bin; ls *el* < 1507774727 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :autowelcome \ delquote \ delvs \ dontaskdonttelllist \ don'taskdon'ttelllist \ elcome \ hello \ hello-world-in-any-language \ help \ makelist \ makelistlist \ pastelog \ pastelogs \ relcome \ reload \ rwelcome \ tell \ velcome \ velkomin \ velkommen \ welcome \ welcome \ Welcome \ welcöme \ welkom \ wellcome < 1507774741 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` cd bin; ls *el* | grep -v elc < 1507774742 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :delquote \ delvs \ dontaskdonttelllist \ don'taskdon'ttelllist \ hello \ hello-world-in-any-language \ help \ makelist \ makelistlist \ pastelog \ pastelogs \ reload \ tell \ velkomin \ velkommen \ welkom \ wellcome < 1507774747 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*sigh* < 1507774765 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh well i guess that was about all < 1507774784 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`thanks oerjan < 1507774785 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, oerjan. Thoerjan. < 1507774795 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` cd bin; ls *port* < 1507774796 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :airport \ airport-lookup \ joustreport \ sport < 1507774800 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's probably what you're remembering < 1507774819 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no, i recall something doing a more advanced attempt < 1507774954 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: having been pranked, you've joined the ranks of the pranksters? tdh < 1507775000 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's a p good rank < 1507776213 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :eso idea: int : float :: interface : floaterface, now we just need to work out what a floaterface is < 1507776215 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :huh. so multiset rewriting is essentially just doing register machine operations.. < 1507776335 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess a floaterface is mostly a generalization of an interface (can represent any interface as long as it's not too large), but also can represent partial interfaces, and becomes approximate in some cases? < 1507776443 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure how to related interfaces to integers < 1507776460 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :relate < 1507776476 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think interfaces are usually totally ordered < 1507776482 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That could be interesting in itself < 1507776627 0 :doesthiswork!~Adium@207.55.82.87 PRIVMSG #esoteric :I just watched a youtube video without adblock on. There are "buy now" advertisements directly beneath the video now < 1507776926 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1507777002 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( interface Foo extends NaN ) < 1507777006 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? italian < 1507777007 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :italian? ¯\(°​_o)/¯ < 1507777011 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hm < 1507777182 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? welcome.it < 1507777183 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :welcome.it? ¯\(°​_o)/¯ < 1507777313 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :doesthiswork: that's just one kind of ad youtube uses. afair it only does that when there isn't a full video ad. < 1507777334 0 :ATMunn!~ATMunn@unaffiliated/atmunn26 QUIT :Quit: /me slaps sleep around a bit with a large bed < 1507777378 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that i've noticed. < 1507777657 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1507777673 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: please write welcome.it twh < 1507778092 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1507778186 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1507779798 0 :MrBismuth!~ArcMrBism@2602:306:8325:a300:89dc:5656:5379:b9ce QUIT :Read error: Connection reset by peer < 1507779982 0 :MrBusiness!~ArcMrBism@2602:306:8325:a300:c801:d7f:77e1:92be JOIN :#esoteric < 1507780431 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds < 1507780580 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1507780862 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 255 seconds < 1507781753 0 :MDude!~MDude@pa-67-234-100-233.dhcp.embarqhsd.net JOIN :#esoteric < 1507782291 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1507782481 0 :Soni!SoniEx2@unaffiliated/soniex2 JOIN :#esoteric < 1507784246 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1507784537 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 260 seconds < 1507785759 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507785824 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1507786749 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507786909 0 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1507786931 0 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1507787256 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507787579 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507787716 0 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1507787738 0 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1507787892 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1507788157 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 255 seconds < 1507788687 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507788966 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507789379 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 258 seconds < 1507789519 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1507789648 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1507789649 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Client Quit < 1507790140 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507790384 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507790646 0 :Slereah__!~Slereah@ALille-651-1-54-182.w2-5.abo.wanadoo.fr JOIN :#esoteric < 1507790681 0 :Slereah!~Slereah@ALille-651-1-54-182.w2-5.abo.wanadoo.fr QUIT :Ping timeout: 240 seconds < 1507791353 0 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1507792309 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507792639 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1507792887 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1507796107 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507797553 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 255 seconds < 1507797791 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507797824 0 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1507798117 0 :augur!~augur@192.195.83.130 QUIT :Ping timeout: 260 seconds < 1507798232 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507798261 0 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 240 seconds < 1507798486 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1507798749 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1507799486 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1507801081 0 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1507801367 0 :LKoen!~LKoen@2a01:e35:2eed:a430:fc2f:2253:89d4:103f JOIN :#esoteric < 1507801666 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507801698 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507801818 0 :xkapastel!uid17782@gateway/web/irccloud.com/x-osnzngbnyierrcvx QUIT :Quit: Connection closed for inactivity < 1507801959 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 246 seconds < 1507802203 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`? welcome < 1507802205 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) < 1507803778 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1507804055 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1507804267 0 :augur!~augur@2601:645:c100:1132:c5a2:62f1:e111:7fc0 JOIN :#esoteric < 1507804541 0 :augur!~augur@2601:645:c100:1132:c5a2:62f1:e111:7fc0 QUIT :Ping timeout: 255 seconds < 1507805121 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1507808085 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1507808525 0 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 240 seconds < 1507808697 0 :LKoen!~LKoen@2a01:e35:2eed:a430:fc2f:2253:89d4:103f QUIT :Remote host closed the connection < 1507809498 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1507809584 0 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Quit: ZNC 1.6.4+deb1 - http://znc.in < 1507809603 0 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1507811122 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: GLACIAL CHICKEN < 1507813332 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1507814357 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1507816982 0 :GeekDude!~G33kDude@unaffiliated/g33kdude QUIT :Ping timeout: 260 seconds < 1507817255 0 :ATMunn!~ATMunn@unaffiliated/atmunn26 JOIN :#esoteric < 1507818336 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1507819084 0 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1507819175 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1507820033 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1507820697 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1507823141 0 :LKoen!~LKoen@2a01:e35:2eed:a430:fc9f:4e79:1fca:233c JOIN :#esoteric < 1507823446 0 :LKoen!~LKoen@2a01:e35:2eed:a430:fc9f:4e79:1fca:233c QUIT :Ping timeout: 264 seconds < 1507823528 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1507825909 0 :augur!~augur@2601:645:c100:1132:c5a2:62f1:e111:7fc0 JOIN :#esoteric < 1507826238 0 :augur!~augur@2601:645:c100:1132:c5a2:62f1:e111:7fc0 QUIT :Remote host closed the connection < 1507826305 0 :augur!~augur@2601:645:c100:1132:c5a2:62f1:e111:7fc0 JOIN :#esoteric < 1507826769 0 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1507826795 0 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1507827063 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1507827776 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1507828241 0 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric < 1507828833 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1507829125 0 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Rebooting < 1507829748 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1507829766 0 :augur!~augur@2601:645:c100:1132:c5a2:62f1:e111:7fc0 QUIT :Remote host closed the connection < 1507832019 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1507833145 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1507833635 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1507834895 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1507835035 0 :jaboja!~jaboja@jaboja.pl QUIT :Remote host closed the connection < 1507835438 0 :AnotherTest!~turingcom@d51A46C74.access.telenet.be QUIT :Ping timeout: 246 seconds < 1507835510 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 255 seconds < 1507835971 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507836235 0 :AnotherTest!~turingcom@ptr-82l26zdc3u707l4uyiy.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1507836634 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1507836989 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507837091 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1507837264 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507837422 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1507838108 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507838533 0 :Slereah!~Slereah@ALille-651-1-46-195.w2-5.abo.wanadoo.fr JOIN :#esoteric < 1507838543 0 :Slereah__!~Slereah@ALille-651-1-54-182.w2-5.abo.wanadoo.fr QUIT :Ping timeout: 248 seconds < 1507838556 0 :Slereah!?@? NICK :Guest95245 < 1507839464 0 :GeekDude!~G33kDude@unaffiliated/g33kdude JOIN :#esoteric < 1507839709 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507839805 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1507839844 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1507839958 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507840196 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507840390 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507840694 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507840971 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507841029 0 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1507841377 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507842372 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507842699 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507843378 0 :^v!v^@me.pxtst.com PRIVMSG #esoteric :welp < 1507843384 0 :^v!v^@me.pxtst.com PRIVMSG #esoteric :i've mastered SKI calc < 1507843410 0 :^v!v^@me.pxtst.com PRIVMSG #esoteric :it's time to transcend existence into the esoteric realm < 1507843440 0 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :huh? is ski conscidered hard in any way? < 1507843755 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507843760 0 :^v!v^@me.pxtst.com PRIVMSG #esoteric :myname, succ = S(K(S(S(K(S))(S(K(K))(S(K)(K))))))(S(S(K(S))(S(K(S(K(S))))(S(K(S))(S(K(K))(S(K(S))(S(K(K))(S(K)(K)))))(S(K(K))(S(K)(K))))))(K(K(S(K)(K))))) < 1507843768 0 :^v!v^@me.pxtst.com PRIVMSG #esoteric :all this does is take a church number and add 1 < 1507843814 0 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :so? < 1507843828 0 :^v!v^@me.pxtst.com PRIVMSG #esoteric :its complicated af < 1507843857 0 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :i mean, yeah, i couldn't write it out freely, but conversion from and to lambda calculus is pretty easy < 1507843884 0 :^v!v^@me.pxtst.com PRIVMSG #esoteric :yeah i'm making my language convert lambda calc to SKI < 1507844024 0 :^v!v^@me.pxtst.com PRIVMSG #esoteric :if the existing output wasnt already horrendous < 1507844204 0 :Slereah__!~Slereah@ALille-651-1-168-242.w90-1.abo.wanadoo.fr JOIN :#esoteric < 1507844247 0 :Guest95245!~Slereah@ALille-651-1-46-195.w2-5.abo.wanadoo.fr QUIT :Ping timeout: 240 seconds < 1507845760 0 :xkapastel!uid17782@gateway/web/irccloud.com/x-wtrjpnisdviwptke JOIN :#esoteric < 1507846305 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507846607 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 248 seconds < 1507847764 0 :brandonson!~brandon@208.91.114.1 QUIT :Remote host closed the connection < 1507847783 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1507847869 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507848236 0 :AnotherTest!~turingcom@ptr-82l26zdc3u707l4uyiy.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 258 seconds < 1507848626 0 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1507848685 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507848862 0 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 264 seconds < 1507848928 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507848981 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1507849075 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1507849770 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that seems overly complicated, hmm < 1507849854 0 :Guest95245!~Slereah@ALille-651-1-51-11.w2-5.abo.wanadoo.fr JOIN :#esoteric < 1507849952 0 :Slereah__!~Slereah@ALille-651-1-168-242.w90-1.abo.wanadoo.fr QUIT :Ping timeout: 260 seconds < 1507850017 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507850249 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507850621 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :^v: how about S (S (K S) K) < 1507850668 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(which is much smaller than I expected, yay) < 1507850676 0 :Guest95245!~Slereah@ALille-651-1-51-11.w2-5.abo.wanadoo.fr PRIVMSG #esoteric :Converting lambda to SKI is trivial, though the hard part is finding an expression that's short < 1507851348 0 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com QUIT :Quit: Leaving. < 1507851377 0 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com JOIN :#esoteric < 1507851404 0 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com QUIT :Client Quit < 1507851557 0 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com JOIN :#esoteric < 1507851882 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1507852025 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507852558 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection