< 1488931200 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like the naming scheme for your meeting rooms. < 1488931211 0 :fizzie!?@? PRIVMSG #esoteric :Well, we've got many. < 1488931290 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean the confusing one. < 1488931351 0 :fizzie!?@? PRIVMSG #esoteric :I have my weekly 1:1s in Hell. < 1488931381 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Soon you'll join this fellow in hell! -- the Wizard of Yendor < 1488931419 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net JOIN :#esoteric < 1488931831 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :could be worse, like a cafeteria named hell < 1488931997 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :Jafet: where you are not sure if that pink gelatinous blob is a) spam with too much gelatin in it, b) some sort of desert, c) something gone bad or d) both all of these and none < 1488932065 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :well, you'd get a tired movie quote every time your team has a deadline < 1488932260 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is PRIVMSG #esoteric :redbelly might not be a good name then (is: rauðmagi) < 1488932723 0 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :Ping timeout: 246 seconds < 1488933113 0 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1488933260 0 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :Read error: Connection reset by peer < 1488933546 0 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1488934908 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`wisdom < 1488934909 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :oerjan//Your wise ass-@messages-lord fanfic oerjan is a lazy expert in mercury computation. Also a Glaswede who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. < 1488935801 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :`wisdom < 1488935803 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ehird//ehird is the person who Taneb definitely isn't. < 1488935814 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`w < 1488935816 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bø//Bø is not just one, but _two_ municipalities in Norway. And not just three, but at least _four_ farms. Ah ah ah ah ah! < 1488935830 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :Wowee! < 1488935856 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`5 < 1488935859 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/3:775) olsner: over the undertow! under the overpass! around the future and not just fnord for example. it's just the syntax \ 567) (Of Minecraft:) So basically I didn't understand what it was at all, I thought maybe you were meant to be like a worm and just sort of wriggle about underground. \ 33) [...] s < 1488935860 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`n < 1488935860 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2/3:ometimes i cant get out of bed becasue the geometry of the sheet tangle is too fascinating from a topological perspective \ 724) ais523: thats very zen really no, it's more or less the opposite of zen \ 640) pikhq: And of course Rick Perry, saying that there's something wrong with a country where gays can < 1488935862 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`n < 1488935863 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :3/3: serve in the military but we don't elect a douchebag as president. < 1488935883 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :
ACTION ponderous
< 1488935896 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` doat | grep Perry < 1488935901 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :7212:2016-03-14 learn pbflist is update notification for the Perry Bible Fellowship webcomic. http://pbfcomics.com/ < 1488935908 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess nitia added it. < 1488935913 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The good old days. < 1488936006 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :hellorkin. < 1488936020 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :Long Live Nitia. May the Diæresis be with You. < 1488936050 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :hëllö < 1488936321 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Quit: Zarutian < 1488937330 0 :MDude!~MDude@pa-67-234-94-147.dhcp.embarqhsd.net QUIT :Ping timeout: 268 seconds < 1488938456 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :wtf, now austria was taken over my savoy? < 1488938466 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :*by < 1488938489 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's what happens when your builds are slow. < 1488938517 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Have you ever noticed that "slow" and "scow" differ by only one letter? < 1488938663 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1488938671 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1488939738 0 :MDude!~MDude@pa-67-234-94-147.dhcp.embarqhsd.net JOIN :#esoteric < 1488939978 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net QUIT :Quit: BROKER CHICKEN < 1488941640 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :Is there such a predecimal coin as 2 bob 1 pence? < 1488941722 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You mean, currencies called bob and pence with a fixed exchange rate? < 1488941751 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :according to http://projectbritain.com/moneyold.htm a florin was called 2 bob hth < 1488941792 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :But that is only 2 bob, not 2 bob 1 pence, it is a bit short. I do know of a florin and it is a bit less < 1488941818 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, a coin with that value? < 1488941846 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :Yes, that is what I mean < 1488944212 0 :moony!~moonythed@unaffiliated/moonythedwarf QUIT :Remote host closed the connection < 1488946577 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1488947223 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :The system in harry potter is all kinds of f'd up < 1488947256 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :17 and 29? really? ugh < 1488947343 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Prime numbers are more magic. < 1488947368 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :but are they MoR magic? < 1488947440 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :of researchers polled about P = NP: “126 (83%) believed the answer to be no, 12 (9%) believed the answer is yes, 5 (3%) believed the question may be independent of the currently accepted axioms and therefore impossible to prove or disprove, 8 (5%) said either don't know or don't care or don't want the answer to be yes nor the problem to be resolved.” < 1488948055 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I think the answer is currently no, but it is possible that such problems can be solved by a computer of a different kind < 1488948131 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :P = NP isn't a question about what computers that you can build can do, it's a question about Turing machines. < 1488948170 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :right. so I think it might be possible to construct a computer with more theoretical power than a turing machine. < 1488948225 0 :Hoolootwo!~Hoolootwo@hooloovoo.blue PRIVMSG #esoteric :I'm not convinced we can construct a computer with infinite memory :P < 1488948231 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :at which point P = NP would be rendered a less interesting question < 1488948240 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That seems likely (though I doubt you can build a nondeterministic turing machine), but it's irrelevant to P=NP. < 1488948255 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think it's an interesting question anyway. < 1488948273 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :oh, exactly one of the respondents did not want it to be resolved < 1488948280 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :job security, I guess < 1488948287 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can you believe people don't even know whether P=PSPACE? < 1488948295 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Computer scientists are clueless. < 1488948306 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :they're to egotistic to take the I out of the picture < 1488948312 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :*too < 1488950114 0 :pikhq!~pikhq@c-24-8-135-139.hsd1.co.comcast.net PRIVMSG #esoteric :At least we're certain P is a subset of PSPACE! < 1488950157 0 :pikhq!~pikhq@c-24-8-135-139.hsd1.co.comcast.net PRIVMSG #esoteric :(but if P=PSPACE then P=NP) < 1488950279 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :POOCHTIME ⊆ POOCHSPACE < 1488950305 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :POOCHTIME ⊆ SMOOCHTIME < 1488951654 0 :augur_!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1488951750 0 :augur__!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1488951751 0 :augur_!~augur@noisebridge130.static.monkeybrains.net QUIT :Read error: Connection reset by peer < 1488951755 0 :augur__!?@? NICK :augur_ < 1488951789 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Read error: Connection reset by peer < 1488953742 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :Do you like the shorter implementation of Myth that I made up? Do you like my suggestion of the variant also? < 1488953980 0 :zzo38!~zzo38@24-207-44-58.eastlink.ca PRIVMSG #esoteric :Also, is the link for 140 bytes contest even valid? < 1488957914 0 :impomatic!~impomatic@host81-136-80-8.range81-136.btcentralplus.com QUIT :Quit: http://corewar.co.uk < 1488961629 0 :AnotherTest!~turingcom@ptr-82l26zfahy2tmyek7p5.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1488962529 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :sdfasdf < 1488962706 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :good point < 1488962722 0 :erkin!~erkin@unaffiliated/erkin PRIVMSG #esoteric :shachaf: Where does SPOOCHTIME come into play? < 1488963176 0 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying... < 1488963560 0 :SirDarius!~SirDarius@91.199.242.236 JOIN :#esoteric < 1488964151 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that a combination spoon/pooch? < 1488964688 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: I didn't play but if there is a way I suspect I know what it is. (naq vg'f npghnyyl n znc... whfg cynprq va n jnl gung lbh unir frireny zvahgrf gb pbzcyrgryl sbetrg nobhg vg) < 1488964721 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and if that's it it's something that I might have missed forever anyway. < 1488964797 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, that's it. < 1488964811 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No spoilers saying it now since you'll certainly check. < 1488964873 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I suppose saying it existed was kind of spoilers. < 1488965613 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it's okay. < 1488965774 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I should've expected this, rather than thinking that the developers are a bunch of assholes, but I opted for the latter :P < 1488965823 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But memorizing the path is still annoying. < 1488966089 0 :hppavilion1!~dosgmowdo@58-0-174-206.gci.net QUIT :Ping timeout: 240 seconds < 1488966315 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm considering to use pen and paper. < 1488966777 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What you need is someone next to you who can focus on remembering the path. < 1488966799 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :One time I got lucky and the correct path was all the way to the right and then all the way up. < 1488966810 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But then I did badly on a bunch of other puzzles. < 1488968125 0 :augur_!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1488969093 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1488969168 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so much for sleeping < 1488970293 0 :augur!~augur@2602:304:cdac:e260:dca5:8aca:ab58:fe48 JOIN :#esoteric < 1488970498 0 :augur!~augur@2602:304:cdac:e260:dca5:8aca:ab58:fe48 QUIT :Remote host closed the connection < 1488970908 0 :augur!~augur@2602:304:cdac:e260:dca5:8aca:ab58:fe48 JOIN :#esoteric < 1488972360 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: I'm also planning on just restarting if the path is not a zigzag :P < 1488972728 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@unlambda ``@i`|cT < 1488972729 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : T < 1488972734 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1488972815 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net JOIN :#esoteric < 1488973118 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`wisdom < 1488973122 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I golfed down my code 5 further bytes < 1488973125 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :styrofoam//styrofoam is Taneb's only weakness. < 1488973135 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :booda fternoily < 1488973147 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :b_jellonas. aiming for the most golf code? < 1488973157 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :bon matœrjan! couldn't sleep? < 1488973172 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i stayed up too late < 1488973182 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :boily: not necessarily, but I want to golf it while keeping the underlying beauty of how the evaluation step is just pack-unpack-pack-unpack < 1488973193 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :boily: http://codegolf.stackexchange.com/a/112163/6691 < 1488973197 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and then woke up after 5 hours or so < 1488973217 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you could probably get a somewhat shorter solution that doesn't try to use this method, but like arrays or bitwise stuff or something < 1488973225 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :why isn't my unlambda code working when my previous test did :( < 1488973237 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if you do, you should post it separately < 1488973429 0 :augur!~augur@2602:304:cdac:e260:dca5:8aca:ab58:fe48 QUIT :Remote host closed the connection < 1488973514 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Deadfish i14]]4 10 02https://esolangs.org/w/index.php?diff=51305&oldid=30640 5* 03GermanyBoy 5* (+243) 10added link to implementation < 1488973533 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :damn, what's @ < 1488973568 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: read character < 1488973616 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Ah. < 1488973619 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(then apply argument to i if you succeeded) < 1488973628 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(or to v otherwise.) < 1488973689 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i'm trying to debug my code in TIO, but something's wrong even though the central part is already tested. < 1488973771 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Deadfish i14]]4 10 02https://esolangs.org/w/index.php?diff=51306&oldid=51305 5* 03GermanyBoy 5* (+148) 10added note about interpreters < 1488974319 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :now i cannot get the already tested part to work :( < 1488974471 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric ::( < 1488974539 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: typical < 1488974963 0 :dok!~dok@91.160.75.97 QUIT :Ping timeout: 264 seconds < 1488974970 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ok the part tested before that still works. < 1488975200 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? password < 1488975202 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The password of the month is n9y25ah7 < 1488975233 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`learn The password of the month is OSBDemoLap9W53! < 1488975236 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Relearned 'password': The password of the month is OSBDemoLap9W53! < 1488975347 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what? really? < 1488975441 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :where do the passwords of the month come from? < 1488975556 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh duh i forgot the self application < 1488975569 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i have no idea where the latest one came from < 1488975577 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :boily: well, for the last two, one was a tweet by Sean Spicer, and the other comes from a CIA document leaked by Wikileaks. < 1488975647 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I guess that means I should be sorry for all residents who are government contractors or employees with security clearance in the US) < 1488975684 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :...didn't help. < 1488975745 0 :LKoen!~LKoen@2a01:e35:2eed:a430:44fa:2f45:d31c:44ad JOIN :#esoteric < 1488975812 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: well what *are* you trying to do? < 1488975829 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i'm trying to parse a digit in unlambda. < 1488975835 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :into a church numeral. < 1488975836 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ah, eww. < 1488975861 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the part of my code that counts v's until the next i argument is working. < 1488975885 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the part that _skips_ v's until the next i argument, then passes to the first part _was_ working previously. < 1488975896 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or so i thought my test showed. < 1488975955 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(once i have those, it should be a simple matter of wrapping `?9`?8 ... around it. < 1488976275 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net QUIT :Quit: BRASS CHICKEN < 1488976316 0 :impomatic!~digital_w@host81-136-80-8.range81-136.btcentralplus.com JOIN :#esoteric < 1488976409 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ok it's working again. i'm not entirely sure what i changed in the test code, i may have confused i's and v's. < 1488976716 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :gah now i'm forgetting the @ < 1488976773 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yay, it parsed a 4 < 1488976853 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@unlambda ``@i````?0`?1`?2`?3`?4`?5`?6`?7`?8`?9```sii``s`k`s`kc``s``s`ks``s`kk``s`ks``s`kk``s`kd``s`kk``sii`k``ss`k`k````sii``s`k`s`k`s`kc``s``s`ks``s`k`s`ks``s`k`s`kk``s`k`s`ks``s`k`s`kk``s`k`s`kd``s`k`s`kk``s``s`ks``s``s`kskk`k`s``s`ksk`k``s`k`ss``s`kkk`kii.*i < 1488976854 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : * < 1488976859 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :argh < 1488976865 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh < 1488976879 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@unlambda ``@i````?0`?1`?2`?3`?4`?5`?6`?7`?8`?9```sii``s`k`s`kc``s``s`ks``s`kk``s`ks``s`kk``s`kd``s`kk``sii`k``ss`k`k````sii``s`k`s`k`s`kc``s``s`ks``s`k`s`ks``s`k`s`kk``s`k`s`ks``s`k`s`kk``s`k`s`kd``s`k`s`kk``s``s`ks``s``s`kskk`k`s``s`ksk`k``s`k`ss``s`kkk`kii.*i7 < 1488976879 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ******* < 1488976883 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :there you go < 1488976951 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :next step: parsing a whole number < 1488976955 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1488978441 0 :dok!~dok@91.160.75.97 JOIN :#esoteric < 1488979560 0 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 240 seconds < 1488980993 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1488981999 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :
ACTION aaaaaaaaah
< 1488982025 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I've just unofficially heard that I'm going to be offered PhD funding < 1488982078 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: NICE! congrats < 1488982082 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :where and in what topic? < 1488982118 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I mean, roughly where and in roughly what topic, you don't have to give the detailed phd research program you have to submit here, only a very short version < 1488982335 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Newcastle University, applying graph theory for compilers targetting many-core architecture < 1488982401 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Sounds scary, which is normal for a PhD research topic. Thanks. < 1488982436 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :With the guy who wrote this: https://blogs.ncl.ac.uk/andreymokhov/graphs-a-la-carte/ < 1488982440 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(warning: Haskell) < 1488982476 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :you make Haskell sound scary < 1488982488 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :when in reality it's just lens :-P < 1488982521 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I mean that's what is scary, to me...) < 1488984091 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: thanks for the link though I'm really more interested in the predecessor post :) < 1488984133 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Ah, I meant to link to that one < 1488984798 0 :LKoen!~LKoen@2a01:e35:2eed:a430:44fa:2f45:d31c:44ad QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1488984978 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1488985064 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fun little exercise < 1488985103 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(this one: "prove that ε is the identity of + from the minimal set of axioms above. [...] Also prove that + is idempotent") < 1488987810 0 :Marcela_Gandara1!~Marcela_G@181-18-69-170.dyn.movilnet.com.ve JOIN :#esoteric < 1488988343 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1488988769 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :adsf < 1488988997 0 :Marcela_Gandara1!~Marcela_G@181-18-69-170.dyn.movilnet.com.ve QUIT :Ping timeout: 260 seconds < 1488989201 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hm < 1488989260 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :could you give an FSA or PDA-level language a surreal "forever" construct/zeno construct/infinity construct that would allow it to run countably infinitely many instructions in finite time, and would it gain a computational level as a result? < 1488989343 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :fsa it would be useless because fsas all halt or recur anyway < 1488989354 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :could be interesting with a pda < 1488989469 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :offhand i can't immediately tell from google whether halting is decidable for PDAs < 1488989894 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Quit: Zarutian < 1488990847 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :I think the FSA equivalent to the zeno construct would be allowing an infinite number of states < 1488990879 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :which, does, indeed, make it TC, I believe < 1488990996 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :and allowing an uncountably infinite number would probably make it super-TC < 1488991126 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Zeno14]]4 10 02https://esolangs.org/w/index.php?diff=51307&oldid=51301 5* 03Rdococ 5* (+30) 10yaya < 1488991216 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hm < 1488991222 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :what about hyper-lazy evaluation < 1488991259 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :expressions are never evaluated, even when needed. they are only evaluated when they need to be printed to the screen. < 1488991292 0 :mtve!~mtve@fortress3.myftp.org JOIN :#esoteric < 1488991297 0 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1488992337 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric : I think the FSA equivalent to the zeno construct would be allowing an infinite number of states < 1488992349 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :this is basically just turning it into a turing machine < 1488992439 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric : which, does, indeed, make it TC, I believe < 1488992601 0 :SirDarius!~SirDarius@91.199.242.236 QUIT :Quit: Leaving < 1488992686 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :sure, my point is more that it's not a very interesting way of making it tc < 1488992758 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :true < 1488992788 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :I really want a more intriguing way to make a TC language super-TC, other than adding a surreal forever construct < 1488993057 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1488993418 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :int-e, I ended up proving that in Agda < 1488993699 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :proving what < 1488993881 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Phantom_Hoover, given the axioms that + is commutative ans associative, (G, →, ε) is a monoid, → distributes over +, and x → y → z = x→y + x→z + y→z, prove that ε is the identity of +, and that + is idempotent < 1488993887 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(taken from https://blogs.ncl.ac.uk/andreymokhov/an-algebra-of-graphs/ ) < 1488994262 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-wageeipgknzuqqmc QUIT :Excess Flood < 1488994359 0 :hppavilion1!~dosgmowdo@74-114-87-69.dynamic.asdk12.org JOIN :#esoteric < 1488994379 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-udehuqflcjkwpqna JOIN :#esoteric < 1488996028 0 :hppavilion1!~dosgmowdo@74-114-87-69.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1488996291 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1488996301 0 :hppavilion1!~dosgmowdo@74-114-87-69.dynamic.asdk12.org JOIN :#esoteric < 1488999185 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1488999764 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm, Isabelle makes this almost pointless < 1488999863 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :http://int-e.eu/~bf3/tmp/Graph.thy.png < 1488999894 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(those "metis" lines were generated by sledgehammer... no manual collecting of facts was involved) < 1489000005 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(the Graph.thy file is there too but it's not very readable with the text encoded unicode symbols) < 1489000063 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION solved that exercise in a vim window
< 1489000076 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I used emacs ;) < 1489000084 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :HERESY < 1489000124 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :http://int-e.eu/~bf3/tmp/graph.trs is what I produced manually < 1489000149 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(it's a .trs file because I tried to use a completion tool on it but the one I used failed) < 1489000158 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :argh no newlines in IE < 1489000187 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the source view was better < 1489000187 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm, no content-type, I may be able to fix that < 1489000254 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: why do you hate infix notation tdnh < 1489000285 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :now it's text/plain would that be better? < 1489000298 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no, it's still prefix < 1489000311 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :then I don't know what the problem is. < 1489000327 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :... < 1489000332 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: I don't hate infix, I just wanted to stick to the TRS format... and then suddenly I was adding 5 terms. < 1489000351 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :so I gave in at that one point :P < 1489000438 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: after all that practice yesterday I beat the mountain king in two attempts today < 1489000511 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :your first two lemmas are the same as my first two lines, at least < 1489000516 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :517+105. +100 was the rpyvcfr, I thought it fitting to do that right after that race. < 1489000527 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(after i cleaned it up) < 1489000643 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but then i did idempotency from that < 1489000652 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :also I proved +(0,0) = 0 last. < 1489000666 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :um that's your second lemma < 1489000676 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :chronologically < 1489000692 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ok. because that made the rest trivial. < 1489000764 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although i had z = e + z + z earlier. < 1489000832 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm Taneb said + was commutative, did you ignore that? < 1489000856 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well it's listed < 1489000924 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it's possible that I didn't think of using it somewhere < 1489000935 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but I did not consciously choose to ignore it < 1489000954 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well you have both left and right identity lemmas < 1489000966 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yes. < 1489000973 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :didn't think of it too much :P < 1489000976 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :avout < 1489000978 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :about < 1489000995 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :WELL PROVED, ANYWAY < 1489001002 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric ::P < 1489001015 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :hi < 1489001051 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :now that you mention it, it's funny that the two proofs in isabelle come out so differently < 1489001183 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :anyway, commutativity is indeed not needed to prove those three laws. fun. < 1489001297 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :nor is the associativity of the arrow? fancy. < 1489001436 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :associativity of the arrow follows from the remaining laws. fun. < 1489001458 0 :hppavilion1!~dosgmowdo@74-114-87-69.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1489001680 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Sounds like you have more jams than I do. < 1489001686 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Are you going for all the jams? < 1489001692 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Ah. (x --> y) --> z = (x --> y) --> (E --> z), and then you can do decompositions... < 1489001721 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: I don't know yet. But I've googled maximum scores now... I might just try. < 1489001757 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you have a second +? < 1489001764 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :no. < 1489001788 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think I was at ~500+70 < 1489001803 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did you listen to the eclipse lecture? < 1489001819 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :partly < 1489001825 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I cooked dinner < 1489001859 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What did you cook? < 1489002002 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :please ignore the proof attempt, proving (x --> y) --> z = (x --> y) --> z may not be so interesting after all. < 1489002015 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: nothing fancy, some pasta with sausages < 1489002076 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fresh pasta? < 1489002246 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :never mind the associativity, I had messed up the decomposition law... formalization doesn't prevent typos :-( < 1489002337 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I didn't make it myself if that's what you mean. < 1489002413 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I didn't spend much time in the kitchen either ;) < 1489002552 0 :augur!~augur@2602:304:cdac:e260:dca5:8aca:ab58:fe48 JOIN :#esoteric < 1489004167 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Natyre14]]4 N10 02https://esolangs.org/w/index.php?oldid=51308 5* 03Keymaker 5* (+2697) 10Time for this one to see the daylight... A new type of counter machine language. < 1489004218 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Keymaker14]]4 10 02https://esolangs.org/w/index.php?diff=51309&oldid=46759 5* 03Keymaker 5* (+69) 10Listed Natyre. < 1489004368 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1489004474 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Keymaker14]]4 10 02https://esolangs.org/w/index.php?diff=51310&oldid=51309 5* 03Keymaker 5* (+68) 10Forgot something... < 1489004644 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1489004714 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1489005246 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@unlambda ``@``` `d``s`k`s``s`ks``s`kk``?0`?1`?2`?3`?4`?5`?6`?7`?8`?9```sii``s`k`s`kc``s``s`ks``s`kk``s`ks``s`kk``s`kd``s`kk``sii`k``ss`k`k````sii``s`k`s`k`s`kc``s``s`ks``s`k`s`ks``s`k`s`kk``s`k`s`ks``s`k`s`kk``s`k`s`kd``s`k`s`kk``s``s`ks``s``s`kskk`k`s``s`ksk`k``s`k`ss``s`kkk`kii`s`k``s``s`ksk```s``s`kski``s``s`ksk``s``s`kski i .* i4 < 1489005247 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : unlambda: Unknown operator '4' < 1489005247 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : CallStack (from HasCallStack): < 1489005247 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error, called at Main.hs:45:38 in main:Main < 1489005265 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm now what < 1489005307 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@unlambda ``@i``` `d``s`k`s``s`ks``s`kk``?0`?1`?2`?3`?4`?5`?6`?7`?8`?9```sii``s`k`s`kc``s``s`ks``s`kk``s`ks``s`kk``s`kd``s`kk``sii`k``ss`k`k````sii``s`k`s`k`s`kc``s``s`ks``s`k`s`ks``s`k`s`kk``s`k`s`ks``s`k`s`kk``s`k`s`kd``s`k`s`kk``s``s`ks``s``s`kskk`k`s``s`ksk`k``s`k`ss``s`kkk`kii`s`k``s``s`ksk```s``s`kski``s``s`ksk``s``s`kski i .* i4 < 1489005308 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ************** < 1489005329 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :1*10 + 4 < 1489005423 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@unlambda ``@i``` `d``s`k`s``s`ks``s`kk``?0`?1`?2`?3`?4`?5`?6`?7`?8`?9```sii``s`k`s`kc``s``s`ks``s`kk``s`ks``s`kk``s`kd``s`kk``sii`k``ss`k`k````sii``s`k`s`k`s`kc``s``s`ks``s`k`s`ks``s`k`s`kk``s`k`s`ks``s`k`s`kk``s`k`s`kd``s`k`s`kk``s``s`ks``s``s`kskk`k`s``s`ksk`k``s`k`ss``s`kkk`kii`s`k``s``s`ksk```s``s`kski``s``s`ksk``s``s`kski ```s``s`kski``s``s`kski .* i2 < 1489005423 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ****************************************** < 1489005430 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :4*10+2 < 1489005907 0 :DHeadshot_!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1489005928 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 240 seconds < 1489006223 0 :hppavilion1!~dosgmowdo@74-114-87-69.dynamic.asdk12.org JOIN :#esoteric < 1489007000 0 :hppavilion1!~dosgmowdo@74-114-87-69.dynamic.asdk12.org PRIVMSG #esoteric :At 2.122e+10 YHz, a sound travelling through air would (in an ideal environment) have a wavelength at the Planck Length < 1489007014 0 :hppavilion1!~dosgmowdo@74-114-87-69.dynamic.asdk12.org PRIVMSG #esoteric :Anything higher pitched than that and physics would break (I'm pretty sure). < 1489007033 0 :hppavilion1!~dosgmowdo@74-114-87-69.dynamic.asdk12.org PRIVMSG #esoteric :(I mean, obviously you'd just mess up the air eventually, but that's in theory) < 1489007220 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :remember that the frequency also is proportional to the single particle energy < 1489007241 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so the sonon is going to be earth-shattering. < 1489007280 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm it must be called something else. < 1489007308 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ah phonon < 1489007661 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I wonder what frequency is the physical maximum < 1489007720 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :at a certain point vibrating object would be supersonic < 1489007733 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 JOIN :#esoteric < 1489007773 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :ais523: I posted that modified obfu stuff I was talking about the last Friday. http://codegolf.stackexchange.com/a/112163/6691 < 1489007785 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :The pack-unpack-pack-unpack thing < 1489008238 0 :hppavilion1!~dosgmowdo@74-114-87-69.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1489008518 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Though I prefer the original obfu post to this golf version. < 1489009561 0 :Perenelle!~AndChat63@199-15-222-253-pppoe.toledotel.com JOIN :#esoteric < 1489009600 0 :Perenelle!~AndChat63@199-15-222-253-pppoe.toledotel.com QUIT :Client Quit < 1489011232 0 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1489011297 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm program is not returning the right number, but it _is_ calling the right I/O functions in the right order. < 1489011314 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION learning how to printf debug unlambda
< 1489011358 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's easy for a primitive function, just put `d`.D where D is your chosen debug character. < 1489011362 0 :hppavilion1!~dosgmowdo@74-114-87-69.dynamic.asdk12.org JOIN :#esoteric < 1489011455 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i need to find a way to print the recursion argument... it _should_ be a church numeral so it's just a matter of where to put the dang thing < 1489012165 0 :augur!~augur@2602:304:cdac:e260:dca5:8aca:ab58:fe48 QUIT :Remote host closed the connection < 1489012202 0 :augur!~augur@2602:304:cdac:e260:dca5:8aca:ab58:fe48 JOIN :#esoteric < 1489012252 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ok, all but the first iteration gets passed a 1 < 1489012396 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oerjan: are you writing unlambda by hand? or compiling from a more readable language? < 1489012460 0 :augur!~augur@2602:304:cdac:e260:dca5:8aca:ab58:fe48 QUIT :Ping timeout: 246 seconds < 1489012705 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :by hand < 1489012730 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oerjan: do you at least use some sort of interpreter in unlambda and writing most of the code in an interpreted language? < 1489012741 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no. < 1489012750 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :ok < 1489012751 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i am sort of trying to golf it < 1489012766 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which is miserably failing on pure length terms < 1489012772 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :you can still help golfing with an optimizing compiler < 1489012951 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :then i'd have to write one and i've never really done that. i have a sort of slightly-optimizing abstraction eliminator which i'm not really using because it's missing subtleties. < 1489012985 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :write an interpreter then? < 1489012993 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : < 1489013079 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i'm not good at telling programs how to make judgement calls. < 1489013150 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also, unlambda isn't good for parsing, that's sort of my _problem_ here... < 1489013207 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :right now, i'm trying to debug a program for parsing a simple ]-terminated number < 1489013826 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net JOIN :#esoteric < 1489013886 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`wisdom < 1489013890 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :soap//Soap is the main ingredient for the iridescent visions that internet startups sell to investors. < 1489013902 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`cwlprits soap < 1489013911 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :int-̈e < 1489014137 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1489014180 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :bood midnily again < 1489014286 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :bons⅝irjan. < 1489014299 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :did you sleep between? < 1489014328 0 :hppavilion1!~dosgmowdo@74-114-87-69.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1489014566 0 :AnotherTest!~turingcom@ptr-82l26zfahy2tmyek7p5.18120a2.ip6.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1489015026 0 :DHeadshot_!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 240 seconds < 1489015103 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :about 4 1/2 hours < 1489015166 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1489015195 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm curious, the calculation is performed but not passed on to the recursion... < 1489015322 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :there is no recursion. < 1489015340 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :indeed, unlambda strictly only has self application. < 1489015359 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :huhwhat < 1489015365 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? oerjan < 1489015366 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Your wise ass-@messages-lord fanfic oerjan is a lazy expert in mercury computation. Also a Glaswede who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. < 1489015420 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`dowt oerjan < 1489015428 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0:2012-02-16 Initïal import. \ 673:2012-08-27 run echo "Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian." >wisdom/oerjan \ 2649:2013-04-13 sed -i \'s/$/ And hates Roald Dahl./\' wisdom/oerjan \ 2650:2013-04-13 sed -i \'s/\\. And/ who/\' wisdom/oerjan \ 4652:2014-06-06