00:01:50 -!- jaboja has quit (Ping timeout: 256 seconds). 00:14:25 <\oren\> hi 00:16:26 -!- tromp has joined. 00:26:43 -!- heroux has quit (Ping timeout: 260 seconds). 00:32:18 -!- tromp has quit (Remote host closed the connection). 00:32:30 -!- glowcoil has quit (Read error: Connection reset by peer). 00:34:06 -!- spiette has quit (Ping timeout: 240 seconds). 00:34:40 -!- tromp has joined. 00:44:43 -!- mauris has quit (Ping timeout: 250 seconds). 00:47:01 -!- glowcoil has joined. 00:47:58 -!- heroux has joined. 00:48:18 -!- tromp has quit (Remote host closed the connection). 00:57:13 -!- mihow has quit (Quit: mihow). 01:14:31 -!- tromp has joined. 01:23:54 -!- lifthrasiir has quit (Ping timeout: 245 seconds). 01:24:09 -!- lifthrasiir has joined. 01:26:02 -!- heroux has quit (Ping timeout: 272 seconds). 01:28:06 -!- jaboja64 has quit (Ping timeout: 240 seconds). 01:28:47 -!- MC8 has quit (Ping timeout: 260 seconds). 01:38:46 -!- ProofTechnique has joined. 01:40:02 -!- tromp has quit (Remote host closed the connection). 01:40:52 -!- heroux has joined. 01:41:56 he\\oren\ 01:42:17 -!- adu has quit (Quit: adu). 01:43:46 -!- aretecode has joined. 01:44:24 adnuuuuuuuuuuuuuuuuuu 01:46:24 vad nu då 01:47:59 Should auld 01:48:06 Ac-quaint-ence be forgot 01:48:13 And never brought to miiiiiiiiiiiind 01:49:26 hiippavlon. 01:56:30 tswettravoils. 01:56:47 ("travoils" being "hello" in esonese) 02:05:56 -!- sebbu has quit (Ping timeout: 256 seconds). 02:07:03 -!- adu has joined. 02:08:48 -!- sebbu has joined. 02:19:09 <\oren\> hippavilion[1] 02:36:20 -!- heroux has quit (Ping timeout: 272 seconds). 02:38:11 -!- heroux has joined. 02:39:22 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:05:41 -!- adu has quit (Quit: adu). 03:14:59 -!- jaboja has joined. 03:16:25 -!- tromp has joined. 03:20:44 -!- tromp has quit (Ping timeout: 256 seconds). 03:31:13 -!- mauris has joined. 03:41:06 -!- jaboja has quit (Ping timeout: 240 seconds). 04:24:07 -!- oerjan has quit (Quit: leaving). 04:25:42 -!- adu has joined. 05:09:21 -!- adu has quit (Quit: adu). 05:18:54 -!- adu has joined. 05:30:46 -!- ProofTechnique has quit (Ping timeout: 240 seconds). 05:33:07 -!- Cheio has joined. 05:37:40 -!- bb010g has joined. 05:52:00 -!- Cheio has quit (Remote host closed the connection). 06:12:27 [wiki] [[Talk:Silly Emplosions]] http://esolangs.org/w/index.php?diff=45800&oldid=45799 * 93.106.77.85 * (+165) 06:59:18 Viscera Cleanup Detail looks... interesting 07:03:31 -!- Frooxius has quit (Quit: *bubbles away*). 07:05:34 -!- Frooxius has joined. 07:34:16 -!- Patashu has joined. 07:37:43 -!- Patashu has quit (Remote host closed the connection). 07:38:26 -!- Patashu has joined. 07:55:06 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 07:55:17 -!- adu has quit (Quit: adu). 09:14:40 is Viscera Cleanup Detail an esolang? 09:14:49 hmm, doesn't seem to be on the wiki 09:19:47 -!- esowiki has joined. 09:19:52 -!- esowiki has joined. 09:19:52 -!- esowiki has joined. 09:20:51 -!- esowiki has joined. 09:20:55 -!- esowiki has joined. 09:20:55 -!- esowiki has joined. 09:21:31 -!- glogbot has joined. 09:22:49 -!- FireFly has quit (Ping timeout: 246 seconds). 09:23:05 -!- FireFly has joined. 09:23:54 -!- Gregor has quit (Ping timeout: 245 seconds). 09:24:26 -!- ^v has quit (Ping timeout: 240 seconds). 09:27:36 -!- Gregor has joined. 09:29:51 Sounds like a game name. 09:30:33 Space station janitor simulator, apparently. 09:31:16 Oh no, the trains are late. 09:32:37 I was supposed to be at work at 10 for a training thing. :/ 09:36:51 -!- esowiki has joined. 09:36:55 -!- esowiki has joined. 09:36:56 -!- esowiki has joined. 09:37:44 -!- esowiki has joined. 09:37:45 -!- glogbot has joined. 09:37:49 -!- esowiki has joined. 09:37:49 -!- esowiki has joined. 09:40:17 And I picked the suboptimal train too. (There were two coming at about the same time; one arrived earlier but the other skips a station. I took the earlier one because they kept changing the ETA, but the other arrived just when I went in the first one. It just overtook this one.) 09:45:44 Failing to do the optimal route selection for public transportation is much more annoying than it should, given that the cost of failure is (at least for these routes) usually being somewhere five minutes later than otherwise. 10:15:04 [wiki] [[Special:Log/newusers]] create * Dittoslash * New user account 10:18:49 [wiki] [[User:Dittoslash]] N http://esolangs.org/w/index.php?oldid=45801 * Dittoslash * (+79) Created page with "Boopy doopy I'm a person who knows Python. :D [[http://terriblesausage.co.uk]]" 10:20:11 [wiki] [[User:Dittoslash]] http://esolangs.org/w/index.php?diff=45802&oldid=45801 * Dittoslash * (-7) 10:21:06 [wiki] [[User:Dittoslash]] http://esolangs.org/w/index.php?diff=45803&oldid=45802 * Dittoslash * (-16) 10:40:09 [wiki] [[Slashist]] N http://esolangs.org/w/index.php?oldid=45804 * Dittoslash * (+1448) Created page 10:42:05 [wiki] [[Slashist]] http://esolangs.org/w/index.php?diff=45805&oldid=45804 * Dittoslash * (+60) 10:42:48 [wiki] [[Slashist]] http://esolangs.org/w/index.php?diff=45806&oldid=45805 * Dittoslash * (+28) 10:43:20 [wiki] [[Truth-machine]] M http://esolangs.org/w/index.php?diff=45807&oldid=45356 * Dittoslash * (+181) Added Slashist 10:44:14 -!- tromp has joined. 10:48:58 -!- tromp has quit (Ping timeout: 256 seconds). 10:58:28 -!- J_Arcane_ has joined. 11:01:26 -!- J_Arcane has quit (Ping timeout: 256 seconds). 11:01:37 -!- J_Arcane_ has changed nick to J_Arcane. 11:19:41 -!- zemhill has joined. 11:23:46 -!- zemhill has quit (Remote host closed the connection). 11:23:58 -!- zemhill has joined. 11:27:58 -!- zemhill has quit (Remote host closed the connection). 11:28:09 -!- zemhill has joined. 11:32:09 -!- zemhill has quit (Remote host closed the connection). 11:32:20 -!- zemhill has joined. 11:35:23 -!- boily has joined. 11:39:23 -!- zemhill has quit (Remote host closed the connection). 11:39:35 -!- zemhill has joined. 11:43:35 -!- zemhill has quit (Remote host closed the connection). 11:43:47 -!- zemhill has joined. 11:47:47 -!- zemhill has quit (Remote host closed the connection). 11:47:54 -!- MoALTz has quit (Ping timeout: 256 seconds). 11:47:58 -!- zemhill has joined. 11:49:17 -!- jaboja has joined. 11:53:17 -!- zemhill has quit (Remote host closed the connection). 11:53:30 -!- zemhill has joined. 11:57:30 -!- zemhill has quit (Remote host closed the connection). 11:57:42 -!- zemhill has joined. 12:00:34 fizzie: fizziello. anything wrong with zemhill? 12:03:19 -!- Patashu has quit (Ping timeout: 250 seconds). 12:07:19 -!- zemhill has quit (Remote host closed the connection). 12:07:31 -!- zemhill has joined. 12:11:32 -!- zemhill has quit (Remote host closed the connection). 12:11:43 -!- zemhill has joined. 12:15:43 -!- zemhill has quit (Remote host closed the connection). 12:15:54 -!- zemhill has joined. 12:19:54 -!- zemhill has quit (Remote host closed the connection). 12:20:07 -!- zemhill has joined. 12:24:07 -!- zemhill has quit (Remote host closed the connection). 12:24:18 -!- zemhill has joined. 12:28:18 -!- zemhill has quit (Remote host closed the connection). 12:28:30 -!- zemhill has joined. 12:30:35 Huh. 12:30:37 I don't know. 12:30:42 -!- zemhill has quit (Remote host closed the connection). 12:30:53 It did that thing again where it tries to keep sending JOIN #esoteric all the time. 12:31:04 Really? It seems to me that the answer is probably yes. 12:31:10 -!- zemhill has joined. 12:31:30 Restarting it fixed it the last time. Maybe a bug in the IRC library. 12:33:51 -!- boily has quit (Quit: IENTOASEMA CHICKEN). 12:45:38 -!- tromp has joined. 12:50:40 -!- tromp has quit (Ping timeout: 272 seconds). 13:05:28 Apparently nethack 3.60 was released 13:09:02 -!- Lord_of_Life has quit (Excess Flood). 13:12:36 -!- Lord_of_Life has joined. 13:13:58 -!- Lord_of_Life has quit (Changing host). 13:13:58 -!- Lord_of_Life has joined. 13:13:58 -!- Lord_of_Life has quit (Changing host). 13:13:58 -!- Lord_of_Life has joined. 13:17:32 -!- mroman has joined. 13:21:57 wooooooot 13:48:09 "We've migrated our internal source repository to Git, with plans of providing a publicly available "current maintenance version" in the future." 13:48:13 So different. 14:00:13 -!- FreeFull has quit (Quit: BBL). 14:01:41 They're basically making leaks official. Or introducing a more open-source development model, if you want to say it nicely. 14:07:35 <\oren\> olsner: I have Viscra cleanup Detail. I don't play it much tho 14:19:36 fnurd 14:19:44 The new operating system. 14:21:03 and it supports RNU 14:21:06 the rational numbers unit 14:25:39 what's the limit of 1 + (1 / (1 + (1 / (1 + 1)))) series? 14:27:00 mroman: (sqrt(5)+1)/2 14:27:17 so 14:27:19 golden ratio? 14:27:31 <\oren\> x = 1 + 1 / x => x^2 = x + 1 => x = (sqrt5+1)/2 14:27:39 [ >:@%^:(<_) 1 14:27:40 b_jonas: 1 2 1.5 1.66667 1.6 1.625 1.61538 1.61905 1.61765 1.61818 1.61798 1.61806 1.61803 1.61804 1.61803 1.61803 1.61803 1.61803 1.61803 1.61803 1.61803 1.61803 1.61803 1.61803 1.61803 1.61803 1.61803 1.61803 1.61803 1.61803 1.61803 1.61803 1.61803 14:28:53 Is there generally something known about n + (n / (n + (n / (n + n)))... 14:28:58 ? 14:29:46 mroman: isn't that just (n-1)+(sqrt(5)+1)/2 or something like that? 14:30:06 [ (7+7%])^:(<_) 1 14:30:07 b_jonas: 1 14 7.5 7.93333 7.88235 7.88806 7.88742 7.88749 7.88748 7.88748 7.88748 7.88748 7.88748 7.88748 7.88748 7.88748 14:30:16 [ 6 + %>:%:5 14:30:17 b_jonas: 6.30902 14:30:18 -!- hjulle has joined. 14:30:21 [ 6 + -:>:%:5 14:30:22 b_jonas: 7.61803 14:30:25 onpe 14:30:28 it's not 14:30:34 but still, it's something like that 14:30:59 <\oren\> you use the quadratic formula 14:33:11 <\oren\> x = n + n / x => x^2 - nx + n => x = (n +/- sqrt(n^2 - 4n))/(2) 14:33:53 <\oren\> I suppose you use the + for +/- in this case 14:34:39 n = 5 would be 5.854101966249685 14:35:02 <\oren\> x = n + n / x => x^2 - nx - n => x = (n +/- sqrt(n^2 + 4n))/(2) 14:35:16 <\oren\> did it slighly worng 14:35:57 well it approaches n 14:36:01 as it seems 14:36:05 <\oren\> yah that gives the right answer 14:36:16 (n+1) 14:36:20 not n, n+1 14:36:26 <\oren\> (n + sqrt(n^2+4n))/2 15:18:52 -!- hjulle has quit (Ping timeout: 272 seconds). 15:26:34 -!- AnotherTest has joined. 15:38:49 [wiki] [[Emoji]] N http://esolangs.org/w/index.php?oldid=45808 * 174.27.112.221 * (+1818) create page 16:02:11 -!- tromp has joined. 16:06:52 -!- tromp has quit (Ping timeout: 256 seconds). 16:14:42 -!- mtve has quit (Quit: Terminated with extreme prejudice - dircproxy 1.2.0). 16:20:01 -!- impomatic_ has changed nick to impomatic. 16:35:39 -!- ent0nces has joined. 16:41:17 -!- rmbeer has joined. 16:48:21 -!- jaboja64 has joined. 16:49:39 -!- jaboja has quit (Disconnected by services). 16:49:43 -!- jaboja64 has changed nick to jaboja. 16:55:08 -!- mroman has quit (Quit: Lost terminal). 16:57:33 -!- AnotherTest has quit (Ping timeout: 250 seconds). 17:05:50 -!- atrapado has joined. 17:08:31 -!- bb010g has quit (Quit: Connection closed for inactivity). 17:21:07 -!- bb010g has joined. 17:41:14 -!- ProofTechnique has joined. 17:50:52 -!- AnotherTest has joined. 17:53:24 -!- ProofTechnique has quit (Read error: Connection reset by peer). 18:05:06 -!- Phantom_Hoover has joined. 18:16:36 -!- MoALTz has joined. 18:16:46 -!- hppavilion[1] has joined. 18:18:20 -!- jaboja has quit (Ping timeout: 256 seconds). 18:21:01 -!- hppavilion[2] has joined. 18:22:18 -!- jaboja has joined. 18:24:00 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 18:29:43 -!- mauris has quit (Quit: Leaving). 18:30:05 -!- mauris has joined. 18:41:00 -!- AnotherTest has quit (Ping timeout: 256 seconds). 18:48:24 -!- rmbeer_ has joined. 18:48:24 -!- rmbeer has quit (Read error: Connection reset by peer). 18:54:16 -!- rmbeer_ has quit (Quit: rmbeer_). 19:22:46 -!- ent0nces has quit (Ping timeout: 240 seconds). 19:23:19 -!- ent0nces has joined. 19:24:35 -!- ent0nces_ has joined. 19:28:02 -!- ent0nces has quit (Ping timeout: 256 seconds). 19:30:59 -!- ent0nces has joined. 19:34:16 -!- ent0nces_ has quit (Ping timeout: 256 seconds). 19:38:32 -!- heroux has quit (Ping timeout: 272 seconds). 19:42:38 -!- heroux has joined. 19:43:20 -!- hppavilion[2] has quit (Ping timeout: 256 seconds). 19:45:00 [wiki] [[User:HYPotenuser]] N http://esolangs.org/w/index.php?oldid=45809 * HYPotenuser * (+413) Created page with "Quick dump of some of the esolang ideas I have. Some have been properly considered to varying degrees, others are just vague wisps. Let me know if any interest you. * Tonal ..." 19:45:35 -!- ent0nces_ has joined. 19:48:06 -!- ent0nces has quit (Ping timeout: 240 seconds). 19:49:42 [wiki] [[User:HYPotenuser]] http://esolangs.org/w/index.php?diff=45810&oldid=45809 * HYPotenuser * (+37) 19:49:59 -!- FreeFull has joined. 19:54:36 -!- hppavilion[2] has joined. 19:59:13 -!- jaboja64 has joined. 20:01:08 -!- ^v has joined. 20:03:01 -!- jaboja has quit (Ping timeout: 250 seconds). 20:09:12 -!- Patashu has joined. 20:14:09 -!- ent0nces has joined. 20:17:20 -!- ent0nces_ has quit (Ping timeout: 256 seconds). 20:18:46 -!- ent0nces_ has joined. 20:22:14 -!- ent0nces has quit (Ping timeout: 272 seconds). 20:37:18 -!- ent0nces has joined. 20:38:46 -!- Patashu has quit (Ping timeout: 240 seconds). 20:40:34 -!- ent0nces_ has quit (Ping timeout: 256 seconds). 20:53:06 E(E(m))(p) -> F(p, m) 20:53:14 ("The enemy of my enemy is my friend") 20:53:55 E returns a predicate that accepts a person and returns whether that person is another's enemy. I /think/ I got that right. 20:54:03 -!- ent0nces_ has joined. 20:54:29 \oren\: Is that logical statement valid, or did I get it wrong? I think I got it wrong because the inner E returns a predicate and E doesn't accept a predicate, AFAIK 20:56:39 How about... E(E(m), p) where m is me and E(x) is a list of x's enemies when single-argument and a predicate of whether all the people in its arguments are enemies of each other (if its argument is a list, then it tests for each pair) 20:56:45 -!- ent0nces has quit (Ping timeout: 250 seconds). 20:57:34 Comradic Logic 21:04:02 -!- impomatic has quit (Ping timeout: 272 seconds). 21:05:22 hppavilion[2]: why not E(n,m) & E(p,n) -> F(p, m) 21:05:34 int-e: Oh yeah. That. 21:07:47 int-e: Oh, mine means that p has to be the enemy of /all/ of p's enemies, or else it doesn't work, so... 21:07:57 I think 21:08:06 -!- hppavilion[2] has changed nick to hppavilion[1]. 21:12:39 -!- ent0nces has joined. 21:15:28 If magic doesn't exist, and friendship is magic... 21:15:42 -!- ent0nces_ has quit (Ping timeout: 256 seconds). 21:17:01 (!E(M)) & (F <-> M) -> !E(F) 21:17:42 E(F) therefor !E(M). Phew. 21:17:49 Wait, no 21:17:55 That doesn't work. I'm an idiot. 21:18:23 indeed 21:28:31 -!- bb010g has quit (Quit: Connection closed for inactivity). 21:34:16 If the enemy of your enemy is your friend, and you have three people that are all enemies towards each other, then they're all also friends with each other. 21:35:00 lol 21:35:55 it alwo works for any complete enemy graph greater than 2 21:39:03 fizzie: That's a paradox, and is thus forbidden in Comradic Logic. I suspect that, using the logic, you can prove that there can only be two sides in any argument. 21:39:40 which makes what you are trying to prove an axiom 21:50:23 -!- ent0nces_ has joined. 21:53:05 -!- ent0nces has quit (Ping timeout: 250 seconds). 22:03:23 -!- alienman has joined. 22:04:07 -!- ent0nces has joined. 22:04:55 -!- alienman has quit (Client Quit). 22:05:34 -!- atrapado has quit (Quit: Leaving). 22:06:42 -!- ent0nces_ has quit (Ping timeout: 256 seconds). 22:07:18 -!- atehwa has quit (Ping timeout: 260 seconds). 22:07:21 -!- J_Arcane_ has joined. 22:08:24 -!- J_Arcane has quit (Ping timeout: 256 seconds). 22:08:32 -!- J_Arcane_ has changed nick to J_Arcane. 22:13:29 -!- atehwa has joined. 22:15:12 -!- jaboja64 has quit (Ping timeout: 256 seconds). 22:17:02 -!- ent0nces_ has joined. 22:19:31 -!- ent0nces has quit (Ping timeout: 250 seconds). 22:24:16 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 22:47:16 -!- ^v has quit (Ping timeout: 272 seconds). 22:50:24 -!- hppavilion[1] has joined. 22:51:40 -!- ent0nces has joined. 22:54:18 -!- ent0nces_ has quit (Ping timeout: 256 seconds). 22:55:01 -!- ^v has joined. 22:57:59 `echo does this work? 22:58:12 does this work? 22:58:31 -!- ent0nces_ has joined. 23:01:07 -!- ent0nces has quit (Ping timeout: 250 seconds). 23:02:28 -!- ^v has quit (Ping timeout: 272 seconds). 23:07:45 -!- boily has joined. 23:10:23 @massages-loud 23:10:24 You don't have any messages 23:12:11 -!- Phantom_Hoover has quit (Remote host closed the connection). 23:13:59 -!- ^v has joined. 23:18:40 -!- ^v has quit (Ping timeout: 256 seconds). 23:19:29 -!- oerjan has joined. 23:19:48 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 23:23:18 hellørjan. 23:23:31 halloily. 23:25:05 -!- jaboja has joined. 23:28:18 -!- Phantom_Hoover has joined. 23:28:59 -!- ent0nces has joined. 23:30:25 `wisdom 23:30:28 braid theory/Braid theory is the extremely twisted theory of braids. 23:32:16 -!- ent0nces_ has quit (Ping timeout: 256 seconds). 23:53:47 -!- lleu has quit (Quit: That's what she said). 23:53:58 -!- hppavilion[1] has joined. 23:56:08 \oren\: he\\oren\. could you add 猿 please?