00:03:03 -!- oerjan has joined. 00:03:19 Someone made a door in Minecraft that takes 13 hours to open or close 00:03:38 -!- clog has joined. 00:04:17 argh 00:04:21 missing an hour 00:06:10 do you want the last hour of logs 00:06:13 oh well, it was probably crap anyway hth 00:06:23 they're in my terminal 00:06:27 shall i copy and paste them to you 00:07:05 yes please 00:07:07 oerjan: sour grapes tsk tsk etc. 00:08:23 shachaf++ 00:08:35 oerjan: hth 00:08:37 oerjan is addicted to logreading 00:09:29 I CAN QUIT ANY TIME I WANT 00:09:40 it's the wanting part that's hard 00:09:53 you only say that because you know that even if you quit, logs will be available 00:10:07 curses 00:10:18 oerjan: so how often have you quit reading the logs so far? 00:10:26 Is there a 12-step program for this? 00:10:39 int-e: i dunno, but sometimes they're just too damn long 00:11:26 1) Admit that the logs- a series of 1s and 0s on a server somewhere in Canada- are more powerful than you, a sentient human being capable of will and volition. Somehow. 00:11:30 couldn't you make a bot read them for you? 00:11:46 hppavilion[1]: i'm not sure tunes is in canada, or not. 00:11:56 oerjan: It probably is; most servers seem to be in my experience 00:11:59 and make a list of topics that were addressed 00:12:03 huh 00:12:10 Koen_: Oh, wait, this might actually work 00:12:19 Koen_: one that strips MtG discussion would be nice. 00:12:33 well that's easy 00:12:41 2) Believe that the great fungot can make you not addicted to logreading; of course, you can't do it yourself 00:12:41 hppavilion[1]: guess so. but i really should have submitted the picture under some fake name. you may have mentioned my dislike for anything combining the words " fnord" 00:12:42 just censor out zzo and oren 00:12:55 (I'm doing the whole thing. Deal with it) 00:12:57 Koen_: i think you're misspelling b_jonas somewhere 00:13:07 Wow, that was really coherent, fungot 00:13:07 hppavilion[1]: but your microexpressions aren't linearized, so you 00:13:23 yeah, typical of you 00:13:47 3) Make the decision to follow the word of fungot, not do what you yourself want and take your own path etc. 00:13:47 hppavilion[1]: paganini looks tasty when they're made of some fnord messages. :p 00:14:08 4) Make a searching and fearless moral inventory of yourself (whatever the hell that means) 00:15:21 5) Admit to fungot, yourself, and another human being or sentient bot the nature of your wrongs. Don't be vague; be explicit, give all the gritty details. Name the exact position and velocity of every fundamental particle that could have interacted with you (given the speed-of-light delay) over the course of your addiction 00:15:21 hppavilion[1]: you mean regular expressions? i'm confused... how did that happen? 00:15:38 shachaf: as i said, crap, but thanks anyway 00:15:53 6) Be entirely ready for fungot to hack into your brain (probably via Inception) and change your fundamental psyche so that you're better. Not creepy at all 00:15:58 oerjan: I didn't even read them. 00:16:04 * oerjan grins mani^Wadjectivally 00:16:05 7) Humbly ask fungot to remove your shortcomings 00:16:22 `? oerjan 00:16:34 8) Make a list of every person you harmed via logreading, and become willing to make amends to them all (here's the list: []) 00:17:14 Your mysterious adjectival 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. 00:17:17 `sled wisdom/oerjan//s/adjectival/renouned/ 00:17:29 wisdom/oerjan//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. 00:17:30 9) for person in people_we_hurt: if not dangerous: you.make_amends(person) 00:17:57 10) Continue to take personal inventory (seriously, what does that even mean?) and admit it when you were wrong 00:18:21 I think you're spamming the channel a bit here. 00:18:29 So much that my brilliant puns are being missed. 00:18:36 shachaf: Don't worry, it's only 2 more steps 00:18:46 hppavilion[1]: i suddenly have a hunch you might also read aaronson's blog 00:18:55 11) Mention fungot at least once a day, to improve your conscious contact with fnim, and to bring us closer to The Great Fnordian Empire 00:18:56 helloerjan. how goes the megalomania? 00:19:05 12) Evangelize. 00:19:16 oerjan: Never heard of this aaronson 00:19:52 Oh, I appear to have read his blog before, but not consistently 00:20:55 There was silence supreme! Not a shriek, not a scream, / Scarcely even a howl or a groan, / As the man they called "Ho!" told his story of woe / In an antediluvian tone. 00:21:15 Scarcely even a swat or a pan 00:21:26 what is that from shachaf 00:21:31 The Hunting of the Snark 00:21:35 http://literature.org/authors/carroll-lewis/the-hunting-of-the-snark/chapter-03.html 00:21:36 ah, right 00:21:42 "antediluvian" is in the original. 00:21:49 So much that my brilliant puns are being missed. <-- have no fair -----### 00:22:29 . o O ( does cackling count as reverbing? ) 00:23:30 are we reverb-berating? 00:24:04 that one deserves a high five 00:24:47 helloerjan. how goes the megalomania? <-- humongously great hth 00:25:21 is that how that is spelled? 00:26:02 the oatmeal has a lot of great dumb joke 00:26:03 s 00:26:20 such as: A cannibal went for a walk and passed his brother. 00:26:43 or: What does a cannibal do after dumping his girlfriend? Wipe. 00:27:08 @devils cannibal 00:27:09 *** "cannibal" devil "The Devil's Dictionary (1881-1906)" 00:27:09 CANNIBAL, n. A gastronome of the old school who preserves the simple 00:27:09 tastes and adheres to the natural diet of the pre-pork period. 00:27:09 00:28:18 that one deserves a high five <-- which one, there's a whole diluvian channel of puns here 00:28:23 i suppose no one can compete with Bierce 00:28:31 oerjan: reverb-berating 00:28:46 OKAY 00:29:15 and now my other canadian friend is retweeting terrible puns 00:29:35 it must be #WordplayWednesday 00:30:01 what's the difference between magicians and behaviorists? 00:30:36 oerjan: Well, *someone* didn't like being called antidiluvian for some reason. 00:31:35 he's not against floods. he's against pickled art museums 00:32:37 oh that magician thing is terrible, perfect for this channel 00:32:38 i'm not quite sure, but are you claiming i'm anti-le-louvrian 00:32:54 anti-dill-louvrian 00:32:59 aha 00:33:36 int-e: are you calling us a bunch of rats? 00:34:11 * oerjan still waiting for at least one punchline 00:34:15 no, I'm just calling the general level of puns here terrible... 00:34:52 "A behaviorist is someone who pulls habits out of rats." 00:35:00 well, if no one's groaning, no one's punning 00:35:06 * oerjan blinks 00:35:45 * oerjan tries to lift the anvil to drop on int-e, but his back gives in 00:36:08 * oerjan slumps down in the lawn chair 00:36:10 it wasn't even my own pun, google found it for me 00:36:36 * int-e blames quintopia for bringing it up. 00:36:37 The latest Pew survey reports that the U.S. would prefer way more laser gun sound effects. 00:38:39 ... 00:39:04 what? i know you already broke your back, and i'm standing way over here 00:39:34 precisely 00:39:56 @devils telephone 00:39:57 *** "telephone" devil "The Devil's Dictionary (1881-1906)" 00:39:57 TELEPHONE, n. An invention of the devil which abrogates some of the 00:39:57 advantages of making a disagreeable person keep his distance. 00:39:57 00:40:44 * oerjan ponders putting rocket boosters on the lawn chair. later. 00:41:31 oerjan: I would get off the chair first... these things tend to be big and heavy... you're liable to getting crushed. 00:42:21 maybe just balloons? 00:42:36 oh, Up! 00:42:58 int-e: i mean "on" in the generic sense hth 00:43:20 oerjan: you're liable to be crushed no matter how you install them hth 00:43:35 true, but not _before_ activating them 00:43:50 fair 00:43:51 * oerjan reconsiders. 00:44:11 no balloons, i can already see the drawbacks of that. 00:44:40 too bad. a chair tied to 99 red balloons has a built-in theme song 00:44:50 _and_ a nuclear war. 00:45:18 i'd like not to start that until after i built the bomb shelter. 00:45:24 ah right 00:45:48 as it happens, it would take 850 regular helium party balloons to lift a cat 00:47:29 about 106,000 3ft diameter helium balloons to lift an Up-sized house 00:50:24 I was hoping to find a what if on the topic... but apparently not... 00:50:37 i thought there was already one 00:50:39 wait, the TELEPHONE is an invention of the devil? 00:50:42 (not cats, but balloons) 00:50:43 But... but that means... 00:50:53 at least there's http://www.snopes.com/travel/airline/walters.asp 00:51:02 BURN TANEB! BURN HIM AT THE STAKE! 00:51:12 Why this time 00:51:14 hppavilion[1]: don't try to extract meaning from the devil's actions, that only traps you further hth 00:51:33 `? telephone 00:51:41 hppavilion[1], not everything was invented by me 00:51:52 any time there is any suggestion of deviltry or witchery, taneb is surely involved 00:51:53 telephone? ¯\(°​_o)/¯ 00:51:54 `? tanebventions 00:51:57 Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, necessity, the torus, gazpacho, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, histograms, the BBC, progress, and this sentence. He never invents anything involving sex. 00:52:22 that is a self-contradictory wisdom 00:52:22 Taneb: The telephone was a result of progress 00:52:33 Invention is transitive 00:52:45 quintopia: are you implying everything involves sex tdnh 00:52:45 Therefor Taneb is stan 00:52:53 "Tanebventions include...the universe...He never invents anything involving sex." 00:52:56 hppavilion[1]: we already established it's not hth 00:53:02 oerjan: I wouldn't deny it 00:53:04 oerjan: at the very least the universe involves sex 00:53:10 oerjan: And who told us that? 00:53:12 shocking 00:53:15 quintopia, sex was an emergent property of the universe 00:53:21 Not my fault 00:53:41 Taneb: And submarine jousting? 00:53:54 `? necessity 00:53:58 If necessity did not exist, it would be necessary for Taneb to invent it. 00:54:21 Taneb: did you just call sex magical 00:54:33 * hppavilion[1] refrains from pointing out that Taneb also invented the BBC 00:54:49 hppavilion[1]: very little sexy about the BBC 00:54:59 quintopia: Yeah, let's keep it that way 00:55:11 quintopia, no, emergent 00:55:18 Like, I don't think Langton invented highways 00:55:24 too late. rule 34 is has already emergent propertied it 00:55:39 Waaaait 00:55:41 `? rule 34 00:55:46 Taneb: no, they came via magic 00:55:46 rule 34? ¯\(°​_o)/¯ 00:55:55 I think that "taneb never invents anything involving sex" is contradictory with rule 34 00:56:05 I disagree 00:56:10 hppavilion[1]: no contradiction 00:56:18 the internet invents the sex parts 00:56:28 `? taneb 00:56:28 I think you ought to respect Taneb's wishes vis-à-vis inventions. 00:56:30 Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards with dodgy SHIFT KEys, cube root of eight genders, and voluminous but calm eyebrows. (See also: tanebventions) 00:56:37 `? tanebventions 00:56:39 Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, necessity, the torus, gazpacho, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, histograms, the BBC, progress, and this sentence. He never invents anything involving sex. 00:57:00 Taneb: Is it cube root of (eight genders), or (cube root of eight) genders? 00:57:03 Wait, does "taneb never invent anything involving sex" only apply to the colloquial, coital meaning of sex? Or does it also cover gender? 00:57:25 yes 00:57:32 hppavilion[1]: have you considered that necessity is the mother of invention 00:57:39 Hey, here's a Discord channel invite. https://discord.gg/013N9FTwO1RhOJgxs 00:57:44 shachaf, yes 00:57:47 quintopia: So (P1) bans Taneb inventing e.g. a wage gap? 00:58:09 For anyone who might happen to want to join for whatever reason. 00:58:12 hppavilion[1], gender and sex refer to distinct concepts hth 00:58:20 Taneb: or do they 00:58:21 Taneb: Yes, but I used gender to clarify 00:58:25 wage gap is definitely not a thing on the list. though apparently magical wage gaps coming emergently from tanebventions is plausible 00:58:42 Taneb: Because I don't feel like we constantly need to take that into account in everyday conversation 00:58:57 `sled wisdom/tanebvention//s/.$/, although rule 34 keeps sabotaging him./ 00:59:02 wisdom/tanebvention//Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, necessity, the torus, gazpacho, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, histograms, the BBC, progress, and this sentence. He never invents anything involving sex, although rule 34 keeps sa 00:59:06 darn 00:59:09 `revert 00:59:14 TOO MANY INVENTIONS 00:59:25 oerjan: Perhaps we just need to move it to a wikipage 00:59:36 hppavilion[1]: no. 00:59:37 `? hpstructions 00:59:44 there is no #esoteric wiki 00:59:50 and there does not need to be one 01:00:08 the road to hell is paved with good inventions? ... there should be room for a second pun to offset the first... 01:00:45 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 01:00:50 hpstructions? ¯\(°​_o)/¯ 01:00:51 Taneb: OK, Taneb, time to uninvent some things. 01:00:53 the road to porthello 01:00:54 :,( 01:01:12 `? inventory 01:01:12 `? lem 01:01:28 Taneb: In the Lem tradition, please start with things that start with the letter N. 01:01:54 there's room for more tanebventions, just not for dumb comments that aren't tanebventions 01:02:02 what about Lem? you mean the author of "Solaris", right? 01:02:17 law of excluded middle seems more likely 01:02:32 I meant the author, yes. 01:02:40 http://english.lem.pl/works/novels/the-cyberiad/146-how-the-world-was-saved 01:02:40 mm 01:03:05 A truly ngevd machine. 01:03:51 fair enough 01:04:11 No output. 01:04:23 Taneb: please read the above story hth 01:04:57 Stanisław Lem was a Polish logician who discovered the law of excluded middle. 01:06:55 [wiki] [[Stack Cats]] https://esolangs.org/w/index.php?diff=47182&oldid=47180 * Timwi * (+147) /* External Resources */ Esoteric IDE 01:10:31 unsurprisingly the sodium joke did not translate well into german... 01:22:34 In theory, 93% of sentences starting with "You know what they say" should end there 01:24:18 what is the german word for sodium 01:26:10 natrium 01:27:35 Did you read that story in German originally? 01:27:57 s/s/S/ 01:28:09 I don't think I had read it... I found it online just now. 01:30:02 -!- Kaynato has quit (Ping timeout: 244 seconds). 01:30:29 did they change sodium to some other substance? 01:30:53 it would only help to do so 01:30:53 . o O ( didn't lem write in polish, anyway ) 01:31:11 i don't think...? 01:31:29 surely. 01:32:57 "The Polish version was first published in 1965, with an English translation appearing in 1974." 01:33:01 of course he did 01:34:01 ok 01:35:41 some guy has added the story titles to wikipedia - but only in polish 01:36:30 well, nearly only 01:38:22 huh sodium is actually sód in polish 01:38:43 * oerjan didn't know any languages other than english did that 01:41:46 `? typoglycerine 01:41:49 Typoglycerine is an explosive that scrambles the letters inside a word. 01:42:24 `? tanebvention 01:42:25 Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, necessity, the torus, gazpacho, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, histograms, the BBC, progress, and this sentence. He never invents anything involving sex. 01:42:53 `? stephen wolfram 01:42:56 Stephen Wolfram is an esolanger with too much money and power. Taneb invented him. 01:42:57 `? weetoflakes 01:42:58 Weetoflakes are something Taneb invented; they taste sort of purple. 01:43:15 Taneb: You know, I always figured weetoflakes were a sort of fish food. 01:43:28 looks that there are many languages both with natr- and sod- 01:43:29 shachaf, they're just a mix of two breakfast cereals 01:43:39 `? the universe 01:43:41 The universe was invented by Taneb as an opposing force to oerjan. 01:43:42 Weetos and Cornflakes 01:44:00 I never heard of weetos. 01:44:11 Presumably cornflakes are just flakes of maize. 01:44:13 I'm not sure if they're sold outside the UK? 01:44:19 Where does the purple come from? 01:44:24 Synesthesia 01:44:44 `? gazpacho 01:44:47 You like Gazpacho and I like Gaspacho. Let's call the whole thing off! 01:45:03 Taneb: Did you actually invent gazpacho? 01:45:08 I did not 01:45:09 It doesn't seem like your style. 01:45:11 Oh. 01:45:17 we do have weetos in norway 01:45:20 Then why is it listed in tanebventions? 01:45:24 Beats me 01:45:27 `sled wisdom/tanebvention//s/gazpacho, // 01:45:33 oerjan, do you have cornflakes? 01:45:35 wisdom/tanebvention//Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, necessity, the torus, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, histograms, the BBC, progress, and this sentence. He never invents anything involving sex. 01:45:36 yes 01:45:45 oerjan, have you tried weetoflakes? 01:45:47 `? D-modules 01:45:49 no. 01:45:49 D-modules are just modules over the ring of differential operators. Taneb invented them. 01:45:59 i don't usually eat breakfast cereal 01:46:40 `? torus 01:46:43 Topologically, a torus is just a torus. Taneb invented it. 01:47:05 I haven't had weetos, and by extension weetoflakes, for years :( 01:47:49 `? klein bottle 01:47:51 klein bottle? ¯\(°​_o)/¯ 01:48:28 `le/rn klein bottle//A Klein bottle is like a torus, but more insidious. Taneb tried to invent it, but got trapped inside. 01:48:31 `? automatic squirrel feeder 01:48:40 Automatic squirrel feeders are just feeders in the category of automatic squirrels. Taneb invented them. 01:48:42 Learned «klein bottle» 01:48:52 `? go 01:48:54 Go is a common verbal game programming language invented by the Germanic Taneb tribes in the strategic territories of East Asia. 01:48:56 oerjan++ # insidious 01:49:11 nice 01:49:14 inside : outside :: insidious : outsidious? 01:49:30 `? klein bottle 01:49:33 oerjan: foiled by the slashes hth 01:49:33 ​/A Klein bottle is like a torus, but more insidious. Taneb tried to invent it, but got trapped inside. 01:50:02 -!- 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.”). 01:50:04 argh 01:50:13 `le/rn klein bottle/A Klein bottle is like a torus, but more insidious. Taneb tried to invent it, but got trapped inside. 01:50:19 Relearned «klein bottle» 01:50:33 could've just `sedlast s'.'' 01:50:52 Hmm, `sedlast ss.ss 01:51:13 oerjan++ # insidious <-- argh. i _told_ you i sometimes pun without noticing, but you had to remove it... 01:52:37 . o O ( despite their name, Klein bottles come in all sizes ) 01:52:39 or did you 01:52:48 `? oerjan 01:52:50 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. 01:53:04 you did. 01:53:07 renound. hmm. 01:53:21 int-e: used to be adjectival 01:53:57 `? boily 01:53:57 renoun: To turn a concept that was once a /thing/, but then ceased to be (perhaps becoming a verb or adjective) back into a noun 01:53:59 ​"Only sane man" boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist. 01:55:10 What is #esoteric's traditional river-crossing puzzle? 01:55:39 are confusion and amusement moods? if not moods then what? 01:56:10 quintopia, emotions, maybe? 01:56:13 hppavilion[1]: there isn't one hth 01:56:13 quintopia: I suppose confusion is a state-of-thought, and amusement is a mood? Or a state of mood? 01:56:19 Taneb: Emotions are moods 01:56:26 hppavilion[1], I disagree 01:56:29 `` rgrep -i river wisdom 01:56:41 Taneb: can you invent a word that encompasses both please 01:56:47 quintopia, yes 01:57:04 oerjan: I'm pretty sure that for all non-empty categories C, there is an element e of C that is #esoteric's official member of C 01:57:08 No output. 01:57:20 (categories, sets, bags, classes, whatever) 01:57:24 hppavilion[1]: i'm pretty sure you're making that up. 01:57:41 oerjan: Need I axiomatically prove it? 01:57:41 `` rgrep -i river wisdom; echo oops 01:57:43 hppavilion[1], what's composition in the category of river crossing puzzles? 01:57:50 wisdom/rea:The Rea is the river flowing through Birmingham. It is jealous of the other rivers having four letters. \ wisdom/sauron:Sauron is the eponymous protagonist of the Lord of the Rings series. He serves primarily as narrator and the main driver of the plot. His heroic exploits include the resurrection of the Kings of Men and the conquest of 01:57:56 Taneb: ...good question. 01:58:11 OK, instead of categories, sets/classes 01:58:17 `` rgrep -l -i river wisdom 01:58:20 wisdom/rea \ wisdom/sauron 01:58:24 ok 01:58:24 If there's no composition, it's not a category, hence no offical #esoteric river crossing puzzle 01:58:33 Hm... 01:58:43 Taneb: I suppose I don't even know what the morphisms are 01:59:04 Wait! perhaps the morphisms are moves! 01:59:13 And a river-crossing problem is itself a category 01:59:35 hppavilion[1], I'm not sure you're using the right terminology 01:59:41 And, of course, the composition of two moves m, n is just making the move m then the move n 01:59:44 Taneb: I'm probably not 02:00:07 Taneb: What specific terminology is wrong? 02:00:14 Was it homomorphims instead of morphisms? 02:00:27 oerjan: Wait, that pun was without noticing? 02:00:31 Has hppavilion[1] discovered Cayley graphs? 02:00:38 shachaf: inisidious? 02:00:39 int-e: Nope 02:00:43 int-e: Yes. 02:01:00 `1 hogue wisdom/oerjan | grep pun 02:01:34 1/1: learn_append oerjan He sometimes puns without noticing it. \ 02:02:50 OK, if a river-crossing problem is a category, then each node is a state- basically, a tuple (s, d, p) where s and d are sets of cargo (s is at the source, d is at the destination) and p is basically SRC | DEST and represents where the boat is 02:03:19 `? hppavilion[1] 02:03:24 hppavilion[1] se describe en las notas al pie. ¿Porqué no los dos? Nadie lo sabe. 02:03:41 A (homo)morphism is a valid way to move- basically, changing p and possibly moving some subset of s to d or d to s 02:03:42 mmm. 02:04:02 You can only, of course, remove items from the set associated with the bank the boat is currently on for the current move 02:04:04 hppavilion[1]: Anyway, right now you're putting the nonsense into "abstract nonsense". 02:04:11 int-e: IT WORKS 02:04:33 int-e: IT MAKES SOME AMOUNT OF SENSE 02:04:33 shachaf: yes. 02:04:52 int-e: Sure, it'd probably be better to use game theory or something, but this way things are all categorical and happy 02:04:55 hppavilion[1]: not nearly enough. also, what's with the capital letters? 02:05:07 int-e: Anger? 02:05:38 int-e: But it fits some of the basics of category theory; I'm going to check the rest of the rules now 02:06:18 oerjan: OK, I don't remember why I removed it from wisdom/oerjan, but you can put it back if you want. 02:06:43 TOO LATE 02:07:34 Taneb: But anyway, there, I think I got it to work. 02:09:24 hppavilion[1]: so, lots and lots of things are categories. 02:09:28 I still think that this is a huge categorical mistake 02:09:35 If you have a collection of "ways of going from one thing to another", it's probably a category. 02:10:38 int-e: if that's a pun, I must insist you desist. It's a categorical imperative. You kant make puns about categories. 02:11:04 quintopia: indeed, they're simply not natural. 02:11:47 and we have to push back against this travesty. 02:12:12 there just has to be a limit. 02:12:41 -!- Kaynato has joined. 02:12:43 quintopia: I can see that you believe in swift and severe punishment. 02:12:50 oerjan: you lost me 02:13:04 push back? 02:13:10 shachaf: oops 02:13:25 * oerjan crawls away in shame 02:13:51 i guess you meant pushout? 02:13:53 don't category theorists push out instead, when they're not pulling back? 02:15:49 sorry for botchering this epic pun thread 02:16:12 . o O ( wait that's not a word either ) 02:16:16 is this where you raise the steaks? 02:16:50 no that's a pasture 02:16:57 it may not be a word, but it's mixing botching and butchery in a novel way... 02:17:21 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:17:28 `learn_append oerjan He sometimes puns without noticing it. 02:17:33 Learned 'oerjan': 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. 02:18:05 bad karma has to be released. 02:18:08 `? amortized 02:18:10 An amortized word is a word that oerjan can never remember. 02:18:11 what happened to "too late" 02:18:23 some tool ate it? 02:18:45 `1 hogue wisdom/oerjan | grep chaf 02:19:00 1/4: sled wisdom/oerjan//s/adjectival/renouned/ \ sled wisdom/oerjan//s-retired --;s(rd(rd emeritus( \ ` sed -i s/sneaky/kind/ wisdom/oerjan \ ` sed -i s/kind/sneaky/ wisdom/oerjan \ ` sed -i \'s/evil/kind/\' wisdom/oerjan \ ` sed -i s/ante/anti/ wisdom/oerjan \ ` 02:19:09 `spam 02:19:10 2/4:sed -i \'s/l\\./l with a passion./\' wisdom/oerjan \ ` sed -i \'s/$/./\' wisdom/oerjan \ ` sed -i \'s/\\. He s.*//\' wisdom/oerjan \ ` sed -i \'s/famous/infamous/\' wisdom/oerjan \ ` sed -i \'s/hates/mildly dislikes/\' wisdom/oerjan \ ` sed -i \'s/famous/& mysterious/\' wisdom/oe 02:19:25 Aha. 02:21:11 `` culprits wisdom/oerjan | sort | uniq -c 02:21:26 ​ 1 oerjan shachaf oerjan oerjan oerjan shachaf oerjan oerjan oerjan shachaf shachaf shachaf oerjan shachaf shachaf shachaf shachaf oerjan oerjan int-e shachaf shachaf shachaf oerjan shachaf oerjan shachaf oerjan elliott Bike FreeFull shachaf shachaf ais523 ais523 elliott FreeFull oerjan FreeFull oerja 02:21:30 argh 02:21:42 `` culprits wisdom/oerjan | xargs -1 | sort | uniq -c 02:21:50 xargs: invalid option -- '1' \ Usage: xargs [-0prtx] [--interactive] [--null] [-d|--delimiter=delim] \ [-E eof-str] [-e[eof-str]] [--eof[=eof-str]] \ [-L max-lines] [-l[max-lines]] [--max-lines[=max-lines]] \ [-I replace-str] [-i[replace-str]] [--replace[=replace-str]] \ [-n max-args] [--max-args=max-args] \ [-s 02:22:04 `` culprits wisdom/oerjan | xargs -n 1 | sort | uniq -c 02:22:14 ​ 2 ais523 \ 1 Bike \ 2 elliott \ 4 FreeFull \ 1 int-e \ 1 nitia \ 15 oerjan \ 19 shachaf 02:22:52 `` culprits wisdom/oerjan | xargs -n 1 | sort | uniq -c | sort -n -r 02:23:02 ​ 19 shachaf \ 15 oerjan \ 4 FreeFull \ 2 elliott \ 2 ais523 \ 1 nitia \ 1 int-e \ 1 Bike 02:23:09 . o O ( there's probably a faster method ) 02:23:21 i knew it! 02:23:36 yes. there is. "don't do it" 02:24:29 OKAY 02:25:15 `le/rn derangement/"Green tandem" is a derangement of "derangement". 02:25:18 Learned «derangement» 02:26:11 `` culprits wisdom/oerjan | xargs -n 1 | uniq | sort | uniq -c | sort -nr 02:26:33 ​ 10 oerjan \ 9 shachaf \ 4 FreeFull \ 2 elliott \ 1 nitia \ 1 int-e \ 1 Bike \ 1 ais523 02:28:40 `? necessity 02:28:43 If necessity did not exist, it would be necessary for Taneb to invent it. 02:29:10 oh temptation 02:29:12 `? redundancy 02:29:15 redundancy? ¯\(°​_o)/¯ 02:29:39 `? temptation 02:29:40 temptation? ¯\(°​_o)/¯ 02:30:48 (redundancy is characterized by an absence of necessity) 02:47:51 int-e: Funny that you culprits | xargs -n 1, when culprits itself does the opposite. 02:56:59 http://www.ioccc.org/2015/muth/hint.html <-- bah, it requires giving a maximal number of steps in advance. 02:57:21 CLEAR FAIL 02:58:09 shachaf: still shorter than using hg log directly, no? 02:58:16 `cat bin/culprits 02:58:16 Sure. 02:58:18 hg log --removed -- "$1" | grep summary: | sed "s/ +/ /g" | sed "s/^ //" | awk '{print substr($2,2,length($2)-2)}'| sed "s/.$/\x0F&/" | xargs 02:58:23 culprits should use hogue 02:58:30 `cat bin/hog 02:58:32 `cat bin/hogue 02:58:32 hg log --template "{desc}\n" "$@" 02:58:34 hg log --removed --template "{desc}\n" "$@" 02:58:49 Hmm. 02:58:59 `` mv bin/ho{gue,ag} 02:59:06 No output. 03:00:16 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 03:00:30 Better to name it after an art critic than a pistol, isn't it? 03:00:40 i don't know. if we add sp* to commands that rarely need it, commands might clobber each other's output 03:01:51 Wait, what here uses sp*? 03:02:06 doesn't hogue? 03:02:10 `cat bin/hoag 03:02:12 hg log --removed --template "{desc}\n" "$@" 03:02:18 oh it doesn't 03:02:25 * oerjan was confused 03:02:48 `` rgrep -l sport bin 03:03:13 food -> 03:03:26 bin/udcli \ bin/5 \ bin/1 \ bin/macro \ bin/jq \ bin/units 03:13:26 Look at this Japanese emoticon: 03:13:26 o,=o, 03:13:30 It's valid Python. 03:13:54 @quote eat.a 03:13:54 dforsyth says: "c++ can eat a dick imo" 03:13:57 `? necessary 03:13:58 hm 03:14:00 necessary? ¯\(°​_o)/¯ 03:14:02 `? thank 03:14:04 thank? ¯\(°​_o)/¯ 03:14:09 @forget dforsyth "c++ can eat a dick imo" 03:14:09 Done. 03:14:11 @quote eat.a 03:14:11 workbean says: I think getting your dick suck must probably feel like a great achievement 03:14:20 What's with all these quotes? 03:14:38 Is this the product of some sort of vandalism? 03:14:44 @quote eat.a 03:14:44 workbean says: I think getting your dick suck must probably feel like a great achievement 03:15:12 @quote eat.a 03:15:12 quicksilver says: [about classes having the same name as constructs in other languages] t's like having a laxative called "after dinner mint", and people being upset when they were looking for something nice to eat after dinner. 03:15:15 @quote eat.a.comment 03:15:15 SamB_XP says: I once saw it eat a comment (:[{- Help! -}]) 03:18:12 Doink, I finally figured out why that one quote matched. 03:18:18 "great achievement" contains the substring "eat a". 03:19:24 One time Cale lost the quote database so I reconstructed it from #haskell logs. 03:19:35 It probably lost and gained a bunch back then. 04:19:20 -!- hppavilion[1] has joined. 04:33:23 <\oren\> ha "must probably" 04:35:17 <\oren\> i wonder how long i can standhere using their interbet[befire im arrested for loitering 04:51:02 Hm... 04:51:13 Is there a maximum possible length for a word in german? 04:51:55 I mean, obviously the words get unwieldy and impractical at some point- even for germans- but is there some actual, grammatical restriction that prevents you from making a word of indefinite length that carries meaning without redundancy? 04:54:39 no hth 04:56:01 oerjan: Are you sure? I wouldn't have thought chess games are necessarily finite either, but they are 04:56:26 chess games have rules against repetition 04:56:55 and less importantly, certain moves that are truly irreversible 04:57:29 (pawn moves and castling) 04:58:00 hppavilion[1]: I think you can make arbitrarily long words pretty easily. 04:59:00 hm wait you said without redundancy 04:59:15 well that's a semantic problem, i'd think 04:59:26 Like "Bierbierbierbierbier". 04:59:33 Meaning "beer beer beer beer beer". 04:59:48 i'd say that looks pretty redundant. 04:59:54 Yup. 04:59:55 `? redundancy 04:59:57 redundancy? ¯\(°​_o)/¯ 05:00:02 What is redundancy? 05:00:22 I guess int-e told us. 05:00:22 `le/rn redundancy/Since redundancy exists, it's redundant for Taneb to invent it. 05:00:28 Learned «redundancy» 05:00:39 i think int-e has had enough time to create it. 05:00:57 Well, if nothing else: if you have a sequence of, say, Graham's number of German affixes all in a row, then there must be at least one sequence of at least one million affixes which appears at least one million times. 05:02:36 but is it redundant if the subterms never repeat in meaning? 05:03:17 What is meaning? 05:04:10 Nullnachfolgernachfolgernachfolgernachfolger 05:04:25 that's 4 hth 05:05:10 (assuming that's the right word for "successor" in this meaning. wiktionary didn't show it in the right place.) 05:26:40 @tell b_jonas On the wiki, one shouldn't create a new page and redirect to it. One should use move, which also moves history. 05:26:40 Consider it noted. 05:28:01 The same thing is true on x86. One should use the mov instruction to move data, rather than copy it. 05:28:14 O KAY 05:29:19 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 05:47:59 -!- dnm has joined. 05:52:07 dnm: ready for another long night of not sleeping? 05:53:25 It turned out not to be that long. 05:53:39 Though late night booze and food did keep me awake until at least around 3:30 AM... 05:54:33 `? dnm 05:54:38 dnm? ¯\(°​_o)/¯ 05:54:57 `learn dnm does not mind. 05:55:05 Hah. 05:55:16 Learned 'dnm': dnm does not mind. 05:55:17 Or do you? 05:58:23 I suppose not. 05:59:49 -!- halvredin has joined. 05:59:53 Woo! I have OpenVMS licenses. 05:59:56 Now for media. 06:12:42 Why are you OpenVMSing? 06:23:23 -!- sewilton has quit (Ping timeout: 250 seconds). 06:24:32 -!- dingbat has quit (Ping timeout: 260 seconds). 06:25:05 -!- ocharles has quit (Ping timeout: 260 seconds). 06:25:07 -!- incomprehensibly has quit (Ping timeout: 250 seconds). 06:25:40 -!- lynn has quit (Ping timeout: 260 seconds). 06:26:22 -!- zgrep has quit (Ping timeout: 260 seconds). 06:28:25 -!- zgrep has joined. 06:29:47 -!- incomprehensibly has joined. 06:30:27 -!- sewilton has joined. 06:32:16 -!- dingbat has joined. 06:32:29 -!- ocharles has joined. 06:34:35 -!- lynn_ has joined. 06:35:17 -!- hppavilion[1] has joined. 06:41:35 -!- lambda-11235 has quit (Quit: Bye). 06:44:42 Fun. 06:44:46 Certainly not profit. 06:44:56 I want a system to hack BLISS in for no real reason. 06:46:50 [wiki] [[Stack Cats]] M https://esolangs.org/w/index.php?diff=47183&oldid=47182 * Martin Ender * (+1) 06:49:53 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=47185&oldid=47157 * Martin Ender * (+17) /* S */ 06:52:26 -!- Kaynato has quit (Ping timeout: 244 seconds). 07:07:16 -!- augur has quit (Remote host closed the connection). 07:12:01 crashsafari.com seems to have managed to troll me 07:24:59 -!- AnotherTest has joined. 07:26:58 -!- AnotherTest has quit (Client Quit). 07:35:49 -!- xkapastel has quit (Quit: Connection closed for inactivity). 07:36:11 -!- J_Arcane has quit (Quit: ChatZilla 0.9.92-rdmsoft [XULRunner 35.0.1/20150122214805]). 07:49:00 -!- _bear has joined. 08:06:50 oerjan: hmm, true. sorry. 08:27:39 -!- MoALTz has joined. 08:34:21 -!- dnm has quit (Ping timeout: 276 seconds). 09:08:38 -!- Frooxius has quit (Quit: *bubbles away*). 09:17:31 -!- _bear has left. 09:31:03 -!- Destructible has joined. 09:31:08 hiiii 09:31:47 anyone? 09:32:06 pls 09:32:32 -!- halvredin has quit (Remote host closed the connection). 09:33:07 hi Destructible 09:33:12 hi 09:33:41 I think I should make a page for the language I thought up 09:33:57 sure why not 09:34:01 Tommy Wicode 09:34:07 that'll be the name 09:35:51 I'm not very good at formatting pages though 09:35:57 this would be my first page 09:39:16 I made the description 09:39:20 what do now 09:39:38 fix the spelling mistakes 09:42:24 what spelling mistakes 09:42:33 ? 09:44:48 ???? 09:44:58 did you leave? 09:46:09 :'( 09:47:04 -!- dnm has joined. 09:48:35 sorry i'm leaving now :P 09:48:41 i was jk about that 09:53:45 ok 10:07:59 -!- Destructible has quit (Quit: Page closed). 10:08:47 -!- Destructible has joined. 10:08:54 back 10:09:32 Hm... what does a 5D cube projected into 4D projected into 3D look like? 10:16:31 -!- oerjan has quit (Quit: Pretty squeezed actually). 10:23:56 -!- Koen_ has joined. 10:26:41 It's still an affine map... so basically it's no different than projecting to 3d in one step; it may come out sheared. 10:29:59 -!- Destructible has quit (K-Lined). 10:31:16 -!- dnm has quit (Ping timeout: 252 seconds). 10:47:27 -!- Destructible has joined. 10:47:36 -!- Destructible has quit (Client Quit). 11:17:13 -!- Akaibu has quit (Quit: Connection closed for inactivity). 11:28:07 -!- idris-bot has joined. 11:32:53 Huh. On a torus, the 4 color theorem becomes the 7 color theorem 11:33:18 -!- boily has joined. 11:44:47 `wisdome 11:44:50 `wisdom 11:45:22 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wisdome: not found 11:45:22 monoidal category//Monoidal categories are just 2-categories with a single object. 11:54:47 -!- Phantom_Hoover has joined. 12:04:46 -!- bender has joined. 12:08:50 -!- gamemanj has joined. 12:18:23 -!- noloveinwaikiki has joined. 12:21:42 -!- boily has quit (Quit: SCHEMATIC CHICKEN). 12:22:58 Hello. I am looking for a user called ehird. He used to hang in this channel years ago. He still does? Or do you know where i can find him? Thanks for help. 12:24:44 -!- MoALTz has quit (Quit: Leaving). 12:27:41 Not since a couple years I think 12:27:52 maybe you can give him my mail address so he can contact me: KasiaWygodna@gmail.com ..oh 12:28:03 okay. 12:28:21 thanks for the info. 12:29:14 :-( 12:32:14 hmmmm 12:32:24 I think they meant literally a couple years 12:32:26 like, 2 12:41:58 wtf, lua 5.3 has labels and goto? I never noticed that. great! 12:43:24 -!- j-bot has quit (Ping timeout: 250 seconds). 12:46:36 *cue raptor invasion* 12:47:19 ...would you like some raptors with that goto? 12:52:59 -!- Koen_ has quit (Remote host closed the connection). 12:53:15 -!- Koen_ has joined. 12:54:12 `? raptor invasion 12:54:22 raptor invasion? ¯\(°​_o)/¯ 12:54:24 `? raptor 12:54:26 raptor? ¯\(°​_o)/¯ 12:54:27 `? raptors 12:54:29 raptors? ¯\(°​_o)/¯ 12:58:18 -!- Phantom__Hoover has joined. 12:59:03 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 13:27:26 `` cd wisdom; grep -r 'goto language' . 13:27:38 No output. 13:27:51 `` cd wisdon; grep -r goto 13:28:13 oops 13:28:15 `` cd wisdom; grep -r 'go.to language' . 13:28:16 `` cd wisdom; grep -r goto 13:28:22 -!- AnotherTest has joined. 13:28:36 ​/hackenv/bin/`: line 4: cd: wisdon: No such file or directory 13:28:50 No output. 13:28:50 ​./forth:Since Biblical times, Forth has been the go-to language for multiplication. 13:29:26 oh, punny. 13:30:22 . o O ( I was hoping for something like: BASIC is the go-to language for structural programming ) 13:31:25 s/structural/structured/ 13:32:26 -!- impomatic_ has joined. 13:46:40 -!- lynn_ has changed nick to lynn. 13:46:53 -!- lynn has quit (Changing host). 13:46:53 -!- lynn has joined. 13:46:53 -!- lynn has quit (Changing host). 13:46:53 -!- lynn has joined. 13:56:56 -!- xkapastel has joined. 14:07:25 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 14:08:16 -!- sheldon has joined. 14:13:36 -!- mroman has joined. 14:13:48 What happens to entropy when you do average? 14:14:07 For example let's say a symbol has 24bit of information 14:14:11 and it's an integer 14:14:20 (so there are 2^24 symbols) 14:14:31 what's the entropy of the average of n such integers? 14:16:19 n*24 bits... if you keep their order 14:17:13 and more importantly, if the symbols are independent 14:37:04 that can't be 14:37:18 The average of 4 binary numbers (0..1) 14:37:53 there are 16 ways 14:38:01 15 of those will result in a white pixel 14:38:06 1 will result in a black pixel 14:38:10 at least with integer division 14:38:26 so the entropy is 0.337 14:38:43 if you use like if the sum >= 2 then it's 1 else 0 14:38:48 you still have less than 1 bit of entropy 14:40:37 a grayscale 8bit 2x2 pixel image has 32bit entropy right? 14:41:09 assuming that every pixel is equally likely to occur 14:42:18 if you use 4bit grayscale you have 16bit of information in a 2x2 pixel image 14:42:36 if you take the average you should be left with 3.26bits of entropy 14:43:48 which is weird because if you don't take the average but just the top left pixel 14:44:01 I'd exect the resulting 1x1 pixel to have 4bits of information 14:44:03 *expect 14:44:42 mroman: Ah I didn't parse your question correctly. 14:44:57 Technically the question is we have an image and we scale it down 14:45:13 what will loose more information: doing average of 2x2 blocks or selecting top-left pixel of 2x2 blocks 14:45:36 and we reduced that problem to "let's look at just a 2x2 pixel image" 14:45:58 but since pixels are just integers :) 14:46:05 rgb is just a 24bit integer 14:46:09 -!- sheldon has quit (Quit: leaving). 14:46:16 also the assumption is that every pixel is equall likely to occur 14:46:51 so naively we said that one pixel in a black-white image has 1 bit of information 14:47:02 so selecting the top-left pixel of a 2x2 image will result in an image with 1 bit of information 14:47:40 however, doing average will result in 0.337 bits (because then in the scaled down image black occurs 15 more often than white) 14:47:53 which is due to integer rounding 14:48:22 -!- lambda-11235 has joined. 14:48:27 so we tried it with 4bits 5bits etc 14:49:50 -!- nycs has joined. 14:50:11 and the question is: does the average contain the same amount of information as selecting the top-left pixel 14:50:56 it looks like for more bits the rounding stuff gets smaller and you eventually end up with the same amount of information 15:01:16 -!- noloveinwaikiki has quit (Quit: Connection closed for inactivity). 15:02:03 -!- Sgeo_ has quit (Ping timeout: 240 seconds). 15:02:28 well, an easy estimate is that the sum of 4 8-bit numbers contains between 8 and 10 bits of information; dividing by 4 loses up to 2 bits of information so you'll have between 6 and 8 bits left. 15:17:39 the actual value before rounding is 9.250423023523387 bits 15:24:15 -!- Koen_ has quit (Remote host closed the connection). 15:24:21 and the rounding loses close enough to 2 bits that you probably won't care. 15:35:01 How, exactly, does 9.250423... of a bit work? 15:35:10 What happens to the .250423? 15:52:34 -!- coppro has quit (Quit: leaving). 15:53:04 -!- coppro has joined. 15:55:24 gamemanj: if you have a binary value that's on with probability 2/3 and off with probability 1/3 then that represents (about) 0.9183 bits of information... one interpretaion of that number is that if you take 10000 independent of these numbers then they can be represented using 9183 (plus a few) bits, on average. 15:55:44 `unicode U+0130 15:55:45 ​İ 15:57:30 gamemanj: if you're mathematically minded, you could try reading the Shannon 1948 paper, it's quite nice. 15:59:28 shannon himself forbade non mathematically minded people from reading it 15:59:34 but now he's dead so i guess it's fine 16:00:13 izabera: I haven't read the original paper, but information theory is sufficiently classic now that there are very good tertiary source textbooks and courses 16:00:26 explaining the fundations 16:00:32 `? goto 16:00:34 goto? ¯\(°​_o)/¯ 16:00:37 `? gosub 16:00:38 -!- Akaibu has joined. 16:00:38 gosub? ¯\(°​_o)/¯ 16:02:29 izabera: wait, "shannon himself forbade non mathematically minded people from reading it"... did he, really? 16:02:47 `? shannon 16:02:49 shannon? ¯\(°​_o)/¯ 16:03:04 I just wrote "mathematically minded" because it is quite formal. 16:03:23 `learn Shannon forbade non mathematically minded people from reading his research papers. Taneb invented it. 16:03:26 Learned 'shannon': Shannon forbade non mathematically minded people from reading his research papers. Taneb invented it. 16:03:38 and more formal than it really needs to be if you're just interested in computing entropies. 16:03:47 -!- hppavilion[1] has joined. 16:19:00 -!- Koen_ has joined. 16:22:26 -!- augur has joined. 16:40:52 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 16:50:59 -!- Reece` has joined. 17:29:08 -!- jaboja has joined. 17:34:17 -!- jaboja has quit (Ping timeout: 260 seconds). 17:46:06 -!- jaboja has joined. 18:05:22 -!- hwpplayer1 has joined. 18:05:56 `seen gregor 18:06:10 ls: cannot access /var/irclogs/_esoteric/????-??-??.txt: No such file or directory \ not lately; try `seen gregor ever 18:06:28 Hmmm... has anyone seen gregor lately? 18:07:04 -!- bender has quit (Quit: Leaving). 18:26:53 -!- Kaynato has joined. 18:26:57 -!- Koen_ has quit (Remote host closed the connection). 18:27:10 -!- bdbdbjc has joined. 18:31:36 -!- bdbdbjc has quit (Ping timeout: 250 seconds). 18:47:57 -!- jaboja has quit (Ping timeout: 276 seconds). 18:55:39 -!- kline has quit (Max SendQ exceeded). 18:57:50 -!- Koen_ has joined. 19:01:15 -!- kline has joined. 19:39:23 `? with my own two hands 19:39:24 with my own two hands? ¯\(°​_o)/¯ 19:43:49 are they dark and cold? 19:43:59 dark, but probably nt cold 19:44:34 `? house 19:44:37 house? ¯\(°​_o)/¯ 19:44:38 `? stink 19:44:39 stink? ¯\(°​_o)/¯ 19:44:43 will carlsen lose another game on time today? 19:44:56 no idea 19:45:33 b_jonas: Why do you `? things like that? 19:46:05 house sounds like something we might have a wisdom entry for 19:46:58 at the very least it could allude mysteriously to http://programatica.cs.pdx.edu/House/ 19:47:08 and I'm sure there are other interesting houses 19:49:35 -!- spiette has joined. 20:05:10 -!- `^_^ has joined. 20:06:27 -!- nycs has quit (Ping timeout: 264 seconds). 20:06:36 `` cd wisdom; echo *root* 20:06:40 ​*root* 20:26:48 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 20:31:35 -!- Reece` has quit (Read error: Connection reset by peer). 20:44:30 -!- `^_^ has quit (Quit: This computer has gone to sleep). 20:45:09 -!- `^_^ has joined. 20:48:17 -!- vague_ has joined. 20:48:40 -!- vague_ has changed nick to Guest58767. 20:52:49 -!- S1 has joined. 20:52:59 -!- S1 has quit (Client Quit). 20:54:47 -!- Guest58767 has quit (Quit: Leaving). 21:11:03 -!- moon_ has joined. 21:11:09 im offically dumping codeblocks >_> 21:11:27 In favour of..? 21:12:18 Eclipse C++, codeblocks's compiler is broken in every way, including missing standard library components (curse you atoi!) 21:14:12 Eclipse needs faster mirrors >_> 21:14:42 virtualbox, which is about the same size as eclipse C++, downloads much faster 21:16:59 -!- dnm has joined. 21:17:00 -!- Melvar has quit (Quit: WeeChat 1.4). 21:17:18 -!- Melvar has joined. 21:18:01 -!- idris-bot has quit (Ping timeout: 240 seconds). 21:19:25 didnt esoteric use to have a forum? 21:21:37 -!- dnm has quit (Client Quit). 21:27:32 -!- mroman has quit (Ping timeout: 250 seconds). 21:30:08 -!- moon_ has quit (Ping timeout: 250 seconds). 21:31:00 -!- Kaynato has quit (Ping timeout: 246 seconds). 21:56:04 -!- jaboja has joined. 22:16:13 `? `? 22:16:23 ​`? ¯\(°​_o)/¯ 22:16:34 `learn `? is the command to query wisdom entries. 22:16:40 Relearned '`': `? is the command to query wisdom entries. 22:16:41 `? `? 22:16:42 ​`? ¯\(°​_o)/¯ 22:16:44 damn 22:16:46 `before 22:16:47 `revert 22:16:56 uh oh, rice condition 22:17:01 sorry 22:17:22 wisdom/`//` is the prefix to greatness. 22:17:25 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 22:17:29 `? ` 22:17:31 ​` is the prefix to greatness. 22:17:34 `slashlearn `?/`? is the command to query wisdom entries. 22:17:39 Relearned «`?» 22:17:41 `? `? 22:17:42 ​`? is the command to query wisdom entries. 22:17:44 `? ` 22:17:46 ​` is the prefix to greatness. 22:17:56 wait, why relearned? 22:18:36 `? vim 22:18:37 `? emacs 22:18:37 http://codu.org/projects/hackbot/fshg/index.cgi/rev/3540a712fd40 22:18:38 vim equals to approximately ccxxxxxxxxviin. 22:18:39 emacs is the weird brother of nano. 22:19:04 shachaf: hmm, strange 22:19:09 maybe I shouldn't have replaced that? 22:19:27 `culprits wisdom/`? 22:19:35 wasn't me 22:19:36 b_jonas int-e ais523 oerjan hppavilion1_ oerjan oerjan elliott oerjan JWinslow23 JWinslow23 JWinslow23 Roujo Roujo Bike FreeFull ais523 ais523 oerjan boily boily elliott FreeFull GreyKnight GreyKnight 22:19:50 `1 hoag 'wisdom/`?' 22:19:58 1/3: slashlearn `?/`? is the command to query wisdom entries. \ revert accbc9c5c7ec \ echo wisdom/* | shuf | head -n 10 | xargs rm \ revert \ learn `? Woooooooooow you\'re sooooooooooooooooooooo metaaaaaaaaa- No. \ sed -i \'s/\xc2\xb0/\xc2\xb0\xe2\x80\x8b/\' wisdom/\'`?\' \ 22:20:30 `spam 22:20:32 2/3: revert \ revert 1 \ revert 3875 \ learn `? `? \ learn `? `? `? \ learn `? `? \ learn `? \xc2\xaf\\(\xc2\xb0_o)/\xc2\xaf \ learn `? is `? is `? \ revert \ for x in wisdom/*; do rev "$x" > "$x"a; mv "$x"a "$x"; done \ reve 22:20:46 ``` sed '' bin/1 22:20:47 ​\` "$@" | sport 22:20:50 Hi 22:21:12 `spam 22:21:14 3/3:rt 87c64ef250a0 \ revert 3 \ revert 1934 \ rm wisdom/`? \ learn `? `? `? \ revert 1492 \ revert 4 \ echo \'See `? for further details.\' > \'wisdom/`?\' \ \'See `? for further details.\' > \'wisdom/`?\' \ 22:21:17 ``` sed '' bin/2 22:21:18 sed: can't read bin/2: No such file or directory 22:21:54 -!- gamemanj has quit (Ping timeout: 250 seconds). 22:21:58 -!- Kaynato has joined. 22:21:59 `? sed 22:22:00 `? awk 22:22:01 sed? ¯\(°​_o)/¯ 22:22:02 awk? ¯\(°​_o)/¯ 22:22:24 `? radio 22:22:26 radio? ¯\(°​_o)/¯ 22:23:08 -!- augur has quit (Remote host closed the connection). 22:24:02 -!- moon_ has joined. 22:24:03 -!- augur has joined. 22:24:48 `? can't 22:24:50 can't? ¯\(°​_o)/¯ 22:28:26 -!- augur has quit (Ping timeout: 250 seconds). 22:29:18 `learn can't is the most frequent word whose pronunciation varies between /ɑː/ and /æ/ depending on dialect. The list is: advance after answer ask aunt brass can't cast castle chance class command dance demand draft enhance example fast father glass graph grass half last laugh mask master nasty pass past path plant rather sample shan't staff task vast 22:29:23 Learned 'can't': can't is the most frequent word whose pronunciation varies between /ɑː/ and /æ/ depending on dialect. The list is: advance after answer ask aunt brass can't cast castle chance class command dance demand draft enhance example fast father glass graph grass half last laugh mask master nasty pass past path plant rather sample shan't 22:29:29 `? can't 22:29:30 can't is the most frequent word whose pronunciation varies between /ɑː/ and /æ/ depending on dialect. The list is: advance after answer ask aunt brass can't cast castle chance class command dance demand draft enhance example fast father glass graph grass half last laugh mask master nasty pass past path plant rather sample shan't staff task vast 22:31:07 father? 22:31:13 That seems dubious. 22:32:25 shachaf: dunno, some of them might be wrong 22:32:34 I don't know a definitive list 22:32:49 shachaf: if you know a better list, please tell me 22:33:25 (these are only the more common words. there are lots of rarer ones.) 22:34:20 `sled wisdom/can't//s.The.A. 22:34:23 wisdom/can't//can't is the most frequent word whose pronunciation varies between /ɑː/ and /æ/ depending on dialect. A list is: advance after answer ask aunt brass can't cast castle chance class command dance demand draft enhance example fast father glass graph grass half last laugh mask master nasty pass past path plant rather sample shan't staf 22:34:34 shachaf: hehe, yes, good idea 22:34:55 sled is TG 22:35:14 "TG"? 22:35:17 too good 22:35:22 I kind of want to record statistics about all commands to see which are used most often. 22:35:29 `wisdom 22:35:31 `? statistics 22:35:32 `? politics 22:35:33 `? lies 22:35:37 Why are you doing that? 22:35:37 wisdom//wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø? 22:35:44 statistics? ¯\(°​_o)/¯ 22:35:45 politics? ¯\(°​_o)/¯ 22:35:45 Lies are even easier than monoids. They form groups, known as Lie groups. 22:35:45 You know they're all going to come up not found. 22:35:51 Except for lies. 22:36:05 -!- moon__ has joined. 22:36:09 im making a openbsd bot for fun, should i bring it here? 22:36:21 moon__: dunno, maybe? 22:36:28 depends on how annoying it is 22:36:38 Singleline 22:36:38 I have a prediction. 22:36:44 im not gonna terrorize the chat lol 22:36:49 That's what you do. 22:36:52 -!- moon_ has quit (Ping timeout: 250 seconds). 22:37:05 eh true 22:37:20 as long as the bot is not abused to do it, it should be fine 22:37:35 moon__: wait, I'll help, I'll go to sleep, and while I'm away you can safely bring the bot in, I won't be terrorizing the channel with it 22:37:43 just make sure you take it down again in the morning 22:37:46 g'nite 22:37:48 haha 22:37:50 lol 22:38:48 it has a 16 gig harddrive space and network access 22:38:51 `? tanebvention 22:38:53 Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, necessity, the torus, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, histograms, the BBC, progress, and this sentence. He never invents anything involving sex. 22:39:47 note that due to openbsd limitations, you *may* run out of space in some of the folders 22:39:56 i.e once im done unpacking ports 22:40:47 -!- `^_^ has quit (Quit: This computer has gone to sleep). 22:42:03 you also have 1 gb of ram, i cant give too much lol 22:42:17 Can you give 0? 22:42:46 i can give less than 1 gig 22:42:49 but im gonna be nice 22:44:04 usr dir is a little small 22:46:29 also, if anyone causes problems, ill be on standby to fix them (if i can) :P 22:50:27 `? FreeFull 22:50:29 FreeFull is either full of freedom or free of fulldom, we are not sure. 22:50:34 -!- hwpplayer1 has quit (Read error: Connection reset by peer). 22:56:10 openbsd didnt install correctly >_> 22:56:21 why, i dont know 22:56:24 -!- jaboja has quit (Ping timeout: 246 seconds). 22:56:57 wait nvm 22:57:23 nvm, just forgot to eject the install disk 23:06:07 anyways, is there a good way to allow the irc bot to call commands over ssh? 23:14:22 nvm 23:16:53 -!- Sgeo_ has joined. 23:17:03 sgello 23:38:39 well, i have the openbsd enviorment running, but i cant figure out how to get a bash irc bot to work. 23:39:45 moon__, ii? 23:39:58 ? 23:40:02 -!- oerjan has joined. 23:40:12 and what is ii sgeo? 23:40:40 A tool to allow creation of IRC bots that just manipulate the filesystem 23:40:44 http://tools.suckless.org/ii/ 23:41:06 ii is wonderful 23:41:52 i,i ii see 23:42:54 thanks! 23:47:27 that's too many i's 23:50:24 lol 23:50:49 to get hexbot started, for now, im gonna modify ii-bot, ill make a custom system in the future 23:59:46 and ksh hates iibot 23:59:52 *sigh*