←2017-04-11 2017-04-12 2017-04-13→ ↑2017 ↑all
00:00:03 -!- Remavas has left ("co'o").
00:00:35 <rdococ> okay
00:00:36 <\oren\> @oeis 1 2 4 7 12 25
00:00:38 <lambdabot> Sequence not found.
00:01:25 <\oren\> @oeis 1 2 4 7 12 20 33
00:01:28 <lambdabot> https://oeis.org/A000071 Fibonacci numbers - 1.
00:01:28 <lambdabot> [0,0,1,2,4,7,12,20,33,54,88,143,232,376,609,986,1596,2583,4180,6764,10945,17...
00:01:46 <rdococ> Hm.
00:02:09 <\oren\> @oeis 1 11 111 1111 11111
00:02:10 <lambdabot> https://oeis.org/A002275 Repunits: (10^n - 1)/9. Often denoted by R_n.
00:02:10 <lambdabot> [0,1,11,111,1111,11111,111111,1111111,11111111,111111111,1111111111,11111111...
00:02:12 <rdococ> Is it possible to have infinite series that diverge to uncountable infinity?
00:02:26 <fizzie> @oeis 1 2 3 4 5 6 7 9
00:02:27 <lambdabot> https://oeis.org/A004709 Cubefree numbers: numbers that are not divisible by...
00:02:27 <lambdabot> [1,2,3,4,5,6,7,9,10,11,12,13,14,15,17,18,19,20,21,22,23,25,26,28,29,30,31,33...
00:03:01 <\oren\> @oeis 9 9 9 9 9 9 9
00:03:16 <lambdabot> https://oeis.org/A000196 Integer part of square root of n. Or, number of pos...
00:03:16 <lambdabot> [0,1,1,1,2,2,2,2,2,3,3,3,3,3,3,3,4,4,4,4,4,4,4,4,4,5,5,5,5,5,5,5,5,5,5,5,6,6...
00:03:20 <rdococ> @oeis 1 3 7 15 31 63
00:03:22 <lambdabot> https://oeis.org/A000225 a(n) = 2^n - 1. (Sometimes called Mersenne numbers,...
00:03:22 <lambdabot> [0,1,3,7,15,31,63,127,255,511,1023,2047,4095,8191,16383,32767,65535,131071,2...
00:03:33 <rdococ> ah
00:03:45 <rdococ> hm.
00:03:56 <rdococ> Again, is it possible for infinite series that diverge to uncountable infinity?
00:04:06 <rdococ> Or do they all diverge to countable infinity?
00:04:39 <\oren\> among the integers, it would have to be countable since the set of integers in countable
00:04:53 <rdococ> True.
00:05:20 <\oren\> @oeis 2 1 3 4 5 6 7 8 9
00:05:34 <lambdabot> https://oeis.org/A254524 n is the a(n)-th positive integer having its digitsum.
00:05:34 <lambdabot> [1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,2,1,3,3,3,3,3,3,3,3,2,1,4,4,4,4,4,4,4,3,2...
00:06:28 <rdococ> @oeis 1 3 2 4 3 5 4 6 5 7 6
00:06:39 <rdococ> @oeis 1 3 2 4 3 5 4 6 5
00:06:44 <rdococ> er
00:06:45 <lambdabot> Plugin `oeis' failed with: <<timeout>>
00:06:48 <rdococ> ah
00:07:04 <lambdabot> Plugin `oeis' failed with: <<timeout>>
00:07:16 <rdococ> @oeis 1 3 2 4
00:07:44 <lambdabot> Plugin `oeis' failed with: <<timeout>>
00:07:56 <\oren\> @oeis a b c d
00:08:20 <lambdabot> Plugin `oeis' failed with: <<timeout>>
00:08:24 <rdococ> @oeis 1 2 3 4
00:08:25 <lambdabot> https://oeis.org/A000027 The positive integers. Also called the natural numb...
00:08:25 <lambdabot> [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,...
00:08:32 <rdococ> @oeis 1 3 2
00:08:46 <\oren\> um.... why did it even LOOK for a b c d
00:09:05 <\oren\> that's a total bug
00:09:06 <lambdabot> Plugin `oeis' failed with: <<timeout>>
00:10:25 <\oren\> @oeis digits of pi
00:10:29 <lambdabot> https://oeis.org/A000796 Decimal expansion of Pi (or, digits of Pi).
00:10:29 <lambdabot> [3,1,4,1,5,9,2,6,5,3,5,8,9,7,9,3,2,3,8,4,6,2,6,4,3,3,8,3,2,7,9,5,0,2,8,8,4,1...
00:10:32 <\oren\> oh i see
00:14:23 <rdococ> what I was doing was trying to unravel an "infinite state machine" as I've probably mentioned in the past, and tried to find out whether you would need an uncountably infinite as opposed to countably infinite number of nodes on the data tree.
00:16:43 <rdococ> I think countable but I'm still not sure.
00:16:52 <rdococ> what is everyone else's opinions?
00:17:22 -!- Remavas has joined.
00:17:26 <Remavas> Hello
00:17:30 -!- DHeadshot has quit (Ping timeout: 240 seconds).
00:17:31 <rdococ> hi
00:17:43 <rdococ> looks like nobody's around
00:18:21 <Remavas> we've got to wait
00:18:45 <rdococ> well, someone did say "among the integers, it would have to be countable since the set of integers in countable" earlier
00:19:13 <Remavas> hm...
00:19:20 <Remavas> Let's wait a bit longer
00:22:24 -!- sleffy has quit (Ping timeout: 255 seconds).
00:26:27 <\oren\> what's the "data tree"
00:27:38 -!- oerjan has joined.
00:29:24 <rdococ> In this context, we're referring to a state machine with the constraint of being presentable in a tree format.
00:30:24 <\oren\> hell𐐭𐐩rjan
00:31:14 <Remavas> with countably infinite states
00:31:30 <rdococ> A state machine, finite or infinite, is a data tree if and only if it never returns to a previous state, and each state only has two transitions: one into the state, and one out of the state.
00:32:26 <Remavas> good to know
00:32:29 <oerjan> helloren.
00:32:48 <rdococ> Well, beginning and end states may have one transition, but you must be able to get from each state to every other state by tracing the transitions (even if they transition the other way.)
00:34:28 <oerjan> fizzie: esolangs.org's certificate seems to have expired
00:35:57 <oerjan> ais523 keeps making fiendish PPCG challenges
00:36:34 <oerjan> lots of languages have no chance on this one
00:37:18 <oerjan> (and it's still fiendish in the rest)
00:48:45 <rdococ> Can a so-called 'data tree' have an uncountably infinite number of nodes?
00:48:54 <oerjan> no.
00:49:04 <rdococ> hm.
00:49:10 -!- sleffy has joined.
00:50:04 <oerjan> given one node, all the others can be named with a finite path of {left, right, up}s
00:50:21 <oerjan> or wait
00:50:27 <oerjan> yes.
00:50:42 <oerjan> (yes, it is no.)
00:51:50 <rdococ> ah
00:51:50 <rdococ> k
00:52:36 <rdococ> I wasn't just speaking about binary data trees, btw.
00:52:58 -!- Lord_of_Life has quit (Excess Flood).
00:53:07 <rdococ> A data tree with an uncountably infinite number of nodes would probably need an uncountably infinite number of nodes branching from at least one node.
00:54:22 <oerjan> oh the challenge allows functions, might be more plausible then.
00:55:01 -!- Lord_of_Life has joined.
00:56:18 <rdococ> Heh :P
00:56:29 <Remavas> interesting :)
00:57:04 <rdococ> Hm.
00:57:56 <rdococ> When you put it like that...
00:58:18 <rdococ> wait.
00:58:19 <rdococ> nvm.
00:58:57 <rdococ> also, my definition above was wrong.
01:04:29 <rdococ> `? wan
01:04:30 <HackEgo> wan? ¯\(°​_o)/¯
01:04:39 <rdococ> `le//rn wan//Wan is the opposite of wan't.
01:04:41 <HackEgo> Learned 'wan': Wan is the opposite of wan't.
01:04:49 <quintopia> hmm
01:05:02 <rdococ> it's brief
01:06:28 <oerjan> `forget wan
01:06:30 <HackEgo> Forget what?
01:06:37 <oerjan> more morphologicide, i see
01:06:52 <oerjan> clearly it should be "wa" hth
01:07:04 <oerjan> hm wait
01:07:06 <oerjan> `revert
01:07:07 <HackEgo> Done.
01:07:41 <oerjan> apparently english already committed that atrocity itself.
01:08:41 <rdococ> can
01:08:42 <rdococ> can't
01:08:52 <rdococ> Okay, thanks to oerjan, I will now spell can't as can'nt.
01:09:04 <oerjan> *cann't
01:09:14 <rdococ> ...Whatever. I cann't care less.
01:09:50 <oerjan> of course not, you are approaching the boredom singularity
01:09:52 <rdococ> Can you at least allow me wa? I really don't wa it.
01:10:10 <oerjan> `? wan
01:10:10 <rdococ> `le//rn wa//Wa is the opposite of wan't.
01:10:12 <HackEgo> Learned 'wa': Wa is the opposite of wan't.
01:10:13 <HackEgo> Wan is the opposite of wan't.
01:10:23 <oerjan> `forget wa
01:10:25 <oerjan> NOPE
01:10:25 <HackEgo> Forget what?
01:10:31 <rdococ> ...
01:10:35 <oerjan> (pay attention!)
01:10:40 <rdococ> `? wa
01:10:41 <HackEgo> wa? ¯\(°​_o)/¯
01:10:43 <rdococ> Oh.
01:10:45 <rdococ> Ohh.
01:10:47 <rdococ> Oops.
01:11:05 <rdococ> And that, is proof I am nuts. Q.E.D.
01:11:36 <oerjan> `? sanity
01:11:37 <HackEgo> Sanity is the defining property of boily. Taneb invented it.
01:11:49 <oerjan> `? rdococ
01:11:50 <HackEgo> rdococ is apparently from Budapest, but he is actually on Mars. Thanks to boily he is approaching permanent boredom.
01:13:16 -!- boily has joined.
01:13:19 <boily> `wisdom
01:13:20 <HackEgo> jonathan hoag//Hoag is an art critic.
01:14:16 <oerjan> boily: recent evidence has caused me to suspect you're staying sane by siphoning sanity from rdococ. that's evil!
01:15:00 <Remavas> only villains here
01:15:05 <rdococ> :O
01:15:23 <rdococ> `? insanity
01:15:24 <HackEgo> Unless you are boily, you are just imagining this wisdom entry.
01:15:49 <rdococ> No, oerjan, I think I was insane when I first joined.
01:16:00 * oerjan hands boily a discount coupon for a minion
01:16:11 <oerjan> oh.
01:16:13 <rdococ> Why, otherwise, then, would I be so dumb?
01:16:27 <oerjan> rdococ: maybe you'd like to be boily's minion, then?
01:16:35 <rdococ> No way.
01:16:37 <boily> hellørjan, Rellomavas, rdochelloc.
01:16:48 <rdococ> hoily.
01:16:55 <boily> o hai theeere~♪
01:17:25 <boily> ♪ would you like to be my miiiinioooon⅝ ♪
01:17:30 <rdococ> `? morphologicide
01:17:31 <HackEgo> morphologicide? ¯\(°​_o)/¯
01:17:34 <rdococ> `? cyanide
01:17:35 <HackEgo> cyanide? ¯\(°​_o)/¯
01:18:04 <rdococ> I do think that morphology should be sacrificed for humor if required.
01:18:16 <oerjan> shocking
01:20:11 <oerjan> boily: i'm disappointed that doesn't seem to be an actual song
01:20:39 <boily> morphology is only an arrière-pensée, a smidge to be washed away under pure unfettered language.
01:20:54 <oerjan> `? morphology
01:20:55 <HackEgo> Morphology is the theory that you can never have enough phở. boily invented it.
01:21:02 * boily can't sing :(
01:21:02 -!- hppavilion[2] has joined.
01:21:07 <oerjan> why are you dissing your own invention
01:21:12 <boily> HA HA HA :D
01:21:21 <boily> `cwlprits morphology
01:21:28 <HackEgo> oerjän
01:21:32 <boily> ^^
01:21:40 <rdococ> lol.
01:21:55 -!- Lord_of_Life has quit (Excess Flood).
01:21:56 <rdococ> so now can I have the wisdom entry for cyanide?
01:22:02 -!- Lord_of_Life has joined.
01:22:10 <oerjan> not the one you made yesterday, no.
01:22:23 <rdococ> you allowed the morphologicide in wan :P
01:22:27 <rdococ> s/:P/:c
01:22:32 <rdococ> why not in "cyanide"?
01:22:42 <oerjan> because the suffix is -cide.
01:22:55 <oerjan> -ide alone means something different.
01:22:57 <rdococ> Again, you allowed the morphologicide in wan.
01:23:14 <oerjan> only because i thought of "can't".
01:23:19 <rdococ> The joke still retains its humor; it is also brief.
01:23:25 <Remavas> Think of cunt then
01:23:30 <Remavas>
01:23:34 <rdococ> `? cun
01:23:35 <HackEgo> cun? ¯\(°​_o)/¯
01:23:35 -!- ChanServ has set channel mode: +o oerjan.
01:23:49 <rdococ> hi øprjan
01:23:52 <Remavas> `? yes
01:23:53 <HackEgo> yes? ¯\(°​_o)/¯
01:23:55 <rdococ> `? no
01:23:55 -!- oerjan has set channel mode: +b *!*remavas@*.omni.lt.
01:23:55 -!- oerjan has kicked Remavas.
01:23:56 <HackEgo> No means hi.
01:23:59 <rdococ> o-o
01:24:07 -!- oerjan has set channel mode: -o oerjan.
01:24:12 <rdococ> I think that was a little unnecessary but okay
01:24:16 <oerjan> it smelled like hagb4rd.
01:24:22 <rdococ> `? hagb4rd
01:24:23 <HackEgo> hagb4rd is one spacey fellow. Spaaaaaaaaaaaaaaace.
01:24:32 <rdococ> `? space
01:24:33 <HackEgo> Humans come from space. In particular, the part of space that has Earth in it.
01:24:39 <rdococ> har har.
01:24:57 <rdococ> `? brevity
01:24:58 <HackEgo> brevity? ¯\(°​_o)/¯
01:26:06 <oerjan> although i'm not quite sure this time, but i don't care.
01:26:38 <oerjan> you have to earn your time here before you get to dump swearwords, is my opinion.
01:27:42 <oerjan> `le/rn brevity//syn. "shortness"
01:27:45 <HackEgo> Learned 'brevity': syn. "shortness"
01:30:54 * boily exploits the Québécois Loophole for swearing >:D
01:31:09 <oerjan> boily: you've earned your time hth
01:31:20 <oerjan> although i guess the loophole helps.
01:40:43 <rdococ> `? shortness
01:40:44 <HackEgo> shortness? ¯\(°​_o)/¯
01:40:47 <rdococ> `? brevity
01:40:48 <HackEgo> syn. "shortness"
01:41:27 <rdococ> soul of wit
01:41:44 <rdococ> `? long
01:41:45 <HackEgo> Long is the Chinese word for dragon.
01:41:48 <rdococ> `? longer
01:41:49 <HackEgo> longer? ¯\(°​_o)/¯
01:41:57 <rdococ> `? remavas
01:41:58 <HackEgo> remavas? ¯\(°​_o)/¯
01:50:20 <fizzie> oerjan: The cron job to auto-renew was broken in some way. I thought I fixed it, but now that you mention, I don't think I've seen the monthly emails it's supposed to give out recently.
01:52:40 <oerjan> you review it monthly?
01:52:55 <fizzie> It's a letsencrypt cert, those are only valid for 3 months at a time.
01:53:06 <oerjan> ic
01:53:16 <fizzie> Looks like the file on disk has actually been renewed.
01:53:22 <fizzie> Validity
01:53:22 <fizzie> Not Before: Mar 27 12:37:00 2017 GMT
01:53:22 <fizzie> Not After : Jun 25 12:37:00 2017 GMT
01:53:31 <fizzie> Must be something like the webserver not picking it up.
01:54:03 <fizzie> That's odd.
01:54:06 <oerjan> maybe it only reads it when starting up?
01:54:20 <oerjan> and somehow hasn't been down
01:54:21 <fizzie> Yes, that's why I have "sudo /bin/systemctl reload nginx" in the script.
01:54:27 <oerjan> heh
01:54:32 <fizzie> I just did that command manually, and it seems to have worked.
01:54:37 <oerjan> yay
01:54:38 <boily> fizziello.
01:54:53 <fizzie> I just don't know why it didn't work from the cron job.
01:55:03 <fizzie> There's been no emails about errors either, as far as I know.
01:55:03 * oerjan gets read of that ugly red address bar
01:55:06 <oerjan> *rid
01:55:57 <fizzie> Oh, there are the emails. I haven't actually configured for them to get out of the box.
01:56:38 <fizzie> Oh. It's set -e so it stops on the first "error", and apparently the tool I've been using has said: "Certificates already exist and renewal is not necessary, exiting with status code 1."
01:57:18 <oerjan> very useful tool
01:57:43 <fizzie> It's actually renewed the esolangs.org cert, but then decided not to renew the hackego.esolangs.org one since it was still valid for what it considered long enough.
01:58:33 <fizzie> And because of that didn't call the web server reload thing.
01:58:51 <oerjan> fiendish
01:59:18 <fizzie> Tricksy. Well, it should stay up to date now.
01:59:55 <rdococ> `? STC
01:59:56 <HackEgo> STC? ¯\(°​_o)/¯
02:00:21 <fizzie> Looks like there would've been a "--valid_min" option to control what it thinks is long enough. I hope that's >= 1 month by default.
02:01:06 <fizzie> Heh, it's exactly 30 days.
02:02:06 <fizzie> So there's still a possibility of an issue for one day, because I call it the 27th of each month, and it won't renew if it's valid for 30 days but it could be 31 until the next call.
02:02:34 <fizzie> Maybe I should just call more often, given that it has that sort of auto-don't-do-anything-if-valid-enough thing.
02:04:39 <fizzie> ...except then it'd reload the web server unnecessarily every time. Bah.
02:07:17 <rdococ> . o O o .
02:07:21 <rdococ> thought cancellation
02:08:02 <rdococ> . o O ( hey dude, why did you cancel me? you do know that with- ) O o .
02:08:15 <rdococ> `? . o O ( lol )
02:08:16 <HackEgo> ​. o O ( lol )? ¯\(°​_o)/¯
02:08:23 <rdococ> `? . o O ( )
02:08:24 <HackEgo> ​. o O ( )? ¯\(°​_o)/¯
02:08:25 <rdococ> `? . o O
02:08:26 <HackEgo> ​. o O? ¯\(°​_o)/¯
02:08:30 <rdococ> seriously?
02:08:36 <rdococ> jk
02:18:21 <boily> fungot: nostril.
02:18:21 <fungot> boily: trapper: the last day of reckoning, ragnarok. as a passing current, the tickle of undertow. he excelled them even in ancient days they were set, and quickly retreated back, around that corner, i hear it: this is the most spectacular being _baluchitherium_ from the legend that he does not kill him not: then i will order the cook to prepare fresh tripe, tripe ration: if i thought it were a bar of birthday chocolate last hi
02:19:01 <boily> tripe is good. all fuzzy and textureous.
02:27:58 <Zarutian> is there an trump mode one fungot?
02:27:58 <fungot> Zarutian: a crystal plate mail isn't worth wishing for. i hate when that happens. " here!" the bushmen say that a fortune. in one ear. " at your work; your boss know what you're doing right now?
02:28:42 <Zarutian> a crystal plate mail. Not worth the postage and wont stop arrows.
02:29:24 <Zarutian> but could be the cutting edge in armour
02:29:36 <boily> Zarutellon. but crystal plate has an AC of 14 and a GDR of 48%!*
02:29:59 <Zarutian> lends a whole new meaning to 'a knight in shining armour'.
02:30:14 <boily> (* crystal plate armour has an EV penalty of -23. do not apply without enought strength. please consult your physician before attempting an all runer.)
02:31:02 -!- boily has quit (Quit: HOODED CHICKEN).
02:41:43 <oerjan> fizzie: maybe check if any of the files have changed before reloading the web server?
02:51:05 -!- sleffy has quit (Ping timeout: 252 seconds).
02:55:17 <oerjan> getting cron to run a command more often than once a month but less often than twice looks annoying.
02:56:26 <oerjan> iiuc you essentially have to copy the entry for all the months/days wanted
02:57:18 <oerjan> except you can probably share february and march.
02:59:12 <oerjan> looks like 30 days cutoff is about the most annoying possible :P
03:16:16 <rdococ> right.
03:16:17 <rdococ> that's it.
03:16:37 <rdococ> I'm activating the tachyon drives and escaping this black hole of boredom.
03:16:40 <rdococ> `? tachyon
03:16:41 <HackEgo> The tachyon is rude and has no style, but gets away with it because of its speed. Taneb will invent it if he ever catches up.
03:16:49 <rdococ> `? alcubierre
03:16:50 <HackEgo> alcubierre? ¯\(°​_o)/¯
03:16:51 <rdococ> `? alcubierre drive
03:16:52 <HackEgo> alcubierre drive? ¯\(°​_o)/¯
03:16:53 <\oren\> instead of blocking at the browser or router level, block at the DNS level
03:16:54 <rdococ> er
03:17:44 <\oren\> we could have a DNS server that redirects advertisment urls to dev null
03:32:28 -!- sleffy has joined.
03:32:39 <fizzie> oerjan: You can do commas. I just changed it to "37 9 7,17,27 * *".
03:33:04 <oerjan> fizzie: yes, but i said "less than twice a month"
03:33:04 <fizzie> (And since the tool is friendly enough to return 0 when it actually did something, put the webserver restart in an if.)
03:33:28 <oerjan> that would work too
03:35:53 <fizzie> I'm guessing for more complicated schedules than you can write in the crontab syntax, you'd just have it run often (say daily), and make the script decide.
03:37:06 <fizzie> Huh, my crontab on esolangs.org has a thing that appends echo $(TZ=C date --rfc-3339=seconds | sed -e 's/+00:00$//'): $(/sbin/ifconfig eth0 | grep 'TX bytes') to a file once a day at midnight. I wonder what that's all about.
03:37:27 <fizzie> There's lines in that file from 2014-07-25 onwards.
03:37:55 <fizzie> I'm guessing it was some sort of a poor man's bandwidth logging mechanism.
03:52:52 <pikhq> TZ=C? That seems like a weird way of specifying that time zone.
03:53:27 <pikhq> Per POSIX, that is a timezone that is UTC+0 and named "C".
04:24:14 -!- Zarutian has quit (Quit: Zarutian).
04:28:23 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
04:28:32 -!- hppavilion[2] has quit (Ping timeout: 255 seconds).
04:28:32 -!- hppavilion[1] has joined.
04:29:42 -!- hppavilion[2] has joined.
04:46:45 -!- hppavilion[2] has quit (Ping timeout: 260 seconds).
04:46:59 -!- hppavilion[2] has joined.
04:47:20 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
04:47:54 -!- hppavilion[1] has joined.
04:55:19 -!- sirnaysayer has quit (Quit: zonkzonk).
04:55:48 -!- sirnaysayer has joined.
04:57:20 -!- hppavilion[2] has quit (Ping timeout: 255 seconds).
04:57:47 -!- hppavilion[1] has quit (Ping timeout: 255 seconds).
04:58:10 -!- hppavilion[1] has joined.
04:58:11 -!- hppavilion[2] has joined.
05:00:19 <oerjan> hppavilion[2]: *cough*
05:08:23 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
05:08:45 -!- hppavilion[1] has joined.
05:08:51 -!- hppavilion[2] has quit (Ping timeout: 260 seconds).
05:09:46 -!- hppavilion[2] has joined.
05:26:07 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
05:26:13 -!- hppavilion[1] has joined.
05:26:35 -!- hppavilion[2] has quit (Ping timeout: 260 seconds).
05:46:45 -!- DHeadshot has joined.
06:01:37 -!- oerjan has quit (Ping timeout: 264 seconds).
06:08:23 -!- hppavilion[2] has joined.
06:11:20 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
06:13:43 -!- hppavilion[1] has joined.
06:16:05 -!- hppavilion[2] has quit (Ping timeout: 255 seconds).
06:18:33 -!- hppavilion[2] has joined.
06:19:57 <rdococ> ##fix_your_connection
06:20:35 <rdococ> Predicted ping timeout... now!
06:21:02 -!- hppavilion[1] has quit (Ping timeout: 255 seconds).
06:21:03 <rdococ> No, wait... now!
06:21:06 <rdococ> agh
06:21:08 <rdococ> one second late
06:21:11 <rdococ> knew it was coming tho
06:21:12 <rdococ> :P
06:32:26 -!- hppavilion[1] has joined.
06:34:32 -!- hppavilion[2] has quit (Ping timeout: 255 seconds).
06:46:10 -!- hppavilion[2] has joined.
06:48:53 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
06:54:35 -!- hppavilion[1] has joined.
06:55:41 -!- hppavilion[2] has quit (Ping timeout: 255 seconds).
07:00:05 -!- FreeFull has quit.
07:08:09 -!- DHeadshot has quit (Ping timeout: 245 seconds).
07:11:45 -!- hppavilion[2] has joined.
07:13:14 -!- hppavilion[1] has quit (Ping timeout: 255 seconds).
07:18:11 <hppavilion[2]> @tell oerjan You should see a doctor if that cough persists
07:18:11 <lambdabot> Consider it noted.
07:19:05 -!- hppavilion[2] has quit (Quit: HRII'FHALMA MNAHN'K'YARNAK NGAH NILGH'RI'BTHNKNYTH).
07:45:55 -!- hppavilion[1] has joined.
07:46:05 -!- sleffy has quit (Ping timeout: 255 seconds).
07:54:29 <hppavilion[1]> I had the Wikipedia article for Gödel's Incompleteness Therems open
07:54:32 <hppavilion[1]> *Theorems
07:54:48 <hppavilion[1]> And I glanced at it and thought it said "Gödel's Incompetence Theorems"
07:54:52 -!- diginet_ has joined.
07:55:00 -!- diginet has quit (Ping timeout: 260 seconds).
07:55:28 -!- paul2520 has quit (Ping timeout: 260 seconds).
07:55:28 -!- catern has quit (Ping timeout: 260 seconds).
07:55:37 -!- Bowserinator has quit (Ping timeout: 256 seconds).
07:55:50 -!- paul2520 has joined.
07:55:56 -!- sftp has quit (Ping timeout: 260 seconds).
07:55:58 -!- deltab has quit (Ping timeout: 260 seconds).
07:56:01 -!- diginet_ has changed nick to diginet.
07:56:04 -!- paul2520 has quit (Changing host).
07:56:04 -!- paul2520 has joined.
07:56:11 -!- alercah has quit (Ping timeout: 256 seconds).
07:56:17 -!- Alfie275 has quit (Ping timeout: 268 seconds).
07:56:49 -!- alercah has joined.
07:56:56 -!- Alfie275 has joined.
07:56:57 -!- catern has joined.
07:57:24 -!- deltab has joined.
07:57:34 -!- erdic_ has joined.
07:57:41 -!- Bowserinator has joined.
07:57:43 -!- erdic has quit (Read error: Connection reset by peer).
07:57:58 -!- erdic_ has changed nick to erdic.
07:59:22 -!- sftp has joined.
08:13:07 -!- AnotherTest has joined.
08:17:14 -!- atslash has joined.
08:48:39 -!- sebbu2 has joined.
08:51:35 -!- sebbu has quit (Ping timeout: 241 seconds).
08:54:51 -!- hppavilion[2] has joined.
08:57:35 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
08:58:31 -!- hppavilion[1] has joined.
09:01:05 -!- hppavilion[2] has quit (Ping timeout: 260 seconds).
09:07:17 -!- hppavilion[2] has joined.
09:10:25 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
09:48:27 <HackEgo> [wiki] [[Malbolge Unshackled]] M https://esolangs.org/w/index.php?diff=51662&oldid=51388 * Malbranche * (-72) /* Compatibility */
10:03:22 -!- hppavilion[1] has joined.
10:05:23 -!- hppavilion[2] has quit (Ping timeout: 240 seconds).
10:13:46 -!- hppavilion[1] has quit (Ping timeout: 268 seconds).
10:34:11 -!- contrapumpkin has quit (Ping timeout: 252 seconds).
10:37:26 -!- propumpkin has joined.
10:45:45 -!- Seaser has joined.
10:46:57 -!- wob_jonas has joined.
10:48:03 <wob_jonas> `? vacuum tube
10:48:12 <HackEgo> vacuum tube? ¯\(°​_o)/¯
10:49:43 <wob_jonas> I want some stupid wisdom entry about how the London metro was completely evacuated after terrorists attacked it, and how the underground then behaved as vacuum trains, running with incredible speeds between the terminals as air resistance didn't slow them down.
10:49:54 <wob_jonas> But I'm not sure how to phrase it.
10:58:04 -!- hppavilion[1] has joined.
11:02:43 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
11:24:41 -!- Seaser has quit (Ping timeout: 268 seconds).
11:32:00 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
11:33:29 -!- boily has joined.
11:39:02 <boily> `wisdom
11:39:03 <HackEgo> rust//Rust is C++ as designed by the makers of Haskell.
11:58:04 -!- hppavilion[1] has joined.
12:00:42 -!- hppavilion[2] has joined.
12:02:53 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
12:06:26 <boily> hppavellon[3].
12:06:41 <int-e> `wisdom
12:06:42 <HackEgo> banana//Bananananananana BATMAN!
12:06:47 <int-e> uh.
12:08:10 <boily> `cwlprits banana
12:08:17 <boily> (is it mine?)
12:08:19 <HackEgo> oerjän hppavilion[2̈]
12:08:51 <boily> int-ello.
12:08:54 <int-e> it's 100% villainous
12:09:37 <int-e> (50% in actuality, 50% by name)
12:10:28 <int-e> `? lisp
12:10:29 <HackEgo> lisp? ¯\(°​_o)/¯
12:10:38 <int-e> . o O ( I just read this: "Lisp doesn't"
12:10:45 <int-e> "have this problem, but only because it throws out the baby with the bathwater" )
12:13:08 -!- hppavilion[2] has quit (Read error: Connection reset by peer).
12:25:31 <boily> can babies take showers?
12:26:02 -!- boily has quit (Quit: STRUCK CHICKEN).
12:44:39 <b_jonas> I removed another 9 completely unnecessary characters from my golf
12:48:17 <HackEgo> [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=51663&oldid=51661 * Ais523 * (+21) /* B */ +[[But Is It Art?]]
12:58:55 -!- kiki` has joined.
13:00:08 -!- atehwa has joined.
13:21:53 <HackEgo> [wiki] [[But Is It Art?]] N https://esolangs.org/w/index.php?oldid=51664 * Ais523 * (+5251) new language!
13:22:36 <HackEgo> [wiki] [[User:Ais523]] https://esolangs.org/w/index.php?diff=51665&oldid=51174 * Ais523 * (+20) +[[But Is It Art?]]
13:28:42 <HackEgo> [wiki] [[But Is It Art?]] M https://esolangs.org/w/index.php?diff=51666&oldid=51664 * Int-e * (+1) /* Syntax */ presumably you meant this
13:33:01 <b_jonas> fizzie: I can't log in to esolangs again. This time it says "There seems to be a problem with your login session; this action has been canceled as a precaution against session hijacking. Go back to the previous page, reload that page and then try again.". I'm accessing via http (not https).
13:35:33 <b_jonas> so ais made another language
13:38:23 <HackEgo> [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=51667&oldid=51663 * B jonas * (+29)
13:38:42 <b_jonas> fizzie: hmm, but I can log in on https://esolangs.org/ so it seems like the problem is only with http
13:38:47 <b_jonas> though it could be some client-side stuff
13:41:07 <HackEgo> [wiki] [[V (DJMcMayhem)]] https://esolangs.org/w/index.php?diff=51668&oldid=50731 * B jonas * (+97)
13:44:15 <b_jonas> oh dear
13:47:07 -!- Lord_of_Life has quit (Excess Flood).
13:48:01 -!- Lord_of_Life has joined.
14:00:22 -!- Seaser has joined.
14:01:43 -!- Lord_of_Life has quit (Excess Flood).
14:04:19 -!- augur has joined.
14:06:01 -!- Lord_of_Life has joined.
14:09:01 -!- Lord_of_Life has quit (Excess Flood).
14:09:33 <fizzie> b_jonas: I've noticed some funkiness with the session handling when it comes to mixing http and https, though I've definitely not gotten to the bottom of it.
14:10:22 <b_jonas> fizzie: ok
14:15:22 -!- augur has quit (Remote host closed the connection).
14:15:54 -!- augur has joined.
14:20:26 -!- augur has quit (Ping timeout: 268 seconds).
14:30:55 -!- Seaser has quit (Ping timeout: 268 seconds).
14:35:20 -!- clog has quit (Ping timeout: 260 seconds).
14:41:21 -!- Seaser has joined.
14:50:19 <HackEgo> [wiki] [[Semantic Brain]] https://esolangs.org/w/index.php?diff=51669&oldid=47236 * SilverWingedSeraph * (+16) /* Commands and Source Code */ Update to BrainFuck semantics.
14:50:49 <Seaser> sup
14:50:54 -!- `^_^v has joined.
14:52:23 <HackEgo> [wiki] [[Semantic Brain]] M https://esolangs.org/w/index.php?diff=51670&oldid=51669 * SilverWingedSeraph * (+43) /* Commands and Source Code */ Clarify semantic equivalence.
14:54:27 <Seaser> sup
14:57:48 -!- hkgit03 has joined.
15:04:27 -!- moonythedwarf has joined.
15:04:29 <moonythedwarf> On a scale of 1 to 10, how likely is it that this question is using binary?
15:04:42 <moonythedwarf> (#xkcd spies are cheaters)
15:07:18 -!- Bowserinator has quit (Changing host).
15:07:18 -!- Bowserinator has joined.
15:09:38 <Seaser> ??
15:12:57 <FireFly> 1.1
15:14:21 -!- erkin has joined.
15:16:02 -!- hkgit03 has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
15:18:21 -!- clog has joined.
15:18:53 -!- Phantom_Hoover has joined.
15:23:41 <rdococ> moonythedwarf: I maintain that the answer is 2.
15:24:32 <moonythedwarf> rdococ, (Cheater) lol
15:24:36 <rdococ> ?
15:24:53 <moonythedwarf> oh, you didnt see the discussion in #xkcd? ok then
15:24:58 <rdococ> I didn't look in xkcd, or even #xkcd for that matter.
15:25:02 <moonythedwarf> lol
15:25:07 <rdococ> Wanna hear my reasoning?
15:25:12 <moonythedwarf> but yea, 2 is a good answer
15:25:20 <rdococ> nvm then
15:25:29 <moonythedwarf> already heard the reasoning of 4 diffrent people in #xkcd for the number '2'
15:27:08 <b_jonas> If I started to use the names of heroes of myth as codenames for tech stuff, and then I use bad design just so the naming can fit the family trees of those heros, how bad is that on a scale of 0 to 1?
15:27:35 <rdococ> heh
15:28:28 <rdococ> b_jonas: depends if it's on april fools day
15:28:50 <b_jonas> rdococ: it lasts for way more than a day.
15:28:59 <moonythedwarf> b_jonas, 10
15:29:04 <rdococ> ...ah.
15:29:13 <rdococ> 1010.
15:29:29 <rdococ> have fun determining if that's binary
15:29:33 <moonythedwarf> ^
15:31:12 <rdococ> b_jonas, depends how large-scale the tech stuff is
15:31:56 <b_jonas> moonythedwarf: uh
15:32:13 <rdococ> bad design in a program designed specifically to, idk, fart while skydiving without a parachute, is not as bad as bad design in an OS
15:41:26 <b_jonas> I see
15:42:11 -!- Seaser has quit (Quit: Leaving).
15:43:04 -!- Seaser has joined.
15:44:26 -!- sease has joined.
15:47:20 -!- Seaser has quit (Ping timeout: 245 seconds).
15:48:47 <moonythedwarf> xkcd 1578 heh
15:48:54 <moonythedwarf> wrong server
15:58:36 -!- Seaser has joined.
16:02:11 -!- sease has quit (Ping timeout: 268 seconds).
16:15:52 -!- MoALTz has joined.
16:32:04 -!- sleffy has joined.
16:41:01 -!- sease has joined.
16:44:43 -!- Seaser has quit (Ping timeout: 240 seconds).
16:52:35 -!- Vorpal has quit (Ping timeout: 260 seconds).
16:55:18 -!- FreeFull has joined.
17:17:31 -!- Lord_of_Life has joined.
17:27:29 <rdococ> hm
17:31:10 -!- Seaser has joined.
17:33:43 -!- sease has quit (Ping timeout: 240 seconds).
17:36:13 <rdococ> `? 10
17:36:17 <HackEgo> 10? ¯\(°​_o)/¯
17:36:45 <rdococ> `le//rn 10//10 = 10 in every base
17:36:51 <HackEgo> Learned '10': 10 = 10 in every base
17:44:42 -!- sease has joined.
17:48:22 -!- Seaser has quit (Ping timeout: 240 seconds).
17:55:24 -!- DHeadshot has joined.
17:59:40 -!- S1 has joined.
18:13:31 <rdococ> `? 10
18:13:35 <HackEgo> 10 = 10 in every base
18:13:38 <rdococ> oh yay it wasn't reverted
18:21:52 <Taneb> What about base 1
18:26:39 <HackEgo> [wiki] [[Talk:But Is It Art?]] N https://esolangs.org/w/index.php?oldid=51671 * Int-e * (+629) Created page with "This language fails to be IO-complete in a, perhaps, interesting way: Whenever (I,O) is a valid input/output pair, then so is (I<sup>k</sup>,O<sup>k</sup>) for any k > 0. So,..."
18:34:38 -!- hppavilion[1] has joined.
18:36:18 -!- augur has joined.
18:40:23 -!- xfix_ has quit (Remote host closed the connection).
19:01:31 <rdococ> 42
19:02:31 <hppavilion[1]> Where do I get these CRISPR Vim keybindings‽
19:16:49 <rdococ> I have an idea for independent random variables
19:20:08 -!- Phantom_Hoover has quit (Ping timeout: 268 seconds).
19:20:15 -!- Remavas-PC has joined.
19:25:22 -!- sleffy has quit (Ping timeout: 260 seconds).
19:26:57 -!- sleffy has joined.
19:29:13 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
19:30:07 -!- hppavilion[1] has joined.
19:31:23 -!- MoALTz has quit (Quit: Leaving).
19:33:42 <rdococ> functions that create independent random variables will take the random results as arguments and return their result
19:38:01 <rdococ> (these are independent random bits, btw)
19:39:43 -!- augur has quit (Ping timeout: 240 seconds).
19:42:04 <rdococ> To compute the percentage of the function returning true, you would enumerate in binary style
19:42:30 <rdococ> and to compare two such functions, enumerate both in sync and see if they equal at every point
19:42:57 * hppavilion[1] . o O ( Is there an analog of Bayes's Theorem for probability amplitudes )
19:43:06 * hppavilion[1] . o O ( *+? )
19:44:01 <rdococ> . o O ( Hppavilion's theorem )
19:44:34 <Remavas-PC> Just square the amplitudes :)
19:45:02 <hppavilion[1]> Remavas-PC: ...yeah, I figured it'd probably boil down to something along the lines of "Yes, there is. It's the exact same though."
19:45:22 <Remavas-PC> :P
19:45:23 <hppavilion[1]> Remavas-PC: Wait, squaring the amplitudes or squaring the absolute values?
19:45:29 <rdococ> The Remavas-Hppavilion Theorem :P
19:45:34 <hppavilion[1]> (or is the absolute value the amplitude part?)
19:45:38 <Remavas-PC> does that make a difference?
19:45:50 <hppavilion[1]> Remavas-PC: Yeah. i^2 = -1, |i|^2 = 1
19:45:53 <hppavilion[1]> Big difference.
19:45:58 <hppavilion[1]> Like, a difference of *2*!
19:46:07 * hppavilion[1] whistles
19:46:18 <rdococ> a multiplicational difference of -1
19:46:36 <hppavilion[1]> rdococ: Difference = subtraction
19:46:43 <hppavilion[1]> Or, well
19:47:02 <Remavas-PC> modulus squared
19:47:09 <hppavilion[1]> Difference ∝ Subtraction
19:47:10 <Remavas-PC> so absolute value squared
19:47:10 <rdococ> hppavilion[1]: I read some cultures view the number line logarithmically as opposed to linearly. imagine the implications of that.
19:47:11 <Remavas-PC> yea
19:47:21 <hppavilion[1]> rdococ: That's just the number logarithm.
19:47:23 <rdococ> Difference = |subtraction|
19:47:33 <hppavilion[1]> rdococ: Also, what do you mean by that?
19:47:38 <rdococ> hppavilion[1]: yes but imagine a culture whose math was based on numbers like that
19:47:41 <hppavilion[1]> Difference ∝ sin(subtraction)
19:47:51 <Remavas-PC> :P
19:47:52 <hppavilion[1]> rdococ: But what does that actually mean?
19:48:24 <rdococ> hppavilion[1]: Say you asked them a question like, "What is the number half way between 1 and 9?" I read that some of them would say "3" rather than "5", because 3x3 is 9
19:48:34 <hppavilion[1]> rdococ: Ah, yes, I see.
19:48:56 <Remavas-PC> that seems weird
19:48:57 <hppavilion[1]> rdococ: That sounds more like a different meaning of the phrase "half way between" than a different type of number
19:48:57 <rdococ> now, imagine a technologically advanced culture whose basic arithmetic is based on that.
19:49:13 <Remavas-PC> That would imly they find multipication more important than addition
19:49:23 <hppavilion[1]> rdococ: Our arithmetic is based on that, but we call it "roots".
19:49:42 <rdococ> hppavilion[1]: You mean they're the roots of arithmetic? :P
19:49:42 <hppavilion[1]> We just call it exponents.
19:49:58 <hppavilion[1]> We use exponents a lot. We just don't think of them _first_ when you say "halfway"
19:50:03 <hppavilion[1]> rdococ: No I do not.
19:50:04 <rdococ> I know that.
19:50:08 <hppavilion[1]> rdococ: Go sit in the shame corner.
19:50:12 <rdococ> aw
19:50:12 <hppavilion[1]> `? #esoteric
19:50:14 <HackEgo> ​#esoteric is the only channel that exists. After monqy left it became slightly off-centër. It's a 7-codimensional hyperenchilada about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part, but it keeps getting dug up by free ranging moons. Currently located in the Atlantis Exclusion Zone.
19:50:14 <rdococ> :P
19:50:37 <hppavilion[1]> How many vertices does a 7-codimensional hyperenchildada have again?
19:50:43 <rdococ> a lot
19:50:54 <hppavilion[1]> [answer: that's actually meaningless]
19:51:16 <hppavilion[1]> [Not the hyperenchilada part; the "7-codimensional" without giving what it's codimensional with respect /to/.]
19:51:23 <rdococ> nice to know
19:51:27 <Remavas-PC> 7-dimesnional then
19:51:32 <hppavilion[1]> Remavas-PC: No
19:51:35 <Remavas-PC> for our purpose :P
19:51:39 <hppavilion[1]> Remavas-PC: It says "7-codimensional"
19:51:52 <hppavilion[1]> Remavas-PC: It probably means with respect to our 4-dimensional outerverse.
19:52:13 <rdococ> . o O ( codimension? )
19:52:32 <rdococ> `? ndecension
19:52:33 <HackEgo> ndecension? ¯\(°​_o)/¯
19:53:07 <hppavilion[1]> rdococ: Lookitup
19:53:36 <hppavilion[1]> rdococ: Also, most of our senses are logarithmic; "are there 1 or 2 lions in those bushes‽" is a lot more important a question than "are there 71 or 72 lions in those bushes‽"
19:53:44 <rdococ> hppavilion[1]: That is true.
19:53:53 <hppavilion[1]> (but infinitely less important than "are there 41 or 42 lions in those bushes‽", but that's a special case)
19:54:10 <Remavas-PC> Our eyes operate on logarithmic brightness levels
19:54:18 <rdococ> Okay, okay, we're logarithmic.
19:54:25 <Remavas-PC> of course 42!
19:54:29 <Remavas-PC> :P
19:54:29 <rdococ> But we still count on a linear number line.
19:54:58 <rdococ> So, imagine a culture whose number line is 1 - 2 - 4 - 8 - 16 - ... or even 1 - 3 - 9 - 27 - ...
19:55:17 <hppavilion[1]> I'm going to model a normal 2-Enchilada as a Lens-based Prysm
19:55:31 <rdococ> Sounds nice.
19:55:40 <Remavas-PC> I can't...
19:55:44 <hppavilion[1]> (a Prysm being the union of prisms and cylinders)
19:55:50 <hppavilion[1]> Remavas-PC: Hm?
19:55:53 <Remavas-PC> Because how do they count sheep then :)
19:56:21 <rdococ> Remavas-PC: One sheep, two sheep, let them reproduce! Four sheep, eight sheep, let them reproduce! Sixteen sheep, thirty two sheep, let them reproduce!
19:56:55 <rdococ> Remavas-PC: and 32 - 16 = 1 :P
19:57:52 <Remavas-PC> We all should count using prime numbers...duh
19:58:04 <Remavas-PC> :)
19:58:24 <hppavilion[1]> rdococ: That's a wet dream though
19:58:38 <Remavas-PC> :P
19:58:38 <hppavilion[1]> Do androids wet dream of electric sheep factories?
19:58:43 <rdococ> lol
19:58:50 <rdococ> Factory factories.
19:58:53 <rdococ> `? factory factory
19:58:54 <HackEgo> factory factory? ¯\(°​_o)/¯
19:58:56 <hppavilion[1]> Answer: No; if they had a wet dream, they would short circuit and die
19:58:57 <rdococ> `? metafactory
19:58:58 <HackEgo> metafactory? ¯\(°​_o)/¯
19:59:00 <rdococ> har har
19:59:03 <hppavilion[1]> rdococ: ...pervert
19:59:09 <Remavas-PC> ~? die
19:59:10 <rdococ> Har. har. har.
19:59:14 <Remavas-PC> `? die
19:59:15 <HackEgo> die? ¯\(°​_o)/¯
19:59:29 -!- Phantom_Hoover has joined.
20:00:09 <hppavilion[1]> HackEgo is immortal
20:00:26 <Remavas-PC> Has HackEgo got a brainf*ck interpreter?
20:00:44 <hppavilion[1]> Remavas-PC: Yeah, probably
20:00:50 <hppavilion[1]> Remavas-PC: fungot defiantly does.
20:00:50 <fungot> hppavilion[1]: kabuto: the shinto sun goddess amaterasu, he soon turned it into a locked shop. therefore, my child--i should say miladi? whatever is inside it.
20:01:01 <hppavilion[1]> Not definitely. Defiantly.
20:01:27 <Remavas-PC> `? Defiant-ly
20:01:28 <HackEgo> Defiant-ly? ¯\(°​_o)/¯
20:02:03 <hppavilion[1]> rdococ: In my culture, the number line is 1.0 - 2.718281828459045 - 7.3890560989306495 - 20.085536923187664 - 54.59815003314423 - 148.41315910257657 - 403.428793492735
20:02:14 <hppavilion[1]> Remavas-PC: Also, please, refer to the language by its proper name.
20:02:22 <Remavas-PC> I was kicked once
20:02:25 <rdococ> hppavilion[1]: Nice. Natural exponentiation.
20:02:27 <hppavilion[1]> Remavas-PC: From #esoteric?
20:02:31 <Remavas-PC> Yeah
20:02:35 <hppavilion[1]> Remavas-PC: By whom‽
20:02:44 <Remavas-PC> oeljan or similiar
20:02:48 <rdococ> oerjan
20:02:51 <Remavas-PC> yeah
20:02:55 <rdococ> I looked it up in my logs
20:03:11 <rdococ> it was for saying cun with a t on the end
20:03:14 <Remavas-PC> I said an unnice word :P
20:03:23 <rdococ> which is strange, because fuck is allowed (e.g. brainfuck)
20:03:57 <rdococ> anyway
20:04:01 <rdococ> I will invent a new swear word
20:04:04 <rdococ> phrel
20:04:07 <rdococ> `? phrel
20:04:08 <HackEgo> phrel? ¯\(°​_o)/¯
20:04:33 <Remavas-PC> phrel = a fluid that holds seeds
20:04:39 <rdococ> really?
20:04:42 <Remavas-PC> no
20:04:44 <Remavas-PC> :P
20:04:46 <rdococ> ha
20:04:53 <rdococ> lol
20:05:13 <rdococ> `le//rn phrel//Phrel is a swear word rdocscovered in 2018. It refers to a fluid that holds seeds.
20:05:15 <HackEgo> Learned 'phrel': Phrel is a swear word rdocscovered in 2018. It refers to a fluid that holds seeds.
20:05:34 <hppavilion[1]> rdococ: Actually, the above isn't quite true
20:05:39 <rdococ> ?
20:05:48 <Remavas-PC> Can you look up phrel now?
20:05:54 <Remavas-PC> By HackEgo?
20:05:56 <hppavilion[1]> Only those weird fuckers to the north use natural counting for numbers
20:05:56 <Remavas-PC> :)
20:06:02 <hppavilion[1]> Our number line here goes 1.0 - 2.6382270745053704 - 6.9602420966531655 - 18.362699144502407 - 48.44497004402285 - 127.80883159374271 - 337.1887198715094
20:06:08 <rdococ> hppavilion[1]: Heh.
20:06:11 <hppavilion[1]> (the meaning of that is left as an exercise to the reader)
20:06:16 <rdococ> But natural counting is natural!
20:06:28 <Remavas-PC> hah, we count using powers of e!
20:06:40 <Remavas-PC> and for speed we use fractions of c!
20:06:47 <Remavas-PC> so practical
20:06:56 <rdococ> I don't see how you can all put up with your fancy fractions.
20:07:08 <Remavas-PC> mass is given in eV
20:07:13 <rdococ> My species counts with powers of 2: nice and simple. It makes sense - it's the cell division constant.
20:07:56 <Remavas-PC> Mayans counted using powers of 60 :P
20:08:07 <rdococ> @oeis 1.0 2.6382270745053704 6.9602420966531655 18.362699144502407
20:08:08 <lambdabot> Sequence not found.
20:08:11 <rdococ> aw.
20:08:24 <Remavas-PC> @oeis 1 2 1 2 1
20:08:40 <Remavas-PC> crash?
20:08:41 <rdococ> Remavas-PC: Your culture is odd. Just count with powers of 2!
20:08:48 <rdococ> oops.
20:08:59 <Remavas-PC> @oeis 1.0 2.0 1.0 2.0
20:09:07 <lambdabot> Plugin `oeis' failed with: <<timeout>>
20:09:12 <Remavas-PC> yup
20:09:13 <Remavas-PC> crash
20:09:30 <rdococ> Oops.
20:09:45 <Remavas-PC> `? sorry
20:09:46 <HackEgo> sorry? ¯\(°​_o)/¯
20:10:43 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
20:11:07 <lambdabot> Plugin `oeis' failed with: <<timeout>>
20:19:05 -!- hppavilion[1] has joined.
20:21:56 -!- wob_jonas has joined.
20:24:13 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
20:27:24 -!- xfix has joined.
20:27:37 -!- hppavilion[1] has joined.
20:27:52 <rdococ> `le//rn codependency
20:27:53 <HackEgo> Usage: `le/[/]rn <key>//<wisdom>
20:27:57 <rdococ> `? codependency
20:27:58 <HackEgo> Codependency is a programmer disease caused by having too much code pending.
20:28:09 <rdococ> Ha ha ha.
20:33:27 -!- orby has joined.
20:34:03 <rdococ> `? cocoa
20:34:04 <HackEgo> cocoa? ¯\(°​_o)/¯
20:34:08 <rdococ> `? a
20:34:09 <HackEgo> A is a village in Norway. The BBC invented it by not understanding things on top of letters.
20:34:24 <rdococ> `le//rn cocoa//A is a village in Norway. The BBC invented it by not understanding things on top of letters.
20:34:26 <HackEgo> Learned 'cocoa': A is a village in Norway. The BBC invented it by not understanding things on top of letters.
20:34:33 <HackEgo> [wiki] [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=51672&oldid=51646 * Orby * (+150)
20:35:02 <rdococ> `? supersymmetry
20:35:04 <HackEgo> supersymmetry? ¯\(°​_o)/¯
20:35:31 <rdococ> `le//rn supersymmetry//Supersymmetry is an obsessive cleaning disorder only diagnosed to physicists.
20:35:33 <HackEgo> Learned 'supersymmetry': Supersymmetry is an obsessive cleaning disorder only diagnosed to physicists.
20:36:05 <rdococ> helloteric; what do you think about these?
20:36:48 <rdococ> `? IP
20:36:49 <HackEgo> IP? ¯\(°​_o)/¯
20:37:25 -!- S1 has quit (Quit: Leaving).
20:37:26 <rdococ> `le//rn IP//Your IP address is a pointer to the current instruction.
20:37:28 <HackEgo> Learned 'ip': Your IP address is a pointer to the current instruction.
20:38:38 <Taneb> Instruction pointer address
20:38:55 <rdococ> yes
20:39:06 <rdococ> `le//rn IP//Your IP address is the address of the pointer to the current instruction.
20:39:08 <HackEgo> Relearned 'ip': Your IP address is the address of the pointer to the current instruction.
20:40:17 -!- Vorpal has joined.
20:40:43 -!- sleffy has quit (Ping timeout: 240 seconds).
20:45:19 <rdococ> `leran
20:45:19 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: leran: not found
20:45:25 <rdococ> `learm
20:45:26 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: learm: not found
20:46:57 <wob_jonas> wtf they changed met.hu or something?
20:52:37 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
20:53:57 <wob_jonas> where did they hide the daily textual whole country predictions?
20:54:22 <rdococ> `? nyan
20:54:23 <HackEgo> nyan? ¯\(°​_o)/¯
20:54:49 <wob_jonas> ok, found it, but damn them for the link churn and worse interface and stupid javascript stuff
20:55:27 <rdococ> `? frozen
20:55:28 <HackEgo> frozen? ¯\(°​_o)/¯
20:55:28 <rdococ> `? cofrozen
20:55:29 <HackEgo> cofrozen? ¯\(°​_o)/¯
20:55:57 <rdococ> `? rdocscover
20:55:58 <HackEgo> rdocscover? ¯\(°​_o)/¯
20:55:59 <rdococ> `? rdocscovery
20:56:00 <HackEgo> Rdocscoveries include footballs, how bored one person can get, and Budapest.
21:00:26 -!- AnotherTest has quit (Ping timeout: 255 seconds).
21:01:12 -!- AnotherTest has joined.
21:01:50 -!- moonythedwarf has quit (Remote host closed the connection).
21:06:55 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
21:07:17 -!- hppavilion[1] has joined.
21:10:41 <wob_jonas> argh
21:11:54 <wob_jonas> I want to buy cheap earbud style headphones with an analog dial control built in, but they're both rare and very hard to search for, because "volume control" usually refers to remote controlling your phone with signals from switches on the headphone hardware, and "dial" usually refers to remote controlling phone calls on your phone with signals fro
21:11:54 <wob_jonas> m switches on the headphone hardware.
21:15:25 * hppavilion[1] ♪ ♩ O ( Is it possible to have a cycloid
21:15:28 <hppavilion[1]> Whoops
21:15:33 <hppavilion[1]> Premature sendulation
21:15:35 -!- augur has joined.
21:16:30 * hppavilion[1] ♩ 𝅗𝅥 𝅝 ( Is it possible to have a cycloid wave as the encoding of some tone )
21:16:55 <hppavilion[1]> (or more accurately, does it sound good in a distinct way?)
21:18:00 <rdococ> One sheep, two sheep, four sheep, eight sheep.
21:18:11 <rdococ> Sixteen sheep, thirty two sheep, sixty four sheep, one hundred and twenty eight sheep.
21:18:24 <rdococ> `?
21:18:25 <HackEgo> ​? ¯\(°​_o)/¯
21:18:39 <rdococ> `? `
21:18:40 <HackEgo> ​` is the prefix to greatness.
21:18:43 <rdococ> `? `_
21:18:44 <HackEgo> ​`_? ¯\(°​_o)/¯
21:18:47 <rdococ> `? `_-
21:18:48 <HackEgo> ​`_-? ¯\(°​_o)/¯
21:18:51 <rdococ> `? `_-z
21:18:52 <HackEgo> ​`_-z? ¯\(°​_o)/¯
21:19:58 <hppavilion[1]> rdococ: Did you happen to have some precooked canned pork for lunch?
21:20:12 <rdococ> ?
21:20:16 <rdococ> no?
21:20:39 <rdococ> `? emoticon
21:20:40 <HackEgo> emoticon? ¯\(°​_o)/¯
21:21:06 <HackEgo> [wiki] [[Special:Log/newusers]] create * Xav737 * New user account
21:21:31 <hppavilion[1]> `le/rn emoticon//emoticon: ¯\(°​_o)/¯
21:21:33 <HackEgo> Learned 'emoticon': emoticon: ¯\(°​_o)/¯
21:21:41 <hppavilion[1]> `? emoticon
21:21:42 <HackEgo> emoticon: ¯\(°​_o)/¯
21:21:47 -!- augur_ has joined.
21:22:02 -!- augur has quit (Ping timeout: 260 seconds).
21:22:13 <hppavilion[1]> `paste lowercase2
21:22:15 <HackEgo> https://hackego.esolangs.org/fshg/index.cgi/file/tip/lowercase2
21:22:30 <hppavilion[1]> `paste bin/lowercase2
21:22:31 <HackEgo> https://hackego.esolangs.org/fshg/index.cgi/file/tip/bin/lowercase2
21:22:44 <hppavilion[1]> `paste bin/lowercase
21:22:45 <HackEgo> https://hackego.esolangs.org/fshg/index.cgi/file/tip/bin/lowercase
21:23:49 <hppavilion[1]> `lowercase2 WÅLRØSŒ
21:23:50 <HackEgo> wålrøsœ
21:23:59 <hppavilion[1]> `lowercase2 WÅŁRØSŒ
21:24:00 <HackEgo> wåŁrøsœ
21:24:04 -!- augur has joined.
21:24:14 <rdococ> wælcem
21:25:46 <hppavilion[1]> `sled bin/lowercase2//s/Ý/ÝŁ/
21:25:48 <HackEgo> bin/lowercase2//#!/bin/bash \ print_args_or_input "$@" | tr A-Z a-z | LANG=en_NZ.UTF-8 sed 'y/ØÅÆŒÞÐÄÖÜÁÉÍÓÚÝŁ/øåæœþðäöüáéíóúý/'
21:26:04 -!- augur_ has quit (Read error: Connection reset by peer).
21:26:16 <rdococ> þoo
21:26:17 <rdococ> :P
21:26:18 <hppavilion[1]> `sled bin/lowercase2//s/ý/ýł/
21:26:19 <HackEgo> bin/lowercase2//#!/bin/bash \ print_args_or_input "$@" | tr A-Z a-z | LANG=en_NZ.UTF-8 sed 'y/ØÅÆŒÞÐÄÖÜÁÉÍÓÚÝŁ/øåæœþðäöüáéíóúýł/'
21:26:20 <rdococ>
21:26:23 <rdococ> `? þorn
21:26:24 <HackEgo> ​þorn? ¯\(°​_o)/¯
21:26:53 <rdococ> `le//rn þorn grows around roses.
21:26:53 <HackEgo> Usage: `le/[/]rn <key>//<wisdom>
21:27:01 <rdococ> `le//rn þorn//Þorn grows around roses.
21:27:03 <HackEgo> Learned 'þorn': Þorn grows around roses.
21:27:55 <hppavilion[1]> rdococ: I think the standard pun involving Þorn is 'porn'
21:27:59 <hppavilion[1]> `? Þorn
21:28:00 <HackEgo> ​Þorn? ¯\(°​_o)/¯
21:28:06 <hppavilion[1]> `cat bin/?
21:28:07 <HackEgo> ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed "s/noo\+dl/nooodl/;s/ *$//") \ topic1=$(echo '`'"$topic" | sed 's/^`\(`\|$\)//') \ topic2=$(echo "$topic" | sed "s/s$//") \ cd wisdom \ if [ \( "_$topic2"_ = "_ngevd"_ \) -a \( -e ngevd \) ]; \ then cat /dev/urandom; \ elif [ -e "$topic" ]; \ then cat "$topic"; \ elif [ -e "$topic
21:28:28 <hppavilion[1]> `sled bin/¿//s/lowercase/lowercase2/
21:28:29 <HackEgo> bin/¿//\? "$@" | rev | tac
21:28:35 <hppavilion[1]> ...what
21:28:36 <hppavilion[1]> Oh
21:28:41 <hppavilion[1]> `sled bin/?//s/lowercase/lowercase2/
21:28:43 <HackEgo> bin/?//#!/bin/bash \ topic=$(echo "$1" | lowercase2 | sed "s/noo\+dl/nooodl/;s/ *$//") \ topic1=$(echo '`'"$topic" | sed 's/^`\(`\|$\)//') \ topic2=$(echo "$topic" | sed "s/s$//") \ cd wisdom \ if [ \( "_$topic2"_ = "_ngevd"_ \) -a \( -e ngevd \) ]; \ then cat /dev/urandom; \ elif [ -e "$topic" ]; \ then cat "$topic"; \ elif [ -e "$
21:28:47 <hppavilion[1]> `? Þorn
21:28:48 <HackEgo> ​Þorn grows around roses.
21:28:53 <hppavilion[1]> `? þorn
21:28:54 <HackEgo> ​Þorn grows around roses.
21:29:21 <hppavilion[1]> (Next up: Greek)
21:29:26 <rdococ> `? y
21:29:27 <HackEgo> Y is a commune in France. There's nothing funny about this.
21:31:18 <hppavilion[1]> (Hm, should ? be case sensitive if possible, but fallback on lowercasing? So if the existent wisdom entries are {a: "hi.", b: "fuck off", A: "HI!"}, ? a yields "hi.", ? b yields "fuck off", ? A yields "HI!", and ? B yields "fuck off"
21:32:15 <rdococ> eye
21:32:17 <rdococ> ye
21:32:22 <rdococ> `? Wye
21:32:24 <HackEgo> Wye? ¯\(°​_o)/¯
21:33:04 <wob_jonas> `slashlearn vacuum tube//After the London terrorist attacks of 2005, the Underground was completely evacuated. Without air resistance, the trains would go at blazingly fast speeds between the terminals. This is called a vacuum tube. Sadly, current technology doesn't let passengers travel that way.
21:33:06 <HackEgo> Learned 'vacuum tube': After the London terrorist attacks of 2005, the Underground was completely evacuated. Without air resistance, the trains would go at blazingly fast speeds between the terminals. This is called a vacuum tube. Sadly, current technology doesn't let passengers travel that way.
21:33:26 <rdococ> lol
21:33:56 <rdococ> `? transistor
21:33:57 <HackEgo> transistor? ¯\(°​_o)/¯
21:34:37 <int-e> wob_jonas: https://en.wikipedia.org/wiki/Hyperloop <-- it's not really current technology, but are you aware of this?
21:34:48 -!- augur has quit (Read error: Connection reset by peer).
21:35:53 -!- augur has joined.
21:36:08 <wob_jonas> int-e: I was rather trying to refer to the concept of vacuum trainson earth's surface as likely future technology. Expensive to build, but may be cheaper than aviation on crowded lines in the long term.
21:36:45 <wob_jonas> I'm not sure how this hyperloop thing differs from it. Sounds like a new fancy sounding name for an old concept to sell it.
21:37:02 <int-e> . o O ( Hyperloop is a concept for a high energy particle accelerator. )
21:37:40 <rdococ> . o O 0 A Æ E I I |
21:39:14 <wob_jonas> Or maybe it's a more detailed specific plan of an instance of vac train line.
21:40:31 <int-e> If I haven't messed up my calculation, a bullet fired from a .357 Magnum has about 5 ZeV...
21:40:42 -!- augur has quit (Ping timeout: 260 seconds).
21:40:45 <int-e> in kinetic energy.
21:44:42 <rdococ> magical energy
21:45:28 <wob_jonas> feel free to improve that wisdom entry, I know the phrasing isn't the best.
21:46:56 <wob_jonas> what's so hard in including an analog dial resistor thingy in the fucking earphones, east asian electronics guys!
21:49:27 <hppavilion[1]> Hm
21:50:25 <rdococ> . o O o .
21:50:28 <HackEgo> [wiki] [[Talk:But Is It Art?]] https://esolangs.org/w/index.php?diff=51673&oldid=51671 * Ais523 * (+790) reply
21:51:23 <hppavilion[1]> If my math is correct, the set of n×n matrices (for all natural n) forms a vector space over (pretty much any field) with straightforward addition and multiplication
21:51:35 <HackEgo> [wiki] [[But Is It Art?]] https://esolangs.org/w/index.php?diff=51674&oldid=51666 * Ais523 * (+182) /* Computational class */ clarify; the previous text was a bit misleading
21:51:45 <rdococ> !(!a AND !b)
21:51:47 <rdococ> :o
21:51:50 <rdococ> wai
21:51:52 <rdococ> wait.
21:52:05 <hppavilion[1]> But what would be interesting is a structure (maybe a "vector space space"?) that describes *all* matrices
21:52:22 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=51675&oldid=51654 * Xav737 * (+198) Post my intro
21:52:26 <rdococ> Take your normal AND gate, designed for a low 0 and high 1 system. Put it in a low 1 and high 0 system. what happens?
21:52:56 <hppavilion[1]> A VSS is a set of vector spaces together with a function f
21:53:00 <HackEgo> [wiki] [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=51676&oldid=51675 * Xav737 * (+56)
21:53:18 <hppavilion[1]> If you f is defined to combine elements of two vector spaces into elements of a third, but isn't necessarily defined for all pairs of vector spaces
21:53:37 <HackEgo> [wiki] [[HBL]] M https://esolangs.org/w/index.php?diff=51677&oldid=50431 * Xav737 * (+182)
21:54:00 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
21:54:12 <hppavilion[1]> But if a, b, and c are elements of vector spaces A, B, and C respectively and f(a, b) = c, then f is defined for all pairs of elements from A and B and is equal to an element of C
21:54:30 <rdococ> . o O ( and gate w/o transistors? )
21:54:43 <hppavilion[1]> Matrices form a VSS with matrix multiplication.
21:54:54 <hppavilion[1]> Now to figure out if this is at all useful
21:55:00 <rdococ> hm
21:55:12 <rdococ> what are some examples of AND gates constructed without transistors?
21:57:48 <rdococ> btw it has to be electronic
21:58:59 <rdococ> nobody?
21:59:00 <hppavilion[1]> rdococ: Redstone!
21:59:20 <hppavilion[1]> rdococ: No idea of some non-electric ones. Define "electric"
21:59:50 <hppavilion[1]> rdococ: Like, I could have a hose with two valves, and have an electric motor that opens the valves and a gravity-based device that closes them
22:00:06 <hppavilion[1]> Water coming out means 1, no water is 0
22:00:30 <int-e> http://hackaday.com/2014/05/30/using-pulleys-and-weights-to-explain-binary-logic-gates/ comes to mind
22:00:37 <rdococ> hppavilion[1]: It doesn't matter how the AND gate functions, it just matters that it takes in two electronic signals, and outputs an electronic signal equivalent to the wanted result.
22:00:53 <rdococ> As long as it has no transistors.
22:00:58 <int-e> why electric?
22:01:06 <hppavilion[1]> rdococ: OK, that's what I expressed. Just add a generator to the hose.
22:01:16 <hppavilion[1]> (I assume motors don't contain any transistors)
22:01:56 <rdococ> int-e, hppavilion[1]: The point is, the AND gate should output like real AND gates - with a non-zero low value.
22:03:25 <rdococ> Okay, I'll admit: what I'm trying to do is figuring out how you would construct computers without transistors. But rather than tackling it directly, "NAND gates without transistors?", I took a different approach.
22:04:43 <rdococ> wait.
22:05:40 -!- hppavilion[1] has quit (Ping timeout: 245 seconds).
22:06:30 <rdococ> Nevermind.
22:09:31 -!- `^_^v has quit (Quit: This computer has gone to sleep).
22:09:40 -!- `^_^v has joined.
22:13:56 <rdococ> `? I'n
22:13:57 <HackEgo> I'n? ¯\(°​_o)/¯
22:14:32 <rdococ> `le//rn I'n//I'n is a contraction of "I'm in" rdocscovered in the early 23rd century.
22:14:34 <HackEgo> Learned 'i'n': I'n is a contraction of "I'm in" rdocscovered in the early 23rd century.
22:20:06 -!- orby_ has joined.
22:20:31 -!- hppavilion[1] has joined.
22:24:35 <rdococ> `? You're
22:24:36 <HackEgo> You're? ¯\(°​_o)/¯
22:24:37 <rdococ> `? re
22:24:38 <HackEgo> re? ¯\(°​_o)/¯
22:24:41 <rdococ> `? at
22:24:43 <HackEgo> At is a daemon for procrastinating commands.
22:24:45 -!- hppavilion[1] has set topic: Noose: 56 countries still perform capital punishment | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | For extensive phở testing, use #esoteric-blah.
22:24:48 <rdococ> `? w
22:24:49 <HackEgo> w? ¯\(°​_o)/¯
22:25:36 <rdococ> `le//rn w//A w is everything a cow isn't.
22:25:38 <HackEgo> Learned 'w': A w is everything a cow isn't.
22:25:58 <rdococ> `? pe
22:25:59 <HackEgo> pe? ¯\(°​_o)/¯
22:26:22 <hppavilion[1]> rdococ: ...do you have a dictionary open to the 'co-' section?
22:26:30 <rdococ> `le//rn pe//To pe, is to not cope.
22:26:32 <HackEgo> Learned 'pe': To pe, is to not cope.
22:27:22 <rdococ> hppavilion[1]: Actually, yes, in a way: https://en.wiktionary.org/wiki/co-
22:27:49 <rdococ> `? coopposite
22:27:50 <HackEgo> coopposite? ¯\(°​_o)/¯
22:28:45 <rdococ> `? cosine
22:28:47 <HackEgo> cosine? ¯\(°​_o)/¯
22:28:49 <rdococ> `? sine
22:28:50 <HackEgo> sine? ¯\(°​_o)/¯
22:29:08 <hppavilion[1]> `? absolute value
22:29:09 <HackEgo> The absolute value of a number, also known as its cosign, is its distance from zero regardless of direction. It shouldn't be negative, but Sgeo is trying to break that.
22:29:29 <rdococ> . o O ( coabs = sign )
22:29:33 <rdococ> `? cosign
22:29:34 <HackEgo> cosign? ¯\(°​_o)/¯
22:29:39 <hppavilion[1]> `slwd absolute value//s/break that/break maths/
22:29:42 <HackEgo> absolute value//The absolute value of a number, also known as its cosign, is its distance from zero regardless of direction. It shouldn't be negative, but Sgeo is trying to break maths.
22:29:45 <rdococ> :P
22:29:59 <hppavilion[1]> `? @
22:30:01 <HackEgo> ​@ is an OS made out of only the finest vapour.
22:30:02 <rdococ> I like how it's a cosign
22:30:04 <rdococ> `? $
22:30:05 <HackEgo> ​$? ¯\(°​_o)/¯
22:30:08 <rdococ> `? tip
22:30:09 <hppavilion[1]> rdococ: Yeah
22:30:09 <HackEgo> A tip is [ $ ] if you're American, [ £ ] if you're British, and if you're Japanese.
22:30:24 <rdococ> Wanna see my entry for cocoa?
22:30:28 <hppavilion[1]> rdococ: Also, the integral of sign is cosign.
22:30:40 <rdococ> hppavilion[1]: I know, I find that pretty cool too :P
22:31:02 <rdococ> You should really type `? cocoa
22:31:06 <hppavilion[1]> (specifically, \int{0}{x}{sgn(s) ds} = |x|
22:31:11 <hppavilion[1]> `? COCOA
22:31:12 <HackEgo> A is a village in Norway. The BBC invented it by not understanding things on top of letters.
22:31:20 <rdococ> :P
22:31:22 <hppavilion[1]> rdococ: Wondeful
22:31:32 <rdococ> It's also coterrible.
22:31:45 <hppavilion[1]> rdococ: Cofurchtbar
22:32:10 <rdococ> I wanted to make a joke about ats, but at was already taken.
22:32:25 <rdococ> `? mputer
22:32:26 <HackEgo> mputer? ¯\(°​_o)/¯
22:32:28 -!- orby has quit (Ping timeout: 260 seconds).
22:33:54 <hppavilion[1]> `? rdoc
22:33:55 <HackEgo> rdoc? ¯\(°​_o)/¯
22:34:48 <hppavilion[1]> I'd like to see more newly-invented last names
22:35:02 <hppavilion[1]> exempli gratia names like Kim Dotcom, but for different TLDs
22:35:06 <rdococ> Copavilion
22:35:15 <hppavilion[1]> rdococ: pulate
22:37:29 <hppavilion[1]> "I recognize the importance of stupid jokes, and that's why I'm voting Joe Dotgov for president in 1749.3713156445663+1010i"
22:38:11 <hppavilion[1]> (I also support Cosen. Dotgov's prospectiv[e Department of Defense nominee, General George Dotmil)
22:39:30 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
22:39:41 <rdococ> `? coextrapolate
22:39:42 <HackEgo> coextrapolate? ¯\(°​_o)/¯
22:39:52 <rdococ> `? coextrapolation
22:39:53 <HackEgo> coextrapolation? ¯\(°​_o)/¯
22:40:08 <hppavilion[1]> (Though I question choices in the appointment of Clarence Period-Commercial for Department of Education, as I fear he may be too prescriptivist about language)
22:40:32 <hppavilion[1]> (And his ties to Vladimir Dotaryoo are a bit concerning)
22:40:53 <rdococ> `? lal
22:40:54 <HackEgo> lal? ¯\(°​_o)/¯
22:40:55 <rdococ> `? lol
22:40:56 <HackEgo> lol? ¯\(°​_o)/¯
22:41:53 <hppavilion[1]> rdococ: ACKNOWLEDGE MY FUNNY
22:42:21 <rdococ> YOUR FUNNY IS ACKNOWLEDGED
22:42:48 <rdococ> (HOWEVER LITTLE OF IT THERE IS)
22:43:05 <rdococ> `? ke
22:43:08 <HackEgo> ke? ¯\(°​_o)/¯
22:43:36 <hppavilion[1]> `? cain
22:43:37 <HackEgo> cain? ¯\(°​_o)/¯
22:43:41 <hppavilion[1]> `? caine
22:43:42 <HackEgo> caine? ¯\(°​_o)/¯
22:43:55 <rdococ> `le//rn ke//Ke is an anti-soda campaign rdocscovered in the 93rd millenium I.C.E. Rdococ doesn't support it.
22:43:57 <HackEgo> Learned 'ke': Ke is an anti-soda campaign rdocscovered in the 93rd millenium I.C.E. Rdococ doesn't support it.
22:44:02 <rdococ> `? ice
22:44:03 <HackEgo> ice? ¯\(°​_o)/¯
22:44:29 -!- boily has joined.
22:44:43 <rdococ> `le//rn ice//I.C.E. stands for Imaginary Christian Era. It covers the forgotten period of time that is not on the linear timeline.
22:44:45 <HackEgo> Learned 'ice': I.C.E. stands for Imaginary Christian Era. It covers the forgotten period of time that is not on the linear timeline.
22:45:12 <rdococ> `le//rn ice//I.C.E. stands for Imaginary Christian Era. It covers the forgotten period of time that is not on the linear axis.
22:45:14 <HackEgo> Relearned 'ice': I.C.E. stands for Imaginary Christian Era. It covers the forgotten period of time that is not on the linear axis.
22:45:21 <rdococ> `le//rn ice//I.C.E. stands for Imaginary Christian Era. It covers the forgotten period of time that is not on the real axis.
22:45:23 <HackEgo> Relearned 'ice': I.C.E. stands for Imaginary Christian Era. It covers the forgotten period of time that is not on the real axis.
22:45:24 <rdococ> ah
22:45:26 <rdococ> better
22:45:34 * rdococ really wishes he knew the other commands better.
22:46:00 <boily> rdochelloc. it's Intrusion Countermeasures Electronics hth
22:46:54 <rdococ> hoily, are you seriously going to ignore a whole historical timeplane which could give us insight into the universe, the iuniverse and the couniverse, just to stop intruders?
22:47:27 <hppavilion[1]> rdococ: slwd hth
22:47:43 <rdococ> hppavilion[1]: ik it's slwd but the last time I used it I messed it up
22:47:53 * rdococ needs syntactical help
22:48:02 <boily> hppavellon[1].
22:48:04 <rdococ> `? caine
22:48:05 <HackEgo> caine? ¯\(°​_o)/¯
22:48:28 <rdococ> `? coil
22:48:29 <HackEgo> coil? ¯\(°​_o)/¯
22:48:30 <rdococ> `? il
22:48:31 <HackEgo> il? ¯\(°​_o)/¯
22:49:02 <rdococ> `le//rn il//An il is a cohelix of pper wire.
22:49:05 <HackEgo> Learned 'il': An il is a cohelix of pper wire.
22:49:07 <hppavilion[1]> rdococ: You clearly know the mmands pretty well though
22:49:21 <rdococ> hppavilion[1]: yes, but the problem is, I also coknow the commands well
22:49:46 <hppavilion[1]> rdococ: This joke is getting cofunny htc.
22:50:17 <rdococ> hppavilion[1]: Would you prefer a cojoke?
22:50:25 <hppavilion[1]> rdococ: Coyes.
22:50:49 <rdococ> hppavilion[1]: Er... Cokay.
22:50:53 <rdococ> `? coyes
22:50:55 <HackEgo> coyes? ¯\(°​_o)/¯
22:50:57 <rdococ> `? cono
22:50:58 <HackEgo> cono? ¯\(°​_o)/¯
22:51:01 <rdococ> `? ne
22:51:03 <HackEgo> ne? ¯\(°​_o)/¯
22:51:19 <boily> Coño.
22:51:23 <rdococ> ``
22:51:24 <HackEgo> No output.
22:51:32 <rdococ> `? `_-
22:51:33 <HackEgo> ​`_-? ¯\(°​_o)/¯
22:54:04 <hppavilion[1]> `? fñord
22:54:05 <HackEgo> fñord? ¯\(°​_o)/¯
22:54:25 <rdococ> `? OTL
22:54:26 <HackEgo> OTL? ¯\(°​_o)/¯
22:54:39 <rdococ> `le//rn OTL//OTL is a man sitting sideways on air.
22:54:41 <HackEgo> Learned 'otl': OTL is a man sitting sideways on air.
22:56:38 <boily> `revert
22:56:40 <HackEgo> Done.
22:56:49 * boily feels shachafy
22:58:06 <rdococ> :c
22:59:39 <rdococ> `? codo
22:59:40 <HackEgo> codo? ¯\(°​_o)/¯
22:59:54 <rdococ> `le//rn codo//The codo button is the dodo's undo button.
22:59:56 <HackEgo> Learned 'codo': The codo button is the dodo's undo button.
23:02:38 <rdococ> `? ouo
23:02:40 <HackEgo> ouo? ¯\(°​_o)/¯
23:07:13 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
23:11:36 <rdococ> `? love
23:11:37 <HackEgo> Baby don't hurt me, don't hurt me no more
23:11:40 <rdococ> `? life
23:11:42 <HackEgo> ​‘Life,’ said Marvin, ‘don't talk to me about life.’
23:13:21 -!- `^_^v has quit (Quit: This computer has gone to sleep).
23:17:35 -!- sleffy has joined.
23:17:40 <rdococ> `? quotes
23:17:41 <HackEgo> Quotes are just elements of the quantum dilapidated bogosphere. See qdb.
23:17:48 <rdococ> `/ qdb
23:17:48 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /: cannot execute: Is a directory
23:17:50 <rdococ> `? qdb
23:17:51 <HackEgo> qdb is used like: `quote; `quote regexp; `quote id; `addquote ...; `delquote id; `pastequotes regexp; `pastenquotes [n]; see also quoteformat
23:18:11 <rdococ> `/home/hackbot/hackbot.hg/multibot_commands/lib/limits/
23:18:12 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /home/hackbot/hackbot.hg/multibot_commands/lib/limits/: No such file or directory
23:18:23 <rdococ> `/home/hackbot/hackbot.hg/multibot_commands/lib/limits
23:18:23 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /home/hackbot/hackbot.hg/multibot_commands/lib/limits: No such file or directory
23:18:35 -!- AnotherTest has quit (Ping timeout: 245 seconds).
23:18:37 <rdococ> `/..
23:18:37 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /..: cannot execute: Is a directory
23:18:45 <rdococ> ooh
23:18:47 <rdococ> interesting
23:20:29 <rdococ> `/../lock
23:20:30 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../lock: No such file or directory
23:20:51 <rdococ> `/../..
23:20:51 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../..: cannot execute: Is a directory
23:20:53 <rdococ> `/../../..
23:20:54 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../..: cannot execute: Is a directory
23:20:57 <rdococ> `/../../../..
23:20:57 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../..: cannot execute: Is a directory
23:20:59 <rdococ> `/../../../../dir
23:21:00 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../dir: No such file or directory
23:21:05 <rdococ> hmmm
23:21:09 <rdococ> `cd ..
23:21:10 <HackEgo> invalid command ( ͡° ͜ʖ ͡°)
23:21:13 <rdococ> aw
23:21:13 <rdococ> lol
23:21:15 <rdococ> :P
23:21:22 <rdococ> `/..
23:21:23 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /..: cannot execute: Is a directory
23:21:39 <rdococ> `/../tr_60.cd
23:21:39 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../tr_60.cd: No such file or directory
23:21:41 <rdococ> `/../tr_60.cmd
23:21:41 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../tr_60.cmd: No such file or directory
23:21:52 <rdococ> `/../../../..
23:21:52 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../..: cannot execute: Is a directory
23:21:54 <rdococ> `/../../../../..
23:21:54 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../..: cannot execute: Is a directory
23:21:56 <rdococ> okay
23:21:59 <rdococ> I'll do it in pm
23:24:22 <flawful> why
23:24:29 <flawful> it was starting to get interesting
23:27:23 <rdococ> `/../../../../../../..
23:27:24 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../..: cannot execute: Is a directory
23:27:26 <rdococ> `/../../../../../../../..
23:27:26 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../..: cannot execute: Is a directory
23:27:28 <rdococ> `/../../../../../../../../..
23:27:29 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../../..: cannot execute: Is a directory
23:27:31 <rdococ> `/../../../../../../../../../..
23:27:31 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../../../..: cannot execute: Is a directory
23:27:33 <rdococ> `/../../../../../../../../../../..
23:27:34 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../../..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../../../../..: cannot execute: Is a directory
23:27:38 <rdococ> HOW NESTED
23:27:41 <rdococ> `/../../../../../../../../../../../..
23:27:41 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../../../..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../../../../../..: cannot execute: Is a directory
23:27:43 <rdococ> `/../../../../../../../../../../../../..
23:27:44 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../../../../..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../../../../../../..: cannot execute: Is a directory
23:27:46 <rdococ> `/../../../../../../../../../../../../../..
23:27:46 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../../../../../..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../../../../../../../..: cannot execute: Is a directory
23:27:49 <rdococ> `/../../../../../../../../../../../../../../..
23:27:50 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../../../../../../..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../../../../../../../../..: cannot execute: Is a directory
23:27:53 <rdococ> `/../../../../../../../../../../../../../../../..
23:27:54 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../../../../../../../..: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../../../../../../../../../..: cannot execute: Is a directory
23:27:56 <rdococ> Does this ever end?
23:28:09 <rdococ> `/../../../../../../../../../../../../../../../../bin
23:28:09 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../../../../../../../../bin: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../../../../../../../../../../bin: cannot execute: Is a directory
23:28:12 <rdococ> `/../../../../../../../../../../../../../../../../bia
23:28:13 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../../../../../../../../bia: No such file or directory
23:28:19 <rdococ> Oooooh.
23:28:22 <rdococ> `/../../../../../../../../..bin
23:28:23 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../..bin: No such file or directory
23:28:24 <rdococ> `/../../../../../../../../../bin
23:28:25 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../bin: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../../../bin: cannot execute: Is a directory
23:28:27 <rdococ> `/../../../../../../../../bin
23:28:28 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../bin: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../../bin: cannot execute: Is a directory
23:28:31 <rdococ> `/../../../../../../../bin
23:28:32 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../bin: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../bin: cannot execute: Is a directory
23:28:34 <rdococ> `/../../../../../../bin
23:28:35 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../bin: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../bin: cannot execute: Is a directory
23:28:37 <rdococ> `/../../../../../bin
23:28:37 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../bin: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../bin: cannot execute: Is a directory
23:28:40 <rdococ> `/../../../../bin
23:28:40 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../bin: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../bin: cannot execute: Is a directory
23:28:43 <rdococ> `/../../../bin
23:28:44 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../bin: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../bin: cannot execute: Is a directory
23:28:48 <rdococ> `/../../bin
23:28:49 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../bin: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../bin: cannot execute: Is a directory
23:28:51 <rdococ> `/../bin
23:28:52 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../bin: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../bin: cannot execute: Is a directory
23:28:55 <rdococ> `/bin
23:28:55 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /bin: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /bin: cannot execute: Is a directory
23:28:57 <rdococ> `bin
23:28:58 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bin: cannot execute: Is a directory
23:28:59 <rdococ> ...
23:29:07 <rdococ> serioslai.
23:30:23 <rdococ> `/../../../../../../../../../boot
23:30:24 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../boot: No such file or directory
23:30:30 <rdococ> `/../../../../../../../../../?
23:30:31 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../?: No such file or directory
23:30:35 <rdococ> `/../../../../../../../../../dev
23:30:35 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../dev: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../../../dev: cannot execute: Is a directory
23:30:41 <rdococ> `/../../../../../../../../../dev/null
23:30:41 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../dev/null: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../../../dev/null: cannot execute: Permission denied
23:30:44 <rdococ> lol.
23:31:12 <rdococ> `/../../../../../../../../../usr/include/error.h
23:31:12 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../usr/include/error.h: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../../../usr/include/error.h: cannot execute: Permission denied
23:31:24 <rdococ> `/../../../../../../../../../usr/games
23:31:25 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../usr/games: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../../../usr/games: cannot execute: Is a directory
23:31:35 <rdococ> `/../../../../../../../../../usr/games/guess
23:31:36 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../usr/games/guess: No such file or directory
23:31:43 <rdococ> `/../../../../../../../../../usr/games/mines
23:31:44 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../usr/games/mines: No such file or directory
23:31:55 <rdococ> `/../../../../../../../../../usr/
23:31:56 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../usr/: Is a directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /../../../../../../../../../usr/: cannot execute: Is a directory
23:32:04 <rdococ> `/../../../../../../../../../root/
23:32:05 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../root/: No such file or directory
23:32:14 <rdococ> `/../../../../../../../../../vmlinuz
23:32:15 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../vmlinuz: No such file or directory
23:37:37 -!- hppavilion[1] has joined.
23:37:51 <rdococ> hppavilion[1] detecte
23:37:52 <rdococ> d
23:38:21 <hppavilion[1]> P(A+B) = 1-(1-P(A))(1-P(B))
23:38:55 <hppavilion[1]> Is there a huge difference between probability and fuzzy logic?
23:39:21 <rdococ> depends what kind
23:40:26 <rdococ> I think of P(A+B) = (P(A)+P(B))-(P(A)*P(B)). so P(¶(0.5) + ¶(0.5)) = 1 - 0.25 = 0.75
23:41:11 <hppavilion[1]> rdococ: ...uh.
23:41:28 <rdococ> ?
23:41:55 <rdococ> ah
23:41:57 <rdococ> they're the same
23:41:58 <rdococ> :P
23:42:42 <rdococ> Anyway, I understand that log_b(a) = log(a)/log(b), yes?
23:43:11 <hppavilion[1]> rdococ: Yes
23:43:12 -!- DHeadshot has quit (Ping timeout: 260 seconds).
23:43:19 <hppavilion[1]> rdococ: Do you want a proof? Cause I found one!
23:43:23 <hppavilion[1]> Hm. At least one difference: In standard fuzzy logic, a ∧ b = T(a)*T(b)
23:43:29 <rdococ> what is the equivalent to b^a?
23:43:41 <hppavilion[1]> rdococ: Logical AND hth
23:43:41 <rdococ> I wasn't exactly aware fuzzy logic had a standard
23:43:46 <hppavilion[1]> rdococ: Same symbol
23:43:57 <hppavilion[1]> rdococ: Well, it's ( •_•) | ( •_•)>⌐■-■ | (⌐■_■) sort of standard
23:44:12 <rdococ> ok?
23:44:14 <rdococ> ay?
23:44:37 <hppavilion[1]> Er, T(a ∧ b) = T(a) * T(b)
23:44:57 <rdococ> Well duh.
23:45:48 <hppavilion[1]> Which is all well and good, except that T(a ∧ a) = T(a)^2, but it SHOULD be the case (at least from a probability perspective) that T(a ∧ a) = T(a)
23:46:02 <hppavilion[1]> (assuming you just mean "a is true and a is true", not "a is observed twice")
23:46:09 <rdococ> ye
23:46:43 <hppavilion[1]> Basically, normal fuzzy logic is ill-equipped to deal with correlated truths
23:46:45 <rdococ> and T(a ∧ ¬a) should be 0
23:47:50 <Jafet> the definition of fuzzy logic is a bit fuzzy
23:47:56 <rdococ> I had the idea that each operation on probabilities - A∧B, AvB, etc. - could be encoded as a function taking parameters and using them as the random probabilities.
23:47:57 <rdococ> E.g.
23:48:10 <rdococ> hm
23:48:15 <rdococ> I don't think I explained that enough tbh
23:48:30 <rdococ> take F = a∧b.
23:48:39 <rdococ> F(x, y) = x∧y.
23:48:41 <hppavilion[1]> rdococ: Yeah! But instead, it follows a pattern more akin to 0.0, 0.07638888888888888, 0.1388888888888889, 0.1875, 0.22222222222222224, 0.24305555555555552, 0.25, 0.24305555555555555, 0.22222222222222224, 0.1875, 0.13888888888888887, 0.07638888888888892, 0.0
23:48:48 <rdococ> er
23:49:02 <rdococ> ye
23:49:05 <hppavilion[1]> Which WOULD make 0 sense, but my math says it actually makes 0.3 sense.
23:49:22 <rdococ> clearly you're working with comath
23:49:48 * boily joyfully mapoles rdococ. *THWACK THWACK THWACK*
23:50:02 * rdococ comapoles himself.
23:50:07 <hppavilion[1]> [for the curious, that was P(a
23:50:07 <hppavilion[1]> ∧ ¬a) where a is in increments of 1/12]
23:50:16 <rdococ> [I gathered]
23:50:42 <rdococ> anyway, if each probabilistic operation was a function that took in the results of each probability...
23:50:59 <rdococ> Actually, this requires each probability be 1/2
23:51:20 <rdococ> but still, if each probability is 1/2 and you use my function encoding, you could simply enumerate the possibilities.
23:51:36 <rdococ> even if there were 1/4 probabilities, probably too - simply enumerate the others 3x. I think.
23:51:53 <hppavilion[1]> rdococ: Another thing that would be nice to deal with in probability: Choices of several items
23:52:09 <hppavilion[1]> While normal probability is sufficiently robust to describe this, it's not very well-equipped
23:53:11 <hppavilion[1]> This statement: "If I choose a ball out of a bag, there is a 40% chance it will be red, a 35% chance it will be blue, and a 25% chance it will be green"
23:53:29 <hppavilion[1]> You can encode it as P(red), P(green), P(blue), but it's a little funky
23:53:54 <hppavilion[1]> It'd be nice to have Pie Types JUST for this.
23:54:18 <rdococ> ye
23:55:05 <rdococ> P(marble, {red, green, blue})
23:57:40 -!- Zarutian has joined.
23:58:31 <FireFly> Proving that log_b(a) = log(a)/log(b) for any base (as in, any base for `log`) is a good exercise if one hasn't done so yet
←2017-04-11 2017-04-12 2017-04-13→ ↑2017 ↑all