00:06:18 -!- Phantom_Hoover has quit (Remote host closed the connection). 00:28:38 -!- `^_^v has quit (Quit: This computer has gone to sleep). 00:31:16 -!- `^_^v has joined. 00:37:15 -!- sleffy has quit (Ping timeout: 246 seconds). 00:37:52 -!- `^_^v has quit (Quit: This computer has gone to sleep). 00:52:29 -!- `^_^v has joined. 00:52:55 -!- `^_^v has quit (Client Quit). 01:07:22 -!- oerjan has joined. 01:12:18 -!- `^_^v has joined. 01:17:10 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 01:33:38 -!- sebbu2 has joined. 01:36:45 -!- sebbu has quit (Ping timeout: 246 seconds). 01:48:07 -!- webchat191 has joined. 01:48:32 -!- webchat191 has changed nick to Downgoat. 01:49:30 -!- Downgoat_ has joined. 01:49:49 Hi 01:52:13 -!- ais523 has joined. 01:52:25 hi Downgoat, Downgoat_ 01:52:30 Hi 01:52:40 I think I IRCd incorrcetly which is why they are two downgoat :| 01:52:47 apart from connecting twice you seem to have done everything correctly 01:53:03 other one's a ghost by the look of things, it'll probably time out in a couple of minutes 01:53:09 `hi Downgoat_ 01:53:09 Hi Downgoat_. Howngoat_. 01:53:30 Downgoat's a regular at PPCG, they're apparently discussing making a new golfing site too and are much further on than we are 01:53:41 are most people here on PPCG? 01:53:49 -!- Downgoat has quit (Ping timeout: 260 seconds). 01:53:55 -!- Downgoat_ has changed nick to Downgoat. 01:54:01 no, only a few of us are 01:54:07 I'm not on PPCG but I like code golf. 01:54:24 code golf is fairly popular here because there's a lot of overlap, but few people here actually golf regularly 01:54:33 ah 01:54:44 sometimes I look at PPCG and have a go at a question if it looks sufficiently interesting, but (after deleting my account) I've only posted once 01:54:51 well our current code is hosted on GH here: https://github.com/Mego/PPCG-v2 01:54:58 because the site works so much better when it's not trying to force you to get rep 01:55:08 and for those who use stackexchange we have a chat here: https://chat.stackexchange.com/rooms/68212/ppcg-v2 01:55:24 but we have auth, posts, markdown rendering, and we're working on other stuff 01:55:44 but we don't really have a plan on what things we actually want so that's still for desciding 01:56:03 I think some sort of automatic program runner/verifier is one of the features that a) golf sites most benefit from and b) PPCG doesn't have, although you can't use it in all contexts 01:56:30 Yeah. if we're all familar with TIO, we're planning on using that heavily 01:56:36 How do you think a golf site should address nondeterminism like $$? 01:56:49 anagolf's latest solution fixes that pretty neatly 01:56:51 you mean in markdown? 01:57:04 allow anyone to re-mark the program, it gets removed from the leaderboards if it's "magically" stopped working 01:57:22 So the program has to work consistently. 01:57:28 this also means that in questions where your program is meant to work for all inputs, you can use the recheck request to submit a counterexample; that doesn't work in anagolf because it has a fairly primitive marking system 01:57:43 Hmm, I wonder whether people have used programs that rely on the current date. 01:57:58 under PPCG rules your program would have to work consistently too (because requiring a particular $$ would count as an illegal form of input) 01:58:31 What about a program that only works in the 21st century? 01:58:37 shachaf: on the original code golfing site, which predated anagolf and collapsed due to not having questions very often, someone used time() as a magic number once 01:59:23 I think if you're going to write a program in http://esolangs.org/wiki/2014 or something like that, having the recheck link not work is not really a huge issue 01:59:47 `cat bin/2014 01:59:47 ​#!/bin/sh \ if [ $(date +%Y) = "$(basename "$0")" ] \ then echo "Hello, world!" \ fi 01:59:52 So that's what that's about. 01:59:54 although I think having something like a "disputed" or even "invalid" tag that people can vote onto or off the post would be worthwhile, in cases where it's unclear whether the program complies with the rules 02:00:49 shachaf: hmm, I see a big loophole in that implementation 02:00:55 it should have just hardcoded the "2014" 02:01:38 `cat bin/2015 02:01:38 ​#!/bin/sh \ if [ $(date +%Y) != "$(basename "$0")" ] \ then echo "Hello, world!" \ fi 02:01:44 `` ls -l bin/201{4,5} 02:01:45 ​-rwxr-xr-x 1 5000 0 79 Oct 28 2016 bin/2014 \ -rwxr-xr-x 1 5000 0 80 Oct 28 2016 bin/2015 02:01:49 Hmm. 02:01:57 `perl 'system "bin/2014" "2017"' 02:01:58 Can't open perl script "'system "bin/2014" "2017"'": No such file or directory 02:02:04 `perl-e 'system "bin/2014" "2017"' 02:02:05 No output. 02:02:08 `perl-e system "bin/2014" "2017" 02:02:09 String found where operator expected at -e line 1, near ""bin/2014" "2017"" \ (Missing operator before "2017"?) \ syntax error at -e line 1, near ""bin/2014" "2017"" \ Execution of -e aborted due to compilation errors. 02:02:11 `doag bin/2014 02:02:17 5227:2015-01-02 sed -i \'s/2014/$(basename "$0")/\' bin/2014 \ 5219:2014-12-31 ` chmod +x bin/2014 \ 5218:2014-12-31 ` echo "fi" >> bin/2014 \ 5217:2014-12-31 ` echo "then echo \\"Hello, world!\\"" >> bin/2014 \ 5216:2014-12-31 ` echo "if [ \\$(date +%Y) = \\"2014\\" ]" >> bin/2014 \ 5215:2014-12-3 02:02:22 `doag bin/2015 02:02:23 ais523: I didn't even know we were discussing making a golfing site. 02:02:28 6472:2015-12-31 revert \ 6471:2015-12-31 ` sed -i s/!// bin/2015 \ 5231:2015-01-02 ` cp bin/201{4,5}; sed -i \'s/=/!=/\' bin/2015 \ 5230:2015-01-02 rm bin/2015 \ 5229:2015-01-02 ` ln bin/2014 bin/2015 \ 5228:2015-01-02 rm bin/2015 \ 5226:2015-01-02 ` cp bin/201{4,5}; sed 02:02:35 fizzie: we did a couple of times, I'm not sure if you were there at the time 02:02:42 fizzie: I think we were mostly discussing how we wouldn't do it. 02:02:49 What shachaf said. 02:02:57 You participated saying you wouldn't do it, if I remember correctly. 02:03:08 Yes, though I don't think ais523 was here at *that* time. 02:03:42 `perl-e system {"bin/2014"} "2017" 02:03:43 No output. 02:03:52 Is your code golf site going to support multiple metrics to optimize? 02:03:55 hmm, I finally got the right syntax, but it still doesn't work? probably the path is wrong 02:04:02 `perl-e system {"bin/2014"} "2017" or die $@ 02:04:03 Died at -e line 1. 02:04:06 `perl-e system {"bin/2014"} "2017" or die $! 02:04:07 Died at -e line 1. 02:04:16 `perl-e system {"bin/2014"} "2017" or die $? 02:04:16 You can measure things other than program length. 02:04:17 0 at -e line 1. 02:04:26 OK, Perl, now you're just screwing with me 02:04:35 `perl-e print system {"bin/2014"} "2017" 02:04:36 0 02:05:07 `` basename "2017" 02:05:08 2017 02:05:25 this is normally the point at which I'd attach a debugger but that's kind-of hard in HackEgo 02:06:24 `runc execl("bin/2014", "2017", NULL); 02:06:25 No output. 02:06:37 `perl-e print system {"bin/nonexistent-executable"} "2017" 02:06:38 ​-1 02:06:50 OK, so it is finding the executable 02:06:55 `perl-e print system {"bin/2014"} "bin/2017" 02:06:56 0 02:07:18 `` echo $'#!/usr/bin/env python\nimport sys\nprint sys.argv\n' > tmp/args && chmod +x tmp/args 02:07:19 No output. 02:07:26 `runc execl("tmp/args", "2017", NULL); 02:07:27 No output. 02:07:32 `runc execl("/hackenv/tmp/args", "2017", NULL); 02:07:33 No output. 02:07:46 `tmp/args abc 02:07:47 ​['/hackenv/tmp/args', 'abc'] 02:08:15 `perl-e print system {"pwd"} "pwd" 02:08:15 ​/hackenv \ 0 02:08:23 Pet nitpicking opportunity: that should be (char *)NULL. 02:08:40 thx tdh 02:08:45 niwh 02:08:54 fizzie: I misread "Pet" as "Perl", and tried to figure out how that could possibly hep 02:08:55 `? niwh 02:08:56 niwh? ¯\(°​_o)/¯ 02:08:56 *help 02:09:00 no it wasn't helpful 02:09:01 ? 02:09:13 Downgoat: as you can see, this channel tends to get sidetracked fairly easily 02:09:41 `runc execl("/bin/ls", "/bin/ls", (char *)NULL); 02:09:42 No output. 02:09:42 shachaf: The intention was "no, it wouldn't help", I think. 02:10:07 fizzie: Maybe you can use your C lawyer skills to figure out what's going wrong there? 02:10:30 ais523: idk I lost track like 10 minutes ago 02:10:38 There's no automatic main wrapping or any other fancitude with `runc. 02:10:45 Oh. 02:10:54 I must be thinking of another command or another bot. 02:10:56 `runc #include \n int main(void) execl("/bin/ls", "/bin/ls", (char *)NULL); } 02:10:57 No output. 02:10:59 ... 02:11:04 Oh, I missed a {. 02:11:09 `runc #include \n int main(void) { execl("/bin/ls", "/bin/ls", (char *)NULL); } 02:11:12 bin \ canary \ emoticons \ esobible \ etc \ evil \ factor \ good \ hw \ ibin \ interps \ izash.c \ karma \ le \ lib \ misle \ paste \ ply-3.8 \ quines \ quinor \ quotes \ share \ src \ test2 \ testfile \ tmflry \ tmp \ wisdom 02:11:17 Feel free to carry on. 02:11:33 `runc #include \n int main(void) { execl("bin/2014", "2017", (char *)NULL); } 02:11:34 No output. 02:11:43 `runc #include \n int main(void) { execl("tmp/args", "2017", (char *)NULL); } 02:11:43 ​['tmp/args'] 02:11:59 maybe the current bin/2014 wouldn't work even in 2014? 02:12:06 `date +%Y 02:12:07 2017 02:12:30 `2015 02:12:31 Hello, world! 02:12:39 hmm, that implies it's probably working 02:12:43 Oh, it's because it's Python, isn't it. 02:13:15 -!- bridger has joined. 02:13:49 ? 02:14:06 I bet the Python interpreter is doing something to mess up argv[0] 02:14:31 `` echo $'#include \nint main(int argc, char **argv) { while (*argv) { puts(*argv++); } }\n' > /tmp/args.c && gcc -o tmp/args /tmp/args.c 02:14:32 No output. 02:14:47 `runc #include \n int main(void) { execl("tmp/args", "2017", (char *)NULL); } 02:14:47 2017 02:14:51 That's better. 02:15:15 `cat bin/2014 02:15:15 ​#!/bin/sh \ if [ $(date +%Y) = "$(basename "$0")" ] \ then echo "Hello, world!" \ fi 02:15:23 "If bash is invoked with a file of commands, $0 is set to the name of that file." 02:15:35 Ah, I was about to make a shell script to test that behavior. 02:15:43 fizzie: aha 02:15:47 That might apply also if it's invoked "with a file of commands" via "#!". 02:15:52 yes, it would I thiink 02:15:54 *think 02:16:37 ais523: What would be interesting to optimize other than byte count? 02:16:47 Speed and memory usage are a bit passé 02:17:29 shachaf: the most interesting non-pure-golf problems are either optimizing some property of the source related but not identical to bytecount (number of unique characters is a common one, typically won by Unary or Lenguage) 02:18:01 and challenges where your program has to work in as many ways as possible (e.g. run in as many languages as possible), often with a size limit or hybrid scoring 02:18:06 radiation-hardening is fun too but kind-of niche 02:18:08 whoa, I expected you to say "optimising" 02:18:25 shachaf: I've completely given up on -ise versus -ize 02:18:34 Radiation-hardening sounds like fun. 02:18:41 like, I don't know which one's meant to be British English and which one's meant to be American English 02:18:45 or if they're both both, or what 02:18:51 nobody seems to know or care any more 02:19:01 and it's mostly only a problem when it comes to naming identifiers, because you have to be consistent 02:26:26 -!- sleffy has joined. 02:35:52 huh, I just realised that I can hear my spam filter working 02:36:11 I heard some sounds from the hard disk and thought "huh, I must have received an email" 02:36:16 and the notification popped up a few seconds later 02:37:52 Your hard disk still makes sounds? 02:37:58 how quaint 02:38:35 the nice thing about rotational hard drives is that you can get a huge amount of storage for a small price 02:52:57 -!- sleffy has quit (Ping timeout: 240 seconds). 02:56:41 Hmm. I was reading HMRC guidance, and it seems to me that esolangs.org would fall under the "charitable purposes" category. 02:57:20 -!- jaboja has quit (Remote host closed the connection). 02:57:34 (The thing about HMRC-recognised charities is, donations to them are eligible for a thing called Gift Aid.) 02:57:58 fizzie: it has to be explicitly registered as a charity, IIRC 02:58:07 which probably comes with a number of legal requirements 02:58:32 I think you could probably make the case that it's a charity, but the legal overhead for actually setting it up might well be too great 02:58:58 fizzie: What about your employer's donation matching? 02:59:35 You don't need to register with the Commission unless the yearly income of the charity exceeds £5000, or it's structured as a company. 02:59:46 also I think gift aid would only be helpful from brits 03:00:07 You would need to apply for recognition from HMRC, but that seemed more lightweight. 03:00:11 because the point is that you're donating part of your income to charity, so the government "matches" that with the tax revenue from the same amount of income 03:00:28 and that implies that the income had british tax paid on it in the first place 03:01:40 Sure, I was mostly thinking about my own donations. 03:02:50 "To be a charitable aim for the public benefit, education must be capable of being ‘advanced’. This means to promote, sustain and increase individual and collective knowledge and understanding of specific areas of study, skills and expertise. -- The types of charities that are capable of advancing education include: information media such as the internet, --" 03:05:01 There was some bit about how it shouldn't benefit a "narrow group" (but I don't think that was meant to rule out things most people simply aren't interested in), and a bunch of restrictions of what a charity can do. 03:14:28 https://www.gov.uk/setting-up-charity/structures -- the last two don't have a corporate structure (so can't e.g. employ people or enter contracts, and the trustees keep personal responsibility), but as far as I can tell are still eligible for HMRC recognition. 03:17:36 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 03:19:10 Though to be fair, while the wiki might qualify, fitting something like HackEgo under the "charitable purposes" label would be a bit of a stretch. 03:21:26 shachaf: For that, I would need to nominate the organisation first. 03:22:23 (I think it would be eligible per the guidelines.) 03:23:38 Also, another thing I've not been able to find out is the minimum number of trustees. (They need to be "fit and proper", to boot.) 03:30:56 -!- bridger has quit (Quit: WeeChat 1.9.1). 03:34:18 if you have to choose a name for the organization. fhtagn makes an excellent acronym 03:34:54 -!- watered has joined. 03:37:13 -!- Vorpal has quit (Ping timeout: 268 seconds). 03:48:45 ais523: would voting on posts/questions be a good idea? 03:49:32 Downgoat: well some questions are better than others, but the voting tends not to work out that well at PPCG 03:49:50 normally questions get upvoted if they're easy, and although that's a popular type of question, it's not one that's universally liked 03:49:59 perhaps it'd be better to have voting on categories rather than a single vote 03:50:19 like, maybe you upvote a tag really high on a question if you think the question is really interesting to people who like that tag 03:52:56 out of my two highest-upvoted questions, one is really good, the other fairly dubious, and I can't remember offhand which is higher 03:53:38 good one's at 171, bad one at 89 03:53:44 so at least the votes worked in that case 03:53:47 it took a while, though! 03:55:07 btw do you have any reccomendations on how question could be categorized beyond tags 03:55:13 I think I have read somewhere (I don't know if I remembered correctly?) that "-ize" is American (and I think also Canadian), while both "-ise" and "-ize" is British. I am not sure though. 03:55:32 i have seen it advertized 03:55:33 Downgoat: ideally it'd help people find the sort of questions they wanted, which is based on solution techniques 03:55:59 and that can be very hard to figure out in advance 03:56:02 so there might not be a good solution 03:56:29 you can often guess in advance whether a winning solution is more algorithmic, more declarative, or more about microgolfing, though 03:56:45 maybe like 'bookmark' or 'star' posts you personally want to reference 03:56:55 (there's also [kolmogorov-complexity] which is very different from the rest of golfing, but it's already self-contained enough as it is) 03:57:06 SE has a starring feature already, I (surprisingly!) have no problem with it 03:57:15 that's only on Qs though 03:57:17 Why is kolmogolf different from other golf? 03:57:27 Actually "advertise" is "-ise" everywhere I think. I just looked it up in Wiktionary; it says "advertize" is archaic. 03:58:37 shachaf: having long constant strings as an important part of the solution is normally looked down on in golfing as the question becomes about optimizing those rather than about the rest of the question 03:58:55 and compression in that form can require some highly specialised techniques and things outside the normal goal of the language 03:59:08 normally you're trying to spot and exploit patterns, rather than work out a clever algorithm 03:59:29 Isn't all golfing about Kolmogorov complexity? 03:59:46 shachaf: well, sort of, but kolmogolf is specifically about when you have a fixed output to produce 03:59:59 and the output chosen is normally ascii-art or the like, something with a repetitive but not uniform structure 04:00:15 I guess you could think of regular golf being about writing functions, which run with no exceptions 04:00:22 and kolmogolf about encoding the exceptions 04:02:13 I'm not a huge fan of kolmogolf 04:02:24 ^ 04:02:39 How often is the most efficient algorithm implemented as eval + kolmogolf? 04:02:49 I like reverse-kolmogolf but got disillusioned with it because I normally took much longer to write my answers than everyone else so didn't get upvotes even though they were IMO way more interesting (and shorter) than the other answers 04:02:58 shachaf: it mostly only happens in PHP for some reason 04:03:15 not on PPCG, because PHP isn't that popular there and because people don't often think of it 04:03:21 but all the time on anagolf 04:04:42 here's an example of reverse-kolmogolf (full disclosure: this is one of my questions): https://codegolf.stackexchange.com/q/105303 04:07:22 -!- Vorpal has joined. 04:07:22 -!- Vorpal has quit (Changing host). 04:07:22 -!- Vorpal has joined. 04:08:49 basically you have to recognise a large number of large inputs, but you know the input will be one of those, so you only have to focus on the differences and don't have to recognise the whole thing 04:09:20 Now that you deleted your account, you no longer post referral links, which I like. 04:09:26 I can't stand stackexchange referral links. 04:10:13 shachaf: I got massively downvoted for complaining about some badges being seen by some people as a negative 04:10:38 I remember. 04:10:41 I mentioned the badge for people visiting your referral links as an example of that, thinking about you when I did 04:11:04 that said, if you can get the badge for yourself, you can just as easily inflict it on someone else by editing the link, as there's no authentication on it 04:11:05 Badge of shame. 04:11:11 and the badge is all it does 04:11:28 fizzie: Do you have any badges of shame? 04:13:31 the badges are really counterproductive in many ways, though, for example the fact that you got a badge for filling out your profile incentivised me to not do it 04:13:43 because I could always choose to do it later but I could never get rid of the badge 04:13:50 Yes, gamification is scow 04:14:03 scowification 04:14:24 I thought I'd be OK for it for something that was actually a game 04:14:27 but I wasn't, the incentives are all wrong 04:20:54 -!- `^_^v has quit (Quit: This computer has gone to sleep). 04:24:21 -!- ais523 has quit (Quit: quit). 04:24:57 -!- watered has quit (Ping timeout: 240 seconds). 04:25:14 -!- bridger has joined. 04:37:25 -!- augur has quit (Remote host closed the connection). 04:38:08 -!- augur has joined. 04:40:01 -!- sleffy has joined. 04:42:41 -!- augur has quit (Ping timeout: 248 seconds). 04:48:13 -!- augur has joined. 04:55:40 -!- augur has quit (Remote host closed the connection). 05:28:44 -!- oerjan has quit (Quit: Nite). 05:31:28 -!- augur has joined. 05:45:50 -!- augur has quit (Remote host closed the connection). 05:49:23 -!- augur has joined. 05:57:06 -!- variable has joined. 06:06:07 -!- bridger has quit (Quit: WeeChat 1.9.1). 06:06:50 -!- watered has joined. 06:13:04 -!- Challenger5 has joined. 06:24:31 -!- sleffy has quit (Ping timeout: 248 seconds). 07:00:34 -!- FreeFull has quit. 07:01:49 -!- Downgoat has quit (Ping timeout: 260 seconds). 07:21:25 If you want to store a PC text screen (or anything that is close enough) with variable width and height, one format to use would be MZM, I think is work for such purpose. 07:22:36 The format is same like PC video memory but with a header that specifies the width and height. 07:22:58 -!- augur_ has joined. 07:24:27 -!- augur has quit (Ping timeout: 240 seconds). 07:30:19 zzo38: linky? 07:30:29 google doesn't show anything :\ 07:32:03 Here is a description that I wrote myself: http://zzo38computer.org/textfile/miscellaneous/mzm.form 07:32:43 MegaZeux is capable of reading and writing this format, although it supports a superset of what I described. The subset I described is a subset which can be suitable for programs other than MegaZeux too. 07:33:22 ty 07:33:49 unrelated: I've long wanted to write my own video *container* format - though certainly not an encoding 07:34:01 lots of features I want that nothing seems to provide 07:34:03 :\ 07:34:47 -!- doesthiswork has quit (Quit: Leaving.). 07:35:57 What is it you wanted? I also made up such a container format, based on Ogg, but it is a bit different in order to avoid some of the problems of Ogg without adding the problems of other formats too, and without adding too much complexity. 07:36:41 the main thing I want is layers 07:37:17 Can you perhaps elaborate on that? 07:37:20 for example, sending a video, and an overlay with say bounding boxes, etc 07:37:25 (I will, in one moment) 07:37:40 the second thing I want is transformations-in-container as a layer 07:37:59 zzo38: so, lets say I have a standard video, but I want to be able to block out parts of it as a user-selectable action 07:38:06 or I want to insert shapes on top 07:38:32 or enable "high contrast mode" or "distorted mode" or whatever the change the underlying video is 07:38:39 i.e., I want composable videos 07:38:54 OK, although that seem then the layer codec may be need to add on. 07:39:07 This is my design: http://zzo38computer.org/textfile/miscellaneous/glogg 07:39:20 * variable opens 07:40:54 -!- Challenger5 has quit (Ping timeout: 260 seconds). 07:41:07 Relation fields in the control block could be used to specify relations between different streams (whether with same or different codecs) if needed, so you could make the relation to the overlay with the video, or whatever. 07:42:59 -!- augur_ has quit (Remote host closed the connection). 07:55:47 -!- Challenger5 has joined. 07:56:08 -!- augur has joined. 07:56:23 Does anybody remember something about a lang with a really weird type system? 07:57:01 As in, there were like 1-2 builtins that were so polymorphic they functioned as the standard library 08:02:10 -!- augur has quit (Ping timeout: 264 seconds). 08:05:26 [wiki] [[Talk:ModanShogi]] N https://esolangs.org/w/index.php?oldid=53363 * Zzo38 * (+469) Created page with "The example program is not a valid sequence of moves in a shogi game (whether the pieces start in the normal starting position for the game or otherwise). Both players have a..." 08:22:31 -!- doesthiswork has joined. 08:36:54 -!- Challenger5 has quit (Ping timeout: 260 seconds). 08:55:50 -!- augur has joined. 08:56:30 -!- augur has quit (Remote host closed the connection). 08:57:04 -!- augur has joined. 08:59:04 -!- AnotherTest has joined. 09:01:14 -!- xkapastel has quit (Quit: Connection closed for inactivity). 09:08:46 -!- augur_ has joined. 09:10:36 -!- augur has quit (Ping timeout: 258 seconds). 09:15:36 -!- variable has quit (Quit: Found 1 in /dev/zero). 09:22:41 -!- AnotherTest has quit (Ping timeout: 248 seconds). 09:41:48 -!- augur_ has quit (Remote host closed the connection). 09:43:51 -!- watered has quit (Ping timeout: 240 seconds). 09:49:23 -!- AnotherTest has joined. 09:52:02 :-( 10:35:14 -!- watered has joined. 10:53:51 -!- __20h___ has quit (Quit: WeeChat 1.9.1). 10:54:20 -!- __20h__ has joined. 11:03:04 -!- AnotherTest has quit (Ping timeout: 268 seconds). 11:06:35 -!- jaboja has joined. 11:19:52 -!- LKoen has joined. 11:35:29 -!- jaboja has quit (Ping timeout: 248 seconds). 12:28:43 -!- AnotherTest has joined. 12:58:41 -!- AnotherTest has quit (Ping timeout: 258 seconds). 13:08:40 -!- jaboja has joined. 13:59:20 -!- `^_^v has joined. 14:14:19 -!- fungot has quit (Ping timeout: 255 seconds). 14:17:13 -!- atslash has quit (Read error: Connection reset by peer). 14:17:28 -!- atslash has joined. 14:41:03 -!- MDude has quit (Ping timeout: 248 seconds). 14:49:23 -!- jaboja has quit (Ping timeout: 268 seconds). 15:03:08 -!- atslash has quit (Ping timeout: 240 seconds). 15:03:59 -!- atslash has joined. 15:06:16 -!- doesthiswork has quit (Quit: Leaving.). 15:07:46 -!- AnotherTest has joined. 16:24:33 -!- atslash has quit (Ping timeout: 248 seconds). 16:24:49 -!- atslash has joined. 16:30:22 -!- david3x3x3 has joined. 17:11:27 -!- atslash has quit (Ping timeout: 240 seconds). 17:12:26 -!- atslash has joined. 17:28:24 -!- FreeFull has joined. 17:28:59 So I ordered a new mobile phone. But when choosing it, I found that Nokia is no longer making mobile phones like they used to, so 17:30:16 even though my approx. seven years old Nokia mobile phone has non-flat keypad, flash for the camera, and a camera resolution greater than 640x480, I absolutely can't buy a new Nokia mobile phone satisfying those three criteria at the same time. 17:32:35 The Nokia 216 has non-flat keypad, camera flash, but (two) 640x480 pixel cameras. 17:33:29 yeah, cell phone form factors lack a lot of variety recently 17:33:43 it's almost impossible to find a good qwerty phone these days 17:33:52 The Nokia 230 has large resolution main camera and camera flash, but a flat keypad. 17:34:56 Nokia 130 apparently doesn't have a camera, or at least they're hiding it well. 17:37:20 The Nokia 3310 has non-flat keypad, high-res camera, camera flash, ... wait, why didn't I buy that one? 17:37:48 I guess it just looks bad in genera 17:37:54 I dunno 17:41:21 -!- jaboja has joined. 17:45:15 -!- sebbu2 has changed nick to sebbu. 17:51:56 -!- watered has quit (Ping timeout: 258 seconds). 17:52:27 -!- jaboja has quit (Ping timeout: 240 seconds). 17:57:37 -!- sleffy has joined. 18:09:08 -!- atslash has quit (Ping timeout: 255 seconds). 18:09:25 -!- atslash has joined. 18:09:45 -!- FreeFull has quit. 18:12:59 -!- FreeFull has joined. 18:14:42 -!- Remavas has joined. 18:15:15 -!- watered has joined. 18:15:23 -!- Remavas has quit (Remote host closed the connection). 18:15:26 -!- xkapastel has joined. 18:17:11 -!- FreeFull has quit (Client Quit). 18:23:28 -!- doesthiswork has joined. 18:35:21 -!- Phantom_Hoover has joined. 18:35:21 -!- Phantom_Hoover has quit (Changing host). 18:35:21 -!- Phantom_Hoover has joined. 18:54:31 "A function that returns the current continuation. When this continuation is invoked, an array of the arguments passed will be substituted and returned by the function instead." Is there a function like this already (well, has someone thought of it yet)? I can seem to remember reading about it, but IDK. 18:58:05 -!- FreeFull has joined. 19:00:13 There is "law of excluded middle" continuation; is it similar to what you intended? 19:06:05 I'm going to check, but yes, that is what I remember reading about. 19:08:10 Roger9: um, I don't understand your question. is that just an ordinar call-cc with a trivial wrapper around it, like (lambda (f) (let-values ((a (call/cc f))) a))) in scheme? 19:08:41 a vararg wrapper that is 19:09:50 -!- `^_^v has quit (Read error: Connection reset by peer). 19:09:55 Uh... not sure. 19:10:21 Roger9: um, try to give an example to clarify your definition then? 19:10:48 -!- `^_^v has joined. 19:10:57 also no, the above code doesn't wrok 19:11:09 I think 19:11:21 how the heck did call/cc work in scheme, let me try to understand this 19:12:00 maybe it works, I dunno 19:14:07 (lambda (f) (call/cc (lambda (e) (f (lambda a (apply e a)))))) might be cleaner 19:14:22 no wait, that's wrong 19:14:47 (lambda (f) (call/cc (lambda (e) (f (lambda a (e a)))))) might be cleaner, ignore the previous one 19:16:43 I have this Haskell code I wrote from before: lemCC = callCC (return . Right . (<=< return . Left)); The other way around define also is possible: callCC x = lemCC >>= either return x; 19:16:56 http://paste.ubuntu.com/25962691/ 19:17:31 (I don't know what would be the corresponding way in Scheme) 19:20:31 -!- `^_^v has quit (Ping timeout: 248 seconds). 19:21:36 -!- `^_^v has joined. 19:22:09 zzo38: the way I interpreted the question involves a vararg function, so it probably doesn't relate to that Haskell thing you typed above 19:22:42 but I don't understand what that Haskell thing you typed does 19:27:30 :t callCC (return . Right . (<=< return . Left)) 19:27:32 MonadCont m => m (Either a (a -> m c)) 19:31:08 -!- jaboja has joined. 19:32:07 It is a law of excluded middle continuation. 20:01:25 `ftoc 110 20:01:27 110.00°F = 43.33°C 20:34:15 -!- watered has quit (Ping timeout: 246 seconds). 20:35:27 -!- `^_^v has quit (Quit: Leaving). 20:44:05 -!- MDude has joined. 20:45:16 -!- `^_^v has joined. 20:45:21 -!- jaboja has quit (Ping timeout: 248 seconds). 20:58:35 -!- jaboja has joined. 21:17:17 -!- augur has joined. 21:20:22 -!- augur has quit (Remote host closed the connection). 21:23:26 -!- augur has joined. 21:42:40 -!- sebbu has quit (Read error: Connection reset by peer). 21:43:10 -!- sebbu has joined. 21:46:06 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 22:41:27 -!- atslash has quit (Ping timeout: 240 seconds). 22:42:31 -!- atslash has joined. 22:50:58 -!- augur has quit (Remote host closed the connection). 22:53:54 -!- AnotherTest has quit (Ping timeout: 246 seconds). 23:08:53 -!- `^_^v has quit (Ping timeout: 268 seconds). 23:30:31 -!- fungot has joined. 23:41:18 -!- augur has joined. 23:42:42 `5 w 23:42:47 1/2:adopted//"Oh lord, we've adopted another one." (about Emily) => Marten realizes what kind of webcomic he lives in in http://questionablecontent.net/view.php?comic=2298 \ fugal//Fugals are fictitious flower parts. \ lachine//Lachine is an unholy portal to China, closely guarded from Ëvil by Roujo. \ fish//Come and dance and love the fis 23:42:52 `n 23:42:53 2/2:h! Mister Disco summoned it. \ space//Humans come from space. In particular, the part of space that has Earth in it. 23:44:42 -!- augur has quit (Remote host closed the connection). 23:45:41 -!- augur has joined. 23:46:27 -!- augur has quit (Read error: Connection reset by peer). 23:46:41 -!- augur has joined. 23:55:22 -!- Phantom_Hoover has quit (Remote host closed the connection).