←2015-07-01 2015-07-02 2015-07-03→ ↑2015 ↑all
00:00:04 <pikhq> Anana
00:01:16 <nys> they're both wired with microphones
00:01:28 -!- MDude has quit (Ping timeout: 252 seconds).
00:01:37 <oerjan> did the wiki just croak again
00:01:58 <oerjan> just as i've loaded up my largest IE tab collection ever
00:02:07 <boily> nys: I'm very tempted to mapole you, but after having seen corn microphones I morally can't.
00:02:25 <oerjan> that's got to look corny
00:02:35 <nys> happy maple day
00:03:03 <boily> but then, I have absolutely no qualms nor any scruples when it comes to oerjan.
00:03:11 * boily *THWACKS* oerjan
00:03:18 <oerjan> i deserved that.
00:04:46 <oerjan> oh wait only some of the wiki pages didn't load, that D can mean either that or "Difference between revisions"
00:08:56 <HackEgo> [wiki] [[Language list]] M http://esolangs.org/w/index.php?diff=43370&oldid=43358 * Oerjan * (+0) /* U */ There had to be one...
00:21:17 <HackEgo> [wiki] [[SCRUBS4U]] http://esolangs.org/w/index.php?diff=43371&oldid=43030 * Oerjan * (+60) Some proofreading. Don't know what to do about Examples section.
00:23:35 <HackEgo> [wiki] [[User talk:Lucasieks]] M http://esolangs.org/w/index.php?diff=43372&oldid=43034 * Oerjan * (+50) unsigned
00:31:35 <oren> Y'know, I think it might be possible to hack Super Pitfall so as not to suck
00:40:00 -!- MDude has joined.
00:41:52 <tswett> A while back, I mused about the idea of a "polynomial type theory", which only lets you define functions whose growth rate is bounded above by a polynomial.
00:42:36 <tswett> The theory would let you define two different types of natural numbers, "unat" (natural numbers expressed in unary) and "bnat" (natural numbers expressed in binary or something equivalent).
00:43:00 <tswett> These wouldn't be interconvertible: you can't turn a bnat into the equivalent unat, because the function that would do so grows too quickly.
00:43:45 <tswett> The power function would be definable, but the most useful type it could have would be (bnat * unat) -> bnat or something.
00:45:23 <tswett> The function grows exponentially in the exponent, so you have to have it take the exponent in unary and output the result in binary in order for that to work.
00:45:38 <pikhq> oren: Now do ET
00:47:03 <tswett> Now, it's obvious how to define lengths for a sum type or a product type, but how do you define lengths for a function type?
00:47:10 <tswett> I've concluded that in general, you just can't do it.
00:49:14 <boily> is Super Pitfall that bad?
00:51:46 <tswett> ...remind me why I concluded that? Hmmm.
00:51:57 <MDude> Compared to regular Pitfall?
00:52:30 <oren> its engine is only a little screwy, but the level design is atrocious
00:52:38 <MDude> I played it, and the game was not that fun.
00:52:40 <boily> wait. there are multiple pitfalls?
00:52:53 <MDude> Yes, but the first was for Atari.
00:52:55 <boily> tswett: probably because you attempted to do it, but it wasn't possible?
00:52:56 <oren> super pitfall is on NES
00:53:02 <boily> wut?
00:53:14 <MDude> I played a version of Pitfall on the PC.
00:53:16 <pikhq> There was also a Pitfall 2, right?
00:53:32 <MDude> Maybe Pitfall 2 is what I played.
00:53:42 <tswett> Well, I need to attempt again.
00:54:24 <tswett> What I do know is that the length function for a function type has to grow superexponentially in the degree of the function.
00:54:58 <shachaf> `wisdom superexponential growth
00:54:59 <HackEgo> mnoqy/mnoqy used to be monqy before the earthquake.
00:55:52 -!- mihow has quit (Quit: mihow).
00:56:12 <boily> shachaf: your wisdoms are beginning to sound like my chickens hth
00:58:39 -!- mihow has joined.
00:59:43 <tswett> Does `wisdom pay attention to is argument at all?
00:59:47 <tswett> `? superexponential growth
00:59:48 <HackEgo> superexponential growth? ¯\(°​_o)/¯
01:00:00 <shachaf> `wisdom superduperexponential growth
01:00:01 <HackEgo> just intonation/Bad-tempered people can be recognized by just intonation.
01:00:14 <shachaf> `? equal temperament
01:00:15 <HackEgo> Equal temperament is just intonation that's evenly spaced.
01:00:35 <oerjan> tswett: the problem is that you cannot give a length for the apply function
01:01:02 <oerjan> and you cannot define a length for its argument that makes the apply function polynomial
01:01:16 <oerjan> *first argument
01:01:17 <tswett> `le/rn superexponential growth/Superexponential growth? SUPEREXPONENTIAL GROWTH?! HOLY CRAP!!!
01:01:19 <HackEgo> Learned «superexponential growth»
01:01:36 <tswett> oerjan: how do you know?
01:01:45 <tswett> The latter, in particular?
01:02:27 <tswett> A hypothetical apply function could have the type ((bnat -> bnat) * bnat) -> bnat.
01:02:27 <oerjan> tswett: imagine that time(apply(f,x)) <= (length(f)+length(c))^n
01:02:43 <shachaf> tswett: i don't get that wisdom entry
01:02:46 <shachaf> what's it doing
01:02:54 <shachaf> is it meant to be superexponential or something?
01:03:26 -!- mihow has quit (Ping timeout: 252 seconds).
01:03:45 <tswett> oerjan: by time do you mean length, and by c do you mean x?
01:03:58 <oerjan> the latter
01:04:02 <oerjan> not the former
01:04:08 <tswett> What's time(), then?
01:04:23 <oerjan> the time it takes to run? that's usually what you're interested in for P
01:04:40 <oerjan> it should be bounded by a polynomial
01:05:16 <tswett> Well, what I said was "functions whose growth rate is bounded above by a polynomial".
01:05:19 <tswett> Not their runtime.
01:05:24 <oerjan> ah.
01:05:26 <oerjan> hm...
01:06:08 <tswett> shachaf: well, it's an exaggerated reaction of astonishment at the concept of superexponential growth.
01:06:21 <oerjan> in that case, replace time() by absolute value
01:08:15 <tswett> All righ.
01:08:23 <tswett> t.
01:08:48 <tswett> So then what happens if abs(apply(f,x)) <= (length(f) + length(c))^n?
01:08:56 <tswett> Crap, I copied your error.
01:09:15 -!- copumpkin has joined.
01:09:50 -!- Sprocklem has joined.
01:11:10 <oerjan> tswett: well i claim you cannot have that, which means apply itself cannot be polynomial
01:11:45 <tswett> All right. And the reason for that is...
01:11:57 <tswett> If the function f has degree m, then n > m, right?
01:12:05 <tswett> So n must be a natural number which is greater than all natural numbers.
01:12:15 <tswett> Lemme see if I think that's right.
01:12:50 <oerjan> something like that
01:13:04 <tswett> Yes, that does sound right.
01:19:35 <HackEgo> [wiki] [[And]] http://esolangs.org/w/index.php?diff=43373&oldid=43079 * Oerjan * (+12) name fmt and links
01:22:45 <HackEgo> [wiki] [[Goto]] http://esolangs.org/w/index.php?diff=43374&oldid=43077 * Oerjan * (+4) name fmt and link
01:27:53 <HackEgo> [wiki] [[Microscript]] M http://esolangs.org/w/index.php?diff=43375&oldid=43111 * Oerjan * (+7) links
01:29:01 -!- boily has quit (Quit: PANDEMONIAC CHICKEN).
01:30:24 <HackEgo> [wiki] [[Hi\n]] http://esolangs.org/w/index.php?diff=43376&oldid=43094 * Oerjan * (-62) formatting
01:37:33 <HackEgo> [wiki] [[CLEB]] M http://esolangs.org/w/index.php?diff=43377&oldid=43116 * Oerjan * (+7) intro fmt, link
01:39:28 <HackEgo> [wiki] [[CRalphabet]] M http://esolangs.org/w/index.php?diff=43378&oldid=43117 * Oerjan * (+6) bold
01:49:07 <HackEgo> [wiki] [[ABCs]] M http://esolangs.org/w/index.php?diff=43379&oldid=43144 * Oerjan * (+3) link, space
01:49:48 -!- contrapumpkin has joined.
01:53:15 -!- copumpkin has quit (Ping timeout: 255 seconds).
01:53:59 <fowl> P=NP
01:54:10 <fowl> Yes
01:54:47 <HackEgo> [wiki] [[Talk:Wordfuck]] M http://esolangs.org/w/index.php?diff=43380&oldid=43165 * Oerjan * (+45) unsigned
02:02:17 <HackEgo> [wiki] [[Talk:Underload]] http://esolangs.org/w/index.php?diff=43381&oldid=43186 * Oerjan * (+200) unsigned
02:02:45 <oerjan> fowl: PROOF PLZ THX TWH
02:03:35 <shachaf> TOES WITH HAIR
02:04:40 <HackEgo> [wiki] [[Gulf]] http://esolangs.org/w/index.php?diff=43382&oldid=43205 * Oerjan * (+10) standardificamation
02:05:27 <oerjan> shachaf: do toes without hair help when desert trekking inquiring minds would like to know
02:07:11 <shachaf> oerjan: hard to say, since i've never been through the desert on a toe with hair
02:07:24 <shachaf> i imagine it doesn't make too much of a difference
02:08:23 <shachaf> but i suppose it would be nice to receive hth
02:12:03 <tswett> Now, as for the class of all functions with at most a given degree...
02:13:48 <tswett> I think the class of all functions with degree at most n is a type, whose apply function has degree n+1.
02:16:49 -!- llue has joined.
02:18:33 <HackEgo> [wiki] [[Jumpback]] M http://esolangs.org/w/index.php?diff=43383&oldid=43206 * Oerjan * (-1) grm
02:20:04 -!- lleu has quit (Ping timeout: 252 seconds).
02:20:27 <HackEgo> [wiki] [[PRINTASKSWITCHINPUTCASEXGOTOACASEYGOTOBELSEGOTOC]] http://esolangs.org/w/index.php?diff=43384&oldid=43210 * Oerjan * (+8) fmt, link
02:20:52 -!- idris-bot has joined.
02:21:32 <zzo38> Let's see if you know these quiz of Canada Day and other Canadian laws: http://zzo38computer.org/textfile/miscellaneous/canada.day
02:23:41 <shachaf> zzo38: what's the best province?
02:24:10 <shachaf> I don't know the answers to most of these questions.
02:24:11 <zzo38> Some people say British Columbia, which is where I live. I absolutely don't know if it is true or not or if there is any one that can be called as a best province
02:24:45 <shachaf> You just said that some people say British Columbia. So how can you not know if it can be called a best province?
02:25:02 <zzo38> I mean I don't know if they are correct or if it is proper
02:25:19 <shachaf> Ah.
02:26:59 <HackEgo> [wiki] [[Special:Log/delete]] delete * Oerjan * deleted "[[Esolang:Ye Olde Alchemist]]": Seems to have been created by error
02:27:09 <shachaf> How can birds sing louder than 50 decibels? Decibels are relative.
02:27:50 <zzo38> Yes, I know that
02:28:04 <zzo38> It doesn't mean people who write the laws would know
02:29:13 <shachaf> zzo38: Do you like using cents instead of decibels?
02:30:04 <zzo38> What do *you* think???
02:31:14 <shachaf> I think that's the sort of unusual unit you would enjoy using.
02:32:47 <shachaf> How about octaves?
02:33:12 <shachaf> A cent is 1/1200th of a bit.
02:35:02 <HackEgo> [wiki] [[Special:Log/delete]] delete * Oerjan * deleted "[[Numberic Underload]]": Misspelling
02:39:58 -!- nys has quit (Quit: quit).
02:40:52 <HackEgo> [wiki] [[Brainfuck Markup Language]] M http://esolangs.org/w/index.php?diff=43385&oldid=43278 * Oerjan * (+7) links, sp
02:41:07 <shachaf> wisdom octave
02:41:09 <shachaf> ugh
02:42:13 <MDude> 'wisdom
02:42:18 <MDude> `wisdom
02:42:21 <HackEgo> group/groups are just loops with the property of associativity
02:46:18 <HackEgo> [wiki] [[Cod]] http://esolangs.org/w/index.php?diff=43386&oldid=43316 * Oerjan * (+47) wikitable, link fmt
02:47:17 -!- mihow has joined.
02:48:11 <HackEgo> [wiki] [[Unc]] M http://esolangs.org/w/index.php?diff=43387&oldid=43292 * Oerjan * (+1) sp
02:49:07 <HackEgo> [wiki] [[Unc]] http://esolangs.org/w/index.php?diff=43388&oldid=43387 * Oerjan * (+14) lc
02:53:23 <HackEgo> [wiki] [[Noisett]] M http://esolangs.org/w/index.php?diff=43389&oldid=43351 * Oerjan * (-24) bold, spacing, link fmt
02:55:42 -!- Wallacoloo has quit (Quit: Leaving.).
02:55:56 <HackEgo> [wiki] [[Special:Log/delete]] delete * Oerjan * deleted "[[Phase]]": Redirect from wrong namespace
02:56:23 -!- Wallacoloo has joined.
02:59:39 <HackEgo> [wiki] [[Lamb]] M http://esolangs.org/w/index.php?diff=43390&oldid=43317 * Oerjan * (+4) link
03:00:13 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
03:01:51 <HackEgo> [wiki] [[Noit o' mnain worb]] http://esolangs.org/w/index.php?diff=43391&oldid=43323 * Oerjan * (+12) if it's hidden it's a spoiler
03:06:36 <HackEgo> [wiki] [[Shoelips]] http://esolangs.org/w/index.php?diff=43392&oldid=43333 * Oerjan * (+32) fmt, finish sentence
03:07:13 <shachaf> `wisdom octaves
03:07:20 <HackEgo> culprit/`culprits` is a program that lists the lists the nicks responsible for a wisdom entry. Usage: `culprits wisdom/ENTRY
03:07:33 <shachaf> did that entry really have to end up messed up tdnh
03:14:20 -!- mihow has quit (Ping timeout: 252 seconds).
03:22:14 <HackEgo> [wiki] [[SMIL]] http://esolangs.org/w/index.php?diff=43393&oldid=43344 * Oerjan * (+61) proofreading
03:25:20 <HackEgo> [wiki] [[Mindfunc]] http://esolangs.org/w/index.php?diff=43394&oldid=43367 * Oerjan * (-10) bold, link section fmt
03:26:03 -!- variable has joined.
03:33:53 -!- password2 has joined.
03:41:58 <shachaf> `wisdom cents
03:42:03 <HackEgo> group/groups are just loops with the property of associativity
03:42:12 <shachaf> thanks a lackego
04:04:10 -!- codergeek42 has joined.
04:04:10 -!- codergeek42 has quit (Changing host).
04:04:10 -!- codergeek42 has joined.
04:30:18 <Sgeo_> Do I need to do slist updates?
04:32:37 -!- oerjan has quit (Quit: smaybe).
04:34:24 <shachaf> I thought slist was dead.
04:38:39 -!- Wright_ has joined.
04:38:39 -!- Wright has quit (Read error: Connection reset by peer).
04:53:02 -!- rodgort has quit (Quit: Leaving).
04:56:56 -!- gde33|2 has quit.
04:57:54 <Taneb> Sgeo_, it's on a regular schedule now, and it's only us two
04:57:56 <Taneb> So probably not
04:59:29 <coppro> also there's an rss
05:00:46 -!- rodgort has joined.
05:20:54 -!- Wallacoloo has quit (Quit: Leaving.).
05:22:00 -!- password2 has quit (Remote host closed the connection).
05:31:52 -!- codergeek42 has quit (Quit: Ex-Chat).
05:57:44 -!- Wallacoloo has joined.
05:58:30 -!- Wallacoloo has quit (Client Quit).
06:14:41 -!- zadock has joined.
06:15:44 <Sgeo_> RSS is dead, Google killed it
06:15:58 <Sgeo_> Embrace and extinguish
06:23:34 -!- Wright_ has quit (Ping timeout: 265 seconds).
06:24:54 -!- zadock has quit (Quit: Leaving).
06:31:09 -!- variable has quit (Ping timeout: 244 seconds).
06:37:55 -!- dronefly has joined.
06:44:57 -!- dronefly has quit (Read error: Connection reset by peer).
06:45:27 -!- dronefly has joined.
06:51:03 -!- dronefly has quit (Remote host closed the connection).
06:56:04 <Taneb> It looks like it will be cooler today
06:58:36 <Taneb> Yay
06:58:40 <Taneb> I may be able to think
07:02:56 <mroman_> wtf is wrong with ^([0-9]+)(.*)$ not matching "13a"?
07:08:11 <mroman_> nothing. maybe I have some unprintable garbage in that string.
07:08:46 <pikhq> Are we dealing with BRE or ERE?
07:09:10 <pikhq> In BRE (as used by e.g. sed, grep by default), you need ^\([0-9]+\)\(.*\)$
07:09:22 <pikhq> Without the slash, in BRE ( matches itself.
07:12:21 <mroman_> nah. I'm using Java.
07:26:10 -!- J_A_Work has joined.
08:07:15 -!- J_A_Work has quit (Quit: J_A_Work).
08:22:27 -!- NSA_ has joined.
08:23:13 <NSA_> EgoBot
08:23:37 <NSA_> `testing
08:23:51 <NSA_> Hello, World!
08:23:54 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: testing: not found
08:24:09 <NSA_> HackEgo
08:24:31 <NSA_> `Testing, 1, 2, 3,....
08:24:49 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: Testing,: not found
08:25:01 <APic> NSA_: Epic win!
08:25:13 <APic> N$Ⓐ always scores in this cruel World!
08:25:28 <NSA_> Nah, I found a backdoor into the NSA.
08:25:34 <NSA_> See the underscore?
08:25:39 <NSA_> NSA
08:25:45 <NSA_> was already taken
08:25:48 <NSA_> so I am NSA_
08:26:08 <APic> kkk
08:26:11 <APic> Well done!
08:26:13 <APic> Go on!
08:26:26 <APic> 10:28:53 -!- _N$A_ Erroneous Nickname
08:26:28 <APic> o/
08:26:37 <APic> Even the Trial counts!
08:26:48 <NSA_> I applied at the CIA, and the application process included uploading sample documents, so I put some ESOLANGS into the raw text.
08:27:28 <APic> Ok.
08:27:31 <APic> You own.
08:28:21 <NSA_> #RURNM
08:28:28 <NSA_> And you people doubted me.
08:28:36 <fowl> wats dis
08:28:44 <NSA_> It's something new.
08:29:25 <fowl> oh zombiecheney
08:29:28 <fowl> welcome back
08:29:57 <NSA_> Yes.
08:30:10 <fowl> jk
08:30:13 <fowl> i dont welcome you back
08:30:30 <NSA_> Doesn't matter whether I am welcomed or not, I am back.
08:30:42 <NSA_> Hence the name Zombie, can't kill me.
08:30:55 <fowl> no doubt to do some griefing
08:31:04 <NSA_> Perhaps.
08:31:11 <NSA_> Part of the learning process.
08:32:21 <NSA_> All of these logs will add nicely to my collection.
08:33:47 <NSA_> I will be forwarding them all to glenn.greenwald courtesy of The Intercept
08:35:51 <NSA_> PinealGlandOptic
08:36:49 <NSA_> Signing off... beep beep boop...
08:40:58 -!- Patashu has joined.
08:42:06 -!- AnotherTest has joined.
08:42:39 <NSA_> AnotherTest ???
08:43:48 <NSA_> == Patashu
08:44:02 <NSA_> [~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au] has joined #esoteric
08:44:14 <NSA_> admin is not admin
08:44:20 <NSA_> PoI?
08:44:24 <NSA_> Good show...
08:44:41 <NSA_> oren
08:44:58 <NSA_> Look!
08:45:14 <NSA_> It's an original Degas.
08:45:30 <NSA_> The good news is, the Machine is alive, the bad news is, it's pissed.
08:45:56 <NSA_> Fucking A, it's like a ghost town in here.
08:46:10 <NSA_> myname
08:46:16 <NSA_> You talking to me?
08:46:21 <NSA_> You talking to me?
08:46:35 <NSA_> I don't see anyone else here, so you must be talking to me.
08:46:43 <NSA_> Make my day, sucka.
08:47:03 <NSA_> Edgar Degas - Wikipedia, the free encyclopedia https://en.wikipedia.org/wiki/Edgar_Degas Wikipedia Edgar Degas (US /deɪˈɡɑː/ or UK /ˈdeɪɡɑː/; French: [ilɛʁ ʒɛʁmɛ̃ ɛdɡɑʁ dəɡɑ]; born Hilaire-Germain-Edgar De Gas; 19 July 1834 – 27 September ... ‎The Bellelli Family - ‎Portraits at the Stock Exchange - ‎Little Dancer of Fourteen Years Edgar Degas - The complete works www.edgar-degas.org/ Edgar Degas - Homepag
08:47:39 <NSA_> Intro on: computer code resolves into images: First Scene of my Script
09:00:24 -!- NSA_ has quit (Ping timeout: 246 seconds).
09:03:32 <mroman_> what the hell
09:05:35 <Taneb> I agree
09:10:40 <Taneb> Well, I just ordered a COMPUTER SCIENCE BOOK
09:10:50 -!- x10A94 has joined.
09:22:37 <Taneb> (among other things)
09:23:08 <Taneb> "Introduction to Languages and the Theory of Computation"
09:26:19 <Taneb> Heh, I was getting worried that I might get in trouble because my laptop's charger cable has a sticker saying "Do not use after 12.06.14" (dd/mm/yy, I presume)
09:26:47 <Taneb> But then I realised the office's extension cord it is plugged into has a similar sticker saying "Do not use after 16.04.14"
09:40:53 <Taneb> Yay, PAT testing
09:50:09 -!- FreeFull has quit (Ping timeout: 256 seconds).
09:52:08 -!- FreeFull has joined.
09:58:08 -!- Alcest has joined.
10:00:21 <Taneb> Writing Eclipse Extensions is "fun"
10:00:58 <Taneb> s/Extensions/plugins/
10:01:31 <Jafet> Computer science.
10:03:03 -!- aretecode has quit (Ping timeout: 248 seconds).
10:05:43 -!- FreeFull has quit (Ping timeout: 252 seconds).
10:14:15 -!- aretecode has joined.
10:23:09 -!- boily has joined.
10:25:24 -!- J_Arcane has quit (Quit: ChatZilla 0.9.91-rdmsoft [XULRunner 32.0.3/20140923175406]).
10:30:02 -!- J_Arcane has joined.
10:42:39 <Taneb> Jafet, ?
11:00:14 <Jafet> Or maybe it's not.
11:18:20 -!- boily has quit (Quit: BIASED CHICKEN).
11:33:50 -!- idris-bot has quit (Quit: Terminated).
11:34:06 -!- idris-bot has joined.
11:37:49 <Jafet> `unicode WEARY CAT FACE
11:38:00 <HackEgo> U+1F640 WEARY CAT FACE \ UTF-8: f0 9f 99 80 UTF-16BE: d83dde40 Decimal: &#128576; \ 🙀 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals)
11:52:06 -!- FreeFull has joined.
12:16:52 -!- FreeFull has quit (Ping timeout: 246 seconds).
12:27:00 -!- Alcest has quit (Remote host closed the connection).
12:30:22 -!- Alcest has joined.
12:32:41 -!- singingboyo has quit (Ping timeout: 255 seconds).
12:35:18 -!- singingboyo has joined.
12:35:24 -!- gde33 has joined.
12:44:25 -!- Patashu has quit (Ping timeout: 265 seconds).
12:51:44 -!- ais523 has joined.
12:55:12 -!- contrapumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
13:03:47 -!- villasukka has joined.
13:09:15 -!- FreeFull has joined.
13:13:57 -!- nys has joined.
13:39:02 <b_jonas> Hmm, I think this isn't one bug in my program, but two or three bugs interacting with each other.
13:45:56 -!- nycs has joined.
13:48:55 -!- nycs has quit (Client Quit).
13:49:04 -!- `^_^v has joined.
13:56:56 -!- ais523 has quit (Quit: meeting).
14:16:40 <mroman_> can you do "excluding" in regex?
14:16:41 <mroman_> like uhm
14:16:59 <mroman_> I want stuff like */+-#@?!
14:17:12 <mroman_> so every non-letter that is not a digit and not a control character
14:18:59 <mroman_> Hm. Java has \p{Punct} for that
14:19:55 <scoofy> you can.
14:20:27 <scoofy> typically [^a-z] matches not a-z.
14:21:05 <mroman_> but that matches \00 as well
14:21:27 <mroman_> Java has \p{Punct}
14:21:35 <mroman_> but that's most certainly not standard regex
14:21:42 <scoofy> then look up your regexp library's manual
14:21:56 <scoofy> which regexp are you talking about?
14:23:02 <scoofy> i guess [-*/+#@?!] would match what you want
14:23:24 <scoofy> i put - in front because it otherwise usually denotes a range
14:23:53 <scoofy> if you list chars between [], it will match those chars.
14:25:10 <scoofy> there aren't that many so you can list them.
14:27:17 -!- x10A94 has quit (Read error: Connection reset by peer).
14:27:44 -!- x10A94 has joined.
14:38:56 -!- oerjan has joined.
14:44:18 <mroman_> hm. Java regexes even have back-references
14:44:39 <int-e> irregular expressions
14:46:09 <mroman_> I think with mighty enough regexes you can even do parsing
14:46:21 <mroman_> to some degree
14:48:55 <mroman_> oh. neat.
14:48:57 <mroman_> possesive quantifiers
14:50:10 <int-e> well, "mighty enough regexes" should be TC
14:51:00 <ion> hi
14:51:27 <Taneb> int-e, isn't that just saying "sufficiently powerful language recognizers can recognize anything a Turing machine can"?
14:51:34 <Taneb> hion
14:52:03 <int-e> Taneb: I was trying to subtly mock mroman_ :P
14:52:18 <int-e> anyway, yes it does.
14:52:35 <oerjan> parsing isn't quite the same as recognizing, though.
14:53:41 <mroman_> There are TC languages than can be recognized by regexp, and some that can't.
14:53:41 <ion> Someone should design an esolang named HELL ASK. Here’s its logo. https://wiki.haskell.org/wikiupload/7/75/Pure_Devil_Haskell.png
14:54:02 <Taneb> int-e, I read that as "HE'LL ASK"
14:54:14 <int-e> Taneb: and ion as int-e?
14:54:26 <shachaf> -n channels are confusing tdnh
14:54:28 <Taneb> int-e, yes
14:55:07 <oerjan> wait ion isn't here?
14:55:08 <Taneb> My client really does not want to tab-complete ion
14:55:18 <oerjan> mine does.
14:55:31 <ion> Taneb: Huh, weird. I see you just fine.
14:55:32 <shachaf> irssi tab-completes people who aren't in the channel if they send messages to it
14:55:47 <shachaf> ion is trying to create confusion and i'm trying to clear it up
14:55:49 <Taneb> Whereas I use Hexchat
14:56:07 <oerjan> which means i cannot use tab completion to check when HackEgo has one of its rejoining issues
14:56:15 <int-e> why is fungot so unstable these days?
14:56:32 <oerjan> int-e: it's turned british hth
14:57:04 <oerjan> ion: are you using codu's stalker logs
14:57:13 <int-e> I thought the british people were the very definition of stability...
14:57:39 <shachaf> `learn Hexchat is a variant of Smalltalk invented in Hexham.
14:57:44 <HackEgo> Learned 'hexchat': Hexchat is a variant of Smalltalk invented in Hexham.
14:57:46 <int-e> polite, never crying...
14:58:10 <oerjan> int-e: well have _you_ tried keeping a stiff upper lip when you don't have lips tdnh
14:58:16 <ion> oerjan: tunes.org stalker logs hth
14:59:07 <oerjan> ion: ok. btw codu has an actual stalking mode.
14:59:24 <oerjan> (it may not be called precisely that.)
14:59:43 <shachaf> good to hear that codu is back
14:59:47 <shachaf> does that mean Gregor is back too
14:59:50 <shachaf> twh
15:00:48 <Taneb> oerjan, "stalker mode" hth
15:00:48 <oerjan> well presumably he did _something_ on july 1 to bring codu back
15:00:52 <oerjan> Guest62171: are you back?
15:00:56 <ion> TIL
15:02:07 <oerjan> not promising.
15:02:23 <shachaf> `wisdom ion
15:02:26 <HackEgo> ​Ø/Ø escaped due to a sensitive case bug
15:02:43 <oerjan> i guess he may be using his own website even if he doesn't look at the channel.
15:03:03 <oerjan> `cat bin/wisdom
15:03:04 <HackEgo> F="$(find wisdom -type f | shuf -n1)"; echo -n "${F#wisdom/}/" | rnooodl; cat "$F" | rnooodl
15:03:53 -!- Froox has quit (Quit: *bubbles away*).
15:04:16 <oerjan> `` sed -i 's!wisdom!wisdom/"$1"!' bin/wisdom
15:04:20 <HackEgo> No output.
15:04:22 <oerjan> `wisdom
15:04:23 <HackEgo> turkey/Turkey was the center of an empire that gobbled up much of Eastern Europe and the Middle East, something which brought them into conflict with Ostrich. In the 19th century the overstuffed empire started declining, and after the Great War it was cut up like so much Shish Kebab.
15:04:38 <oerjan> `wisdom ostrich
15:04:39 <HackEgo> ostrich/Ostrich used to be a large middle European empire in frequent conflict with Turkey. After a famine it sort of split into Ostrich/Hungry. Alas its policy of keeping its head in the sand did not get it through the Great War, and with its final attempts to take flight failing, it ended up cut into several pieces.
15:04:54 <oerjan> shachaf: sorry, i was starting to get annoyed
15:05:04 <shachaf> oerjan: now you gotta handle plurals
15:05:05 -!- Frooxius has joined.
15:05:33 <oerjan> shachaf: i leave further enhancements as an exercise hth
15:05:56 <oerjan> mainly i also did it because i finally thought of a simple "fix"
15:08:55 <oerjan> `` ls wisdom/*"ost"*
15:08:56 <HackEgo> wisdom/ostrich
15:09:26 <oerjan> `` ls wisdom/**
15:09:27 <HackEgo> wisdom/` \ wisdom/`? \ wisdom/ \ wisdom/_̰̆̓_̦̻̖͍̟̖̅ͭͭͬ͡_͉̭ͧ͒̐_̯͙̬̬̦̯͂͋͒ͧ͋̋_̴̝̔̉̅ͨ͞ \ wisdom/? \ wisdom/?? \ wisdom/@ \ wisdom/\ \ wisdom/☃ \ wisdom/⊥ \ wisdom/⌨ \ wisdom/  \ wisdom/🐐 \ wisdom/̸̸̼͚͇̮͕̳̞̤̜̯̪̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͠ͅ
15:09:46 <Taneb> O_O!
15:09:48 <oerjan> i think that might work
15:09:57 -!- Froox has joined.
15:10:03 <oerjan> `cat bin/Wisdom
15:10:04 <HackEgo> cat: bin/Wisdom: No such file or directory
15:10:08 <oerjan> `cat bin/wisdom
15:10:09 <HackEgo> F="$(find wisdom/"$1" -type f | shuf -n1)"; echo -n "${F#wisdom/}/" | rnooodl; cat "$F" | rnooodl
15:10:31 <oerjan> `` sed -i 's/"$1"/*"$1"*/' bin/wisdom
15:10:33 <HackEgo> No output.
15:10:36 <oerjan> `wisdom
15:10:37 <HackEgo> accounting/<BAL|FSV> = 0
15:10:42 <oerjan> `wisdom ost
15:10:43 <HackEgo> ostrich/Ostrich used to be a large middle European empire in frequent conflict with Turkey. After a famine it sort of split into Ostrich/Hungry. Alas its policy of keeping its head in the sand did not get it through the Great War, and with its final attempts to take flight failing, it ended up cut into several pieces.
15:10:54 -!- Frooxius has quit (Ping timeout: 244 seconds).
15:10:55 <Taneb> `wisdom ng
15:10:56 <HackEgo> ring/Addition, subtraction and multiplication have a certain ring to them.
15:10:59 <Taneb> `wisdom ng
15:11:00 <HackEgo> bookwatching/bookwatching is when you conflagrate birdwatching and the books used to identify them in the same object.
15:11:01 <Taneb> `wisdom ng
15:11:02 <HackEgo> metaturing/This wisdom entry was crushed by a falling anvil.
15:11:10 <Taneb> Ng is more common than I assumed
15:11:11 <Taneb> `wisdom nge
15:11:12 <HackEgo> ngevd/ngevd is a fake wisdom entry because having an actual infinite file in wisdom/ makes all manner of stuff bloody awkward. `? ngevd is special-cased in bin/?. leave this file alone Phantom_Hoover‼ also tswett‼
15:15:22 <oerjan> <Taneb> It looks like it will be cooler today <-- NOPE
15:15:34 <Taneb> It's like 5 degrees cooler
15:15:36 <Taneb> So nice
15:15:45 <Taneb> Might be able to sleep tonight
15:17:27 <oerjan> `wisdom sleep
15:17:28 <HackEgo> sleep/Sleep is for the weak.
15:17:48 <Taneb> I am not famous for my strength
15:17:57 <oerjan> me neither!
15:18:01 <oerjan> @metar ENVA
15:18:02 <lambdabot> ENVA 021450Z 26010KT CAVOK 22/16 Q1019 NOSIG RMK WIND 670FT 30005KT
15:18:04 <Taneb> LOOK AT THESE GRAPHS oerjan http://weather.elec.york.ac.uk/live-graphs.html
15:19:05 <oerjan> so, about the same weather as here.
15:19:37 <int-e> @metar epwa
15:19:37 <lambdabot> EPWA 021500Z 01006KT 310V060 CAVOK 27/07 Q1026 NOSIG
15:19:39 <Taneb> Although we did have a much warmer night last night
15:19:46 <Taneb> Possibly due to more cloud coverage
15:19:55 <oerjan> or wait, one day earlier
15:20:03 <int-e> @metar epwa
15:20:03 <lambdabot> EPWA 021500Z 01006KT 310V060 CAVOK 27/07 Q1026 NOSIG
15:20:06 <int-e> @metar eddi
15:20:06 <lambdabot> No result.
15:20:24 <oerjan> ok you win
15:20:29 <int-e> @metar eddb
15:20:29 <lambdabot> EDDB 021450Z 12012KT CAVOK 29/10 Q1023 NOSIG
15:20:33 <Taneb> oerjan, the wind has been generally from the south-west
15:20:39 <int-e> @metar lowi
15:20:39 <lambdabot> LOWI 021450Z 07010KT 040V110 9999 VCTS FEW070 FEW070CB 32/17 Q1021 TEMPO 09015G25KT
15:20:50 <int-e> glad not to be home.
15:21:11 <Taneb> @metar EGNT
15:21:11 <lambdabot> EGNT 021450Z VRB03KT 9999 FEW029 22/15 Q1016
15:21:16 <Taneb> I still can't read these
15:21:20 <int-e> (epwa is where I am; eddb is where I'm going tomorrow)
15:21:54 <oerjan> Taneb: just look for the number before the / hth
15:21:59 <Taneb> OK
15:22:07 <Taneb> tdh
15:22:10 <Taneb> tyvm
15:23:14 <oerjan> poland, eh
15:23:37 <int-e> conference
15:23:58 <shachaf> oerjan: doesn't handle wisdoms with slashes in them tdnh
15:24:07 <Taneb> `? ///
15:24:08 <HackEgo> cat: ///: Is a directory
15:24:11 <shachaf> actually tdh at least moderately
15:24:19 -!- nycs has joined.
15:24:22 <Taneb> `? \/\/\/
15:24:23 <HackEgo> ​\/\/\/? ¯\(°​_o)/¯
15:24:24 <oerjan> shachaf: it doesn't?
15:24:28 <shachaf> does it?
15:24:38 <oerjan> hm maybe the initial * is a problem
15:25:08 <oerjan> i think plain `wisdom without argument would still work?
15:25:12 <oerjan> `wisdom /
15:25:12 <int-e> Taneb: https://en.wikipedia.org/wiki/METAR is obligatory reading for this channel ;)
15:25:13 <HackEgo> ​¯\(°​_o)/¯/¯\(°​_o)/¯ is a misspelling of ¯\(°_o)/¯
15:25:13 <myndzi> |
15:25:13 <myndzi> º¯`\o
15:25:27 <shachaf> If you have a / in the query string it'll work.
15:25:31 <oerjan> shachaf: seems to work splendidly hth
15:25:36 <shachaf> Oh, it'll work either way, I guess.
15:25:40 <int-e> FEW029 <-- sunny, a few clouds (at 2900 feet)
15:25:40 <shachaf> fine tdh tdh
15:26:03 <oerjan> there are, of course, still features missing if you'd like to implement them.
15:26:17 <int-e> c.c
15:26:17 <myndzi> c.c.c
15:26:17 <myndzi> c.c
15:26:34 -!- `^_^v has quit (Ping timeout: 264 seconds).
15:26:42 <shachaf> oerjan: when can we mv bin/wisdom bin/\?
15:26:50 <shachaf> what features are necessary
15:27:18 -!- atehwa has joined.
15:27:19 <int-e> `? myndzi
15:27:19 <HackEgo> myndzi keeps us all on our feet
15:27:26 <oerjan> i think it'd have to take an actual redex then.
15:27:30 <oerjan> or wait
15:27:50 <oerjan> shachaf: i don't think they are entirely compatible given that `? must support the literal file
15:28:06 <Taneb> `? Ngevd
15:28:06 <HackEgo> ​~u`Ӂ> %qo=g^~6.:Sh[6T˨*݀QAZ&7
15:28:25 <int-e> `wisdom reflection
15:28:26 <HackEgo> ​/cat: : No such file or directory
15:28:32 <int-e> `? reflection
15:28:33 <HackEgo> cat.reflection.
15:28:36 <oerjan> heh
15:28:38 <shachaf> oerjan: really the behavior i wanted was for `? with no arguments to give a random wisdom
15:28:45 <int-e> `cat cat
15:28:46 <HackEgo> Meow~~
15:28:53 <shachaf> `culprits cat
15:28:54 <HackEgo> oerjan elliott Roujo Roujo Roujo oerjan Roujo Roujo Roujo Roujo Roujo Roujo Roujo Roujo
15:29:02 <Taneb> `?
15:29:03 <HackEgo> ​? ¯\(°​_o)/¯
15:29:19 <oerjan> shachaf: in that case, changing `? to delegate if no argument?
15:29:28 <shachaf> Sure, if you want.
15:29:33 <oerjan> i don't.
15:29:34 <shachaf> But the output formar is different.
15:29:39 <int-e> `` sed -i 's/$/ >^.^</' cat
15:29:41 <oerjan> oh right.
15:29:42 <HackEgo> No output.
15:29:51 <shachaf> ion: what do you think of nitia
15:29:59 <int-e> `? nitia
15:30:02 <HackEgo> nitia is the inventor of all things. The BBC invented her.
15:30:21 <int-e> nitia is cool.
15:30:30 <shachaf> Nitia Is The Inventor of All
15:30:41 <shachaf> whoa
15:31:52 <ion> shachaf: mu
15:32:42 <Taneb> `culprits bin/culprits
15:32:43 <HackEgo> tswett tswett shachaf shachaf shachaf FireFly FireFly FireFly FireFly FireFly FireFly shachaf
15:33:28 <int-e> `? bbc
15:33:29 <HackEgo> bbc? ¯\(°​_o)/¯
15:33:31 <int-e> `? BBC
15:33:31 <HackEgo> BBC? ¯\(°​_o)/¯
15:35:22 <int-e> `learn The BBC is the BreadBox Corporation. It invented Muppets and tiny elfs.
15:35:24 <HackEgo> Learned 'bbc': The BBC is the BreadBox Corporation. It invented Muppets and tiny elfs.
15:35:51 <shachaf> Taneb: have you considered adopting the name nitia as your own
15:35:56 <oerjan> is nitia a muppet or a tiny elf?
15:36:33 <oerjan> shachaf: i'm pretty sure someone else already stole it hth
15:36:33 <Taneb> shachaf, it is registered
15:36:35 <Taneb> By nortti
15:36:42 <shachaf> `? nortti
15:36:43 <HackEgo> nortti boy. very nortti boy.
15:36:51 <oerjan> living up to his wisdom
15:37:09 <int-e> oerjan: I don't know. "nitia" does not appear prominently on http://www.muppetlabs.com/~breadbox/bf/
15:37:16 <int-e> s/appear/feature/
15:37:16 <oerjan> ic
15:37:26 <shachaf> `` sed -i 's/It invented/Its inventions include, without limitation,/' wisdom/bbc
15:37:30 <HackEgo> No output.
15:38:26 <shachaf> https://en.wikipedia.org/wiki/BBC_Nitia
15:38:45 -!- villasukka has quit (Quit: Lost terminal).
15:39:06 <int-e> shachaf: thanks
15:39:30 <shachaf> one can never tell whether int-e is sarcastic :'(
15:39:54 <int-e> I wasn't in this case. (Nor in this. Err... how do I make this unambiguous?)
15:40:32 <shachaf> http://www.mit.edu/people/dpolicar/writing/prose/text/epistemologicalNightmare.html hth
15:40:33 <Taneb> int-e, either always or never be sarcatic
15:40:45 <int-e> Taneb: I can't do that :/
15:49:24 -!- ais523 has joined.
15:56:20 <nortti> ungrouped nitia
15:56:39 <shachaf> Taneb: now's your chance
15:56:51 -!- Taneb has changed nick to nitia.
15:57:07 -!- nitia has changed nick to Taneb.
15:57:13 <shachaf> not feeling it?
15:57:21 <Taneb> Not right now
15:57:23 <Taneb> I've grouped it
15:58:08 <Jafet> `wisdom vent
15:58:09 <HackEgo> tanebvention/Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, Stephen Wolfram, Go, weetoflakes, persistence, the reals, and this sentence. He never invents anything involving sex.
15:59:02 <shachaf> oerjan: that solution to `wisdom was p. clever
15:59:11 <oerjan> t.
16:00:02 <shachaf> `? wolfram
16:00:03 <HackEgo> Stephen Wolfram is an esolanger with too much money and power. Taneb invented him.
16:00:04 -!- password2 has joined.
16:00:13 <shachaf> ` rgrep -il wolfram wisdom
16:00:21 <HackEgo> wisdom/stephen wolfram \ wisdom/tanebvention
16:00:37 <shachaf> Hmm, I thought there was another one.
16:00:41 <oerjan> wat
16:00:45 <oerjan> ` echo hi
16:00:46 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found
16:01:07 <oerjan> how did that ` rgrep work
16:01:31 <oerjan> `unidecode `
16:01:32 <HackEgo> ​[U+0060 GRAVE ACCENT] [U+0020 SPACE]
16:01:43 <oerjan> ` rgrep -il wolfram wisdom
16:01:44 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found
16:01:55 <oerjan> AAAAA
16:02:00 <shachaf> must've been a one-off
16:02:21 <oerjan> `` echo bin/?
16:02:21 <HackEgo> bin/` bin/̊ bin/! bin/? bin/¿ bin/' bin/@ bin/؟ bin/ bin/ bin/e bin/h bin/q
16:02:25 -!- mihow has joined.
16:02:40 <oerjan> `cat bin/
16:02:40 <HackEgo> TIMEFORMAT='real: %lR, user: %lU, sys: %lS' exec bash -c -- "$1"
16:02:47 <oerjan> ah
16:03:49 <oerjan> shachaf: your scheme was foiled hth
16:04:11 <shachaf> oerjan: i was trying to take bets in the other channel about the probability of getting swatted for it
16:04:22 <oerjan> what other channel
16:04:27 <shachaf> #taneb
16:04:46 <Jafet> `file bin/
16:04:47 <HackEgo> bin/: directory
16:05:43 <oerjan> poor Jafet
16:06:15 * Taneb --> ARRAY
16:14:10 -!- Alcest has quit (Remote host closed the connection).
16:17:32 -!- Alcest has joined.
16:18:58 -!- mauris has joined.
16:19:57 * Taneb <-- ARRAY
16:20:11 <shachaf> `? array
16:20:12 <HackEgo> array? ¯\(°​_o)/¯
16:22:12 <coppro> ais523: ping
16:22:21 <ais523> coppro: pong
16:23:41 <ais523> hmm, it's weird to be pinged with no sort of followup
16:23:44 <ais523> did my pong not get through?
16:23:45 <ais523> `echo pong
16:23:48 <HackEgo> pong
16:24:08 <coppro> ais523: sorry, was just checking something
16:24:09 <coppro> pm inbound
16:25:01 -!- Wright has joined.
16:31:36 <shachaf> Taneb: there's always pandoc hth
16:32:13 <Taneb> WHY ARE YOU HOLDING THE SAME CONVERSATION WITH ME IN AT LEAST THREE DIFFERENT CHANNELS AAAAAH
16:34:11 <oerjan> Taneb: easy solution, ban him fro #taneb hth
16:34:13 <oerjan> *from
16:34:38 <shachaf> 09:07 -!- mode/#taneb [+o-o Taneb shachaf] by shachaf
16:34:38 <shachaf> 09:07 -!- mode/#taneb [-o Taneb] by Taneb
16:34:38 <shachaf> 09:07 <Taneb> NOW WHERE IS YOUR OP
16:34:40 <Taneb> oerjan, I'm not an op in #taneb, and that is not one of the three
16:34:51 <oerjan> darn
16:35:34 <shachaf> Taneb: http://pandoc.org/demo/example9/producing-slide-shows-with-pandoc.html
16:36:06 <shachaf> http://pandoc.org/demos.html
16:36:16 <Taneb> I do know what pandoc is
16:36:29 <shachaf> yes, but have you seen all the different slides it can generate
16:36:30 <shachaf> so many formats
16:36:40 <Taneb> Yeah, I checked it out the other day
16:36:44 <shachaf> 09:38 * hackagebot pandoc 1.15.0.3 - Conversion between markup formats http://hackage.haskell.org/package/pandoc-1.15.0.3 (JohnMacFarlane)
16:36:47 <shachaf> actively developed hth
16:40:33 -!- oerjan has quit (Quit: Actilope).
16:48:44 -!- Wright has quit (Ping timeout: 255 seconds).
16:52:58 -!- hppavilion1 has joined.
16:53:03 <hppavilion1> Who's online I wonder
16:54:03 <Taneb> Nobody at all
16:54:11 <hppavilion1> Interesting
16:54:15 <olsner> Who exists, I wonder
16:54:25 <hppavilion1> I think I do
16:54:48 <hppavilion1> So
16:54:58 <hppavilion1> For anyone who wasn't present
16:55:06 <hppavilion1> I successfully created an Esoteric Markup Language
16:56:18 <hppavilion1> A TURING-COMPLETE markup language, too
16:56:26 <hppavilion1> Which just shouldn't happe
16:56:26 <hppavilion1> n
16:57:21 <coppro> you mean like tex?
16:57:56 <hppavilion1> TeX wasn't meant to be esoteric
16:58:06 <hppavilion1> It's weird, but it isn't an esolang
16:58:21 <hppavilion1> And \TeX{} isn't Turing-Complete, last time I checked
16:58:44 <hppavilion1> myname: How's the Rainbonic Hello World going?
17:00:20 <HackEgo> [wiki] [[Brainfuck Markup Language]] M http://esolangs.org/w/index.php?diff=43395&oldid=43385 * Hppavilion1 * (+1) )
17:01:04 -!- password2 has quit (Ping timeout: 265 seconds).
17:01:41 -!- villasukka has joined.
17:01:46 <hppavilion1> Hi
17:02:14 <coppro> it's well-established that TeX is TC
17:02:19 <hppavilion1> Really?
17:02:23 <hppavilion1> I didn't know that
17:02:24 <hppavilion1> ...
17:02:27 <coppro> though I'm not aware of the proof
17:02:32 <hppavilion1> Oh
17:02:58 <myname> isn't latex fully based on tex?
17:03:06 <hppavilion1> Yes
17:03:11 <hppavilion1> myname!
17:03:11 <myname> if so, i wrote a bf interpreter in latex
17:03:13 <hppavilion1> Hi!
17:03:18 <hppavilion1> Oh
17:03:18 <myname> hey
17:03:20 <hppavilion1> 0.o
17:03:35 <hppavilion1> So are you still making the Rainbow Hello World?
17:04:17 <myname> well, the hardest part is tondecide what , will actually do, bit yeah
17:04:42 <hppavilion1> OK
17:04:43 <hppavilion1> Great
17:04:53 <hppavilion1> You can write it in a preprocessed language if you like
17:05:08 <myname> the hardest part in coding in latex are arrays
17:05:16 <hppavilion1> Oh
17:05:30 <Jafet> You mean tapes, right?
17:05:35 <myname> yeah
17:05:41 <hppavilion1> I'm just trying to wrap my head around the idea of something that's practically a MS Word for smart people being TC
17:05:45 <Jafet> (Arrays? What are those?)
17:05:51 <myname> the ifthenelse package makes recursion pretty easy
17:05:59 <coppro> it should be possible to write fractran in tex without excessive effort
17:06:27 <Jafet> With non-unary integers?
17:06:35 <myname> coppro: i am not sure, you'd have to have mod and div
17:06:49 <hppavilion1> Another thing I'm working on that I think'll be pretty cool:
17:06:51 <hppavilion1> Junction
17:06:57 <hppavilion1> You know the App if-this-then-that?
17:07:00 -!- nys has quit (Quit: quit).
17:07:24 <coppro> myname: it's been done in tikz
17:07:47 <myname> holy shit
17:08:08 <myname> tikz is pretty weird shit sometimes
17:09:11 <Jafet> Isn't tikz entirely implemented in tex?
17:09:41 <mauris> tikz is frightening
17:10:04 <coppro> yes
17:10:50 <Jafet> I suppose you mean a direct implementation of fractran in tex
17:12:32 <b_jonas> what? you'd need to implement bignums for that, which is somewhat complicated
17:12:59 <b_jonas> it's certainly possible, but I don't think you really want to do it
17:13:18 <b_jonas> or perhaps you'd just work directly with the prime exponents rather than the product
17:18:43 -!- mihow has quit (Quit: mihow).
17:19:09 -!- mihow has joined.
17:23:36 -!- ais523 has quit.
17:29:56 -!- Wright has joined.
17:34:58 -!- mauris_ has joined.
17:36:17 -!- hppavilion1 has quit (Ping timeout: 246 seconds).
17:38:14 -!- mauris has quit (Ping timeout: 255 seconds).
18:23:05 -!- mihow has quit (Quit: mihow).
18:27:35 -!- llue has quit (Ping timeout: 265 seconds).
18:27:37 -!- lleu has joined.
18:27:37 -!- lleu has quit (Changing host).
18:27:37 -!- lleu has joined.
19:02:26 -!- nycs has quit (Quit: This computer has gone to sleep).
19:03:50 -!- `^_^v has joined.
19:17:57 -!- villasukka has quit (Quit: Lost terminal).
19:20:09 -!- x10A94 has quit (Read error: Connection reset by peer).
19:24:20 -!- mihow has joined.
19:33:09 <HackEgo> [wiki] [[User:InputUsername]] http://esolangs.org/w/index.php?diff=43396&oldid=41729 * InputUsername * (-161) Removed things I won't finish due to laziness
19:45:32 -!- villasukka has joined.
19:48:41 -!- atrapado has joined.
19:49:28 -!- nys has joined.
20:01:28 -!- nortti has changed nick to \n.
20:01:37 -!- \n has changed nick to nortti.
20:30:47 <fowl> InputUsername is not lazy
20:30:56 <fowl> :<
20:38:09 <Taneb> Wow, I think I technically live in a school
20:38:40 <MDude> Just like the X-Men.
20:48:00 <HackEgo> [wiki] [[User:Phase]] http://esolangs.org/w/index.php?diff=43397&oldid=43324 * Phase * (+68) link my codegolf account
21:07:54 -!- Patashu has joined.
21:08:38 -!- hjulle has joined.
21:15:46 <pikhq> I am gonna have a lot of "fun" next week...
21:18:46 <pikhq> Repeat after me: "Get on I-80 W. In 1568 miles, take exit 40"
21:20:17 -!- oerjan has joined.
21:22:10 <MDude> Gotta go fast.
21:25:05 <oerjan> Get on I-80 W. In 1568 miles, take exit 40
21:25:39 <shachaf> It doesn't break on state boundaries?
21:26:01 <pikhq> shachaf: Well, why would it?
21:26:24 <shachaf> Google Maps does on I-5 S.
21:26:43 <shachaf> Besides, exits are renumbered at state borders.
21:27:00 <shachaf> So you might get confused and take the exit with the same number in the wrong state.
21:27:56 <pikhq> The actual entry is "Follow I-70 W, I-29 N and I-80 W to Zanker Rd in Santa Clara County. Take the Zanker Road exit from CA-237 W (2068 mi)", FWIW.
21:28:23 <shachaf> whoa, Zanker Rd.
21:28:36 <pikhq> ?
21:28:42 <shachaf> I used to live in Milpitas.
21:28:58 <shachaf> Approximately near one end of 237.
21:30:32 <pikhq> Mmm. The corporate apartment I'll be at is, uh, *just* outside of Milpitas.
21:31:13 <shachaf> What! You didn't get the apartments in downtown Mountain View?
21:31:31 <pikhq> Nope.
21:31:47 <shachaf> A person who was in this channel (not me) was in one of those.
21:31:48 <shachaf> p. fancy
21:32:01 <pikhq> Though there is a Google bus stop literally right there.
21:32:13 -!- AnotherTest has quit (Ping timeout: 265 seconds).
21:32:19 <shachaf> Milpitas is the scow of the bay area.
21:32:31 <pikhq> scow?
21:33:17 <shachaf> Yep.
21:33:31 <pikhq> "a wide-beamed sailing dinghy."?
21:33:54 <shachaf> Which team are you going to be on?
21:34:07 <pikhq> They haven't told me yet.
21:34:32 <shachaf> If you ever run into gmail folks, ask them what scow means.
21:34:59 * pikhq is so confused.
21:37:02 <pikhq> Huh, housing prices in Milpitas are nowhere near as crazy as they are elsewhere in the area.
21:37:38 <pikhq> Though that seems true of a lot of places that are south of the bay.
21:38:38 <shachaf> south bay, more like scowth bay
21:39:21 <tswett> `run sed -i wisdom/ngevd -e 's/tswett/tswift/'
21:39:28 <HackEgo> No output.
21:39:28 <shachaf> I guess you're planning to be car-possessing?
21:39:32 <tswett> `cat wisdom/ngevd
21:39:33 <HackEgo> ngevd is a fake wisdom entry because having an actual infinite file in wisdom/ makes all manner of stuff bloody awkward. `? ngevd is special-cased in bin/?. leave this file alone Phantom_Hoover‼ also tswift‼
21:39:40 <tswett> Pagh-feh.
21:39:46 <oerjan> wat
21:40:00 <pikhq> shachaf: Yes.
21:40:19 <pikhq> Seeing as I have a car.
21:40:26 <oerjan> `revert
21:40:36 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
21:41:00 <oerjan> `? tswett
21:41:09 <HackEgo> tswett is livin' it up with the penguins
21:41:38 <oerjan> `learn_append tswett because he's so bad at following directions.
21:41:40 <HackEgo> Learned 'tswett': tswett is livin' it up with the penguins because he's so bad at following directions.
21:42:00 <shachaf> `wisdom tswett
21:42:00 <HackEgo> tswett/tswett is livin' it up with the penguins because he's so bad at following directions.
21:42:06 <shachaf> good, good
21:42:35 -!- Patashu has quit (Ping timeout: 276 seconds).
21:42:51 <tswett> `cat wisdom/ngevd
21:42:52 <HackEgo> ngevd is a fake wisdom entry because having an actual infinite file in wisdom/ makes all manner of stuff bloody awkward. `? ngevd is special-cased in bin/?. leave this file alone Phantom_Hoover‼ also tswett‼
21:43:02 <tswett> oerjan: would you please remove my nick from wisdom/ngevd? Thanks.
21:44:12 <oerjan> `echo >
21:44:12 <HackEgo> ​>
21:44:55 <oerjan> hm wait
21:46:22 <oerjan> `` echo ' ​s' | tr ' ' 't'
21:46:23 <HackEgo> t​s
21:46:43 <oerjan> `` sed 's/tswett/t​swett/' wisdom/ngevd
21:46:44 <HackEgo> ngevd is a fake wisdom entry because having an actual infinite file in wisdom/ makes all manner of stuff bloody awkward. `? ngevd is special-cased in bin/?. leave this file alone Phantom_Hoover‼ also t​swett‼
21:46:51 <oerjan> `` sed -i 's/tswett/t​swett/' wisdom/ngevd
21:46:53 <HackEgo> No output.
21:46:56 <oerjan> hth
21:47:07 <tswett> `cat wisdom/ngevd
21:47:07 <HackEgo> ngevd is a fake wisdom entry because having an actual infinite file in wisdom/ makes all manner of stuff bloody awkward. `? ngevd is special-cased in bin/?. leave this file alone Phantom_Hoover‼ also t​swett‼
21:47:18 <tswett> ...I think that worked.
21:47:41 * oerjan has used that trick a few times before
21:47:41 <tswett> Wonderful. Thank you.
21:48:08 <tswett> `unidecode t​s
21:48:09 <HackEgo> ​[U+0074 LATIN SMALL LETTER T] [U+200B ZERO WIDTH SPACE] [U+0073 LATIN SMALL LETTER S]
21:48:57 <pikhq> Fabulous.
21:49:37 <tswett> `run echo '[' | unidecode | unidecode | unidecode | unidecode
21:49:38 <HackEgo> ​ \ close failed in file object destructor: \ sys.excepthook is missing \ lost sys.stderr
21:49:46 <tswett> ?
21:50:11 <oerjan> fancy
21:50:26 <oerjan> `` echo hi | unidecode
21:50:27 <HackEgo> No output.
21:50:39 <oerjan> i don't think it's made to take stdin
21:50:41 <tswett> Right, unidecode decodes its argument, not its input.
21:51:06 <tswett> `run unidecode $(unidecode $(unidecode $(unidecode '[')))
21:51:08 <HackEgo> ​[U+005B LEFT SQUARE BRACKET] [U+0055 LATIN CAPITAL LETTER U] [U+002B PLUS SIGN] [U+0030 DIGIT ZERO] [U+0030 DIGIT ZERO] [U+0035 DIGIT FIVE] [U+0042 LATIN CAPITAL LETTER B] [U+0020 SPACE] [U+004C LATIN CAPITAL LETTER L] [U+0045 LATIN CAPITAL LETTER E] [U+0046 LATIN CAPITAL LETTER F] [U+0054 LATIN CAPITAL LETTER T] [U+0020 SPACE] [U+0053 LATIN CAP
21:53:04 <oerjan> substitution fixpoint
21:53:51 <oerjan> there'll be a limiting character frequency given by the eigenvector of the substitution matrix
21:55:23 * oerjan wonders if the generated shift system is minimal
21:55:32 <oerjan> hm yes, obviously
21:55:50 <oerjan> it has to contain '[] ' and those generate each other
21:56:20 <oerjan> so this is fairly analogous to thue-morse
21:57:12 <oerjan> question: do you get every character that's legal in unicode descriptions
21:58:14 -!- mauris_ has quit (Ping timeout: 248 seconds).
21:58:18 <MDude> That doesn;t sound like a favorable trait to have in character descriptions.
21:58:23 <MDude> *sounds
21:58:41 <MDude> Wait, no, *doesn"t
21:58:52 <oerjan> MDude: i mean names
21:59:12 <oerjan> and it's something like capital letters, digits and a few other things
21:59:34 <oerjan> hm i guess letters have uniform names
22:00:25 <oerjan> `unidecode [U+0123456789 ]
22:00:26 <HackEgo> ​[U+005B LEFT SQUARE BRACKET] [U+0055 LATIN CAPITAL LETTER U] [U+002B PLUS SIGN] [U+0030 DIGIT ZERO] [U+0031 DIGIT ONE] [U+0032 DIGIT TWO] [U+0033 DIGIT THREE] [U+0034 DIGIT FOUR] [U+0035 DIGIT FIVE] [U+0036 DIGIT SIX] [U+0037 DIGIT SEVEN] [U+0038 DIGIT EIGHT] [U+0039 DIGIT NINE] [U+0020 SPACE] [U+005D RIGHT SQUARE BRACKET]
22:05:11 <tswett> Are there any characters in Unicode character names besides capital English letters, numerals, and spaces?
22:05:26 <oerjan> [U+0523 ] guaranteed
22:05:39 <oerjan> tswett: maybe hyphens?
22:06:01 * oerjan is not sure
22:06:56 <oerjan> `unidecode [U+0235 ]
22:06:56 <HackEgo> ​[U+005B LEFT SQUARE BRACKET] [U+0055 LATIN CAPITAL LETTER U] [U+002B PLUS SIGN] [U+0030 DIGIT ZERO] [U+0032 DIGIT TWO] [U+0033 DIGIT THREE] [U+0035 DIGIT FIVE] [U+0020 SPACE] [U+005D RIGHT SQUARE BRACKET]
22:07:20 <tswett> I can't think of a character that I would expect to have a hyphen in it.
22:07:27 <tswett> Wait, wait.
22:07:29 <tswett> `unidecode -
22:07:29 <HackEgo> ​[U+002D HYPHEN-MINUS]
22:07:32 <tswett> There we go.
22:07:52 <oerjan> very circular
22:09:11 <oerjan> ABCDEFGHI are in there, so every digit 0-9 appears
22:10:05 <pikhq> `unidecode 日
22:10:07 <HackEgo> ​[U+65E5 CJK UNIFIED IDEOGRAPH-65E5]
22:10:18 <oerjan> > sort $ nub "[U+005B LEFT SQUARE BRACKET] [U+0055 LATIN CAPITAL LETTER U] [U+002B PLUS SIGN] [U+0030 DIGIT ZERO] [U+0031 DIGIT ONE]"
22:10:20 <lambdabot> " +01235ABCDEFGIKLNOPQRSTUZ[]"
22:10:22 <oerjan> [U+0032 DIGIT TWO] [U+0033 DIGIT THREE] [U+0034 DIGIT FOUR]
22:10:24 <oerjan> [U+0035 DIGIT FIVE] [U+0036 DIGIT SIX] [U+0037 DIGIT SEVEN]
22:10:27 <oerjan> [U+0038 DIGIT EIGHT] [U+0039 DIGIT NINE] [U+0020 SPACE] [U+005D
22:10:30 <oerjan> RIGHT SQUARE BRACKET]
22:10:36 <oerjan> irssi, why don't you ever join lines when i _want_ it
22:11:46 <oerjan> > sort $ nub "[U+005B LEFT SQUARE BRACKET] [U+0055 LATIN CAPITAL LETTER U] [U+002B PLUS SIGN] [U+0030 DIGIT ZERO] [U+0031 DIGIT ONE] [U+0032 DIGIT TWO] [U+0033 DIGIT THREE] [U+0034 DIGIT FOUR] [U+0035 DIGIT FIVE] [U+0036 DIGIT SIX] [U+0037 DIGIT SEVEN] [U+0038 DIGIT EIGHT] [U+0039 DIGIT NINE] [U+0020 SPACE] [U+005D RIGHT SQUARE BRACKET] "
22:11:47 <lambdabot> " +0123456789ABCDEFGHIKLNOPQRSTUVWXZ[]"
22:12:02 <oerjan> JMY are missing.
22:12:32 <oerjan> so those won't appear, the rest will, when iterating `unidecode on one of them
22:14:13 <zzo38> How can you in a portable C code to run another program and to use the stdin/stdout of that other program?
22:34:26 -!- clog has quit (Ping timeout: 252 seconds).
22:34:33 -!- clog has joined.
22:36:10 -!- hppavilion1 has joined.
22:40:19 -!- quietello has quit (Ping timeout: 252 seconds).
22:41:55 -!- lleu has quit (Quit: That's what she said).
22:42:10 -!- lleu has joined.
22:42:10 -!- lleu has quit (Changing host).
22:42:10 -!- lleu has joined.
22:42:30 -!- erdic has quit (Ping timeout: 252 seconds).
22:42:57 -!- erdic has joined.
22:50:23 -!- Herbalist has joined.
22:50:55 -!- Herbalist has left.
23:08:20 -!- `^_^v has quit (Quit: This computer has gone to sleep).
23:12:00 <pikhq> zzo38: popen?
23:21:30 -!- atrapado has quit (Quit: Leaving).
23:24:34 <oren> pipe, fork, exec IN THAT ORDER
23:25:18 <oren> wait, define "portable"
23:25:33 <hppavilion1> RTTEINDWPL
23:25:36 <hppavilion1> Read
23:25:37 <hppavilion1> Try
23:25:38 <hppavilion1> To
23:25:39 <hppavilion1> Eval
23:25:41 <hppavilion1> If
23:25:42 <hppavilion1> Not
23:25:44 <hppavilion1> Destrow
23:25:49 <hppavilion1> *Destroy
23:25:50 <hppavilion1> World
23:25:52 <hppavilion1> Print
23:25:54 <hppavilion1> Loop
23:51:53 -!- hjulle has quit (Remote host closed the connection).
23:56:09 -!- variable has joined.
←2015-07-01 2015-07-02 2015-07-03→ ↑2015 ↑all