00:09:42 -!- TanukiNoKintama has joined. 00:12:04 -!- Phantom_Hoover has quit (Remote host closed the connection). 00:23:19 -!- ais523 has joined. 00:23:53 @messages? 00:23:53 Sorry, no messages today. 00:27:55 -!- oerjan has joined. 00:28:12 -!- xkapastel has joined. 00:31:20 -!- TanukiNoKintama has left. 00:37:59 ais523: my condolences with the horrible demise of your polyglot challenge hth 00:41:23 oerjan: it ended? 00:41:38 nothing so dignified 00:42:09 but someone found a language that I am now considering putting on the wiki only to slap Category:Shameful on it. 00:42:25 ah right 00:42:31 I guess you get the bad with the good 00:43:11 * oerjan also just put a snark in a comment 00:43:29 <\oren\> hwat language was that? 00:43:42 I'm surprised that a language like that would have a censored name 00:43:47 although that might be deleted i guess - PPCG is unpredictable. 00:43:48 or maybe it doesn't and it was just censored in the post? 00:43:58 only in the title, actually 00:44:05 \oren\: "Cockfuck" 00:44:09 <\oren\> lol 00:44:12 Stack Exchange's rules about esolang names with "fuck" in are that they should be censored in question titles but not elsewhere 00:46:36 huh 00:47:11 alercah: it's basically because they don't want questions about brainfuck reaching Hot Network Questions uncensored and appearing in the sidebar pretty much everywhere 00:47:16 this has happened a few times in the past 00:50:02 hah 00:55:23 -!- ais523 has quit (Remote host closed the connection). 00:56:36 -!- ais523 has joined. 01:00:25 helloily 01:01:44 i thought you quit ppcg alex? 01:05:02 I always think "ppcg" stands for "planet pooch" something 01:05:46 `ysaclist 67 01:05:47 ysaclist 67: boily shachaf 01:07:29 QUINTHELLOPIA! 01:07:37 I don't think I ever ppcged? 01:08:00 helloochaf. tdh. 01:11:29 boily: the other alex hth 01:11:44 there are other alexes?!?!??!!! 01:12:07 quintopia: was that directed at me? I don't normally use realnames on IRC because a) they can be ambiguous and b) they don't ping 01:12:07 -!- ais523 has quit (Remote host closed the connection). 01:12:19 -!- ais523 has joined. 01:12:53 yes. i didnt want to ping you if you were busy 01:13:02 but i forgot it was ambiguous 01:13:23 if I'm really busy I just don't respond to the ping until later (or just close IRC) 01:15:11 really we need a golfing site that's a) suitable for in-depth problems (unlike anagolf) and b) not evil (unlike Stack Exchange) 01:15:26 Stack Exchange is evil? 01:16:44 yes 01:16:57 I'm not sure if I saved the rant I sent to SE when deleting my account, let me see if I did 01:18:11 shachaf: http://nethack4.org/pastebin/stackexchange-resignationletter.txt 01:18:18 I had to golf that to fit it into the character limit, too :-( 01:18:35 helloily. 01:18:45 they gave a generic reply to it that implied that they didn't actually read what I'd said, and presumably was a stock response worded to sound sympathetic 01:19:18 i,i stack response 01:20:29 Would it be useful to get that text to someone there who would actually read it? 01:22:18 they'd have to want to do something about it 01:22:34 I believe the Stack Exchange higher-ups have decided to mostly focus on Stack Overflow rather than the exchange more generally 01:22:44 and possibly to make it into a jobs site as that's how they make their money 01:24:51 PPCG has done a good job at making a usable golfing site, but it's mostly via using half the site features in ways they weren't intended to be used (and in some cases are explicitly not intended to be used) 01:26:11 Are you going to make a better golfing site? 01:26:35 while i agree that se is terrible for code golf, i dont agree that all the incentives are wrong for proper q+a. they do it better than quora. moderation is screwed up but again, better than quora. 01:26:37 probably not, I'd like to but I doubt I'd complete it in a reasonable length of time 01:27:14 quintopia: I've tried using Stack Overflow to a small extent; I got a useful answer ("what you're trying to do is probably impossible") as a comment and an incorrect answer as an answer which I couldn't downvote because my account was too new 01:27:14 ais523: writr 01:27:33 I've had a better time answering questsions on Stack Overflow than asking them. 01:27:51 ais523: write up a design goals document for an ideal code golf site 01:27:56 the main problem with answering questions is that it's hard to overtake an existing answer even if it's correct 01:28:04 *even if it's incorrect 01:28:43 true. it could benefit from a medium-style upvote system 01:29:03 but "accepted answers" gets around that to some extent. 01:29:40 accepted answers can be fairly random 01:30:13 the next issue is, is Stack Overflow meant to be an FAQ site (i.e. compiling the answers to commonly asked questions for the benefit of everyone), or a "get an answer" site (i.e. aiming for an answer that helps the OP in particular)? 01:30:24 the answer is, it doesn't know, and the site documentation is contradictory on the matter 01:30:28 can be. but at least there is more control over them 01:30:53 PPCG would benefit from having the accepted answer feature disabled altogether, although that may not be true for things like Stack Overflow 01:31:16 i always assumed it was more the latter because it's focus on long carefully worded questions 01:31:45 so about that design goals document 01:31:57 I'll have to think about it 01:32:05 I've thought about it in the past but I can't remember all my conclusions 01:32:16 Why wouldn't you complete it in a reasonable length of time? 01:33:22 because I haven't really been able to do anything major for months, apart from in some cases my day job 01:34:09 Ah. 01:34:16 Maybe we're in the same boat. 01:36:55 Do you have a good idea of what a good code golf site would be like? 01:37:24 better than average, I guess; I'm not sure about good 01:37:42 I think one thing you have to make a choice about is whether you allow people to compete in languages the site doesn't know about 01:38:13 the ideal here would probably be "no, but there's an easy / lightweight way to teach the site about a new language" 01:41:58 ah right, I also had the idea that the CAPTCHA would be submitting a competitive solution to a recently submitted problem 01:42:13 something that most legitimate users should be able to do but most spammers won't be able to, even human spammers 01:42:42 (this is similar to the CAPTCHA-equivalent used by some gaming servers for 1v1 games, which require you to win a ranked game) 01:48:11 You should write up your thoughts about how the site would work somewhere. 01:48:36 yes 01:48:44 need to write them down first, though! 01:58:42 -!- ais523 has quit (Remote host closed the connection). 01:59:55 -!- ais523 has joined. 02:04:57 -!- ais523 has quit (Remote host closed the connection). 02:06:10 -!- ais523 has joined. 02:18:47 -!- sleffy has quit (Ping timeout: 268 seconds). 02:28:32 -!- ais523 has quit (Remote host closed the connection). 02:29:44 -!- ais523 has joined. 02:36:14 -!- boily has quit (Quit: HISTORICAL CHICKEN). 03:01:17 I saved ais523's answer's from last time this topic came up 03:01:30 oh good 03:01:42 pastebin them somewhere? it'd help me avoid having to remember them 03:04:34 doesthiswork: Are you going to make the website? 03:04:42 I like reading design documents, so when people refuse to make them I console myself with lists of features 03:05:48 ais523: https://pastebin.com/V4sHNvy6 03:06:02 luckily I like /writing/ design documents 03:06:05 so if you just want one of those, there's a chance :-) 03:07:03 Readable link: https://pastebin.com/raw/V4sHNvy6 03:07:41 -!- xkapastel has quit (Quit: Connection closed for inactivity). 03:08:00 I could try making a site, but because I've never done more than individual web pages 03:09:36 look like I accidentally a clause 03:09:38 Yesterday I cloned someone's website program in a few hours because the only way it worked was by sending information to the server. 03:10:03 doesthiswork: that's probably a bad idea because something like this is a) very stateful (therefore easy to get wrong) and b) heavily dependent on sandboxing 03:10:16 PPCG has no sandboxing 03:10:29 oh, another thing I'd like (either as part of this or just separately) would be a site which has JavaScript impementations of a large number of languages 03:10:36 Maybe you could make a first version without running programs 03:10:49 shachaf: actually it does (Stack Snippets), but a program runner would be a very desired feature for a golfing site 03:10:59 on PPCG, people normally use Try It Online! 03:11:30 You should put your site at code.golf except it's taken 03:11:31 hmm, we should teach HackEgo Jelly 03:11:37 But golf.codes isn't 03:12:15 What's Jelly, a golfing language? 03:12:18 yes 03:12:28 Why are golfing languages interesting? 03:12:34 the best general-purpose one of the non-vapourware languages 03:12:35 All they do is make all programs shorter. 03:12:59 golfing languages are interesting because they get closer to the way you think about problems 03:13:08 in a way, they're closer to natural languages than most programming languages are 03:13:23 the reason is that describing the problem is nearly always shorter than describing how to solve it 03:13:44 Well, golfing languages that use a fancy byte encoding. 03:13:49 so in a way, the more expressive a language is, the better it is at being a golfing language 03:14:04 things like fancy encodings and the like are side issues, the core functionality is much more important 03:14:19 OK, sure, the core functionality can be interesting. 03:14:34 most good golfing languages make significant use of higher-order constructs 03:16:34 oh, hmm, now I almost want to work on The Underlambda Project again 03:16:47 although being written in a language that doesn't currently exist doesn't help matters 03:17:30 it's intended to be a single program that's a compiler/interpreter with a very large number of esolangs as frontends and backends, i.e. it can compile a program in esolang X into esolang Y, or run it directly 03:17:46 however, it's /also/ written in a language it supports, so it can translate itself into any of those languages (via quining functionality) 03:18:11 not very efficient, but lets you create an interpreter or compiler for any supported esolang in any other 03:18:25 (I might also include practical languages as output formats, and maybe even subsets of them as input formats) 03:19:24 shachaf: anyway, this is a good example of the power of golfing languages: https://codegolf.stackexchange.com/a/120979 03:19:39 just try to write something like that in C or Java or Python, it'll be much less clear what the program actually does 03:19:56 whereas ~h=∋ᵐ\cᵐ= is close to a direct description of the problem 03:24:12 @where pi_10 03:24:12 (!!3)<$>transpose[show$foldr(\k a->2*10^2^n+a*k`div`(2*k+1))0[1..2^n]|n<-[0..]] 03:24:14 @where e_10 03:24:14 [show(sum$scanl div(100^n)[1..[4..]!!n])!!n|n<-[0..]] 03:24:53 That's some pretty good golf. 03:25:05 Today I saw an algorithm for computing square roots using only addition and subtraction. 03:25:20 It was surprisingly simple. 03:25:35 is that the one that looks like long division? 03:26:12 Hmm, I'm not sure. 03:26:33 The way it works is, to compute sqrt(n), you start with a=5*n, b=5 03:26:51 As long as a >= b, you set (a,b) = (a-b, b+10) 03:27:32 oh, hmm, that's more of a bressenham-style algorithm, and different from what I was thinking of 03:27:37 Otherwise you set (a,b) = (100*a, floor(b/10)*100+5) 03:27:52 Which is an awkward way of saying you add two zeros to the end of a and you put a zero as the digit before last in b 03:28:41 anyway, golfing languages are normally easier to write in than practical languages for small programs 03:28:55 because they're so much more expressive (and often have more builtins too) 03:29:15 if they became popular enough I'd imagine they'd take over from things like Perl for short one-line programs 03:29:37 they're normally quite bad at maintaining state / doing imperative things, though 03:29:52 because they think in terms of descriptions-of-solutions rather than the route you get there 03:30:36 > let f (a,b) | a >= b = (a-b, b+10) | otherwise = (100*a, (b `div` 10) * 100 + 5) in iterate f (5*2,5) !! 30 03:30:38 (7406673995,1414213515) 03:31:03 what kind of properties would make a language work well when you don't understand some of the features and you don't understand the rest of the program you're working on? 03:31:19 > let f (a,b) | a >= b = (a-b, b+10) | otherwise = (100*a, (b `div` 10) * 100 + 5) in map snd $ iterate f (5*2,5) 03:31:22 [5,15,105,115,125,135,145,1405,1415,14105,14115,14125,14135,14145,141405,141... 03:31:23 doesthiswork: you don't understand some of the language or of the program? 03:31:41 I'd recommend language features that strongly encourage encapsulation in that case, e.g. strong typing, a heavy use of small subroutines, minimal state 03:32:04 that way you can normally write code that's independently useful regardless of what the rest of the program actually does 03:32:26 (fwiw, I think that this is the driving force behind Java's design: writing a language which is usable by large teams of low-skilled programmers) 03:32:57 would user-definable fancy types help? 03:33:09 I'm not sure, it might depend on the details 03:33:14 How fancy? 03:34:23 dependent types 03:38:58 dependent types basically give a very strong, machine-readable specification of how a function's arguments and return value are meant to work and what the function's meant to do 03:39:13 so I guess it'd help, except that dependently-typed languages are normally very hard to write in generally 03:39:25 which may well make them worse at everything but less worse than this, rather than better at this 03:42:41 My thought was that specifying more of what you think is going on so you can be informed that you were mistaken generally helps in cases like this, but when you're wrong in an unimportant way strictness makes it more difficult to get things done 03:57:21 program slices should be small 04:15:18 -!- ais523 has quit (Quit: quit). 04:40:34 That's some pretty good golf. <-- erm isn't [4..]!!n just 4+n, that doesn't seem very golfed. 04:41:27 oh wait Int vs. Integer 04:41:27 oerjan: try it hth 04:41:41 @where pi_11 04:41:41 [show(foldr(\k a->20*100^n+a*k`div`(2*k+1))0[1..[4,8..]!!n])!!n|n<-[0..]] 04:41:51 That one is even more golfed but it's too slow for lambdabot to evaluate. 05:50:05 -!- oerjan has quit (Quit: Nite). 05:59:58 -!- carlos has joined. 06:20:45 -!- xkapastel has joined. 06:21:11 -!- sleffy has joined. 06:28:36 -!- potato44 has joined. 06:51:30 -!- carlos has quit (Quit: Page closed). 07:03:14 -!- potato44 has quit (Ping timeout: 260 seconds). 07:36:35 -!- sleffy has quit (Ping timeout: 240 seconds). 07:46:10 -!- sleffy has joined. 08:56:32 -!- sleffy has quit (Ping timeout: 268 seconds). 09:20:25 -!- Warrigal has quit (Quit: No Ping reply in 180 seconds.). 09:22:32 -!- Warrigal has joined. 09:39:07 -!- xkapastel has quit (Quit: Connection closed for inactivity). 09:43:24 -!- Lord_of_Life has quit (*.net *.split). 09:43:24 -!- alercah has quit (*.net *.split). 09:46:39 -!- Lord_of_Life has joined. 09:47:24 -!- copumpkin has quit (Ping timeout: 255 seconds). 09:49:01 -!- alercah has joined. 09:58:13 -!- copumpkin has joined. 10:14:42 -!- doesthiswork has quit (Quit: Leaving.). 11:33:09 -!- boily has joined. 11:49:21 -!- AnotherTest has joined. 11:52:57 -!- boily has quit (Quit: COLLECTION CHICKEN). 12:49:16 -!- FreeFull has quit. 12:53:18 -!- FreeFull has joined. 13:40:08 -!- Guest32754 has joined. 13:53:09 -!- Guest32754 has quit (Remote host closed the connection). 14:22:16 -!- |f`-`|f has joined. 14:46:13 -!- `^_^v has joined. 15:16:08 -!- |f`-`|f has quit (Quit: ChatZilla 0.9.92 [Firefox 42.0/20151029151421]). 15:21:36 -!- FreeFull has quit (Ping timeout: 246 seconds). 15:22:33 -!- FreeFull has joined. 15:31:46 -!- LKoen has joined. 15:39:20 -!- doesthiswork has joined. 15:54:46 -!- Guest29637 has quit (Changing host). 15:54:46 -!- Guest29637 has joined. 15:54:51 -!- Guest29637 has changed nick to Vorpal. 16:13:07 -!- sebbu has quit (Quit: reboot). 17:08:48 -!- LKoen has quit (Remote host closed the connection). 17:45:25 -!- rdococ has quit (Quit: ZNC - http://znc.in). 17:51:49 -!- rdococ has joined. 17:54:13 -!- rdococ has quit (Changing host). 17:54:13 -!- rdococ has joined. 18:35:53 -!- sebbu has joined. 18:43:40 -!- alercah has quit (Ping timeout: 252 seconds). 18:44:53 -!- Phantom_Hoover has joined. 18:44:53 -!- Phantom_Hoover has quit (Changing host). 18:44:53 -!- Phantom_Hoover has joined. 18:50:59 -!- sleffy has joined. 19:54:05 `5 w 19:54:12 1/2:tanea//Tanea plays Minecrafs, Dware Fortresr, and lives in Yorj. \ photograph//A photograph is a device for creating photograms. \ monads//Monads are just free monad monad monad algebras. \ beethoven's ninth symphony//Beethoven's Ninth Symphony is a package most commonly installed in order to convert ODE files into JOY files. \ entryms 19:54:18 `n 19:54:19 2/2:g//ENTRYMSG for #esoteric is Welcome to the esoteric programming channel! Wiki: 19:55:40 `dowg g 19:55:49 No output. 19:55:53 oh 19:55:58 `dowg entrymsg 19:56:06 9730:2016-11-18 slwd entrymsg//s,wiki,, \ 8218:2016-05-30 learn ENTRYMSG for #esoteric is Welcome to the esoteric programming channel! Wiki: 19:56:37 -!- int-e has left. 19:56:37 -!- int-e has joined. 20:14:37 -!- jaboja has joined. 20:15:28 -!- jaboja has quit (Read error: Connection reset by peer). 20:18:12 `? tanea 20:18:14 Tanea plays Minecrafs, Dware Fortresr, and lives in Yorj. 20:18:40 Can someone who knows how these things work do the slashwisdom for /Yorj/Cambridgf/ 20:18:55 ...or Cambridgd 20:19:19 slwd tanea//s/Yorj/Cambridgd/ 20:19:22 `slwd tanea//s/Yorj/Cambridgd/ 20:19:24 tanea//Tanea plays Minecrafs, Dware Fortresr, and lives in Cambridgd. 20:19:29 int-e++ 20:20:07 I guess boily would've used ssYorjsCambridgds 20:20:14 is Yorj like "The Dukc of Yorj"? 20:20:35 doesthiswork, quite possibly 20:21:08 or the old Yorj that New Yorj is named after? 20:21:20 . o O ( How's life on Cambridge? ) 20:21:21 I think they're the same Yorj 20:21:37 (supplementive rather than alternative) 20:21:48 int-e, I like my job but I'm not a huge fan of the city 20:22:06 It feels a lot bigger than York did, and I don't really know many people 20:24:50 Taneb: Maybe you should move to an even bigger city 20:25:01 Then move back to Cambridge and it'll feel small by comparison. 20:25:30 Are you going to ICFP 2018? 20:25:37 shachaf, I don't know yet 20:25:39 Wait, that one's in Missouri. 20:25:44 I'd certainly like to 20:25:55 yes, move to bustling Reykjavik 20:27:07 I recommend moving from York to New York 20:27:22 shachaf, sadly I've left York now so I'll have to move to New Cambridge instead 20:27:23 Nev Yorj 20:27:50 I like New York, I was there a couple of weeks ago. 20:28:35 I hear that the rent is too damn high 20:30:03 You could move to the Bronx. 20:31:47 I was walking in the street there and saw 2br apartments selling for <$400k. I was surprised. 20:32:07 wow, that's better than I got in rural idaho 20:32:21 oh wait "k" 20:32:43 I suspect that's pretty expensive for rural Idaho. 20:33:07 a touch 20:34:39 But it's in NY, and cheaper than anything around here. 20:35:15 I guess sometimes apartments that you "buy" have high HOA fees which makes the price kind of meaningless. 21:05:55 -!- Melvar` has joined. 21:07:08 -!- idris-bot has quit (Ping timeout: 240 seconds). 21:07:57 -!- Melvar has quit (Ping timeout: 240 seconds). 21:32:35 -!- vifino has quit (Ping timeout: 240 seconds). 21:33:20 o o o o 21:37:46 -!- vifino has joined. 21:50:15 -!- xkapastel has joined. 22:01:16 [wiki] [[Special:Log/newusers]] create * BradensEsolangs * New user account 22:08:42 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=53359&oldid=53313 * BradensEsolangs * (+149) Introduced myself 22:09:33 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=53360&oldid=53359 * BradensEsolangs * (+107) signed 22:24:02 fungot: Tell me something about gnomes? 22:24:03 fizzie: hunter: what of the heavens, as a matter of course, but it will take you away from the third age a troll-race not before seen appeared in paris at just about the ground, he soon turned it into his sleeves. the stone sunk into his mouth and jaws were completely hidden, and most corrosive agents, and burn all the primates, as if it still seems to have been born to command the undead, has ever managed to cheat him out of i 22:24:36 fungot: That was pretty incoherent, even for you. 22:24:36 fizzie: always sweep the floor. an elf would smell its rancid stench at ten metres distance. 22:24:43 That's better. 22:33:17 -!- AnotherTest has quit (Ping timeout: 260 seconds). 22:33:26 ^style 22:33:26 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack* oots pa qwantz sms speeches ss wp youtube 22:34:29 I thought that'd have the best chance re gnomes. 22:35:20 fizzie: You should make a good golf site for ais523 22:35:47 Not until they write down & up the things that make up a good golf site. (Also not after that either.) 23:03:19 -!- `^_^v has quit (Quit: This computer has gone to sleep). 23:13:48 -!- Phantom_Hoover has quit (Remote host closed the connection). 23:18:42 But you're a great web developer 23:18:44 You made `edit 23:18:53 `edit bin/edit 23:18:54 https://hackego.esolangs.org/edit/bin/edit 23:19:44 `sled bin/edit//s/http/https/g 23:19:46 bin/edit//#!/usr/bin/env python \ \ import sys, os.path, re, urllib \ \ if len(sys.argv) < 2: \ sys.exit('httpss://hackego.esolangs.org/edit/') \ \ f = os.path.realpath(sys.argv[1]) \ f = re.sub(r"^/+hackenv/", "", f) \ if re.match(r"/|\.hg(?:/|ignore$|$)",f): \ sys.exit("File is not editable.") \ print 'httpss://hackego.esolangs.org/edit/' 23:19:59 oops 23:20:12 `revert 23:20:13 Done. 23:20:38 Oh, the version in there was synced a long time ago 23:21:17 8 months?! 23:36:15 People don't use `edit much. 23:36:37 Besides, I think the zjoust website is much more of a web-development showcase. 23:59:18 -!- idris-bot has joined.