←2018-07-27 2018-07-28 2018-07-29→ ↑2018 ↑all
00:14:45 -!- oerjan has joined.
00:17:48 <oerjan> @metar ENVA
00:17:50 <lambdabot> ENVA 272350Z 11015KT CAVOK 26/15 Q1020 RMK WIND 670FT 13012KT
00:18:08 <oerjan> this is seriously unnatural for trondheim at midnight tdnh
00:19:58 <oerjan> it also means i cannot get the apartment cooled down properly before tomorrow starts heating it again :(
00:29:44 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
00:59:49 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
01:22:24 -!- nfd9001 has joined.
01:39:11 <esowiki> [[Talk:Stun Step]] https://esolangs.org/w/index.php?diff=57065&oldid=57060 * Oerjan * (+1086) /* Ideas for TC proof */ new section
01:44:47 <esowiki> [[Talk:Stun Step]] https://esolangs.org/w/index.php?diff=57066&oldid=57065 * Oerjan * (+383) /* Reversible Brainfuck */ Observation
02:39:31 -!- tromp has joined.
02:44:02 -!- tromp has quit (Ping timeout: 256 seconds).
03:40:21 <esowiki> [[Special:Log/newusers]] create * Hakerh400 * New user account
03:50:59 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=57067&oldid=57052 * Hakerh400 * (+142) /* Introductions */
04:01:39 <zzo38> How to determine in Linux if the current time is a leap second?
04:23:38 <imode> https://stackoverflow.com/questions/26202730/how-to-find-out-if-the-linux-kernel-will-insert-a-leap-second-at-the-end-of-the
04:24:10 <imode> zzo38: the above ought to solve your problem.
04:24:14 <imode> there's a flag that you can check.
04:25:37 -!- tromp has joined.
04:29:53 -!- tromp has quit (Ping timeout: 248 seconds).
04:44:04 <zzo38> I am concerned only about the current time when the program is running. However that suggests that you need NTP to figure out if there even is a leap second at all.
04:54:23 -!- XorSwap has joined.
04:58:33 <oerjan> . o O ( maybe the only way to check must take more than a second, so it's unsolvable )
05:00:05 <esowiki> [[Functional()]] N https://esolangs.org/w/index.php?oldid=57068 * Hakerh400 * (+10438) Added a new language: "Functional()"
05:03:12 -!- nfd9001 has quit (Quit: Leaving).
05:03:37 -!- nfd9001 has joined.
05:10:21 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=57069&oldid=57044 * Hakerh400 * (+19) Added "Functional()"
05:11:41 -!- XorSwap has quit (Ping timeout: 244 seconds).
05:14:18 <esowiki> [[Functional()]] M https://esolangs.org/w/index.php?diff=57070&oldid=57068 * Hakerh400 * (-1)
05:43:50 -!- oerjan has quit (Quit: Stupid heat).
06:11:13 -!- tromp has joined.
06:16:01 -!- tromp has quit (Ping timeout: 248 seconds).
06:42:26 -!- tromp has joined.
07:10:41 -!- tromp has quit (Remote host closed the connection).
07:13:20 -!- tromp has joined.
07:38:48 -!- spiegelau has joined.
07:54:16 <esowiki> [[]] https://esolangs.org/w/index.php?diff=57071&oldid=57011 * Fogity * (+773) Added turing completeness section.
08:20:23 <esowiki> [[Talk:]] N https://esolangs.org/w/index.php?oldid=57072 * Plokmijnuhby * (+225) Created page with "The fizzbuzz program uses in a way that is outside the specification, i.e. <name><definition> to define a variable. Is this intended behaviour? ~~~"
08:32:08 <esowiki> [[Talk:]] https://esolangs.org/w/index.php?diff=57073&oldid=57072 * Fogity * (+131)
08:33:40 -!- tromp has quit (Remote host closed the connection).
08:33:54 <esowiki> [[]] https://esolangs.org/w/index.php?diff=57074&oldid=57071 * Fogity * (+49) /* Language */ (clarified param count)
08:47:16 -!- tromp has joined.
08:48:06 -!- imode has quit (Quit: WeeChat 2.2).
08:52:29 -!- variable has joined.
09:12:15 -!- SopaXorzTaker has joined.
09:24:42 -!- trout has joined.
09:28:15 -!- variable has quit (Ping timeout: 265 seconds).
09:57:13 -!- variable has joined.
10:00:30 -!- trout has quit (Ping timeout: 260 seconds).
10:10:07 -!- tromp has quit (Remote host closed the connection).
10:28:33 -!- trout has joined.
10:32:03 -!- variable has quit (Ping timeout: 265 seconds).
10:33:10 -!- fungot has quit (Ping timeout: 276 seconds).
10:41:10 -!- tromp has joined.
10:54:58 -!- tromp has quit (Remote host closed the connection).
11:00:41 -!- variable has joined.
11:03:18 -!- tromp has joined.
11:04:23 -!- trout has quit (Ping timeout: 276 seconds).
11:32:04 -!- trout has joined.
11:35:14 -!- variable has quit (Ping timeout: 260 seconds).
11:58:25 -!- erkin has joined.
12:03:53 -!- variable has joined.
12:06:47 -!- trout has quit (Ping timeout: 265 seconds).
12:12:07 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=57075&oldid=57069 * GDavid * (-10)
12:33:49 -!- impomatic has joined.
12:34:27 -!- trout has joined.
12:37:46 -!- variable has quit (Ping timeout: 260 seconds).
12:44:56 -!- wob_jonas has joined.
12:45:19 <wob_jonas> zzo38: are you trying to make an esolang similar to http://esolangs.org/wiki/2014 ?
12:47:05 <wob_jonas> or are you merely in charge of precise timing for some delicate astronomy or physics or spacefaring project?
12:51:18 <wob_jonas> and yeah, looking into ntp demons is the right thing for this. the linux kernel serves timestamps either as unix epoches, which can't represent leap seconds, so they're faked by fuzzing time to go a bit slower during a longer period before,
12:51:31 -!- paul2520 has quit (Quit: WeeChat 1.2).
12:51:46 -!- paul2520 has joined.
12:51:46 -!- paul2520 has quit (Changing host).
12:51:46 -!- paul2520 has joined.
12:51:52 <wob_jonas> or monotone timestamps, which do go steadily even near leap seconds, but aren't anchored to UTC or anything other than an arbitrary point at bootup.
12:52:51 <wob_jonas> The ntp demon gets the precise time and up to date future leap second info from a GPS receiver or from some other ntp server on the network, and so it's what knows about leap seconds and handles all this.
12:54:29 <wob_jonas> Most linux programs don't care about precise *absolute* timekeeping, the approximate (to a second, in the fortunate case when ntp is working well and you have network connection, or to a minute otherwise if you set time by hand) calendar time and a precise but relative timekeeping is enough for them.
12:57:38 <wob_jonas> There's some kernel interface between ntp and the kernel where ntp can both set time and tell the kernel to slow down or speed up time a bit, which is used not only for leap seconds, but because the local clock can be inaccurate.
13:06:42 -!- variable has joined.
13:09:30 -!- trout has quit (Ping timeout: 256 seconds).
13:16:20 -!- Phantom_Hoover has joined.
13:18:56 <wob_jonas> s/local clock/local hardware clock/
13:22:37 -!- ikaros28 has quit (Quit: WeeChat 2.2).
13:24:41 <fizzie> Looks like there's still a little while to go before the AI singularity: https://zem.fi/tmp/ikea.png
13:28:34 -!- Vorpal has quit (Ping timeout: 260 seconds).
13:28:49 -!- AnotherTest has joined.
13:33:18 -!- Vorpal has joined.
13:33:18 -!- Vorpal has quit (Changing host).
13:33:18 -!- Vorpal has joined.
13:36:40 <int-e> . o O ( "you have made a simple door very happy today." )
13:37:59 -!- trout has joined.
13:40:46 -!- variable has quit (Ping timeout: 260 seconds).
13:41:11 -!- AnotherTest has quit (Ping timeout: 268 seconds).
13:42:25 <fizzie> int-e: Part 2 didn't go much better either: https://zem.fi/tmp/ikea2.png
13:48:06 <int-e> Heh it's not that this cannot happen with humans in a busy call center on the other end... but usually if you call again, you talk to a different person. With AI you'll have the same AI, over and over again... fun :)
13:55:35 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
13:56:36 <fizzie> I didn't really get a very comprehensive answer from the human webchat either, so I guess that's fair.
13:57:27 -!- spiegelau has quit (Ping timeout: 240 seconds).
14:00:02 -!- spiegelau has joined.
14:05:02 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net).
14:05:46 -!- Melvar has quit (Quit: thunderstorm).
14:09:10 -!- variable has joined.
14:12:56 -!- trout has quit (Ping timeout: 265 seconds).
14:33:35 -!- erkin has quit (Ping timeout: 240 seconds).
14:36:22 -!- mroman has joined.
14:36:42 <mroman> Taneb: http://mroman.ch/ESOSC/stds/ESOSC-2014-1/ANB.txt <- the assigned number blocks
14:36:59 <mroman> @tell nortti http://mroman.ch/ESOSC/stds/ESOSC-2014-1/ANB.txt <- the assigned number blocks.
14:36:59 <lambdabot> Consider it noted.
14:37:56 <mroman> also: http://esosc.mroman.ch/stds/ESOSC-2014-1/ESOSC-2014-1-2.html is still up for approval :)
14:38:01 <mroman> hasn't been formally approved yet
14:39:26 <mroman> unrevocable should probably spell irrevocable :)
14:41:01 -!- trout has joined.
14:43:46 -!- variable has quit (Ping timeout: 260 seconds).
15:03:25 <zzo38> It should be fixed so that plain text versions of all documents can be downloaded
15:03:41 <zzo38> wob_jonas: Astronomy
15:11:58 -!- spiegelau has quit (Quit: leaving).
15:12:40 -!- variable has joined.
15:15:46 -!- trout has quit (Ping timeout: 265 seconds).
15:41:15 <mroman> yeh I'm working on a markdown that supports that.
15:43:13 <mroman> but meh.
15:47:06 -!- trout has joined.
15:49:25 -!- variable has quit (Ping timeout: 245 seconds).
15:52:52 -!- hakatashi has quit (Remote host closed the connection).
15:53:14 -!- hakatashi has joined.
15:54:01 -!- Sgeo has joined.
15:56:05 -!- Sgeo_ has quit (Ping timeout: 240 seconds).
15:56:08 -!- Melvar has joined.
16:11:16 <mroman> you can just click "Save page as" *.txt in most browsers anyway.
16:15:00 <mroman> html is just more versatile
16:17:51 -!- variable has joined.
16:20:50 -!- trout has quit (Ping timeout: 260 seconds).
16:21:19 <zzo38> mroman: Still is not how I mean; I mean if you are using an external program to download it.
16:28:30 <mroman> yeh yeh
16:39:50 <int-e> just use lynx -dump :P
16:49:59 -!- trout has joined.
16:52:26 -!- variable has quit (Ping timeout: 265 seconds).
17:23:46 -!- variable has joined.
17:25:56 -!- trout has quit (Ping timeout: 255 seconds).
17:41:15 -!- tromp has quit (Remote host closed the connection).
17:41:47 -!- tromp has joined.
17:43:25 -!- tromp has quit (Remote host closed the connection).
17:43:37 -!- tromp has joined.
17:54:47 -!- trout has joined.
17:57:07 -!- tromp has quit (Remote host closed the connection).
17:57:54 -!- variable has quit (Ping timeout: 260 seconds).
18:26:01 -!- variable has joined.
18:26:20 <zzo38> I was writiing some ideas about Scientific Role Playing System. I have considered to not have any character definition points at all and instead you can just define it whatever you want to do, with a few restrictions. http://zzo38computer.org/fossil/scirps.ui/wiki?name=Notes/Pointless What are your opinion about such thing?
18:29:35 -!- trout has quit (Ping timeout: 265 seconds).
18:35:45 -!- S_Gautam has joined.
18:49:45 <esowiki> [[]] https://esolangs.org/w/index.php?diff=57076&oldid=57074 * Fogity * (+76) /* Example programs */ Added a palindrome program
18:58:05 -!- trout has joined.
19:00:24 -!- variable has quit (Ping timeout: 256 seconds).
19:05:44 -!- SopaXorzTaker has quit (Remote host closed the connection).
19:19:43 -!- trout has quit (Quit: /dev/null is full).
19:20:28 -!- variable has joined.
19:23:45 -!- nfd9001 has quit (Ping timeout: 264 seconds).
19:25:09 -!- variable has quit (Ping timeout: 260 seconds).
19:41:37 -!- variable has joined.
19:52:12 -!- tromp has joined.
20:04:03 -!- variable has quit (Quit: Found 1 in /dev/zero).
20:08:16 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
20:15:02 -!- imode has joined.
20:40:53 -!- tromp has quit (Remote host closed the connection).
20:41:20 -!- tromp has joined.
20:46:03 -!- mroman has quit (Ping timeout: 252 seconds).
20:48:25 -!- atslash has joined.
21:04:32 -!- erkin has joined.
21:09:31 -!- variable has joined.
21:16:21 -!- Phantom_Hoover has joined.
21:20:32 -!- lambdabot has quit (Remote host closed the connection).
21:33:00 -!- lambdabot has joined.
21:41:01 -!- trout has joined.
21:43:53 -!- variable has quit (Ping timeout: 265 seconds).
21:54:21 -!- wob_jonas has joined.
21:54:35 <wob_jonas> zzo38: nice. can you tell me a bit more?
21:56:34 <zzo38> About what?
21:58:54 <wob_jonas> About what kind of astronomy you're doing for which you need to get the sub-second precise calendar time on a linux computer.
21:59:51 <zzo38> So far I can just document that that function doesn't work during a leap second.
22:00:56 <zzo38> It is a SQLite extension to use Swiss Ephemeris. The JULIANDAY_UT1 and JULIANDAY_ET functions are similar to the built-in JULIANDAY function but use the algorithms from Swiss Ephemeris instead of those of SQLite (it also uses different arguments).
22:01:17 <zzo38> If the function is called with no arguments then the current date/time will be used, but it won't work properly during leap seconds.
22:01:25 <wob_jonas> zzo38: but with those, you usually want to compute values for any time, not the current time in particular
22:02:01 <wob_jonas> I mean, I don't just want to know the moon phase right now, I might want to know what the moon phase will be two days from now, and I don't need it at sub-second accuracy
22:02:03 <zzo38> Yes, I know, it isn't necessarily the current time you want. But if you specify no arguments then the current time is used
22:02:31 <wob_jonas> Will you publish this code by the way? I'll be a bit interested
22:02:54 <wob_jonas> Not specifically because I want to use them from SQLite, but as a good example for how to use some of Swiss Ephemeris
22:02:58 <zzo38> Yes it will be published
22:03:23 <wob_jonas> I'm only interested about the Sun, Moon and Venus though, not other planets.
22:04:32 <zzo38> That is fine, although it still computes for others too (since I think they are all in the same file anyways). If you do not have the ephemeris files it will still work, but it will not be as accurate as if you do have the files.
22:08:27 -!- tromp has quit (Ping timeout: 240 seconds).
22:13:47 -!- variable has joined.
22:16:30 -!- trout has quit (Ping timeout: 245 seconds).
22:16:39 <zzo38> I also wrote a library to use Swiss Ephemeris with Node.js, however it requires use of N-API, and might not be compatible with the latest version
22:17:29 <wob_jonas> Nice
22:45:05 -!- lambdabot has quit (Ping timeout: 268 seconds).
22:45:21 -!- trout has joined.
22:48:39 -!- variable has quit (Ping timeout: 265 seconds).
22:57:04 -!- lambdabot has joined.
23:11:54 <int-e> > 1
23:11:56 <lambdabot> 1
23:18:39 -!- variable has joined.
23:21:30 -!- trout has quit (Ping timeout: 256 seconds).
23:37:18 -!- atslash has quit (Quit: This computer has gone to sleep).
23:39:47 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
23:50:04 -!- trout has joined.
23:53:02 -!- variable has quit (Ping timeout: 260 seconds).
←2018-07-27 2018-07-28 2018-07-29→ ↑2018 ↑all