< 1374537904 286294 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`rwelcome Gracenotes < 1374537906 564600 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​9Gracenotes: 2Welcome 13to 6the 4international 7hub 8for 9esoteric 2programming 13language 6design 4and 7deployment! 8For 9more 2information, 13check 6out 4our 7wiki: 8http://esolangs.org/wiki/Main_Page. 9(For 2the 13other 6kind 4of 7esoterica, 8try 9#esoteric 2on 13irc.dal.net.) < 1374537967 7279 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :yey im walcome < 1374537984 406236 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :still haven't picked a teapot color :/ < 1374538029 565848 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how about roll a die < 1374538116 261526 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`run echo '#' | rainwords < 1374538118 297778 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​6# < 1374538218 186445 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :there are a few concerns. I want it to look nice, show off the tea color well, and also hide tea stains relatively well. < 1374538255 156495 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :both of the latter two are impossible to achieve at the same time < 1374538282 15862 :Bike!~Glossina@67-5-192-198.ptld.qwest.net PRIVMSG #esoteric :what if the color on the outside changed when heated (as if by spilled tea) < 1374538335 454892 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :they're more to do with inside color, though < 1374538565 976877 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :it's also about making a statement. nice and pleasant blue marine, or startling yellow/orange, or positively royalist deep red? < 1374538857 587322 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :plus, how will it look when it is slightly worn? for best results here, it needs to maintain its modern look without falling into 80s-era flimsy-art-deco territory < 1374538935 46761 :Bike!~Glossina@67-5-192-198.ptld.qwest.net PRIVMSG #esoteric :maybe you should find a professional. < 1374538997 768016 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :I thought #esoteric had professionals < 1374539008 667538 :Bike!~Glossina@67-5-192-198.ptld.qwest.net PRIVMSG #esoteric :professional tea set locators, i mean. < 1374539024 677171 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that people who locate professional tea sets? < 1374539032 767716 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Even an amateur could do that. < 1374539059 967103 :Bike!~Glossina@67-5-192-198.ptld.qwest.net PRIVMSG #esoteric :a professional professional tea set locator. < 1374539072 196566 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :oh, tea set locators are just for spoiled tech workers with too much disposable income... oh. < 1374539084 986978 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION imagines a black and white checkerboard teapot < 1374539096 68262 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 256 seconds < 1374539157 7263 :Bike!~Glossina@67-5-192-198.ptld.qwest.net PRIVMSG #esoteric :Gracenotes: you could pay them back by briefly working as a professional professional professional tea set locator disambiguator. Or farm that work out to shachaf for a small fee if you're feeling lazy. < 1374539210 37048 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i take big fees < 1374539883 259631 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :I hope you have a portfolio of professional professional tea set locators you've found < 1374539906 348157 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :Not that I don't trust Bike's referral... < 1374540800 515306 :Bike!~Glossina@67-5-192-198.ptld.qwest.net QUIT :Ping timeout: 268 seconds < 1374541100 479388 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1374541192 850265 :Bike!~Glossina@71-222-61-58.ptld.qwest.net JOIN :#esoteric < 1374541569 304234 :heroux!~heroux@5070823C.static.ziggozakelijk.nl QUIT :Read error: Operation timed out < 1374541838 119682 :heroux!~heroux@5070823C.static.ziggozakelijk.nl JOIN :#esoteric < 1374542488 408799 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: i like the idea of #[layout="C"] < 1374542521 420957 :Bike!~Glossina@71-222-61-58.ptld.qwest.net PRIVMSG #esoteric :for controlling struct layout? < 1374542532 478721 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1374542541 392129 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :as opposed to the kind of ad-hoc thing that's going on right now < 1374542551 239367 :Bike!~Glossina@71-222-61-58.ptld.qwest.net PRIVMSG #esoteric :i thought that was implementation-defined in C < 1374542571 100154 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :it is < 1374542580 59408 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :and that means "by the ABI" < 1374542612 459700 :Bike!~Glossina@71-222-61-58.ptld.qwest.net PRIVMSG #esoteric :oh, so that would make it have the target ABI's layout, gotcha < 1374542634 159313 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, I mean compatibility with an ABI. < 1374542640 827344 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is what it does now anyway. < 1374542943 771330 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1374543977 160291 :quintopi1!~quintopia@74.117.159.204 QUIT :Ping timeout: 246 seconds < 1374545914 984009 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :TV Tropes has a article for "Sequence Breaking", but is there some that the proper (intentional) solution involves apparent sequence breaking? < 1374545958 54576 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: I like that idea too < 1374545966 623983 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I think the more Rusty syntax would be #[layout(C)] but not sure < 1374545983 634467 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sounds good. Someone suggested that in the channel. < 1374545991 290748 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Using the maze graphic example, it could be a game where there is a invisible trap inside of the maze, so the only solution is to go around. < 1374546000 180930 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe I'll send an email to the list about it. < 1374546007 411078 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1374546082 801469 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :These example of "Sequence Breaking", "Not The Intended Use", etc could possibly be done in the deliberate way where the way which appears to be what should be the proper way won't even work anyways. < 1374546209 588884 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: it sounds like an obvious novelty to try so there are probably such games. (but i don't know which as i'm not much of a computer gamer) < 1374546296 533282 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :They might be possible in other games too such as Dungeons&Dragons, though. < 1374546302 713828 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Not only computer games necessarily. < 1374546319 980899 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well obviously a good GM/DM could try to do such things < 1374546359 401477 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in either case i suspect some of the difficulty is making it not so hard to realize that the players just get frustrated and annoyed < 1374546420 271056 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*realize, < 1374546647 171092 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Well, I, as the player, am not frustrated and annoyed by such thing; it is the more common rules which I don't like much (for example one book says that the frost giant shouldn't have fire traps because the players aren't prepared; I disagree, the giant will put in such traps deliberately in order to prevent someone from entering if they think they are prepared!) < 1374547016 931346 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://shachaf.net/curry.rs.txt < 1374547068 491533 :Bike!~Glossina@71-222-61-58.ptld.qwest.net PRIVMSG #esoteric :nice 'n' readable < 1374547679 561638 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do some computer games have checkpoint traps? < 1374547759 361763 :Scarlet_Spiral!~Scarlet_S@cpe-72-227-231-66.si.res.rr.com JOIN :#esoteric < 1374547911 901989 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: your prose is nice 'n' readable!! < 1374547922 491756 :Bike!~Glossina@71-222-61-58.ptld.qwest.net PRIVMSG #esoteric :yes < 1374547959 624226 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :what's happenin < 1374548032 674187 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yacenotes < 1374548131 42028 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :Inyofacenotes < 1374548312 771693 :Scarlet_Spiral!~Scarlet_S@cpe-72-227-231-66.si.res.rr.com PART :#esoteric < 1374549551 962529 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Gnat < 1374549780 674353 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 246 seconds < 1374549816 552482 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374550181 731986 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :yes it's orrible < 1374551613 913930 :Bike!~Glossina@71-222-61-58.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1374551720 573727 :Bike!~Glossina@174-25-43-108.ptld.qwest.net JOIN :#esoteric < 1374551754 326962 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 264 seconds < 1374552477 945541 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :I fell asleep 7 hours ago < 1374552482 102390 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :I did not want to do tht < 1374552532 163081 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :@time Taneb < 1374552532 603177 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Local time for Taneb is Tue Jul 23 05:08:56 < 1374552551 673159 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :ah, well, either try to back to sleep more or drink lots and lots of caffeine < 1374552596 484895 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :later in the day, that is < 1374552659 280044 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :I had a dream I was programming in something like Python? idk < 1374552672 994299 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :sounds dull. < 1374552692 302723 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :says the guy who probably has biology dream < 1374552693 313083 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :s < 1374552702 623290 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :yes. all orgies all the time < 1374553290 726810 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :I was using this Python-like language to turn Pine trees into lumber < 1374553298 701674 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Using the pine.toLumber() instruction < 1374553336 162390 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :good < 1374553351 941778 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Thus DESTROYING BIOLOGY! ahahahaha < 1374553445 602922 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :oh no < 1374553600 562694 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i had a dream where i was a bicycle < 1374553611 653196 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it was refreshingly unbiological < 1374553857 313288 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 248 seconds < 1374555379 464374 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that does sound nice < 1374555386 94327 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what kind of bicycle were you < 1374555600 14236 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can you win ADOM with one hit point (or just make your PV like negative one million; there are some attacks that bypass PV though) < 1374555891 394661 :Bike!~Glossina@174-25-43-108.ptld.qwest.net QUIT :Ping timeout: 246 seconds < 1374555950 225602 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :^style agora < 1374555963 698904 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :fungot: dude, where'd you go? < 1374555992 304390 :Bike!~Glossina@174-25-43-108.ptld.qwest.net JOIN :#esoteric < 1374556002 795647 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :fungot, that shining sun of my life, has plunged into the inky darkness of the ocean of the abyss of the valley of the shadow of death. < 1374556106 845023 :Bike_!~Glossina@174-25-43-108.ptld.qwest.net JOIN :#esoteric < 1374556224 305741 :Guest70600!~sacre@50-81-222-220.client.mchsi.com QUIT :Quit: Guest70600 < 1374556245 295737 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1374556296 254542 :Bike!~Glossina@174-25-43-108.ptld.qwest.net QUIT :Ping timeout: 256 seconds < 1374556869 766159 :Bike_!~Glossina@174-25-43-108.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1374556904 365936 :tertu!~tertu@65-128-181-81.mpls.qwest.net JOIN :#esoteric < 1374556933 504435 :Bike!~Glossina@174-25-43-108.ptld.qwest.net JOIN :#esoteric < 1374557042 708505 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Remote host closed the connection < 1374557107 204794 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric : How can this custom "encryption" algorithm be made somewhat harder to "break"? try involving a key somehow < 1374557133 385271 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1374557164 796888 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :isn't that the guy who was in here spamming his bullshit < 1374557315 236303 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :probably < 1374557346 684789 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :`run ls bin/ | grep past < 1374557348 594847 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :pastalog \ pastaquote \ paste \ pastefortunes \ pastekarma \ pastelog \ pastelogs \ pastenquotes \ pastequotes \ pastewisdom \ pastlog < 1374557361 326034 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :i don't know what any of these do. < 1374557367 894939 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :`pastlog dlackili < 1374557370 245274 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :`pastalog < 1374557398 275047 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :2010-07-24.txt:07:53:45: * Sgeo had a lot of pasta tonight < 1374557398 475268 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :2013-07-22.txt:04:22:53: so which of the clues points to DES3 dlackili < 1374557411 684997 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :cool < 1374557414 235085 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :`pastalog < 1374557420 944831 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :2011-02-11.txt:19:13:35: Gregor: i only ask because copypasta is difficult on my phone :P < 1374557573 424601 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`pastalog < 1374557579 905692 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :2013-04-17.txt:17:09:58: bin/pastalog: ASCII text < 1374557587 645230 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :imagine... a log made of pasta < 1374557591 354922 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`paste bin/pastalog < 1374557593 986910 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/pastalog < 1374557621 144955 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :when I saw HackEgo quoting nooodl I assumed that was also the output of pastalog < 1374557625 766545 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :"@cliffcheney I am nearing Cairo Univ. hearing constant machine gun fire" the future is so weird. < 1374557629 144400 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :kmc: haha < 1374557645 434990 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: o_O < 1374557654 756886 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :? < 1374557663 495240 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :who's shooting at whom < 1374557684 29297 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :beats me, but i mean they did just have a coup < 1374557691 974989 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :coup everday < 1374557697 674982 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :maybe some MB org being ripped apart < 1374557727 754940 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :'The top US military officer says any decision to use force in Syria could cost America billions, and that care must be taken to "preserve a functioning state".' WHERE WAS THIS GUY IN 2003? < 1374557733 704241 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Probably relevant: http://www.aljazeera.com/news/middleeast/2013/07/201372216452414482.html < 1374557748 325545 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :remember when a bunch of people said that about Iraq and they were dismissed as traitors < 1374557781 866305 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :well, the thing about syria is that everybody above the level of mccain understands how shitty iraq went. < 1374557797 219173 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :joke about politicians being able to learn < 1374557838 886359 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1374557839 194385 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :I think it may be a bit late to preserve a functioning state in Syria < 1374557859 700694 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :"It has been reported that people on both sides have guns. Normally we do not see violence so early in the day" being an al jazeera reporter must be sad < 1374557891 885667 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :the syrian state is still functioning < 1374557900 695366 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :just, not in the entirety of syria < 1374557931 55739 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :s/how shitty iraq went/how shitty iraq is going/ < 1374557939 127272 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :has gone? < 1374557962 407212 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1374557987 947487 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :oh, actually, you know there's an Islamic State in Iraq in syria now < 1374557990 65708 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :p. great names < 1374558037 556647 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :oh, shit, they've actually renamed themselves. it's "Islamic State in Iraq and Syria" now :/ < 1374558046 36860 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :er, and the levant. < 1374558230 883492 :variable!root@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1374558728 817154 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :I can smell cornflakes < 1374559219 715574 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: I'm getting the feeling all the people asking to break their exciting new cipher in ##crypto are actually the same person. < 1374559861 350661 :Bike!~Glossina@174-25-43-108.ptld.qwest.net QUIT :Ping timeout: 276 seconds < 1374559929 872690 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 264 seconds < 1374560246 388092 :Bike!~Glossina@174-25-43-108.ptld.qwest.net JOIN :#esoteric < 1374560520 727586 :ion!ion@heh.fi PRIVMSG #esoteric :This DIY motor is p. awesome. http://youtu.be/Esphle_MsXI < 1374560658 815858 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 JOIN :#esoteric < 1374560700 832993 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :How can a simple Homebrew cipher involving XOR/GCD/Euclid's algo in haskell? < 1374560731 265796 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Good question. How can it? < 1374560779 207951 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :so what's the deal with odd zeta constants. < 1374560787 287970 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :we, like, don't know if zeta(5) is irrational? imo, what the fuck. < 1374560815 396134 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :I am not sure < 1374560921 8088 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: hey i heard we don't know whether pi^pi^pi^pi is an integer < 1374560923 677357 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is that true < 1374560932 68316 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :by we i mean you personally btw < 1374560944 120161 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :i do not know that, no. < 1374560950 86727 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :gcd a b = a `xor` b, where binary (a `xor` b) = "hithisismyresult" < 1374560965 359548 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi result < 1374560967 726447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi mnoqy < 1374560980 247108 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :GCD + Final A and B in Euclid's Algorithm XOR some value -> plaintext < 1374560981 678114 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :"you know i don't think gcd works like taht" < 1374560985 558757 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi shachaf < 1374561004 201621 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :forward to the smlist update tomorrow y/n < 1374561007 911064 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :looking < 1374561026 295825 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Anyone made a simple encryption algorithm/cipher before? < 1374561033 879931 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :yes < 1374561041 545253 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Bike: What sort? < 1374561044 369911 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :turns out you can't do it by throwing together random shit, though! < 1374561046 799254 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Was it breakable? < 1374561054 223860 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: uh, yes you can < 1374561066 750146 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :of course it was breakable, do i look like a genius to you < 1374561074 986229 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Bike: Can I see it? < 1374561077 726681 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: oh wikipedia says it's not known < 1374561094 385483 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :shachaf: yes. i also don't know. < 1374561102 23186 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :dlackili: it was just a caesar cipher. < 1374561118 801170 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :> pi ^ pi ^ pi ^ pi < 1374561121 30905 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Could not deduce (GHC.Num.Num b1) < 1374561121 236560 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : arising from a use of `GHC.Real.^' < 1374561121 236706 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : fr... < 1374561125 812908 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"Particularly, it is not known if the positive root of the equation 4x = 2 is a rational number" < 1374561127 635250 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :fucking. < 1374561134 547441 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :er, where 4x is ⁴x < 1374561137 887441 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i.e. x^x^x^x < 1374561140 313046 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1374561144 177019 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :tetration is hard. < 1374561148 995943 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric ::t (^) < 1374561150 87980 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :(Integral b, Num a) => a -> b -> a < 1374561157 356669 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :try ** hth < 1374561157 746972 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :hm < 1374561165 371598 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :> pi ^ (pi ^ pi ^ pi ^ pi) < 1374561166 466717 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Could not deduce (GHC.Num.Num b2) < 1374561166 682385 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : arising from a use of `GHC.Real.^' < 1374561166 682568 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : fr... < 1374561172 887721 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :well i guess that answers that question! < 1374561173 536523 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :I am thinking of using XOR/AND/pi in my encryption algorithm for a puzzle < 1374561181 117428 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :TRY ★★ HTH < 1374561186 227420 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :shachaf: the joke is, < 1374561192 671750 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :> pi ** pi ** pi ** pi < 1374561193 837038 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Infinity < 1374561209 307315 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :ok i got that locally but that's because i'm on a shitty 32 bit machine. < 1374561212 119775 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Anyone got any cool algorithm ideas? < 1374561214 694275 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :> (pi ** pi ** pi ** pi) :: CReal < 1374561215 956846 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 0.0 < 1374561220 558345 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :checkmate < 1374561222 638255 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :er < 1374561245 541855 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :> let pi = pi :: CReal in pi ** pi ** pi ** pi -- i am the worst < 1374561249 72890 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1374561254 751762 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :ugh < 1374561271 97084 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :now i can't tell which things are jokes anymore < 1374561273 50102 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :>7^777 :: CReal < 1374561281 174261 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :> 7^777 :: CReal < 1374561282 423343 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 437700548734202700764895770266348348092832914249674791140665053626929347534... < 1374561298 967548 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :> 777777777777777777 * log 7 / log 2 < 1374561299 920668 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 2.18349827271147e18 < 1374561312 548276 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :shachaf: the only joke was haskell not figuring if ⁴pi was an integer. the ret is incompetence. < 1374561315 565292 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :rest < 1374561329 778442 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh < 1374561337 549915 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo more jokes, less incompetence < 1374561347 338638 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric ::( < 1374561356 468292 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :gcd a b = a `xor` b, where binary (a `xor` b) = "hithisismyresult" < 1374561358 358623 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :haskell has ^ and ^^ and ** < 1374561364 4360 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :COuld that be an encryption routine? < 1374561372 658941 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :dlackili: a bad one < 1374561383 815401 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Bike: How so? < 1374561411 295191 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey Bike, why do mirrors reflect things left-to-right and not up-to-down < 1374561422 704018 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :well to start with it doesn't even make sense. is that supposed to be, like, haskell < 1374561429 797111 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :shachaf: don't fucking stalk me < 1374561435 587013 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1374561467 766963 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :now i'm confused :'( < 1374561472 927238 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :oh right it's not even known if pi plus e is irrational < 1374561474 319098 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :fuck math < 1374561507 237612 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Bike: Haskell/pseudocode < 1374561519 721316 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :well, it's unclear. < 1374561530 433310 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe all haskell code is pseudocode because haskell isn't used in the real world < 1374561532 770478 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :is "where" supposed to be english or pseudocode? why are you defining gcd wrongly? what's a and b < 1374561611 847076 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :i'm not defining GCD… it's just an equation < 1374561619 59733 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :like x*y = x + y < 1374561635 59299 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :and "where" is english or logic, you choose < 1374561655 252790 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: what's the context of the "stalk" thing < 1374561660 217330 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :mirrors < 1374561673 472572 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that question comes from a source completely unrelated to you < 1374561679 650226 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :what < 1374561687 398662 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what < 1374561697 249110 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :i was talking about that literally today. < 1374561706 901882 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so was i < 1374561717 477684 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :So anyone have any encryption algorithm ideas in haskell? < 1374561725 357520 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but i'm p. sure you weren't involved........... < 1374561732 647682 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric ::t (**) < 1374561733 688015 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Floating a => a -> a -> a < 1374561737 369169 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric ::t (^^) < 1374561738 231577 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :(Fractional a, Integral b) => a -> b -> a < 1374561742 207086 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :ok whatever. < 1374561754 690599 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :@let tetrate x 0 = 1; tetrate x n = x ** tetrate x (n - 1) < 1374561755 726780 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Defined. < 1374561763 927413 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :> tetrate 2 3 < 1374561764 187136 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :? < 1374561766 887834 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :My brother once told me that he asked someone for additional objects in a computer game he was making, and one of the suggestions was "invisible bomb that kills you so much that you have to restart the entire game". < 1374561767 704075 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1374561771 696601 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :> tetrate 2 3 < 1374561776 13270 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1374561789 454402 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :am i missing something here. < 1374561793 709643 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1374561799 119563 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you're missing a good haskell evaluation bot < 1374561802 431234 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :all we have is lambdabot :'( < 1374561805 421039 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :woe. < 1374561813 998649 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Bike: What is that < 1374561815 694717 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, dude < 1374561817 128305 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :isn't elliott in charge of it now? i can pointlessly and unwarrantedly blame him, right < 1374561820 284909 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :> tetrate 2 3 < 1374561823 950166 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 16.0 < 1374561824 845186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa is me < 1374561834 828932 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :alright now for the important < 1374561835 228141 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: nothing pointless or unwarranted about it < 1374561838 633443 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :> tetrate pi 4 < 1374561841 572294 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :he took over with the promise of making it better < 1374561841 833825 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Infinity < 1374561852 987870 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :guess that proves it. < 1374561858 571631 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :> tetrate (pi :: CReal) 4 < 1374561862 9932 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 0.0 < 1374561863 707905 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thanks CReal < 1374561870 390074 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :should i even guess what's going on there. < 1374561895 877282 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :p. not < 1374561901 118915 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :good < 1374561923 754215 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :where were you even talking about the mirror thing < 1374561969 112059 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :A hill based cipher in haskell < 1374561981 332477 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :elsewhere < 1374561984 866770 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :someone else asked me months ago < 1374561993 647180 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :someone else asked me years ago < 1374562024 213851 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Bike: "such that" would have been better than "where" < 1374562272 840700 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :@hoogle hyper < 1374562273 156787 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :package hyperdrive < 1374562273 380147 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :package hyperloglog < 1374562273 380259 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :package hyperpublic < 1374562297 291181 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey hyperloglog < 1374562301 959554 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that package is p. cool isn't it < 1374562453 959787 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :http://wiki.tcl.tk/3468 < 1374562456 122677 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Interesting < 1374562474 98553 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Is that possible in Haskell? < 1374562528 212559 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :@let hyper 0 _ b = b + 1; hyper 1 a 0 = a; hyper 2 _ 0 = 0; hyper _ _ 0 = 1; hyper n a b = hyper (n - 1) a (hyper n a (b - 1)) < 1374562529 390460 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Defined. < 1374562535 917688 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :> hyper 1 7 19 < 1374562539 236353 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 26 < 1374562557 653625 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :@faq < 1374562557 882686 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :The answer is: Yes! Haskell can do that. < 1374562606 505350 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :How? < 1374562744 330415 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Would be interested to see a Haskell implementation of it < 1374562808 427068 :tertu!~tertu@65-128-181-81.mpls.qwest.net QUIT :Ping timeout: 245 seconds < 1374562971 956340 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :dlackili: Maybe you should "hask" in #haskell. < 1374563009 471612 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :23:55 -!- dlackili [dcfdcefc@gateway/web/freenode/ip.220.253.206.252] has joined #haskell < 1374563010 724115 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Bike: lol that was punny ;) < 1374563012 504394 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :23:55 How could this be done in haskell? http://wiki.tcl.tk/3468 < 1374563030 909171 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :elliott: Behold my power. < 1374563059 107233 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: your power is so amazing it took effect before you said it < 1374563065 144721 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :Exactly. < 1374563078 714805 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the sulphur is now fully exposed to the power of the bicycle < 1374563088 899428 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1374563097 96112 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :people are going to correct me for misquoting now :'( < 1374563117 233800 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :I have no idea what you were quoting. < 1374563143 344864 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :shachaf: Haskell seems uninterested :P < 1374563152 708774 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :#haskell* < 1374563165 910155 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :We all are. < 1374563170 696167 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :Oh < 1374563175 106116 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :lol :( < 1374563578 300131 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1374563911 160125 :dessos!~dessos@c-174-60-176-249.hsd1.pa.comcast.net QUIT :Quit: leaving < 1374563946 800017 :dessos!~dessos@c-174-60-176-249.hsd1.pa.comcast.net JOIN :#esoteric < 1374564380 785686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: did you read Breakfast of Champions < 1374564425 39556 :intosh!~intosh@staticline41658.toya.net.pl JOIN :#esoteric < 1374564466 362888 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :from ##c: 03:13 < dlackili> How could this be implemented in C? http://wiki.tcl.tk/3468 < 1374564533 837399 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :How could this be implemented in brainfuck < 1374564564 386955 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This person has been doing this in ##crypto, too, of course. < 1374564572 154150 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :After being banned under other nicks or something? < 1374564691 705712 :ion!ion@heh.fi PRIVMSG #esoteric :https://gs1.wac.edgecastcdn.net/8019B6/data.tumblr.com/bb1e8e1a773b87b1f0220a1e1993c830/tumblr_mpde0t3k031rvh71go1_1280.png < 1374564733 554994 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :a++ url < 1374564757 274832 :ion!ion@heh.fi PRIVMSG #esoteric :That’s one of the least horrible horrible URLs. < 1374564787 822136 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :a-- < 1374565917 223488 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Quit: MindlessDrone < 1374568057 302405 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I might want to see a proper full-length review of my computer games (and Dungeons&Dragons recording story, etc) (and including TV Tropes if applicable). < 1374568260 428532 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :In Super ASCII MZX Town Part I, there is a feature which allows you to change the display of the player's position to always a happy face or to a variable (health, ammunition, torches, or torch light remaining). This feature exists in Part II, too. Do you see what I am getting to with this? Probably not, but if you do then please notify me! < 1374568310 136641 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1374568409 262957 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :In the second to last level of Part I, there is a multiplication puzzle where you have to push numbered blocks onto dots in order to make a proper multiplication, you walk up to the door to try to open it and it opens if the multiplication is valid (it checks; the solution isn't hard-coded). < 1374568552 194218 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :In the second to last level of Part II, there is a similar multiplication puzzle, although you have to instead push the space-bar when it is correct, in order to open the door, but there are more numbered blocks than dots and no matter how a subset of them are arranged there is no solution (I wrote a program to find solutions, and it found none). < 1374568557 896743 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you see what I mean yet? < 1374568640 209392 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Note: For the player display feature, it will display a happy face if the register's value is 100 or more; otherwise it displays a digit which is one tenth of the register value (rounded down). For example, if you have 42 points of ammunition and you set it to display ammunition, it will display 4. You can still know it is the player by its distinctive color, though.) < 1374568653 421377 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(I think I have seen a similar feature in another game.) < 1374569151 554084 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Hmm < 1374569153 856216 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Hmmmmmm < 1374569155 516718 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Hmmmmmmmmmmmm < 1374569316 562504 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Apparently mcmap is 0.6% Rust < 1374569339 300950 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1374569587 176457 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Hmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm how much apparently iron is % Rust? < 1374569833 486239 :Bike!~Glossina@174-25-43-108.ptld.qwest.net QUIT :Ping timeout: 245 seconds < 1374569852 427023 :Bike!~Glossina@174-25-43-108.ptld.qwest.net JOIN :#esoteric < 1374570412 476357 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You might know the logic puzzle where a man is caught and they say if what he says is true he will be hanged and what he says is false he will be shot. < 1374570466 501439 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :The answer is "I will be shot", right? < 1374570505 478632 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :That is their answer, but I don't think so. They don't say that if you do not say something true you will not be hanged, and if you do not say something false you will not be shot. < 1374570517 187574 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Anyways if they are let free then the statement is a lie... < 1374570547 379872 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If they hang him and then shoot him while he is hanging on the rope, that resolves the paradox and satisfies the conditions, I think. < 1374570604 523607 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Taneb: Do you think I am correct? < 1374570653 977843 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :You raise some good points < 1374570694 542474 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :And shooting him while he is being hanged does resolve the paradox < 1374570724 724680 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :And letting him free violates the conditions < 1374570932 788347 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Did you tell anyone else? < 1374570971 65231 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :No? < 1374571290 202982 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: http://en.wikipedia.org/wiki/Thorne%E2%80%93%C5%BBytkow_object wow this is like. a cool thing < 1374571943 941244 :intosh!~intosh@staticline41658.toya.net.pl QUIT :Ping timeout: 240 seconds < 1374572076 969219 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Now, what about the Super ASCII MZX Town game? Did you answer this question yet? < 1374572112 649399 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :What would the Olympics be like if the US had to send a different team for each state? < 1374572122 766278 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :And each state had their own medal count < 1374572207 262487 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Taneb: They would change the country codes, I suppose. < 1374573048 760476 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PART #esoteric :"github.com/jessehorne" < 1374573753 894483 :heroux!~heroux@5070823C.static.ziggozakelijk.nl QUIT :Ping timeout: 264 seconds < 1374573851 232440 :heroux!~heroux@5070823C.static.ziggozakelijk.nl JOIN :#esoteric < 1374574502 187671 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1374576463 646990 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1374577052 50882 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 246 seconds < 1374577156 213832 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd QUIT :*.net *.split < 1374577157 564406 :Lymia!~moe@inportb/loli/cirno-chan QUIT :*.net *.split < 1374577157 813052 :Gregor!dlopen@libdl.so QUIT :*.net *.split < 1374577177 478269 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 QUIT :Ping timeout: 250 seconds < 1374577179 838896 :Lymia!~moe@108-205-143-75.lightspeed.rcsntx.sbcglobal.net JOIN :#esoteric < 1374577192 517002 :Lymia!~moe@108-205-143-75.lightspeed.rcsntx.sbcglobal.net QUIT :Changing host < 1374577192 775184 :Lymia!~moe@inportb/loli/cirno-chan JOIN :#esoteric < 1374577225 303592 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1374577841 288125 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1374578646 453132 :heroux!~heroux@5070823C.static.ziggozakelijk.nl QUIT :Ping timeout: 264 seconds < 1374578702 410260 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 256 seconds < 1374578740 728454 :heroux!~heroux@5070823C.static.ziggozakelijk.nl JOIN :#esoteric < 1374579344 7231 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1374579524 37877 :fungot!fis@eos.zem.fi JOIN :#esoteric < 1374579834 433328 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1374580082 544296 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"s/PATTERN/REPLACEMENT/msixpodualgcer" so many flags they have these days. < 1374580188 790419 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :That doesn't include 'ee' < 1374580205 552149 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's implied by the e, I think. < 1374580209 909671 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Quit: MindlessDrone < 1374580221 754587 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Probably; just saying that there's even one more. < 1374580526 852690 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"They have negotiated with the government and agreed on a system called "Active Choice +" in which customers opt in for filters [...] The leaked letter [...] suggests: "Without changing what you will be offering (ie active-choice +), the prime minister would like to be able to refer to your solutions [as] 'default-on'"." < 1374580540 524150 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the offness of the filters defaults to on < 1374581418 744851 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 JOIN :#esoteric < 1374581426 914631 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :I have an idea for a puzzle < 1374581432 443070 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :4 base64 numbers < 1374581438 377227 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :4p2 is 8, i believe < 1374581442 854054 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :er, i mean 12 < 1374581451 759585 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :GCD'ing all the possible combinations will give them 12 letters/numbers if we specially design the four digits, though I haven't thought that through yet < 1374581460 667285 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :and I do something with those < 1374581469 444666 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :not sure what though < 1374581488 215924 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :if we could control 8 of the digits, we could get a pastebin link < 1374581496 560487 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :and use the other 4 as a key < 1374581502 934981 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :i think it would be constructible using primes < 1374583585 476797 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1374583974 292740 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 245 seconds < 1374583990 270872 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1374584049 829543 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 264 seconds < 1374584086 119195 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374584598 846496 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1374584817 943926 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :good humid morning! < 1374584837 395165 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1374584871 33699 :oklopol!~oklopol@85-76-125-192-nat.elisa-mobile.fi JOIN :#esoteric < 1374585223 390502 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1374585539 561917 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1374586022 286845 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1374586038 790812 :dlackili!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 QUIT :Quit: Page closed < 1374586554 174168 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1374587090 540956 :sebbu3!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1374587237 81205 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 246 seconds < 1374588036 579287 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : we, like, don't know if zeta(5) is irrational? imo, what the fuck. <-- the thing is iirc, there is a simple proof that only works for even arguments, and a completely unexpected special proof for 3. all larger odd numbers are unknown. < 1374588064 800759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*odd arguments < 1374588093 378210 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Bike we, like, don't know if zeta(5) is irrational? imo, what the fuck. <-- the thing is iirc, there is a simple proof that only works for even arguments, and a completely unexpected special proof for 3. all larger odd arguments are unknown. < 1374588101 8575 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat. < 1374588116 787165 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott!!!!!!!!! < 1374588133 955522 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(hi) < 1374588149 330794 :stuntaneous!~stuntane@c211-30-196-14.artrmn3.nsw.optusnet.com.au JOIN :#esoteric < 1374588153 431951 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^tell oerjan Use a better bot. < 1374588153 678233 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :I think you mean @tell instead? < 1374588159 971768 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: I don't think that's helpful at all. < 1374588160 521820 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: i don't see how 99bob is related.) < 1374588168 850323 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: neither do i < 1374588169 238967 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: most of them are much worse things in haskell syntax... as usual it's much simpler < 1374588205 413495 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: okay < 1374588205 679262 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: final fantasy vii < 1374588237 969240 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oh, fungot is alive! hi fungot! < 1374588238 250446 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: as the parameter ft. < 1374588263 545893 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :elliott, help < 1374588264 322234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot turned into a parameter? :( < 1374588264 581292 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: what a joke. < 1374588269 793645 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I won myself an FF X2 poster from an... what's the word... auction? yesterday night. < 1374588275 150222 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Raffle? < 1374588282 368574 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :«encan». < 1374588336 527096 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Auction < 1374588426 46904 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :("raffle" would be «tombola» < 1374588427 645946 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :) < 1374588516 584960 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :/ɑ̃.kɑ̃/ is fun to say < 1374588605 845548 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!python print pow(3.14,pow(3.14,3.14)) < 1374588607 139985 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :the Infamous French Nasal Vowels strike again. < 1374588609 346969 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :1.14116774132e+18 < 1374588626 281185 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(speaking of infamous things, what about the II? how's it going?) < 1374588651 911260 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it looks to me like pi^pi^pi^pi is just a little too large to check for integership? < 1374588695 994650 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval pi ** pi < 1374588698 611681 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Error (1): < 1374588700 6909 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval pi ** pi < 1374588700 955727 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :36.4621596072079 < 1374588761 958232 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :oerjan, what would it mean for pi^pi^pi^pi to be an integer? < 1374588789 469860 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Ping timeout: 268 seconds < 1374588792 96317 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: that it has no fractional part? < 1374588806 705776 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Anything interesting beyond that? < 1374588812 309880 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, it's an unknown problem mentioned earlier in the log and on wikipedia's tetration page < 1374588817 861418 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Aaaaah < 1374588826 864753 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :It's one of the Everests of maths < 1374588857 904244 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, although it looks like it's just a _little_ out of reach and moore's law might catch it? < 1374588909 419588 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Does the function f(x)=n^^x have a well-defined derivative? < 1374588918 541152 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :assuming it _isn't_ an integer, that is. if it is it'll probably take some serious proving. but i expect no one suspects that. < 1374588951 940657 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: you first have to define it for non-integers before the question makes sense. < 1374588976 438097 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :True... < 1374588993 168070 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and any such definition would likely be made to have a derivative, and probably analytic. < 1374589111 59222 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"At this time there is no commonly accepted solution to the general problem of extending tetration to the real or complex values of n." < 1374589228 270875 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"There are two main approaches to extending tetration to real heights, one is based on the regularity requirement, and one is based on the differentiability requirement. These two approaches seem to be so different that they may not be reconciled, as they produce results inconsistent with each other." < 1374589328 787883 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric ::( < 1374589332 493817 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Regularity? < 1374589363 821883 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's defined in the article < 1374589382 139566 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :\left( \frac{d^2}{dx^2}f(x) > 0\right) for all x > 0 < 1374589422 887857 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Its derivative is always an increasing function for x > 0 < 1374589426 59904 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that still implies that it's differentiable twice though < 1374589447 754789 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but presumably you cannot have that and infinite times differentiable. < 1374589568 516419 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"There is a conjecture[10] that there exists a unique function F which is a solution of the equation F(z+1)=exp(F(z)) and satisfies the additional conditions that F(0)=1 and F(z) approaches the fixed points of the logarithm (roughly 0.31813150520476413531 ± 1.33723570143068940890i) as z approaches ±i∞ and that F is holomorphic in the whole complex z-plane, except the part of the real axis at z≤−2." < 1374589644 526581 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Tetration#Extension_to_complex_heights nice fractally picture < 1374589829 142722 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wtf did the logs turn black on grey... < 1374590065 736205 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :does http://codu.org/logs/log/_esoteric/2013-07-23 look black on grey to anyone else? < 1374590118 416234 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :it is. < 1374590141 973200 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it wasn't a few minutes ago... < 1374590186 808127 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :let's see gregor isn't here, lambdabot isn't working, elliott isn't responding... < 1374590197 767068 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shall i just ban everyone and get it over with. < 1374590200 924243 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :@tell elliott RESPOND! < 1374590236 436679 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :oerjan, imo I should be op to create a balance of power < 1374590250 826082 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :we should enquire the Voice of Kmc and request an Audience. < 1374590416 679591 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gregor has blocked memoserv... < 1374590463 115962 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think today is the annoyance singularity. < 1374590522 986490 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~metar EGNT < 1374590523 501661 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :EGNT 231420Z 12006KT 080V170 9999 FEW020 23/17 Q1013 < 1374590531 445774 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :well, at least it's not raining. < 1374590544 893986 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :thankfully there is tunes < 1374590562 928080 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck tunes < 1374590563 184612 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :tunes definition: loony. < 1374590637 793519 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :...that is my weather < 1374590729 137300 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :Fiora: what the hecks. < 1374590796 682994 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Taneb: it is. < 1374590828 322237 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: a supernovae lends a bunch of kinetic energy to the resulting remnant, so it will often launch the neutron star into a companion red giant < 1374590856 96452 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :also the original paper is from 1977 @_@ < 1374590872 711993 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :by kip thorne, even! < 1374590904 649731 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :is that a name i should know < 1374590928 909097 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :"he invented astrophysics and is the president of belgium" < 1374590937 768193 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I think he's a pretty famous physicist? like, along with hawking and stuff < 1374590972 65805 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: sound plausible hth < 1374590998 249586 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but won't poor philippe get jealous < 1374591016 754193 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I remember his name was on like a book my dad gave me when I was little? I think < 1374591022 520101 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :... right! "Blac Holes and Time Warps" < 1374591024 304129 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :*Black < 1374591092 318695 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so are you saying a supernova is like a loose cannon < 1374591109 128644 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :aw man his doctoral advisor was fucking wheeler < 1374591167 638151 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION fails not to point out the ambiguous grammar in that < 1374591177 194648 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :he did like, PBS popularity science stuff, like Sagan did < 1374591208 244083 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :*popular science < 1374591218 307682 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :oerjan: yes i am aware < 1374591243 325443 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Fucking Wheeler was doctoral advisor to many gifted individuals, despite his unfortunate forename < 1374591248 845014 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: wow it is scary to see that like, wheeler's list of doctoral students is like, almost entirely wiki-linked < 1374591424 98407 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Fiora: you are like,-ing a little bit too much by this fine morning, I think. < 1374591434 958024 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :well he is john archibald wheeler. < 1374591456 526551 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oh. in that case, please proceed along. < 1374591520 220291 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :oerjan: re zeta(5): Yeah I was looking this up because a book said we didn't know shit about the odd values, but we actually don't, so < 1374591632 309400 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i vaguely recall that the difficult terms cancel each other when it's even, or so. < 1374591677 79842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*very vaguely < 1374591692 849685 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :well euler's proof only works for evens is all < 1374591708 821434 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :btw euler's paper is pretty sad < 1374591723 613514 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :they hadn't invented "pi" yet so he's all "the circumference of a circle whose diameter is 1" < 1374592283 500550 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"After Jones introduced the Greek letter in 1706, it was not adopted by other mathematicians until Euler started using it, beginning with his 1736 work Mechanica." < 1374592384 680140 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Jones, inventor of the Greek letter. < 1374592872 901175 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : isn't elliott in charge of it now? i can pointlessly and unwarrantedly blame him, right <-- CORRECT < 1374592936 193254 :kappabot!kappabot@unaffiliated/shachaf JOIN :#esoteric < 1374592942 485116 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1374592947 587333 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> pi^pi^pi < 1374592950 705423 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : Ambiguous type variable `b0' in the constraints: < 1374592950 964130 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : (GHC.Float.Floating b0)... < 1374592953 142641 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :... < 1374592960 106012 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> pi**pi**pi < 1374592963 388803 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : 1.3401641830063398e18 < 1374593023 846072 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan^oerjan^oerjan < 1374593031 961433 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :glad it's not just me who fucks that up ;-( < 1374593050 319734 :Vorpal_!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Hi again < 1374593052 325931 :Vorpal_!~Vorpal@unaffiliated/vorpal NICK :Vorpal < 1374593053 697163 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :> e < 1374593056 137034 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yorpal < 1374593057 596321 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1374593059 37372 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and i was even reading the mess you made. hey i can blame you for corrupting me! < 1374593065 986423 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :awesome < 1374593067 164100 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t e < 1374593070 325368 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric :Not in scope: `e' < 1374593076 286069 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :> let e = exp 1 in e ** e ** e ** e < 1374593079 564604 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : Infinity < 1374593083 189538 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :rite < 1374593090 884804 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (exp . exp . exp . exp) 1 < 1374593094 868414 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1374593130 816789 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: what's the biggest number < 1374593138 883355 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :9 hth < 1374593170 116914 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Deewiant, Hm, I just tried out cfunge on cygwin, and discovered something weird... It prints floating point numbers using a fixed number of decimals (instead of skipping any trailing zeros as on Linux) < 1374593191 539327 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> exp . exp $ exp 1 < 1374593194 771659 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : 3814279.104760214 < 1374593195 981101 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Not really an issue, since I'm pretty sure FPDP/FPSP doesn't specify formatting details < 1374593198 288385 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :but weird still < 1374593201 76498 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um < 1374593228 937539 :tertu!~tertu@65-128-181-81.mpls.qwest.net JOIN :#esoteric < 1374593236 836953 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :"not that big right" < 1374593238 194901 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so e^e^e^e is presumably within reach < 1374593270 426151 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although possibly not with the bots < 1374593278 745527 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :> iterate exp 1 < 1374593282 732503 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1374593299 621002 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 1 < 1374593302 637760 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : 1 < 1374593307 940636 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 1^1^1^1 < 1374593310 451730 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: it seems to time out rather fast ht < 1374593311 437721 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : 1 < 1374593311 705020 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :h < 1374593313 124399 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 1**1**1**1 < 1374593316 547929 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : 1.0 < 1374593346 3035 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :wel, (exp exp exp exp 1) is bigger than my 32 bit machine can handle < 1374593379 70090 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not in Double, Bike < 1374593381 352770 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :http://www.wolframalpha.com/input/?i=e^e^e^e < 1374593394 622674 :sebbu3!~sebbu@unaffiliated/sebbu NICK :sebbu < 1374593396 635303 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that's a lot of e's < 1374593457 353187 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :can 64 bit doublees handle 22 bits of exponent < 1374593457 607455 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Deewiant, also there is now a 64-bit setup.exe download on the cygwin website, haven't tried it yet. No idea how stable it is an so on < 1374593463 785713 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (exp . exp $ exp 1)/log 2 < 1374593467 643454 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1374593474 246213 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Haven't used cygwin in ages, dunno < 1374593477 361691 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: I AM DISAPPOINTED < 1374593478 265972 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Hm < 1374593504 105085 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Deewiant, their website isn't exactly clear on stuff like "can you install both side by side?" or "how stable is this?" < 1374593513 514159 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Not clear as in I can't find that info at all < 1374593529 426199 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kappabot: @part #esoteric in shame < 1374593529 938465 :kappabot!kappabot@unaffiliated/shachaf PART #esoteric :"in" < 1374593535 785447 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :I imagine there's nothing preventing side-by-side installation, just don't have both in PATH and whatever < 1374593546 66106 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Hm < 1374593559 950828 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I thought cygwin put stuff in the registry < 1374593573 875657 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Beats me < 1374593582 126531 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :I've always thought of it as just like any other application < 1374593640 65384 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Deewiant, the output of 3DSP is really hard to read when cygwin prefers 0.000000 instead of 0 < 1374593650 381462 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Which is very very strange still < 1374593655 819761 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: kappabot is sad :'( < 1374593657 654007 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :23:56:19 @faq < 1374593657 896220 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :23:56:19 The answer is: Yes! Haskell can do that. < 1374593660 240382 :epicmonkey!~epicmonke@sabis.ru QUIT :Remote host closed the connection < 1374593662 586150 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1374593665 653712 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat, i thought elliott had changed that < 1374593682 893449 :epicmonkey!~epicmonke@92.241.250.196 JOIN :#esoteric < 1374593686 927625 :epicmonkey!~epicmonke@92.241.250.196 QUIT :Remote host closed the connection < 1374593687 613981 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Nope. < 1374595714 944386 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1374596106 326101 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 264 seconds < 1374596448 874488 :jsvine!~Adium@205.203.128.141 QUIT :Quit: Leaving. < 1374596575 367304 :jsvine!~Adium@205.203.128.141 JOIN :#esoteric < 1374597049 120658 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: we're discussing whether the Rust unsafe raw pointer type should have mutable and immutable versions, like the other pointer types < 1374597052 139517 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what do you think < 1374597093 827527 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1374597103 173505 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"immutable" just meaning that you personally can't mutate it, like const in C? < 1374597203 793972 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1374597253 568520 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :such a thing might be used when calling C libraries? < 1374597268 540463 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but if you import a C function and say that its rust type uses *c_char rather than *mut c_char, that's just unchecked documentation < 1374597288 220907 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :so not a totally opaque pointer, but read-only.. < 1374597290 780611 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the C function could still mutate through that pointer < 1374597306 574221 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you can define an unsafe Rust function and that could presumably be checked, right? < 1374597311 738884 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1374597326 5103 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There isn't that much you can do with FFI, unless you're going to parse C headers or something. < 1374597360 758447 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well Rust does have a thing that parses C headerS: https://github.com/crabtw/rust-bindgen < 1374597369 875401 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Ping timeout: 264 seconds < 1374597383 700411 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Even parsing C headers isn't really checking C functions. < 1374597473 939036 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It seems like a useful distinction to make in a type, even if it's weaker than the normal immutable pointer types. < 1374598280 948273 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://mxr.mozilla.org/mozilla-central/source/mfbt/DebugOnly.h neat hack < 1374598481 286721 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, I've seen that before. < 1374598560 20098 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :where? < 1374598669 616011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Something Mozilla-related, I think. < 1374599167 369934 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com JOIN :#esoteric < 1374599745 922977 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 264 seconds < 1374599782 155995 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374599938 517462 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: hey, would you care to look at my unbreakable encryption scheme on pastebin.com < 1374599945 848999 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's p. too hard for you tho < 1374600856 470296 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is that logic puzzle called involving the guy who is hanged or shot if he tell the truth or a lie? < 1374601396 448888 :Bike!~Glossina@174-25-43-108.ptld.qwest.net QUIT :Ping timeout: 276 seconds < 1374601460 328231 :Bike!~Glossina@174-25-43-108.ptld.qwest.net JOIN :#esoteric < 1374601574 899689 :epicmonkey!~epicmonke@sabis.ru JOIN :#esoteric < 1374602282 75689 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :"If the plan involves someone injuring themselves in order play on someone's sympathies to gain an advantage, that's a Wounded Gazelle Gambit." What if the plan involves injuring yourself in order play on someone's lack of sympathies to gain an advantages? < 1374602340 93906 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :zzo38: probably a batman gambit. < 1374602381 783962 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :O, I suppose you are correct. < 1374602405 93768 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I still think there are a lot of gambit missing from their list, though. < 1374602422 83847 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :and I think they renamed some, too. < 1374602426 515286 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: What about the Indefensible Gambit? < 1374602454 638943 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is it called if you pretend to be someone else pretending to be you? (I don't mean they are pretending to be you; I mean that you are indirectly pretending to be you.) < 1374602667 696645 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I knew it: there's recursive crossdressing, even if that's not *quite* what you want, but close enough for me. < 1374602701 358137 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :TTWRYL... < 1374602743 457548 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Indefensible Gambit? < 1374602761 992332 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Three undertrumps after an opponent's discard of a Trebled Fromp. < 1374602787 51104 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :O, yes, that one. < 1374602805 562062 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck fromp < 1374602805 859205 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :--- No relevant information < 1374602821 257311 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I suppose you shouldn't discard a Trebled Fromp unless you have a good reason to believe that your opponent won't be able to make three undertrumps. < 1374602835 60821 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck runcible spoon < 1374602835 400516 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :A three-pronged fork, such as a pickle fork, curved like a spoon and having a cutting edge. < 1374602854 949020 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But such a gambit is too specific, unless it is widened perhaps. < 1374603021 776640 :epicmonkey!~epicmonke@sabis.ru QUIT :Ping timeout: 264 seconds < 1374603089 373290 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is there any Death Note fan story where someone is tricked into changing their name? < 1374603176 42610 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :slash fiction where L must become Ł? < 1374603222 381051 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :"L" isn't his real name so that doesn't count. < 1374603525 808151 :tertu!~tertu@65-128-181-81.mpls.qwest.net QUIT :Ping timeout: 264 seconds < 1374603638 203441 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :solidus fiction < 1374603652 534452 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: You're using Mac OS? < 1374603717 34288 :Gregor!dlopen@64.62.173.65 JOIN :#esoteric < 1374603814 663617 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is it called if in a Dungeons&Dragons game you try to make saving throw against a spell that although it is allowed you normally don't do so because it is marked as (harmless)? < 1374603835 284739 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :A waste of time? < 1374603850 282776 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Deewiant: I don't think so. < 1374603863 791861 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I mean where you actually gain an advantage by doing so. < 1374603878 32954 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :how do I remember copious numbers of non-ASCII Unicode symbol codes? < 1374603900 1104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how copious are we talkin' < 1374603921 452863 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :as much as I will need to be a first-class citizen of the world IRC < 1374603924 193831 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have never had the opportunity myself to find it useful, although there was a situation where it would have been useful for one of the other players; I told them but they decided not to use it anyways. < 1374603950 243661 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Gracenotes: just memorize them as you use them hth < 1374603986 526076 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have also once been in a situation where the opponent's used a magic item to extremely slow down my team; I figured out how to use that to my advantage, instead of a disadvantage as they intended it to be < 1374604003 343103 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :okay what's the dual of hth < 1374604027 302925 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ɥʇɥ hth < 1374604054 883081 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is *this* called? < 1374604074 346925 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: How did you use it to your advantage? < 1374604125 182866 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I fired a flaming projectile at them. (See if you understand. If not, I will continue to tell you anyways.) < 1374604130 264014 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: i'm not < 1374604134 492956 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: I just know this to be true < 1374604161 453923 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ah < 1374604172 594404 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: i'm not sure whether i understand!! go on < 1374604209 25037 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It give them more than enough opportunity that all of them will certainly get out of the way, so that they won't get hit. < 1374604210 693211 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :what effect does speed have on projectiles and flaming and adjective-noun association < 1374604228 864234 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The building behind them was their hideout and was made of wood. < 1374604247 203889 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Therefore they quickly burned themself to death. < 1374604310 243701 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Couldn't you have fired a flaming projectile at the building anyway? < 1374604323 133907 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, it's not as if they'd've stepped in front of it, presumably. < 1374604363 843991 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :No; they were in the way and if I did they would have known that it is what I was trying to do and somehow stop it. This way I can take advantage of my slowness in order to trick them. < 1374604489 153850 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :So they thought through your capabilities in much less detail (underestimating) that you did? < 1374604525 355171 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :*than < 1374604568 884158 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Or actually my intention, I suppose, is what they didn't think of because I tricked them into believing it was something else. < 1374604587 584160 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: But if you had been fast, would they have managed to get into the way in time? < 1374604703 318174 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Possibly; I want to consider their possibility that they have some power which I do not know about. Also, if I cancelled their slowness it would have wasted a spell to dispel their magic; the way I am doing requires not casting any spells, just using an arrow. < 1374604733 194371 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: I mean, if you'd've just not been slowed down in the first place. < 1374604743 394824 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The question is whether the slowness was really to your advantage. < 1374604773 396087 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :it makes a much better narrative, at least < 1374604792 715356 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I understand that, but but yes it was to my advantage; it ensured that I could effectively trick them. (Otherwise it is unknown what the random variables would have in order that the plan might not end up working.) < 1374604794 784052 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :which is partly what RPG-based games let you do < 1374604850 904600 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, this is what I like about RPG. < 1374604931 244947 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If they hadn't used magic, I probably would have needed to use magic in order to beat them, but since they did use magic I did not have to. < 1374605021 674763 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I could have used magic, but not only might they have countered it but there are saving throws and stuff, and it would use up the spell, and I didn't want to waste it; there is also the factor of false intention so even ignoring these things magic would have been worse anyways. < 1374605152 185885 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :So in other words, the slowness spell they cast ended up greatly diminishing their chances of winning. < 1374605203 105078 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you know when Washizu said after every two hanchan only he has the choice to decide to continue or to stop, and Akagi said that stupid move would end up defeating him? < 1374605260 886527 :tertu!~tertu@65-128-181-81.mpls.qwest.net JOIN :#esoteric < 1374605306 646142 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(This is a part of a story Fukumoto wrote, called "Akagi".) < 1374605444 415514 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :There may be some other stories with a similar idea to what I described with the slowness, although they might have been tricked into activating the power in the first place. In my case, there was no such trick. < 1374605448 915693 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :how do i evaluate combinators help < 1374605469 397006 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :http://mjg59.dreamwidth.org/26535.html < 1374605480 997542 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :you don't < 1374605514 970405 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :So in Haskell, I've defined a type representing an expression built out of a certain set of combinators (Apply, Compose, Flip, Pair, Uncurry, WithPair, Fst, Snd, Lft, Rgt, Case, Gimme, Trash, Cancel), and I know what the semantics of each of these combinators ought to be. < 1374605524 811455 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I'd like to write a function that takes an expression and reduces it. < 1374605527 86629 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :are they typed nicely < 1374605535 477064 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :can you construct illegal expresions? < 1374605541 562962 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Yep, they're typed nicely. < 1374605571 35461 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :so these combinators are constructors? < 1374605573 264016 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(In Akagi's case, it is unknown. He did increase the stakes, which Washizu considered stupid and Washizu's security guards agreed that since Akagi did that, that Washizu is correct in saying that only he has the right to decide when to stop after every two hanchan.) < 1374605576 824875 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Yeah. < 1374605623 996321 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :well, you can have an eval function Expr -> ResultType, or Expr -> Reader Env ResultType if you need that < 1374605638 686286 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :nortti: interesting < 1374605642 916344 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :this is a basic way of doin it < 1374605646 239602 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I think Expr a -> a is what I want in this case. < 1374605685 967922 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :when you want things like that, you usually need Expr to be a GADT < 1374605703 936115 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :yeah.. GADTs are nice. < 1374605718 56488 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :I take it you've seen this: http://vimeo.com/12208838 < 1374605719 135707 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :So, uh, lemme think. There are certain ways of rewriting an expression. I think I want to use non-strict evaluation. So this means finding the topmost possible rewrite and making it, over and over, until there are no more rewrites. < 1374605720 246190 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Right? < 1374605724 266694 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :it goes through it slowly but wellly < 1374605724 467420 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Yeah, it's a GADT. < 1374605769 567241 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :do you want to do normal order or also with sharing? < 1374605809 849791 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I don't think I want to do anything special for sharing. < 1374605826 306629 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I'll just hope, perhaps falsely, that Haskell will take care of that for me. < 1374605841 596646 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I expected it to be a GADT, since you said the types are correct < 1374605903 456745 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :tswett: for a lot of the combinators, how to write it should be clear... sometimes you will need an environment; sometimes you will need both an environment and a store (with mutation) < 1374605918 838679 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Right, lemme try just diving in. < 1374605936 807196 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :possibly a runtime datatype to be denoted within the environment < 1374606066 793293 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :So here's the algorithm I'd use naively: < 1374606125 17311 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :To evaluate f(x), first check whether it's top-level rewritable; if it is, rewrite it and evaluate it again; otherwise, evaluate f yielding f', then evaluate x yielding x', then evaluate f'(x'). < 1374606132 172276 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :But that algorithm will never terminate. < 1374606159 991828 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I think I need to distinguish between things that are fully reduced and things that aren't fully reduced. < 1374606165 677452 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :evaluating x without calling if is strict evaluation < 1374606176 348851 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :s/if/f/ < 1374606180 419227 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Whoops, right. < 1374606346 569768 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :although what you described is good for strict application; evaluating f'(x') means calling f' if it is callable, or giving up if it isn't < 1374606370 898037 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :(giving up = no more rewriting) < 1374606448 647845 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :A while ago in Dungeons&Dragons game we went to the demon's castle in order to try to beat the demon. I found that it was abandoned, except for a few vampires guarding one of the exits, an invoice for moving their posessions to another castle, and some silverware. < 1374606455 152650 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Maybe what I want to do is to write a function that performs just one reduction step. < 1374606481 634388 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :zzo38: vampires and silverware??? < 1374606488 287513 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Immediately when I saw this I suspected that they are trying to do a Kansas City Shuffle on us (although at the time, I didn't know what it was called). I still do not know whether or not this is correct. < 1374606507 517850 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :boily: The vampires were guarding an exit; an entirely different room to the silverware. < 1374606521 78586 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But I suppose I can see what you might be getting at... < 1374606523 688168 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But no. < 1374606538 108397 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric ::( < 1374606590 418396 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :tswett: maybe you might start with a simpler language, like lambda calculus < 1374606592 318752 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I suspect they are trying to make us think that they think their vampires can beat us, but this isn't the Kansas City Shuffle I am talking about, and it has nothing to do with the silverware. < 1374606661 139145 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :looks like their vampires are different. < 1374606683 430988 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :I dunno. Otherwise, start with eval (Constr ...) env = ..., and recursion is your friend < 1374606688 518745 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :boily: I don't know because I didn't try using the silverware against them. < 1374606707 649983 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(I actually didn't think of that, but even if I did I probably would have tried something else anyways.) < 1374606737 77817 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I think I did this for Unlambda once. < 1374606771 781618 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I ended up keeping the silverware in case we need the metal for something else later on. < 1374606812 118997 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :unlambda also doesn't need an environment; it's a bit pathological < 1374606835 195234 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :zzo38: that's what we usually do when we play d&d: loot everything, and I mean *everything*. < 1374606854 630352 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(and with proper creativity, you can cut a steak from just about any random material and/or monster) < 1374606885 658328 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"error: not all control paths return a value" is a somewhat poor error message for "you shouldn't have a semicolon on the last line of your function" < 1374606899 648690 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :although, not weird; it's how Miranda worked (very enhanced SKI calculus) < 1374606906 642280 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :"I loot every real number." "Sorry, you can only take countably many actions in a finite amount of time." < 1374606941 460396 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Gracenotes: really? elaborate? < 1374606950 499099 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is this Miranda the predecessor of Haskell? < 1374606956 30156 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :tswett: not a problem. with enough charisma and an infinite line of peasants, you can achieve FTL travel. < 1374606979 148852 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Does charisma affect the DM? < 1374606984 586346 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: rustc errors are not so great right now < 1374606987 808168 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1374606990 123909 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :If I have a charisma of 85, can I become the DM? < 1374606992 413291 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe i should fix it "patches welcome" < 1374606993 319093 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :yes. It took inspiration from SASL in compiling lambda calculus down to combinators < 1374606993 969098 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you see the Y thing i made < 1374607022 162879 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i was vaguely surprised that it worked < 1374607039 159285 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :tswett: you must bribe them with valuable trinkets and sacred dice. < 1374607073 208664 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: no < 1374607114 68749 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://shachaf.net/curry.rs.txt < 1374607125 661059 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :kmc: in addition to SKI, it has B, C, P, U, E, Y... etc. < 1374607128 49293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :someone came to #rust asking about how to make it work < 1374607171 289143 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :eek < 1374607191 169720 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I wrote the Y combinator in C++ once < 1374607195 548683 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :this is noisier ;P < 1374607198 729527 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :though fewer lines < 1374607216 159747 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the type is v. awkward < 1374607222 890275 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where y < 1374607238 570112 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1374607239 529790 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :boily: I rarely loot anything, but do loot these kind of things. < 1374607252 949188 :kappabot!kappabot@unaffiliated/shachaf JOIN :#esoteric < 1374607266 199264 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this is just \f -> (\x -> f (unRec x x)) (\x -> f (unRec x x)) < 1374607272 920049 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :reminds me, I promised to someone on this channel a long time ago the journals of our quests. < 1374607276 300381 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (\f -> (\x -> f (unRec x x)) (\x -> f (unRec x x))) (1:) < 1374607282 91108 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : Not in scope: `unRec'Not in scope: `unRec' < 1374607287 99200 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :boily: Do you have it? < 1374607307 760175 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (\f -> (\x -> f (outR x x)) (\x -> f (outR x x))) (1:) < 1374607307 960778 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :zzo38: nah, at home. I think I have some of them in my inbox... < 1374607311 106111 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: I hear @fn may disappear soon anyway < 1374607314 45185 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : The lambda expression `\ x -> f (L.outR x x)' has one argument, < 1374607314 245362 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : but its ty... < 1374607321 200696 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :kappabot: yw < 1374607326 949377 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh no < 1374607349 749700 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: what will we do instead!! < 1374607360 759749 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Actually as it turns out the number of human characters we had in our party was equal to the number of forks, so I gave them all away so each got one fork, so that they might eat. < 1374607375 499788 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But we can use them for other purposes too if it would help to do so. < 1374607383 824370 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Is it impossible to eat without a fork? < 1374607390 779748 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Some of the soldiers have since died so I got their forks back. < 1374607405 59837 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :tswett: I don't think so, but I would expect they don't want to eat by hand. < 1374607409 729837 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (\f -> (\x -> f (outR x x)) (Rec (\x -> f (outR x x)))) (1:) < 1374607413 121050 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : Not in scope: data constructor `Rec' < 1374607419 509638 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (\f -> (\x -> f (outR x x)) (InR (\x -> f (outR x x)))) (1:) < 1374607423 320944 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i can do it!! < 1374607423 579883 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1374607434 359593 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (\f -> (\x -> f (outR x x)) (InR (\x -> f (outR x x)))) (1:) < 1374607434 596665 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :There, I've implemented everything but Cancel. < 1374607438 190382 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1374607439 179517 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :p. sure i won < 1374607545 420758 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1374607569 981472 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Which is the crappy thing to implement, because its semantics are Cancel f = (evaluate 'f g' and wait for g to be applied to some value x, and return x). < 1374607581 533019 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :zzo38: I have an interesting sample. would you like the missive to be joyously sent by e-mail? < 1374607603 870325 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(I really can't garantee your understanding, unless you speak a very weird variety of French.) < 1374607618 350012 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :boily: No; I don't speak French very well at all. < 1374607622 191296 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: @~fn maybe? I'm not sure < 1374607656 211309 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :zzo38: darn. < 1374607660 190782 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :m@~ < 1374607671 386035 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :by roald.dahl.net < 1374607676 571883 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :quelqu'un ici qui parle français à part moi? < 1374607701 277009 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't loot everything; in fact I rarely loot money. I also found a place where someone kept everything including the stuff they stole from us; I took nothing except the things they have taken from us. < 1374607787 757801 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I am not the kind of thief. < 1374608112 202048 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :typically i either turn it off entirely or leave it in regular mode < 1374608124 491769 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well, depends < 1374608188 289772 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :So I'm still trying to think how to implement Cancel... < 1374608188 560520 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sometimes that's not true < 1374608240 704363 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :One thing you could do is grab the context and let g be that context. But the context has the wrong type; the context could return anything, whereas f expects something of type Bottom. < 1374608268 448636 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Maybe I should say "continuation" instead of "context". < 1374609012 502683 :nooodl_!~nooodl@91.179.137.83 JOIN :#esoteric < 1374609202 972894 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 246 seconds < 1374609282 817929 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is it called when you write an encrypted message containing many true things but the crucial things are lies, in the expectation that your opponent's will catch you, steal the message (that they thought you were trying to deliver), and hire their team to crack the code... < 1374609324 392753 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :usual counterintelligence practice :p < 1374609382 72638 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is it called when you take this further; you expect that they expect you to do this? < 1374609414 762674 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :a Princess Bride scene < 1374609447 963518 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :speaking of counterintelligence http://en.wikipedia.org/wiki/Operation_Bertram was pretty badass < 1374609463 864667 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :incl http://en.wikipedia.org/wiki/Operation_Bertram#Double_bluff < 1374609467 845748 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :you can canary your messages, do classic traffic analysis, then expound on the breaches of information. < 1374609561 473300 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :kmc: that's some surreal shit. < 1374609727 853809 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Double bluff? Akagi uses quintuple bluffs. < 1374609760 933570 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :try to keep up, rommel-kun < 1374609824 673516 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I do not know if the demon and those who work for him are expecting that I am expecting it to be a Kansas City Shuffle. < 1374609909 704366 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :let's consult the Old Wise One... < 1374609911 863271 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~fortune < 1374609912 63394 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Okay ... I'm going home to write the "I HATE RUBIK's CUBE HANDBOOK FOR < 1374609912 264167 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :DEAD CAT LOVERS" ... < 1374609936 274261 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :ACTION nods < 1374610077 805262 :tertu!~tertu@65-128-181-81.mpls.qwest.net QUIT :Ping timeout: 264 seconds < 1374610192 18256 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Does an anticipated Kansas City Shuffle have a special name? < 1374610251 864810 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :1,500 tanks fighting in the middle of the desert < 1374610257 785662 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's insane to think about < 1374610291 584697 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :zzo38: probably a violin scam, but I'm not sure. < 1374610321 674004 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :kmc: have you read "Losing the War" (it's an essay about WWII and being insane) < 1374610328 142658 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: Are you insane to think about 1,500 tanks fighting in the middle of the desert? < 1374610336 354095 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: maybe < 1374610338 684563 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :wait no < 1374610340 244079 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: no < 1374610341 414584 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: maybe < 1374610345 374142 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :help < 1374610348 406385 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :http://leesandlin.com/articles/LosingTheWar.htm < 1374610350 294807 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :it's pretty good. < 1374610369 75271 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :there's a section on war reporters talking about things being "eerie" or "surreal" and such < 1374610375 763986 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Am I simultaneously sane and insane? < 1374610387 883985 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :probably < 1374610393 164755 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :zzo38: you are under the illusion that you are zzo38. everything is fine. < 1374610405 477133 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Ping timeout: 276 seconds < 1374610432 104069 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't think being under such illusion makes everything to be fine... < 1374610501 745272 :tertu!~tertu@65-128-181-81.mpls.qwest.net JOIN :#esoteric < 1374611322 666402 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: so like, I like how wikipedia's list of stellar remnants is like < 1374611333 396834 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :"white dwarf, neutron star, black hole.... EF Eridani B" < 1374611343 886070 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/EF_Eridani it's apparently so unusual that they don't have a name for it < 1374611421 836169 :augur!~augur@c-71-57-182-133.hsd1.fl.comcast.net JOIN :#esoteric < 1374611744 1972 :nooodl_!~nooodl@91.179.137.83 QUIT :Ping timeout: 246 seconds < 1374611748 966353 :augur_!~augur@c-71-57-182-133.hsd1.fl.comcast.net JOIN :#esoteric < 1374611877 802054 :augur!~augur@c-71-57-182-133.hsd1.fl.comcast.net QUIT :Ping timeout: 264 seconds < 1374611984 28640 :oklopol!~oklopol@85-76-125-192-nat.elisa-mobile.fi QUIT :Ping timeout: 260 seconds < 1374612079 37451 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :Eridanipoid < 1374612126 958155 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`learn eridanipoid is a category of uncategorifiable stellar remnants. < 1374612132 289650 :augur!~augur@c-71-57-182-133.hsd1.fl.comcast.net JOIN :#esoteric < 1374612136 177650 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :I knew that. < 1374612158 887617 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :you're welcome, astronomers. < 1374612195 658176 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Epsilon_Eridani_in_fiction < 1374612220 867844 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :so uh < 1374612225 936703 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :what's this thing made out of exactly < 1374612245 759465 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :it's a twentieth the size of the sun, has no fusion... < 1374612247 841045 :augur_!~augur@c-71-57-182-133.hsd1.fl.comcast.net QUIT :Read error: Operation timed out < 1374612345 348364 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://arxiv.org/abs/astro-ph/0001183 maybe this might have it? < 1374612448 48983 :augur_!~augur@c-71-57-182-133.hsd1.fl.comcast.net JOIN :#esoteric < 1374612462 665555 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :sorry for all the nerding out about astronomy things >_< < 1374612468 198517 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :i wish someone would call /me/ a magnetic cataclysmic binary < 1374612473 628618 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :that's true love < 1374612499 179630 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that sounds more like a fat joke < 1374612549 950226 :augur_!~augur@c-71-57-182-133.hsd1.fl.comcast.net QUIT :Read error: Connection reset by peer < 1374612556 278431 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :i am not good enough at astrophysics to understand how that could possibly be a fat oke < 1374612575 608874 :augur_!~augur@c-71-57-182-133.hsd1.fl.comcast.net JOIN :#esoteric < 1374612612 773551 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :well, like, a cataclysmic binary is one where a big star orbits a white dwarf that's sucking off mass < 1374612625 209386 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and keeps nova-ing as the mass accretes, then flash-fuses, and repeats, I think? < 1374612666 210820 :augur!~augur@c-71-57-182-133.hsd1.fl.comcast.net QUIT :Ping timeout: 264 seconds < 1374612683 48639 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so um. I guess it means you're one big star and one small star, and you're exchanging mass, and the small one keeps exploding < 1374612688 798777 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I really don't know what this would imply I guess < 1374612727 268716 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :sounds like an exciting thing to be called still! < 1374612797 798356 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :“baby, let's exchange mass an go nova” < 1374612977 802161 :augur!~augur@c-71-57-182-133.hsd1.fl.comcast.net JOIN :#esoteric < 1374613016 461296 :augur_!~augur@c-71-57-182-133.hsd1.fl.comcast.net QUIT :Ping timeout: 256 seconds < 1374613182 69845 :nooodl_!~nooodl@91.179.137.83 JOIN :#esoteric < 1374613248 399281 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection < 1374613251 299657 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Poulet! < 1374613277 239977 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1374613733 541399 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 245 seconds < 1374613876 202036 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1374614021 763474 :tertu!~tertu@65-128-181-81.mpls.qwest.net QUIT :Ping timeout: 248 seconds < 1374614075 965968 :Taneb!~nathan@host-92-30-129-102.as13285.net QUIT :Ping timeout: 240 seconds < 1374614328 514129 :augur!~augur@c-71-57-182-133.hsd1.fl.comcast.net QUIT :Remote host closed the connection < 1374614392 312099 :augur!~augur@c-71-57-182-133.hsd1.fl.comcast.net JOIN :#esoteric < 1374614498 351499 :augur_!~augur@c-71-57-182-133.hsd1.fl.comcast.net JOIN :#esoteric < 1374614718 253721 :augur!~augur@c-71-57-182-133.hsd1.fl.comcast.net QUIT :Ping timeout: 264 seconds < 1374615094 667248 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :http://www.cell.com/current-biology/retrieve/pii/S096098221300835X finally biologists speak up on the #drugz #warz < 1374615157 453003 :Taneb!~nathan@host-92-30-203-51.as13285.net JOIN :#esoteric < 1374615179 344991 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :war, uh, yeah, what is it good for, misappropriating public funds < 1374615216 133498 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :that doesn't scan :c < 1374615223 803106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.youtube.com/watch?v=5L2Gve7oh_4 < 1374615503 981271 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :i can't decide if the best part of that is sam and max's faces, or the pathetic little shuffly kicks in front of the flag < 1374615543 544115 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :damn it! foiled by having to put -lxxx as the last arguments of gcc/the gcc-compatible clang frontend.. again! < 1374615703 486266 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: Thank you for that; now I've got the Cannon Fodder intro song looping in my head. ("war / never been so much fun / ... / go to your brother / kill him with your gun / leave him lying in his uniform / dying in the sun / ...") < 1374615764 709986 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://www.youtube.com/watch?v=xQhLRr0HRGI and so on. < 1374615956 215240 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Which is the crappy thing to implement, because its semantics are Cancel f = (evaluate 'f g' and wait for g to be applied to some value x, and return x). <-- isn't that just callCC < 1374615988 243960 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: sounds a lot like it. It's callCC with the type ((a -> Bot) -> Bot) -> a. < 1374616041 276379 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so i'd expect you need CPS < 1374616059 184632 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(or a Cont monad, which is just indirect CPS) < 1374616085 334881 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or possibly just ErrorT < 1374616099 452483 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Yeah, with Cont, wouldn't r have to be Bot? < 1374616125 475791 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t callCC < 1374616126 775105 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric :Not in scope: `callCC' < 1374616134 154637 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :SHEESH < 1374616143 274640 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey oerjan < 1374616156 215694 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's Foo such that class Functor f => Applicative f where applicative :: Foo f a -> f a < 1374616168 644966 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :callCC :: MonadCont m => ((a -> m b) -> m a) -> m a < 1374616251 645652 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm ok not the same type < 1374616261 208246 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: IDunno < 1374616284 939371 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :It looks similar to this, however: < 1374616285 917846 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :shift :: MonadDelimitedCont p s m => p b -> ((m a -> m b) -> m b) -> m a < 1374616307 456686 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok < 1374616324 932619 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: dwfm htdh thx4n < 1374616379 77054 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: strč prst skrz krk < 1374616385 302956 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :hth < 1374616428 967307 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :So could I use CC? < 1374616434 355263 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: help < 1374616481 178302 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :No, I don't think I could. There's the same problem again: a has to be Bot, so you can't return anything through it except for Bot. < 1374616505 297006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you are lost in a maze of unpronouncable syllables. dvořák is here. < 1374616543 406218 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :Fiora: http://dx.doi.org/10.1016/j.cub.2013.03.057 some jellyfish have neural organization without cephalization < 1374616596 377664 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Hm. I can make Bot a type variable instead of a constant. < 1374616629 676022 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: what about Bot = forall a. a < 1374616657 921251 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: you still can't return anything through it, because you can't convert stuff to forall a. a. < 1374616671 905303 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1374616687 214052 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Can you write id using only compose and flip? < 1374616691 885557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose you should ask someone who actually knows about typed continuation stuff hth < 1374616692 985774 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help what's the problem at hand < 1374616700 724377 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: my problem? < 1374616701 785668 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :not that i know about typed continuations < 1374616709 795306 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's the thing you're trying to do < 1374616725 605924 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::t cont < 1374616726 769074 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : Not in scope: `cont' < 1374616727 35676 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric : Perhaps you meant `const' (imported from Prelude) < 1374616731 425709 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::t Control.Monad.Cont.cont < 1374616733 115421 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric :Couldn't find qualified module. < 1374616734 357912 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: flip . flip hth < 1374616735 667323 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1374616741 487666 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :cont :: forall a r. ((a -> r) -> r) -> Cont r a < 1374616744 561081 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric ::t flip . flip < 1374616744 761148 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :there you go!! < 1374616746 286984 :kappabot!kappabot@unaffiliated/shachaf PRIVMSG #esoteric :forall a b c. (b -> a -> c) -> b -> a -> c < 1374616761 754903 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Mm, its type isn't general enough. < 1374616770 977535 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :your type isn't general enough :'( < 1374616771 177939 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: well, uh, I have this thing, and I'm trying to make it work. < 1374616800 600844 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :http://lpaste.net/91160 < 1374616814 911360 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I know, some of those equations are kind of atrocious. < 1374616821 517280 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ew hth < 1374616826 955384 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Well, no. These equations are pretty nice. < 1374616832 992383 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Some of my *old* equations were pretty atrocious. < 1374616835 592057 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :"step (Apply (Apply Uncurry f) (Apply (Apply Pair x) y)) = Just (Apply (Apply f x) y)" < 1374616839 846095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: i am not sure if you can construct something that takes only one argument < 1374616851 616983 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I'll just add id as another combinator. < 1374616858 466690 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :id do the same thing < 1374616865 977331 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Lol hth. < 1374616931 719972 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :So, Cancel is supposed to pretty much be callCC. < 1374616950 476988 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :"Apply Cancel (Apply (Apply Flip Id) Gimme)" should eventually reduce to Gimme. < 1374616965 66345 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :isn't it dne < 1374616972 711558 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: does not exist? < 1374616978 846308 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :double negation elimination hth < 1374616984 438477 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Yes, that's exactly what it is. < 1374616990 116144 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's not the same as callcc < 1374616993 696706 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :directed shotgun proteomics < 1374616995 166447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(though you can write one in terms of the other) < 1374616997 442783 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Oh yeah. It's that. < 1374617005 751440 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :So yeah. I'm trying to figure out how to write double negation elimination. < 1374617026 676247 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :with continuations hth < 1374617038 72339 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :tmh < 1374617076 687382 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: one point is that you don't want the actual underlying type to be a -> Bot, since that's impossible < 1374617087 206617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you want a -> m Bot or something < 1374617114 817755 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: well, this isn't really an "underlying type" < 1374617133 166223 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :So "step (Apply Cancel f)" should be all like "hey dudes, what's the continuation?", and then, like, it ought to just reify the continuation and make Apply f g be the ultimate result, aye? < 1374617134 635769 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i mean, it's just the argument to the gadt. it's not "contained in"" the gadt < 1374617159 296939 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i understood his combinators were typed. < 1374617177 813529 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :The combinators are indeed typed, though the types currently have nothing to do with any underlying representations. < 1374617249 905173 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Y'all can see me now 'cause you don't see with your eye; you perceive with your mind. HTH < 1374617257 917032 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :All right, what were we doing? < 1374617282 477036 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :[Lag: 26.99] < 1374617286 974079 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :coo-coo-coo-coo-coo < 1374617306 377631 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :if this just descended into singing gorillaz off-key i'd be ok with that. < 1374617306 594409 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I could have something that says Coerce :: Expr a -> Expr b. < 1374617316 283525 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Is it possible to rap off-key? < 1374617321 847173 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :everyone has perfect pitch on the internet < 1374617328 168154 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :you fucking watch me, i'll mess it up somehow < 1374617363 429423 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :But no, uh, continuations. < 1374617381 386846 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :callcc is weird. it's scary, too. < 1374617395 868364 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is it like me < 1374617422 955931 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :step (Apply Cancel f) cont = Just (Apply f cont)?????????? < 1374617453 837078 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: i don't see how you can implement your g as something not containing a continuation < 1374617459 750071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i m not quite sure what you 're after here < 1374617463 761687 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Yeah, it's certainly going to have a continuation. < 1374617465 17521 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :containuiation < 1374617477 946834 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I'm pretty definitely after something involving continuations. < 1374617519 31184 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :The question is how to implement this double negation elimination combinator, presumably using continuations. < 1374617657 817042 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: i keep thinking rusti is a swiss potato dish < 1374617661 94029 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Okay, uhh. So we have Apply Cancel (Apply (Apply Flip Id) Gimme). So f = Apply (Apply Flip Id) Gimme, and the continuation is the identity function. So we can just reduce Apply f Id, and there we go. < 1374617661 617386 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: sadly not < 1374617671 790941 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: rösti hth < 1374617677 147301 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i know :'( < 1374617688 963010 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :So apparently the continuation needs to be given as an Expr, not as a function. < 1374617692 34916 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Rodgrod med flode. < 1374617694 807957 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: there's a rust-evaluating bot in #rust called rusti hth < 1374617695 199124 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :15:14 < strcat> rusti: let b = 5 as bool; (b, b == true) < 1374617695 399360 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :15:14 -rusti:#rust- (true, false) < 1374617704 48795 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :best boolean type ever < 1374617708 215662 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Or I guess it could be given as a function, as long as we can somehow turn that function into an Expr. < 1374617711 208672 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :what the shit < 1374617712 967611 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: why would it be a swiss potato dish < 1374617714 997401 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :km: is it unsafecoercing......................... < 1374617722 747660 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :c < 1374617723 239210 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: rødgrød med fløde you uneducated dolt < 1374617724 149519 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :not exactly < 1374617724 378447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: because https://en.wikipedia.org/wiki/Rösti < 1374617726 408043 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1374617732 672740 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: whøøps sørry < 1374617747 667653 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :tasty < 1374617752 627335 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :JAUSA! < 1374617754 847517 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :let's use integer equality on booleans, what could go wrong < 1374617771 607550 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: rösti is delicious hth < 1374617771 950041 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Let's say that every type is a subtype of Bool. < 1374617774 67986 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :let's coerce numeric types, what could go wrong < 1374617777 538013 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan can confirm (rightjan?) < 1374617786 787408 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :google wants to translate rødgrød as rødgrød, I guess that's fair < 1374617810 428053 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :also wait < 1374617813 917605 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :does rusti actually use notices < 1374617818 637670 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1374617821 457895 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :wow < 1374617826 647832 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :most shocking part of that exchange imo < 1374617829 88477 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: oh i'm thinking, your continuation for a type a should be a -> Expr, since you are doing steps < 1374617829 607622 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :because rusti is a cool bot who follows the spec < 1374617836 79988 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait hm < 1374617841 378555 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i wish i was as cool as rusti < 1374617848 528022 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1374617850 477782 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but without the segfaults < 1374617864 698412 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :segfaulting could be kinda rough yeah < 1374617865 478065 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: um your step function needs to include the _next_ continuation in its result as well < 1374617874 161536 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: It looks like it is pretty much unsafeCoercing? < 1374617903 748323 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :otherwise you wouldn't know how do do the next step... < 1374617974 284534 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: do you mind if i use ø to mean the empty set < 1374617982 128265 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :∅ is so awkward to type < 1374617989 657854 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and they look p. much the same < 1374617998 360846 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :is that \emptyset or \varnothing? < 1374618000 849367 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ø∅ < 1374618018 498590 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :G̸racenotes < 1374618068 7937 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :I see dead diacritic marks < 1374618077 657742 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why do people upvote the wrong answers on stack overflow < 1374618109 732110 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why do i have 20 points for answering "is putstrln thread-safe" with "yes" < 1374618124 938301 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :god is real and hates you, hth. < 1374618127 248880 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haha < 1374618137 798116 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :unsafeInterleavePutStrLn < 1374618149 798755 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :also abu ghraib got military assaulted and a bunch of guys are out now. < 1374618157 287673 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: it's been too long since i tasted rösti, i've forgotten < 1374618296 168438 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: wow that's not v. swiss of you < 1374618297 429596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswett: step (Cancel f, cont) = Just (Apply f (ContE cont), cont) or something < 1374618307 849448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am indeed not very swiss < 1374618390 269808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm or wait... < 1374618402 459013 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: did you remember that you were swiss < 1374618414 508979 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think the tricky part is what step (Apply (ContE cont) ...) should return < 1374618420 709163 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no. < 1374618431 419567 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: you remind me of swiss cheese hth < 1374618435 578345 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :not that that's use in rösti < 1374618476 540210 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's the step that requires changing the next step continuation. < 1374618530 419066 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: are you saying i am a very holy person? < 1374618664 29096 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I said it in Hebrew, I said it in Dutch, / I said it in German and Greek, / But I wholly forgot (and it vexes me much) / That English is what you speak. < 1374618679 699061 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(and norwegian) < 1374618690 459142 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(and maybe other languages?? what languages do you speak) < 1374618700 80764 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(are any of them hebrew/dutch/german/greek) < 1374618711 230596 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(i think if you speak english+german you speak dutch automatically) < 1374618977 840180 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1374619042 111340 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: yo yo yo dawg < 1374619048 829529 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1374619053 19791 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :c'mon < 1374619054 839923 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :gimme a yo < 1374619064 830326 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :??? < 1374619079 879924 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :c’mon < 1374619086 136063 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :c‚mon < 1374619104 210544 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i can do a little german < 1374619125 272790 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how much on a scale of 1 to 13 < 1374619132 200233 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :from there to pronouncing dutch is another galaxy. < 1374619165 799739 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes but i have no evidence you know how to pronounce english either < 1374619183 110690 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i had 4 years (i think) of german in school. i just haven't used it much since. < 1374619219 840381 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(also one year of french) < 1374619221 190277 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hm i had a few years of english in school < 1374619223 524787 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and french < 1374619225 89932 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and arabic < 1374619246 199349 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :all before grade 6 though............... < 1374619298 780908 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i have been known to be understood vocally by native english speakers. < 1374619342 790506 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :including giving a few presentations < 1374619347 310730 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how vocally are we talkin' < 1374619359 611043 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I REALLY UNDERSTAND THIS OERJAN FELLOW 100% < 1374619361 110857 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :VERY CLEAR < 1374619364 331219 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :like that? < 1374619371 400299 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :BUT MY EARS HURT < 1374619811 101532 :jsvine!~Adium@205.203.128.141 QUIT :Quit: Leaving. < 1374620292 125415 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :why do your ears hurt? < 1374620307 813946 :Taneb!~nathan@host-92-30-203-51.as13285.net QUIT :Quit: Leaving < 1374620409 622276 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :BECAUSE PEOPLE ARE SHOUTING TOO VOCALLY HTH < 1374620422 807026 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :STOP LISTENING TO THEM HTH < 1374620458 622372 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :IMPOSSIBLE < 1374620501 860219 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :I think you mean *un*possible < 1374620536 162871 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :imlikely < 1374620615 333089 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :unprobably < 1374621640 130811 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :ACTION -> slep < 1374621732 386147 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :http://nsaunders.wordpress.com/2013/07/16/interestingly-the-sentence-adverbs-of-pubmed-central/ btw this is great < 1374621833 505744 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric : http://nsaunders.files.wordpress.com/2013/07/adverbsopencloud20.png?w=300&h=300 wow < 1374621839 746648 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :this article is great, thanks~ < 1374621903 865922 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :"bmc immunology" is the most interesting journal < 1374621912 456481 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :"Nature" has the most remarkable results < 1374621916 115042 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :ow < 1374621924 975884 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :"plos med" and "bioinformatics" are the most unfortunate < 1374622012 175750 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Grossly.... Histologically... Immunohistochemically... Ultrastructurally... < 1374622024 995168 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3173291/ help I am laughing at abstracts of papers I can't understand < 1374622087 956585 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :bike what have you dooone < 1374622088 345540 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :wow, that's just not good writing. < 1374622137 665349 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :«You might imagine that very long adverbs stand a good chance of being ugly. Let’s find the longest: "electronmicroscopically". You'd be correct.» < 1374622238 195753 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's too long for a double dactyl :'( < 1374622268 747361 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :how about ethnopharmacologically < 1374622288 326136 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :what does that even mean @_@ < 1374622307 35574 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :probably related to ethnomedicine < 1374622320 438190 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :which is where you ask people which plants they use to cure colds < 1374622343 477264 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ethno...? < 1374622382 116260 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there ethno medicine for cold < 1374622394 6821 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :as in ethnology < 1374622458 336650 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :the study of cultures, which frequently means ethnic groups < 1374622607 497531 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :i have a little book on ethnomedicine, it's pretty cool, they lived with dominicans (as in dominica, not the dominican republic) for a while < 1374622635 337112 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :one of the "traditional healers" was a guy who'd gotten a book on identifying plants in high school and thought it would be neat do try and cure diseases like his grandparents did < 1374623753 718932 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1374623935 187301 :Bike!~Glossina@174-25-43-108.ptld.qwest.net PRIVMSG #esoteric :oerjan: oh, duh, you were right, it's an alternating series and the signs only cancel for squares < 1374623969 270251 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay for vague recall