00:00:03 -!- Remavas has left ("co'o"). 00:00:35 okay 00:00:36 <\oren\> @oeis 1 2 4 7 12 25 00:00:38 Sequence not found. 00:01:25 <\oren\> @oeis 1 2 4 7 12 20 33 00:01:28 https://oeis.org/A000071 Fibonacci numbers - 1. 00:01:28 [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 Hm. 00:02:09 <\oren\> @oeis 1 11 111 1111 11111 00:02:10 https://oeis.org/A002275 Repunits: (10^n - 1)/9. Often denoted by R_n. 00:02:10 [0,1,11,111,1111,11111,111111,1111111,11111111,111111111,1111111111,11111111... 00:02:12 Is it possible to have infinite series that diverge to uncountable infinity? 00:02:26 @oeis 1 2 3 4 5 6 7 9 00:02:27 https://oeis.org/A004709 Cubefree numbers: numbers that are not divisible by... 00:02:27 [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 https://oeis.org/A000196 Integer part of square root of n. Or, number of pos... 00:03:16 [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 @oeis 1 3 7 15 31 63 00:03:22 https://oeis.org/A000225 a(n) = 2^n - 1. (Sometimes called Mersenne numbers,... 00:03:22 [0,1,3,7,15,31,63,127,255,511,1023,2047,4095,8191,16383,32767,65535,131071,2... 00:03:33 ah 00:03:45 hm. 00:03:56 Again, is it possible for infinite series that diverge to uncountable infinity? 00:04:06 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 True. 00:05:20 <\oren\> @oeis 2 1 3 4 5 6 7 8 9 00:05:34 https://oeis.org/A254524 n is the a(n)-th positive integer having its digitsum. 00:05:34 [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 @oeis 1 3 2 4 3 5 4 6 5 7 6 00:06:39 @oeis 1 3 2 4 3 5 4 6 5 00:06:44 er 00:06:45 Plugin oeis' failed with: <> 00:06:48 ah 00:07:04 Plugin oeis' failed with: <> 00:07:16 @oeis 1 3 2 4 00:07:44 Plugin oeis' failed with: <> 00:07:56 <\oren\> @oeis a b c d 00:08:20 Plugin oeis' failed with: <> 00:08:24 @oeis 1 2 3 4 00:08:25 https://oeis.org/A000027 The positive integers. Also called the natural numb... 00:08:25 [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 @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 Plugin oeis' failed with: <> 00:10:25 <\oren\> @oeis digits of pi 00:10:29 https://oeis.org/A000796 Decimal expansion of Pi (or, digits of Pi). 00:10:29 [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 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 I think countable but I'm still not sure. 00:16:52 what is everyone else's opinions? 00:17:22 -!- Remavas has joined. 00:17:26 Hello 00:17:30 -!- DHeadshot has quit (Ping timeout: 240 seconds). 00:17:31 hi 00:17:43 looks like nobody's around 00:18:21 we've got to wait 00:18:45 well, someone did say "among the integers, it would have to be countable since the set of integers in countable" earlier 00:19:13 hm... 00:19:20 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 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 with countably infinite states 00:31:30 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 good to know 00:32:29 helloren. 00:32:48 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 fizzie: esolangs.org's certificate seems to have expired 00:35:57 ais523 keeps making fiendish PPCG challenges 00:36:34 lots of languages have no chance on this one 00:37:18 (and it's still fiendish in the rest) 00:48:45 Can a so-called 'data tree' have an uncountably infinite number of nodes? 00:48:54 no. 00:49:04 hm. 00:49:10 -!- sleffy has joined. 00:50:04 given one node, all the others can be named with a finite path of {left, right, up}s 00:50:21 or wait 00:50:27 yes. 00:50:42 (yes, it is no.) 00:51:50 ah 00:51:50 k 00:52:36 I wasn't just speaking about binary data trees, btw. 00:52:58 -!- Lord_of_Life has quit (Excess Flood). 00:53:07 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 oh the challenge allows functions, might be more plausible then. 00:55:01 -!- Lord_of_Life has joined. 00:56:18 Heh :P 00:56:29 interesting :) 00:57:04 Hm. 00:57:56 When you put it like that... 00:58:18 wait. 00:58:19 nvm. 00:58:57 also, my definition above was wrong. 01:04:29 ? wan 01:04:30 wan? ¯$$°​_o)/¯ 01:04:39 le//rn wan//Wan is the opposite of wan't. 01:04:41 Learned 'wan': Wan is the opposite of wan't. 01:04:49 hmm 01:05:02 it's brief 01:06:28 forget wan 01:06:30 Forget what? 01:06:37 more morphologicide, i see 01:06:52 clearly it should be "wa" hth 01:07:04 hm wait 01:07:06 revert 01:07:07 Done. 01:07:41 apparently english already committed that atrocity itself. 01:08:41 can 01:08:42 can't 01:08:52 Okay, thanks to oerjan, I will now spell can't as can'nt. 01:09:04 *cann't 01:09:14 ...Whatever. I cann't care less. 01:09:50 of course not, you are approaching the boredom singularity 01:09:52 Can you at least allow me wa? I really don't wa it. 01:10:10 ? wan 01:10:10 le//rn wa//Wa is the opposite of wan't. 01:10:12 Learned 'wa': Wa is the opposite of wan't. 01:10:13 Wan is the opposite of wan't. 01:10:23 forget wa 01:10:25 NOPE 01:10:25 Forget what? 01:10:31 ... 01:10:35 (pay attention!) 01:10:40 ? wa 01:10:41 wa? ¯\(°​_o)/¯ 01:10:43 Oh. 01:10:45 Ohh. 01:10:47 Oops. 01:11:05 And that, is proof I am nuts. Q.E.D. 01:11:36 ? sanity 01:11:37 Sanity is the defining property of boily. Taneb invented it. 01:11:49 ? rdococ 01:11:50 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 wisdom 01:13:20 jonathan hoag//Hoag is an art critic. 01:14:16 boily: recent evidence has caused me to suspect you're staying sane by siphoning sanity from rdococ. that's evil! 01:15:00 only villains here 01:15:05 :O 01:15:23 ? insanity 01:15:24 Unless you are boily, you are just imagining this wisdom entry. 01:15:49 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 oh. 01:16:13 Why, otherwise, then, would I be so dumb? 01:16:27 rdococ: maybe you'd like to be boily's minion, then? 01:16:35 No way. 01:16:37 hellørjan, Rellomavas, rdochelloc. 01:16:48 hoily. 01:16:55 o hai theeere~♪ 01:17:25 ♪ would you like to be my miiiinioooon⅝ ♪ 01:17:30 ? morphologicide 01:17:31 morphologicide? ¯\(°​_o)/¯ 01:17:34 ? cyanide 01:17:35 cyanide? ¯\(°​_o)/¯ 01:18:04 I do think that morphology should be sacrificed for humor if required. 01:18:16 shocking 01:20:11 boily: i'm disappointed that doesn't seem to be an actual song 01:20:39 morphology is only an arrière-pensée, a smidge to be washed away under pure unfettered language. 01:20:54 ? morphology 01:20:55 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 why are you dissing your own invention 01:21:12 HA HA HA :D 01:21:21 cwlprits morphology 01:21:28 oerjän 01:21:32 ^^ 01:21:40 lol. 01:21:55 -!- Lord_of_Life has quit (Excess Flood). 01:21:56 so now can I have the wisdom entry for cyanide? 01:22:02 -!- Lord_of_Life has joined. 01:22:10 not the one you made yesterday, no. 01:22:23 you allowed the morphologicide in wan :P 01:22:27 s/:P/:c 01:22:32 why not in "cyanide"? 01:22:42 because the suffix is -cide. 01:22:55 -ide alone means something different. 01:22:57 Again, you allowed the morphologicide in wan. 01:23:14 only because i thought of "can't". 01:23:19 The joke still retains its humor; it is also brief. 01:23:25 Think of cunt then 01:23:30 :þ 01:23:34 ? cun 01:23:35 cun? ¯\(°​_o)/¯ 01:23:35 -!- ChanServ has set channel mode: +o oerjan. 01:23:49 hi øprjan 01:23:52 ? yes 01:23:53 yes? ¯\(°​_o)/¯ 01:23:55 ? no 01:23:55 -!- oerjan has set channel mode: +b *!*remavas@*.omni.lt. 01:23:55 -!- oerjan has kicked Remavas. 01:23:56 No means hi. 01:23:59 o-o 01:24:07 -!- oerjan has set channel mode: -o oerjan. 01:24:12 I think that was a little unnecessary but okay 01:24:16 it smelled like hagb4rd. 01:24:22 ? hagb4rd 01:24:23 hagb4rd is one spacey fellow. Spaaaaaaaaaaaaaaace. 01:24:32 ? space 01:24:33 Humans come from space. In particular, the part of space that has Earth in it. 01:24:39 har har. 01:24:57 ? brevity 01:24:58 brevity? ¯\(°​_o)/¯ 01:26:06 although i'm not quite sure this time, but i don't care. 01:26:38 you have to earn your time here before you get to dump swearwords, is my opinion. 01:27:42 le/rn brevity//syn. "shortness" 01:27:45 Learned 'brevity': syn. "shortness" 01:30:54 * boily exploits the Québécois Loophole for swearing >:D 01:31:09 boily: you've earned your time hth 01:31:20 although i guess the loophole helps. 01:40:43 ? shortness 01:40:44 shortness? ¯\(°​_o)/¯ 01:40:47 ? brevity 01:40:48 syn. "shortness" 01:41:27 soul of wit 01:41:44 ? long 01:41:45 Long is the Chinese word for dragon. 01:41:48 ? longer 01:41:49 longer? ¯\(°​_o)/¯ 01:41:57 ? remavas 01:41:58 remavas? ¯\(°​_o)/¯ 01:50:20 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 you review it monthly? 01:52:55 It's a letsencrypt cert, those are only valid for 3 months at a time. 01:53:06 ic 01:53:16 Looks like the file on disk has actually been renewed. 01:53:22 Validity 01:53:22 Not Before: Mar 27 12:37:00 2017 GMT 01:53:22 Not After : Jun 25 12:37:00 2017 GMT 01:53:31 Must be something like the webserver not picking it up. 01:54:03 That's odd. 01:54:06 maybe it only reads it when starting up? 01:54:20 and somehow hasn't been down 01:54:21 Yes, that's why I have "sudo /bin/systemctl reload nginx" in the script. 01:54:27 heh 01:54:32 I just did that command manually, and it seems to have worked. 01:54:37 yay 01:54:38 fizziello. 01:54:53 I just don't know why it didn't work from the cron job. 01:55:03 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 *rid 01:55:57 Oh, there are the emails. I haven't actually configured for them to get out of the box. 01:56:38 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 very useful tool 01:57:43 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 And because of that didn't call the web server reload thing. 01:58:51 fiendish 01:59:18 Tricksy. Well, it should stay up to date now. 01:59:55 ? STC 01:59:56 STC? ¯\(°​_o)/¯ 02:00:21 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 Heh, it's exactly 30 days. 02:02:06 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 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 ...except then it'd reload the web server unnecessarily every time. Bah. 02:07:17 . o O o . 02:07:21 thought cancellation 02:08:02 . o O ( hey dude, why did you cancel me? you do know that with- ) O o . 02:08:15 ? . o O ( lol ) 02:08:16 ​. o O ( lol )? ¯\(°​_o)/¯ 02:08:23 ? . o O ( ) 02:08:24 ​. o O ( )? ¯\(°​_o)/¯ 02:08:25 ? . o O 02:08:26 ​. o O? ¯\(°​_o)/¯ 02:08:30 seriously? 02:08:36 jk 02:18:21 fungot: nostril. 02:18:21 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 tripe is good. all fuzzy and textureous. 02:27:58 is there an trump mode one fungot? 02:27:58 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 a crystal plate mail. Not worth the postage and wont stop arrows. 02:29:24 but could be the cutting edge in armour 02:29:36 Zarutellon. but crystal plate has an AC of 14 and a GDR of 48%!* 02:29:59 lends a whole new meaning to 'a knight in shining armour'. 02:30:14 (* 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 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 getting cron to run a command more often than once a month but less often than twice looks annoying. 02:56:26 iiuc you essentially have to copy the entry for all the months/days wanted 02:57:18 except you can probably share february and march. 02:59:12 looks like 30 days cutoff is about the most annoying possible :P 03:16:16 right. 03:16:17 that's it. 03:16:37 I'm activating the tachyon drives and escaping this black hole of boredom. 03:16:40 ? tachyon 03:16:41 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 ? alcubierre 03:16:50 alcubierre? ¯\(°​_o)/¯ 03:16:51 ? alcubierre drive 03:16:52 alcubierre drive? ¯\(°​_o)/¯ 03:16:53 <\oren\> instead of blocking at the browser or router level, block at the DNS level 03:16:54 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 oerjan: You can do commas. I just changed it to "37 9 7,17,27 * *". 03:33:04 fizzie: yes, but i said "less than twice a month" 03:33:04 (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 that would work too 03:35:53 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 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 There's lines in that file from 2014-07-25 onwards. 03:37:55 I'm guessing it was some sort of a poor man's bandwidth logging mechanism. 03:52:52 TZ=C? That seems like a weird way of specifying that time zone. 03:53:27 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 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 ##fix_your_connection 06:20:35 Predicted ping timeout... now! 06:21:02 -!- hppavilion[1] has quit (Ping timeout: 255 seconds). 06:21:03 No, wait... now! 06:21:06 agh 06:21:08 one second late 06:21:11 knew it was coming tho 06:21:12 :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 @tell oerjan You should see a doctor if that cough persists 07:18:11 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 I had the Wikipedia article for Gödel's Incompleteness Therems open 07:54:32 *Theorems 07:54:48 And I glanced at it and thought it said "Gö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 [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 ? vacuum tube 10:48:12 vacuum tube? ¯\(°​_o)/¯ 10:49:43 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 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 wisdom 11:39:03 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 hppavellon[3]. 12:06:41 wisdom 12:06:42 banana//Bananananananana BATMAN! 12:06:47 uh. 12:08:10 cwlprits banana 12:08:17 (is it mine?) 12:08:19 oerjän hppavilion[2̈] 12:08:51 int-ello. 12:08:54 it's 100% villainous 12:09:37 (50% in actuality, 50% by name) 12:10:28 ? lisp 12:10:29 lisp? ¯\(°​_o)/¯ 12:10:38 . o O ( I just read this: "Lisp doesn't" 12:10:45 "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 can babies take showers? 12:26:02 -!- boily has quit (Quit: STRUCK CHICKEN). 12:44:39 I removed another 9 completely unnecessary characters from my golf 12:48:17 [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 [wiki] [[But Is It Art?]] N https://esolangs.org/w/index.php?oldid=51664 * Ais523 * (+5251) new language! 13:22:36 [wiki] [[User:Ais523]] https://esolangs.org/w/index.php?diff=51665&oldid=51174 * Ais523 * (+20) +[[But Is It Art?]] 13:28:42 [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 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 so ais made another language 13:38:23 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=51667&oldid=51663 * B jonas * (+29) 13:38:42 fizzie: hmm, but I can log in on https://esolangs.org/ so it seems like the problem is only with http 13:38:47 though it could be some client-side stuff 13:41:07 [wiki] [[V (DJMcMayhem)]] https://esolangs.org/w/index.php?diff=51668&oldid=50731 * B jonas * (+97) 13:44:15 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 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 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 [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 sup 14:50:54 -!- ^_^v has joined. 14:52:23 [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 sup 14:57:48 -!- hkgit03 has joined. 15:04:27 -!- moonythedwarf has joined. 15:04:29 On a scale of 1 to 10, how likely is it that this question is using binary? 15:04:42 (#xkcd spies are cheaters) 15:07:18 -!- Bowserinator has quit (Changing host). 15:07:18 -!- Bowserinator has joined. 15:09:38 ?? 15:12:57 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 moonythedwarf: I maintain that the answer is 2. 15:24:32 rdococ, (Cheater) lol 15:24:36 ? 15:24:53 oh, you didnt see the discussion in #xkcd? ok then 15:24:58 I didn't look in xkcd, or even #xkcd for that matter. 15:25:02 lol 15:25:07 Wanna hear my reasoning? 15:25:12 but yea, 2 is a good answer 15:25:20 nvm then 15:25:29 already heard the reasoning of 4 diffrent people in #xkcd for the number '2' 15:27:08 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 heh 15:28:28 b_jonas: depends if it's on april fools day 15:28:50 rdococ: it lasts for way more than a day. 15:28:59 b_jonas, 10 15:29:04 ...ah. 15:29:13 1010. 15:29:29 have fun determining if that's binary 15:29:33 ^ 15:31:12 b_jonas, depends how large-scale the tech stuff is 15:31:56 moonythedwarf: uh 15:32:13 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 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 xkcd 1578 heh 15:48:54 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 hm 17:31:10 -!- Seaser has joined. 17:33:43 -!- sease has quit (Ping timeout: 240 seconds). 17:36:13 ? 10 17:36:17 10? ¯\(°​_o)/¯ 17:36:45 le//rn 10//10 = 10 in every base 17:36:51 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 ? 10 18:13:35 10 = 10 in every base 18:13:38 oh yay it wasn't reverted 18:21:52 What about base 1 18:26:39 [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 (Ik,Ok) 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 42 19:02:31 Where do I get these CRISPR Vim keybindings‽ 19:16:49 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 functions that create independent random variables will take the random results as arguments and return their result 19:38:01 (these are independent random bits, btw) 19:39:43 -!- augur has quit (Ping timeout: 240 seconds). 19:42:04 To compute the percentage of the function returning true, you would enumerate in binary style 19:42:30 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 . o O ( Hppavilion's theorem ) 19:44:34 Just square the amplitudes :) 19:45:02 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 :P 19:45:23 Remavas-PC: Wait, squaring the amplitudes or squaring the absolute values? 19:45:29 The Remavas-Hppavilion Theorem :P 19:45:34 (or is the absolute value the amplitude part?) 19:45:38 does that make a difference? 19:45:50 Remavas-PC: Yeah. i^2 = -1, |i|^2 = 1 19:45:53 Big difference. 19:45:58 Like, a difference of *2*! 19:46:07 * hppavilion[1] whistles 19:46:18 a multiplicational difference of -1 19:46:36 rdococ: Difference = subtraction 19:46:43 Or, well 19:47:02 modulus squared 19:47:09 Difference ∝ Subtraction 19:47:10 so absolute value squared 19:47:10 hppavilion[1]: I read some cultures view the number line logarithmically as opposed to linearly. imagine the implications of that. 19:47:11 yea 19:47:21 rdococ: That's just the number logarithm. 19:47:23 Difference = |subtraction| 19:47:33 rdococ: Also, what do you mean by that? 19:47:38 hppavilion[1]: yes but imagine a culture whose math was based on numbers like that 19:47:41 Difference ∝ sin(subtraction) 19:47:51 :P 19:47:52 rdococ: But what does that actually mean? 19:48:24 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 rdococ: Ah, yes, I see. 19:48:56 that seems weird 19:48:57 rdococ: That sounds more like a different meaning of the phrase "half way between" than a different type of number 19:48:57 now, imagine a technologically advanced culture whose basic arithmetic is based on that. 19:49:13 That would imly they find multipication more important than addition 19:49:23 rdococ: Our arithmetic is based on that, but we call it "roots". 19:49:42 hppavilion[1]: You mean they're the roots of arithmetic? :P 19:49:42 We just call it exponents. 19:49:58 We use exponents a lot. We just don't think of them _first_ when you say "halfway" 19:50:03 rdococ: No I do not. 19:50:04 I know that. 19:50:08 rdococ: Go sit in the shame corner. 19:50:12 aw 19:50:12 ? #esoteric 19:50:14 ​#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 :P 19:50:37 How many vertices does a 7-codimensional hyperenchildada have again? 19:50:43 a lot 19:50:54 [answer: that's actually meaningless] 19:51:16 [Not the hyperenchilada part; the "7-codimensional" without giving what it's codimensional with respect /to/.] 19:51:23 nice to know 19:51:27 7-dimesnional then 19:51:32 Remavas-PC: No 19:51:35 for our purpose :P 19:51:39 Remavas-PC: It says "7-codimensional" 19:51:52 Remavas-PC: It probably means with respect to our 4-dimensional outerverse. 19:52:13 . o O ( codimension? ) 19:52:32 ? ndecension 19:52:33 ndecension? ¯\(°​_o)/¯ 19:53:07 rdococ: Lookitup 19:53:36 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 hppavilion[1]: That is true. 19:53:53 (but infinitely less important than "are there 41 or 42 lions in those bushes‽", but that's a special case) 19:54:10 Our eyes operate on logarithmic brightness levels 19:54:18 Okay, okay, we're logarithmic. 19:54:25 of course 42! 19:54:29 :P 19:54:29 But we still count on a linear number line. 19:54:58 So, imagine a culture whose number line is 1 - 2 - 4 - 8 - 16 - ... or even 1 - 3 - 9 - 27 - ... 19:55:17 I'm going to model a normal 2-Enchilada as a Lens-based Prysm 19:55:31 Sounds nice. 19:55:40 I can't... 19:55:44 (a Prysm being the union of prisms and cylinders) 19:55:50 Remavas-PC: Hm? 19:55:53 Because how do they count sheep then :) 19:56:21 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 Remavas-PC: and 32 - 16 = 1 :P 19:57:52 We all should count using prime numbers...duh 19:58:04 :) 19:58:24 rdococ: That's a wet dream though 19:58:38 :P 19:58:38 Do androids wet dream of electric sheep factories? 19:58:43 lol 19:58:50 Factory factories. 19:58:53 ? factory factory 19:58:54 factory factory? ¯\(°​_o)/¯ 19:58:56 Answer: No; if they had a wet dream, they would short circuit and die 19:58:57 ? metafactory 19:58:58 metafactory? ¯\(°​_o)/¯ 19:59:00 har har 19:59:03 rdococ: ...pervert 19:59:09 ~? die 19:59:10 Har. har. har. 19:59:14 ? die 19:59:15 die? ¯\(°​_o)/¯ 19:59:29 -!- Phantom_Hoover has joined. 20:00:09 HackEgo is immortal 20:00:26 Has HackEgo got a brainf*ck interpreter? 20:00:44 Remavas-PC: Yeah, probably 20:00:50 Remavas-PC: fungot defiantly does. 20:00:50 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 Not definitely. Defiantly. 20:01:27 ? Defiant-ly 20:01:28 Defiant-ly? ¯\(°​_o)/¯ 20:02:03 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 Remavas-PC: Also, please, refer to the language by its proper name. 20:02:22 I was kicked once 20:02:25 hppavilion[1]: Nice. Natural exponentiation. 20:02:27 Remavas-PC: From #esoteric? 20:02:31 Yeah 20:02:35 Remavas-PC: By whom‽ 20:02:44 oeljan or similiar 20:02:48 oerjan 20:02:51 yeah 20:02:55 I looked it up in my logs 20:03:11 it was for saying cun with a t on the end 20:03:14 I said an unnice word :P 20:03:23 which is strange, because fuck is allowed (e.g. brainfuck) 20:03:57 anyway 20:04:01 I will invent a new swear word 20:04:04 phrel 20:04:07 ? phrel 20:04:08 phrel? ¯\(°​_o)/¯ 20:04:33 phrel = a fluid that holds seeds 20:04:39 really? 20:04:42 no 20:04:44 :P 20:04:46 ha 20:04:53 lol 20:05:13 le//rn phrel//Phrel is a swear word rdocscovered in 2018. It refers to a fluid that holds seeds. 20:05:15 Learned 'phrel': Phrel is a swear word rdocscovered in 2018. It refers to a fluid that holds seeds. 20:05:34 rdococ: Actually, the above isn't quite true 20:05:39 ? 20:05:48 Can you look up phrel now? 20:05:54 By HackEgo? 20:05:56 Only those weird fuckers to the north use natural counting for numbers 20:05:56 :) 20:06:02 Our number line here goes 1.0 - 2.6382270745053704 - 6.9602420966531655 - 18.362699144502407 - 48.44497004402285 - 127.80883159374271 - 337.1887198715094 20:06:08 hppavilion[1]: Heh. 20:06:11 (the meaning of that is left as an exercise to the reader) 20:06:16 But natural counting is natural! 20:06:28 hah, we count using powers of e! 20:06:40 and for speed we use fractions of c! 20:06:47 so practical 20:06:56 I don't see how you can all put up with your fancy fractions. 20:07:08 mass is given in eV 20:07:13 My species counts with powers of 2: nice and simple. It makes sense - it's the cell division constant. 20:07:56 Mayans counted using powers of 60 :P 20:08:07 @oeis 1.0 2.6382270745053704 6.9602420966531655 18.362699144502407 20:08:08 Sequence not found. 20:08:11 aw. 20:08:24 @oeis 1 2 1 2 1 20:08:40 crash? 20:08:41 Remavas-PC: Your culture is odd. Just count with powers of 2! 20:08:48 oops. 20:08:59 @oeis 1.0 2.0 1.0 2.0 20:09:07 Plugin oeis' failed with: <> 20:09:12 yup 20:09:13 crash 20:09:30 Oops. 20:09:45 ? sorry 20:09:46 sorry? ¯\(°​_o)/¯ 20:10:43 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 20:11:07 Plugin oeis' failed with: <> 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 le//rn codependency 20:27:53 Usage: le/[/]rn // 20:27:57 ? codependency 20:27:58 Codependency is a programmer disease caused by having too much code pending. 20:28:09 Ha ha ha. 20:33:27 -!- orby has joined. 20:34:03 ? cocoa 20:34:04 cocoa? ¯\(°​_o)/¯ 20:34:08 ? a 20:34:09 A is a village in Norway. The BBC invented it by not understanding things on top of letters. 20:34:24 le//rn cocoa//A is a village in Norway. The BBC invented it by not understanding things on top of letters. 20:34:26 Learned 'cocoa': A is a village in Norway. The BBC invented it by not understanding things on top of letters. 20:34:33 [wiki] [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=51672&oldid=51646 * Orby * (+150) 20:35:02 ? supersymmetry 20:35:04 supersymmetry? ¯\(°​_o)/¯ 20:35:31 le//rn supersymmetry//Supersymmetry is an obsessive cleaning disorder only diagnosed to physicists. 20:35:33 Learned 'supersymmetry': Supersymmetry is an obsessive cleaning disorder only diagnosed to physicists. 20:36:05 helloteric; what do you think about these? 20:36:48 ? IP 20:36:49 IP? ¯\(°​_o)/¯ 20:37:25 -!- S1 has quit (Quit: Leaving). 20:37:26 le//rn IP//Your IP address is a pointer to the current instruction. 20:37:28 Learned 'ip': Your IP address is a pointer to the current instruction. 20:38:38 Instruction pointer address 20:38:55 yes 20:39:06 le//rn IP//Your IP address is the address of the pointer to the current instruction. 20:39:08 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 leran 20:45:19 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: leran: not found 20:45:25 learm 20:45:26 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: learm: not found 20:46:57 wtf they changed met.hu or something? 20:52:37 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)). 20:53:57 where did they hide the daily textual whole country predictions? 20:54:22 ? nyan 20:54:23 nyan? ¯\(°​_o)/¯ 20:54:49 ok, found it, but damn them for the link churn and worse interface and stupid javascript stuff 20:55:27 ? frozen 20:55:28 frozen? ¯\(°​_o)/¯ 20:55:28 ? cofrozen 20:55:29 cofrozen? ¯\(°​_o)/¯ 20:55:57 ? rdocscover 20:55:58 rdocscover? ¯\(°​_o)/¯ 20:55:59 ? rdocscovery 20:56:00 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 argh 21:11:54 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 m switches on the headphone hardware. 21:15:25 * hppavilion[1] ♪ ♩ O ( Is it possible to have a cycloid 21:15:28 Whoops 21:15:33 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 (or more accurately, does it sound good in a distinct way?) 21:18:00 One sheep, two sheep, four sheep, eight sheep. 21:18:11 Sixteen sheep, thirty two sheep, sixty four sheep, one hundred and twenty eight sheep. 21:18:24 ? 21:18:25 ​? ¯\(°​_o)/¯ 21:18:39 ?  21:18:40 ​ is the prefix to greatness. 21:18:43 ? _ 21:18:44 ​_? ¯\(°​_o)/¯ 21:18:47 ? _- 21:18:48 ​_-? ¯\(°​_o)/¯ 21:18:51 ? _-z 21:18:52 ​_-z? ¯\(°​_o)/¯ 21:19:58 rdococ: Did you happen to have some precooked canned pork for lunch? 21:20:12 ? 21:20:16 no? 21:20:39 ? emoticon 21:20:40 emoticon? ¯\(°​_o)/¯ 21:21:06 [wiki] [[Special:Log/newusers]] create * Xav737 * New user account 21:21:31 le/rn emoticon//emoticon: ¯\(°​_o)/¯ 21:21:33 Learned 'emoticon': emoticon: ¯\(°​_o)/¯ 21:21:41 ? emoticon 21:21:42 emoticon: ¯\(°​_o)/¯ 21:21:47 -!- augur_ has joined. 21:22:02 -!- augur has quit (Ping timeout: 260 seconds). 21:22:13 paste lowercase2 21:22:15 https://hackego.esolangs.org/fshg/index.cgi/file/tip/lowercase2 21:22:30 paste bin/lowercase2 21:22:31 https://hackego.esolangs.org/fshg/index.cgi/file/tip/bin/lowercase2 21:22:44 paste bin/lowercase 21:22:45 https://hackego.esolangs.org/fshg/index.cgi/file/tip/bin/lowercase 21:23:49 lowercase2 WÅLRØSŒ 21:23:50 wålrøsœ 21:23:59 lowercase2 WÅŁRØSŒ 21:24:00 wåŁrøsœ 21:24:04 -!- augur has joined. 21:24:14 wælcem 21:25:46 sled bin/lowercase2//s/Ý/ÝŁ/ 21:25:48 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 þoo 21:26:17 :P 21:26:18 sled bin/lowercase2//s/ý/ýł/ 21:26:19 bin/lowercase2//#!/bin/bash \ print_args_or_input "@" | tr A-Z a-z | LANG=en_NZ.UTF-8 sed 'y/ØÅÆŒÞÐÄÖÜÁÉÍÓÚÝŁ/øåæœþðäöüáéíóúýł/' 21:26:20 :þ 21:26:23 ? þorn 21:26:24 ​þorn? ¯\(°​_o)/¯ 21:26:53 le//rn þorn grows around roses. 21:26:53 Usage: le/[/]rn // 21:27:01 le//rn þorn//Þorn grows around roses. 21:27:03 Learned 'þorn': Þorn grows around roses. 21:27:55 rdococ: I think the standard pun involving Þorn is 'porn' 21:27:59 ? Þorn 21:28:00 ​Þorn? ¯\(°​_o)/¯ 21:28:06 cat bin/? 21:28:07 ​#!/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 sled bin/¿//s/lowercase/lowercase2/ 21:28:29 bin/¿//\? "$@" | rev | tac 21:28:35 ...what 21:28:36 Oh 21:28:41 sled bin/?//s/lowercase/lowercase2/ 21:28:43 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 ? Þorn 21:28:48 ​Þorn grows around roses. 21:28:53 ? þorn 21:28:54 ​Þorn grows around roses. 21:29:21 (Next up: Greek) 21:29:26 ? y 21:29:27 Y is a commune in France. There's nothing funny about this. 21:31:18 (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 eye 21:32:17 ye 21:32:22 ? Wye 21:32:24 Wye? ¯\(°​_o)/¯ 21:33:04 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 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 lol 21:33:56 ? transistor 21:33:57 transistor? ¯\(°​_o)/¯ 21:34:37 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 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 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 . o O ( Hyperloop is a concept for a high energy particle accelerator. ) 21:37:40 . o O 0 A Æ E I I | 21:39:14 Or maybe it's a more detailed specific plan of an instance of vac train line. 21:40:31 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 in kinetic energy. 21:44:42 magical energy 21:45:28 feel free to improve that wisdom entry, I know the phrasing isn't the best. 21:46:56 what's so hard in including an analog dial resistor thingy in the fucking earphones, east asian electronics guys! 21:49:27 Hm 21:50:25 . o O o . 21:50:28 [wiki] [[Talk:But Is It Art?]] https://esolangs.org/w/index.php?diff=51673&oldid=51671 * Ais523 * (+790) reply 21:51:23 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 [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 !(!a AND !b) 21:51:47 :o 21:51:50 wai 21:51:52 wait. 21:52:05 But what would be interesting is a structure (maybe a "vector space space"?) that describes *all* matrices 21:52:22 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=51675&oldid=51654 * Xav737 * (+198) Post my intro 21:52:26 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 A VSS is a set of vector spaces together with a function f 21:53:00 [wiki] [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=51676&oldid=51675 * Xav737 * (+56) 21:53:18 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 [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 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 . o O ( and gate w/o transistors? ) 21:54:43 Matrices form a VSS with matrix multiplication. 21:54:54 Now to figure out if this is at all useful 21:55:00 hm 21:55:12 what are some examples of AND gates constructed without transistors? 21:57:48 btw it has to be electronic 21:58:59 nobody? 21:59:00 rdococ: Redstone! 21:59:20 rdococ: No idea of some non-electric ones. Define "electric" 21:59:50 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 Water coming out means 1, no water is 0 22:00:30 http://hackaday.com/2014/05/30/using-pulleys-and-weights-to-explain-binary-logic-gates/ comes to mind 22:00:37 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 As long as it has no transistors. 22:00:58 why electric? 22:01:06 rdococ: OK, that's what I expressed. Just add a generator to the hose. 22:01:16 (I assume motors don't contain any transistors) 22:01:56 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 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 wait. 22:05:40 -!- hppavilion[1] has quit (Ping timeout: 245 seconds). 22:06:30 Nevermind. 22:09:31 -!- ^_^v has quit (Quit: This computer has gone to sleep). 22:09:40 -!- ^_^v has joined. 22:13:56 ? I'n 22:13:57 I'n? ¯\(°​_o)/¯ 22:14:32 le//rn I'n//I'n is a contraction of "I'm in" rdocscovered in the early 23rd century. 22:14:34 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 ? You're 22:24:36 You're? ¯\(°​_o)/¯ 22:24:37 ? re 22:24:38 re? ¯\(°​_o)/¯ 22:24:41 ? at 22:24:43 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 ? w 22:24:49 w? ¯\(°​_o)/¯ 22:25:36 le//rn w//A w is everything a cow isn't. 22:25:38 Learned 'w': A w is everything a cow isn't. 22:25:58 ? pe 22:25:59 pe? ¯\(°​_o)/¯ 22:26:22 rdococ: ...do you have a dictionary open to the 'co-' section? 22:26:30 le//rn pe//To pe, is to not cope. 22:26:32 Learned 'pe': To pe, is to not cope. 22:27:22 hppavilion[1]: Actually, yes, in a way: https://en.wiktionary.org/wiki/co- 22:27:49 ? coopposite 22:27:50 coopposite? ¯\(°​_o)/¯ 22:28:45 ? cosine 22:28:47 cosine? ¯\(°​_o)/¯ 22:28:49 ? sine 22:28:50 sine? ¯\(°​_o)/¯ 22:29:08 ? absolute value 22:29:09 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 . o O ( coabs = sign ) 22:29:33 ? cosign 22:29:34 cosign? ¯\(°​_o)/¯ 22:29:39 slwd absolute value//s/break that/break maths/ 22:29:42 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 :P 22:29:59 ? @ 22:30:01 ​@ is an OS made out of only the finest vapour. 22:30:02 I like how it's a cosign 22:30:04 ? $22:30:05 ​$? ¯\(°​_o)/¯ 22:30:08 ? tip 22:30:09 rdococ: Yeah 22:30:09 A tip is [ \$ ] if you're American, [ £ ] if you're British, and if you're Japanese. 22:30:24 Wanna see my entry for cocoa? 22:30:28 rdococ: Also, the integral of sign is cosign. 22:30:40 hppavilion[1]: I know, I find that pretty cool too :P 22:31:02 You should really type ? cocoa 22:31:06 (specifically, \int{0}{x}{sgn(s) ds} = |x| 22:31:11 ? COCOA 22:31:12 A is a village in Norway. The BBC invented it by not understanding things on top of letters. 22:31:20 :P 22:31:22 rdococ: Wondeful 22:31:32 It's also coterrible. 22:31:45 rdococ: Cofurchtbar 22:32:10 I wanted to make a joke about ats, but at was already taken. 22:32:25 ? mputer 22:32:26 mputer? ¯\(°​_o)/¯ 22:32:28 -!- orby has quit (Ping timeout: 260 seconds). 22:33:54 ? rdoc 22:33:55 rdoc? ¯\(°​_o)/¯ 22:34:48 I'd like to see more newly-invented last names 22:35:02 exempli gratia names like Kim Dotcom, but for different TLDs 22:35:06 Copavilion 22:35:15 rdococ: pulate 22:37:29 "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 (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 ? coextrapolate 22:39:42 coextrapolate? ¯\(°​_o)/¯ 22:39:52 ? coextrapolation 22:39:53 coextrapolation? ¯\(°​_o)/¯ 22:40:08 (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 (And his ties to Vladimir Dotaryoo are a bit concerning) 22:40:53 ? lal 22:40:54 lal? ¯\(°​_o)/¯ 22:40:55 ? lol 22:40:56 lol? ¯\(°​_o)/¯ 22:41:53 rdococ: ACKNOWLEDGE MY FUNNY 22:42:21 YOUR FUNNY IS ACKNOWLEDGED 22:42:48 (HOWEVER LITTLE OF IT THERE IS) 22:43:05 ? ke 22:43:08 ke? ¯\(°​_o)/¯ 22:43:36 ? cain 22:43:37 cain? ¯\(°​_o)/¯ 22:43:41 ? caine 22:43:42 caine? ¯\(°​_o)/¯ 22:43:55 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 Learned 'ke': Ke is an anti-soda campaign rdocscovered in the 93rd millenium I.C.E. Rdococ doesn't support it. 22:44:02 ? ice 22:44:03 ice? ¯\(°​_o)/¯ 22:44:29 -!- boily has joined. 22:44:43 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 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 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 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 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 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 ah 22:45:26 better 22:45:34 * rdococ really wishes he knew the other commands better. 22:46:00 rdochelloc. it's Intrusion Countermeasures Electronics hth 22:46:54 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 rdococ: slwd hth 22:47:43 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 hppavellon[1]. 22:48:04 ? caine 22:48:05 caine? ¯\(°​_o)/¯ 22:48:28 ? coil 22:48:29 coil? ¯\(°​_o)/¯ 22:48:30 ? il 22:48:31 il? ¯\(°​_o)/¯ 22:49:02 le//rn il//An il is a cohelix of pper wire. 22:49:05 Learned 'il': An il is a cohelix of pper wire. 22:49:07 rdococ: You clearly know the mmands pretty well though 22:49:21 hppavilion[1]: yes, but the problem is, I also coknow the commands well 22:49:46 rdococ: This joke is getting cofunny htc. 22:50:17 hppavilion[1]: Would you prefer a cojoke? 22:50:25 rdococ: Coyes. 22:50:49 hppavilion[1]: Er... Cokay. 22:50:53 ? coyes 22:50:55 coyes? ¯\(°​_o)/¯ 22:50:57 ? cono 22:50:58 cono? ¯\(°​_o)/¯ 22:51:01 ? ne 22:51:03 ne? ¯\(°​_o)/¯ 22:51:19 Coño. 22:51:23  22:51:24 No output. 22:51:32 ? _- 22:51:33 ​_-? ¯\(°​_o)/¯ 22:54:04 ? fñord 22:54:05 fñord? ¯\(°​_o)/¯ 22:54:25 ? OTL 22:54:26 OTL? ¯\(°​_o)/¯ 22:54:39 le//rn OTL//OTL is a man sitting sideways on air. 22:54:41 Learned 'otl': OTL is a man sitting sideways on air. 22:56:38 revert 22:56:40 Done. 22:56:49 * boily feels shachafy 22:58:06 :c 22:59:39 ? codo 22:59:40 codo? ¯\(°​_o)/¯ 22:59:54 le//rn codo//The codo button is the dodo's undo button. 22:59:56 Learned 'codo': The codo button is the dodo's undo button. 23:02:38 ? ouo 23:02:40 ouo? ¯\(°​_o)/¯ 23:07:13 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 23:11:36 ? love 23:11:37 Baby don't hurt me, don't hurt me no more 23:11:40 ? life 23:11:42 ​‘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 ? quotes 23:17:41 Quotes are just elements of the quantum dilapidated bogosphere. See qdb. 23:17:48 / qdb 23:17:48 ​/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 ? qdb 23:17:51 qdb is used like: quote; quote regexp; quote id; addquote ...; delquote id; pastequotes regexp; pastenquotes [n]; see also quoteformat 23:18:11 /home/hackbot/hackbot.hg/multibot_commands/lib/limits/ 23:18:12 ​/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 /home/hackbot/hackbot.hg/multibot_commands/lib/limits 23:18:23 ​/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 /.. 23:18:37 ​/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 ooh 23:18:47 interesting 23:20:29 /../lock 23:20:30 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../lock: No such file or directory 23:20:51 /../.. 23:20:51 ​/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 /../../.. 23:20:54 ​/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 /../../../.. 23:20:57 ​/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 /../../../../dir 23:21:00 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../dir: No such file or directory 23:21:05 hmmm 23:21:09 cd .. 23:21:10 ​invalid command ( ͡° ͜ʖ ͡°) 23:21:13 aw 23:21:13 lol 23:21:15 :P 23:21:22 /.. 23:21:23 ​/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 /../tr_60.cd 23:21:39 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../tr_60.cd: No such file or directory 23:21:41 /../tr_60.cmd 23:21:41 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../tr_60.cmd: No such file or directory 23:21:52 /../../../.. 23:21:52 ​/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 /../../../../.. 23:21:54 ​/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 okay 23:21:59 I'll do it in pm 23:24:22 why 23:24:29 it was starting to get interesting 23:27:23 /../../../../../../.. 23:27:24 ​/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 /../../../../../../../.. 23:27:26 ​/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 /../../../../../../../../.. 23:27:29 ​/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 /../../../../../../../../../.. 23:27:31 ​/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 /../../../../../../../../../../.. 23:27:34 ​/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 HOW NESTED 23:27:41 /../../../../../../../../../../../.. 23:27:41 ​/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 /../../../../../../../../../../../../.. 23:27:44 ​/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 /../../../../../../../../../../../../../.. 23:27:46 ​/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 /../../../../../../../../../../../../../../.. 23:27:50 ​/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 /../../../../../../../../../../../../../../../.. 23:27:54 ​/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 Does this ever end? 23:28:09 /../../../../../../../../../../../../../../../../bin 23:28:09 ​/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 /../../../../../../../../../../../../../../../../bia 23:28:13 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../../../../../../../../bia: No such file or directory 23:28:19 Oooooh. 23:28:22 /../../../../../../../../..bin 23:28:23 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../..bin: No such file or directory 23:28:24 /../../../../../../../../../bin 23:28:25 ​/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 /../../../../../../../../bin 23:28:28 ​/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 /../../../../../../../bin 23:28:32 ​/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 /../../../../../../bin 23:28:35 ​/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 /../../../../../bin 23:28:37 ​/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 /../../../../bin 23:28:40 ​/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 /../../../bin 23:28:44 ​/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 /../../bin 23:28:49 ​/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 /../bin 23:28:52 ​/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 /bin 23:28:55 ​/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 bin 23:28:58 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bin: cannot execute: Is a directory 23:28:59 ... 23:29:07 serioslai. 23:30:23 /../../../../../../../../../boot 23:30:24 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../boot: No such file or directory 23:30:30 /../../../../../../../../../? 23:30:31 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../?: No such file or directory 23:30:35 /../../../../../../../../../dev 23:30:35 ​/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 /../../../../../../../../../dev/null 23:30:41 ​/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 lol. 23:31:12 /../../../../../../../../../usr/include/error.h 23:31:12 ​/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 /../../../../../../../../../usr/games 23:31:25 ​/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 /../../../../../../../../../usr/games/guess 23:31:36 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../usr/games/guess: No such file or directory 23:31:43 /../../../../../../../../../usr/games/mines 23:31:44 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../usr/games/mines: No such file or directory 23:31:55 /../../../../../../../../../usr/ 23:31:56 ​/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 /../../../../../../../../../root/ 23:32:05 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /../../../../../../../../../root/: No such file or directory 23:32:14 /../../../../../../../../../vmlinuz 23:32:15 ​/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 hppavilion[1] detecte 23:37:52 d 23:38:21 P(A+B) = 1-(1-P(A))(1-P(B)) 23:38:55 Is there a huge difference between probability and fuzzy logic? 23:39:21 depends what kind 23:40:26 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 rdococ: ...uh. 23:41:28 ? 23:41:55 ah 23:41:57 they're the same 23:41:58 :P 23:42:42 Anyway, I understand that log_b(a) = log(a)/log(b), yes? 23:43:11 rdococ: Yes 23:43:12 -!- DHeadshot has quit (Ping timeout: 260 seconds). 23:43:19 rdococ: Do you want a proof? Cause I found one! 23:43:23 Hm. At least one difference: In standard fuzzy logic, a ∧ b = T(a)*T(b) 23:43:29 what is the equivalent to b^a? 23:43:41 rdococ: Logical AND hth 23:43:41 I wasn't exactly aware fuzzy logic had a standard 23:43:46 rdococ: Same symbol 23:43:57 rdococ: Well, it's ( •_•) | ( •_•)>⌐■-■ | (⌐■_■) sort of standard 23:44:12 ok? 23:44:14 ay? 23:44:37 Er, T(a ∧ b) = T(a) * T(b) 23:44:57 Well duh. 23:45:48 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 (assuming you just mean "a is true and a is true", not "a is observed twice") 23:46:09 ye 23:46:43 Basically, normal fuzzy logic is ill-equipped to deal with correlated truths 23:46:45 and T(a ∧ ¬a) should be 0 23:47:50 the definition of fuzzy logic is a bit fuzzy 23:47:56 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 E.g. 23:48:10 hm 23:48:15 I don't think I explained that enough tbh 23:48:30 take F = a∧b. 23:48:39 F(x, y) = x∧y. 23:48:41 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 er 23:49:02 ye 23:49:05 Which WOULD make 0 sense, but my math says it actually makes 0.3 sense. 23:49:22 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 [for the curious, that was P(a 23:50:07 ∧ ¬a) where a is in increments of 1/12] 23:50:16 [I gathered] 23:50:42 anyway, if each probabilistic operation was a function that took in the results of each probability... 23:50:59 Actually, this requires each probability be 1/2 23:51:20 but still, if each probability is 1/2 and you use my function encoding, you could simply enumerate the possibilities. 23:51:36 even if there were 1/4 probabilities, probably too - simply enumerate the others 3x. I think. 23:51:53 rdococ: Another thing that would be nice to deal with in probability: Choices of several items 23:52:09 While normal probability is sufficiently robust to describe this, it's not very well-equipped 23:53:11 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 You can encode it as P(red), P(green), P(blue), but it's a little funky 23:53:54 It'd be nice to have Pie Types JUST for this. 23:54:18 ye 23:55:05 P(marble, {red, green, blue}) 23:57:40 -!- Zarutian has joined. 23:58:31 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