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:29:56 boily: hello 00:39:02 boily: helloily 00:42:13 helloon 00:42:58 quinthellopia, mhelloon_! 00:50:39 -!- hppavilion[1] has joined. 00:53:11 hi hppavilion[1] 00:53:12 boily 00:53:21 havocbot is reloaded and remade 00:53:28 now with gcc and debian 01:05:36 Cale: It's funny that "T-algebra" means something different from "F-algebra" when both F and T are variables. 01:05:44 yes 01:06:17 Well, really it's that monad-algebras mean something different from functor-algebras 01:07:02 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 Oh, well, I don't talk in some channels. 01:08:32 hppavellon[1], hellochaf, Callo. 01:08:42 ahoily 01:08:45 helloon_ 01:20:09 My favorite die is the spherical die 01:21:58 http://www.supermegacomics.com/images/382.gif 01:25:10 Huh, James Grime doesn't have a wikipedia page 01:26:45 I seem to be too genre savy for xkcd 01:27:03 I read today's and I got the joke wrong, but it was the joke that was used in the title text 01:28:42 hppavilion[1]: 01:28:43 -!- Kaynato has quit (Ping timeout: 250 seconds). 01:28:48 moon_: 01:28:53 boily turned #esoteric-blah into madville 01:29:08 he/se >> ls /*/* 'd havocbot 01:29:26 i stoped it and a flood came out that the !flush command wouldnt work 01:33:01 MWAH AH AH AH AH AH AH AH AH AH :D 01:51:22 -!- Phantom__Hoover has joined. 02:00:37 hiaphantom 02:00:39 *phantom 02:02:20 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:09:54 resolved 02:11:32 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 02:16:37 _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 Is it just me, or is that a little verbose? 02:16:51 `` echo wisdom/phantom*hoover 02:17:06 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:33 holy fungot. 02:17:34 boily: yes, you must attend to your master. 02:17:43 * boily attends do fungot 02:17:44 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 "It should be raining. It should be raining. It should be raining. Amen. ♪" 02:22:07 `` echo wisdom/phantom*hoover 02:22:14 wisdom/phantom_hoover wisdom/phantom__hoover wisdom/phantom_______hoover wisdom/phantom______________hoover wisdom/phantom_________________hoover wisdom/phantom_____________________________hoover 02:22:29 `` cat wisdom/phantom*hoover 02:22:32 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. \ Your soundcard works perfectly. 02:23:09 What is a hatheist? Is that related to thausible? 02:23:15 `? hatheist 02:23:17 hatheist? ¯\(°_o)/¯ 02:23:21 `? thausible 02:23:22 thausible? ¯\(°_o)/¯ 02:23:23 `? i,i 02:23:25 i,i i,i what is i,i 02:23:45 `` ls wisdom/hat* 02:23:47 wisdom/hat 02:23:50 `? thausiblee 02:23:50 `? hat 02:23:53 A thausiblee is the recipient of a thausible action. 02:23:55 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:11:00 a hatheist doesnt believe in hats 03:13:04 -!- FreeFull_ has changed nick to FreeFull. 03:13:13 <\oren\> I thought they don't believe in hathor 03:13:50 no one believes in hathor 03:14:14 some dont believe in anne hathaway 03:14:37 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 i dont know anyone who has seen her in person 03:15:51 maybe all those who claimed to were lying? 03:16:17 like they were about sweden 03:24:13 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:15 `url bin/med 03:31:27 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 My friend came home drunk with a beer bottle lodged in his pants, you have three guesses on why 04:31:18 \oren\: she died in the 17th century hth 04:31:19 Hppa 04:32:15 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:19:08 Hi hppa 05:23:36 [wiki] [[Special:Log/newusers]] create * KelsonBall * New user account 05:30:28 Moon_: Hello 05:41:20 -!- Moon_ has quit (Ping timeout: 250 seconds). 05:41:52 `decode 05:42:05 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: decode: not found 05:45:05 `unidecode h 05:45:11 [U+0068 LATIN SMALL LETTER H] 05:45:13 Sgeo: ^ 05:45:29 `unidecode 05:45:30 ty 05:45:38 U+0008 \ UTF-8: 08 UTF-16BE: 0008 Decimal: \ \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral) 05:46:02 I don't know whether to blame SteamVR or HexChat 05:47:13 [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:49:13 <\oren\> here sgeo 05:49:15 <\oren\> ℎ 05:52:40 [wiki] [[Symbolic Brainfuck]] https://esolangs.org/w/index.php?diff=47216&oldid=47215 * KelsonBall * (+2055) Added Hello World example. 05:54:14 [wiki] [[Symbolic Brainfuck]] M https://esolangs.org/w/index.php?diff=47217&oldid=47216 * KelsonBall * (+4) 05:54:20 `? chu space 05:54:23 A Chu space is just a matrix. Taneb invented them, then Chu stole his invention. 05:55:07 `learn A matrix is just a matrix. Taneb invented them. 05:55:15 Learned 'matrix': A matrix is just a matrix. Taneb invented them. 05:55:52 [wiki] [[Symbolic Brainfuck]] https://esolangs.org/w/index.php?diff=47218&oldid=47217 * KelsonBall * (+35) 05:57:32 `le/rn modal logic/"modal logic" means "the most common logic" (that is, classical logic). 05:57:36 Learned «modal logic» 06:00:49 [wiki] [[Symbolic Brainfuck]] https://esolangs.org/w/index.php?diff=47219&oldid=47218 * KelsonBall * (+281) Added differences section 06:01:35 [wiki] [[Symbolic Brainfuck]] https://esolangs.org/w/index.php?diff=47220&oldid=47219 * KelsonBall * (+5) 06:02:34 `? per martin-löf 06:02:36 "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 `learn A perfunctory proof is a category-theoretical proof that cites Per Martin-Löf. 06:03:04 Learned 'perfunctory': A perfunctory proof is a category-theoretical proof that cites Per Martin-Löf. 06:03:21 [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 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 Learned 'stepran': A Steprans variable is a variable whose notation is variable. 06:05:02 What? 06:05:10 i don't get your wisdom entries 06:05:34 <\oren\> These are things my dad named after his coworkers' idiosyncrancies 06:06:31 Seems a little scow to use personal idiosyncrasies in this channel. 06:06:37 shachaf: I think it's like a tall tale? 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:07 [6~[6~/y 06:09:24 <\oren\> uh, are you trying to page-down? 06:09:28 `learn A phenomenom is a name given to a phenomenon. 06:09:32 Learned 'phenomenom': A phenomenom is a name given to a phenomenon. 06:10:11 \oren\: I have a laggy connection 06:10:16 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 `le/rn_append phenomenom/The collection of them is called "phenomenomenclature". 06:14:11 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 [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:37 `? modal logic 06:59:41 "modal logic" means "the most common logic" (that is, classical logic). 07:00:12 rntz: i didn't realize you were such a fan of classical logic 07:03:16 -!- deltab has joined. 07:03:19 am I? 07:03:39 oic. 07:03:58 I'm a constructivist among the classicists and a classicist among the constructivists 07:04:41 but it's probable that I will never not like modal logic 07:04:59 i,i classist logic 07:05:20 the dual of marxist logic 07:06:27 i,i marx and sweep 07:08:02 rntz: Do you know anything about dual-intuitionistic logic? 07:08:12 The person on IRC who knew about it hasn't been around in a while. 07:08:54 no, not really 07:09:34 I was wondering whether it's related to Set^op. 07:10:07 probably not? Set is a model of classical logic, after all 07:10:14 (I think?) 07:10:31 Well, Hask^op. Something^op. 07:10:35 c.c 07:11:11 https://projecteuclid.org/euclid.ndjfl/1039886520 is this the dual intuitionistic logic you're thinking of? 07:11:13 Dual-intuitionistic logic has Not (Not P) be a stronger statement than P. 07:11:41 Yes, I think that's the one. 07:11:43 hwaet 07:12:00 You have double-negation elimination but not double-negation introduction. 07:12:30 um, classical logic also doesn't have double-negation introduction 07:12:33 in what state is P then? 07:12:39 it does 07:12:43 I mean, you can introduce double negations, but there's no *rule* to introduce them 07:13:07 There's no rule to eliminate them either. 07:13:15 no, in some formulations there is 07:13:32 that is, classical logic can be seen as precisely intuitoinistic logic plus a rule for double negation elimination 07:13:37 Well, you probably get it from LEM, P | ¬P 07:13:58 that's not the *only* way to formulate classical logic, but it's *a* way 07:14:03 Whereas I guess in dual-intuitionistic logic you have LEM but you don't have non-contradiction, or something? 07:14:13 it is apparently paraconsistent, yes 07:14:17 ¬(P & ¬P). Or something. 07:14:29 instead of speculating, you could read a paper :P 07:14:36 (and then explain it to me!) 07:14:43 I read bit of a paper a while ago. 07:15:04 But not very seriously. 07:15:09 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 "Whereas intuitionistic logic deals with constructive truth and non-constructive falsity," uh, what 07:15:50 negation in intuitionistic logic is totally constructive! 07:15:58 well, constructively destructive, at any rate 07:16:08 although I suppose one might distinguish negation from falsehood 07:16:12 (dunno how) 07:16:21 I mean, you prove negation in constructive logic in a way that looks a lot like "proof by contradiction". 07:16:37 yeah, because negation is *literally* "implies contradiction" :P 07:16:46 it's perfectly constructive: you're showing how to get contradiction from X 07:17:12 I wish I could remember what the paper I'm thinking of is. 07:17:15 (this is another thing where I should just read the paper to see what it means instead of mouthing off) 07:17:32 Well, you have an excuse, because apparently the paper costs $40 to read. 07:17:55 http://philosophy.stackexchange.com/questions/11448/why-is-intuitionistic-negation-nonconstructive 07:18:12 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 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 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 Which would make more sense to me if I had a better understanding of par, I'm sure. 07:20:37 that seems appropriate 07:21:08 par has a nice session-types interpretation in a one-sided setting 07:21:08 -!- toon_ has changed nick to toon. 07:21:27 (A tensor B) is output A then B; (A par B) is input A then B. or something like that. 07:21:43 wadler's sessions as types has more on that, I think 07:21:54 So does that seminar paper, I think. 07:21:57 (well, not specifically on that. but it is a session-type interpretation in a one-sided setting) 07:22:04 seminar paper? 07:22:12 In #-seminar. 07:23:06 the dfa paper? 07:23:13 wait, that uses *classical* linear logic?! 07:23:26 no, it doesn't 07:23:41 at least it doesn't look like it 07:24:12 Ah, I guess it's not for par. 07:24:30 what were you thinking of? 07:25:10 I don't remember. 07:25:47 "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 is this the shramko paper? 07:26:08 Yes. 07:26:08 that http://philosophy.stackexchange.com/questions/11448/why-is-intuitionistic-negation-nonconstructive mentions? 07:26:16 Yes. 07:27:32 hm, the abstract says "and Nelson's logic takes both truth and falsity as constructive notions" 07:27:39 what is this Nelson's logic 07:28:17 Wait, there are two different PDFs. 07:29:44 «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 call Fermat’s Last Theorem or ... 07:29:52 ... 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:29:56 hm 07:31:07 http://plato.stanford.edu/entries/logic-connexive/ 07:34:44 rntz: I wonder if this is related to your T,F classical logic from the other day. 07:43:17 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 Huh, all 14 9/11 hijackers are on the US no-fly list 09:04:55 I mean, obviously they were terrorists who shouldn't be allowed on airplanes 09:04:58 But they're also dead 09:05:30 I mean, is the united states particularly concerned about zombie terrorism? 09:07:28 BRAINS 09:08:31 `? oerjan 09:08:59 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:09:13 `culprits wisdom/oerjan 09:10:54 slowckego 09:11:02 `hoag wisdom/oerjan 09:11:20 Even the codu.org page is timing out. 09:14:50 "My website is so broken that it couldn't find the 404 page" 09:15:11 No output. 09:15:20 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_) \ le/rn oerjan/pedantic like a STASI agent traces every unknown user. but why? game? tradition? misinformation? unciviliz 09:16:51 Oh, hagb4rd. 09:17:11 shachaf: That makes more sense 09:18:00 `` hg cat -r 8437 wisdom/oerjan > wisdom/oerjan; rm wisdom/oerjan_ 09:18:25 No output. 09:18:38 `? oerjan 09:18:41 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 shachaf: You should probably check what's in wisdom/oerjan_ first 09:19:09 `1 before 09:19:25 wisdom/oerjan wisdom/oerjan_: no such file in rev 1b910db2f8a0 \ 1/1:wisdom/oerjan wisdom/oerjan_// 09:19:29 Hm. 09:19:53 I guess before doesn't work very well on multiple files. 09:20:07 Anyway I saw the commands on codu.org 09:20:13 Oh, hagb4rd. <-- no surprises. 09:20:21 `` hg cat -r -2 wisdom/oerjan_ 09:20:26 "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 hagb4rd is a very persistent troll. 09:21:22 We can thank Taneb for that, I guess. 09:21:47 huh? 09:21:47 i,i http://www.supermegacomics.com/index.php?i=333 09:22:12 `? persistence 09:22:16 Taneb invented persistence long ago, and it's been around ever since. 09:22:46 What /does/ "amortized" mean, anyway? 09:22:56 it's funny, it wasn't even i who did most of the tracing last time. 09:23:08 hppavilion[1]: Resurrection. 09:23:15 shachaf: That seems to obvious 09:23:18 *too 09:23:21 * seppuku 09:23:59 @wn amortized 09:24:01 No match for "amortized". 09:24:12 @wn amortize 09:24:13 *** "amortize" wn "WordNet (r) 3.0 (2006)" 09:24:13 amortize 09:24:13 v 1: liquidate gradually [syn: {amortize}, {amortise}] 09:24:22 @wn amortization 09:24:25 *** "amortization" wn "WordNet (r) 3.0 (2006)" 09:24:27 amortization 09:24:29 n 1: the reduction of the value of an asset by prorating its 09:24:31 cost over a period of years [syn: {amortization}, 09:24:33 {amortisation}] 09:24:35 2: payment of an obligation in a series of installments or 09:24:37 transfers [syn: {amortization}, {amortisation}] 09:24:55 the "amor ties" between two individuals are the bonds of love holding them together 09:25:05 n individuals, maybe i should say 09:25:41 I assume the kind of amortization oerjan is talking about is the algorithm analysis kind, though. 09:28:39 i don't know. gradual liquidation sounds like something an overlord would do. 09:28:56 although it's a bit of a violation of the overlord list. 09:30:23 I felt pretty unhelpful after all those explanations so I figured I would say something helpful for once. 09:30:45 very good, shachaf 09:30:55 i've been duly reprimanded, though 09:31:09 it may not happen again 09:31:24 * oerjan did not notice the reprimand. 09:31:49 -!- augur has quit (Remote host closed the connection). 09:31:51 Did you see all my wisdom entries? 09:32:15 `sled wisdom/oerjan//s/over/zombie over/ 09:32:17 -!- augur has joined. 09:32:20 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 Hmm, if you become amortized now, would you be a zombie emeritus overlord? 09:33:14 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 `` hoag wisdom/oerjan | tail -n5 09:34:46 run rm -rf wisdom \ run echo "Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian." >wisdom/oerjan \ revert 0 \ run rm -rf wisdom/* \ Initial import. 09:34:48 Why did I say you were a lying Norwegian? 09:36:39 -!- augur has quit (Ping timeout: 250 seconds). 09:41:54 obviously you were lying hth 10:23:40 `` find wisdom wisdom -type f | wc -l 10:23:45 -!- PinealGlandOptic has quit (Ping timeout: 276 seconds). 10:24:00 2246 10:26:13 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:37 `? hppavillion 10:28:39 hppavillion? ¯\(°_o)/¯ 10:28:41 `? hppavillion[1] 10:28:42 hppavillion[1]? ¯\(°_o)/¯ 10:28:48 oh. 10:28:51 `? hppavilion 10:28:53 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 `` find wisdom -type f | wc -l 10:29:03 1123 10:29:17 `? int-e 10:29:19 `` ls wisdom/hpp* 10:29:19 int-e är inte svensk. Hen kommer att spränga solen. Hen står för sig själv. 10:29:20 wisdom/hppavilion \ wisdom/hppavilion1 \ wisdom/hppavilion[1] \ wisdom/hppavilion[42] 10:29:47 there appears to be quite a bit of wisdom. 10:30:00 `? clever 10:30:01 Being clever is different from being wise, but they are indistinguishable in sufficiently large quantities. 10:30:02 anyway, hppavilion[1], I find your ideas a bit too random even for this channel. 10:30:16 Vaut? 10:30:47 The saying I know is: "A clever person can get out of trouble that a wise person doesn't get into." 10:31:15 shachaf: Yes, which is part of why they're indistinguishable- nothing comes of the trouble 10:33:49 `? cat 10:33:50 Cats are cool, but should be illegal. 10:37:36 `` echo $'a\nb' | tac 10:37:38 No output. 10:37:41 `` type -a tac 10:37:42 tac is /hackenv/bin/tac \ tac is /usr/bin/tac 10:37:44 `cat bin/tac 10:37:44 #!/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 `` echo $'a\nb' | /usr/bin/tac 10:37:51 b \ a 10:37:56 What's bin/tac all about? 10:37:59 `culprits bin/tac 10:38:07 izabera izabera izabera 10:38:19 I don't know what it's doing but it doesn't seem to work. 10:38:25 `rm bin/tac 10:38:29 No output. 10:38:34 `` hoag wisdm/oerjan | tac 10:38:39 No output. 10:38:42 congrats 10:38:56 Do you think it should stick around? 10:39:01 you broke a perfectly valid script that didn't read stdin 10:39:09 Apparently /usr/bin/tac doesn't work either. 10:39:17 `` which tac 10:39:19 /usr/bin/tac 10:39:24 If it doesn't read stdin then it's not a perfectly valid script. 10:39:49 `` ( echo a; echo b ) | tac 10:39:50 b \ a 10:40:00 it had a different purpose 10:40:06 does hoag do anything odd? 10:40:09 `` echo '#!/bin/bash' > bin/tac 10:40:12 No output. 10:40:29 Can you not make it shadow /usr/bin/tac if it has a different purpose? 10:40:32 `` echo '(( $# )) || set /dev/stdin' >> bin/tac 10:40:35 No output. 10:40:45 `` 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:40:49 No output. 10:40:50 `` chmod +x bin/tac 10:40:53 No output. 10:41:04 `` seq 10 | tac 10:41:07 10 \ 9 \ 8 \ 7 \ 6 \ 5 \ 4 \ 3 \ 2 \ 1 10:41:08 Making four separate commits to write one file? 10:41:28 `` seq 10 | bin/tac 10:41:30 10 \ 9 \ 8 \ 7 \ 6 \ 5 \ 4 \ 3 \ 2 \ 1 10:41:36 `` seq 10 | /usr/bin/tac 10:41:37 10 \ 9 \ 8 \ 7 \ 6 \ 5 \ 4 \ 3 \ 2 \ 1 10:41:57 `` echo -ne 'a\nb' | tac 10:41:58 b \ a 10:41:59 `` echo -ne 'a\nb' | /usr/bin/tac 10:42:01 ba 10:42:10 still seems to be broken 10:42:25 arguably more useful 10:42:42 arguably less useful 10:42:52 arguably arguable 10:42:55 tac also supports -r 10:43:01 `` tac --help 10:43:04 err 10:43:04 /hackenv/bin/tac: line 3: --help: No such file or directory 10:43:07 `` /bin/tac --help 10:43:08 /hackenv/bin/`: line 4: /bin/tac: No such file or directory 10:43:12 `` /usr/bin/tac --help 10:43:14 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 `` echo -ne 'a\nb' | /usr/bin/tac -b 10:43:30 \ ba 10:43:37 If you want to write your own tac, why not give it a different name? 10:43:48 `` hoag wisdom/oerjan | bin/tac 10:43:53 Initial import. \ run rm -rf wisdom/* \ revert 0 \ run echo "Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian." >wisdom/oerjan \ run rm -rf wisdom \ revert \ revert 0 \ revert 999999999 \ revert 4 \ revert 1492 \ `` hoag wisdom/oerjan | /usr/bin/tac 10:43:59 Initial import. \ run rm -rf wisdom/* \ revert 0 \ run echo "Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian." >wisdom/oerjan \ run rm -rf wisdom \ revert \ revert 0 \ revert 999999 \ revert 4 \ revert 1492 \ 10:44:09 wait let me find the problem that prompted me to write that 10:44:22 `` echos wisdom/*/ 10:44:23 `` rgrep -l tac wisdom 10:44:24 /hackenv/bin/`: line 4: echos: command not found 10:44:28 `` echo wisdom/*/ 10:44:34 wisdom/le/ wisdom/¯\(°_o)/ wisdom/¯\(°_o)/ 10:44:36 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 `` rgrep -lP '\btac\b' wisdom 10:44:51 No output. 10:44:57 Er. 10:44:59