00:00:11 yay, I saw it! 00:00:20 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 then did :59 and :60 again 00:00:26 I bet that was a leap second anomaly 00:00:27 Thanks for the time.gov tip, I used that as well. 00:00:32 Yeah, it was a little stuttery. 00:01:02 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 happy new year everyone 00:01:16 BBC stream just started a 60-second countdown for me. 00:01:25 I don't think they'll be mentioning the leap second. :/ 00:01:27 they're running a bit slow then :-P 00:01:34 Well, that's probably just the stream. 00:01:44 2 minutes buffering delays, impressive 00:07:31 fizzie: so what was the stream like? 00:07:57 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 `learn The password of the month is AАΑAАΑAАΑAАΑAАΑ 00:09:08 Relearned 'password': The password of the month is AАΑAАΑAАΑAАΑAАΑ 00:09:33 @time oerjan 00:09:33 Local time for oerjan is Sun Jan 1 01:09:32 2017 00:09:43 I think I heard somewhere the US nuclear launch code password whatever was 0000 0000 for a decade or two earlier. 00:10:16 shachaf: the password month changes at UTC hth 00:10:44 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 doesn't it usually change whenever you remember, maybe a few days later? 00:10:52 so the passwords were set to all-zeroes as a kind of protest 00:10:56 shachaf: TECHNICALLY 00:11:09 oerjan: what does the password of the month actually do? 00:11:27 it's a kind of protest hth 00:11:32 fizzie: 100% accurate. 00:12:01 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 Can the command to make the missile not receive commands remotely be sent to it remotely? 00:12:56 right, the point is that the password wasn't sufficient *by itself* and the other restrictions were probably more important 00:13:30 and I guess all-zeroes has the advantage that if you *were* forced to divulge it, you might not be believed 00:13:38 >_> <_< 00:14:08 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 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 i.e. there is quite literally no actual networked means of doing it. 00:15:41 Which IMO is probably sensible. 00:16:01 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 Of course knowing the password is not good enough anyways; you would also need to know the frequency and the protocol. 00:17:12 And I would *strongly* suspect this would be a cryptographically secure protocol. 00:17:46 Yes, I would also expect so. 00:21:29 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 But I do not actually know much about how the missiles are working. Do you know much about it though? 00:24:29 I expect most of the details are intentionally secret 00:24:35 I've never really tried to determine them because of that 00:24:48 and also because there are a number of other things I'd rather be interested in 00:26:24 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 Although they do have other articles about other stuff too, and there always are some interesting articles and/or letters. 00:28:14 Gleðilegt nýtt ár! 00:29:09 Which means what? 00:30:37 Happy New Year! 00:30:48 OK 00:37:28 -!- erdic has quit (Ping timeout: 258 seconds). 00:40:38 -!- erdic has joined. 00:45:53 Epic Fail {UU} Instant ;; Epic 00:49:53 -!- hppavilion[1] has joined. 00:54:33 hmm, the existing epic cards don't look very good 00:57:25 It is a joke card. It isn't very good either 00:58:20 whoa whoa whoa, I hadn't seen Eternal Dominion 01:05:36 maybe I'm underestimating the number of ways to play sorceries without paying their full mana cost 01:06:21 Which ways did you see so far? 01:06:43 I don't really know. 01:07:02 there's convoke and cascade... 01:09:34 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 01:11:45 The thing is I don't really know Mt:G cards. 01:15:02 int-e: Underestimating? 01:15:07 What's the context? 01:38:43 -!- astoxenous has joined. 01:39:54 `relcome astoxenous 01:39:57 ​astoxenous: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 01:40:15 hello 01:40:20 The existance of a max cell value in brainfuck is not necessary to turing completeness right? 01:41:44 quite the opposite, with no max you need only 3 cells. 01:42:12 with a max you need infinitely many cells. 01:42:30 (although the max can be just 1) 01:44:08 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:44:15 why do you only need three? 01:45:25 three shalt be the number thou shalt count to. 01:45:35 see https://esolangs.org/wiki/Collatz_function 01:46:47 oerjan: is there a variant that requires uncountably many cells twh 01:46:57 shachaf: TRICKY 01:49:00 i keep forgetting whether we've conclusively proved 2 isn't enough. 01:54:19 oerjan: The max (non-inclusive) is 1. Is it TC? 01:55:44 shachaf: Does having uncountably many cells actually make sense? (pleasesayyespleasesayyespleasesayyespleasesayjes) 01:56:32 * hppavilion[1] . o O ( It's uncountably finite ) 01:57:20 In constructive logic, a subset of a finite set isn't necessarily finite. 01:57:34 In fact that's equivalent to LEM? 01:59:43 hppavilion[1]: NOPE 02:00:03 shachaf: ...wtf how does that work 02:00:59 shachaf: what's your definition of "finite"? 02:01:58 I don't remember which definition that was. 02:02:18 Injection from naturals < n maybe? 02:02:43 @google Andrej Bauer finite sets constructive 02:02:45 http://math.andrej.com/2009/09/07/constructive-stone-finite-sets/ 02:02:45 Title: Constructive stone: finite sets | Mathematics and Computation 02:03:15 That page, or another one. 02:03:28 @google Andrej Bauer five steps pdf 02:03:30 http://www.ams.org/bull/0000-000-00/S0273-0979-2016-01556-4/ 02:03:31 Title: Bulletin of the American Mathematical Society 02:03:49 Typing on phone, can't look right now. 02:04:02 -!- Phantom__Hoover has joined. 02:05:20 happy new year! 02:05:36 can you believe it? this earth is now 2017 years old 02:05:41 time flies 02:06:06 `wisdom flies 02:06:10 That's not wise. 02:06:16 `quote flies 02:06:18 No output. 02:06:22 hmph 02:06:26 `wisdom time 02:06:28 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:23 `grwp flies 02:08:32 butterfly:While some might think butterflies are descended from flies, that is a false entomology. \ Binary file reflection matches 02:10:05 hmm, butterfiles 02:10:10 shachaf: thanks 02:11:25 butter chicken is a good thing. 02:11:35 `gwni flies 02:11:40 wisdom/butterfly \ wisdom/reflection 02:15:33 boily: I don't agree. 02:15:45 `cwlprits butterfly 02:15:53 oerjän 02:16:01 Figures. 02:18:01 shachaf: chana masala? 02:18:18 Sounds fine. 02:27:15 2017 doesn't seem any different so far 02:28:51 more prime 02:29:05 (than 2016) 02:29:17 are there degrees of primeness? 02:29:36 Of course. 02:29:41 izabellora. indeed. 02:29:49 is that just the number of divisors? 02:30:08 fewer divisors -> more prime? 02:30:09 izabera: actually there is a concept of semiprimes 02:30:30 but actually I'm happy to call "true" more true than "false" 02:30:42 https://en.wikipedia.org/wiki/Almost_prime 02:31:23 2017 is only divisible by 1 and 2017 02:31:24 [wiki] [[INTERCAL]] https://esolangs.org/w/index.php?diff=50612&oldid=36183 * Ais523 * (-13) /* External resources */ fix a broken link 02:31:26 So it's as prime as it gets 02:31:49 after 2017, the next prime year is 2027 02:37:37 2011 was prime too 02:37:40 -!- astoxenous has quit (Ping timeout: 260 seconds). 02:37:45 And 2029 is prime 02:38:08 1993 1997 1999 2003 2011 2017 2027 2029 2039 2053 2063 2069 2081 2083 2087 02:43:18 but 2020 is the year of hindsight, no? 02:44:39 say wasnt there an befunge variant that used something like fractal maze of nearly-torus playfield-tiles? 02:45:55 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 (1997 was the previous prime = 1 (mod 4)) 02:57:52 time to go watch the year end specials... 02:58:48 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 int-e: itym two squares, no? 03:47:33 -!- hppavilion[1] has quit (Ping timeout: 245 seconds). 04:01:26 oerjan: yes indeed. 04:04:45 <\oren\> 1 hour to 2017 04:15:16 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 04:27:23 -!- hppavilion[1] has joined. 04:34:41 Does any X server allow you to emulate arbitrary visuals? 04:35:13 -!- oerjan has quit (Quit: Nite). 04:44:25 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 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 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 (here the hardware includes the video card in addition to the screen) 04:47:54 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 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 (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 Happy New Year to the East Coast of the US. 05:08:24 -!- nookybook has changed nick to fartytart. 05:08:24 <\oren\> yup! 05:08:32 <\oren\> Me too! 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 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 Do you know why it has that problem? 08:50:03 -!- hppavilion[1] has quit (Ping timeout: 245 seconds). 09:24:59 `uname -r 09:25:23 3.13.0-umlbox 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:57:01 børjan matin! 15:58:12 bodt nilytt år! 15:59:29 (today doing the proper greeting.) 16:02:39 did I wish you a bonne oerjannée already? 16:02:55 not sure 16:03:38 i may have left before you passed into the new year 16:04:12 i think you greeted everyone equally 16:04:19 ah! that I did. 16:05:56 i'm still wondering what "trémas à travers" means, google seemed to think it was about umlauts. 16:06:25 but got confused when i removed the surrounding parts 16:07:50 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:09:25 very sensible 16:10:21 tsé ^^ 16:11:31 boily: "a göod¨shövelfüll öf¨scätterëd ümläuts" 16:11:59 zgrellop! that's the spirit! 16:25:13 `ümläüt Indeed it is. 16:25:15 Ïn̈d̈ëëd̈ ̈ïẗ ̈ïs̈.̈ 16:34:42 yay! 16:34:49 HackEgo: hello 16:35:02 * rdococ wonders if HackEgo has a big Ego 16:35:37 It certainly has a Hack Ego. 16:36:17 heh. 16:41:15 * rdococ hacks its ego 16:41:28 `doag bin/ümläüt 16:41:43 10075:2017-01-01 ` chmod +x bin/\xc3\xbcml\xc3\xa4\xc3\xbct \ 10074:2017-01-01 ` mv IdOF bin/\xc3\xbcml\xc3\xa4\xc3\xbct \ 10072:2017-01-01 ` chmod +x bin/\xc3\xbcml\xc3\xa4\xc3\xbct \ 10071:2017-01-01 ` mv DOOB bin/\xc3\xbcml\xc3\xa4\xc3\xbct \ 10069:2017-01-01 ` chmod +x bin/\xc3\xbcml\xc3\xa4\xc3 16:42:01 * oerjan swats zgrep for modifying HackEgo in private -----### 16:42:15 how RUDE 16:42:25 It's not as rude to spam the chat with my failed attempts? 16:43:03 `dots Also we have a lighter variant already. 16:43:05 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: dots: not found 16:43:11 `döts Also we have a lighter variant already. 16:43:12 ​Älsö ẅë ḧävë ä lïgḧẗër värïänẗ älrëädÿ. 16:43:26 I see. Not as dotful. 16:43:51 `döts This is a test. 16:43:52 `döts This is a test. 16:43:54 Tḧïs ïs ä ẗësẗ. 16:43:55 Tḧïs ïs ä ẗësẗ. 16:44:10 `file bin/ümläüt 16:44:14 bin/ümläüt: Python script, ASCII text executable 16:44:17 Oh, is it just tr for some things? 16:44:24 pretty much. 16:44:27 ich bin/umlaut? 16:44:27 Ah. 16:45:24 `cat bin/ümläüt 16:45:25 ​#!/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:46:58 `ümläüt Døs this wørk 16:47:00 Traceback (most recent call last): \ File "/hackenv/bin/ümläüt", line 8, in \ o += c.encode("utf-8") \ UnicodeDecodeError: 'ascii' codec can't decode byte 0xc3 in position 0: ordinal not in range(128) 16:47:05 Haha. 16:47:20 Python 2 isn't great with unicode... :( 16:47:29 `döts Døs this wørk 16:47:30 Døs ẗḧïs ẅørk 16:47:40 `` cat `which dots` 16:47:45 oh right, it doesn't even try 16:48:11 `python --version 16:48:11 No output. 16:48:13 Python 2.7.3 16:48:24 `` cat `which döts` 16:48:25 ​#!/bin/sh \ print_args_or_input "$@" | sed -re "y/aehiotuwxyAEHIOUWXY/äëḧïöẗüẅẍÿÄËḦÏÖÜẄẌŸ/" 16:48:36 I see. 16:48:55 `` echo This works as a pipe too | döts 16:48:56 Tḧïs ẅörks äs ä pïpë ẗöö 16:49:04 Hmm... 16:51:39 `` ls bin/*or_input 16:51:41 bin/print_args_or_input \ bin/shebang_args_or_input 16:52:05 `cat bin/shebang_args_or_input 16:52:06 ​#!/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 oh it was that complicated 16:52:37 sed 's/./&̈/g' 16:53:38 noping nearly does that. 16:54:05 `` echo "Døs ẗḧïs ẅørk" | sed 's/./&̈/g' 16:54:07 D̈ø̈s̈ ̈ẗ̈ḧ̈ï̈s̈ ̈ẅ̈ø̈r̈k̈ 16:54:13 It does! :D 16:54:43 ``` echo "Døs ẗḧïs ẅørk" | sed 's/./&̈/g' 16:54:46 D̈Ã̈¸Ìˆs̈ ̈á̈ºÌˆ—̈á̈¸Ìˆ§ÌˆÃ̈¯Ìˆs̈ ̈á̈ºÌˆ…̈Ã̈¸Ìˆr̈k̈ 16:54:52 locale-dependently. 16:55:02 ``` echo "Døs ẗḧïs ẅørk" 16:55:02 Døs ẗḧïs ẅørk 16:55:24 `cat bin/` 16:55:25 ​#!/bin/bash \ TIMEFORMAT="real: %lR, user: %lU, sys: %lS" \ shopt -s extglob globstar \ eval -- "$1" | rnooodl 16:55:39 `cat bin/`` 16:55:41 ​#!/bin/sh \ export LANG=C; exec bash -O extglob -c "$@" | rnooodl 16:55:51 oh it's ``` that changes it. 16:56:38 `mkx bin/ümläüt//print_args_or_input "$@" | sed 's/./&̈/g' 16:56:43 bin/ümläüt 16:56:56 `cat bin/mkx 16:56:58 key=$(mk "$@") && echo "$key" && chmod +x "$key" 16:57:06 `cat bin/mk 16:57:13 ​[[ "$1" == ?*//* ]] || { echo usage: "mk[x]" file//contents >&2; exit 1; }; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$(echo-p "$key")" && echo "$key" 16:57:13 `ümläüt Whøt abøut this 16:57:13 Ẅḧø̈ẗ ̈äb̈ø̈üẗ ̈ẗḧïs̈ 16:57:41 WE HAFF TOOLS 16:58:40 `engrávé 16:58:43 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: engrávé: not found 16:58:58 Whoops, wrong way. 16:59:45 èngràvè 17:00:34 `ümläüt ' 17:00:35 ​'̈ 17:00:46 `echo '`̀' 17:00:47 ​'`̀' 17:00:56 `` grep -r '̈' bin 17:01:03 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/\(\(^\| \)[ gràvè, áćúté, ĉîrĉûmflêx, çȩḑiļļa, ǫgǫnęk. 17:01:24 `2 grep -r '̈' bin 17:01:33 2/2:gs_or_input "$@" | sed 's.̈..g' \ Binary file bin/7za matches \ Binary file bin/tclkit matches 17:01:48 `mkx bin/`̀//echo "This should probably do something, but it does not." 17:01:51 bin/`̀ 17:02:03 AAAAAAA 17:02:03 ``̀ 17:02:04 This should probably do something, but it does not. 17:02:07 `` ls 17:02:11 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:02:21 :) 17:24:24 `unidecode `̀/ 17:24:26 ​[U+0060 GRAVE ACCENT] [U+0300 COMBINING GRAVE ACCENT] [U+002F SOLIDUS] 17:26:34 `? örjan 17:26:35 ​Örjan is the diæresed twin. He will punctuate your vöẅëls, and maybe a few other unsuspecting letters. 17:27:01 `? örjan 17:27:03 örjan? ¯\(°​_o)/¯ 17:27:17 `thanks unicode 17:27:21 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 [wiki] [[Syms]] M https://esolangs.org/w/index.php?diff=50613&oldid=49765 * CatIsFluffy * (-115) 18:43:26 [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 oh. "February 30 was a real date in Sweden in 1712." 19:51:08 -!- kiki` has quit (Disconnected by services). 19:55:55 I didn't know that 20:03:14 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 should i use kubernetes twh 20:05:56 And this shit is why cal(1) has such a shitty and not very useless spec. 20:06:59 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 *Probably* the sanest choice is to do Julian and proleptic Julian for earlier dates, but... 20:08:18 But who cares about dates before 1752? 20:08:30 Historians, mostly. 20:09:02 I find it frankly a little silly the spec includes the Sep. 1752 transition, rather than just permitting proleptic Gregorian. 20:09:13 isn't it reasonably sane to just extend Gregorian back forever? 20:09:26 HireFly 20:09:27 That's called "proleptic Gregorian", and yes, it's moderately sane. 20:09:46 Considering not every country switched to Gregorian simultaneously anyway 20:09:47 Historians get grumpy unless you *say* that's what you're doing, but it's not unreasonable to do so. 20:09:58 Ah 20:10:04 That's sensible enough 20:10:09 Has anyone asked Gregor's opinion? 20:10:15 or Ian's 20:10:22 hachaf 20:10:29 If you *don't* say historians will generally assume you're using the contextually-appropriate calendar instead. 20:10:49 (but be slightly grumpy because you didn't say what calendar you were using, because that can really matter) 20:10:58 Do you extend leap seconds into the past too? 20:11:12 Good question I suppose 20:11:45 No, leap seconds were ill defined prior to 1972. 20:12:48 Guys, guys, this problem is easily solved. 20:13:01 Just use the same system as Kelvin, but applied to the Unix timestamp. 20:13:09 The beginning of time is the epoch (because, y'know, it is) 20:13:09 Trying to be more exact than 1 day with historical dates and times, while not always *impossible*, is really quite hard. 20:13:36 whoa whoa whoa, I forgot Gregor was back among the living. 20:13:44 Reanimated? 20:13:55 Also ignore the fact that counting time linearly from the big bang is nonsense because of relativity. 20:13:56 Are you supposed to account for relativity with this scheme? 20:13:59 Hahah 20:14:19 int-e> oh. "February 30 was a real date in Sweden in 1712." ← oh right, I had forgotten about the swedish calendar 20:14:37 It was quite the mistake 20:14:55 Heck, with the pre-Julian Roman calendar we're barely certain of what proleptic Gregorian *years* some dates fall in. 20:16:04 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 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 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 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 I've just used AutoHotKey to improve my keyboard by 10000000000000 ppb 22:53:57 s/keyboard/clipboard/ 22:54:39 I added clipglue with ^g, which appends a selection to my clipboard rather than overwriting it (as with ^c) 22:55:37 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 (an editing feature is available through ^e- backspace drops the top value, \ swaps the top two, ] and [ will roll the deque, et cetera) 22:58:05 <^v> .-. 23:05:11 ^v: what? 23:05:15 Oh, xD 23:05:23 ^v: It's your own fault. 23:05:30 <^v> nah 23:05:35 <^v> what if my name was ping 23:05:35 yay 23:05:40 <^v> is it my fault if i get pinged? 23:05:44 ^v: yes hth 23:05:49 <\oren\> Good everning! 23:05:50 <^v> im ping on esper lol 23:05:58 I'm back for another round of shlFFy esolang making 23:06:29 ^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:32 Right, \oren\? 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:03 <^v> checkmate. 23:07:13 ^v: That would be my fault and I'd not be upset. 23:07:38 <^v> i can only conclude you are not human 23:07:41 <^v> checkmate 23:07:42 ^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:07:48 ^v: Correct. 23:08:15 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 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:08 ^v: Of course you do. 23:10:25 I'm considering changing nicks, since hppavilion[1] has too much baggage associated 23:10:26 hppa, the "hppa" abbreviation would avoid unnecessary pinging as "hp" would cause. 23:10:36 rdococ: Well yeah, but it's non-canonical 23:10:43 non-canonical? 23:10:48 And how would you pronounce that? 23:11:05 your nickname is NOT a work of fiction 23:11:11 how can it have a canon? 23:11:24 Well, I guess as [hæ.pʌ], but still 23:11:35 * rdococ will talk about video games more often here to ping hp 23:11:45 my hp is low in [insert game here] 23:11:53 If I replaced hppavilion variants, it'd be something derived like hppavillain[1] (which I tried out once) or somesuch 23:11:56 I have a hp 23:11:58 Ah, yes, that too 23:12:09 rdococ: ...apparently, I turned off pinging 'hp' 23:12:19 ... 23:12:19 I do ping on hppaviliøn[1] 23:12:29 rdococ: I don't remember when I did this 23:12:35 just let your abbreviation be hppa 23:12:47 rdococ: NO 23:12:52 YES 23:12:57 (...and yet I ping on hppa...) 23:13:01 * rdococ will now create fanfiction about hppavilion[1]'s canon 23:13:07 rdococ: Honestly, I'd prefer if people would just tab it in 23:13:19 -!- Phantom_Hoover has joined. 23:13:22 like this?: HackEgo 23:13:23 rdococ: I'll make it all canonical so it can't be fanon mwahahahahahahaha 23:13:34 hppavilion[1], you mean hppa will be canon? 23:13:40 rdococ: ...except that? 23:13:50 but that will then be fanon'd 23:13:55 rdococ: It'll be canonically rude, how about that? 23:14:06 It's canon, but it's also offensive 23:14:07 >:) 23:14:07 and fanonically polite 23:14:13 whatever hppa 23:14:20 new way to insult you is good 23:15:02 heh heh heh 23:15:13 hppa 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 is she the star of the show? 23:24:19 hppa 23:25:32 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 (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:28:22 <\oren\> VA-11 Hall-A 23:29:46 Ah 23:35:47 https://asciinema.org/a/97804 someone explain me what's happening here 23:35:49 -!- TieSoul has quit (Quit: Leaving). 23:36:01 i broke something 23:36:03 but i don't know what 23:37:40 izabera: What are you cat'ing? Does cat work without arguments?? 23:38:12 yes 23:38:14 it reads from a terminal 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:40:04 _ is uppercase ? 23:44:17 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:17 `? cat 23:45:20 `cat canary 23:45:47 No output. 23:45:47 Cats are cool, but should be illegal. 23:46:29 -!- oerjan has joined. 23:46:31 `` cat canary canary # ha ha. 23:46:33 No output. 23:46:37 `? Denmark 23:46:39 Denmark? ¯\(°​_o)/¯ 23:46:49 `? Danish 23:46:51 Danish? ¯\(°​_o)/¯ 23:47:15 Hlloerjan 23:47:18 `le/rn Danish//In Danish, the word for "island" is just "ø" for øfficiency reasons. 23:47:24 Learned 'danish': In Danish, the word for "island" is just "ø" for øfficiency reasons. 23:47:25 `grwp proper 23:47:35 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 int-e: gwni works better if you just need it to print the names 23:47:58 hint-ello 23:50:29 `2 grwp proper 23:50:33 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:26 `gwni proper[^t] 23:52:29 wisdom/cdop \ wisdom/reflection \ wisdom/rules of wisdom \ wisdom/unicide \ wisdom/www 23:52:34 `gwni proper 23:52:36 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:49 Hymn, wait 23:52:58 Why does it print wisdom/ before every one? I thought I fixed that 23:53:00 `cat bin/gwni 23:53:01 grep -ERlis "$@" wisdom/* 23:53:47 it was rather subtle to get it to it properly, as you can see in `grwp 23:53:53 *to do it 23:54:04 `cat grwp 23:54:05 cat: grwp: No such file or directory 23:54:09 `cat bin/grwp 23:54:10 ​#! /bin/bash \ cd wisdom; shopt -s dotglob; grep -R "$@" -- * 23:54:15 Ah, yes, just a cd in there 23:54:49 the rest is to make it not ignore dotfiles 23:54:56 `` echo 'cd wisdom; shopt -s dotglob; grep -ERlis "$@" *' > bin/gwni 23:55:00 No output. 23:55:03 not sure we've gor eny, though. 23:55:03 `gwni proper 23:55:06 cdop \ group \ halfling \ intellectual property \ keenlist \ kithkin \ reflection \ rules of wisdom \ sanity \ termite \ treant \ treefolk \ unicide \ universal property \ vegemite \ www 23:55:09 *any 23:55:15 I don't think the newlines are really necessary... 23:55:38 `` ls wisdom/* 23:55:41 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 I'd remove them, but I'm afraid I'll screw something up 23:55:55 Oh, I forgot about exempli gratia "universal property" 23:56:03 Newlines are for the best, I guess. 23:56:20 (comma-separating might work, but still may lead to ambiguity) 23:56:22 <\oren\> `unicode 🐐 23:56:25 U+1F410 GOAT \ UTF-8: f0 9f 90 90 UTF-16BE: d83ddc10 Decimal: 🐐 \ 🐐 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) 23:56:39 ...I was not aware there was a unicode goat 23:56:43 `? 🐐 23:56:45 ​🐐 <(Unicode goat laments your inability to render Unicode goat.) 23:56:58 ;-; 23:57:23 It's \oren\'s fault 23:57:59 `learn -v *MWAHAHAHA* 23:58:02 Learned '-v': -v *MWAHAHAHA* 23:58:11 `gwni proper 23:58:14 ​` \ `? \ `? `? \ ^ \ \ _̰̆̓_Ì̦̻̖͍̟̖̅ͭͭͬ͡_͉̭ͧ͒̐_͂͋͒ͧ͋Ì̯͙̬̬̦̯̋_̴̝̔̉̅ͨ͞ \ ¯\_(ツ)_/¯ \ ! \ ? \ ?? \ ¿ \ @ \ * \ \ \ ☃ \ ⊥ \ ꙮ \ ⌨ \   \ ☾_ \ 𝕈 \ 🐐 \ 🐚 \ ᛁᚿ \ ̸̸̼͚͇̮͕̳̞̤̜̯̪̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_̿̊ͣ̉ͣ 23:58:27 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 `le/rn -v//*MWAHAHAHA* 23:58:49 Relearned '-v': *MWAHAHAHA* 23:58:55 fungot: please improve our sanity 23:58:56 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:08 uhm 23:59:10 \oren\: Using just pixelly rendering is an acceptable alternative 23:59:10 hppavilion[1]: i just broke your `gwni hth 23:59:10 ^style 23:59:10 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:16 oerjan: Yes you did ;-; 23:59:19 `gwni proper 23:59:21 ​` \ `? \ `? `? \ ^ \ \ _̰̆̓_Ì̦̻̖͍̟̖̅ͭͭͬ͡_͉̭ͧ͒̐_͂͋͒ͧ͋Ì̯͙̬̬̦̯̋_̴̝̔̉̅ͨ͞ \ ¯\_(ツ)_/¯ \ ! \ ? \ ?? \ ¿ \ @ \ * \ \ \ ☃ \ ⊥ \ ꙮ \ ⌨ \   \ ☾_ \ 𝕈 \ 🐐 \ 🐚 \ ᛁᚿ \ ̸̸̼͚͇̮͕̳̞̤̜̯̪̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_̿̊ͣ̉ͣ 23:59:28 oh, that style... 23:59:30 hppavilion[1]: that's what the -- was for 23:59:31 `cat bin/gwni 23:59:32 cd wisdom; shopt -s dotglob; grep -ERlis "$@" * 23:59:45 `which gwni 23:59:46 ​/hackenv/bin/gwni