00:02:42 Gouda is going well 00:02:51 I wonder what features I should add... 00:03:44 -!- mauris has quit (Read error: Connection reset by peer). 00:05:03 -!- mauris has joined. 00:07:03 you could add some very small holes 00:07:50 int-e: Gouda the language 00:08:13 It is designed for data analysis and for meta-circular interpretation 00:10:06 -!- bb010g has joined. 00:10:12 -!- zemhill has joined. 00:10:50 -!- zemhill has quit (*.net *.split). 00:10:58 -!- zemhill has joined. 00:22:22 -!- atslash has quit (Ping timeout: 256 seconds). 00:23:08 -!- boily has joined. 00:23:35 -!- atslash has joined. 00:24:46 `hello boily 00:25:01 Hello 00:25:11 Oh. That didn't work. 00:25:14 helloily 00:25:22 ahoily! There we go! 00:28:28 hppavellon[1]! 00:28:54 boily: My language Gouda is going well! 00:29:02 gouda. 00:33:42 -!- esowiki has joined. 00:33:46 -!- esowiki has joined. 00:33:47 -!- esowiki has joined. 00:34:22 -!- esowiki has joined. 00:34:26 -!- esowiki has joined. 00:34:27 -!- esowiki has joined. 00:35:02 -!- esowiki has joined. 00:35:06 -!- esowiki has joined. 00:35:07 -!- esowiki has joined. 00:35:42 -!- esowiki has joined. 00:35:46 -!- esowiki has joined. 00:35:47 -!- esowiki has joined. 00:36:22 -!- esowiki has joined. 00:36:26 -!- esowiki has joined. 00:36:27 -!- esowiki has joined. 00:37:02 -!- esowiki has joined. 00:37:07 -!- esowiki has joined. 00:37:07 -!- esowiki has joined. 00:37:42 -!- esowiki has joined. 00:37:47 -!- esowiki has joined. 00:37:47 -!- esowiki has joined. 00:38:23 -!- esowiki has joined. 00:38:27 -!- esowiki has joined. 00:38:27 -!- esowiki has joined. 00:39:03 -!- esowiki has joined. 00:39:07 -!- esowiki has joined. 00:39:07 -!- esowiki has joined. 00:39:43 -!- esowiki has joined. 00:39:47 -!- esowiki has joined. 00:39:47 -!- esowiki has joined. 00:40:23 -!- esowiki has joined. 00:40:27 -!- esowiki has joined. 00:40:27 -!- esowiki has joined. 00:41:03 -!- esowiki has joined. 00:41:07 -!- esowiki has joined. 00:41:07 -!- esowiki has joined. 00:41:43 -!- esowiki has joined. 00:41:47 -!- esowiki has joined. 00:41:47 -!- esowiki has joined. 00:42:23 -!- esowiki has joined. 00:42:27 -!- esowiki has joined. 00:42:27 -!- esowiki has joined. 00:43:03 -!- esowiki has joined. 00:43:07 -!- esowiki has joined. 00:43:07 -!- esowiki has joined. 00:43:43 -!- esowiki has joined. 00:43:47 -!- esowiki has joined. 00:43:47 -!- esowiki has joined. 00:44:23 -!- esowiki has joined. 00:44:27 -!- esowiki has joined. 00:44:27 -!- esowiki has joined. 00:45:03 -!- esowiki has joined. 00:45:07 -!- esowiki has joined. 00:45:07 -!- esowiki has joined. 00:45:43 -!- esowiki has joined. 00:45:47 -!- esowiki has joined. 00:45:48 -!- esowiki has joined. 00:46:23 -!- esowiki has joined. 00:46:27 -!- esowiki has joined. 00:46:28 -!- esowiki has joined. 00:47:03 -!- esowiki has joined. 00:47:07 -!- esowiki has joined. 00:47:08 -!- esowiki has joined. 00:47:43 -!- esowiki has joined. 00:47:47 -!- esowiki has joined. 00:47:48 -!- esowiki has joined. 00:48:23 -!- esowiki has joined. 00:48:27 -!- esowiki has joined. 00:48:28 -!- esowiki has joined. 00:49:31 -!- esowiki has joined. 00:49:35 -!- esowiki has joined. 00:49:36 -!- esowiki has joined. 00:50:34 -!- esowiki has joined. 00:50:35 -!- glogbot has joined. 00:50:38 -!- esowiki has joined. 00:50:39 -!- esowiki has joined. 00:50:54 so many bot reconnections 00:50:55 -!- fungot has joined. 00:51:02 EgoBot, FireFly, glogbot, and fungot all in a row 00:51:02 shachaf: so the moral of this story: be careful with it, and extract the relevant value. 00:51:13 That's a good moral. 00:51:22 ^style 00:51:23 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 00:51:40 It resets to irc at each restart, I didn't bother to make that part of state persistent. 00:51:40 Wasn't there a Calvin & Hobbes style? 00:51:47 I don't remember one. 00:51:52 Well, there should be. 00:52:14 I might be thinking of another bot. 00:53:36 hppavilion[1]: yes. 00:53:45 hellochaf. bots are good. you should have yours. 00:56:54 -!- Gregor has joined. 01:01:29 <\oren\_> bhelloily 01:03:48 -!- atslash has quit (Ping timeout: 272 seconds). 01:04:30 shachaf: beep, boop. Looked like he.net had some routing issues 01:04:44 -!- atslash has joined. 01:05:45 he\\oren\_. 01:06:28 -!- mauris has quit (Read error: Connection reset by peer). 01:07:03 -!- mauris has joined. 01:13:29 fungot: nostril? 01:13:30 boily: oz makes haskell's syntax looks good. thanks :) the algorithm seems quite easy :) or maybe i'm confusing the two 01:14:13 fungot: don't confuse your two nostrils. or the number of you happen to possess. by the way, what are you? 01:14:14 boily: if you use `seq`? i use nano fnord integer_list) fnord ( verb) fnord ( or fnord from plt-match? 01:14:32 fungot: I don't use seq, nor nano. 01:14:32 boily: haha good quote 01:14:42 * boily mapoles the fungot 01:14:43 boily: some girl from germany just messaged me and turned out the freezer was set to some sort of esoteric natural language. 01:15:05 `addquote boily: some girl from germany just messaged me and turned out the freezer was set to some sort of esoteric natural language. 01:15:09 1261) boily: some girl from germany just messaged me and turned out the freezer was set to some sort of esoteric natural language. 01:20:49 `quote 1261 01:20:50 1261) boily: some girl from germany just messaged me and turned out the freezer was set to some sort of esoteric natural language. 01:20:54 Interesting... 01:28:40 -!- mauris has quit (Ping timeout: 250 seconds). 01:31:08 -!- mauris has joined. 01:35:38 -!- atslash has quit (Quit: Leaving). 01:50:03 -!- lleu has quit (Quit: That's what she said). 01:50:33 -!- mauris has quit (Quit: Leaving). 01:51:03 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 01:58:06 `wisdom 01:58:07 lachine/Unholy portal to China, closely guarded from Ëvil by Roujo. 01:58:31 @tell Roujo you come back here you vile guardian. 01:58:32 Consider it noted. 01:59:28 `wisdom 01:59:30 dy/dx = y 01:59:43 `culprits wisdom/dy 01:59:46 tswett 01:59:59 huh. and I thought it would be shachaf. 02:00:13 @tell tswett remind me that you deserve a mapole hth 02:00:14 Consider it noted. 02:18:46 -!- boily has quit (Quit: LEGACY CHICKEN). 02:30:02 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:33:13 -!- oerjan has joined. 02:41:07 -!- Veltas has joined. 02:46:44 -!- andrew has joined. 03:10:01 Ray-Ban was a new one for me. <-- wait, how is that a pun, i thought it was the straight up meaning. 03:10:43 there's certainly no better pun in the user page linked 03:13:00 -!- Sprocklem has joined. 03:13:31 I never realised what the name referred to until a year or so ago too 03:13:52 I mean it's not exactly a pun, but it was nonobvious to me.. 03:14:15 hm 03:14:34 wait until you hear about oer-jans 03:14:57 that's also not a pun hth 04:35:21 What does hth stand for... ? 04:35:32 hth = hope that helps AFAIK 04:36:04 Ah. 04:37:57 `? hth 04:38:12 hth is help received from a hairy toe. It is not at all hambiguitous. 04:50:00 <\oren\_> Oh wow, they found Nibiru! 04:50:15 <\oren\_> or, evidence that Nibiru exists. 04:50:32 probably not _that_ Nibiru :p 04:51:53 <\oren\_> whatever, a large planet with gravitational influence on the kuiper belt 04:52:43 <\oren\_> oh, wait that theory was called Nemesis 04:53:00 <\oren\_> So they found evidence that a nemesis-like object exists 04:58:25 i wonder if they'll officially name it nemesis just to mess with people. what name group would it fall under? 04:59:01 * oerjan has the wikipedia tab open but hasn't got to it yet 05:02:18 oerjan: AFAIK there is no provision about naming planets in our Solar System, but English names are typically based on mythological gods/goddesses so it can be actually accepted 05:07:30 -!- hppavilion[1] has joined. 05:07:46 We should formalize Cheese Theory 05:08:13 Sounds edible. 05:08:32 The theory of Mascarpone-like languages (languages with anonymous interpreters) 05:08:54 <\oren\_> Hmm. until an official name is decided, I will call it planet Cirno (9) 05:09:07 \oren\_: I take it that is unrelated to my idea? 05:09:39 <\oren\_> hppavilion[1]: right, I'm talking about the new planet that was discovered 05:09:46 \oren\_: Ah 05:10:01 <\oren\_> They discovered evidence for a planet 10 times the size of Earth 05:10:18 <\oren\_> somewhere 20 times as far away as Neptune 05:10:41 <\oren\_> planet Cirno 05:10:43 I'm not exactly sure why that's... you know... surprising... 05:10:45 it's three-sigma evidence, apaprently 05:10:46 just reading it 05:11:00 depending on how often they look for these things, it /could/ be coincidence 05:13:29 if it were a subatomic particle, they'd just yawn at such evidence 05:14:02 I think scientifically, three is enough for people to take an announcement seriously, but to consider it to be preliminary 05:14:03 <\oren\_> if it isn't there, then they will be the planet (9) バカ 05:14:35 -!- vodkode_ has changed nick to vodkode. 05:14:40 \oren\_: Cirno sounds great, she is a fairy and not a goddess however 05:18:53 <\oren\_> and associated with the number 9 05:22:24 <\oren\_> eh, fairy, goddess whatever 05:23:44 how many sigma do you need to claim a new subatomic particle? five? six? 05:24:07 I thought the standard was 5, wasn't it? 05:27:03 \oren\_: I like it 05:29:09 it's apparently even an icy planet, so I guess it fits 05:32:27 how strong is one-sigma evidence? I don't have it memorized 05:32:42 68% afaik 05:33:09 It goes 68%, 95%, 99.7% I think, or something like that. 05:33:13 as opposed to the 50% chance you get with no evidence at all 05:33:24 (if the thing wasn't 50:50 originally, then ofc you need more evidence to make it more likely) 05:33:34 68%, 95%, 99.7%, 99.99%, 99.9999%, 99.99999998% 05:34:44 I almost want to OEIS that 05:34:47 but those aren't integers :-P 05:35:22 oefs 05:35:26 oers* 05:35:39 seq:68,95,99 does not yield a sequence FYI 05:54:57 as opposed to the 50% chance you get with no evidence at all <-- i am not sure that's how significance works. 05:55:33 or rather, i'm pretty sure it's not, but my brain isn't entirely working. 05:57:24 oerjan: it's the otherway round 05:57:46 one sigma evidence only gives you a 68% chance of being true on a scale where no evidence is 50% 05:58:14 if something is unlikely, it needs greater evidence to compensate 05:59:26 Of course, the response here isn't to declare it "obviously a real planet" but to point telescopes in the right direction and see what you find. :) 06:07:36 oh wow, sudo is getting even more meta for me 06:07:53 you know how it does "this incident will be reported", then actually reports it? 06:08:06 I entered the wrong password three times last Saturday 06:08:18 Yay! 06:08:18 but on my new server I haven't set up an email alias for root 06:08:25 My combinatory-logic-in-python works! 06:08:27 so instead of getting an email about it 06:08:40 it went and tried for five days to send a message to root warning that I'd entered the wrong password three times 06:08:45 and eventually gave up and it bounced 06:08:49 but the /sender/ is a valid email address 06:08:55 (namely, mine) 06:09:08 (for my CAS) 06:09:13 (called MyCAS) 06:09:18 so I just got a bounce error message from my mailer, telling me that the message "I" sent to root telling me I'd entered my password incorrectly three times couldn't be delivered 06:09:35 Wonderful 06:10:03 this leads me to continue worrying about sudo's actual security level 06:10:25 It even works with extra arguments to a combinator (e.g. Jabcd) :) 06:11:19 Wait, no, Wabcd 06:12:40 ais523: does this mean someone could prevent those messages from being sent by messing up their own email setup? 06:12:53 oerjan: I'm not sure, possibly 06:12:59 there are much easier ways to prevent them being sent though 06:13:25 I think they're only intended for catching people who have no idea what they're doing 06:13:29 ah 06:16:31 sudo literally has an option to check if you're allowed to do something 06:16:47 so you could just write a wrapper that does the check first, then does the action if it succeeds 06:17:22 Some code I wrote is compiling. But I don't want it to compile, it's UB that I'm trying to block at compile-time 06:24:21 -!- Veltas has quit (Quit: Veltas). 06:27:42 [wiki] [[Special:Log/newusers]] create * Gytdau * New user account 06:35:51 Is a Proof Assistant a type of CAS? 06:47:29 [wiki] [[Tome]] N https://esolangs.org/w/index.php?oldid=46240 * Gytdau * (+680) First draft of the page 06:50:03 [wiki] [[Language list]] M https://esolangs.org/w/index.php?diff=46241&oldid=46215 * Gytdau * (+11) 06:53:01 -!- ^v has joined. 06:53:09 -!- ^v has quit (Client Quit). 07:23:35 -!- mroman has joined. 07:24:06 fnǎrd 07:29:30 Hi mroman! 07:29:35 Hemroman! 07:29:55 (sounds a bit like "hemerhoids", unfortunately) 08:26:39 o_O 08:29:34 -!- p34k has joined. 08:43:39 mroman: U 08:43:46 Whoops 08:43:48 mroman: I agree 08:44:08 I'm currently making a Proof Assistant to help me understand the C-H I 09:01:45 -!- FreeFull has quit (Quit: BBL). 09:15:50 the what? 09:18:49 the C-H I, the mysterious force that binds logic and computation together 09:21:28 [wiki] [[Hq9eFuck]] https://esolangs.org/w/index.php?diff=46242&oldid=46235 * Ennullizer * (-98) /* Implementation */ 09:22:29 [wiki] [[Hq9eFuck]] https://esolangs.org/w/index.php?diff=46243&oldid=46242 * Ennullizer * (+10) /* Implementation */ 09:22:37 i'd use pinyin, but first someone has to find a reference where Quine invented it first. 09:25:45 [wiki] [[Hq9eFuck]] https://esolangs.org/w/index.php?diff=46244&oldid=46243 * Ennullizer * (+35) 09:26:07 wasn't that C-H C? 09:26:26 lifthrasiir: the last letter is a bit variable 09:26:34 C-H W 09:26:34 C, I or even E 09:26:54 I claim that E is too strong word to use for anything 09:27:25 -!- J_Arcane has joined. 09:27:38 but E is just a case of I 09:27:47 categorically speaking 09:27:52 I only know 09:28:23 C 09:28:24 | 09:28:27 C-H-C 09:28:29 | 09:28:30 C 09:28:31 oerjan: it can be argued that there is one-to-one mapping for them but is *not* intuitively understood in that way 09:28:46 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 09:29:06 mroman: very metha 09:29:29 `quote obscure 09:29:45 790) the scene: it is a warm summer's day in scotland, although one obscured by cloud and the fact that it is september \ 1245) (on another note, I love the way that the standard way to indicate that you get a reference is to make a different obscure reference to the same thing) 09:29:53 `quote 1245 09:29:56 1245) (on another note, I love the way that the standard way to indicate that you get a reference is to make a different obscure reference to the same thing) 09:30:02 oh it was all there 09:30:09 it is like that, well, one can apply the reduction (in the complexity theoretic sense) to get an "isomorphic" problem but it is clearly not "equivalent" because (for example) their time complexities may differ 09:30:32 I've only just realised that 790 isn't even self-contradictory 09:30:43 * lifthrasiir realized that his explanation is more complex than the original statement 09:30:45 parts of september genuinely are in summer, and cloud doesn't prevent warmth 09:30:48 fuck. 09:31:26 theres also uhm 09:32:12 indian summer in scotland 09:32:14 H H 09:32:16 C=C 09:32:18 H H 09:35:34 mroman: yeah leaving that out would be un-ethical 09:36:09 * oerjan researching tensile strength of puns 09:37:44 -!- ais523 has quit. 09:40:47 http://www.thewebsters.ch/en/stories/8 09:40:58 swiss gov is making educational comics about the dangerzone internet. 09:42:33 http://www.thewebsters.ch/en/stories/14 09:42:34 ... 09:42:56 what kind of fucking moron buys meds online in switzerland o_O 09:47:31 I'm disappointed that they're not in swiss german though :( 09:49:33 it's got rumantsch 09:49:58 i am guessing swiss german isn't actually an official language in switzerland. 09:50:20 No it's not. 09:50:40 and nobody speaks rumantsch 09:51:11 nobody where you live, i take 09:51:18 Rumantsch is the equivalent of looking at swiss german and then creating high german :) 09:51:32 It's not a natural language. 09:52:16 It was invented in the eighties based on several dialects 09:52:41 It's about as popular as german for swiss german speakers ;) 09:52:49 Nobody wants to use it in day to day conversations. 09:52:51 hey that's how nynorsk was made 09:54:06 Cò ho'la vis sün ün pin ün corv chi tgnaiva ün töch chaschöl in sieu pical. 09:54:14 Qua ha ella vis sin in pign in corv che tegneva in toc chaschiel en ses pichel 09:54:21 http://www.thewebsters.ch/en/stories/8 09:54:32 ...how did i paste that. 09:55:28 Cheu ha ella viu sin in pegn in tgaper che teneva in toc caschiel en siu bec 09:55:45 Qua â ella vieu sen egn pegn egn corv ca taneva egn toc caschiel ainten sieus pecel 09:56:00 :) 09:56:49 (the second one (the one with Qua ha) is the official rumantsch) 09:57:05 (the other ones are the spoken dialects) 09:57:14 OKAY 09:58:40 `thanks TCP 09:58:41 Thanks, TCP. TCP. 09:58:57 That was a bit of a letdown. 10:05:05 `thanks `thanks 10:05:06 Thanks, `thanks. Thanks. 10:05:12 `thanks HackEgo 10:05:15 Thanks, HackEgo. ThackEgo. 10:08:26 -!- rodgort has quit (Ping timeout: 240 seconds). 10:12:10 -!- rodgort has joined. 10:39:50 `thanks fungot. 10:39:50 b_jonas: uh... yeah. what about doing something really crazy and writing a whirl code generator 10:39:53 Thanks, fungot.. Thungot.. 10:53:56 -!- ais523 has joined. 11:01:38 -!- ais523 has quit. 11:03:02 new business model 11:03:06 make tools that block ads 11:03:15 charge adnets to unblock ads in your tool 11:03:18 or 11:03:26 make tools that block ads except from your own adnet 11:03:38 make people pay for delivering ads through your adnet 11:03:44 fungot: Where's your adnet? 11:03:44 mroman: i'm thinking of retrying uberman. i dunno 11:03:56 -!- ais523 has joined. 11:10:16 mroman: that's not new 11:10:22 people are already doing that 11:16:46 -!- callforjudgement has joined. 11:16:48 -!- ais523 has quit (Read error: Connection reset by peer). 11:16:56 -!- callforjudgement has changed nick to ais523. 11:23:35 -!- ais523 has quit. 11:23:44 -!- ais523 has joined. 11:24:17 -!- J_Arcane has quit (Ping timeout: 265 seconds). 11:31:45 -!- rifter has quit (Quit: Leaving). 11:32:06 -!- rifter has joined. 11:32:19 -!- boily has joined. 11:34:57 -!- LexiciScriptor has joined. 11:40:39 `relcome LexiciScriptor 11:40:58 ​LexiciScriptor: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 11:41:04 ahoy boily 11:42:44 good LexiciScriptorning. 11:43:18 first time here? 11:43:23 yeah 11:43:42 it's always LexiciScriptorning 11:44:04 i want to experiment some languages :) 11:44:04 didn't we stop troll-welcoming regulars a while back? 11:44:16 thus a welcome is either someone new or me being mistaken as to whether someone is new 11:44:35 (I'm not online all that often, so don't always know someone's been here before) 11:44:43 (also I'm not good at remembering nicks anyway) 11:46:01 his523. I prefer `relcoming people I haven't seen yet, even if they already were `relcomed :) 11:46:43 LexiciScriptor: have you visited our wiki? experimenting is always nice. 11:47:11 actually i discovered this channel reading the wiki 11:48:43 the wiki's community portal is the main place people find out about the channel 11:48:46 that, and guessing the name 11:50:00 probably it isnt _so_ easy to guess 11:51:03 right, I'm just talking statistically 11:51:24 I know I found the channel via the wiki, and that was years ago 11:51:27 (and found the wiki via Wikipedia) 12:06:50 -!- ais523 has quit. 12:07:00 -!- ais523 has joined. 12:14:44 -!- boily has quit (Quit: LEERY CHICKEN). 12:23:05 -!- ais523 has quit. 12:36:06 -!- andrew has quit (Read error: Connection timed out). 12:36:54 -!- andrew has joined. 12:49:15 -!- LexiciScriptor has quit (Quit: LexiciScriptor). 13:07:00 does writing into a file always clear the setuid permission bit of that file, or only if the writer isn't root? 13:07:45 apparently only if the writer isn't root. but that doesn't make any sense. 13:07:55 why isn't the bit cleared if the writer process is root? 13:08:00 I don't get it 13:09:46 so the binary can update itself? 13:09:48 I don't know. 13:10:26 update itself? seriously? do we live in the 80s? 13:11:00 sometimes 13:11:31 Maybe it's for compatibility with old buggy viruses that inject code into setuid binaries without checking permission bits. 13:20:23 -!- andrew has quit (Remote host closed the connection). 13:27:36 hm 13:27:47 Why do OS generally have so little built-in support for "jails"? 13:27:57 (i.e. to control what processes/users can do) 13:29:02 (restrict them to specific directories/files/ports etc.) 13:29:39 Because OSes generally don't focus that much on security since it causes trouble for application writers and backward compatibliity? 13:29:45 possibly 13:43:19 [wiki] [[User:Ennullizer]] https://esolangs.org/w/index.php?diff=46245&oldid=46234 * Ennullizer * (-2) /* Me */ 13:46:07 well 13:46:14 fuck the application writers 13:46:19 they have knowledge 13:46:23 end users don't 13:51:11 -!- heroux has quit (Ping timeout: 264 seconds). 13:51:38 mroman: how dichotomic 13:52:38 there's always OpenBSD 13:53:31 -!- oerjan has quit (Quit: Argh noise). 13:53:50 erase the noise. 13:58:16 -!- heroux has joined. 14:24:51 -!- `^_^v has joined. 14:34:08 -!- Sgeo has joined. 14:34:43 -!- Sgeo_ has quit (Ping timeout: 265 seconds). 14:49:31 -!- mauris has joined. 14:59:50 hm. 14:59:53 <\oren\_> Oh, and if Cirno has a moon, I'll call it Daiyousei! 15:00:02 setuid should probably be cleared even if root writes to it 15:00:13 in case somebody manages to overwrite the binary with a malicous one 15:01:20 <\oren\_> hmm. but then wouln't apps meant to be setuid simply set it back to true? 15:01:36 <\oren\_> after the update write that is 15:03:43 -!- FreeFull has joined. 15:04:23 [wiki] [[Joke language list]] M https://esolangs.org/w/index.php?diff=46246&oldid=46202 * Hurricane996 * (+83) 15:16:27 fungot, do you like C++ templates? 15:16:28 b_jonas: and btw... scm is ' bleh'... ' bleh' as in http://mumble.net/campbell/ blog.txt for the important things using wrapping bf program that is both really intuitive, and the 15:16:48 fungot, I think you still don't understand how quotation marks work in text 15:16:49 b_jonas: its really good. 15:32:23 'Difference to Haskell: A user defined operator must not start with the comment introducting characters {- or --." 15:32:32 haskell can do that? 15:42:11 Let's test it out 15:42:33 > let ({--) = 0 in ({--) 15:42:34 :1:6: unterminated `{-' 15:42:57 > let (--*--) = 0 in (--*--) 15:42:59 0 15:43:09 myname: Seems it allows -- but not {- 15:43:25 > let ({--*) = 0 in ({--*) 15:43:27 :1:6: unterminated `{-' 15:44:16 I'm not sure { is allowed in operators anyway 15:44:30 > let (-*{) = 0 in (-*{) 15:44:32 :1:8: parse error on input ‘{’ 15:48:48 well time to implement pipes for virtunet :) 15:51:54 well not pipes but the | operator 15:52:05 but that will require pipes :) 15:52:15 but a pipe is just a memory mapped file in this case so... 15:54:59 and since i'm lazy as fuck I just split by '|' 15:55:16 I'm not even going to support quotes :) 15:55:28 I'll just require users to escape spaces and | 16:04:19 > let (--*--) x y = x + y in (--*--) 3 4 16:04:21 7 16:04:24 > let (--*--) x y = x + y in 3 --*-- 4 16:04:26 7 16:04:34 oh wow jeez 16:04:42 -- starts a comment "except when it doesn't" 16:05:02 Starts a comment except when part of a larger token 16:05:19 > let (---) = (+) in 3 --- 4 16:05:21 :1:27: 16:05:21 parse error (possibly incorrect indentation or mismatched brackets) 16:05:26 Or perhaps not 16:05:41 > let (<--) = (+) in 3 <-- 4 16:05:43 7 16:10:37 How mysterious 16:17:00 -!- Lord_of_Life has quit (Excess Flood). 16:17:43 http://codepad.org/X4lc1q6n 16:18:17 also I need login :D 16:19:36 -!- Lord_of_Life has joined. 16:23:32 -!- `^_^v has quit (Read error: Connection reset by peer). 16:24:05 -!- `^_^v has joined. 16:27:18 -!- Phantom_Hoover has joined. 16:49:30 -!- LexiciScriptor has joined. 17:01:26 -!- LexiciScriptor has quit (Quit: LexiciScriptor). 17:02:27 -!- nycs has joined. 17:05:02 -!- `^_^v has quit (Ping timeout: 250 seconds). 17:08:40 -!- bb010g has quit (Quit: Connection closed for inactivity). 17:17:23 -!- mroman has quit (Quit: Lost terminal). 17:19:11 -!- ProofTechnique has joined. 17:30:10 -!- Sgeo has quit (Ping timeout: 265 seconds). 17:30:11 -!- lleu has joined. 17:30:11 -!- lleu has quit (Changing host). 17:30:11 -!- lleu has joined. 17:30:50 -!- Sgeo has joined. 17:52:26 -!- hppavilion[1] has joined. 18:06:25 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 18:07:25 -!- hppavilion[1] has joined. 18:17:18 -!- ProofTechnique has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 18:18:22 -!- guideX has left. 18:19:56 -!- zadock has joined. 18:20:26 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 18:22:11 -!- hppavilion[1] has joined. 18:28:10 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 18:30:02 -!- Sgeo has quit (Ping timeout: 250 seconds). 18:32:09 -!- hppavilion[1] has joined. 18:36:49 -!- dude has joined. 18:37:20 -!- ProofTechnique has joined. 18:37:21 -!- ProofTechnique has quit (Remote host closed the connection). 18:38:41 -!- SopaXorzTaker has joined. 18:39:02 Try rule B357/S246 in GOL 18:39:18 it makes amost everything a rotating oscillator 18:46:32 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 18:56:41 -!- idris-bot has quit (Quit: Terminated). 18:57:37 -!- Melvar has quit (Quit: rebooting). 19:02:37 -!- Melvar has joined. 19:05:03 -!- idris-bot has joined. 19:16:35 -!- SopaXorzTaker has quit (Ping timeout: 240 seconds). 19:16:40 -!- hppavilion[1] has joined. 19:19:09 -!- hppavilion[1] has quit (Read error: Connection reset by peer). 19:19:33 -!- nycs has quit (Quit: This computer has gone to sleep). 19:19:40 -!- hppavilion[1] has joined. 19:22:37 -!- jaboja has joined. 19:25:13 -!- mauris_ has joined. 19:28:44 -!- mauris has quit (Ping timeout: 256 seconds). 19:30:00 -!- `^_^v has joined. 19:30:15 -!- mauris has joined. 19:31:34 -!- mauris_ has quit (Ping timeout: 250 seconds). 19:35:14 -!- j-bot has joined. 19:35:35 -!- mauris has quit (Ping timeout: 260 seconds). 19:36:10 -!- `^_^v has quit (Ping timeout: 260 seconds). 19:40:54 -!- mauris has joined. 19:41:01 -!- oerjan has joined. 19:41:54 -!- `^_^v has joined. 19:43:05 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 19:44:42 -!- hppavilion[1] has joined. 19:48:44 erase the noise. <-- but now there's a different one ;_; 20:04:46 How mysterious <-- the comment tokens are actually /-(-)+/ hth 20:05:55 @tell Taneb How mysterious <-- the comment tokens are actually /-(-)+/ hth 20:05:56 Consider it noted. 20:10:39 -!- dude has quit (Ping timeout: 252 seconds). 20:13:12 oerjan, huh 20:14:51 ----------- so you can make nice formatting ----------- 20:15:15 -!- hppavilion[2] has joined. 20:16:26 see e.g. http://oerjan.nvg.org/esoteric/emmental/emmental.hs 20:16:26 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 20:17:02 oh hm that's cpressey's 20:17:40 (mostly) 20:18:01 turns out i didn't do it in my program 20:22:27 seems i use it far less than i thought, the first program i found where i did was http://oerjan.nvg.org/esoteric/slashes/BCT.hs 20:27:10 -!- jaboja has quit (Ping timeout: 245 seconds). 20:27:53 This makes sense 20:28:02 -!- hppavilion[2] has quit (Ping timeout: 265 seconds). 20:34:53 -!- zadock has quit (Quit: Leaving). 20:55:39 -!- jaboja has joined. 21:00:48 -!- jaboja has quit (Ping timeout: 272 seconds). 21:10:29 -!- hppavilion[2] has joined. 21:24:46 -!- bb010g has joined. 21:31:15 -!- Sprocklem has quit (Quit: [). 21:39:05 -!- hppavilion[2] has quit (Ping timeout: 265 seconds). 21:40:23 -!- J_Arcane has joined. 22:11:57 -!- `^_^v has quit (Quit: This computer has gone to sleep). 22:13:32 -!- `^_^v has joined. 22:41:31 -!- J_Arcane_ has joined. 22:43:06 -!- J_Arcane has quit (Ping timeout: 256 seconds). 22:43:11 -!- J_Arcane_ has changed nick to J_Arcane. 22:43:25 -!- oerjan has quit (Quit: Nite). 22:44:43 -!- ais523 has joined. 23:00:19 -!- p34k has quit. 23:21:45 -!- `^_^v has quit (Quit: This computer has gone to sleep). 23:34:48 -!- contrapumpkin has joined. 23:37:15 -!- copumpkin has quit (Ping timeout: 240 seconds). 23:37:29 contrapumpkin: hi contrapumpkin 23:37:37 how're the continuations 23:41:22 -!- J_Arcane_ has joined. 23:43:18 -!- J_Arcane has quit (Ping timeout: 265 seconds). 23:43:32 -!- J_Arcane_ has changed nick to J_Arcane. 23:45:11 -!- hppavilion[1] has joined. 23:45:18 I just had a marvelous idea 23:45:48 Remake Gouda so that it is only semi-stack-based 23:46:24 -!- boily has joined. 23:58:08 What's a semi-stack? 23:59:24 -!- Sprocklem has joined.