00:01:08 -!- spiette has quit (Quit: :qa!).
00:04:40 -!- haavardp has joined.
00:05:29 -!- diginet_ has joined.
00:07:12 -!- yorick__ has joined.
00:07:12 -!- yorick__ has quit (Changing host).
00:07:12 -!- yorick__ has joined.
00:07:33 -!- nortti_ has joined.
00:07:53 -!- toon_ has joined.
00:07:55 -!- FreeFull_ has joined.
00:07:59 -!- espes___ has joined.
00:08:00 -!- SupayrPo1ey has joined.
00:08:02 -!- b_jonas_ has joined.
00:08:03 -!- Warrigal has joined.
00:08:13 -!- kragniz_ has joined.
00:11:27 -!- ybden- has joined.
00:12:42 -!- Warrigal has quit (Changing host).
00:12:42 -!- Warrigal has joined.
00:12:44 -!- tswett has quit (Disconnected by services).
00:12:48 -!- Warrigal has changed nick to tswett.
00:12:55 -!- b_jonas has quit (*.net *.split).
00:12:55 -!- FreeFull has quit (*.net *.split).
00:12:55 -!- diginet has quit (*.net *.split).
00:12:55 -!- SupayrPoney has quit (*.net *.split).
00:12:55 -!- Yurume_ has quit (*.net *.split).
00:12:55 -!- myname has quit (*.net *.split).
00:12:55 -!- nortti has quit (*.net *.split).
00:12:55 -!- espes__ has quit (*.net *.split).
00:12:55 -!- toon has quit (*.net *.split).
00:12:55 -!- kragniz has quit (*.net *.split).
00:12:55 -!- yorick has quit (*.net *.split).
00:12:55 -!- ybden has quit (*.net *.split).
00:12:56 -!- catern has quit (*.net *.split).
00:12:56 -!- paul2520 has quit (*.net *.split).
00:12:56 -!- haavard has quit (*.net *.split).
00:12:58 -!- diginet_ has changed nick to diginet.
00:13:19 -!- kragniz_ has changed nick to kragniz.
00:14:42 -!- myname has joined.
00:16:05 -!- catern has joined.
00:20:03 -!- paul2520 has joined.
00:20:03 -!- paul2520 has quit (Changing host).
00:20:03 -!- paul2520 has joined.
00:22:10 -!- Yurume_ has joined.
00:42:58 <boily> quinthellopia, mhelloon_!
00:50:39 -!- hppavilion[1] has joined.
00:53:21 <moon_> havocbot is reloaded and remade
00:53:28 <moon_> now with gcc and debian
01:05:36 <shachaf> Cale: It's funny that "T-algebra" means something different from "F-algebra" when both F and T are variables.
01:06:17 <Cale> Well, really it's that monad-algebras mean something different from functor-algebras
01:07:02 <Cale> It's also funny that you seem to use some kind of modular offset when deciding in which channel to reply to me about a message :D
01:08:22 <shachaf> Oh, well, I don't talk in some channels.
01:08:32 <boily> hppavellon[1], hellochaf, Callo.
01:21:58 <Cale> http://www.supermegacomics.com/images/382.gif
01:27:03 <hppavilion[1]> I read today's and I got the joke wrong, but it was the joke that was used in the title text
01:28:43 -!- Kaynato has quit (Ping timeout: 250 seconds).
01:28:53 <moon_> boily turned #esoteric-blah into madville
01:29:08 <moon_> he/se >> ls /*/* 'd havocbot
01:29:26 <moon_> i stoped it and a flood came out that the !flush command wouldnt work
01:33:01 <boily> MWAH AH AH AH AH AH AH AH AH AH :D
01:51:22 -!- Phantom__Hoover has joined.
02:02:20 <boily> the canonical porthello for Phantom__Hoover is Phantom__Helloover hth
02:05:53 -!- xkapastel has quit (Quit: Connection closed for inactivity).
02:09:43 -!- Phantom__Hoover has quit (Quit: Leaving).
02:11:32 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
02:16:37 <tswett> _left_distributivity : (a b c : Element) => Multiplicative.compose a (Additive.compose b c) = Additive.compose (Multiplicative.compose a b) (Multiplicative.compose a c)
02:16:42 <tswett> Is it just me, or is that a little verbose?
02:16:51 <shachaf> `` echo wisdom/phantom*hoover
02:17:06 <HackEgo> wisdom/phantom_hoover wisdom/phantom__hoover wisdom/phantom______hoover wisdom/phantom___________________hoover wisdom/phantom________________hoover wisdom/phantom______________________________________________hoover
02:17:14 -!- Akaibu has quit (Quit: Connection closed for inactivity).
02:17:34 <fungot> boily: yes, you must attend to your master.
02:17:44 <fungot> boily: i can markov if you want to do is hang out with friends. not for initially understanding a library. it should be raining, not snowing.
02:18:06 <boily> "It should be raining. It should be raining. It should be raining. Amen. ♪"
02:22:07 <shachaf> `` echo wisdom/phantom*hoover
02:22:14 <HackEgo> wisdom/phantom_hoover wisdom/phantom__hoover wisdom/phantom_______hoover wisdom/phantom______________hoover wisdom/phantom_________________hoover wisdom/phantom_____________________________hoover
02:22:29 <tswett> `` cat wisdom/phantom*hoover
02:22:32 <HackEgo> Phantom Michael Hoover is a true Scotsman, hatheist, and completely out of the loop. \ Phantom__Hoover can't decide what an appropriate number of underscores is. \ Phantom______Hoover sucks at ghosting himself. \ It doesn't get any better than this. \ OK you got me there. \ <span accent="British">Your soundcard works perfectly.</span>
02:23:09 <shachaf> What is a hatheist? Is that related to thausible?
02:23:53 <HackEgo> A thausiblee is the recipient of a thausible action.
02:23:55 <HackEgo> hatee-hatee-hatee-hoooooooo
02:25:51 -!- boily has quit (Quit: FOOTLONG CHICKEN).
02:53:18 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds).
02:59:37 -!- iaglium has joined.
03:13:04 -!- FreeFull_ has changed nick to FreeFull.
03:13:13 <\oren\> I thought they don't believe in hathor
03:14:14 <quintopia> some dont believe in anne hathaway
03:14:37 <quintopia> she was faked in a hollywood studio...or so they say
03:14:50 <\oren\> I've only heard of anne hathaway, never seen her.
03:15:30 <quintopia> i dont know anyone who has seen her in person
03:15:51 <quintopia> maybe all those who claimed to were lying?
03:24:13 <Koen_> shouldn't a hatheist specifically *believe* in hath-things?
03:28:53 -!- Koen_ has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
03:31:27 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/med
03:37:38 -!- augur has joined.
04:11:38 -!- moon_ has quit (Ping timeout: 250 seconds).
04:15:12 -!- nortti_ has changed nick to nortti.
04:29:47 -!- Moon_ has joined.
04:30:15 <Moon_> My friend came home drunk with a beer bottle lodged in his pants, you have three guesses on why
04:31:18 <shachaf> \oren\: she died in the 17th century hth
04:32:15 <Moon_> Wrong chat and damn enter key at the same time
04:41:06 -!- Moon_ has quit (Ping timeout: 250 seconds).
04:54:15 -!- Phantom_Hoover has joined.
05:02:04 -!- Moon_ has joined.
05:17:27 -!- hppavilion[1] has joined.
05:23:36 <HackEgo> [wiki] [[Special:Log/newusers]] create * KelsonBall * New user account
05:41:20 -!- Moon_ has quit (Ping timeout: 250 seconds).
05:42:05 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: decode: not found
05:45:11 <HackEgo> [U+0068 LATIN SMALL LETTER H]
05:45:38 <HackEgo> U+0008 <control> \ UTF-8: 08 UTF-16BE: 0008 Decimal:  \ \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral)
05:46:02 <Sgeo> I don't know whether to blame SteamVR or HexChat
05:47:13 <HackEgo> [wiki] [[Symbolic Brainfuck]] N https://esolangs.org/w/index.php?oldid=47215 * KelsonBall * (+4133) Created page with "= Symbolic Brainfuck = '''Symbolic Brainfuck''' is a brainfuck derivative that adds "symbolic references" to 8 named registers, as well as adding "reference" and "dereference"..."
05:52:40 <HackEgo> [wiki] [[Symbolic Brainfuck]] https://esolangs.org/w/index.php?diff=47216&oldid=47215 * KelsonBall * (+2055) Added Hello World example.
05:54:14 <HackEgo> [wiki] [[Symbolic Brainfuck]] M https://esolangs.org/w/index.php?diff=47217&oldid=47216 * KelsonBall * (+4)
05:54:23 <HackEgo> A Chu space is just a matrix. Taneb invented them, then Chu stole his invention.
05:55:07 <shachaf> `learn A matrix is just a matrix. Taneb invented them.
05:55:15 <HackEgo> Learned 'matrix': A matrix is just a matrix. Taneb invented them.
05:55:52 <HackEgo> [wiki] [[Symbolic Brainfuck]] https://esolangs.org/w/index.php?diff=47218&oldid=47217 * KelsonBall * (+35)
05:57:32 <shachaf> `le/rn modal logic/"modal logic" means "the most common logic" (that is, classical logic).
06:00:49 <HackEgo> [wiki] [[Symbolic Brainfuck]] https://esolangs.org/w/index.php?diff=47219&oldid=47218 * KelsonBall * (+281) Added differences section
06:01:35 <HackEgo> [wiki] [[Symbolic Brainfuck]] https://esolangs.org/w/index.php?diff=47220&oldid=47219 * KelsonBall * (+5)
06:02:36 <HackEgo> "per Martin-Löf" is a common citation lazy logicians use when they don't want to prove their theorems. It rarely gets past peer review.
06:03:00 <shachaf> `learn A perfunctory proof is a category-theoretical proof that cites Per Martin-Löf.
06:03:04 <HackEgo> Learned 'perfunctory': A perfunctory proof is a category-theoretical proof that cites Per Martin-Löf.
06:03:21 <HackEgo> [wiki] [[Symbolic Brainfuck]] https://esolangs.org/w/index.php?diff=47221&oldid=47220 * KelsonBall * (-580) /* Hello World */
06:03:55 <\oren\> `learn A Tall proof is a proof with a small hole, which can only be filled by another Tall proof.
06:03:59 <HackEgo> Learned 'tall': A Tall proof is a proof with a small hole, which can only be filled by another Tall proof.
06:04:40 <\oren\> `learn A Steprans variable is a variable whose notation is variable.
06:04:44 <HackEgo> Learned 'stepran': A Steprans variable is a variable whose notation is variable.
06:05:10 <shachaf> i don't get your wisdom entries
06:05:34 <\oren\> These are things my dad named after his coworkers' idiosyncrancies
06:06:31 <shachaf> Seems a little scow to use personal idiosyncrasies in this channel.
06:06:57 <\oren\> Juris Steprans is well known among people at yorku for having variables which change letters
06:07:55 <\oren\> He'll say, suppose A is a field, with... and so in the field F, we see...
06:08:38 <\oren\> Other people do this as well, but now the phenomenon has a name
06:09:24 <\oren\> uh, are you trying to page-down?
06:09:28 <shachaf> `learn A phenomenom is a name given to a phenomenon.
06:09:32 <HackEgo> Learned 'phenomenom': A phenomenom is a name given to a phenomenon.
06:10:11 <Elronnd> \oren\: I have a laggy connection
06:10:16 <Elronnd> which sometimes results in some weird stuff
06:11:22 <\oren\> yeah. the button page down actuall sends ESC [ 6 ~
06:11:41 <\oren\> so I guess the ESC didn't go through
06:13:59 <\oren\> Hmm what if a language autocorrected misspelt names?
06:14:05 <shachaf> `le/rn_append phenomenom/The collection of them is called "phenomenomenclature".
06:14:11 <HackEgo> Learned 'phenomenom': A phenomenom is a name given to a phenomenon. The collection of them is called "phenomenomenclature".
06:17:41 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
06:25:13 -!- PinealGlandOptic has joined.
06:27:23 <\oren\> I've started flying the same spacecraft over and over
06:30:24 <HackEgo> [wiki] [[Brainfuck]] M https://esolangs.org/w/index.php?diff=47222&oldid=47048 * KelsonBall * (+137) /* Related languages */ Added Symbolic Brainfuck
06:30:27 -!- deltab has quit (Ping timeout: 246 seconds).
06:44:20 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
06:59:41 <HackEgo> "modal logic" means "the most common logic" (that is, classical logic).
07:00:12 <shachaf> rntz: i didn't realize you were such a fan of classical logic
07:03:16 -!- deltab has joined.
07:03:58 <rntz> I'm a constructivist among the classicists and a classicist among the constructivists
07:04:41 <rntz> but it's probable that I will never not like modal logic
07:05:20 <rntz> the dual of marxist logic
07:08:02 <shachaf> rntz: Do you know anything about dual-intuitionistic logic?
07:08:12 <shachaf> The person on IRC who knew about it hasn't been around in a while.
07:08:54 <rntz> no, not really
07:09:34 <shachaf> I was wondering whether it's related to Set^op.
07:10:07 <rntz> probably not? Set is a model of classical logic, after all
07:10:31 <shachaf> Well, Hask^op. Something^op.
07:11:11 <rntz> https://projecteuclid.org/euclid.ndjfl/1039886520 is this the dual intuitionistic logic you're thinking of?
07:11:13 <shachaf> Dual-intuitionistic logic has Not (Not P) be a stronger statement than P.
07:11:41 <shachaf> Yes, I think that's the one.
07:12:00 <shachaf> You have double-negation elimination but not double-negation introduction.
07:12:30 <rntz> um, classical logic also doesn't have double-negation introduction
07:12:33 <myname> in what state is P then?
07:12:43 <rntz> I mean, you can introduce double negations, but there's no *rule* to introduce them
07:13:07 <shachaf> There's no rule to eliminate them either.
07:13:15 <rntz> no, in some formulations there is
07:13:32 <rntz> that is, classical logic can be seen as precisely intuitoinistic logic plus a rule for double negation elimination
07:13:37 <shachaf> Well, you probably get it from LEM, P | ¬P
07:13:58 <rntz> that's not the *only* way to formulate classical logic, but it's *a* way
07:14:03 <shachaf> Whereas I guess in dual-intuitionistic logic you have LEM but you don't have non-contradiction, or something?
07:14:13 <rntz> it is apparently paraconsistent, yes
07:14:29 <rntz> instead of speculating, you could read a paper :P
07:14:36 <rntz> (and then explain it to me!)
07:14:43 <shachaf> I read bit of a paper a while ago.
07:15:09 <rntz> ooh, http://link.springer.com/article/10.1007%2Fs11225-005-8474-7 claims a dual of intuitionistic logic is related to popperian falsification
07:15:39 <rntz> "Whereas intuitionistic logic deals with constructive truth and non-constructive falsity," uh, what
07:15:50 <rntz> negation in intuitionistic logic is totally constructive!
07:15:58 <rntz> well, constructively destructive, at any rate
07:16:08 <rntz> although I suppose one might distinguish negation from falsehood
07:16:21 <shachaf> I mean, you prove negation in constructive logic in a way that looks a lot like "proof by contradiction".
07:16:37 <rntz> yeah, because negation is *literally* "implies contradiction" :P
07:16:46 <rntz> it's perfectly constructive: you're showing how to get contradiction from X
07:17:12 <shachaf> I wish I could remember what the paper I'm thinking of is.
07:17:15 <rntz> (this is another thing where I should just read the paper to see what it means instead of mouthing off)
07:17:32 <shachaf> Well, you have an excuse, because apparently the paper costs $40 to read.
07:17:55 <shachaf> http://philosophy.stackexchange.com/questions/11448/why-is-intuitionistic-negation-nonconstructive
07:18:12 <rntz> http://kdpu.edu.ua/shramko/files/2005_Studia_Logica_Dual_Intuitionistic_Logic_and_a_Variety_of_Negations_The_Logic_of_Scientific_Research.pdf <- "costs" "$40"
07:20:00 <shachaf> You get intuitionistic linear logic by restricting things so that there's at most one thing on the right side of the turnstile, right?
07:20:14 <shachaf> If I remember correctly you get the dual by restricting it so that there's at most one thing on the left side.
07:20:36 <shachaf> Which would make more sense to me if I had a better understanding of par, I'm sure.
07:20:37 <rntz> that seems appropriate
07:21:08 <rntz> par has a nice session-types interpretation in a one-sided setting
07:21:08 -!- toon_ has changed nick to toon.
07:21:27 <rntz> (A tensor B) is output A then B; (A par B) is input A then B. or something like that.
07:21:43 <rntz> wadler's sessions as types has more on that, I think
07:21:54 <shachaf> So does that seminar paper, I think.
07:21:57 <rntz> (well, not specifically on that. but it is a session-type interpretation in a one-sided setting)
07:22:04 <rntz> seminar paper?
07:23:06 <rntz> the dfa paper?
07:23:13 <rntz> wait, that uses *classical* linear logic?!
07:23:26 <rntz> no, it doesn't
07:23:41 <rntz> at least it doesn't look like it
07:24:12 <shachaf> Ah, I guess it's not for par.
07:24:30 <rntz> what were you thinking of?
07:25:47 <shachaf> "I highlight the importance of the notion of falsity for a semantical consideration of intuitionistic logic. One can find two principal (and non-equivalent) versions of such a notion in the literature, namely, falsity as non-truth and falsity as truth of a negative proposition. I argue in favor of the first version as the genuine intuitionistic notion of falsity"
07:26:04 <rntz> is this the shramko paper?
07:26:08 <rntz> that http://philosophy.stackexchange.com/questions/11448/why-is-intuitionistic-negation-nonconstructive mentions?
07:27:32 <rntz> hm, the abstract says "and Nelson's logic takes both truth and falsity as constructive notions"
07:27:39 <rntz> what is this Nelson's logic
07:28:17 <shachaf> Wait, there are two different PDFs.
07:29:44 <shachaf> «According to the first view, “A is true” should be understood as “A has been (actually) proved”, whereas the second view interprets this as “A is (in principle) provable (A can be proved)”. In the first case truth is essentially of a temporal character. It is not uncommon that for some sentence no actual proof was available yesterday, but today we are lucky enough to obtain such a proof (re
07:29:50 <shachaf> call Fermat’s Last Theorem or ...
07:29:52 <shachaf> ... Poincaré Conjecture). In the second case we deal with a tenseless notion — a possibility of a proof of a true sentence must always be present even if nobody knows its actual proof so far (otherwise the very notion of possibility would be destroyed).»
07:31:07 <rntz> http://plato.stanford.edu/entries/logic-connexive/
07:34:44 <shachaf> rntz: I wonder if this is related to your T,F classical logic from the other day.
07:43:17 <shachaf> rntz: Is this Popperian falsifiability related to topology?
08:18:06 -!- hppavilion[1] has joined.
08:25:09 -!- SupayrPo1ey has changed nick to SupayrPoney.
08:59:03 -!- bender__ has joined.
08:59:15 -!- bender__ has quit (Changing host).
08:59:15 -!- bender__ has joined.
08:59:30 -!- bender__ has changed nick to bender.
09:02:47 -!- oerjan has joined.
09:04:41 <hppavilion[1]> Huh, all 14 9/11 hijackers are on the US no-fly list
09:04:55 <hppavilion[1]> I mean, obviously they were terrorists who shouldn't be allowed on airplanes
09:05:30 <hppavilion[1]> I mean, is the united states particularly concerned about zombie terrorism?
09:08:59 <HackEgo> pedantic like a STASI agent traces every unknown user. but why? game? tradition? misinformation? uncivilized sports .. ultraviolant on christmas eve. (old text: wisdom/oerjan_)
09:11:20 <shachaf> Even the codu.org page is timing out.
09:14:50 <hppavilion[1]> "My website is so broken that it couldn't find the 404 page"
09:15:20 <HackEgo> <noloveinwaikiki> le/rn oerjan/pedantic like a STASI agent traces every unknown user. but why? game? tradition? misinformation? uncivilized sports .. ultraviolant on christmas eve. (old text: wisdom/oerjan_) \ <noloveinwaikiki> le/rn oerjan/pedantic like a STASI agent traces every unknown user. but why? game? tradition? misinformation? unciviliz
09:18:00 <shachaf> `` hg cat -r 8437 wisdom/oerjan > wisdom/oerjan; rm wisdom/oerjan_
09:18:41 <HackEgo> Your mysterious renouned cackling overlord emeritus oerjan is a lazy expert in future computation. Also a Precambrian Norwegian who mildly dislikes Roald Dahl with a passion. Lately when he tries to remember a word, "amortized" pops up instead. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
09:18:52 <hppavilion[1]> shachaf: You should probably check what's in wisdom/oerjan_ first
09:19:25 <HackEgo> wisdom/oerjan wisdom/oerjan_: no such file in rev 1b910db2f8a0 \ 1/1:wisdom/oerjan wisdom/oerjan_//
09:19:53 <shachaf> I guess before doesn't work very well on multiple files.
09:20:07 <shachaf> Anyway I saw the commands on codu.org
09:20:13 <oerjan> <shachaf> Oh, hagb4rd. <-- no surprises.
09:20:21 <shachaf> `` hg cat -r -2 wisdom/oerjan_
09:20:26 <HackEgo> "Your mysterious renouned cackling overlord emeritus oerjan is a lazy expert in future computation. Also a Precambrian Norwegian who mildly dislikes Roald Dahl with a passion. Lately when he tries to remember a word, 'amortized' pops up instead. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it"
09:21:09 <shachaf> hagb4rd is a very persistent troll.
09:21:22 <shachaf> We can thank Taneb for that, I guess.
09:21:47 <shachaf> i,i http://www.supermegacomics.com/index.php?i=333
09:22:16 <HackEgo> Taneb invented persistence long ago, and it's been around ever since.
09:22:56 <oerjan> it's funny, it wasn't even i who did most of the tracing last time.
09:23:08 <shachaf> hppavilion[1]: Resurrection.
09:24:13 <lambdabot> *** "amortize" wn "WordNet (r) 3.0 (2006)"
09:24:13 <lambdabot> v 1: liquidate gradually [syn: {amortize}, {amortise}]
09:24:25 <lambdabot> *** "amortization" wn "WordNet (r) 3.0 (2006)"
09:24:29 <lambdabot> n 1: the reduction of the value of an asset by prorating its
09:24:31 <lambdabot> cost over a period of years [syn: {amortization},
09:24:35 <lambdabot> 2: payment of an obligation in a series of installments or
09:24:37 <lambdabot> transfers [syn: {amortization}, {amortisation}]
09:24:55 <shachaf> the "amor ties" between two individuals are the bonds of love holding them together
09:25:05 <shachaf> n individuals, maybe i should say
09:25:41 <shachaf> I assume the kind of amortization oerjan is talking about is the algorithm analysis kind, though.
09:28:39 <oerjan> i don't know. gradual liquidation sounds like something an overlord would do.
09:28:56 <oerjan> although it's a bit of a violation of the overlord list.
09:30:23 <shachaf> I felt pretty unhelpful after all those explanations so I figured I would say something helpful for once.
09:30:55 <shachaf> i've been duly reprimanded, though
09:31:24 * oerjan did not notice the reprimand.
09:31:49 -!- augur has quit (Remote host closed the connection).
09:31:51 <shachaf> Did you see all my wisdom entries?
09:32:15 <shachaf> `sled wisdom/oerjan//s/over/zombie over/
09:32:17 -!- augur has joined.
09:32:20 <HackEgo> wisdom/oerjan//Your mysterious renouned cackling zombie overlord emeritus oerjan is a lazy expert in future computation. Also a Precambrian Norwegian who mildly dislikes Roald Dahl with a passion. Lately when he tries to remember a word, "amortized" pops up instead. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
09:32:57 <shachaf> Hmm, if you become amortized now, would you be a zombie emeritus overlord?
09:33:14 <oerjan> shachaf: no i did not see them.
09:33:17 -!- heroux has quit (Ping timeout: 244 seconds).
09:33:32 -!- heroux has joined.
09:34:33 <shachaf> `` hoag wisdom/oerjan | tail -n5
09:34:46 <HackEgo> <FreeFull> run rm -rf wisdom \ <shachaf> run echo "Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian." >wisdom/oerjan \ <shachaf> revert 0 \ <shachaf> run rm -rf wisdom/* \ Initial import.
09:34:48 <shachaf> Why did I say you were a lying Norwegian?
09:36:39 -!- augur has quit (Ping timeout: 250 seconds).
09:41:54 <oerjan> obviously you were lying hth
10:23:40 <int-e> `` find wisdom wisdom -type f | wc -l
10:23:45 -!- PinealGlandOptic has quit (Ping timeout: 276 seconds).
10:26:13 <hppavilion[1]> I'm surprised no one in the 0.01% is lobbying the government to allow ordinal worth
10:27:29 -!- b_jonas_ has changed nick to b_jonas.
10:28:42 <HackEgo> hppavillion[1]? ¯\(°_o)/¯
10:28:53 <HackEgo> hppavilion is the generator including, but not limited to, hppavilion[1], hppavilion[2], and hppavilion[42]. hppavilion is of length 37-42i-28j+4k-28ij+38ik+62jk+20ijk
10:29:02 <shachaf> `` find wisdom -type f | wc -l
10:29:19 <HackEgo> int-e är inte svensk. Hen kommer att spränga solen. Hen står för sig själv.
10:29:20 <HackEgo> wisdom/hppavilion \ wisdom/hppavilion1 \ wisdom/hppavilion[1] \ wisdom/hppavilion[42]
10:29:47 <oerjan> there appears to be quite a bit of wisdom.
10:30:01 <HackEgo> Being clever is different from being wise, but they are indistinguishable in sufficiently large quantities.
10:30:02 <int-e> anyway, hppavilion[1], I find your ideas a bit too random even for this channel.
10:30:47 <shachaf> The saying I know is: "A clever person can get out of trouble that a wise person doesn't get into."
10:31:15 <hppavilion[1]> shachaf: Yes, which is part of why they're indistinguishable- nothing comes of the trouble
10:33:50 <HackEgo> Cats are cool, but should be illegal.
10:37:42 <HackEgo> tac is /hackenv/bin/tac \ tac is /usr/bin/tac
10:37:44 <HackEgo> #!/bin/bash \ for file do mapfile -t lines < "$file"; for (( i = ${#lines[@]} -1; i >= 0; i-- )) do printf "%s\n" "${lines[i]}"; done done
10:37:49 <shachaf> `` echo $'a\nb' | /usr/bin/tac
10:38:19 <shachaf> I don't know what it's doing but it doesn't seem to work.
10:38:34 <shachaf> `` hoag wisdm/oerjan | tac
10:38:56 <shachaf> Do you think it should stick around?
10:39:01 <izabera> you broke a perfectly valid script that didn't read stdin
10:39:09 <shachaf> Apparently /usr/bin/tac doesn't work either.
10:39:24 <shachaf> If it doesn't read stdin then it's not a perfectly valid script.
10:39:49 <int-e> `` ( echo a; echo b ) | tac
10:40:00 <izabera> it had a different purpose
10:40:06 <int-e> does hoag do anything odd?
10:40:09 <izabera> `` echo '#!/bin/bash' > bin/tac
10:40:29 <shachaf> Can you not make it shadow /usr/bin/tac if it has a different purpose?
10:40:32 <izabera> `` echo '(( $# )) || set /dev/stdin' >> bin/tac
10:40:45 <izabera> `` echo 'for file do mapfile -t lines < "$file"; for (( i = ${#lines[@]} -1; i >= 0; i-- )) do printf "%s\n" "${lines[i]}"; done done' >> bin/tac
10:41:07 <HackEgo> 10 \ 9 \ 8 \ 7 \ 6 \ 5 \ 4 \ 3 \ 2 \ 1
10:41:08 <shachaf> Making four separate commits to write one file?
10:41:28 <int-e> `` seq 10 | bin/tac
10:41:30 <HackEgo> 10 \ 9 \ 8 \ 7 \ 6 \ 5 \ 4 \ 3 \ 2 \ 1
10:41:36 <int-e> `` seq 10 | /usr/bin/tac
10:41:37 <HackEgo> 10 \ 9 \ 8 \ 7 \ 6 \ 5 \ 4 \ 3 \ 2 \ 1
10:41:59 <shachaf> `` echo -ne 'a\nb' | /usr/bin/tac
10:43:04 <HackEgo> /hackenv/bin/tac: line 3: --help: No such file or directory
10:43:08 <HackEgo> /hackenv/bin/`: line 4: /bin/tac: No such file or directory
10:43:14 <HackEgo> Usage: /usr/bin/tac [OPTION]... [FILE]... \ Write each FILE to standard output, last line first. \ With no FILE, or when FILE is -, read standard input. \ \ Mandatory arguments to long options are mandatory for short options too. \ -b, --before attach the separator before instead of after \ -r, --regex interpret the se
10:43:29 <shachaf> `` echo -ne 'a\nb' | /usr/bin/tac -b
10:43:37 <shachaf> If you want to write your own tac, why not give it a different name?
10:43:48 <shachaf> `` hoag wisdom/oerjan | bin/tac
10:43:53 <HackEgo> Initial import. \ <shachaf> run rm -rf wisdom/* \ <shachaf> revert 0 \ <shachaf> run echo "Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian." >wisdom/oerjan \ <FreeFull> run rm -rf wisdom \ <oerjan> revert \ <FreeFull> revert 0 \ <oerjan> revert 999999999 \ <FreeFull> revert 4 \ <elliott> revert 1492 \ <ais52
10:43:55 <shachaf> `` hoag wisdom/oerjan | /usr/bin/tac
10:43:59 <HackEgo> Initial import. \ <shachaf> run rm -rf wisdom/* \ <shachaf> revert 0 \ <shachaf> run echo "Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian." >wisdom/oerjan \ <FreeFull> run rm -rf wisdom \ <oerjan> revert \ <FreeFull> revert 0 \ <oerjan> revert 999999 \ <FreeFull> revert 4 \ <elliott> revert 1492 \ <ais523>
10:44:09 <izabera> wait let me find the problem that prompted me to write that
10:44:22 <int-e> `` echos wisdom/*/
10:44:24 <HackEgo> /hackenv/bin/`: line 4: echos: command not found
10:44:34 <HackEgo> wisdom/le/ wisdom/¯\(°_o)/ wisdom/¯\(°_o)/
10:44:36 <HackEgo> wisdom/brain \ wisdom/quebec \ wisdom/opposite \ wisdom/false \ wisdom/delve \ wisdom/spaghetti stack \ wisdom/webcarting \ wisdom/syntactic sugar \ wisdom/québec \ wisdom/⊥ \ wisdom/pk
10:44:46 <shachaf> `` rgrep -lP '\btac\b' wisdom
10:44:59 <shachaf> `` rgrep -lP '\btac\b' bin
10:45:13 <HackEgo> #!/bin/sh \ find /var/irclogs/_esoteric -mindepth 1 -maxdepth 1 -type f -name '????-??-??.txt' | sort -r | xargs -d'\n' -r tac -- | grep "^..:..:..: <$1>" | head -n 1
10:46:00 <izabera> `` /usr/bin/tac <(seq 3) <(seq 3)
10:46:14 <izabera> i don't remember for sure but it was related to this i think
10:46:20 <HackEgo> /usr/bin/tac: cannot create temporary file in `/tmp': Invalid argument \ 3 \ 2 \ 1
10:46:46 <shachaf> You wrote a different program.
10:46:57 <shachaf> I suggest giving it a different name.
10:47:15 <izabera> for all sane purposes works exactly like tac and does the right thing in a few cases where the actual tac is broken
10:47:58 <izabera> `` rm bin/tac and fuck you
10:48:02 <HackEgo> rm: cannot remove `and': No such file or directory \ rm: cannot remove `fuck': No such file or directory \ rm: cannot remove `you': No such file or directory
10:48:12 <shachaf> I was thinking more `mv bin/tac bin/tax
10:48:34 <int-e> another traditional name would be yatac
10:48:37 <shachaf> I've been irritated by the lack of working tac in HackEgo for months now.
10:48:56 <shachaf> I finally looked into it and realized it wasn't caused by what I thought.
10:49:02 <int-e> (ironically cc isn't exactly a compiler compiler, despite "yacc" suggesting otherwise)
10:49:21 <izabera> it can compile compilers tho
10:49:34 -!- bender has quit (Read error: Connection reset by peer).
10:49:38 <izabera> maybe that was its original intended purpose
10:49:48 <izabera> then people realized it can also be used for regular programs
10:49:58 -!- bender has joined.
10:50:13 <shachaf> int-e: Oh, I get it, "attack".
10:50:15 <int-e> in an alternative universe, maybe
10:50:21 <shachaf> I was thinking it was a DNA thing.
10:50:25 <int-e> shachaf: also , twice "tac".
10:50:38 <b_jonas> int-e: and cpp isn't a compiler for cplusplus
10:50:39 <int-e> haha, I didn't see that :)
10:54:24 <shachaf> Hmm, "guanine" is derived from "guano".
11:02:56 <oerjan> well it sounds like the place for a zombie attack hth
11:04:49 <oerjan> @tell boily <boily> MWAH AH AH AH AH AH AH AH AH AH :D <-- excuse me, there appears to be a slight problem with your sanity...
11:09:41 -!- Koen_ has joined.
11:10:18 <hppavilion[1]> There are not nearly enough velociraptors equipped with lasers in space
11:10:39 -!- Phantom_Hoover has joined.
11:13:19 <Koen_> wouldn't it be more efficient to equip them with reactors?
11:15:46 <HackEgo> stepran//A Steprans variable is a variable whose notation is variable.
11:15:56 <oerjan> `` mv wisdom/stepran{,s}
11:16:30 <HackEgo> steprans//A Steprans variable is a variable whose notation is variable.
11:17:13 <hppavilion[1]> I'm glad someone just mentioned it so I can watch it more
11:17:16 -!- boily has joined.
11:22:58 <lambdabot> oerjan said 18m 8s ago: <boily> MWAH AH AH AH AH AH AH AH AH AH :D <-- excuse me, there appears to be a slight problem with your sanity...
11:23:12 <boily> my sanity is perfectly functional. I am sane hth
11:27:17 -!- astslash has joined.
11:27:39 <HackEgo> astslash: 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:27:43 -!- Koen__ has joined.
11:31:15 -!- Koen_ has quit (Ping timeout: 258 seconds).
11:31:21 <b_jonas> boily: is that like a boojum?
11:33:49 <boily> b_jellonas. these terms are unknown to me. most likely they are alike.
11:38:03 -!- yorick__ has changed nick to yorick.
11:45:14 <b_jonas> do you happen to know why the heck ImageMagick's official windows installer binaries are often broken these days?
11:45:58 <b_jonas> I like ImageMagick, but if half of their windows builds just fail mysteriously, that makes them pretty difficult to use.
11:46:05 <b_jonas> They didn't used to be like this.
11:52:38 <hppavilion[1]> From the people who brought you Stormfront or SJW: ____________
11:59:45 <HackEgo> algebraic chess notation//Algebraic chess notation is not a notation for algebraic chess.
12:13:38 <HackEgo> arithmetical chess notation? ¯\(°_o)/¯
12:13:47 <HackEgo> geometric chess notation? ¯\(°_o)/¯
12:14:26 <HackEgo> Chess is a complex boardgame, where players exchange unclear royal steaks until they decide which of them has lost. The game is recorded through the Gringmuth Moving Pineapple Notation.
12:14:29 <Taneb> Algebraic chess is chess that is also an algebraic variety, such that moves are given by regular functions on the variety
12:14:36 <boily> wait. pawn was removed? :(
12:15:19 -!- gamemanj has joined.
12:19:18 <hppavilion[1]> I mean, there's probably a video game based on the movie
12:21:31 -!- boily has quit (Quit: TAKE CHICKEN).
12:23:57 <hppavilion[1]> You can REALLY tell a place is fucked up when it is a /democratic people's republic/
12:32:47 <int-e> . o O ( or if it has /united/ in its name... )
12:34:32 <oerjan> hppavilion[1]: i think the word "democratic" alone is a pretty bad sign. i make an exception for Greece. oh wait...
12:35:03 <oerjan> (technically Greece uses the noun iirc)
12:35:16 <int-e> perhaps with the exception of the "United Mexican States"
12:35:35 <int-e> (I didn't know *that* official name)
12:37:20 <oerjan> i'm going with "never existed"
12:37:41 <oerjan> `le/rn pawn/*YOU* are a pawn. *MWAHAHAHAHA*
12:49:41 <b_jonas> HackEgo: yes, it's the people that are democratic, not the republic
13:00:37 -!- oerjan has quit (Quit: Later).
13:00:51 -!- AnotherTest has joined.
13:31:29 <izabera> a friend of mine made a fuck machine
13:31:38 <izabera> it's an arduino in a box, with a button
13:31:45 <izabera> you press the button and it says fuck
13:35:42 <MDude> Amazing technology.
13:39:26 <gamemanj> also, can I crowdfund a private use character, U+F800?
13:40:04 <gamemanj> (Displays as on your system.)
13:40:47 <gamemanj> hppavilion[1]: I can't tell what you're seeing
13:41:21 <HackEgo> U+F800 - No such unicode character name in database \ UTF-8: ef a0 80 UTF-16BE: f800 Decimal:  \ () \ Uppercase: U+F800 \ Category: Co (Other, Private Use) \ Bidi: L (Left-to-Right)
13:41:32 <int-e> hppavilion[1]: it's something your font's designer did
13:41:47 <izabera> hppavilion[1]: is it \oren\'s ?
13:41:51 <int-e> hppavilion[1]: so pasting it won't help... we'll need a screenshot
13:42:07 <hppavilion[1]> int-e: I thought gamemanj was confused about what I was referring to
13:43:00 <hppavilion[1]> gamemanj: Good job using a low-enough-res image that it's illegible
13:43:08 <izabera> gamemanj: what is it, a screenshot for ants?
13:43:17 <gamemanj> No biscuit for that screenshot program.
13:43:30 <hppavilion[1]> gamemanj: Also, why the hell are you running literally the same set of programs that I'm always running?
13:44:24 <hppavilion[1]> gamemanj: Oh, that's another Jetbrains IDE I guess
13:44:34 <hppavilion[1]> It looks the same as PyCharm because they use the same UI layout
13:45:44 <gamemanj> http://i.imgur.com/9AG0fBL.png
13:46:45 <gamemanj> it's the difference between the "i." and no "i."
13:47:14 <gamemanj> I just realized I already... Ok, anyone who wants to see the full screenshot just refresh. I'm confused.
13:48:05 <hppavilion[1]> \oren\: Why does the lookup of heart letters not include umlautic letters?
13:48:29 <gamemanj> For future reference: "copyright ID" is part of "copyright IDEA" (I was trying to figure out how to get the Copyright module to mass-copy the same notice all over a project)
13:49:04 <gamemanj> "MessageBoxA" is an old tab and semi-related (Figure out what the software does and that should help)
13:49:22 <hppavilion[1]> God, when looking for something in an image I always consider ctrl+f for a nanosecond
13:49:27 <gamemanj> And the rest you should be able to figure out yourself
13:50:18 <int-e> hmm, I can honestly say that I have no IDEA.
13:51:10 <int-e> mixing java, nasm and gtk... sounds fun.
13:51:41 <int-e> and is "linearizing" some sort of topological sorting?
13:52:08 <gamemanj> int-e: "linearizing" is my "I may as well name it something" way of putting "Making the address in the file equal to the RVA"
13:52:47 <int-e> hppavilion[1]: "Between 50 and 70 billion cells die each day due to apoptosis in the average human adult." hth
13:53:55 <gamemanj> Because 1. it's more convenient to edit that way, and 2. certain assembler/patcher programs have this habit of subtracting 0x400000 and otherwise patching raw, which is fine when .text is at 0x1000.
13:53:57 <int-e> gamemanj: (connecting dots at random) oh you're still pushing bytes?
13:54:06 <hppavilion[1]> int-e: Yes, when I say a little piece of me died I mean on top of the 50-70 billion
13:54:20 <gamemanj> int-e: If you didn't read the class list...
13:54:29 <gamemanj> int-e: PESection, PESectionBuilder, ResourceImage.
13:54:35 <int-e> gamemanj: I did, it just didn't ring any bells
13:54:44 <int-e> and I'm too lazy to google
13:55:04 <int-e> I have to admit that PESection could've worked.
13:55:51 -!- ybden- has changed nick to ybden.
13:56:00 <int-e> But basically all I know about PE executables is that they exist and are used in Windows (and have been there since ages).
13:58:43 <hppavilion[1]> "A free citizen has all of the rights of a US citizen while not following any of their laws"
13:59:11 <hppavilion[1]> Honestly, https://www.youtube.com/watch?v=3zHRQn_IShw is evidence that cops average to /more/ peaceful than your average american
14:04:22 <hppavilion[1]> Like, even if every other cop in the country was literally a serial killer
14:05:10 <int-e> averages don't make the press
14:07:55 <hppavilion[1]> Fuck the New World Order, I want to go back to the Old World Order
14:08:37 <b_jonas> hppavilion[1]: how about a New New World Order?
14:08:37 <FreeFull> hppavilion[1]: That cop has maxed out his patience stat, but I don't think one good cop instantly absolves all the bad ones either
14:09:14 <hppavilion[1]> FreeFull: It doesn't absolve them, but it skews the average
14:09:39 <hppavilion[1]> FreeFull: The average person hasn't orchestrated a racial genocide, but that doesn't mean those who did are absolved
14:09:54 <b_jonas> also, second detection of gravitational wave event was announced today
14:10:55 <hppavilion[1]> b_jonas: Perhaps the aliens are trying to remove us from the universe?
14:10:56 <b_jonas> now build a couple of more earth-based detectors so that the locations can be found more easily, then also build some space-based detectors
14:11:18 <HackEgo> metallic hydrogen? ¯\(°_o)/¯
14:30:34 -!- user32 has joined.
14:32:53 -!- spiette has joined.
14:33:55 -!- user32 has quit (Client Quit).
14:39:01 -!- moon_ has joined.
14:40:01 -!- Sgeo has quit (Ping timeout: 240 seconds).
14:46:25 <hppavilion[1]> I want a counter sign that says "It has been [x] days since someone updated this sign"
14:46:50 <moon_> harhar, ask the company 'Basic Millworks' i beleive its on ebay
14:47:00 <moon_> proffessional looking signs :P
14:51:22 <b_jonas> hppavilion[1]: http://www.xkcd.com/363/ ?
14:53:09 <hppavilion[1]> Huh, just as I mentioned that I got to the good part of https://www.youtube.com/watch?v=zfdxqRXM6Sc&list=PLA1F18BC2CFDB46FF&index=29
14:53:14 <moon_> buy it in wood from Basic Millworks if you do want it
14:53:27 <moon_> it will come prestained
14:53:37 <moon_> basically usable from the start
15:00:28 -!- J_Arcane has joined.
15:17:52 -!- `^_^ has joined.
15:24:02 <b_jonas> are they fools or something?
15:26:10 <moon_> mind setting up a swap on the new hbot?
15:27:13 <b_jonas> moon_: why don't you just add a proper swap partition (whether on a separate hard disk or an existing one)? that would be much better than a swap file, I just didn't want to risk doing it from the inside, but it's easier from the outside.
15:27:47 <b_jonas> moon_: add a swap partition, add it to fstab, swapon -a
15:28:04 <b_jonas> add a swap partition, mkswap, add it to fstab, swapon -a
15:30:45 -!- Koen_ has joined.
15:31:24 -!- Sgeo has joined.
15:33:40 -!- Koen__ has quit (Ping timeout: 272 seconds).
15:42:38 <moon_> b_jonas: thx, i added 2 gb of SWAP to it
15:52:46 -!- moon_ has quit (Ping timeout: 250 seconds).
15:55:00 -!- aloril has quit (Ping timeout: 246 seconds).
16:05:00 -!- aloril has joined.
16:06:39 -!- bender has quit (Ping timeout: 250 seconds).
16:44:49 -!- Koen_ has quit (Remote host closed the connection).
16:59:52 <\oren\> my phones ui process just segfaulted
17:04:41 <HackEgo> [wiki] [[Symbolic Brainfuck]] M https://esolangs.org/w/index.php?diff=47223&oldid=47221 * KelsonBall * (+105)
17:05:26 <b_jonas> \oren\: um, how can you tell that?
17:05:37 <b_jonas> I mean, how did you debug what happened if there's no ui?
17:05:46 <b_jonas> did it get saved to a log persistent over reboot or something?
17:13:01 <\oren\> the ui rebooted and said an error toast about android.ui.something having a segfault
17:14:09 <\oren\> also my stupid macbook wont connect to the stupid vpn again argh
17:15:59 <\oren\> my phone on the other hand connects just fine...
17:19:49 -!- qrf has left.
17:27:11 -!- astslash has quit (Quit: This computer has gone to sleep).
17:34:51 <HackEgo> [wiki] [[Symbolic Brainfuck]] https://esolangs.org/w/index.php?diff=47225&oldid=47223 * KelsonBall * (+2278) /* Hello World */ Added in depth explanation of example program.
17:35:48 <HackEgo> [wiki] [[Symbolic Brainfuck]] M https://esolangs.org/w/index.php?diff=47226&oldid=47225 * KelsonBall * (+0) /* Hello World */
17:57:40 -!- MoonyTheDwarf has joined.
17:58:31 -!- augur has joined.
18:01:19 -!- Koen_ has joined.
18:06:15 <\oren\> uhh what does hbot do?
18:10:17 <MoonyTheDwarf> its havocbot, a debian linux shell bot, it has a few users as of now
18:12:56 -!- AnotherTest has quit (Ping timeout: 250 seconds).
18:14:53 -!- AnotherTest has joined.
18:16:11 <\oren\> i wonder how hard it would be to make a program that compiles shell scripts into native executables
18:17:30 -!- MoonyTheDwarf has quit (Ping timeout: 250 seconds).
18:19:09 <\oren\> iow it would convert them into a program with a bunch of forks dup2s and execs
18:20:35 <gamemanj> well, you could do it without invoking the C compiler if you were crazy enough
18:21:52 <HackEgo> HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. HackEgo is the slowest bot in all Mexico!
18:22:35 <hppavilion[1]> `learn HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you assume a spherical cow in a vacuum. HackEgo is the slowest bot in all Mexico!
18:22:40 <HackEgo> Relearned 'hackego': HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you assume a spherical cow in a vacuum. HackEgo is the slowest bot in all Mexico!
18:22:47 <\oren\> well i wonder how much of a typical configure script spends being parsed...
18:23:55 <b_jonas> `bardsworthlist 2016-06-16
18:23:57 <HackEgo> bardsworthlist 2016-06-16: b_jonas
18:24:01 <b_jonas> wow, two updates so close to each other
18:29:01 <shachaf> Maybe the list shoudl just print the current date by default.
18:29:13 <gamemanj> now, time to read my wisdom entry...
18:29:18 <gamemanj> in an absurdly overcomplicated manner
18:29:20 <gamemanj> `cat wisdom/*gamemanj* > /dev/tcp/gamemanj.duckdns.org/25561
18:29:22 <HackEgo> cat: wisdom/*gamemanj* > /dev/tcp/gamemanj.duckdns.org/25561: No such file or directory
18:29:32 <gamemanj> ``cat wisdom/*gamemanj* > /dev/tcp/gamemanj.duckdns.org/25561
18:29:34 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `cat: not found
18:29:37 <gamemanj> `` cat wisdom/*gamemanj* > /dev/tcp/gamemanj.duckdns.org/25561
18:29:38 <HackEgo> /hackenv/bin/`: line 4: gamemanj.duckdns.org: Name or service not known \ /hackenv/bin/`: line 4: /dev/tcp/gamemanj.duckdns.org/25561: Invalid argument
18:30:31 <shachaf> Why did you rewrite HackEgo?
18:35:32 -!- Kaynato has joined.
18:40:12 <hppavilion[1]> shachaf: Because there were not enough spherical cow jokes
18:40:43 <shachaf> I think there were too many already.
18:40:51 -!- MoonyTheDwarf has joined.
18:41:09 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wiser: not found
18:41:11 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/echo-p
18:41:14 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/mk
18:41:16 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/mkx
18:41:47 -!- Koen_ has quit (Remote host closed the connection).
18:42:20 <shachaf> I suggest putting that joke somewhere else if you think it's necessary.
18:42:37 <b_jonas> ``` echo $'#!/bin/sh\n''bin/\? "$@" && echo -n " Taneb invented it."' > bin/wiser && chmod a+x bin/wiser
18:42:52 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
18:42:52 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wiser: not found
18:43:01 <shachaf> b_jonas: I Don't think that ought to be automated.
18:43:25 <HackEgo> ls: cannot access bin/wiser: No such file or directory
18:43:39 <HackEgo> patching file wisdom/hackego
18:43:42 <shachaf> I didn't intend to revert it, though.
18:44:05 <b_jonas> ``` echo $'#!/bin/sh\n''bin/\? "$@" && echo -n " Taneb invented it."' > bin/wiser && chmod a+x bin/wiser && echo " written"; echo " done"
18:44:09 <shachaf> Even if that was automated, using ? isn't the right thing to do.
18:44:25 <HackEgo> HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. HackEgo is the slowest bot in all Mexico! \ Taneb invented it.
18:44:30 <HackEgo> Norway is the suburb capital of Sweden. It's where the Nobel Peace Prize is announced. \ Taneb invented it.
18:44:31 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
18:44:58 <b_jonas> shachaf: yes, it needs a more refined definition, one that strips the unnecessary newline, and doesn't add a second copy if the wisdom is already wise
18:45:26 <shachaf> Oh, it doesn't actually overwrite the file.
18:50:10 -!- Koen_ has joined.
19:26:54 -!- hwpplayer1 has joined.
19:35:37 -!- hwpplayer1 has quit (Quit: Leaving.).
19:55:52 -!- AnotherTest has quit (Ping timeout: 272 seconds).
20:01:33 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
20:04:05 -!- spiette has quit (Ping timeout: 260 seconds).
20:16:25 -!- AnotherTest has joined.
20:16:37 -!- hppavilion[1] has joined.
20:26:14 -!- MoonyTheDwarf has changed nick to moon_.
20:31:31 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
20:36:18 * moon_ slaps Elronnd around a bit with a large trout
20:38:36 * moon_ slaps myname around a bit with a large trout
20:40:15 * moon_ replaces the trout with a fishbot
20:42:56 <gamemanj> excuse me, but I'm a representative of the trout worker's union
20:43:05 <gamemanj> it seems you are replacing your trout staff with fishbots
20:43:17 <gamemanj> and they, as trout, consider this to be a rather anti-trout action
20:43:32 * moon_ brutally slaps gamemanj with a fishbot
20:44:01 * moon_ fires water at gamemanj
20:44:33 * moon_ wastes a beat the boss 4 heart on gamemanj
20:44:46 -!- EX_ has joined.
20:44:56 -!- EX_ has left.
20:45:04 * moon_ slaps ex with a fishbot
20:45:16 <gamemanj> as you can see EX_ was wise enough to leave
20:45:21 <gamemanj> before being slapped with a fishbot
20:45:27 <gamemanj> also, BTW, you only slapped a clone of me
20:45:43 * moon_ slaps gamemanj with a fishbot
20:46:04 <gamemanj> ...another clone. Did I mention that I get insurance money to make more clones every time you do that?
20:46:29 * moon_ slaps all the gamemanjs with a fishbot
20:46:56 * gamemanj is still alive (in a bunker somewhere in north-east Hull), but the clones are dead
20:47:35 <moon_> Why are we at war in #esoteric?
20:47:45 <gamemanj> because you like slapping people with fishbots
20:48:03 <gamemanj> and anyway, have you noticed no offensive on my part yet?
20:48:31 * gamemanj un-shields a Dramatic Shielded Button (tm)
20:48:40 * gamemanj then lowers his finger to press it
20:49:18 * gamemanj (seeing moon_ eat the fake button the clone was holding on a remote screen), presses the REAL button.
20:49:38 * gamemanj then watches as a tractor beam sends the moon_ out of Earth's orbit.
20:50:07 * moon_ flys back and hits earth
20:50:36 * gamemanj notices a splat moon_ on the bunker's windshield, and (remotely, of course) wipes it off with royal water.
20:50:54 <moon_> But im the moon >:
20:51:09 <gamemanj> (if you're the moon then you destroyed earth and probably yourself)
20:51:29 <moon_> ik, im kidding just to get a long explanation.
20:51:54 <gamemanj> (ALL EARTH LIFE NIL. MOON_ NIL. NOBODY WINS.)
20:52:11 <gamemanj> Oh, flip, moon_ stole my cloning technology while looking through my windshield!
20:52:31 * moon_ has millions of finger biting clones
20:52:47 * moon_ the gamemanj's are covered in fingerbiting clones, with fishbots
20:52:48 * gamemanj attempts to arrange a peace treaty with moon_
20:52:59 <gamemanj> please, we both have infinity + 1 clones
20:53:16 <gamemanj> you don't hit me with any fishbots and I won't try to kill your clones
20:53:34 * moon_ uses his clones to make a new moon
20:54:18 * gamemanj is happy with this peace treaty, and intends to discuss cloning theory with moon_ sometime while drinking tea
20:54:19 <moon_> *Somewhere else in a few years* The ball of flesh is really nice tonight
20:54:59 * moon_ is genetically wierd
20:55:29 * gamemanj doesn't really care, the BoF is better than the WoF - for one, it doesn't try to kill anyone
21:04:25 <moon_> Mmm frozen raspberrys
21:33:08 -!- LexiciScriptor has joined.
21:42:29 -!- MoonyTheDwarf has joined.
21:44:33 -!- moon_ has quit (Ping timeout: 240 seconds).
21:50:26 <gamemanj> you know your ide has turned against you when it says that variable "x" should not be passed to parameter "y"... except there's only one parameter to the function.
21:51:07 <gamemanj> (And it's called "y" because that's what the IDE set it as when the function was magically created.)
21:53:06 <shachaf> I suggest that #esoteric-blah is better for this conversation.
21:54:09 <myname> are you one of these people that assume people have white background for irc?
21:54:13 <int-e> is MoonyTheDwarf related to moon_?
21:54:42 <myname> yeah, the relation is reflexive, symmetric and transitive
21:55:25 -!- MoonyTheDwarf has changed nick to moon_.
21:55:32 <moon_> yea, i forgot to change my nick
21:55:33 <int-e> though I guess the fact that "rainbow" has 7 letters deserves a honorable mention.
21:55:49 <int-e> shachaf: a guess, by myname's reaction.
21:56:03 <moon_> I certainly do myname
21:56:25 <myname> moon_: let me assure you, it's a false assumption
21:56:41 <myname> therefore, your r is black letters on black background for me
21:57:28 -!- gamemanj has quit (Ping timeout: 272 seconds).
21:57:48 <myname> slightly less horrible
21:59:46 <moon_> qwertyuiop[]\asdfghjkl;'zxcvbnm,./
22:00:27 <int-e> `` rainbow <<<rainbow
22:02:30 <int-e> `` cat <<<'a standard bash feature for feeding input to programs (also found in zsh, I do not know where it originated)'
22:02:32 <HackEgo> a standard bash feature for feeding input to programs (also found in zsh, I do not know where it originated)
22:12:56 <shachaf> my irc client has scriptable rainbows hth
22:12:59 <int-e> that's the best approximation I could find (and I typed that manually)
22:14:34 <int-e> (typing ^C in irssi will insert a literal ^C, so mirc color codes can be entered that way)
22:14:49 -!- asie has quit (Quit: WeeChat 1.5).
22:15:15 <int-e> (other clients may simply terminate if you do that...)
22:16:10 <moon_> I think ASIE did it?
22:20:47 <int-e> maybe, though apparently there's an add-on for weechat that uses ^C for inserting color codes...
22:21:40 <int-e> ...which suggests that maybe it doesn't terminate the program
22:24:44 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:25:01 -!- mpan has joined.
22:25:14 -!- mpan has left.
22:27:16 <HackEgo> Rainbows are spectral creatures said to be powered by the Daystar.
22:27:49 <int-e> UserFriendly reference, hmm
22:29:35 -!- spiette has joined.
22:33:43 <int-e> ah it's actually straightforward to find http://ars.userfriendly.org/cartoons/?id=19991208
22:35:17 -!- spockers has quit (Quit: My MacBook has gone to sleep. ZZZzzz…).
22:36:18 -!- spockers has joined.
22:39:14 -!- dnm has quit (Ping timeout: 250 seconds).
22:44:49 -!- MDude has quit (Ping timeout: 252 seconds).
22:46:37 -!- LexiciScriptor has quit (Quit: LexiciScriptor).
22:49:49 -!- MDude has joined.
23:09:54 -!- MDead has joined.
23:12:31 -!- MDude has quit (Ping timeout: 240 seconds).
23:12:39 -!- MDead has changed nick to MDude.
23:14:27 -!- MDead has joined.
23:17:15 -!- MDude has quit (Ping timeout: 264 seconds).
23:17:23 -!- MDead has changed nick to MDude.
23:19:51 <\oren\> supposedly the vpn will be more reliable if i upgrade to el captain
23:23:33 <\oren\> well whatever worse to worse ill just use time machine
23:24:22 <\oren\> stupid unreliable proprietary os
23:29:57 -!- `^_^ has quit (Quit: This computer has gone to sleep).
23:30:15 -!- MDude has quit (Ping timeout: 276 seconds).
23:33:06 <HackEgo> [wiki] [[Language list]] M https://esolangs.org/w/index.php?diff=47227&oldid=47202 * KelsonBall * (+25) /* Added symbolic brainfuck */
23:34:04 -!- I has joined.
23:34:28 -!- I has changed nick to Guest77224.
23:46:58 -!- Guest77224 has quit (Quit: This computer has gone to sleep).
23:49:35 -!- nycs has joined.
23:51:55 -!- asie has joined.
23:54:51 -!- nycs has quit (Quit: This computer has gone to sleep).
23:57:05 -!- MoALTz has quit (Quit: Leaving).