←2019-06-06 2019-06-07 2019-06-08→ ↑2019 ↑all
00:01:49 <shachaf> do you mean it as hostilely as i read it
00:02:06 <shachaf> or is it more of a defensive thing after being barraged with questions you don't care about, or something
00:03:12 <shachaf> 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 <shachaf> why am i even saying these things
00:04:51 <shachaf> especially in a publicly logged channel. bad idea.
00:06:14 <int-e> `quote indifference
00:06:14 <HackEso> 1320) <shachaf> int-e does not like this [...] <int-e> shachaf: I experience heightened levels of indifference :P <shachaf> Higher than your usual? <int-e> who cares?
00:17:05 <kmc> i didn't especially mean it to be hostile, but curt sure
00:17:10 <kmc> I am not in a terribly good mood
00:17:12 <kmc> and yes I do know that
00:17:20 <kmc> and it's why I've stopped trying to hang out with you
00:17:28 <kmc> because one of us ends up upsetting the other
00:17:40 <kmc> anyway i'm sorry i hurt you
00:17:55 <shachaf> that was ruder than i intended it on rereading
00:18:04 <kmc> it's amazing that i still have any friends at all
00:18:17 <shachaf> anyway this didn't hurt me or anything but i just don't know how to read what you say
00:19:19 <kmc> 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 <shachaf> also i wrote more words and then didn't send them because whatever
00:19:32 <kmc> today in therapy i cried a lot, more than i ever have in the past
00:19:56 <kmc> life's hard and it takes a lot of energy not to give up entirely
00:21:06 <kmc> 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 <kmc> not that i wouldn't want to be friends hypothetically but it doesn't seem to work very well?
00:21:54 <kmc> i'll miss you
00:21:59 <kmc> but there you go. life is sad
00:22:05 <kmc> what more is there to say
00:23:48 <kmc> I am not trying to be mean, just honest
00:23:55 <kmc> but if I upset you further then I'm sorry
00:25:08 <pikhq_> I don't think you're being mean or upsetting, you're just being upset.
00:25:16 <pikhq_> Which is unfortunate, because you deserve to be happy.
00:25:48 <kmc> so they say
00:27:09 <kmc> i mean really nobody deserves anything
00:27:09 <pikhq_> So I say.
00:27:13 <kmc> the universe is cold and uncaring
00:27:20 <pikhq_> But I am not.
00:29:48 <shachaf> kmc: based on past experience i don't think i should take what you're saying at face value
00:30:14 <kmc> I'm not really sure what that means
00:30:34 <kmc> i don't like it when people don't believe me when i'm describing my own feelings
00:30:46 <shachaf> hmm
00:30:49 <shachaf> that's not what i mean
00:32:28 <shachaf> 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 <kmc> not distancing from all people
00:37:26 <kmc> 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 <kmc> I only have so much energy each day to deal with interpersonal conflicts
00:37:41 <kmc> often none
00:37:58 <kmc> and you are somewhat inscrutable, which is something i love about you but also makes things hard sometimes
00:38:06 <kmc> i'm not sure I can do right by you as a friend at this point in time :(
00:39:42 <kmc> i don't know
00:39:49 <kmc> i've had an emotionally exhausting day and I also have to go now
00:40:39 <shachaf> my attempts to move the conversation out of this channel sure weren't successful
00:40:58 <pikhq_> Public logging is sometimes skow.
00:41:01 <pikhq_> scow
00:41:05 <pikhq_> Spelling hard
00:47:40 -!- iconmaster has joined.
00:49:11 <kmc> 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 <kmc> also I didn't get a PM
00:51:29 <shachaf> the attempts were mostly internal
00:51:36 <shachaf> obviously i said the wrong thing
01:01:01 <kmc> 11[6~[6~[5~[6~[6~I don't think that's obvious?
01:01:05 <kmc> whoops
01:01:17 <kmc> I guess some of the things you said might be.
01:01:21 <kmc> but whatever
01:02:18 <shachaf> ok
01:02:59 <kmc> I'm not really upset or anything
01:03:02 <kmc> it is what it is
01:07:07 <shachaf> i won't continue the conversation in here
01:07:19 <shachaf> and i get the feeling you don't want to continue it at all, and it's already painful
01:07:43 <shachaf> 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 <esowiki> [[Keg]] https://esolangs.org/w/index.php?diff=63147&oldid=62975 * A * (-1) /* Truth-machine */ Golfed it
02:36:19 <moony> i wonder if x86-64 without MOV (and without memory indexing operands) is TC
02:36:40 <moony> ..i already answered the question directly after asking
02:36:58 <moony> 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 <shachaf> 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 <esowiki> [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63148&oldid=61734 * A * (+238)
05:55:03 <esowiki> [[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 <esowiki> [[User:Salpynx]] M https://esolangs.org/w/index.php?diff=63150&oldid=63149 * Salpynx * (-9)
06:21:35 <esowiki> [[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 <b_jonas> 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 <b_jonas> or do you mean you can use MOV during initialization, and you're asking this after a sufficiently prepared state?
07:40:56 <moony> yea i mean without MOV already in x86-64 mode.
07:41:48 <int-e> b_jonas: so attach a memory-mapped tape device ;-)
07:42:12 <int-e> (Also, I don't see how things are any better with 2^64 bytes?)
07:42:26 <int-e> (Which the hardware doesn't support anyway.)
07:42:55 <b_jonas> 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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[Talk:Keg]] https://esolangs.org/w/index.php?diff=63154&oldid=63153 * JonoCode9374 * (+627)
09:44:12 -!- iconmaster has joined.
09:44:16 <esowiki> [[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 <esowiki> [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63156&oldid=63155 * A * (+75)
10:24:23 <esowiki> [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63157&oldid=63156 * A * (-1831) Clear the trivial "issue"
10:25:23 <esowiki> [[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 <esowiki> [[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 <esowiki> [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63160&oldid=63159 * A * (+3)
10:29:00 <esowiki> [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63161&oldid=63160 * A * (-2098) Blanked the page
10:29:39 <esowiki> [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63162&oldid=63161 * A * (+1756)
10:30:38 -!- AnotherTest has joined.
10:30:41 <esowiki> [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63163&oldid=63162 * A * (+239)
10:32:57 <esowiki> [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63164&oldid=63163 * A * (+144)
10:33:53 <esowiki> [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63165&oldid=63164 * A * (-2139) My brain malfunctions again... :(
10:37:21 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=63169&oldid=63145 * TuxCrafting * (+13) add virage
13:46:51 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[Talk:EnScript]] https://esolangs.org/w/index.php?diff=63173&oldid=63172 * A * (+0) /* Partial Interpreter */
14:19:12 <esowiki> [[Virage]] M https://esolangs.org/w/index.php?diff=63174&oldid=63171 * TuxCrafting * (+68)
14:30:10 <esowiki> [[Talk:Keg]] M https://esolangs.org/w/index.php?diff=63175&oldid=63167 * A * (-1371) Blanked the page
14:38:56 <wob_jonas> `olist 1166
14:38:56 <HackEso> olist 1166: shachaf oerjan Sgeo FireFly boily nortti b_jonas
15:13:05 <int-e> 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 <tswett[m]> Hey guys, I found a proof that the Goldbach conjecture has no counterexamples.
15:50:35 <tswett[m]> 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 <tswett[m]> Specifically, it's a function which takes a counterexample to the Goldbach conjecture, and returns an element of the empty set.
15:51:15 <tswett[m]> Without further ado, here it is:
15:51:39 <tswett[m]> proof n = case n of { }
15:52:37 <int-e> ... :-(
15:53:18 <int-e> Haskell isn't CoC.
15:54:52 <wob_jonas> tswett: can you prove that that function always terminates when its argument is a counterexample to the Goldbach conjecture?
15:55:12 <int-e> wob_jonas: it terminates
15:55:28 <int-e> > let proof n = case n of { } in proof 42
15:55:30 <lambdabot> *Exception: <interactive>:3:15-18: Non-exhaustive patterns in case
15:57:41 <wob_jonas> > let { proof n case n of {}; r = proof 186803990081254951360650807581609432561028064993598266574298369375826335316603; } in seq r "terminates"
15:57:43 <lambdabot> <hint>:1:15: error: parse error on input ‘case’
15:57:58 <wob_jonas> > let { proof n = case n of {}; r = proof 186803990081254951360650807581609432561028064993598266574298369375826335316603; } in seq r "terminates"
15:58:00 <lambdabot> "*Exception: <interactive>:3:17-20: Non-exhaustive patterns in case
15:58:34 <tswett[m]> wob_jonas: Just pass in any counterexample, and you'll see that it terminates.
15:59:30 <int-e> wob_jonas: that's an odd counterexample
15:59:35 <wob_jonas> 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 <wob_jonas> tswett[m]: also, I don't think that's how the Curry-Howard isomorphism works
16:00:41 <tswett[m]> I don't think it will take much time at all.
16:01:04 <wob_jonas> how? aren't there like infinitely many counterexamples?
16:01:24 <int-e> wob_jonas: the conjecture talks about even numbers
16:01:36 <wob_jonas> > let { proof n = case n of {}; r = proof 186803990081254951360650807581609432561028064993598266574298369375826335316602; } in seq r "terminates"
16:01:38 <lambdabot> "*Exception: <interactive>:3:17-20: Non-exhaustive patterns in case
16:01:46 <Taneb> Oh, I was thinking about the twin primes conjecture
16:01:47 <tswett[m]> Of course not. But I suppose there are infinitely many potential counterexamples.
16:02:18 <tswett[m]> And in order to test my function, I suppose you'd have to run through *all* potential counterexamples.
16:02:26 <wob_jonas> tswett[m]
16:02:28 <wob_jonas> : no
16:02:35 <wob_jonas> I only have to run it for the actual counterexamples
16:02:38 <int-e> 186803990081254951360650807581609432561028064993598266574298369375826335316602 = 149 + p
16:02:45 <wob_jonas> and I can test which numbers are counterexamples in advance
16:03:15 <wob_jonas> int-e: yeah, that one isn't a counterexample. nor is 42 I think.
16:03:31 <int-e> 42 = 5+37
16:03:49 <tswett[m]> Anyway, it's serious time.
16:04:00 <int-e> we have good reason to believe in the Goldbach conjecture. But we'll never prove it ;-)
16:05:01 <tswett[m]> 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 <arseniiv> 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 <int-e> arseniiv: ... one one side
18:04:57 <int-e> <span style="xkcd">My hobby: Combining several thematic jokes into one in order to make them more funny.</span>
18:06:04 <int-e> And I had not even seen today's xkcd!
18:07:38 <arseniiv> int-e: I think that is from another joke :)
18:07:56 <arseniiv> 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 <b_jonas> 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 <b_jonas> 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 <esowiki> [[Blockfunge]] https://esolangs.org/w/index.php?diff=63176&oldid=63146 * CraftSpider * (+13) All operators read stack top-down
22:27:40 <esowiki> [[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 <zzo38> 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 <esowiki> [[Talk:EnScript]] M https://esolangs.org/w/index.php?diff=63178&oldid=63173 * A * (+421)
←2019-06-06 2019-06-07 2019-06-08→ ↑2019 ↑all