←2016-01-20 2016-01-21 2016-01-22→ ↑2016 ↑all
00:02:42 <hppavilion[1]> Gouda is going well
00:02:51 <hppavilion[1]> 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 <int-e> you could add some very small holes
00:07:50 <hppavilion[1]> int-e: Gouda the language
00:08:13 <hppavilion[1]> 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 <hppavilion[1]> `hello boily
00:25:01 <HackEgo> Hello
00:25:11 <hppavilion[1]> Oh. That didn't work.
00:25:14 <hppavilion[1]> helloily
00:25:22 <hppavilion[1]> ahoily! There we go!
00:28:28 <boily> hppavellon[1]!
00:28:54 <hppavilion[1]> boily: My language Gouda is going well!
00:29:02 <boily> 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 <shachaf> so many bot reconnections
00:50:55 -!- fungot has joined.
00:51:02 <shachaf> EgoBot, FireFly, glogbot, and fungot all in a row
00:51:02 <fungot> shachaf: so the moral of this story: be careful with it, and extract the relevant value.
00:51:13 <fizzie> That's a good moral.
00:51:22 <shachaf> ^style
00:51:23 <fungot> 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 <fizzie> It resets to irc at each restart, I didn't bother to make that part of state persistent.
00:51:40 <shachaf> Wasn't there a Calvin & Hobbes style?
00:51:47 <fizzie> I don't remember one.
00:51:52 <shachaf> Well, there should be.
00:52:14 <shachaf> I might be thinking of another bot.
00:53:36 <boily> hppavilion[1]: yes.
00:53:45 <boily> 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 <FireFly> shachaf: beep, boop. Looked like he.net had some routing issues
01:04:44 -!- atslash has joined.
01:05:45 <boily> he\\oren\_.
01:06:28 -!- mauris has quit (Read error: Connection reset by peer).
01:07:03 -!- mauris has joined.
01:13:29 <boily> fungot: nostril?
01:13:30 <fungot> boily: oz makes haskell's syntax looks good. thanks :) the algorithm seems quite easy :) or maybe i'm confusing the two
01:14:13 <boily> fungot: don't confuse your two nostrils. or the number of you happen to possess. by the way, what are you?
01:14:14 <fungot> boily: if you use `seq`? i use nano fnord integer_list) fnord ( verb) fnord ( or fnord from plt-match?
01:14:32 <boily> fungot: I don't use seq, nor nano.
01:14:32 <fungot> boily: haha good quote
01:14:42 * boily mapoles the fungot
01:14:43 <fungot> 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 <boily> `addquote <fungot> 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 <HackEgo> 1261) <fungot> 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 <hppavilion[1]> `quote 1261
01:20:50 <HackEgo> 1261) <fungot> 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 <hppavilion[1]> 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 <boily> `wisdom
01:58:07 <HackEgo> lachine/Unholy portal to China, closely guarded from Ëvil by Roujo.
01:58:31 <boily> @tell Roujo you come back here you vile guardian.
01:58:32 <lambdabot> Consider it noted.
01:59:28 <boily> `wisdom
01:59:30 <HackEgo> dy/dx = y
01:59:43 <boily> `culprits wisdom/dy
01:59:46 <HackEgo> tswett
01:59:59 <boily> huh. and I thought it would be shachaf.
02:00:13 <boily> @tell tswett remind me that you deserve a mapole hth
02:00:14 <lambdabot> 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 <oerjan> <fizzie> 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 <oerjan> there's certainly no better pun in the user page linked
03:13:00 -!- Sprocklem has joined.
03:13:31 <FireFly> I never realised what the name referred to until a year or so ago too
03:13:52 <FireFly> I mean it's not exactly a pun, but it was nonobvious to me..
03:14:15 <oerjan> hm
03:14:34 <shachaf> wait until you hear about oer-jans
03:14:57 <oerjan> that's also not a pun hth
04:35:21 <zgrep> What does hth stand for... ?
04:35:32 <lifthrasiir> hth = hope that helps AFAIK
04:36:04 <zgrep> Ah.
04:37:57 <shachaf> `? hth
04:38:12 <HackEgo> 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 <lifthrasiir> 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 <oerjan> 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 <lifthrasiir> 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 <hppavilion[1]> We should formalize Cheese Theory
05:08:13 <zgrep> Sounds edible.
05:08:32 <hppavilion[1]> 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 <hppavilion[1]> \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 <hppavilion[1]> \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 <zgrep> I'm not exactly sure why that's... you know... surprising...
05:10:45 <ais523> it's three-sigma evidence, apaprently
05:10:46 <ais523> just reading it
05:11:00 <ais523> depending on how often they look for these things, it /could/ be coincidence
05:13:29 <oerjan> if it were a subatomic particle, they'd just yawn at such evidence
05:14:02 <ais523> 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 <lifthrasiir> \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 <ais523> how many sigma do you need to claim a new subatomic particle? five? six?
05:24:07 <lifthrasiir> I thought the standard was 5, wasn't it?
05:27:03 <FireFly> \oren\_: I like it
05:29:09 <FireFly> it's apparently even an icy planet, so I guess it fits
05:32:27 <ais523> how strong is one-sigma evidence? I don't have it memorized
05:32:42 <lifthrasiir> 68% afaik
05:33:09 <zgrep> It goes 68%, 95%, 99.7% I think, or something like that.
05:33:13 <ais523> as opposed to the 50% chance you get with no evidence at all
05:33:24 <ais523> (if the thing wasn't 50:50 originally, then ofc you need more evidence to make it more likely)
05:33:34 <lifthrasiir> 68%, 95%, 99.7%, 99.99%, 99.9999%, 99.99999998%
05:34:44 <ais523> I almost want to OEIS that
05:34:47 <ais523> but those aren't integers :-P
05:35:22 <lifthrasiir> oefs
05:35:26 <lifthrasiir> oers*
05:35:39 <lifthrasiir> seq:68,95,99 does not yield a sequence FYI
05:54:57 <oerjan> <ais523> 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 <oerjan> or rather, i'm pretty sure it's not, but my brain isn't entirely working.
05:57:24 <ais523> oerjan: it's the otherway round
05:57:46 <ais523> one sigma evidence only gives you a 68% chance of being true on a scale where no evidence is 50%
05:58:14 <ais523> if something is unlikely, it needs greater evidence to compensate
05:59:26 <pikhq> 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 <ais523> oh wow, sudo is getting even more meta for me
06:07:53 <ais523> you know how it does "this incident will be reported", then actually reports it?
06:08:06 <ais523> I entered the wrong password three times last Saturday
06:08:18 <hppavilion[1]> Yay!
06:08:18 <ais523> but on my new server I haven't set up an email alias for root
06:08:25 <hppavilion[1]> My combinatory-logic-in-python works!
06:08:27 <ais523> so instead of getting an email about it
06:08:40 <ais523> 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 <ais523> and eventually gave up and it bounced
06:08:49 <ais523> but the /sender/ is a valid email address
06:08:55 <ais523> (namely, mine)
06:09:08 <hppavilion[1]> (for my CAS)
06:09:13 <hppavilion[1]> (called MyCAS)
06:09:18 <ais523> 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 <FireFly> Wonderful
06:10:03 <ais523> this leads me to continue worrying about sudo's actual security level
06:10:25 <hppavilion[1]> It even works with extra arguments to a combinator (e.g. Jabcd) :)
06:11:19 <hppavilion[1]> Wait, no, Wabcd
06:12:40 <oerjan> ais523: does this mean someone could prevent those messages from being sent by messing up their own email setup?
06:12:53 <ais523> oerjan: I'm not sure, possibly
06:12:59 <ais523> there are much easier ways to prevent them being sent though
06:13:25 <ais523> I think they're only intended for catching people who have no idea what they're doing
06:13:29 <oerjan> ah
06:16:31 <ais523> sudo literally has an option to check if you're allowed to do something
06:16:47 <ais523> so you could just write a wrapper that does the check first, then does the action if it succeeds
06:17:22 <Sgeo_> 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 <HackEgo> [wiki] [[Special:Log/newusers]] create * Gytdau * New user account
06:35:51 <hppavilion[1]> Is a Proof Assistant a type of CAS?
06:47:29 <HackEgo> [wiki] [[Tome]] N https://esolangs.org/w/index.php?oldid=46240 * Gytdau * (+680) First draft of the page
06:50:03 <HackEgo> [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 <mroman> fnǎrd
07:29:30 <hppavilion[1]> Hi mroman!
07:29:35 <hppavilion[1]> Hemroman!
07:29:55 <hppavilion[1]> (sounds a bit like "hemerhoids", unfortunately)
08:26:39 <mroman> o_O
08:29:34 -!- p34k has joined.
08:43:39 <hppavilion[1]> mroman: U
08:43:46 <hppavilion[1]> Whoops
08:43:48 <hppavilion[1]> mroman: I agree
08:44:08 <hppavilion[1]> 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 <mroman> the what?
09:18:49 <oerjan> the C-H I, the mysterious force that binds logic and computation together
09:21:28 <HackEgo> [wiki] [[Hq9eFuck]] https://esolangs.org/w/index.php?diff=46242&oldid=46235 * Ennullizer * (-98) /* Implementation */
09:22:29 <HackEgo> [wiki] [[Hq9eFuck]] https://esolangs.org/w/index.php?diff=46243&oldid=46242 * Ennullizer * (+10) /* Implementation */
09:22:37 <oerjan> i'd use pinyin, but first someone has to find a reference where Quine invented it first.
09:25:45 <HackEgo> [wiki] [[Hq9eFuck]] https://esolangs.org/w/index.php?diff=46244&oldid=46243 * Ennullizer * (+35)
09:26:07 <lifthrasiir> wasn't that C-H C?
09:26:26 <oerjan> lifthrasiir: the last letter is a bit variable
09:26:34 <lifthrasiir> C-H W
09:26:34 <oerjan> C, I or even E
09:26:54 <lifthrasiir> I claim that E is too strong word to use for anything
09:27:25 -!- J_Arcane has joined.
09:27:38 <oerjan> but E is just a case of I
09:27:47 <oerjan> categorically speaking
09:27:52 <mroman> I only know
09:28:23 <mroman> C
09:28:24 <mroman> |
09:28:27 <mroman> C-H-C
09:28:29 <mroman> |
09:28:30 <mroman> C
09:28:31 <lifthrasiir> 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 <oerjan> mroman: very metha
09:29:29 <oerjan> `quote obscure
09:29:45 <HackEgo> 790) <Phantom__Hoover> the scene: it is a warm summer's day in scotland, although one obscured by cloud and the fact that it is september \ 1245) <ais523> (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 <oerjan> `quote 1245
09:29:56 <HackEgo> 1245) <ais523> (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 <oerjan> oh it was all there
09:30:09 <lifthrasiir> 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 <ais523> 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 <ais523> parts of september genuinely are in summer, and cloud doesn't prevent warmth
09:30:48 <lifthrasiir> fuck.
09:31:26 <mroman> theres also uhm
09:32:12 <oerjan> indian summer in scotland
09:32:14 <mroman> H H
09:32:16 <mroman> C=C
09:32:18 <mroman> H H
09:35:34 <oerjan> 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 <mroman> http://www.thewebsters.ch/en/stories/8
09:40:58 <mroman> swiss gov is making educational comics about the dangerzone internet.
09:42:33 <mroman> http://www.thewebsters.ch/en/stories/14
09:42:34 <mroman> ...
09:42:56 <mroman> what kind of fucking moron buys meds online in switzerland o_O
09:47:31 <mroman> I'm disappointed that they're not in swiss german though :(
09:49:33 <oerjan> it's got rumantsch
09:49:58 <oerjan> i am guessing swiss german isn't actually an official language in switzerland.
09:50:20 <mroman> No it's not.
09:50:40 <mroman> and nobody speaks rumantsch
09:51:11 <oerjan> nobody where you live, i take
09:51:18 <mroman> Rumantsch is the equivalent of looking at swiss german and then creating high german :)
09:51:32 <mroman> It's not a natural language.
09:52:16 <mroman> It was invented in the eighties based on several dialects
09:52:41 <mroman> It's about as popular as german for swiss german speakers ;)
09:52:49 <mroman> Nobody wants to use it in day to day conversations.
09:52:51 <oerjan> hey that's how nynorsk was made
09:54:06 <mroman> Cò ho'la vis sün ün pin ün corv chi tgnaiva ün töch chaschöl in sieu pical.
09:54:14 <mroman> Qua ha ella vis sin in pign in corv che tegneva in toc chaschiel en ses pichel
09:54:21 <oerjan> http://www.thewebsters.ch/en/stories/8
09:54:32 <oerjan> ...how did i paste that.
09:55:28 <mroman> Cheu ha ella viu sin in pegn in tgaper che teneva in toc caschiel en siu bec
09:55:45 <mroman> Qua â ella vieu sen egn pegn egn corv ca taneva egn toc caschiel ainten sieus pecel
09:56:00 <mroman> :)
09:56:49 <mroman> (the second one (the one with Qua ha) is the official rumantsch)
09:57:05 <mroman> (the other ones are the spoken dialects)
09:57:14 <oerjan> OKAY
09:58:40 <fizzie> `thanks TCP
09:58:41 <HackEgo> Thanks, TCP. TCP.
09:58:57 <fizzie> That was a bit of a letdown.
10:05:05 <mroman> `thanks `thanks
10:05:06 <HackEgo> Thanks, `thanks. Thanks.
10:05:12 <mroman> `thanks HackEgo
10:05:15 <HackEgo> Thanks, HackEgo. ThackEgo.
10:08:26 -!- rodgort has quit (Ping timeout: 240 seconds).
10:12:10 -!- rodgort has joined.
10:39:50 <b_jonas> `thanks fungot.
10:39:50 <fungot> b_jonas: uh... yeah. what about doing something really crazy and writing a whirl code generator
10:39:53 <HackEgo> Thanks, fungot.. Thungot..
10:53:56 -!- ais523 has joined.
11:01:38 -!- ais523 has quit.
11:03:02 <mroman> new business model
11:03:06 <mroman> make tools that block ads
11:03:15 <mroman> charge adnets to unblock ads in your tool
11:03:18 <mroman> or
11:03:26 <mroman> make tools that block ads except from your own adnet
11:03:38 <mroman> make people pay for delivering ads through your adnet
11:03:44 <mroman> fungot: Where's your adnet?
11:03:44 <fungot> mroman: i'm thinking of retrying uberman. i dunno
11:03:56 -!- ais523 has joined.
11:10:16 <b_jonas> mroman: that's not new
11:10:22 <b_jonas> 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 <boily> `relcome LexiciScriptor
11:40:58 <HackEgo> LexiciScriptor: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
11:41:04 <LexiciScriptor> ahoy boily
11:42:44 <boily> good LexiciScriptorning.
11:43:18 <boily> first time here?
11:43:23 <LexiciScriptor> yeah
11:43:42 <LexiciScriptor> it's always LexiciScriptorning
11:44:04 <LexiciScriptor> i want to experiment some languages :)
11:44:04 <ais523> didn't we stop troll-welcoming regulars a while back?
11:44:16 <ais523> thus a welcome is either someone new or me being mistaken as to whether someone is new
11:44:35 <ais523> (I'm not online all that often, so don't always know someone's been here before)
11:44:43 <ais523> (also I'm not good at remembering nicks anyway)
11:46:01 <boily> his523. I prefer `relcoming people I haven't seen yet, even if they already were `relcomed :)
11:46:43 <boily> LexiciScriptor: have you visited our wiki? experimenting is always nice.
11:47:11 <LexiciScriptor> actually i discovered this channel reading the wiki
11:48:43 <ais523> the wiki's community portal is the main place people find out about the channel
11:48:46 <ais523> that, and guessing the name
11:50:00 <LexiciScriptor> probably it isnt _so_ easy to guess
11:51:03 <ais523> right, I'm just talking statistically
11:51:24 <ais523> I know I found the channel via the wiki, and that was years ago
11:51:27 <ais523> (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 <b_jonas> 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 <b_jonas> apparently only if the writer isn't root. but that doesn't make any sense.
13:07:55 <b_jonas> why isn't the bit cleared if the writer process is root?
13:08:00 <b_jonas> I don't get it
13:09:46 <mroman> so the binary can update itself?
13:09:48 <mroman> I don't know.
13:10:26 <b_jonas> update itself? seriously? do we live in the 80s?
13:11:00 <mroman> sometimes
13:11:31 <b_jonas> 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 <mroman> hm
13:27:47 <mroman> Why do OS generally have so little built-in support for "jails"?
13:27:57 <mroman> (i.e. to control what processes/users can do)
13:29:02 <mroman> (restrict them to specific directories/files/ports etc.)
13:29:39 <FireFly> Because OSes generally don't focus that much on security since it causes trouble for application writers and backward compatibliity?
13:29:45 <FireFly> possibly
13:43:19 <HackEgo> [wiki] [[User:Ennullizer]] https://esolangs.org/w/index.php?diff=46245&oldid=46234 * Ennullizer * (-2) /* Me */
13:46:07 <mroman> well
13:46:14 <mroman> fuck the application writers
13:46:19 <mroman> they have knowledge
13:46:23 <mroman> end users don't
13:51:11 -!- heroux has quit (Ping timeout: 264 seconds).
13:51:38 <oerjan> mroman: how dichotomic
13:52:38 <FireFly> there's always OpenBSD
13:53:31 -!- oerjan has quit (Quit: Argh noise).
13:53:50 <FireFly> 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 <mroman> hm.
14:59:53 <\oren\_> Oh, and if Cirno has a moon, I'll call it Daiyousei!
15:00:02 <mroman> setuid should probably be cleared even if root writes to it
15:00:13 <mroman> 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 <HackEgo> [wiki] [[Joke language list]] M https://esolangs.org/w/index.php?diff=46246&oldid=46202 * Hurricane996 * (+83)
15:16:27 <b_jonas> fungot, do you like C++ templates?
15:16:28 <fungot> 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 <b_jonas> fungot, I think you still don't understand how quotation marks work in text
15:16:49 <fungot> b_jonas: its really good.
15:32:23 <myname> 'Difference to Haskell: A user defined operator must not start with the comment introducting characters {- or --."
15:32:32 <myname> haskell can do that?
15:42:11 <FreeFull> Let's test it out
15:42:33 <FreeFull> > let ({--) = 0 in ({--)
15:42:34 <lambdabot> <hint>:1:6: unterminated `{-'
15:42:57 <FreeFull> > let (--*--) = 0 in (--*--)
15:42:59 <lambdabot> 0
15:43:09 <FreeFull> myname: Seems it allows -- but not {-
15:43:25 <FreeFull> > let ({--*) = 0 in ({--*)
15:43:27 <lambdabot> <hint>:1:6: unterminated `{-'
15:44:16 <FreeFull> I'm not sure { is allowed in operators anyway
15:44:30 <FreeFull> > let (-*{) = 0 in (-*{)
15:44:32 <lambdabot> <hint>:1:8: parse error on input ‘{’
15:48:48 <mroman> well time to implement pipes for virtunet :)
15:51:54 <mroman> well not pipes but the | operator
15:52:05 <mroman> but that will require pipes :)
15:52:15 <mroman> but a pipe is just a memory mapped file in this case so...
15:54:59 <mroman> and since i'm lazy as fuck I just split by '|'
15:55:16 <mroman> I'm not even going to support quotes :)
15:55:28 <mroman> I'll just require users to escape spaces and |
16:04:19 <mauris> > let (--*--) x y = x + y in (--*--) 3 4
16:04:21 <lambdabot> 7
16:04:24 <mauris> > let (--*--) x y = x + y in 3 --*-- 4
16:04:26 <lambdabot> 7
16:04:34 <mauris> oh wow jeez
16:04:42 <mauris> -- starts a comment "except when it doesn't"
16:05:02 <Taneb> Starts a comment except when part of a larger token
16:05:19 <Taneb> > let (---) = (+) in 3 --- 4
16:05:21 <lambdabot> <hint>:1:27:
16:05:21 <lambdabot> parse error (possibly incorrect indentation or mismatched brackets)
16:05:26 <Taneb> Or perhaps not
16:05:41 <mauris> > let (<--) = (+) in 3 <-- 4
16:05:43 <lambdabot> 7
16:10:37 <Taneb> How mysterious
16:17:00 -!- Lord_of_Life has quit (Excess Flood).
16:17:43 <mroman> http://codepad.org/X4lc1q6n
16:18:17 <mroman> 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 <SopaXorzTaker> Try rule B357/S246 in GOL
18:39:18 <SopaXorzTaker> 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 <oerjan> <FireFly> erase the noise. <-- but now there's a different one ;_;
20:04:46 <oerjan> <Taneb> How mysterious <-- the comment tokens are actually /-(-)+/ hth
20:05:55 <oerjan> @tell Taneb <Taneb> How mysterious <-- the comment tokens are actually /-(-)+/ hth
20:05:56 <lambdabot> Consider it noted.
20:10:39 -!- dude has quit (Ping timeout: 252 seconds).
20:13:12 <Taneb> oerjan, huh
20:14:51 <oerjan> ----------- so you can make nice formatting -----------
20:15:15 -!- hppavilion[2] has joined.
20:16:26 <oerjan> 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 <oerjan> oh hm that's cpressey's
20:17:40 <oerjan> (mostly)
20:18:01 <oerjan> turns out i didn't do it in my program
20:22:27 <oerjan> 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 <Taneb> 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 <shachaf> contrapumpkin: hi contrapumpkin
23:37:37 <shachaf> 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 <hppavilion[1]> I just had a marvelous idea
23:45:48 <hppavilion[1]> Remake Gouda so that it is only semi-stack-based
23:46:24 -!- boily has joined.
23:58:08 <shachaf> What's a semi-stack?
23:59:24 -!- Sprocklem has joined.
←2016-01-20 2016-01-21 2016-01-22→ ↑2016 ↑all