00:00:03 -!- Remavas has left ("co'o").
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: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: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: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: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: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: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:45 <lambdabot> Plugin `oeis' failed with: <<timeout>>
00:07:04 <lambdabot> Plugin `oeis' failed with: <<timeout>>
00:07:44 <lambdabot> Plugin `oeis' failed with: <<timeout>>
00:08:20 <lambdabot> Plugin `oeis' failed with: <<timeout>>
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:46 <\oren\> um.... why did it even LOOK for a b c d
00:09:06 <lambdabot> Plugin `oeis' failed with: <<timeout>>
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: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:30 -!- DHeadshot has quit (Ping timeout: 240 seconds).
00:17:43 <rdococ> looks like nobody's around
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: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: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: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: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: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:57:56 <rdococ> When you put it like that...
00:58:57 <rdococ> also, my definition above was wrong.
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:06:37 <oerjan> more morphologicide, i see
01:06:52 <oerjan> clearly it should be "wa" hth
01:07:41 <oerjan> apparently english already committed that atrocity itself.
01:08:52 <rdococ> Okay, thanks to oerjan, I will now spell can't as can'nt.
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 <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:11:05 <rdococ> And that, is proof I am nuts. Q.E.D.
01:11:37 <HackEgo> Sanity is the defining property of boily. Taneb invented it.
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: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: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: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:37 <boily> hellørjan, Rellomavas, rdochelloc.
01:17:25 <boily> ♪ would you like to be my miiiinioooon⅝ ♪
01:17:31 <HackEgo> morphologicide? ¯\(°_o)/¯
01:18:04 <rdococ> I do think that morphology should be sacrificed for humor if required.
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:55 <HackEgo> Morphology is the theory that you can never have enough phở. boily invented it.
01:21:02 -!- hppavilion[2] has joined.
01:21:07 <oerjan> why are you dissing your own invention
01:21:21 <boily> `cwlprits morphology
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: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:35 -!- ChanServ has set channel mode: +o oerjan.
01:23:55 -!- oerjan has set channel mode: +b *!*remavas@*.omni.lt.
01:23:55 -!- oerjan has kicked Remavas.
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:23 <HackEgo> hagb4rd is one spacey fellow. Spaaaaaaaaaaaaaaace.
01:24:33 <HackEgo> Humans come from space. In particular, the part of space that has Earth in it.
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:41:45 <HackEgo> Long is the Chinese word for dragon.
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:16 <fizzie> Looks like the file on disk has actually been renewed.
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: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:32 <fizzie> I just did that command manually, and it seems to have worked.
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: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: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:59:18 <fizzie> Tricksy. Well, it should stay up to date now.
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:08:02 <rdococ> . o O ( hey dude, why did you cancel me? you do know that with- ) O o .
02:08:16 <HackEgo> . o O ( lol )? ¯\(°_o)/¯
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:37 <rdococ> I'm activating the tachyon drives and escaping this black hole of boredom.
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:52 <HackEgo> alcubierre drive? ¯\(°_o)/¯
03:16:53 <\oren\> instead of blocking at the browser or router level, block at the DNS level
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: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:20:35 <rdococ> Predicted ping timeout... now!
06:21:02 -!- hppavilion[1] has quit (Ping timeout: 255 seconds).
06:21:11 <rdococ> knew it was coming tho
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: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: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: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: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:42 <HackEgo> banana//Bananananananana BATMAN!
12:08:54 <int-e> it's 100% villainous
12:09:37 <int-e> (50% in actuality, 50% by name)
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: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: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: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: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:07:18 -!- Bowserinator has quit (Changing host).
15:07:18 -!- Bowserinator has joined.
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: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:07 <rdococ> Wanna hear my reasoning?
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: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:29:29 <rdococ> have fun determining if that's binary
15:31:12 <rdococ> b_jonas, depends how large-scale the tech stuff is
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: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: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:31:10 -!- Seaser has joined.
17:33:43 -!- sease has quit (Ping timeout: 240 seconds).
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:38 <rdococ> oh yay it wasn't reverted
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: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:44:01 <rdococ> . o O ( Hppavilion's theorem )
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:23 <hppavilion[1]> Remavas-PC: Wait, squaring the amplitudes or squaring the absolute values?
19:45:29 <rdococ> The Remavas-Hppavilion Theorem :P
19:46:18 <rdococ> a multiplicational difference of -1
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:23 <rdococ> Difference = |subtraction|
19:47:38 <rdococ> hppavilion[1]: yes but imagine a culture whose math was based on numbers like that
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: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:58 <hppavilion[1]> We use exponents a lot. We just don't think of them _first_ when you say "halfway"
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:37 <hppavilion[1]> How many vertices does a 7-codimensional hyperenchildada have again?
19:51:16 <hppavilion[1]> [Not the hyperenchilada part; the "7-codimensional" without giving what it's codimensional with respect /to/.]
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: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: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: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:38 <hppavilion[1]> Do androids wet dream of electric sheep factories?
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:59:29 -!- Phantom_Hoover has joined.
20:00:26 <Remavas-PC> Has HackEgo got a brainf*ck interpreter?
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: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:25 <rdococ> hppavilion[1]: Nice. Natural exponentiation.
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:23 <rdococ> which is strange, because fuck is allowed (e.g. brainfuck)
20:04:01 <rdococ> I will invent a new swear word
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:56 <hppavilion[1]> Only those weird fuckers to the north use natural counting for numbers
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: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:56 <rdococ> I don't see how you can all put up with your fancy fractions.
20:07:13 <rdococ> My species counts with powers of 2: nice and simple. It makes sense - it's the cell division constant.
20:08:07 <rdococ> @oeis 1.0 2.6382270745053704 6.9602420966531655 18.362699144502407
20:08:41 <rdococ> Remavas-PC: Your culture is odd. Just count with powers of 2!
20:09:07 <lambdabot> Plugin `oeis' failed with: <<timeout>>
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:53 <HackEgo> Usage: `le/[/]rn <key>//<wisdom>
20:27:58 <HackEgo> Codependency is a programmer disease caused by having too much code pending.
20:33:27 -!- orby has joined.
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: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: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: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 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: leran: not found
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:49 <wob_jonas> ok, found it, but damn them for the link churn and worse interface and stupid javascript stuff
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: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: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:40 <HackEgo> ` is the prefix to greatness.
21:19:58 <hppavilion[1]> rdococ: Did you happen to have some precooked canned pork for lunch?
21:21:06 <HackEgo> [wiki] [[Special:Log/newusers]] create * Xav737 * New user account
21:21:33 <HackEgo> Learned 'emoticon': emoticon: ¯\(°_o)/¯
21:21:47 -!- augur_ has joined.
21:22:02 -!- augur has quit (Ping timeout: 260 seconds).
21:22:15 <HackEgo> https://hackego.esolangs.org/fshg/index.cgi/file/tip/lowercase2
21:22:31 <HackEgo> https://hackego.esolangs.org/fshg/index.cgi/file/tip/bin/lowercase2
21:22:45 <HackEgo> https://hackego.esolangs.org/fshg/index.cgi/file/tip/bin/lowercase
21:24:04 -!- augur has joined.
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:19 <HackEgo> bin/lowercase2//#!/bin/bash \ print_args_or_input "$@" | tr A-Z a-z | LANG=en_NZ.UTF-8 sed 'y/ØÅÆŒÞÐÄÖÜÁÉÍÓÚÝŁ/øåæœþðäöüáéíóúýł/'
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: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:29 <HackEgo> bin/¿//\? "$@" | rev | tac
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: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: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: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: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: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: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: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:55:12 <rdococ> what are some examples of AND gates constructed without transistors?
21:57:48 <rdococ> btw it has to be electronic
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: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:01:06 <hppavilion[1]> rdococ: OK, that's what I expressed. Just add a generator to the hose.
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:05:40 -!- hppavilion[1] has quit (Ping timeout: 245 seconds).
22:09:31 -!- `^_^v has quit (Quit: This computer has gone to sleep).
22:09:40 -!- `^_^v has joined.
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: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: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: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: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: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: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: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:40 <rdococ> hppavilion[1]: I know, I find that pretty cool too :P
22:31:02 <rdococ> You should really type `? cocoa
22:31:12 <HackEgo> A is a village in Norway. The BBC invented it by not understanding things on top of letters.
22:32:10 <rdococ> I wanted to make a joke about ats, but at was already taken.
22:32:28 -!- orby has quit (Ping timeout: 260 seconds).
22:35:02 <hppavilion[1]> exempli gratia names like Kim Dotcom, but for different TLDs
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: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:42:21 <rdococ> YOUR FUNNY IS ACKNOWLEDGED
22:42:48 <rdococ> (HOWEVER LITTLE OF IT THERE IS)
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: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: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: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: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:50:17 <rdococ> hppavilion[1]: Would you prefer a cojoke?
22:50:49 <rdococ> hppavilion[1]: Er... Cokay.
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: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:07:13 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
23:11:37 <HackEgo> Baby don't hurt me, don't hurt me no more
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:41 <HackEgo> Quotes are just elements of the quantum dilapidated bogosphere. See 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: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 <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:30 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../lock: No such file or directory
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: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 <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:00 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../dir: No such file or directory
23:21:10 <HackEgo> invalid command ( ͡° ͜ʖ ͡°)
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 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../tr_60.cd: No such file or directory
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 <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 <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: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: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: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: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 <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 <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: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: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: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 <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:58 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bin: cannot execute: Is a directory
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: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:38:55 <hppavilion[1]> Is there a huge difference between probability and fuzzy logic?
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:42:42 <rdococ> Anyway, I understand that log_b(a) = log(a)/log(b), yes?
23:43:12 -!- DHeadshot has quit (Ping timeout: 260 seconds).
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 <rdococ> I wasn't exactly aware fuzzy logic had a standard
23:43:57 <hppavilion[1]> rdococ: Well, it's ( •_•) | ( •_•)>⌐■-■ | (⌐■_■) sort of standard
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: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:48:15 <rdococ> I don't think I explained that enough tbh
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: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: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: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