00:01:49 do you mean it as hostilely as i read it 00:02:06 or is it more of a defensive thing after being barraged with questions you don't care about, or something 00:03:12 is it a thing you're aware of that sometimes you do things that make people sad at seemingly no benefit to you 00:03:55 why am i even saying these things 00:04:51 especially in a publicly logged channel. bad idea. 00:06:14 `quote indifference 00:06:14 1320) int-e does not like this [...] shachaf: I experience heightened levels of indifference :P Higher than your usual? who cares? 00:17:05 i didn't especially mean it to be hostile, but curt sure 00:17:10 I am not in a terribly good mood 00:17:12 and yes I do know that 00:17:20 and it's why I've stopped trying to hang out with you 00:17:28 because one of us ends up upsetting the other 00:17:40 anyway i'm sorry i hurt you 00:17:55 that was ruder than i intended it on rereading 00:18:04 it's amazing that i still have any friends at all 00:18:17 anyway this didn't hurt me or anything but i just don't know how to read what you say 00:19:19 the fact that i hurt people with seemingly no benefit is not unrelated to the fact that i'm spending a lot of time and money on therapy and things like that 00:19:22 also i wrote more words and then didn't send them because whatever 00:19:32 today in therapy i cried a lot, more than i ever have in the past 00:19:56 life's hard and it takes a lot of energy not to give up entirely 00:21:06 honestly i'm not sure why you still want to talk to me, it's definitely not something i am pushing for 00:21:20 not that i wouldn't want to be friends hypothetically but it doesn't seem to work very well? 00:21:54 i'll miss you 00:21:59 but there you go. life is sad 00:22:05 what more is there to say 00:23:48 I am not trying to be mean, just honest 00:23:55 but if I upset you further then I'm sorry 00:25:08 I don't think you're being mean or upsetting, you're just being upset. 00:25:16 Which is unfortunate, because you deserve to be happy. 00:25:48 so they say 00:27:09 i mean really nobody deserves anything 00:27:09 So I say. 00:27:13 the universe is cold and uncaring 00:27:20 But I am not. 00:29:48 kmc: based on past experience i don't think i should take what you're saying at face value 00:30:14 I'm not really sure what that means 00:30:34 i don't like it when people don't believe me when i'm describing my own feelings 00:30:46 hmm 00:30:49 that's not what i mean 00:32:28 i think your feelings are what you say but your suggested remedy/assessment of the situation that distancing people from you would be the best thing to do may be more a way of expressing them than actually what you think is best 00:34:43 not distancing from all people 00:37:26 I don't know a way to say this that doesn't sound dickish but I have to prioritize maintaining my relationships, such as with my wife 00:37:40 I only have so much energy each day to deal with interpersonal conflicts 00:37:41 often none 00:37:58 and you are somewhat inscrutable, which is something i love about you but also makes things hard sometimes 00:38:06 i'm not sure I can do right by you as a friend at this point in time :( 00:39:42 i don't know 00:39:49 i've had an emotionally exhausting day and I also have to go now 00:40:39 my attempts to move the conversation out of this channel sure weren't successful 00:40:58 Public logging is sometimes skow. 00:41:01 scow 00:41:05 Spelling hard 00:47:40 -!- iconmaster has joined. 00:49:11 maybe you can just give me space instead of asking if I'm aware that I'm a broken person when I clearly already am 00:49:16 also I didn't get a PM 00:51:29 the attempts were mostly internal 00:51:36 obviously i said the wrong thing 01:01:01 11[6~[6~[5~[6~[6~I don't think that's obvious? 01:01:05 whoops 01:01:17 I guess some of the things you said might be. 01:01:21 but whatever 01:02:18 ok 01:02:59 I'm not really upset or anything 01:03:02 it is what it is 01:07:07 i won't continue the conversation in here 01:07:19 and i get the feeling you don't want to continue it at all, and it's already painful 01:07:43 so i guess i'll go with whatever 01:44:59 -!- iconmaster has quit (Ping timeout: 248 seconds). 02:08:59 -!- Lord_of_Life has quit (Ping timeout: 248 seconds). 02:11:59 -!- Lord_of_Life has joined. 02:19:27 -!- FreeFull has quit. 02:33:08 [[Keg]] https://esolangs.org/w/index.php?diff=63147&oldid=62975 * A * (-1) /* Truth-machine */ Golfed it 02:36:19 i wonder if x86-64 without MOV (and without memory indexing operands) is TC 02:36:40 ..i already answered the question directly after asking 02:36:58 it is, because you can modify ESP and push/pop to modify the values at ESP 02:58:33 -!- adu has joined. 03:07:00 Am I inscrutable? 03:15:30 -!- MDead has joined. 03:16:46 -!- MDude has quit (Ping timeout: 272 seconds). 03:16:54 -!- MDead has changed nick to MDude. 04:48:00 -!- S_Gautam has joined. 05:53:08 [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63148&oldid=61734 * A * (+238) 05:55:03 [[User:Salpynx]] M https://esolangs.org/w/index.php?diff=63149&oldid=62970 * Salpynx * (+43) link to the wayback template so I can find the format guide quickly 05:55:27 [[User:Salpynx]] M https://esolangs.org/w/index.php?diff=63150&oldid=63149 * Salpynx * (-9) 06:21:35 [[Waduzitdo]] https://esolangs.org/w/index.php?diff=63151&oldid=25345 * Salpynx * (+282) /* External resources */ Link to scan of original BYTE article, and archive of 2001 geocites page 06:37:02 -!- lifthrasiir has quit (Remote host closed the connection). 06:38:17 -!- lifthrasiir has joined. 07:32:53 moony: it's not, because without MOV you can't change to protected mode, and so you're stuck with a 2**32 byte sized memory 07:33:49 or do you mean you can use MOV during initialization, and you're asking this after a sufficiently prepared state? 07:40:56 yea i mean without MOV already in x86-64 mode. 07:41:48 b_jonas: so attach a memory-mapped tape device ;-) 07:42:12 (Also, I don't see how things are any better with 2^64 bytes?) 07:42:26 (Which the hardware doesn't support anyway.) 07:42:55 int-e: or one of those things that let 32-bit mode access more than 2**32 memory by translating the address after the page translation. I think some x86 cpus had that built in back in the 32-bit era. 08:10:36 -!- Phantom_Hoover has joined. 08:36:48 -!- MDead has joined. 08:36:51 -!- b_jonas has quit (Quit: leaving). 08:37:13 [[Talk:Keg]] https://esolangs.org/w/index.php?diff=63152&oldid=63148 * JonoCode9374 * (+303) 08:37:52 -!- MDude has quit (Ping timeout: 248 seconds). 08:37:54 -!- MDead has changed nick to MDude. 08:43:06 [[Talk:Keg]] https://esolangs.org/w/index.php?diff=63153&oldid=63152 * JonoCode9374 * (+494) 09:13:41 -!- adu has quit (Quit: adu). 09:43:53 [[Talk:Keg]] https://esolangs.org/w/index.php?diff=63154&oldid=63153 * JonoCode9374 * (+627) 09:44:12 -!- iconmaster has joined. 09:44:16 [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63155&oldid=63154 * JonoCode9374 * (+94) EXTREMELY MINOR: Added signature to last edit. 10:23:55 [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63156&oldid=63155 * A * (+75) 10:24:23 [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63157&oldid=63156 * A * (-1831) Clear the trivial "issue" 10:25:23 [[Talk:Keg]] https://esolangs.org/w/index.php?diff=63158&oldid=63157 * A * (+1831) Undo revision 63157 by [[Special:Contributions/A|A]] ([[User talk:A|talk]]): I was referring to the wrong command! 10:26:23 -!- unlimiter has joined. 10:27:30 [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63159&oldid=63158 * A * (+264) 10:27:44 -!- unlimiter has quit (Client Quit). 10:28:47 [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63160&oldid=63159 * A * (+3) 10:29:00 [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63161&oldid=63160 * A * (-2098) Blanked the page 10:29:39 [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63162&oldid=63161 * A * (+1756) 10:30:38 -!- AnotherTest has joined. 10:30:41 [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63163&oldid=63162 * A * (+239) 10:32:57 [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63164&oldid=63163 * A * (+144) 10:33:53 [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63165&oldid=63164 * A * (-2139) My brain malfunctions again... :( 10:37:21 [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63166&oldid=63165 * A * (+1024) 10:46:00 -!- iconmaster has quit (Ping timeout: 252 seconds). 11:05:35 -!- MDead has joined. 11:06:40 -!- MDude has quit (Ping timeout: 248 seconds). 11:06:41 -!- MDead has changed nick to MDude. 11:17:36 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 11:22:38 -!- wob_jonas has joined. 12:06:14 -!- aloril_ has quit (Ping timeout: 244 seconds). 12:07:58 -!- aloril_ has joined. 12:21:52 [[Talk:Keg]] https://esolangs.org/w/index.php?diff=63167&oldid=63166 * JonoCode9374 * (+347) /* Issue on functions */ 12:35:14 -!- wob_jonas has set topic: IOCCC winners are announced; source code release planned soon | Welcome to the international center for esoteric programming language design, development, and deployment! | https://esolangs.org | logs: https://esolangs.org/logs/ http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 13:41:41 [[Virage]] N https://esolangs.org/w/index.php?oldid=63168 * TuxCrafting * (+12775) Created page with "Virage (meaning "turn" in French) is an esoteric programming language created by [[User:TuxCrafting]] where the source code is a graph. = Structure = A Virage prog..." 13:46:30 [[Language list]] https://esolangs.org/w/index.php?diff=63169&oldid=63145 * TuxCrafting * (+13) add virage 13:46:51 [[User:TuxCrafting]] https://esolangs.org/w/index.php?diff=63170&oldid=62854 * TuxCrafting * (+13) add virage here too 13:50:56 -!- arseniiv has joined. 14:08:49 [[Virage]] M https://esolangs.org/w/index.php?diff=63171&oldid=63168 * TuxCrafting * (+18) non-semantic change because mediawiki eats empty lines 14:10:51 -!- Lord_of_Life_ has joined. 14:12:00 [[Talk:EnScript]] https://esolangs.org/w/index.php?diff=63172&oldid=63138 * A * (+89) /* Partial Interpreter */ 14:12:16 -!- Lord_of_Life has quit (Ping timeout: 272 seconds). 14:12:16 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 14:12:50 [[Talk:EnScript]] https://esolangs.org/w/index.php?diff=63173&oldid=63172 * A * (+0) /* Partial Interpreter */ 14:19:12 [[Virage]] M https://esolangs.org/w/index.php?diff=63174&oldid=63171 * TuxCrafting * (+68) 14:30:10 [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63175&oldid=63167 * A * (-1371) Blanked the page 14:38:56 `olist 1166 14:38:56 olist 1166: shachaf oerjan Sgeo FireFly boily nortti b_jonas 15:13:05 Krosp has such a tender heart... oh never mind, it was just a moment of weakness. 15:43:28 -!- MDude has quit (Ping timeout: 248 seconds). 15:50:08 Hey guys, I found a proof that the Goldbach conjecture has no counterexamples. 15:50:35 As we all know, proofs are programs. It's the Curry–Howard isomorphism. So, I will write my proof in the form of a Haskell function. 15:51:05 Specifically, it's a function which takes a counterexample to the Goldbach conjecture, and returns an element of the empty set. 15:51:15 Without further ado, here it is: 15:51:39 proof n = case n of { } 15:52:37 ... :-( 15:53:18 Haskell isn't CoC. 15:54:52 tswett: can you prove that that function always terminates when its argument is a counterexample to the Goldbach conjecture? 15:55:12 wob_jonas: it terminates 15:55:28 > let proof n = case n of { } in proof 42 15:55:30 *Exception: :3:15-18: Non-exhaustive patterns in case 15:57:41 > let { proof n case n of {}; r = proof 186803990081254951360650807581609432561028064993598266574298369375826335316603; } in seq r "terminates" 15:57:43 :1:15: error: parse error on input ‘case’ 15:57:58 > let { proof n = case n of {}; r = proof 186803990081254951360650807581609432561028064993598266574298369375826335316603; } in seq r "terminates" 15:58:00 "*Exception: :3:17-20: Non-exhaustive patterns in case 15:58:34 wob_jonas: Just pass in any counterexample, and you'll see that it terminates. 15:59:30 wob_jonas: that's an odd counterexample 15:59:35 tswett[m]: that's not enough. I'd have to test for all counterexamples, not just one, and I don't have that much time 15:59:45 -!- Melvar has quit (Quit: thunderstorm). 16:00:21 tswett[m]: also, I don't think that's how the Curry-Howard isomorphism works 16:00:41 I don't think it will take much time at all. 16:01:04 how? aren't there like infinitely many counterexamples? 16:01:24 wob_jonas: the conjecture talks about even numbers 16:01:36 > let { proof n = case n of {}; r = proof 186803990081254951360650807581609432561028064993598266574298369375826335316602; } in seq r "terminates" 16:01:38 "*Exception: :3:17-20: Non-exhaustive patterns in case 16:01:46 Oh, I was thinking about the twin primes conjecture 16:01:47 Of course not. But I suppose there are infinitely many potential counterexamples. 16:02:18 And in order to test my function, I suppose you'd have to run through *all* potential counterexamples. 16:02:26 tswett[m] 16:02:28 : no 16:02:35 I only have to run it for the actual counterexamples 16:02:38 186803990081254951360650807581609432561028064993598266574298369375826335316602 = 149 + p 16:02:45 and I can test which numbers are counterexamples in advance 16:03:15 int-e: yeah, that one isn't a counterexample. nor is 42 I think. 16:03:31 42 = 5+37 16:03:49 Anyway, it's serious time. 16:04:00 we have good reason to believe in the Goldbach conjecture. But we'll never prove it ;-) 16:05:01 Clearly, proving that a set A is empty, by purportedly giving a list of all of its elements, and pointing out that your own list is empty, isn't very satisfactory. :D 16:05:08 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 16:05:28 -!- AnotherTest has joined. 16:09:34 -!- wob_jonas has left. 16:46:13 -!- MDude has joined. 16:48:00 -!- Melvar has joined. 16:52:16 -!- Melvar has quit (Ping timeout: 248 seconds). 16:55:10 -!- Melvar has joined. 17:26:50 -!- tromp has quit (Remote host closed the connection). 17:28:47 tswett[m]: looks a lot like a proof that all horses are the same color :D 17:45:52 -!- b_jonas has joined. 17:50:26 -!- tromp has joined. 17:54:05 -!- FreeFull has joined. 18:03:24 arseniiv: ... one one side 18:04:57 My hobby: Combining several thematic jokes into one in order to make them more funny. 18:06:04 And I had not even seen today's xkcd! 18:07:38 int-e: I think that is from another joke :) 18:07:56 ah, yes 18:45:24 -!- FreeFull has quit. 19:10:09 -!- FreeFull has joined. 19:32:44 -!- arseniiv has quit (Ping timeout: 272 seconds). 20:10:27 -!- nfd has quit (Read error: Connection reset by peer). 20:12:17 hehe, encoding audio to flac is so unexpectedly fast that I interrupted the process because I assumed there was some silent error 20:26:49 it helped that the first few tracks to encode were short 20:36:41 -!- atslash has quit (Quit: This computer has gone to sleep). 20:50:03 -!- AnotherTest has quit (Ping timeout: 248 seconds). 22:12:52 -!- iconmaster has joined. 22:14:16 [[Blockfunge]] https://esolangs.org/w/index.php?diff=63176&oldid=63146 * CraftSpider * (+13) All operators read stack top-down 22:27:40 [[Blockfunge]] M https://esolangs.org/w/index.php?diff=63177&oldid=63176 * CraftSpider * (+178) Clarify current interpreter limitations 22:44:32 -!- iconmaster has quit (Quit: Leaving). 22:52:17 I looked at the document for designing the bit manipulation instructions of RISC-V. I would want the SADD and MOR instructions of MMIX, and we can do without the others (other than what the core already has, such as bitwise AND, and so on). 23:17:45 -!- iconmaster has joined. 23:21:48 [[Talk:EnScript]] M https://esolangs.org/w/index.php?diff=63178&oldid=63173 * A * (+421)