←2016-06-08 2016-06-09 2016-06-10→ ↑2016 ↑all
00:03:03 -!- oerjan has joined.
00:03:19 <hppavilion[1]> Someone made a door in Minecraft that takes 13 hours to open or close
00:03:38 -!- clog has joined.
00:04:17 <oerjan> argh
00:04:21 <oerjan> missing an hour
00:06:10 <shachaf> do you want the last hour of logs
00:06:13 <oerjan> oh well, it was probably crap anyway hth
00:06:23 <shachaf> they're in my terminal
00:06:27 <shachaf> shall i copy and paste them to you
00:07:05 <oerjan> yes please
00:07:07 <hppavilion[1]> oerjan: sour grapes tsk tsk etc.
00:08:23 <oerjan> shachaf++
00:08:35 <shachaf> oerjan: hth
00:08:37 <shachaf> oerjan is addicted to logreading
00:09:29 <oerjan> I CAN QUIT ANY TIME I WANT
00:09:40 <oerjan> it's the wanting part that's hard
00:09:53 <shachaf> you only say that because you know that even if you quit, logs will be available
00:10:07 <oerjan> curses
00:10:18 <int-e> oerjan: so how often have you quit reading the logs so far?
00:10:26 <hppavilion[1]> Is there a 12-step program for this?
00:10:39 <oerjan> int-e: i dunno, but sometimes they're just too damn long
00:11:26 <hppavilion[1]> 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 <Koen_> couldn't you make a bot read them for you?
00:11:46 <oerjan> hppavilion[1]: i'm not sure tunes is in canada, or not.
00:11:56 <hppavilion[1]> oerjan: It probably is; most servers seem to be in my experience
00:11:59 <Koen_> and make a list of topics that were addressed
00:12:03 <oerjan> huh
00:12:10 <hppavilion[1]> Koen_: Oh, wait, this might actually work
00:12:19 <oerjan> Koen_: one that strips MtG discussion would be nice.
00:12:33 <Koen_> well that's easy
00:12:41 <hppavilion[1]> 2) Believe that the great fungot can make you not addicted to logreading; of course, you can't do it yourself
00:12:41 <fungot> 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 <Koen_> just censor out zzo and oren
00:12:55 <hppavilion[1]> (I'm doing the whole thing. Deal with it)
00:12:57 <oerjan> Koen_: i think you're misspelling b_jonas somewhere
00:13:07 <hppavilion[1]> Wow, that was really coherent, fungot
00:13:07 <fungot> hppavilion[1]: but your microexpressions aren't linearized, so you
00:13:23 <Koen_> yeah, typical of you
00:13:47 <hppavilion[1]> 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 <fungot> hppavilion[1]: paganini looks tasty when they're made of some fnord messages. :p
00:14:08 <hppavilion[1]> 4) Make a searching and fearless moral inventory of yourself (whatever the hell that means)
00:15:21 <hppavilion[1]> 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 <fungot> hppavilion[1]: you mean regular expressions? i'm confused... how did that happen?
00:15:38 <oerjan> shachaf: as i said, crap, but thanks anyway
00:15:53 <hppavilion[1]> 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 <shachaf> oerjan: I didn't even read them.
00:16:04 * oerjan grins mani^Wadjectivally
00:16:05 <hppavilion[1]> 7) Humbly ask fungot to remove your shortcomings
00:16:22 <shachaf> `? oerjan
00:16:34 <hppavilion[1]> 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 <HackEgo> 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 <shachaf> `sled wisdom/oerjan//s/adjectival/renouned/
00:17:29 <HackEgo> 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 <hppavilion[1]> 9) for person in people_we_hurt: if not dangerous: you.make_amends(person)
00:17:57 <hppavilion[1]> 10) Continue to take personal inventory (seriously, what does that even mean?) and admit it when you were wrong
00:18:21 <shachaf> I think you're spamming the channel a bit here.
00:18:29 <shachaf> So much that my brilliant puns are being missed.
00:18:36 <hppavilion[1]> shachaf: Don't worry, it's only 2 more steps
00:18:46 <oerjan> hppavilion[1]: i suddenly have a hunch you might also read aaronson's blog
00:18:55 <hppavilion[1]> 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 <quintopia> helloerjan. how goes the megalomania?
00:19:05 <hppavilion[1]> 12) Evangelize.
00:19:16 <hppavilion[1]> oerjan: Never heard of this aaronson
00:19:52 <hppavilion[1]> Oh, I appear to have read his blog before, but not consistently
00:20:55 <shachaf> 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 <shachaf> Scarcely even a swat or a pan
00:21:26 <Phantom_Hoover> what is that from shachaf
00:21:31 <shachaf> The Hunting of the Snark
00:21:35 <shachaf> http://literature.org/authors/carroll-lewis/the-hunting-of-the-snark/chapter-03.html
00:21:36 <Phantom_Hoover> ah, right
00:21:42 <shachaf> "antediluvian" is in the original.
00:21:49 <oerjan> <shachaf> So much that my brilliant puns are being missed. <-- have no fair -----###
00:22:29 <oerjan> . o O ( does cackling count as reverbing? )
00:23:30 <int-e> are we reverb-berating?
00:24:04 <quintopia> that one deserves a high five
00:24:47 <oerjan> <quintopia> helloerjan. how goes the megalomania? <-- humongously great hth
00:25:21 <quintopia> is that how that is spelled?
00:26:02 <quintopia> the oatmeal has a lot of great dumb joke
00:26:03 <quintopia> s
00:26:20 <quintopia> such as: A cannibal went for a walk and passed his brother.
00:26:43 <quintopia> or: What does a cannibal do after dumping his girlfriend? Wipe.
00:27:08 <int-e> @devils cannibal
00:27:09 <lambdabot> *** "cannibal" devil "The Devil's Dictionary (1881-1906)"
00:27:09 <lambdabot> CANNIBAL, n. A gastronome of the old school who preserves the simple
00:27:09 <lambdabot> tastes and adheres to the natural diet of the pre-pork period.
00:27:09 <lambdabot>
00:28:18 <oerjan> <quintopia> that one deserves a high five <-- which one, there's a whole diluvian channel of puns here
00:28:23 <quintopia> i suppose no one can compete with Bierce
00:28:31 <quintopia> oerjan: reverb-berating
00:28:46 <oerjan> OKAY
00:29:15 <quintopia> and now my other canadian friend is retweeting terrible puns
00:29:35 <quintopia> it must be #WordplayWednesday
00:30:01 <quintopia> what's the difference between magicians and behaviorists?
00:30:36 <shachaf> oerjan: Well, *someone* didn't like being called antidiluvian for some reason.
00:31:35 <quintopia> he's not against floods. he's against pickled art museums
00:32:37 <int-e> oh that magician thing is terrible, perfect for this channel
00:32:38 <oerjan> i'm not quite sure, but are you claiming i'm anti-le-louvrian
00:32:54 <quintopia> anti-dill-louvrian
00:32:59 <oerjan> aha
00:33:36 <quintopia> int-e: are you calling us a bunch of rats?
00:34:11 * oerjan still waiting for at least one punchline
00:34:15 <int-e> no, I'm just calling the general level of puns here terrible...
00:34:52 <int-e> "A behaviorist is someone who pulls habits out of rats."
00:35:00 <quintopia> 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 <int-e> 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 <quintopia> The latest Pew survey reports that the U.S. would prefer way more laser gun sound effects.
00:38:39 <oerjan> ...
00:39:04 <quintopia> what? i know you already broke your back, and i'm standing way over here
00:39:34 <oerjan> precisely
00:39:56 <int-e> @devils telephone
00:39:57 <lambdabot> *** "telephone" devil "The Devil's Dictionary (1881-1906)"
00:39:57 <lambdabot> TELEPHONE, n. An invention of the devil which abrogates some of the
00:39:57 <lambdabot> advantages of making a disagreeable person keep his distance.
00:39:57 <lambdabot>
00:40:44 * oerjan ponders putting rocket boosters on the lawn chair. later.
00:41:31 <int-e> 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 <quintopia> maybe just balloons?
00:42:36 <int-e> oh, Up!
00:42:58 <oerjan> int-e: i mean "on" in the generic sense hth
00:43:20 <quintopia> oerjan: you're liable to be crushed no matter how you install them hth
00:43:35 <oerjan> true, but not _before_ activating them
00:43:50 <quintopia> fair
00:43:51 * oerjan reconsiders.
00:44:11 <oerjan> no balloons, i can already see the drawbacks of that.
00:44:40 <quintopia> too bad. a chair tied to 99 red balloons has a built-in theme song
00:44:50 <oerjan> _and_ a nuclear war.
00:45:18 <oerjan> i'd like not to start that until after i built the bomb shelter.
00:45:24 <quintopia> ah right
00:45:48 <quintopia> as it happens, it would take 850 regular helium party balloons to lift a cat
00:47:29 <quintopia> about 106,000 3ft diameter helium balloons to lift an Up-sized house
00:50:24 <int-e> I was hoping to find a what if on the topic... but apparently not...
00:50:37 <oerjan> i thought there was already one
00:50:39 <hppavilion[1]> wait, the TELEPHONE is an invention of the devil?
00:50:42 <oerjan> (not cats, but balloons)
00:50:43 <hppavilion[1]> But... but that means...
00:50:53 <int-e> at least there's http://www.snopes.com/travel/airline/walters.asp
00:51:02 <hppavilion[1]> BURN TANEB! BURN HIM AT THE STAKE!
00:51:12 <Taneb> Why this time
00:51:14 <oerjan> hppavilion[1]: don't try to extract meaning from the devil's actions, that only traps you further hth
00:51:33 <oerjan> `? telephone
00:51:41 <Taneb> hppavilion[1], not everything was invented by me
00:51:52 <quintopia> any time there is any suggestion of deviltry or witchery, taneb is surely involved
00:51:53 <HackEgo> telephone? ¯\(°​_o)/¯
00:51:54 <hppavilion[1]> `? tanebventions
00:51:57 <HackEgo> 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 <quintopia> that is a self-contradictory wisdom
00:52:22 <hppavilion[1]> Taneb: The telephone was a result of progress
00:52:33 <hppavilion[1]> Invention is transitive
00:52:45 <oerjan> quintopia: are you implying everything involves sex tdnh
00:52:45 <hppavilion[1]> Therefor Taneb is stan
00:52:53 <quintopia> "Tanebventions include...the universe...He never invents anything involving sex."
00:52:56 <oerjan> hppavilion[1]: we already established it's not hth
00:53:02 <hppavilion[1]> oerjan: I wouldn't deny it
00:53:04 <quintopia> oerjan: at the very least the universe involves sex
00:53:10 <hppavilion[1]> oerjan: And who told us that?
00:53:12 <oerjan> shocking
00:53:15 <Taneb> quintopia, sex was an emergent property of the universe
00:53:21 <Taneb> Not my fault
00:53:41 <hppavilion[1]> Taneb: And submarine jousting?
00:53:54 <shachaf> `? necessity
00:53:58 <HackEgo> If necessity did not exist, it would be necessary for Taneb to invent it.
00:54:21 <quintopia> 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 <quintopia> hppavilion[1]: very little sexy about the BBC
00:54:59 <hppavilion[1]> quintopia: Yeah, let's keep it that way
00:55:11 <Taneb> quintopia, no, emergent
00:55:18 <Taneb> Like, I don't think Langton invented highways
00:55:24 <quintopia> too late. rule 34 is has already emergent propertied it
00:55:39 <hppavilion[1]> Waaaait
00:55:41 <oerjan> `? rule 34
00:55:46 <quintopia> Taneb: no, they came via magic
00:55:46 <HackEgo> rule 34? ¯\(°​_o)/¯
00:55:55 <hppavilion[1]> I think that "taneb never invents anything involving sex" is contradictory with rule 34
00:56:05 <Taneb> I disagree
00:56:10 <quintopia> hppavilion[1]: no contradiction
00:56:18 <quintopia> the internet invents the sex parts
00:56:28 <oerjan> `? taneb
00:56:28 <shachaf> I think you ought to respect Taneb's wishes vis-à-vis inventions.
00:56:30 <HackEgo> 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 <oerjan> `? tanebventions
00:56:39 <HackEgo> 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 <shachaf> Taneb: Is it cube root of (eight genders), or (cube root of eight) genders?
00:57:03 <hppavilion[1]> 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 <quintopia> yes
00:57:32 <shachaf> hppavilion[1]: have you considered that necessity is the mother of invention
00:57:39 <tswett> Hey, here's a Discord channel invite. https://discord.gg/013N9FTwO1RhOJgxs
00:57:44 <Taneb> shachaf, yes
00:57:47 <hppavilion[1]> quintopia: So (P1) bans Taneb inventing e.g. a wage gap?
00:58:09 <tswett> For anyone who might happen to want to join for whatever reason.
00:58:12 <Taneb> hppavilion[1], gender and sex refer to distinct concepts hth
00:58:20 <shachaf> Taneb: or do they
00:58:21 <hppavilion[1]> Taneb: Yes, but I used gender to clarify
00:58:25 <quintopia> wage gap is definitely not a thing on the list. though apparently magical wage gaps coming emergently from tanebventions is plausible
00:58:42 <hppavilion[1]> Taneb: Because I don't feel like we constantly need to take that into account in everyday conversation
00:58:57 <oerjan> `sled wisdom/tanebvention//s/.$/, although rule 34 keeps sabotaging him./
00:59:02 <HackEgo> 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 <oerjan> darn
00:59:09 <oerjan> `revert
00:59:14 <oerjan> TOO MANY INVENTIONS
00:59:25 <hppavilion[1]> oerjan: Perhaps we just need to move it to a wikipage
00:59:36 <oerjan> hppavilion[1]: no.
00:59:37 <hppavilion[1]> `? hpstructions
00:59:44 <quintopia> there is no #esoteric wiki
00:59:50 <quintopia> and there does not need to be one
01:00:08 <int-e> the road to hell is paved with good inventions? ... there should be room for a second pun to offset the first...
01:00:45 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
01:00:50 <HackEgo> hpstructions? ¯\(°​_o)/¯
01:00:51 <shachaf> Taneb: OK, Taneb, time to uninvent some things.
01:00:53 <quintopia> the road to porthello
01:00:54 <hppavilion[1]> :,(
01:01:12 <int-e> `? inventory
01:01:12 <shachaf> `? lem
01:01:28 <shachaf> Taneb: In the Lem tradition, please start with things that start with the letter N.
01:01:54 <Phantom_Hoover> there's room for more tanebventions, just not for dumb comments that aren't tanebventions
01:02:02 <quintopia> what about Lem? you mean the author of "Solaris", right?
01:02:17 <int-e> law of excluded middle seems more likely
01:02:32 <shachaf> I meant the author, yes.
01:02:40 <shachaf> http://english.lem.pl/works/novels/the-cyberiad/146-how-the-world-was-saved
01:02:40 <int-e> mm
01:03:05 <shachaf> A truly ngevd machine.
01:03:51 <int-e> fair enough
01:04:11 <HackEgo> No output.
01:04:23 <shachaf> Taneb: please read the above story hth
01:04:57 <HackEgo> Stanisław Lem was a Polish logician who discovered the law of excluded middle.
01:06:55 <HackEgo> [wiki] [[Stack Cats]] https://esolangs.org/w/index.php?diff=47182&oldid=47180 * Timwi * (+147) /* External Resources */ Esoteric IDE
01:10:31 <int-e> unsurprisingly the sodium joke did not translate well into german...
01:22:34 <hppavilion[1]> In theory, 93% of sentences starting with "You know what they say" should end there
01:24:18 <quintopia> what is the german word for sodium
01:26:10 <int-e> natrium
01:27:35 <shachaf> Did you read that story in German originally?
01:27:57 <shachaf> s/s/S/
01:28:09 <int-e> 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 <quintopia> did they change sodium to some other substance?
01:30:53 <quintopia> it would only help to do so
01:30:53 <oerjan> . o O ( didn't lem write in polish, anyway )
01:31:11 <quintopia> i don't think...?
01:31:29 <oerjan> surely.
01:32:57 <oerjan> "The Polish version was first published in 1965, with an English translation appearing in 1974."
01:33:01 <int-e> of course he did
01:34:01 <quintopia> ok
01:35:41 <oerjan> some guy has added the story titles to wikipedia - but only in polish
01:36:30 <oerjan> well, nearly only
01:38:22 <oerjan> 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 <shachaf> `? typoglycerine
01:41:49 <HackEgo> Typoglycerine is an explosive that scrambles the letters inside a word.
01:42:24 <shachaf> `? tanebvention
01:42:25 <HackEgo> 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 <shachaf> `? stephen wolfram
01:42:56 <HackEgo> Stephen Wolfram is an esolanger with too much money and power. Taneb invented him.
01:42:57 <shachaf> `? weetoflakes
01:42:58 <HackEgo> Weetoflakes are something Taneb invented; they taste sort of purple.
01:43:15 <shachaf> Taneb: You know, I always figured weetoflakes were a sort of fish food.
01:43:28 <oerjan> looks that there are many languages both with natr- and sod-
01:43:29 <Taneb> shachaf, they're just a mix of two breakfast cereals
01:43:39 <shachaf> `? the universe
01:43:41 <HackEgo> The universe was invented by Taneb as an opposing force to oerjan.
01:43:42 <Taneb> Weetos and Cornflakes
01:44:00 <shachaf> I never heard of weetos.
01:44:11 <shachaf> Presumably cornflakes are just flakes of maize.
01:44:13 <Taneb> I'm not sure if they're sold outside the UK?
01:44:19 <shachaf> Where does the purple come from?
01:44:24 <Taneb> Synesthesia
01:44:44 <shachaf> `? gazpacho
01:44:47 <HackEgo> You like Gazpacho and I like Gaspacho. Let's call the whole thing off!
01:45:03 <shachaf> Taneb: Did you actually invent gazpacho?
01:45:08 <Taneb> I did not
01:45:09 <shachaf> It doesn't seem like your style.
01:45:11 <shachaf> Oh.
01:45:17 <oerjan> we do have weetos in norway
01:45:20 <shachaf> Then why is it listed in tanebventions?
01:45:24 <Taneb> Beats me
01:45:27 <shachaf> `sled wisdom/tanebvention//s/gazpacho, //
01:45:33 <Taneb> oerjan, do you have cornflakes?
01:45:35 <HackEgo> 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 <oerjan> yes
01:45:45 <Taneb> oerjan, have you tried weetoflakes?
01:45:47 <shachaf> `? D-modules
01:45:49 <oerjan> no.
01:45:49 <HackEgo> D-modules are just modules over the ring of differential operators. Taneb invented them.
01:45:59 <oerjan> i don't usually eat breakfast cereal
01:46:40 <Koen_> `? torus
01:46:43 <HackEgo> Topologically, a torus is just a torus. Taneb invented it.
01:47:05 <Taneb> I haven't had weetos, and by extension weetoflakes, for years :(
01:47:49 <oerjan> `? klein bottle
01:47:51 <HackEgo> klein bottle? ¯\(°​_o)/¯
01:48:28 <oerjan> `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 <shachaf> `? automatic squirrel feeder
01:48:40 <HackEgo> Automatic squirrel feeders are just feeders in the category of automatic squirrels. Taneb invented them.
01:48:42 <HackEgo> Learned «klein bottle»
01:48:52 <Koen_> `? go
01:48:54 <HackEgo> Go is a common verbal game programming language invented by the Germanic Taneb tribes in the strategic territories of East Asia.
01:48:56 <shachaf> oerjan++ # insidious
01:49:11 <Koen_> nice
01:49:14 <int-e> inside : outside :: insidious : outsidious?
01:49:30 <shachaf> `? klein bottle
01:49:33 <shachaf> oerjan: foiled by the slashes hth
01:49:33 <HackEgo> ​/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 <oerjan> argh
01:50:13 <oerjan> `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 <HackEgo> Relearned «klein bottle»
01:50:33 <shachaf> could've just `sedlast s'.''
01:50:52 <shachaf> Hmm, `sedlast ss.ss
01:51:13 <oerjan> <shachaf> oerjan++ # insidious <-- argh. i _told_ you i sometimes pun without noticing, but you had to remove it...
01:52:37 <int-e> . o O ( despite their name, Klein bottles come in all sizes )
01:52:39 <oerjan> or did you
01:52:48 <oerjan> `? oerjan
01:52:50 <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.
01:53:04 <oerjan> you did.
01:53:07 <int-e> renound. hmm.
01:53:21 <oerjan> int-e: used to be adjectival
01:53:57 <int-e> `? boily
01:53:57 <hppavilion[1]> 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 <HackEgo> ​"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 <hppavilion[1]> What is #esoteric's traditional river-crossing puzzle?
01:55:39 <quintopia> are confusion and amusement moods? if not moods then what?
01:56:10 <Taneb> quintopia, emotions, maybe?
01:56:13 <oerjan> hppavilion[1]: there isn't one hth
01:56:13 <hppavilion[1]> quintopia: I suppose confusion is a state-of-thought, and amusement is a mood? Or a state of mood?
01:56:19 <hppavilion[1]> Taneb: Emotions are moods
01:56:26 <Taneb> hppavilion[1], I disagree
01:56:29 <oerjan> `` rgrep -i river wisdom
01:56:41 <quintopia> Taneb: can you invent a word that encompasses both please
01:56:47 <Taneb> quintopia, yes
01:57:04 <hppavilion[1]> 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 <HackEgo> No output.
01:57:20 <hppavilion[1]> (categories, sets, bags, classes, whatever)
01:57:24 <oerjan> hppavilion[1]: i'm pretty sure you're making that up.
01:57:41 <hppavilion[1]> oerjan: Need I axiomatically prove it?
01:57:41 <oerjan> `` rgrep -i river wisdom; echo oops
01:57:43 <Taneb> hppavilion[1], what's composition in the category of river crossing puzzles?
01:57:50 <HackEgo> 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 <hppavilion[1]> Taneb: ...good question.
01:58:11 <hppavilion[1]> OK, instead of categories, sets/classes
01:58:17 <oerjan> `` rgrep -l -i river wisdom
01:58:20 <HackEgo> wisdom/rea \ wisdom/sauron
01:58:24 <oerjan> ok
01:58:24 <Taneb> If there's no composition, it's not a category, hence no offical #esoteric river crossing puzzle
01:58:33 <hppavilion[1]> Hm...
01:58:43 <hppavilion[1]> Taneb: I suppose I don't even know what the morphisms are
01:59:04 <hppavilion[1]> Wait! perhaps the morphisms are moves!
01:59:13 <hppavilion[1]> And a river-crossing problem is itself a category
01:59:35 <Taneb> hppavilion[1], I'm not sure you're using the right terminology
01:59:41 <hppavilion[1]> And, of course, the composition of two moves m, n is just making the move m then the move n
01:59:44 <hppavilion[1]> Taneb: I'm probably not
02:00:07 <hppavilion[1]> Taneb: What specific terminology is wrong?
02:00:14 <hppavilion[1]> Was it homomorphims instead of morphisms?
02:00:27 <shachaf> oerjan: Wait, that pun was without noticing?
02:00:31 <int-e> Has hppavilion[1] discovered Cayley graphs?
02:00:38 <int-e> shachaf: inisidious?
02:00:39 <hppavilion[1]> int-e: Nope
02:00:43 <shachaf> int-e: Yes.
02:01:00 <shachaf> `1 hogue wisdom/oerjan | grep pun
02:01:34 <HackEgo> 1/1:<oerjan> learn_append oerjan He sometimes puns without noticing it. \
02:02:50 <hppavilion[1]> 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 <int-e> `? hppavilion[1]
02:03:24 <HackEgo> hppavilion[1] se describe en las notas al pie. ¿Porqué no los dos? Nadie lo sabe.
02:03:41 <hppavilion[1]> 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 <int-e> mmm.
02:04:02 <hppavilion[1]> 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 <int-e> hppavilion[1]: Anyway, right now you're putting the nonsense into "abstract nonsense".
02:04:11 <hppavilion[1]> int-e: IT WORKS
02:04:33 <hppavilion[1]> int-e: IT MAKES SOME AMOUNT OF SENSE
02:04:33 <oerjan> shachaf: yes.
02:04:52 <hppavilion[1]> 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 <int-e> hppavilion[1]: not nearly enough. also, what's with the capital letters?
02:05:07 <hppavilion[1]> int-e: Anger?
02:05:38 <hppavilion[1]> 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 <shachaf> 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 <oerjan> TOO LATE
02:07:34 <hppavilion[1]> Taneb: But anyway, there, I think I got it to work.
02:09:24 <tswett> hppavilion[1]: so, lots and lots of things are categories.
02:09:28 <int-e> I still think that this is a huge categorical mistake
02:09:35 <tswett> If you have a collection of "ways of going from one thing to another", it's probably a category.
02:10:38 <quintopia> 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 <oerjan> quintopia: indeed, they're simply not natural.
02:11:47 <oerjan> and we have to push back against this travesty.
02:12:12 <oerjan> there just has to be a limit.
02:12:41 -!- Kaynato has joined.
02:12:43 <int-e> quintopia: I can see that you believe in swift and severe punishment.
02:12:50 <quintopia> oerjan: you lost me
02:13:04 <shachaf> push back?
02:13:10 <oerjan> shachaf: oops
02:13:25 * oerjan crawls away in shame
02:13:51 <quintopia> i guess you meant pushout?
02:13:53 <int-e> don't category theorists push out instead, when they're not pulling back?
02:15:49 <oerjan> sorry for botchering this epic pun thread
02:16:12 <oerjan> . o O ( wait that's not a word either )
02:16:16 <int-e> is this where you raise the steaks?
02:16:50 <quintopia> no that's a pasture
02:16:57 <int-e> 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 <oerjan> `learn_append oerjan He sometimes puns without noticing it.
02:17:33 <HackEgo> 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 <oerjan> bad karma has to be released.
02:18:08 <int-e> `? amortized
02:18:10 <HackEgo> An amortized word is a word that oerjan can never remember.
02:18:11 <shachaf> what happened to "too late"
02:18:23 <int-e> some tool ate it?
02:18:45 <shachaf> `1 hogue wisdom/oerjan | grep chaf
02:19:00 <HackEgo> 1/4:<shachaf> sled wisdom/oerjan//s/adjectival/renouned/ \ <shachaf> sled wisdom/oerjan//s-retired --;s(rd(rd emeritus( \ <shachaf> ` sed -i s/sneaky/kind/ wisdom/oerjan \ <shachaf> ` sed -i s/kind/sneaky/ wisdom/oerjan \ <shachaf> ` sed -i \'s/evil/kind/\' wisdom/oerjan \ <shachaf> ` sed -i s/ante/anti/ wisdom/oerjan \ <shachaf> `
02:19:09 <shachaf> `spam
02:19:10 <HackEgo> 2/4:sed -i \'s/l\\./l with a passion./\' wisdom/oerjan \ <shachaf> ` sed -i \'s/$/./\' wisdom/oerjan \ <shachaf> ` sed -i \'s/\\. He s.*//\' wisdom/oerjan \ <shachaf> ` sed -i \'s/famous/infamous/\' wisdom/oerjan \ <shachaf> ` sed -i \'s/hates/mildly dislikes/\' wisdom/oerjan \ <shachaf> ` sed -i \'s/famous/& mysterious/\' wisdom/oe
02:19:25 <shachaf> Aha.
02:21:11 <oerjan> `` culprits wisdom/oerjan | sort | uniq -c
02:21:26 <HackEgo> ​ 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 <oerjan> argh
02:21:42 <oerjan> `` culprits wisdom/oerjan | xargs -1 | sort | uniq -c
02:21:50 <HackEgo> 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 <oerjan> `` culprits wisdom/oerjan | xargs -n 1 | sort | uniq -c
02:22:14 <HackEgo> ​ 2 ais523 \ 1 Bike \ 2 elliott \ 4 FreeFull \ 1 int-e \ 1 nitia \ 15 oerjan \ 19 shachaf
02:22:52 <oerjan> `` culprits wisdom/oerjan | xargs -n 1 | sort | uniq -c | sort -n -r
02:23:02 <HackEgo> ​ 19 shachaf \ 15 oerjan \ 4 FreeFull \ 2 elliott \ 2 ais523 \ 1 nitia \ 1 int-e \ 1 Bike
02:23:09 <oerjan> . o O ( there's probably a faster method )
02:23:21 <oerjan> i knew it!
02:23:36 <quintopia> yes. there is. "don't do it"
02:24:29 <oerjan> OKAY
02:25:15 <int-e> `le/rn derangement/"Green tandem" is a derangement of "derangement".
02:25:18 <HackEgo> Learned «derangement»
02:26:11 <int-e> `` culprits wisdom/oerjan | xargs -n 1 | uniq | sort | uniq -c | sort -nr
02:26:33 <HackEgo> ​ 10 oerjan \ 9 shachaf \ 4 FreeFull \ 2 elliott \ 1 nitia \ 1 int-e \ 1 Bike \ 1 ais523
02:28:40 <oerjan> `? necessity
02:28:43 <HackEgo> If necessity did not exist, it would be necessary for Taneb to invent it.
02:29:10 <int-e> oh temptation
02:29:12 <int-e> `? redundancy
02:29:15 <HackEgo> redundancy? ¯\(°​_o)/¯
02:29:39 <oerjan> `? temptation
02:29:40 <HackEgo> temptation? ¯\(°​_o)/¯
02:30:48 <int-e> (redundancy is characterized by an absence of necessity)
02:47:51 <shachaf> int-e: Funny that you culprits | xargs -n 1, when culprits itself does the opposite.
02:56:59 <oerjan> <coppro> http://www.ioccc.org/2015/muth/hint.html <-- bah, it requires giving a maximal number of steps in advance.
02:57:21 <oerjan> CLEAR FAIL
02:58:09 <oerjan> shachaf: still shorter than using hg log directly, no?
02:58:16 <oerjan> `cat bin/culprits
02:58:16 <shachaf> Sure.
02:58:18 <HackEgo> 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 <shachaf> culprits should use hogue
02:58:30 <shachaf> `cat bin/hog
02:58:32 <shachaf> `cat bin/hogue
02:58:32 <HackEgo> hg log --template "{desc}\n" "$@"
02:58:34 <HackEgo> hg log --removed --template "{desc}\n" "$@"
02:58:49 <shachaf> Hmm.
02:58:59 <shachaf> `` mv bin/ho{gue,ag}
02:59:06 <HackEgo> No output.
03:00:16 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
03:00:30 <shachaf> Better to name it after an art critic than a pistol, isn't it?
03:00:40 <oerjan> i don't know. if we add sp* to commands that rarely need it, commands might clobber each other's output
03:01:51 <shachaf> Wait, what here uses sp*?
03:02:06 <oerjan> doesn't hogue?
03:02:10 <oerjan> `cat bin/hoag
03:02:12 <HackEgo> hg log --removed --template "{desc}\n" "$@"
03:02:18 <oerjan> oh it doesn't
03:02:25 * oerjan was confused
03:02:48 <shachaf> `` rgrep -l sport bin
03:03:13 <oerjan> food ->
03:03:26 <HackEgo> bin/udcli \ bin/5 \ bin/1 \ bin/macro \ bin/jq \ bin/units
03:13:26 <tswett> Look at this Japanese emoticon:
03:13:26 <tswett> o,=o,
03:13:30 <tswett> It's valid Python.
03:13:54 <shachaf> @quote eat.a
03:13:54 <lambdabot> dforsyth says: "c++ can eat a dick imo"
03:13:57 <tswett> `? necessary
03:13:58 <shachaf> hm
03:14:00 <HackEgo> necessary? ¯\(°​_o)/¯
03:14:02 <tswett> `? thank
03:14:04 <HackEgo> thank? ¯\(°​_o)/¯
03:14:09 <shachaf> @forget dforsyth "c++ can eat a dick imo"
03:14:09 <lambdabot> Done.
03:14:11 <shachaf> @quote eat.a
03:14:11 <lambdabot> workbean says: I think getting your dick suck must probably feel like a great achievement
03:14:20 <shachaf> What's with all these quotes?
03:14:38 <shachaf> Is this the product of some sort of vandalism?
03:14:44 <tswett> @quote eat.a
03:14:44 <lambdabot> workbean says: I think getting your dick suck must probably feel like a great achievement
03:15:12 <shachaf> @quote eat.a
03:15:12 <lambdabot> 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 <shachaf> @quote eat.a.comment
03:15:15 <lambdabot> SamB_XP says: I once saw it eat a comment (:[{- Help! -}])
03:18:12 <tswett> Doink, I finally figured out why that one quote matched.
03:18:18 <tswett> "great achievement" contains the substring "eat a".
03:19:24 <shachaf> One time Cale lost the quote database so I reconstructed it from #haskell logs.
03:19:35 <shachaf> 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 <hppavilion[1]> Hm...
04:51:13 <hppavilion[1]> Is there a maximum possible length for a word in german?
04:51:55 <hppavilion[1]> 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 <oerjan> no hth
04:56:01 <hppavilion[1]> oerjan: Are you sure? I wouldn't have thought chess games are necessarily finite either, but they are
04:56:26 <oerjan> chess games have rules against repetition
04:56:55 <oerjan> and less importantly, certain moves that are truly irreversible
04:57:29 <oerjan> (pawn moves and castling)
04:58:00 <tswett> hppavilion[1]: I think you can make arbitrarily long words pretty easily.
04:59:00 <oerjan> hm wait you said without redundancy
04:59:15 <oerjan> well that's a semantic problem, i'd think
04:59:26 <tswett> Like "Bierbierbierbierbier".
04:59:33 <tswett> Meaning "beer beer beer beer beer".
04:59:48 <oerjan> i'd say that looks pretty redundant.
04:59:54 <tswett> Yup.
04:59:55 <oerjan> `? redundancy
04:59:57 <HackEgo> redundancy? ¯\(°​_o)/¯
05:00:02 <shachaf> What is redundancy?
05:00:22 <shachaf> I guess int-e told us.
05:00:22 <oerjan> `le/rn redundancy/Since redundancy exists, it's redundant for Taneb to invent it.
05:00:28 <HackEgo> Learned «redundancy»
05:00:39 <oerjan> i think int-e has had enough time to create it.
05:00:57 <tswett> 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 <oerjan> but is it redundant if the subterms never repeat in meaning?
05:03:17 <shachaf> What is meaning?
05:04:10 <oerjan> Nullnachfolgernachfolgernachfolgernachfolger
05:04:25 <oerjan> that's 4 hth
05:05:10 <oerjan> (assuming that's the right word for "successor" in this meaning. wiktionary didn't show it in the right place.)
05:26:40 <oerjan> @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 <lambdabot> Consider it noted.
05:28:01 <shachaf> The same thing is true on x86. One should use the mov instruction to move data, rather than copy it.
05:28:14 <oerjan> O KAY
05:29:19 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
05:47:59 -!- dnm has joined.
05:52:07 <shachaf> dnm: ready for another long night of not sleeping?
05:53:25 <dnm> It turned out not to be that long.
05:53:39 <dnm> Though late night booze and food did keep me awake until at least around 3:30 AM...
05:54:33 <shachaf> `? dnm
05:54:38 <HackEgo> dnm? ¯\(°​_o)/¯
05:54:57 <shachaf> `learn dnm does not mind.
05:55:05 <dnm> Hah.
05:55:16 <HackEgo> Learned 'dnm': dnm does not mind.
05:55:17 <shachaf> Or do you?
05:58:23 <dnm> I suppose not.
05:59:49 -!- halvredin has joined.
05:59:53 <dnm> Woo! I have OpenVMS licenses.
05:59:56 <dnm> Now for media.
06:12:42 <shachaf> 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 <dnm> Fun.
06:44:46 <dnm> Certainly not profit.
06:44:56 <dnm> I want a system to hack BLISS in for no real reason.
06:46:50 <HackEgo> [wiki] [[Stack Cats]] M https://esolangs.org/w/index.php?diff=47183&oldid=47182 * Martin Ender * (+1)
06:49:53 <HackEgo> [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 <hppavilion[1]> 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 <b_jonas> 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 <Destructible> hiiii
09:31:47 <Destructible> anyone?
09:32:06 <Destructible> pls
09:32:32 -!- halvredin has quit (Remote host closed the connection).
09:33:07 <izabera> hi Destructible
09:33:12 <Destructible> hi
09:33:41 <Destructible> I think I should make a page for the language I thought up
09:33:57 <izabera> sure why not
09:34:01 <Destructible> Tommy Wicode
09:34:07 <Destructible> that'll be the name
09:35:51 <Destructible> I'm not very good at formatting pages though
09:35:57 <Destructible> this would be my first page
09:39:16 <Destructible> I made the description
09:39:20 <Destructible> what do now
09:39:38 <izabera> fix the spelling mistakes
09:42:24 <Destructible> what spelling mistakes
09:42:33 <Destructible> ?
09:44:48 <Destructible> ????
09:44:58 <Destructible> did you leave?
09:46:09 <Destructible> :'(
09:47:04 -!- dnm has joined.
09:48:35 <izabera> sorry i'm leaving now :P
09:48:41 <izabera> i was jk about that
09:53:45 <Destructible> ok
10:07:59 -!- Destructible has quit (Quit: Page closed).
10:08:47 -!- Destructible has joined.
10:08:54 <Destructible> back
10:09:32 <hppavilion[1]> 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 <int-e> 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 <hppavilion[1]> Huh. On a torus, the 4 color theorem becomes the 7 color theorem
11:33:18 -!- boily has joined.
11:44:47 <boily> `wisdome
11:44:50 <boily> `wisdom
11:45:22 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wisdome: not found
11:45:22 <HackEgo> 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 <noloveinwaikiki> 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 <FireFly> Not since a couple years I think
12:27:52 <noloveinwaikiki> maybe you can give him my mail address so he can contact me: KasiaWygodna@gmail.com ..oh
12:28:03 <noloveinwaikiki> okay.
12:28:21 <noloveinwaikiki> thanks for the info.
12:29:14 <b_jonas> :-(
12:32:14 <Koen_> hmmmm
12:32:24 <Koen_> I think they meant literally a couple years
12:32:26 <Koen_> like, 2
12:41:58 <b_jonas> 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 <gamemanj> *cue raptor invasion*
12:47:19 <gamemanj> ...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 <ybden> `? raptor invasion
12:54:22 <HackEgo> raptor invasion? ¯\(°​_o)/¯
12:54:24 <ybden> `? raptor
12:54:26 <HackEgo> raptor? ¯\(°​_o)/¯
12:54:27 <ybden> `? raptors
12:54:29 <HackEgo> raptors? ¯\(°​_o)/¯
12:58:18 -!- Phantom__Hoover has joined.
12:59:03 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
13:27:26 <int-e> `` cd wisdom; grep -r 'goto language' .
13:27:38 <HackEgo> No output.
13:27:51 <ybden> `` cd wisdon; grep -r goto
13:28:13 <ybden> oops
13:28:15 <int-e> `` cd wisdom; grep -r 'go.to language' .
13:28:16 <ybden> `` cd wisdom; grep -r goto
13:28:22 -!- AnotherTest has joined.
13:28:36 <HackEgo> ​/hackenv/bin/`: line 4: cd: wisdon: No such file or directory
13:28:50 <HackEgo> No output.
13:28:50 <HackEgo> ​./forth:Since Biblical times, Forth has been the go-to language for multiplication.
13:29:26 <int-e> oh, punny.
13:30:22 <int-e> . o O ( I was hoping for something like: BASIC is the go-to language for structural programming )
13:31:25 <int-e> 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 <mroman> What happens to entropy when you do average?
14:14:07 <mroman> For example let's say a symbol has 24bit of information
14:14:11 <mroman> and it's an integer
14:14:20 <mroman> (so there are 2^24 symbols)
14:14:31 <mroman> what's the entropy of the average of n such integers?
14:16:19 <int-e> n*24 bits... if you keep their order
14:17:13 <int-e> and more importantly, if the symbols are independent
14:37:04 <mroman> that can't be
14:37:18 <mroman> The average of 4 binary numbers (0..1)
14:37:53 <mroman> there are 16 ways
14:38:01 <mroman> 15 of those will result in a white pixel
14:38:06 <mroman> 1 will result in a black pixel
14:38:10 <mroman> at least with integer division
14:38:26 <mroman> so the entropy is 0.337
14:38:43 <mroman> if you use like if the sum >= 2 then it's 1 else 0
14:38:48 <mroman> you still have less than 1 bit of entropy
14:40:37 <mroman> a grayscale 8bit 2x2 pixel image has 32bit entropy right?
14:41:09 <mroman> assuming that every pixel is equally likely to occur
14:42:18 <mroman> if you use 4bit grayscale you have 16bit of information in a 2x2 pixel image
14:42:36 <mroman> if you take the average you should be left with 3.26bits of entropy
14:43:48 <mroman> which is weird because if you don't take the average but just the top left pixel
14:44:01 <mroman> I'd exect the resulting 1x1 pixel to have 4bits of information
14:44:03 <mroman> *expect
14:44:42 <int-e> mroman: Ah I didn't parse your question correctly.
14:44:57 <mroman> Technically the question is we have an image and we scale it down
14:45:13 <mroman> what will loose more information: doing average of 2x2 blocks or selecting top-left pixel of 2x2 blocks
14:45:36 <mroman> and we reduced that problem to "let's look at just a 2x2 pixel image"
14:45:58 <mroman> but since pixels are just integers :)
14:46:05 <mroman> rgb is just a 24bit integer
14:46:09 -!- sheldon has quit (Quit: leaving).
14:46:16 <mroman> also the assumption is that every pixel is equall likely to occur
14:46:51 <mroman> so naively we said that one pixel in a black-white image has 1 bit of information
14:47:02 <mroman> so selecting the top-left pixel of a 2x2 image will result in an image with 1 bit of information
14:47:40 <mroman> 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 <mroman> which is due to integer rounding
14:48:22 -!- lambda-11235 has joined.
14:48:27 <mroman> so we tried it with 4bits 5bits etc
14:49:50 -!- nycs has joined.
14:50:11 <mroman> and the question is: does the average contain the same amount of information as selecting the top-left pixel
14:50:56 <mroman> 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 <int-e> 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 <int-e> the actual value before rounding is 9.250423023523387 bits
15:24:15 -!- Koen_ has quit (Remote host closed the connection).
15:24:21 <int-e> and the rounding loses close enough to 2 bits that you probably won't care.
15:35:01 <gamemanj> How, exactly, does 9.250423... of a bit work?
15:35:10 <gamemanj> What happens to the .250423?
15:52:34 -!- coppro has quit (Quit: leaving).
15:53:04 -!- coppro has joined.
15:55:24 <int-e> 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 <coppro> `unicode U+0130
15:55:45 <HackEgo> ​İ
15:57:30 <int-e> gamemanj: if you're mathematically minded, you could try reading the Shannon 1948 paper, it's quite nice.
15:59:28 <izabera> shannon himself forbade non mathematically minded people from reading it
15:59:34 <izabera> but now he's dead so i guess it's fine
16:00:13 <b_jonas> 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 <b_jonas> explaining the fundations
16:00:32 <b_jonas> `? goto
16:00:34 <HackEgo> goto? ¯\(°​_o)/¯
16:00:37 <b_jonas> `? gosub
16:00:38 -!- Akaibu has joined.
16:00:38 <HackEgo> gosub? ¯\(°​_o)/¯
16:02:29 <int-e> izabera: wait, "shannon himself forbade non mathematically minded people from reading it"... did he, really?
16:02:47 <b_jonas> `? shannon
16:02:49 <HackEgo> shannon? ¯\(°​_o)/¯
16:03:04 <int-e> I just wrote "mathematically minded" because it is quite formal.
16:03:23 <b_jonas> `learn Shannon forbade non mathematically minded people from reading his research papers. Taneb invented it.
16:03:26 <HackEgo> Learned 'shannon': Shannon forbade non mathematically minded people from reading his research papers. Taneb invented it.
16:03:38 <int-e> 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 <impomatic_> `seen gregor
18:06:10 <HackEgo> ls: cannot access /var/irclogs/_esoteric/????-??-??.txt: No such file or directory \ not lately; try `seen gregor ever
18:06:28 <impomatic_> 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 <b_jonas> `? with my own two hands
19:39:24 <HackEgo> with my own two hands? ¯\(°​_o)/¯
19:43:49 <int-e> are they dark and cold?
19:43:59 <b_jonas> dark, but probably nt cold
19:44:34 <b_jonas> `? house
19:44:37 <HackEgo> house? ¯\(°​_o)/¯
19:44:38 <b_jonas> `? stink
19:44:39 <HackEgo> stink? ¯\(°​_o)/¯
19:44:43 <int-e> will carlsen lose another game on time today?
19:44:56 <b_jonas> no idea
19:45:33 <shachaf> b_jonas: Why do you `? things like that?
19:46:05 <int-e> house sounds like something we might have a wisdom entry for
19:46:58 <int-e> at the very least it could allude mysteriously to http://programatica.cs.pdx.edu/House/
19:47:08 <int-e> 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 <int-e> `` cd wisdom; echo *root*
20:06:40 <HackEgo> ​*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 <moon_> im offically dumping codeblocks >_>
21:11:27 <qrf> In favour of..?
21:12:18 <moon_> Eclipse C++, codeblocks's compiler is broken in every way, including missing standard library components (curse you atoi!)
21:14:12 <moon_> Eclipse needs faster mirrors >_>
21:14:42 <moon_> 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 <moon_> 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 <b_jonas> `? `?
22:16:23 <HackEgo> ​`? ¯\(°​_o)/¯
22:16:34 <b_jonas> `learn `? is the command to query wisdom entries.
22:16:40 <HackEgo> Relearned '`': `? is the command to query wisdom entries.
22:16:41 <b_jonas> `? `?
22:16:42 <HackEgo> ​`? ¯\(°​_o)/¯
22:16:44 <b_jonas> damn
22:16:46 <shachaf> `before
22:16:47 <b_jonas> `revert
22:16:56 <shachaf> uh oh, rice condition
22:17:01 <b_jonas> sorry
22:17:22 <HackEgo> wisdom/`//` is the prefix to greatness.
22:17:25 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
22:17:29 <b_jonas> `? `
22:17:31 <HackEgo> ​` is the prefix to greatness.
22:17:34 <b_jonas> `slashlearn `?/`? is the command to query wisdom entries.
22:17:39 <HackEgo> Relearned «`?»
22:17:41 <b_jonas> `? `?
22:17:42 <HackEgo> ​`? is the command to query wisdom entries.
22:17:44 <b_jonas> `? `
22:17:46 <HackEgo> ​` is the prefix to greatness.
22:17:56 <b_jonas> wait, why relearned?
22:18:36 <b_jonas> `? vim
22:18:37 <b_jonas> `? emacs
22:18:37 <shachaf> http://codu.org/projects/hackbot/fshg/index.cgi/rev/3540a712fd40
22:18:38 <HackEgo> vim equals to approximately ccxxxxxxxxviin.
22:18:39 <HackEgo> emacs is the weird brother of nano.
22:19:04 <b_jonas> shachaf: hmm, strange
22:19:09 <b_jonas> maybe I shouldn't have replaced that?
22:19:27 <shachaf> `culprits wisdom/`?
22:19:35 <b_jonas> wasn't me
22:19:36 <HackEgo> 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 <shachaf> `1 hoag 'wisdom/`?'
22:19:58 <HackEgo> 1/3:<b_jonas> slashlearn `?/`? is the command to query wisdom entries. \ <int-e> revert accbc9c5c7ec \ <ais523> echo wisdom/* | shuf | head -n 10 | xargs rm \ <oerjan> revert \ <hppavilion1_> learn `? Woooooooooow you\'re sooooooooooooooooooooo metaaaaaaaaa- No. \ <oerjan> sed -i \'s/\xc2\xb0/\xc2\xb0\xe2\x80\x8b/\' wisdom/\'`?\' \
22:20:30 <shachaf> `spam
22:20:32 <HackEgo> 2/3:<oerjan> revert \ <elliott> revert 1 \ <oerjan> revert 3875 \ <JWinslow23> learn `? `? \ <JWinslow23> learn `? `? `? \ <JWinslow23> learn `? `? \ <Roujo> learn `? \xc2\xaf\\(\xc2\xb0_o)/\xc2\xaf \ <Roujo> learn `? is `? is `? \ <Bike> revert \ <FreeFull> for x in wisdom/*; do rev "$x" > "$x"a; mv "$x"a "$x"; done \ <ais523> reve
22:20:46 <b_jonas> ``` sed '' bin/1
22:20:47 <HackEgo> ​\` "$@" | sport
22:20:50 <FreeFull> Hi
22:21:12 <shachaf> `spam
22:21:14 <HackEgo> 3/3:rt 87c64ef250a0 \ <ais523> revert 3 \ <oerjan> revert 1934 \ <boily> rm wisdom/`? \ <boily> learn `? `? `? \ <elliott> revert 1492 \ <FreeFull> revert 4 \ <GreyKnight> echo \'See `? for further details.\' > \'wisdom/`?\' \ <GreyKnight> \'See `? for further details.\' > \'wisdom/`?\' \
22:21:17 <b_jonas> ``` sed '' bin/2
22:21:18 <HackEgo> 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 <b_jonas> `? sed
22:22:00 <b_jonas> `? awk
22:22:01 <HackEgo> sed? ¯\(°​_o)/¯
22:22:02 <HackEgo> awk? ¯\(°​_o)/¯
22:22:24 <b_jonas> `? radio
22:22:26 <HackEgo> 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 <b_jonas> `? can't
22:24:50 <HackEgo> can't? ¯\(°​_o)/¯
22:28:26 -!- augur has quit (Ping timeout: 250 seconds).
22:29:18 <b_jonas> `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 <HackEgo> 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 <b_jonas> `? can't
22:29:30 <HackEgo> 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 <shachaf> father?
22:31:13 <shachaf> That seems dubious.
22:32:25 <b_jonas> shachaf: dunno, some of them might be wrong
22:32:34 <b_jonas> I don't know a definitive list
22:32:49 <b_jonas> shachaf: if you know a better list, please tell me
22:33:25 <b_jonas> (these are only the more common words. there are lots of rarer ones.)
22:34:20 <shachaf> `sled wisdom/can't//s.The.A.
22:34:23 <HackEgo> 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 <b_jonas> shachaf: hehe, yes, good idea
22:34:55 <shachaf> sled is TG
22:35:14 <b_jonas> "TG"?
22:35:17 <shachaf> too good
22:35:22 <shachaf> I kind of want to record statistics about all commands to see which are used most often.
22:35:29 <b_jonas> `wisdom
22:35:31 <b_jonas> `? statistics
22:35:32 <b_jonas> `? politics
22:35:33 <b_jonas> `? lies
22:35:37 <shachaf> Why are you doing that?
22:35:37 <HackEgo> wisdom//wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø?
22:35:44 <HackEgo> statistics? ¯\(°​_o)/¯
22:35:45 <HackEgo> politics? ¯\(°​_o)/¯
22:35:45 <HackEgo> Lies are even easier than monoids. They form groups, known as Lie groups.
22:35:45 <shachaf> You know they're all going to come up not found.
22:35:51 <shachaf> Except for lies.
22:36:05 -!- moon__ has joined.
22:36:09 <moon__> im making a openbsd bot for fun, should i bring it here?
22:36:21 <b_jonas> moon__: dunno, maybe?
22:36:28 <b_jonas> depends on how annoying it is
22:36:38 <moon__> Singleline
22:36:38 <shachaf> I have a prediction.
22:36:44 <moon__> im not gonna terrorize the chat lol
22:36:49 <shachaf> That's what you do.
22:36:52 -!- moon_ has quit (Ping timeout: 250 seconds).
22:37:05 <moon__> eh true
22:37:20 <moon__> as long as the bot is not abused to do it, it should be fine
22:37:35 <b_jonas> 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 <b_jonas> just make sure you take it down again in the morning
22:37:46 <b_jonas> g'nite
22:37:48 <moon__> haha
22:37:50 <moon__> lol
22:38:48 <moon__> it has a 16 gig harddrive space and network access
22:38:51 <shachaf> `? tanebvention
22:38:53 <HackEgo> 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 <moon__> note that due to openbsd limitations, you *may* run out of space in some of the folders
22:39:56 <moon__> i.e once im done unpacking ports
22:40:47 -!- `^_^ has quit (Quit: This computer has gone to sleep).
22:42:03 <moon__> you also have 1 gb of ram, i cant give too much lol
22:42:17 <shachaf> Can you give 0?
22:42:46 <moon__> i can give less than 1 gig
22:42:49 <moon__> but im gonna be nice
22:44:04 <moon__> usr dir is a little small
22:46:29 <moon__> also, if anyone causes problems, ill be on standby to fix them (if i can) :P
22:50:27 <FreeFull> `? FreeFull
22:50:29 <HackEgo> 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 <moon__> openbsd didnt install correctly >_>
22:56:21 <moon__> why, i dont know
22:56:24 -!- jaboja has quit (Ping timeout: 246 seconds).
22:56:57 <moon__> wait nvm
22:57:23 <moon__> nvm, just forgot to eject the install disk
23:06:07 <moon__> anyways, is there a good way to allow the irc bot to call commands over ssh?
23:14:22 <moon__> nvm
23:16:53 -!- Sgeo_ has joined.
23:17:03 <quintopia> sgello
23:38:39 <moon__> well, i have the openbsd enviorment running, but i cant figure out how to get a bash irc bot to work.
23:39:45 <Sgeo_> moon__, ii?
23:39:58 <moon__> ?
23:40:02 -!- oerjan has joined.
23:40:12 <moon__> and what is ii sgeo?
23:40:40 <Sgeo_> A tool to allow creation of IRC bots that just manipulate the filesystem
23:40:44 <Sgeo_> http://tools.suckless.org/ii/
23:41:06 <coppro> ii is wonderful
23:41:52 <oerjan> i,i ii see
23:42:54 <moon__> thanks!
23:47:27 <quintopia> that's too many i's
23:50:24 <moon__> lol
23:50:49 <moon__> to get hexbot started, for now, im gonna modify ii-bot, ill make a custom system in the future
23:59:46 <moon__> and ksh hates iibot
23:59:52 <moon__> *sigh*
←2016-06-08 2016-06-09 2016-06-10→ ↑2016 ↑all