00:00:20 <ais523> actually time.gov jumped two seconds backwards at the leap second for some reason
00:00:22 -!- Sgeo has quit (Ping timeout: 267 seconds).
00:00:22 <ais523> then did :59 and :60 again
00:00:26 <ais523> I bet that was a leap second anomaly
00:00:27 <fizzie> Thanks for the time.gov tip, I used that as well.
00:00:32 <fizzie> Yeah, it was a little stuttery.
00:01:02 <ais523> at least there have been sufficiently many leap seconds in the past that the anomalies tend not to be too earthbreaking at this point
00:01:07 <ais523> happy new year everyone
00:01:16 <fizzie> BBC stream just started a 60-second countdown for me.
00:01:25 <fizzie> I don't think they'll be mentioning the leap second. :/
00:01:27 <ais523> they're running a bit slow then :-P
00:01:34 <fizzie> Well, that's probably just the stream.
00:01:44 <int-e> 2 minutes buffering delays, impressive
00:07:31 <ais523> fizzie: so what was the stream like?
00:07:57 <fizzie> Well, I mean. There was a Robbie Williams concert going on, and now there's the fireworks show near London Eye.
00:08:52 -!- Sgeo has joined.
00:08:58 <oerjan> `learn The password of the month is AАΑAАΑAАΑAАΑAАΑ
00:09:08 <HackEgo> Relearned 'password': The password of the month is AАΑAАΑAАΑAАΑAАΑ
00:09:33 <lambdabot> Local time for oerjan is Sun Jan 1 01:09:32 2017
00:09:43 <fizzie> I think I heard somewhere the US nuclear launch code password whatever was 0000 0000 for a decade or two earlier.
00:10:16 <oerjan> shachaf: the password month changes at UTC hth
00:10:44 <ais523> fizzie: basically they were forced to place password protection on them by an outside request but felt it'd slow down the launch and that their other protections were sufficient
00:10:47 <shachaf> doesn't it usually change whenever you remember, maybe a few days later?
00:10:52 <ais523> so the passwords were set to all-zeroes as a kind of protest
00:11:09 <ais523> oerjan: what does the password of the month actually do?
00:11:27 <shachaf> it's a kind of protest hth
00:11:32 <pikhq> fizzie: 100% accurate.
00:12:01 <pikhq> Though if you were in a position to use that password you were in a position to probably force whoever knew the password to divulge it *anyways*.
00:12:32 <zzo38> Can the command to make the missile not receive commands remotely be sent to it remotely?
00:12:56 <ais523> right, the point is that the password wasn't sufficient *by itself* and the other restrictions were probably more important
00:13:30 <ais523> and I guess all-zeroes has the advantage that if you *were* forced to divulge it, you might not be believed
00:14:08 <zzo38> Maybe you won't be believed, but someone may try it even if they do not believe you, to see whether or not it is valid.
00:14:40 <pikhq> zzo38: Remote ordering a launch is done in the US by transmitting a command to actual human beings who have physical access to the launch facilities.
00:15:01 <pikhq> i.e. there is quite literally no actual networked means of doing it.
00:15:41 <pikhq> Which IMO is probably sensible.
00:16:01 <zzo38> I read in 2600 that it can receive commands remotely, but that there is a command which can stop it from that function, but eventually that command will expire.
00:16:35 <zzo38> Of course knowing the password is not good enough anyways; you would also need to know the frequency and the protocol.
00:17:12 <pikhq> And I would *strongly* suspect this would be a cryptographically secure protocol.
00:17:46 <zzo38> Yes, I would also expect so.
00:21:29 <zzo38> They said that apparently the people whose job it is to issue the command to stop receiving commands remotely do not do their job properly, and instead will try to issue that command only one second before the previous such command expires, instead of issuing the command an hour in advance which it should be done.
00:23:35 <zzo38> But I do not actually know much about how the missiles are working. Do you know much about it though?
00:24:29 <ais523> I expect most of the details are intentionally secret
00:24:35 <ais523> I've never really tried to determine them because of that
00:24:48 <ais523> and also because there are a number of other things I'd rather be interested in
00:26:24 <zzo38> Many of the details (including the frequency) are secret, yes, although there was a series of articles in 2600 mentioning a few things about it.
00:27:08 <zzo38> Although they do have other articles about other stuff too, and there always are some interesting articles and/or letters.
00:37:28 -!- erdic has quit (Ping timeout: 258 seconds).
00:40:38 -!- erdic has joined.
00:45:53 <zzo38> Epic Fail {UU} Instant ;; Epic
00:49:53 -!- hppavilion[1] has joined.
00:54:33 <int-e> hmm, the existing epic cards don't look very good
00:57:25 <zzo38> It is a joke card. It isn't very good either
00:58:20 <shachaf> whoa whoa whoa, I hadn't seen Eternal Dominion
01:05:36 <int-e> maybe I'm underestimating the number of ways to play sorceries without paying their full mana cost
01:06:21 <zzo38> Which ways did you see so far?
01:06:43 <int-e> I don't really know.
01:07:02 <boily> there's convoke and cascade...
01:09:34 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
01:11:45 <int-e> The thing is I don't really know Mt:G cards.
01:38:43 -!- astoxenous has joined.
01:39:54 <boily> `relcome astoxenous
01:39:57 <HackEgo> astoxenous: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
01:40:20 <astoxenous> The existance of a max cell value in brainfuck is not necessary to turing completeness right?
01:41:44 <oerjan> quite the opposite, with no max you need only 3 cells.
01:42:12 <oerjan> with a max you need infinitely many cells.
01:42:30 <oerjan> (although the max can be just 1)
01:44:08 <astoxenous> I was just trying to reduce my esolang to bf to prove turing completeness. and I found that the lack of a max cell value to be the only difference.
01:45:25 <boily> three shalt be the number thou shalt count to.
01:45:35 <oerjan> see https://esolangs.org/wiki/Collatz_function
01:46:47 <shachaf> oerjan: is there a variant that requires uncountably many cells twh
01:49:00 <oerjan> i keep forgetting whether we've conclusively proved 2 isn't enough.
01:55:44 <hppavilion[1]> shachaf: Does having uncountably many cells actually make sense? (pleasesayyespleasesayyespleasesayyespleasesayjes)
01:57:20 <shachaf> In constructive logic, a subset of a finite set isn't necessarily finite.
01:57:34 <shachaf> In fact that's equivalent to LEM?
02:00:59 <int-e> shachaf: what's your definition of "finite"?
02:01:58 <shachaf> I don't remember which definition that was.
02:02:18 <shachaf> Injection from naturals < n maybe?
02:02:43 <shachaf> @google Andrej Bauer finite sets constructive
02:02:45 <lambdabot> http://math.andrej.com/2009/09/07/constructive-stone-finite-sets/
02:02:45 <lambdabot> Title: Constructive stone: finite sets | Mathematics and Computation
02:03:15 <shachaf> That page, or another one.
02:03:28 <shachaf> @google Andrej Bauer five steps pdf
02:03:30 <lambdabot> http://www.ams.org/bull/0000-000-00/S0273-0979-2016-01556-4/
02:03:31 <lambdabot> Title: Bulletin of the American Mathematical Society
02:03:49 <shachaf> Typing on phone, can't look right now.
02:04:02 -!- Phantom__Hoover has joined.
02:05:36 <izabera> can you believe it? this earth is now 2017 years old
02:06:28 <HackEgo> timecube//EARTH HAS 4 CORNER SIMULTANEOUS 4-DAY TIME CUBE IN ONLY 24 HORU ROTATION. 4 CORNER DAYS, CUBES 4 QUAD EARTH. Bible A Lie & Word Is Lies. Navel Connects 4 Corner 4s. God Is Born Of A Mother - She Left Belly B. Signature. Your dirty lying teachers use only the midnight to midnight 1 day (ignoring 3 other days) Time to not foul (already wron
02:08:32 <HackEgo> butterfly:While some might think butterflies are descended from flies, that is a false entomology. \ Binary file reflection matches
02:11:25 <boily> butter chicken is a good thing.
02:11:40 <HackEgo> wisdom/butterfly \ wisdom/reflection
02:18:01 <boily> shachaf: chana masala?
02:27:15 <FreeFull> 2017 doesn't seem any different so far
02:29:17 <izabera> are there degrees of primeness?
02:29:41 <boily> izabellora. indeed.
02:29:49 <izabera> is that just the number of divisors?
02:30:08 <izabera> fewer divisors -> more prime?
02:30:09 <int-e> izabera: actually there is a concept of semiprimes
02:30:30 <int-e> but actually I'm happy to call "true" more true than "false"
02:30:42 <boily> https://en.wikipedia.org/wiki/Almost_prime
02:31:23 <FreeFull> 2017 is only divisible by 1 and 2017
02:31:24 <HackEgo> [wiki] [[INTERCAL]] https://esolangs.org/w/index.php?diff=50612&oldid=36183 * Ais523 * (-13) /* External resources */ fix a broken link
02:31:49 <ais523> after 2017, the next prime year is 2027
02:37:40 -!- astoxenous has quit (Ping timeout: 260 seconds).
02:38:08 <FreeFull> 1993 1997 1999 2003 2011 2017 2027 2029 2039 2053 2063 2069 2081 2083 2087
02:43:18 <Zarutian> but 2020 is the year of hindsight, no?
02:44:39 <Zarutian> say wasnt there an befunge variant that used something like fractal maze of nearly-torus playfield-tiles?
02:45:55 <int-e> oh, here's a thing you couldn't do with 2011: 2017 is the sum of two primes (and consequently, composite in the Gaussian integers: 2017 = (9 + 44i)*(9 - 44i)).
02:48:05 <int-e> (1997 was the previous prime = 1 (mod 4))
02:57:52 <boily> time to go watch the year end specials...
02:58:48 <boily> Bonne année à tous, profitez de 2017, soyez en santé, plein d'affaires de même, une bonne pelletée de trémas à travers, et à la revoyure!
02:58:59 -!- boily has quit (Quit: LISTENING CHICKEN).
03:06:18 <oerjan> int-e: itym two squares, no?
03:47:33 -!- hppavilion[1] has quit (Ping timeout: 245 seconds).
04:01:26 <int-e> oerjan: yes indeed.
04:15:16 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
04:27:23 -!- hppavilion[1] has joined.
04:34:41 <zzo38> Does any X server allow you to emulate arbitrary visuals?
04:35:13 -!- oerjan has quit (Quit: Nite).
04:44:25 <zzo38> I have thought of a kind of hardware design to implement arbitrary X visuals. There are 32 planes; the high six planes select one of 64 palettes. Palette 0 is fixed. Palette 63 is also used for sprites, of which there are 16, of size 16x16 each, with 3 colours each. Each palette also has a red_mask, green_mask, and blue_mask value; each mask is eight consecutive bits aligned to a 4-bit boundary, and are allowed to overlap. You can index the channel
04:45:41 <zzo38> And then there would also be the hardware plane mask, which allows the blitter to only write some planes, according to your choice.
04:46:41 <ais523> I think most if not all X servers allow you to set arbitrary onscreen pixels to arbitrary colours, so they have the same ability to produce images as the hardware does
04:47:00 <ais523> (here the hardware includes the video card in addition to the screen)
04:47:54 <zzo38> ais523: Yes, although you may be limited to a TrueColor visual with the channels in one order. What I meant is if it can emulate any visual class and convert it to the format needed by the hardware.
04:47:57 <ais523> int-e: is the condition that implies for being Gaussian-integer-prime (prime and not the sum of two primes) both necessary and sufficient?
04:48:46 <zzo38> (Although I think that a kind of hardware like I describe above would help so that you really can define any visual you want and implement it in hardware instead of having to do it in software.)
04:56:21 -!- ais523 has quit.
05:00:47 -!- kragniz has quit (Ping timeout: 258 seconds).
05:02:21 -!- hppavilion[1] has quit (Quit: PH'NGLUI MGLW'NAFH HPPAVILION[1] LA'SKA WGAH'NAGL FHTAGN).
05:02:36 <\oren\> VA-11 Hall-A is a great game
05:03:11 -!- hppavilion[1] has joined.
05:06:40 -!- wob_jonas has joined.
05:06:50 <wob_jonas> Happy New Year to the East Coast of the US.
05:08:24 -!- nookybook has changed nick to fartytart.
05:32:40 -!- nitri-xmas has changed nick to nitrix.
05:35:03 -!- hppavilion[1] has quit (Ping timeout: 245 seconds).
06:09:22 -!- hppavilion[1] has joined.
06:32:02 -!- Zarutian has quit (Quit: Zarutian).
07:25:09 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
08:34:42 <zzo38> I have added the "file=" option into my GURPS character calculation program, because this option is necessary on Windows (I don't know why, but using fs.readFileSync(0) on Windows results in a EBADF error).
08:36:33 <zzo38> Do you know why it has that problem?
08:50:03 -!- hppavilion[1] has quit (Ping timeout: 245 seconds).
09:50:28 -!- augur has joined.
11:43:01 -!- MoALTz has quit (Ping timeout: 248 seconds).
11:48:26 -!- MoALTz has joined.
11:52:59 -!- xa0 has quit (Remote host closed the connection).
11:54:35 -!- xa0 has joined.
12:31:28 -!- augur has quit (Remote host closed the connection).
12:43:06 -!- gsora has quit (Quit: uh-oh!).
12:51:26 -!- gsora has joined.
12:56:04 -!- gsora has quit (Client Quit).
13:01:17 -!- xa0 has quit (Remote host closed the connection).
13:03:21 -!- gsora has joined.
13:06:00 -!- xa0 has joined.
13:39:55 -!- Phantom_Hoover has joined.
13:46:24 -!- TieSoul has joined.
13:57:29 -!- TieSoul has quit (Quit: Leaving).
14:04:16 -!- Lord_of_Life has quit (Excess Flood).
14:06:27 -!- Lord_of_Life has joined.
14:07:46 -!- MDead has joined.
14:10:08 -!- MDude has quit (Ping timeout: 268 seconds).
14:10:10 -!- MDead has changed nick to MDude.
14:23:33 -!- LKoen has joined.
15:54:12 -!- boily has joined.
15:56:15 -!- oerjan has joined.
15:59:29 <oerjan> (today doing the proper greeting.)
16:02:39 <boily> did I wish you a bonne oerjannée already?
16:03:38 <oerjan> i may have left before you passed into the new year
16:04:12 <oerjan> i think you greeted everyone equally
16:05:56 <oerjan> i'm still wondering what "trémas à travers" means, google seemed to think it was about umlauts.
16:06:25 <oerjan> but got confused when i removed the surrounding parts
16:07:50 <boily> I wished “Happy New Year y'all, enjoy 2017, be healthy, all that kind of stuff, a good shovelfull of scattered umlauts, and see you soon!”
16:11:31 <zgrep> boily: "a göod¨shövelfüll öf¨scätterëd ümläuts"
16:11:59 <boily> zgrellop! that's the spirit!
16:25:13 <zgrep> `ümläüt Indeed it is.
16:25:15 <HackEgo> Ïn̈d̈ëëd̈ ̈ïẗ ̈ïs̈.̈
16:35:02 * rdococ wonders if HackEgo has a big Ego
16:35:37 <zgrep> It certainly has a Hack Ego.
16:41:43 <HackEgo> 10075:2017-01-01 <zgrëp> ` chmod +x bin/\xc3\xbcml\xc3\xa4\xc3\xbct \ 10074:2017-01-01 <zgrëp> ` mv IdOF bin/\xc3\xbcml\xc3\xa4\xc3\xbct \ 10072:2017-01-01 <zgrëp> ` chmod +x bin/\xc3\xbcml\xc3\xa4\xc3\xbct \ 10071:2017-01-01 <zgrëp> ` mv DOOB bin/\xc3\xbcml\xc3\xa4\xc3\xbct \ 10069:2017-01-01 <zgrëp> ` chmod +x bin/\xc3\xbcml\xc3\xa4\xc3
16:42:01 * oerjan swats zgrep for modifying HackEgo in private -----###
16:42:25 <zgrep> It's not as rude to spam the chat with my failed attempts?
16:43:03 <oerjan> `dots Also we have a lighter variant already.
16:43:05 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: dots: not found
16:43:11 <oerjan> `döts Also we have a lighter variant already.
16:43:12 <HackEgo> Älsö ẅë ḧävë ä lïgḧẗër värïänẗ älrëädÿ.
16:43:26 <zgrep> I see. Not as dotful.
16:43:51 <zgrep> `döts This is a test.
16:43:52 <zgrep> `döts This is a test.
16:44:14 <HackEgo> bin/ümläüt: Python script, ASCII text executable
16:44:17 <zgrep> Oh, is it just tr for some things?
16:45:25 <HackEgo> #!/usr/bin/env python \ import sys \ if len(sys.argv) != 2: \ print('Incorrect usage.') \ exit(1) \ o = u"".encode("utf-8") \ for c in sys.argv[1]: \ o += c.encode("utf-8") \ o += u"\u0308".encode("utf-8") \ print(o)
16:47:00 <HackEgo> Traceback (most recent call last): \ File "/hackenv/bin/ümläüt", line 8, in <module> \ o += c.encode("utf-8") \ UnicodeDecodeError: 'ascii' codec can't decode byte 0xc3 in position 0: ordinal not in range(128)
16:47:20 <zgrep> Python 2 isn't great with unicode... :(
16:47:40 <zgrep> `` cat `which dots`
16:47:45 <oerjan> oh right, it doesn't even try
16:48:24 <zgrep> `` cat `which döts`
16:48:25 <HackEgo> #!/bin/sh \ print_args_or_input "$@" | sed -re "y/aehiotuwxyAEHIOUWXY/äëḧïöẗüẅẍÿÄËḦÏÖÜẄẌŸ/"
16:48:55 <oerjan> `` echo This works as a pipe too | döts
16:51:41 <HackEgo> bin/print_args_or_input \ bin/shebang_args_or_input
16:52:05 <oerjan> `cat bin/shebang_args_or_input
16:52:06 <HackEgo> #!/bin/bash \ interp="$1"; script="$2"; shift 2; if [ "$#" -eq 1 ]; then printf '%s\n' "$1"; elif [ "$#" -eq 0 ]; then cat; fi | { shift; $interp "$script" "$@"; }
16:52:18 <oerjan> oh it was that complicated
16:53:38 <oerjan> noping nearly does that.
16:54:05 <zgrep> `` echo "Døs ẗḧïs ẅørk" | sed 's/./&̈/g'
16:54:07 <HackEgo> D̈ø̈s̈ ̈ẗ̈ḧ̈ï̈s̈ ̈ẅ̈ø̈r̈k̈
16:54:43 <oerjan> ``` echo "Døs ẗḧïs ẅørk" | sed 's/./&̈/g'
16:54:46 <HackEgo> DÌÃ̸ÌsÌ Ìá̺ÌÌá̸̧ÌÃ̯ÌsÌ Ìá̺Ì
ÌÃ̸ÌrÌkÌ
16:55:02 <zgrep> ``` echo "Døs ẗḧïs ẅørk"
16:55:25 <HackEgo> #!/bin/bash \ TIMEFORMAT="real: %lR, user: %lU, sys: %lS" \ shopt -s extglob globstar \ eval -- "$1" | rnooodl
16:55:41 <HackEgo> #!/bin/sh \ export LANG=C; exec bash -O extglob -c "$@" | rnooodl
16:55:51 <oerjan> oh it's ``` that changes it.
16:56:38 <oerjan> `mkx bin/ümläüt//print_args_or_input "$@" | sed 's/./&̈/g'
16:56:58 <HackEgo> key=$(mk "$@") && echo "$key" && chmod +x "$key"
16:57:13 <HackEgo> [[ "$1" == ?*//* ]] || { echo usage: "mk[x]" file//contents >&2; exit 1; }; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$(echo-p "$key")" && echo "$key"
16:57:13 <oerjan> `ümläüt Whøt abøut this
16:57:13 <HackEgo> Ẅḧø̈ẗ ̈äb̈ø̈üẗ ̈ẗḧïs̈
16:58:43 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: engrávé: not found
16:58:58 <zgrep> Whoops, wrong way.
17:01:03 <HackEgo> Binary file bin/emmental matches \ Binary file bin/macro matches \ bin/hlnp:scowrevs="$(/usr/bin/paste -sd'|' share/scowrevs)"; hg log -r "tip:0 & ! ($scowrevs)" "$@" | sed 's/\(\(^\| \)[<Itb][^ ]*\)\([^ ][^ ]\)/\1̈\3/' \ Binary file bin/searchlog matches \ bin/ümläüt:print_args_or_input "$@" | sed 's/./&̈/g' \ bin/dedot:print_args_or_input "$
17:01:10 <boily> gràvè, áćúté, ĉîrĉûmflêx, çȩḑiļļa, ǫgǫnęk.
17:01:33 <HackEgo> 2/2:gs_or_input "$@" | sed 's.̈..g' \ Binary file bin/7za matches \ Binary file bin/tclkit matches
17:01:48 <zgrep> `mkx bin/`̀//echo "This should probably do something, but it does not."
17:02:04 <HackEgo> This should probably do something, but it does not.
17:02:11 <HackEgo> bin \ canary \ emoticons \ esobible \ etc \ evil \ factor \ good \ hw \ ibin \ index.html \ index.html.1 \ interps \ karma \ le \ lib \ misle \ out \ paste \ ply-3.8 \ quines \ quotes \ share \ src \ test1 \ test2 \ tmflry \ tmp \ wdiff-latest.tar.gz \ wisdom
17:24:26 <HackEgo> [U+0060 GRAVE ACCENT] [U+0300 COMBINING GRAVE ACCENT] [U+002F SOLIDUS]
17:26:35 <HackEgo> Örjan is the diæresed twin. He will punctuate your vöẅëls, and maybe a few other unsuspecting letters.
17:27:21 <HackEgo> Thanks, unicode. Thunicode.
17:32:43 -!- augur has joined.
17:37:08 -!- augur has quit (Ping timeout: 245 seconds).
17:55:50 -!- oerjan has quit (Quit: Later).
18:07:31 -!- Akaibu has quit (Quit: Connection closed for inactivity).
18:39:56 <HackEgo> [wiki] [[Syms]] M https://esolangs.org/w/index.php?diff=50613&oldid=49765 * CatIsFluffy * (-115)
18:43:26 <HackEgo> [wiki] [[Al Dente examples]] M https://esolangs.org/w/index.php?diff=50614&oldid=49823 * CatIsFluffy * (+45) fix indentation issues (I wish this language was more popular)
19:07:18 -!- boily has quit (Quit: CARRIAGE CHICKEN).
19:22:57 -!- Lord_of_Life has quit (Excess Flood).
19:26:26 -!- kiki` has joined.
19:26:57 -!- Lord_of_Life has joined.
19:33:32 -!- augur has joined.
19:37:37 -!- augur has quit (Ping timeout: 240 seconds).
19:50:49 <int-e> oh. "February 30 was a real date in Sweden in 1712."
19:51:08 -!- kiki` has quit (Disconnected by services).
19:55:55 <zzo38> I didn't know that
20:03:14 <pikhq> Oh yes, because they decided to do a *gradual* shift to the Gregorian calendar over 40 years by skipping all leap days, and then cancelled it and reverted by adding *two* leap days.
20:04:37 <shachaf> should i use kubernetes twh
20:05:56 <pikhq> And this shit is why cal(1) has such a shitty and not very useless spec.
20:06:59 <pikhq> cal(1) is specified to do the Gregorian calendar from 1752 on, include the British transition in September from Julian, and... utterly unspecified what it does on earlier dates.
20:07:31 <pikhq> *Probably* the sanest choice is to do Julian and proleptic Julian for earlier dates, but...
20:08:18 <shachaf> But who cares about dates before 1752?
20:08:30 <pikhq> Historians, mostly.
20:09:02 <pikhq> I find it frankly a little silly the spec includes the Sep. 1752 transition, rather than just permitting proleptic Gregorian.
20:09:13 <FireFly> isn't it reasonably sane to just extend Gregorian back forever?
20:09:27 <pikhq> That's called "proleptic Gregorian", and yes, it's moderately sane.
20:09:46 <FireFly> Considering not every country switched to Gregorian simultaneously anyway
20:09:47 <pikhq> Historians get grumpy unless you *say* that's what you're doing, but it's not unreasonable to do so.
20:10:09 <shachaf> Has anyone asked Gregor's opinion?
20:10:29 <pikhq> If you *don't* say historians will generally assume you're using the contextually-appropriate calendar instead.
20:10:49 <pikhq> (but be slightly grumpy because you didn't say what calendar you were using, because that can really matter)
20:10:58 <shachaf> Do you extend leap seconds into the past too?
20:11:45 <pikhq> No, leap seconds were ill defined prior to 1972.
20:12:48 <Gregor> Guys, guys, this problem is easily solved.
20:13:01 <Gregor> Just use the same system as Kelvin, but applied to the Unix timestamp.
20:13:09 <Gregor> The beginning of time is the epoch (because, y'know, it is)
20:13:09 <pikhq> Trying to be more exact than 1 day with historical dates and times, while not always *impossible*, is really quite hard.
20:13:36 <shachaf> whoa whoa whoa, I forgot Gregor was back among the living.
20:13:55 <Gregor> Also ignore the fact that counting time linearly from the big bang is nonsense because of relativity.
20:13:56 <shachaf> Are you supposed to account for relativity with this scheme?
20:14:19 <FireFly> int-e> oh. "February 30 was a real date in Sweden in 1712." ← oh right, I had forgotten about the swedish calendar
20:14:55 <pikhq> Heck, with the pre-Julian Roman calendar we're barely certain of what proleptic Gregorian *years* some dates fall in.
20:16:04 <Gregor> My ticks-since-the-big-bang system works fine for this if you express time in scientific notation, so your number of significant digits is made clear.
20:16:15 <Gregor> And definitely doesn't create more confusion than it solves.
20:25:54 -!- hppavilion[1] has joined.
20:26:49 * rdococ appears in all of his stupor
20:34:28 <zzo38> I think that John Dee wanted to gradually shift to Gregorian calendar earlier, but the British royalty did not want to because they hate the Catholic chutch. Dee was not Catholic either but he wanted to because he thought the Gregorian calendar is a good idea, not because the church did it.
20:36:29 <rdococ> I don't see much importance in months to be honest. I think sailors may have used it to navigate at night, but don't they have the stars for that...?
20:38:38 -!- hppavilion[0] has joined.
20:42:13 -!- hppavilion[1] has quit (Ping timeout: 248 seconds).
20:43:18 -!- Zarutian has joined.
21:08:47 -!- idris-bot has quit (Quit: Terminated).
21:09:28 -!- hppavilion[0] has quit (Ping timeout: 268 seconds).
21:11:11 -!- Melvar has quit (Quit: rebooting).
21:18:15 -!- Melvar has joined.
21:21:55 -!- idris-bot has joined.
21:28:25 -!- hppavilion[0] has joined.
21:32:43 -!- augur has joined.
21:34:54 -!- augur has quit (Remote host closed the connection).
21:47:52 -!- LKoen has quit (Remote host closed the connection).
21:51:46 -!- LKoen has joined.
22:18:46 -!- TieSoul has joined.
22:29:18 -!- hppavilion[1] has joined.
22:32:06 -!- hppavilion[0] has quit (Ping timeout: 268 seconds).
22:32:33 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds).
22:37:35 -!- MoALTz has quit (Quit: Leaving).
22:39:28 -!- augur has joined.
22:41:54 -!- boily has joined.
22:52:47 -!- LKoen has quit (Remote host closed the connection).
22:53:41 <hppavilion[1]> I've just used AutoHotKey to improve my keyboard by 10000000000000 ppb
22:54:39 <hppavilion[1]> I added clipglue with ^g, which appends a selection to my clipboard rather than overwriting it (as with ^c)
22:55:37 <hppavilion[1]> And more importantly, I added a clipstack; normally ^c and ^x clobber your clipboard, but with a clipstack they instead push a new value onto it; ^v pastes the result of PEEK, ^V/^+v pastes the result of POP
22:56:20 <hppavilion[1]> (an editing feature is available through ^e- backspace drops the top value, \ swaps the top two, ] and [ will roll the deque, et cetera)
23:05:35 <^v> what if my name was ping
23:05:40 <^v> is it my fault if i get pinged?
23:05:50 <^v> im ping on esper lol
23:05:58 <rdococ> I'm back for another round of shlFFy esolang making
23:06:29 <hppavilion[1]> ^v: Choosing a name that's likely to be typed in unrelated contexts automatically forfeits your right to be annoyed by irrelevant pings
23:06:59 <^v> hppavilion[1], what if someone was talking about hp pavilions
23:06:59 * hppavilion[1] . o O ( Dammit, should've pinged somebody inactive for irony purposes )
23:07:01 <^v> and you got pinged?
23:07:38 <^v> i can only conclude you are not human
23:07:42 <hppavilion[1]> ^v: Also, I'd only get pinged if they typed hppavilion[1]- which is not normal- or one of my alternate pings, which I can turn off.
23:08:15 <hppavilion[1]> I DO have 'hp' set to ping since people have a habit of abbreviating, but that can be turned off if it gets annoying
23:08:33 <hppavilion[1]> Worse, people often abbreviate as the non-canonical 'hppa' instead of the correct 'hp' abbreviation ;-;
23:09:18 <^v> i always take the hpp = c++header
23:09:26 <^v> at first glance
23:10:25 <hppavilion[1]> I'm considering changing nicks, since hppavilion[1] has too much baggage associated
23:10:26 <rdococ> hppa, the "hppa" abbreviation would avoid unnecessary pinging as "hp" would cause.
23:11:05 <rdococ> your nickname is NOT a work of fiction
23:11:11 <rdococ> how can it have a canon?
23:11:35 * rdococ will talk about video games more often here to ping hp
23:11:45 <rdococ> my hp is low in [insert game here]
23:11:53 <hppavilion[1]> If I replaced hppavilion variants, it'd be something derived like hppavillain[1] (which I tried out once) or somesuch
23:12:35 <rdococ> just let your abbreviation be hppa
23:13:01 * rdococ will now create fanfiction about hppavilion[1]'s canon
23:13:07 <hppavilion[1]> rdococ: Honestly, I'd prefer if people would just tab it in
23:13:19 -!- Phantom_Hoover has joined.
23:13:23 <hppavilion[1]> rdococ: I'll make it all canonical so it can't be fanon mwahahahahahahaha
23:13:34 <rdococ> hppavilion[1], you mean hppa will be canon?
23:13:50 <rdococ> but that will then be fanon'd
23:13:55 <hppavilion[1]> rdococ: It'll be canonically rude, how about that?
23:14:07 <rdococ> and fanonically polite
23:14:20 <rdococ> new way to insult you is good
23:15:25 -!- LKoen has joined.
23:17:37 -!- kragniz has joined.
23:19:49 <\oren\> Ha, this character's name is stella hoshi?! Hello miss star star
23:22:22 <FireFly> is she the star of the show?
23:25:32 <zzo38> In order to receive input from stdin as events in SDL what I have done is to use another client to notify SDL by using XSendEvent. This does not work if X window system is not in use though.
23:26:12 <zzo38> (Although, conditional compilation can be used in order to work it on other systems too, in whatever way they require.)
23:28:12 <\oren\> FireFly: not a show, a game
23:35:47 <izabera> https://asciinema.org/a/97804 someone explain me what's happening here
23:35:49 -!- TieSoul has quit (Quit: Leaving).
23:37:40 <hppavilion[1]> izabera: What are you cat'ing? Does cat work without arguments??
23:39:54 * hppavilion[1] . ø Ø ( There should be a piece of programmer punctuation for conjugating verbed commands, but I don't know what it should be. ' is natural, but it's already VERY overloaded. _ doesn't work because it's often part of commands and the same applies to -. Maybe |?? )
23:44:17 <FireFly> Isn't cat, especially in #esoteric, canonically essentially "copy input to output"
23:44:49 -!- augur has quit (Remote host closed the connection).
23:45:47 <HackEgo> Cats are cool, but should be illegal.
23:46:29 -!- oerjan has joined.
23:46:31 <int-e> `` cat canary canary # ha ha.
23:47:18 <hppavilion[1]> `le/rn Danish//In Danish, the word for "island" is just "ø" for øfficiency reasons.
23:47:24 <HackEgo> Learned 'danish': In Danish, the word for "island" is just "ø" for øfficiency reasons.
23:47:35 <HackEgo> cdop:CDOP is OCPD, except with the letters in the *proper* order. \ group:Groups are just loops with the property of associativity. \ halfling:Halflings are genericized hobbits for intellectual property reasons. \ intellectual property:Intellectual property is either the plot of land where a university campus is or otherwise a property which gives
23:47:51 <hppavilion[1]> int-e: gwni works better if you just need it to print the names
23:50:33 <HackEgo> 2/5:y which gives something an intellectual air or appearance. \ keenlist:keenlist is notification for when Tom Hall finally acquires the necessary intellectual property rights to create the videogame series Commander Keen: The Universe is Toast \ kithkin:Kithkins are genericized halflings for intellectual property reasons, except they al
23:52:29 <HackEgo> wisdom/cdop \ wisdom/reflection \ wisdom/rules of wisdom \ wisdom/unicide \ wisdom/www
23:52:36 <HackEgo> wisdom/cdop \ wisdom/group \ wisdom/halfling \ wisdom/intellectual property \ wisdom/keenlist \ wisdom/kithkin \ wisdom/reflection \ wisdom/rules of wisdom \ wisdom/sanity \ wisdom/termite \ wisdom/treant \ wisdom/treefolk \ wisdom/unicide \ wisdom/universal property \ wisdom/vegemite \ wisdom/www
23:52:58 <hppavilion[1]> Why does it print wisdom/ before every one? I thought I fixed that
23:53:47 <oerjan> it was rather subtle to get it to it properly, as you can see in `grwp
23:54:05 <HackEgo> cat: grwp: No such file or directory
23:54:10 <HackEgo> #! /bin/bash \ cd wisdom; shopt -s dotglob; grep -R "$@" -- *
23:54:49 <oerjan> the rest is to make it not ignore dotfiles
23:54:56 <hppavilion[1]> `` echo 'cd wisdom; shopt -s dotglob; grep -ERlis "$@" *' > bin/gwni
23:55:03 <oerjan> not sure we've gor eny, though.
23:55:06 <HackEgo> cdop \ group \ halfling \ intellectual property \ keenlist \ kithkin \ reflection \ rules of wisdom \ sanity \ termite \ treant \ treefolk \ unicide \ universal property \ vegemite \ www
23:55:15 <hppavilion[1]> I don't think the newlines are really necessary...
23:55:41 <HackEgo> wisdom/` \ wisdom/`? \ wisdom/`? `? \ wisdom/^ \ wisdom/ \ wisdom/_ÌÌÌ°_ÌÌ
ÍÍ̦̻ͬÌÍÌÌÍ¡_ͧÍÌÍÌ_ÍÍÍͧÍÌÌ̯Í̬̬̦̯_ÌÌÌ
ͨÌÌ´Í \ wisdom/! \ wisdom/? \ wisdom/?? \ wisdom/¿ \ wisdom/@ \ wisdom/* \ wisdom/\ \ wisdom/â \ wisdom/⥠\ wisdom/ê® \ wisdom/⨠\ wisdom/ã \ wisdom/â¾_ \ wisdom/ð \ wisdom/ð \ wisdom/ð
23:55:43 <hppavilion[1]> I'd remove them, but I'm afraid I'll screw something up
23:55:55 <hppavilion[1]> Oh, I forgot about exempli gratia "universal property"
23:56:20 <hppavilion[1]> (comma-separating might work, but still may lead to ambiguity)
23:56:25 <HackEgo> U+1F410 GOAT \ UTF-8: f0 9f 90 90 UTF-16BE: d83ddc10 Decimal: 🐐 \ 🐐 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals)
23:56:45 <HackEgo> 🐐 <(Unicode goat laments your inability to render Unicode goat.)
23:58:02 <HackEgo> Learned '-v': -v *MWAHAHAHA*
23:58:14 <HackEgo> â` \ `? \ `? `? \ ^ \ \ _ÌÌÌ°_ÌÌ
ÍÍ̦̻ͬÌÍÌÌÍ¡_ͧÍÌÍÌ_ÍÍÍͧÍÌÌ̯Í̬̬̦̯_ÌÌÌ
ͨÌÌ´Í \ ¯\_(ã)_/¯ \ ! \ ? \ ?? \ ¿ \ @ \ * \ \ \ â \ ⥠\ ê® \ ⨠\ ã \ â¾_ \ ð \ ð \ ð \ áá¿ \ ÌÌÍÌÌÌͦÌÍͪÍ̼̾ͦͨÍ
ÍÍÌ®Í̸̳Ì̤ÌÌ¯ÌªÌ¸ÌªÌ±Ì£Ì ÌºÌ¹ÍÌ©ÌÍÍÍÍÌÍ̪̮ÌÌÌ£ÍÌªÍ Í¢Í¢Ò̴̢_Ì¿ÌÍ£ÌÍ£
23:58:27 <oerjan> HackEgo: that's what the -- is for hth
23:58:40 <\oren\> eventually I'll add emoji, but none of their stupid combinige emoji modifiers because I don't want to learn how to do color fonts
23:58:46 <oerjan> `le/rn -v//*MWAHAHAHA*
23:58:49 <HackEgo> Relearned '-v': *MWAHAHAHA*
23:58:55 <int-e> fungot: please improve our sanity
23:58:56 <fungot> int-e: on 16 and 17 april 2003, on his magnificent work ' fnord au fnord de la coordination fnord and by philippe de villiers against the commission is aware of it.
23:59:10 <hppavilion[1]> \oren\: Using just pixelly rendering is an acceptable alternative
23:59:10 <oerjan> hppavilion[1]: i just broke your `gwni hth
23:59:10 <fungot> Available: agora alice c64 ct darwin discworld enron europarl* ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube
23:59:21 <HackEgo> â` \ `? \ `? `? \ ^ \ \ _ÌÌÌ°_ÌÌ
ÍÍ̦̻ͬÌÍÌÌÍ¡_ͧÍÌÍÌ_ÍÍÍͧÍÌÌ̯Í̬̬̦̯_ÌÌÌ
ͨÌÌ´Í \ ¯\_(ã)_/¯ \ ! \ ? \ ?? \ ¿ \ @ \ * \ \ \ â \ ⥠\ ê® \ ⨠\ ã \ â¾_ \ ð \ ð \ ð \ áá¿ \ ÌÌÍÌÌÌͦÌÍͪÍ̼̾ͦͨÍ
ÍÍÌ®Í̸̳Ì̤ÌÌ¯ÌªÌ¸ÌªÌ±Ì£Ì ÌºÌ¹ÍÌ©ÌÍÍÍÍÌÍ̪̮ÌÌÌ£ÍÌªÍ Í¢Í¢Ò̴̢_Ì¿ÌÍ£ÌÍ£
23:59:30 <oerjan> hppavilion[1]: that's what the -- was for
23:59:32 <HackEgo> cd wisdom; shopt -s dotglob; grep -ERlis "$@" *