00:08:05 -!- craigo has quit (Ping timeout: 265 seconds).
00:34:22 -!- t20kdc has quit (Remote host closed the connection).
01:30:10 -!- xelxebar has quit (Remote host closed the connection).
01:30:35 -!- xelxebar has joined.
01:49:33 -!- tromp has joined.
01:54:26 -!- b_jonas has quit (Remote host closed the connection).
01:54:45 -!- tromp has quit (Ping timeout: 272 seconds).
03:29:25 -!- ais523 has quit (Ping timeout: 240 seconds).
03:50:42 -!- tromp has joined.
03:55:43 -!- tromp has quit (Ping timeout: 272 seconds).
04:15:41 -!- spruit11 has quit (Quit: leaving).
04:22:39 -!- spruit11 has joined.
04:22:47 -!- Lord_of_Life_ has joined.
04:24:05 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
04:24:08 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
05:06:58 -!- adu has joined.
07:02:09 -!- adu has quit (Quit: adu).
07:16:29 -!- Sgeo has quit (Read error: Connection reset by peer).
07:24:03 -!- tromp has joined.
07:46:37 <Taneb> @tell ais523 Thanks, termcast was what I had in mind
07:53:12 <zzo38> Some cards in Magic: the Gathering are cantrip cards that say "draw a card"; a variant is "draw a card at the beginning of the next upkeep". Another variant I can think of is to write "the active player draws a card"
08:00:50 -!- kritixilithos has joined.
08:03:09 <Taneb> "Nominate a player to draw a card"?
08:09:04 -!- hendursaga has quit (Remote host closed the connection).
08:24:25 -!- hendursaga has joined.
08:42:03 -!- kritixilithos has quit (Ping timeout: 240 seconds).
08:49:18 -!- craigo has joined.
08:55:04 -!- imode has quit (Ping timeout: 256 seconds).
09:06:46 -!- t20kdc has joined.
09:06:52 <esowiki> [[Esolang:Sandbox]] https://esolangs.org/w/index.php?diff=76703&oldid=76216 * TwilightSparkle * (+5082) I'm way too lazy to translate these by myself. So I used Google Translate & in parvas oportet video.
09:08:04 <esowiki> [[Esolang:Sandbox]] https://esolangs.org/w/index.php?diff=76704&oldid=76703 * TwilightSparkle * (-6) /* ==== */
09:08:10 <Taneb> "Player must place a card face-down on the top of their deck"
09:09:54 -!- pikhq has quit (Read error: Connection reset by peer).
09:12:31 <myname> isn't that the opposite?
09:14:08 <myname> "place a card from the top of your deck into your hand"
09:15:38 -!- pikhq has joined.
10:11:06 -!- arseniiv has joined.
10:25:32 -!- hendursaga has quit (Remote host closed the connection).
10:32:10 -!- hendursaga has joined.
11:31:11 -!- kritixilithos has joined.
12:34:48 -!- kritixil1 has joined.
12:36:23 -!- kritixilithos has quit (Ping timeout: 240 seconds).
12:52:13 -!- kspalaiologos has joined.
12:54:23 <esowiki> [[User:Palaiologos]] M https://esolangs.org/w/index.php?diff=76705&oldid=76667 * Palaiologos * (+15) um8 note
13:08:17 <esowiki> [[Special:Log/newusers]] create * Kekcsi * New user account
13:15:34 <esowiki> [[Seed]] M https://esolangs.org/w/index.php?diff=76706&oldid=70706 * Palaiologos * (-7) adjust a deadlink
13:16:17 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=76707&oldid=76697 * Kekcsi * (+356) /* Introductions */
13:26:38 -!- wib_jonas has joined.
13:27:39 <wib_jonas> `ioccclist 2020-07-25 The winners of the 27th IOCCC have been announced. Congratulations!
13:27:43 <HackEso> ioccclist 2020-07-25 The winners of the 27th IOCCC have been announced. Congratulations! : b_jonas rain2 rain1
13:27:45 <wib_jonas> I totally missed this by like two weeks
13:30:12 <wib_jonas> this is the first year when someone had four winning entries, isn't it?
14:00:58 <rain1> I need to enter some time
14:01:02 <rain1> I just have no idea what to do for it
14:01:25 <rain1> winning entries will be posted soon?
14:03:43 -!- adu has joined.
14:07:40 <wib_jonas> rain1: "soon", i.e. 80% likely posted within a year
14:08:30 <Arcorann> Yusuke Endoh had four winning entries in 2015
14:08:54 <Arcorann> Page says mid-August for the winning entrries being posted
14:10:47 <wib_jonas> Arcorann: ah great, thanks, so that's not quite the first
14:14:42 <rain1> Lámatyávë (pl. lámatyáver) is a noun in Quenya which refers to phonaesthesia of the Elves. It means "sound-taste" and refers to individual pleasure in the sounds and forms of words.
14:26:48 -!- Sgeo has joined.
15:22:05 -!- craigo has quit (Ping timeout: 240 seconds).
15:31:46 -!- Arcorann has quit (Read error: Connection reset by peer).
15:58:09 -!- tromp has quit (Remote host closed the connection).
16:07:42 -!- kritixil1 has quit (Remote host closed the connection).
16:08:09 -!- kritixil1 has joined.
16:11:15 -!- tromp has joined.
16:23:59 -!- Lord_of_Life_ has joined.
16:25:54 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
16:26:49 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
16:53:35 -!- tromp has quit (Remote host closed the connection).
17:15:20 -!- tromp has joined.
17:37:36 -!- wib_jonas has quit (Quit: Connection closed).
17:41:38 -!- tromp has quit (Remote host closed the connection).
17:45:57 -!- craigo has joined.
17:58:21 <zzo38> Can you use lazy evaluation to make a probability of exactly the error function?
18:04:26 <int-e> hmm, what do you mean
18:06:15 -!- tromp has joined.
18:07:36 <int-e> You can take computable reals, make them probabilistic, and then ask whether you can implement a machine that produces outputs that are distributed as N(0,1).
18:08:19 <int-e> And the answer will be positive, yes you can do that. The details will probably(!) be tedious.
18:26:03 -!- kritixil1 has quit (Quit: quit).
18:42:47 -!- tromp has quit (Remote host closed the connection).
18:49:17 -!- adu has quit (Quit: adu).
18:51:01 <myname> anybody here plays one deck dungeon?
18:55:11 -!- tromp has joined.
18:56:53 -!- b_jonas has joined.
19:01:01 <b_jonas> int-e: and that might actually cause less problems than the typical things you want to do with computable numbers, because you won't run into a comparison problem where you have two numbers that are equal and you try to evaluate them more and more precisely to tell if the first one is less than the second
19:06:00 -!- tromp has quit (Remote host closed the connection).
19:20:37 -!- Cale has quit (Ping timeout: 264 seconds).
19:23:03 -!- Cale has joined.
19:23:39 -!- tromp has joined.
19:27:00 -!- imode has joined.
19:35:40 -!- kspalaiologos has quit (Quit: Leaving).
19:39:50 -!- tromp has quit (Remote host closed the connection).
19:56:20 -!- tromp has joined.
20:08:49 -!- tromp has quit (Remote host closed the connection).
20:28:14 -!- tromp has joined.
20:38:44 -!- tromp has quit (Remote host closed the connection).
20:55:46 -!- tromp has joined.
21:07:48 -!- tromp has quit (Remote host closed the connection).
21:47:13 -!- tromp has joined.
21:52:23 -!- tromp has quit (Ping timeout: 272 seconds).
22:20:37 -!- arseniiv has quit (Ping timeout: 264 seconds).
22:29:32 -!- tromp has joined.
22:34:11 -!- tromp has quit (Ping timeout: 272 seconds).
22:47:35 -!- tromp has joined.
22:48:27 <b_jonas> I wish Microsoft and the IANA together staged a coup where they announce as that they now effectively control timezone offsets in most of the non-islamic parts of the world, they declare themselves authoritive about future timezones, and politicians and local media are no longer allowed to change timezone rules without their permission, and they only give permission for rule changes announced at least
22:48:58 <b_jonas> They'd have to add a new time-dependent flag to the format about which timezones they claim to be ruling.
22:49:12 <b_jonas> to the format of the Olson's timezone database that is
22:51:36 <b_jonas> Maybe they'd need Google to join as well. I think they could convince everyone to believe the time of their smartphones and computers rather than whatever the politicians announce and possibly force news agencies to use.
22:52:20 <b_jonas> It might cause the usual temporary chaos with people confused about the timezone offset, but eventually the governments would give in.
22:53:28 <int-e> Realistically though, why should they take any interest in that.
22:55:41 <b_jonas> For the same reason as most techies want that, because it's annoying to have to treat every fucking government's whim as an urgent security update that has to be propagated to every device, sometimes faster than normal update schedules, including devices that have no reason to be connected to anything and wouldn't normally need updates.
22:55:52 <int-e> On the server side you just use a smoothened version of UTC. And you update type zones with your monthly update for clients.
22:55:59 <b_jonas> Because we want to be able to plan future events and announce them in localtimes.
22:56:24 <int-e> It's basically a solved problem.
22:56:25 <b_jonas> Or adjust to plans by typical people who define their times in a localtime.
22:56:29 <b_jonas> It's not a solved problem.
22:57:39 <int-e> For a big tech company? I think the two things I said solve it for them, or reduce it to a nuisance.
22:58:35 <esowiki> [[Unary Except Every Zero Is Replaced with the Title of This Programming Language or, Alternately, Is Replaced with the Smallest Counter-Example to the Goldbach Conjecture. Compilers and Interpreters Only Have to Implement the Former Option]] M https://esolangs.org/w/index.php?diff=76708&oldid=52676 * LegionMammal978 * (+1) /* Implementations */ fixed interpreter
23:00:10 <int-e> Oh great, a second order Brainfuck derivative.
23:01:14 -!- tromp has quit (Remote host closed the connection).
23:01:32 -!- Arcorann has joined.
23:02:07 -!- Arcorann has quit (Remote host closed the connection).
23:02:31 -!- Arcorann has joined.
23:03:30 <Cale> b_jonas: That, but timezones are abolished
23:05:11 <b_jonas> Cale: I don't think that's a good idea, and even if you really wanted that, do that with the 20 years (or more) of notice
23:05:53 <int-e> But it is what you do right now by using UTC and smoothing over leap seconds.
23:06:32 <Cale> The worst that will happen is that some schedules will be slightly harder to express, since they will change time based on the date.
23:07:29 <esowiki> [[Unary Except Every Zero Is Replaced with the Title of This Programming Language or, Alternately, Is Replaced with the Smallest Counter-Example to the Goldbach Conjecture. Compilers and Interpreters Only Have to Implement the Former Option]] M https://esolangs.org/w/index.php?diff=76709&oldid=76708 * LegionMammal978 * (+0) /* Implementations */ wait no I'm stupid
23:07:30 <Cale> But that's just for those people who actually give a shit about exactly where the sun is in the sky during whatever it is they're doing.
23:10:40 <int-e> The worst affected by time zones are real people (because of DST changes and having schedules tight to the resulting clock, resulting in a biannual jetlag), followed by travel companies (airlines, railways).
23:10:45 <esowiki> [[Unary Except Every Zero Is Replaced with the Title of This Programming Language or, Alternately, Is Replaced with the Smallest Counter-Example to the Goldbach Conjecture. Compilers and Interpreters Only Have to Implement the Former Option]] M https://esolangs.org/w/index.php?diff=76710&oldid=76709 * LegionMammal978 * (-216) testing in production is fun!
23:14:19 <zzo38> I think that DST should be abolished.
23:15:08 <int-e> tight -> tied (ouch)
23:18:27 <zzo38> (Either permanently 1 hour ahead or permanently not 1 hour ahead; I would prefer the latter, but would also accept the former. I am not the only one. Even people that want to abolish DST some prefer one hour ahead and some not, though.)
23:22:11 <b_jonas> The collaboration of Google is probably not needed, only that of IANA and Microsoft.
23:22:42 <b_jonas> well, at least I think so. I can't be sure they won't start a fork out of it.
23:22:49 <zzo38> I suppose not everyone would use Microsoft and IANA for planning events anyways, though, and not everyone can announce changes twenty years in advance. Not everyone will use smartphones or computers either. But, CBC has a national official time signal on the radio, so you can still have that. (But, if you need accurate timekeeping then probably you will have a computer machine, too.)
23:25:08 <zzo38> But, I would want that even if you use a sundial you can get close enough (if the weather is OK, and accurate timekeeping isn't needed).
23:27:18 <esowiki> [[Special:Log/newusers]] create * Asra * New user account
23:28:36 <zzo38> Do you like sun dial?
23:29:04 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=76711&oldid=76707 * Asra * (+64) /* Introductions */
23:30:35 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=76712&oldid=76711 * Asra * (+73) /* Introductions */
23:32:58 <esowiki> [[Special:Log/newusers]] create * Mattisfond * New user account
23:34:49 <esowiki> [[Special:Log/newusers]] create * JCG * New user account
23:37:41 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=76713&oldid=76712 * JCG * (+115) Added myself, John Griffin.
23:39:43 <esowiki> [[User talk:Asra]] N https://esolangs.org/w/index.php?oldid=76714 * Asra * (+14) Created page with "this is a test"
23:40:03 <esowiki> [[User talk:Asra]] https://esolangs.org/w/index.php?diff=76715&oldid=76714 * Asra * (+23) /* wait what */ new section
23:43:20 <esowiki> [[Brainfuck]] https://esolangs.org/w/index.php?diff=76716&oldid=75353 * JCG * (+126)
23:56:30 <esowiki> [[Faces]] N https://esolangs.org/w/index.php?oldid=76717 * Asra * (+1463) Created page with "Face is a programming language that is made up of entirely faces, there are 16 faces in total and are used as commands and arguments or seperators. There is also one value int..."
23:57:13 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=76718&oldid=76691 * Asra * (+12) /* F */
23:57:15 -!- t20kdc has quit (Remote host closed the connection).
23:58:00 <esowiki> [[Faces]] M https://esolangs.org/w/index.php?diff=76719&oldid=76717 * Asra * (+0)