←2018-01-01 2018-01-02 2018-01-03→ ↑2018 ↑all
00:03:21 -!- sleffy has quit (Ping timeout: 264 seconds).
00:21:49 -!- sleffy has joined.
00:29:05 <zzo38> Was it deliberate that they made the same # to mean directives in C and comments in shell-scripts? I doubt that was the reason, but I don't know (that ability is useful, though).
00:41:15 <doesthiswork> Bertand Russel announces ambitious attempt to ground all of logic in logic
00:43:16 <Slereah> I'm guessing there's just a finite amount of symbols with no obvious meaning
00:43:31 -!- oerjan has joined.
00:43:33 <Slereah> And those are the ones you use for everything that doesn't have an obvious symbol for it
00:44:38 <fizzie> It doesn't answer that question, but there's a little bit about the preprocessor in Ritchie's "The Development of the C Language" article.
00:44:42 <fizzie> "Many other changes occurred around 1972-3, but the most important was the introduction of the preprocessor, partly at the urging of Alan Snyder [Snyder 74], but also in recognition of the utility of the the file-inclusion mechanisms available in BCPL and PL/I. Its original version was exceedingly simple, and provided only included files and simple string replacements: #include and #define of
00:44:48 <fizzie> parameterless macros. Soon thereafter, it was extended, mostly by Mike Lesk and then by John Reiser, to incorporate macros with arguments and conditional compilation. The preprocessor was originally considered an optional adjunct to the language itself. Indeed, for some years, it was not even invoked unless the source program contained a special signal at its beginning. This attitude persisted, and
00:44:54 <fizzie> explains both the incomplete integration of the syntax of the preprocessor with the rest of the language and the imprecision of its description in early reference manuals."
00:45:11 <fizzie> http://csapp.cs.cmu.edu/3e/docs/chistory.html
00:48:01 <Slereah> If you look at an ASCII table, there aren't that many other symbols C could have used back then
00:48:26 <oerjan> <int-e> illusionist, given that list <-- in that case, what is lark?
00:49:00 <Slereah> Symbols that don't have a common meaning are just like !#$%@|\
00:53:32 -!- moony has joined.
00:55:49 <fizzie> oerjan: It's a lark.
00:57:03 <fizzie> "There is a choice between 11 classes: Fighter, Paladin, Cleric, Wizard, Ranger, Thief, Barbarian, Lark, Illusionist, Druid, and Alchemist."
00:58:19 <fizzie> It's kind of like a bard, I believe.
01:07:32 <oerjan> fancy
01:10:04 -!- hppavilion[1] has joined.
01:12:39 -!- hppavilion[1] has quit (Read error: Connection reset by peer).
01:14:04 -!- hppavilion[1] has joined.
01:21:44 -!- hppavilion[1] has quit (Quit: HRII'FHALMA MNAHN'K'YARNAK NGAH NILGH'RI'BTHNKNYTH).
01:25:34 -!- GautamS has joined.
01:27:56 -!- Remavas has joined.
01:30:59 <zzo38> Someone told me if using Chromium on Raspberry Pi, the mouse cursor isn't hidden until it is moved, even if the CSS tells it to hide. Will using XWarpPointer() with all arguments (except the display) zero to make it to hide in that case? I don't have the stuff to test it, but I wrote such a program and at least xterm believes the mouse has been moved in that case (it unhides te mouse cursor).
01:40:30 -!- GautamS has quit (Remote host closed the connection).
01:45:26 -!- rodgort has quit (Quit: Leaving).
01:49:40 -!- rodgort has joined.
02:01:23 -!- doesthiswork has quit (Quit: Leaving.).
02:20:27 -!- Remavas has quit (Quit: Leaving).
02:41:36 <oerjan> `? aristotle
02:41:37 <HackEgo> Aristotle said that every illness can be cured by balancing the four vitreous humors, and everyone believed him for 2000 years without checking. It wasn't until the 20th century that Szent-Györgyi Albert realized that Aristotle didn't find the fifth humor, vitamin C, because the Greek alphabet doesn't have the letter C.
02:43:28 <shachaf> i have a vitamin D deficiency apparently tdnh
02:45:06 <boily> helloochaf. not enough sun?
02:45:37 <shachaf> that's what the oracle told me
02:47:45 -!- moony has quit (Ping timeout: 264 seconds).
03:09:58 <oerjan> viewing wikipedia diffs where someone switches between '' and " is confusing
03:10:34 <oerjan> (they're not easily distinguishable in proportional font)
03:31:24 <zzo38> Add a custom CSS rule if you want, then.
03:31:47 <zzo38> You can then change it to a more suitable font.
03:37:40 -!- erkin has quit (Read error: Connection reset by peer).
03:38:46 -!- erkin has joined.
04:13:25 -!- moony has joined.
04:40:41 -!- boily has quit (Quit: ANTIGEN CHICKEN).
04:48:30 -!- garit has quit (Ping timeout: 272 seconds).
05:51:18 -!- oerjan has quit (Quit: Nite).
06:36:48 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
06:59:05 -!- garit has joined.
06:59:05 -!- garit has quit (Changing host).
06:59:05 -!- garit has joined.
07:12:49 -!- Deewiant has quit (Remote host closed the connection).
07:13:18 -!- Deewiant has joined.
07:24:45 <zzo38> Do you know Minsky's circle algorithm? It is: for(;;) { x-=epsilon*y; y+=epsilon*x; plot(x,y); } where epsilon should be a fraction less than one.
07:25:46 <zzo38> If it is a power of two then you do not need multiplication and division instructions; bit shift is good enough. But I also think that if you are using 8-bit registers, you may even be able to avoid bit shifting if epsilon is 1/256.
07:32:45 -!- moony has changed nick to Ajit-Pai.
08:47:57 -!- garit has quit (Ping timeout: 240 seconds).
08:55:05 <esowiki> [[Brainfuck algorithms]] https://esolangs.org/w/index.php?diff=53730&oldid=53717 * YuvalM * (+158) /* x = not x (boolean, logical) */ -> Added another algorithm (shorter than before)
08:57:13 -!- atslash has joined.
09:02:35 <esowiki> [[Brainfuck algorithms]] https://esolangs.org/w/index.php?diff=53731&oldid=53730 * YuvalM * (+144) /* z = x and y (boolean, logical) */
09:12:57 -!- garit has joined.
09:12:57 -!- garit has quit (Changing host).
09:12:57 -!- garit has joined.
09:31:33 <b_jonas> zzo38: ah yes, that's the sort of thing you'd use only in an old CPU, but you have to be very careful to get it right, it's too easy to mess up
09:32:42 <b_jonas> oerjan: yeah, that's why we use mediawiki templates for formatting citations, like {{cite journal |title=Foo |journal=Bar |... }} instead of "Foo", ''Bar'' ...
09:33:05 <b_jonas> oerjan: when you write it yourself, you can always just use <i>...</i> instead of course
09:34:44 <b_jonas> fizzie: does that matter? I think shell comments are later than that, because in the old days they just used a : command (alias for true) instead of sharp-comments
10:04:42 -!- honigkuchen has joined.
10:05:32 -!- honigkuchen has quit (Remote host closed the connection).
10:13:56 <b_jonas> ais523 or anyone else: do you also think that tom7 referencing that linear logic thingy in his proof is a horrible overkill?
10:17:56 -!- Sgeo_ has joined.
10:20:22 -!- Sgeo has quit (Ping timeout: 272 seconds).
10:32:42 <esowiki> [[Brainfuck algorithms]] M https://esolangs.org/w/index.php?diff=53732&oldid=53731 * YuvalM * (-1) /* z = x and y (boolean, logical) */ removed an extra '['
10:35:16 <esowiki> [[User:YuvalM]] N https://esolangs.org/w/index.php?oldid=53733 * YuvalM * (+249) Created page with "==Hi!== My name is Yuval Meshorer and I'm 16 years old. I discovered Brainfuck and since then I've been fascinated by it. I've added several things to the Brainfuck algorit..."
10:38:42 <esowiki> [[Brainfuck algorithms]] M https://esolangs.org/w/index.php?diff=53734&oldid=53732 * YuvalM * (-27) /* x = x or y (boolean, logical) */ Improved my algortithm.
10:49:14 <esowiki> [[Brainfuck algorithms]] M https://esolangs.org/w/index.php?diff=53735&oldid=53734 * YuvalM * (+0) /* z = x xor y (boolean, logcial) */ added 'z[-]' to reset the 'z' value
11:06:07 -!- sleffy has quit (Ping timeout: 248 seconds).
11:25:07 <esowiki> [[Brainfuck algorithms]] https://esolangs.org/w/index.php?diff=53736&oldid=53735 * YuvalM * (+133) /* x = x or y (boolean, logical) */ added another algorithm
11:55:27 -!- Ajit-Pai has quit (Ping timeout: 240 seconds).
12:12:25 <int-e> @metar lowi
12:12:25 <lambdabot> LOWI 021150Z 26011KT 9999 FEW010 BKN065 05/00 Q1015 R08/19//95 TEMPO 3000 -SHSN BKN012
12:17:02 -!- sdfgsdfg has joined.
12:35:11 -!- sdfgsdfg has quit (Ping timeout: 248 seconds).
14:00:29 -!- doesthiswork has joined.
14:22:28 -!- GautamS has joined.
14:34:36 -!- boily has joined.
14:46:20 -!- `^_^v has joined.
15:26:20 <boily> `5 w
15:26:27 <HackEgo> 1/2:whatchamacallit//A whatchamacallit is like a thwackamacallit, but less painful. \ golf//Golf is the shortest game known. The goal is to get a ball into a hole with a single stroke. \ sparse matrix algorithm//Sparse matrix algorithms are a trivial special case of non-sparse matrix algorithms, by conjugating with the sparsification operatio
15:26:28 <boily> `n
15:26:29 <HackEgo> 2/2:n. \ inory//Inorically, inory is when you say something is irony that really isn't. Someone who does this is an inorite. \ chthonic//Chthonic lithping can be vethy dithturbing to lithten to.
16:09:34 -!- oerjan has joined.
16:16:08 <b_jonas> What's the hackego special command to paste a file to a webpage?
16:16:14 <b_jonas> `paste bin/starwars
16:16:15 <HackEgo> https://hackego.esolangs.org/fshg/index.cgi/file/tip/bin/starwars
16:16:27 <b_jonas> ok, that works
16:16:55 <b_jonas> I have to update that to include some of the main characters of Jedi Reloaded, including Admiral Honda
16:22:08 -!- GautamS has quit (Quit: Leaving).
16:22:43 <oerjan> b_jonas: you can also try `edit
16:24:37 <b_jonas> `edit bin/starwars
16:24:37 <HackEgo> https://hackego.esolangs.org/edit/bin/starwars
16:25:37 <b_jonas> oerjan: ok
16:36:15 <b_jonas> In fact it's missing some important characters already in The Force Awakens
16:36:26 <b_jonas> like General Hux and BB-8
16:37:40 <b_jonas> `doag bin/starwars
16:37:49 <HackEgo> 10521:2017-03-26 <wob_jonäs> `` sed -i \'s/|Sith Lord Jar Jar|/|/\' bin/starwars \ 10520:2017-03-26 <wob_jonäs> `` sed -i \'s/f-8"/f-8)"/\' bin/starwars \ 10519:2017-03-26 <wob_jonäs> `` sed -i \'s/f-8)/f-8"/\' bin/starwars \ 10518:2017-03-26 <wob_jonäs> `` sed -i \'s/binmode/;binmode/\' bin/starwars \ 10517:2017-03-26 <wob_jonäs> `` sed
16:51:38 <b_jonas> also, one of the character names is incorrect
16:51:54 <b_jonas> Luke's adoptive aunt is called Beru Lars, not Benu Lars
16:52:41 <int-e> Hmm, how does one adopt an aunt.
16:53:18 <int-e> (I think that would be quite popular if legally possible.)
17:00:05 <b_jonas> `starwars
17:00:07 <HackEgo> Shmi
17:00:09 <b_jonas> `starwars 20
17:00:09 <HackEgo> Bodhi Rook
17:00:49 <b_jonas> um
17:01:00 <b_jonas> `doag bin/starwars
17:01:07 <HackEgo> 10521:2017-03-26 <wob_jonäs> `` sed -i \'s/|Sith Lord Jar Jar|/|/\' bin/starwars \ 10520:2017-03-26 <wob_jonäs> `` sed -i \'s/f-8"/f-8)"/\' bin/starwars \ 10519:2017-03-26 <wob_jonäs> `` sed -i \'s/f-8)/f-8"/\' bin/starwars \ 10518:2017-03-26 <wob_jonäs> `` sed -i \'s/binmode/;binmode/\' bin/starwars \ 10517:2017-03-26 <wob_jonäs> `` sed
17:01:15 <b_jonas> I don't think I managed to save
17:01:43 <b_jonas> `fetch bin/starwars https://hackego.esolangs.org/get/bin/starwars
17:01:44 <b_jonas> ah
17:01:47 <HackEgo> 2018-01-02 17:00:31 URL:https://hackego.esolangs.org/get/bin/starwars [1201/1201] -> "bin/starwars" [1]
17:01:53 <b_jonas> `doag bin/starwars
17:01:54 <b_jonas> `starwars
17:01:55 <HackEgo> Taun We
17:01:57 <b_jonas> `starwars 20
17:01:58 <HackEgo> Finn \ Admiral Crix Madine \ Orson Krennic \ Nute Gunray \ Darth Maul \ Chewbacca \ Sabé \ Darth Vader \ Nien Nunb \ C-3PO \ Owen Lars \ Darth Plagueis \ BB-9E \ DJ \ Boss Nass \ Conan Antonio Motti \ Greedo \ Ortugg \ Admiral Firmus Piett \ Rey
17:02:00 <HackEgo> 11299:2018-01-02 <b_jonäs> fetch bin/starwars https://hackego.esolangs.org/get/bin/starwars \ 10521:2017-03-26 <wob_jonäs> `` sed -i \'s/|Sith Lord Jar Jar|/|/\' bin/starwars \ 10520:2017-03-26 <wob_jonäs> `` sed -i \'s/f-8"/f-8)"/\' bin/starwars \ 10519:2017-03-26 <wob_jonäs> `` sed -i \'s/f-8)/f-8"/\' bin/starwars \ 10518:2017-03-26 <wob_
17:02:00 <b_jonas> better
17:02:29 <b_jonas> added a lot of characters, now has about 89 total
17:02:52 <b_jonas> `hg log -v bin/starwars
17:02:55 <HackEgo> hg: unknown command 'log -v bin/starwars' \ Mercurial Distributed SCM \ \ basic commands: \ \ add add the specified files on the next commit \ annotate show changeset information by line for each file \ clone make a copy of an existing repository \ commit commit the specified files or all outstanding changes \ d
17:02:59 <b_jonas> ``` hg log -v bin/starwars
17:03:00 <HackEgo> changeset: 11299:0fefbdece7f0 \ tag: tip \ user: HackBot \ date: Tue Jan 02 17:00:32 2018 +0000 \ files: bin/starwars \ description: \ <b_jonas> fetch bin/starwars https://hackego.esolangs.org/get/bin/starwars \ \ \ changeset: 10521:65621e821c02 \ user: HackBot \ date: Sun Mar 26 02:13:44 2017 +0000 \
17:04:09 <int-e> https://hackego.esolangs.org/fshg/index.cgi/rev/0fefbdece7f0 and https://hackego.esolangs.org/fshg/index.cgi/log/0fefbdece7f0/bin/starwars may be more helpful
17:04:12 <b_jonas> also, now easily allows to list multiple characters, just give a number as command-line argument
17:04:48 <b_jonas> int-e: I thought I'd make it print a diff, but then I realized that since all the characetrs are listed in one line, that won't be too useful
17:05:45 <int-e> you could adapt the *list idea
17:06:22 <int-e> `paste bin/olist
17:06:23 <HackEgo> https://hackego.esolangs.org/fshg/index.cgi/file/tip/bin/olist
17:06:31 <b_jonas> how do I make mercurial cat a given revision of the file?
17:06:47 <b_jonas> like svn cat -r120 bin/starwars
17:07:54 <b_jonas> ``` hg cat 0fefbdece7f0
17:07:55 <HackEgo> 0fefbdece7f0: no such file in rev 0fefbdece7f0
17:08:02 <b_jonas> ``` hg cat 0fefbdece7f0 bin/starwars
17:08:03 <HackEgo> 0fefbdece7f0: no such file in rev 0fefbdece7f0 \ #!/usr/bin/perl \ @c=split/\|/,"Admiral Crix Madine|Admiral Firmus Piett|Anakin Skywalker|BB-8|BB-9E|Bail Organa|Baze Malbus|Beru Lars|Bib Fortuna|Biggs Darklighter|Boba Fett|Bodhi Rook|Boss Nass|C-3PO|Captain Panaka|Captain Phasma|Cassian Andor|Chancellor Valorum|Chewbacca|Chief Jawa|Chirrut \x{ce}m
17:08:25 <int-e> `` hg cat -r 0fefbdece7f0 bin/starwars
17:08:26 <HackEgo> ​#!/usr/bin/perl \ @c=split/\|/,"Admiral Crix Madine|Admiral Firmus Piett|Anakin Skywalker|BB-8|BB-9E|Bail Organa|Baze Malbus|Beru Lars|Bib Fortuna|Biggs Darklighter|Boba Fett|Bodhi Rook|Boss Nass|C-3PO|Captain Panaka|Captain Phasma|Cassian Andor|Chancellor Valorum|Chewbacca|Chief Jawa|Chirrut \x{ce}mwe|Cliegg Lars|Conan Antonio Motti|DJ|Darth Ba
17:08:31 <b_jonas> ``` hg cat 65621e821c02 bin/starwars | diff bin/starwars
17:08:32 <HackEgo> diff: missing operand after 'bin/starwars' \ diff: Try 'diff --help' for more information.
17:08:49 <b_jonas> ``` hg cat 65621e821c02 bin/starwars | tr \| \\n | diff - <(tr \| \\n < bin/starwars)
17:08:50 <HackEgo> 65621e821c02: no such file in rev 0fefbdece7f0
17:09:03 <int-e> b_jonas: you're still missing the -r
17:09:08 <b_jonas> ``` hg cat 65621e821c02 bin/starwars | tr \| \\n | diff - <(tr \| \\n < bin/starwars)
17:09:09 <HackEgo> 65621e821c02: no such file in rev 0fefbdece7f0
17:09:12 <b_jonas> ``` hg cat -r 65621e821c02 bin/starwars | tr \| \\n | diff - <(tr \| \\n < bin/starwars)
17:09:13 <HackEgo> No output.
17:09:23 <b_jonas> ``` hg cat -r 65621e821c02 bin/starwars | tr \| \\n
17:09:24 <HackEgo> ​#!/usr/bin/perl \ @c=split/\ \ /,"Admiral Crix Madine \ Admiral Firmus Piett \ Anakin Skywalker \ Bail Organa \ Baze Malbus \ Benu Lars \ Bib Fortuna \ Boba Fett \ Bodhi Rook \ Boss Nass \ C-3PO \ Captain Phasma \ Cassian Andor \ Chancellor Valorum \ Chewbacca \ Chief Jawa \ Chirrut \x{ce}mwe \ Cliegg Lars \ Conan Antonio Motti \ Darth Maul \ Da
17:10:01 <b_jonas> ``` <bin/starwars tr \| \\n
17:10:01 <HackEgo> ​#!/usr/bin/perl \ @c=split/\ \ /,"Admiral Crix Madine \ Admiral Firmus Piett \ Anakin Skywalker \ BB-8 \ BB-9E \ Bail Organa \ Baze Malbus \ Beru Lars \ Bib Fortuna \ Biggs Darklighter \ Boba Fett \ Bodhi Rook \ Boss Nass \ C-3PO \ Captain Panaka \ Captain Phasma \ Cassian Andor \ Chancellor Valorum \ Chewbacca \ Chief Jawa \ Chirrut \x{ce}mwe \
17:10:06 <b_jonas> those aren't the same
17:10:08 <b_jonas> stupid diff
17:10:20 <b_jonas> ``` hg cat -r 65621e821c02 bin/starwars | tr \| \\n | diff -s - <(tr \| \\n < bin/starwars)
17:10:21 <HackEgo> No output.
17:10:28 <int-e> `which diff
17:10:29 <HackEgo> ​/usr/bin/diff
17:10:46 <b_jonas> ``` diff -s /dev/null bin/starwars
17:10:46 <HackEgo> 0a1,2 \ > #!/usr/bin/perl \ > @c=split/\|/,"Admiral Crix Madine|Admiral Firmus Piett|Anakin Skywalker|BB-8|BB-9E|Bail Organa|Baze Malbus|Beru Lars|Bib Fortuna|Biggs Darklighter|Boba Fett|Bodhi Rook|Boss Nass|C-3PO|Captain Panaka|Captain Phasma|Cassian Andor|Chancellor Valorum|Chewbacca|Chief Jawa|Chirrut \x{ce}mwe|Cliegg Lars|Conan Antonio Motti|DJ
17:11:13 <b_jonas> ``` cat <(tr \| \\n < bin/starwars)
17:11:14 <HackEgo> No output.
17:11:19 <b_jonas> ``` r \| \\n < bin/starwars
17:11:20 <HackEgo> bash: r: command not found
17:11:22 <b_jonas> ``` tr \| \\n < bin/starwars
17:11:22 <HackEgo> ​#!/usr/bin/perl \ @c=split/\ \ /,"Admiral Crix Madine \ Admiral Firmus Piett \ Anakin Skywalker \ BB-8 \ BB-9E \ Bail Organa \ Baze Malbus \ Beru Lars \ Bib Fortuna \ Biggs Darklighter \ Boba Fett \ Bodhi Rook \ Boss Nass \ C-3PO \ Captain Panaka \ Captain Phasma \ Cassian Andor \ Chancellor Valorum \ Chewbacca \ Chief Jawa \ Chirrut \x{ce}mwe \
17:11:25 <b_jonas> shell problem then
17:11:28 <b_jonas> ``` echo $BASH
17:11:28 <HackEgo> ​/bin/bash
17:12:15 <b_jonas> ``` set -e; hg cat -r 65621e821c02 bin/starwars | tr \| \\n > /tmp/a0; tr \| \\n < bin/starwars > /tmp/a1; diff -s /tmp/a{0,1}
17:12:16 <HackEgo> 5a6,7 \ > BB-8 \ > BB-9E \ 8c10 \ < Benu Lars \ --- \ > Beru Lars \ 9a12 \ > Biggs Darklighter \ 13a17 \ > Captain Panaka \ 21a26,27 \ > DJ \ > Darth Bane \ 22a29 \ > Darth Plagueis \ 24c31,32 \ < Dooku \ --- \ > Doctor Cornelius Evazan \ > Count Dooku \ 27a36 \ > General Armitage Hux \ 43a53 \ > Lor San Tekka \ 48a59 \ > Nien Nunb \ 56a68 \ > Pond
17:12:20 <b_jonas> better
17:12:48 <b_jonas> ``` set -e; hg cat -r 65621e821c02 bin/starwars | tr \| \\n > /tmp/a0; tr \| \\n < bin/starwars > /tmp/a1; diff -sU0 /tmp/a{0,1}
17:12:49 <HackEgo> ​--- /tmp/a02018-01-02 17:11:34.706011000 +0000 \ +++ /tmp/a12018-01-02 17:11:34.706011000 +0000 \ @@ -5,0 +6,2 @@ \ +BB-8 \ +BB-9E \ @@ -8 +10 @@ \ -Benu Lars \ +Beru Lars \ @@ -9,0 +12 @@ \ +Biggs Darklighter \ @@ -13,0 +17 @@ \ +Captain Panaka \ @@ -21,0 +26,2 @@ \ +DJ \ +Darth Bane \ @@ -22,0 +29 @@ \ +Darth Plagueis \ @@ -24 +31,2 @@ \ -Do
17:13:07 <b_jonas> ``` set -e; hg cat -r 65621e821c02 bin/starwars | tr \| \\n > /tmp/a0; tr \| \\n < bin/starwars > /tmp/a1; comm -3 /tmp/a{0,1}
17:13:08 <HackEgo> comm: file 2 is not in sorted order \ BB-8 \ BB-9E \ Benu Lars \ Beru Lars \ Biggs Darklighter \ Captain Panaka \ DJ \ Darth Bane \ Darth Plagueis \ Doctor Cornelius Evazan \ Count Dooku \ Dooku \ General Armitage Hux \ Lor San Tekka \ Nien Nunb \ Ponda Baba \ Rose Tico \ Sab\x{e9} \ Unkar Plutt \ Vice Admiral Amilyn Holdo \ the
17:14:50 <esowiki> [[Special:Log/newusers]] create * Banana * New user account
17:17:32 -!- atslash has quit (Quit: This computer has gone to sleep).
17:17:58 -!- GautamS has joined.
17:18:20 <b_jonas> int-e: have you seen tom7's video that he claims tries to explain some proof to beginners, but actually it doesn't? if so, do you also think that involving that linear logic thing is a huge overkill?
17:18:42 <b_jonas> s/video/recent video/
17:18:47 <int-e> `` echo $(grep '^[+-][^+-]' <(diff -U0 <(< bin/starwars tr \|\"\ \\n\\n_ ) <(hg cat -r 65621e821c02 bin/starwars | tr \|\"\ \\n\\n_ )))
17:18:48 <HackEgo> ​-BB-8 -BB-9E -Beru_Lars +Benu_Lars -Biggs_Darklighter -Captain_Panaka -DJ -Darth_Bane -Darth_Plagueis -Doctor_Cornelius_Evazan -Count_Dooku +Dooku -General_Armitage_Hux -Lor_San_Tekka -Nien_Nunb -Ponda_Baba -Rose_Tico -Sab\x{e9} -Unkar_Plutt -Vice_Admiral_Amilyn_Holdo -the_Reek -or_die;for(1..($ARGV[0] -1)){print_splice(@c,rand@c,1), +or_die;pri
17:18:53 <int-e> no I have not
17:19:36 <int-e> oh, I guess that wasn't the right order. but anyway
17:23:24 <b_jonas> shachaf: same question
17:28:04 <int-e> b_jonas: so how about http://sprunge.us/ZNHK
17:31:31 <b_jonas> int-e: can work, sure, as long as you're careful about not accidentally having an extra empty line.
17:31:42 <b_jonas> feel free to replace the command impl
17:31:45 <int-e> `` seq 3 | sed '/^2/a2.5'
17:31:45 <HackEgo> 1 \ 2 \ 2.5 \ 3
17:32:21 <int-e> And something like that could solve the maintanence problem if you want to keep it sorted.
17:32:29 <b_jonas> also, I wonder how the command should handle people with two names, like Emperor Palpatine vs Darth Sidious
17:32:46 <b_jonas> int-e: I originally sorted it to find dupes quickly
17:32:55 <b_jonas> no need to keep it sorted really
17:33:06 <b_jonas> computers are good at sorting small files on the fly to find dups
17:33:18 <int-e> anyway basically I had to remind myself how this embedded data worked in Perl
17:33:37 <int-e> I'm not a stakeholder in bin/starwars so I won't mess with it
17:33:39 <b_jonas> int-e: you don't really need *DATA just to have newlines
17:33:55 <int-e> I wanted it to be at the end of the file as well
17:33:58 <b_jonas> you could just have them in a quoted string with newlines in it instead of verticalbars, and then split/^/
17:34:03 <b_jonas> int-e: ok
17:34:40 <b_jonas> int-e: also, you can just chomp@c; instead of map chomp,@c
17:35:01 <b_jonas> int-e: or like chomp(@c=<DATA>)
17:35:06 <int-e> how dysfunctional
17:35:28 <b_jonas> not that the chomping is very useful when you just re-add the newline at printing
17:35:41 <int-e> maybe you forget the final newline ;-)
17:35:55 <int-e> anyway, as I said, I've had my bit of fun
17:35:56 <b_jonas> int-e: or maybe you add an extra one, and then you get a dummy character
17:56:47 <shachaf> int-e: I haven't
17:57:00 <shachaf> b_jonas: I mean b_jonas
18:25:51 <boily> @metar CYQB
18:25:51 <lambdabot> CYQB 021800Z 24004KT 8SM -SN FEW007 SCT017 BKN030 OVC080 M21/M25 A3014 RMK SF1SC3SC3AC2 SF TR VIS NW QUAD 4 SLP218
18:27:19 <fizzie> @metar EGLL
18:27:19 <lambdabot> EGLL 021820Z AUTO 21009KT 6000 -RA //////TCU 10/08 Q1000 NOSIG
18:27:41 <fizzie> There's YELLOW WARNING OF WIND for the next 24 hours or so.
18:28:33 <shachaf> Is that a new code point?
18:28:52 <fizzie> It's not, but maybe it should.
18:29:11 <boily> fizziello. slashy weather much?
18:29:37 <fizzie> U+1F343 LEAF FLUTTERING IN WIND is probably the closest Unicode gets.
18:30:44 <fizzie> It's a named storm (Eleanor) that's coming, apparently.
18:48:45 <int-e> shachaf: cauldrons are weird
18:53:32 <int-e> fizzie: best of luck with that
18:54:13 <int-e> fungot: what do you think of power outages?
18:54:13 <fungot> int-e: eating crunchy vegetables is good for language a, and returns another function, the control is guided a priority queue that doesn't copy with constant time insertion and removal?
18:54:40 <int-e> fungot: I was hoping for a more filtered braindump :)
18:54:41 <fungot> int-e: i write kludgy code for our cookbook, so on lunch tommarow, i'll browse through it now. out of work
18:54:55 <int-e> "tommarow"?!
18:55:34 <int-e> Well at least it's not a f***d
18:56:03 -!- contrapumpkin has changed nick to visionofsatoshi.
18:56:12 -!- visionofsatoshi has changed nick to contrapumpkin.
18:58:12 -!- oerjan has quit (Quit: Later).
18:58:22 <shachaf> int-e: Hmm, yes, I should go back to that world
18:59:04 <shachaf> int-e: Green exits too me a little while to make intuitive sense of, but it was straightforward once I made a programming analogy
18:59:17 <int-e> and so far I've managed to avoid the "dream within a dream" achievement
18:59:24 <shachaf> Which one is that?
18:59:41 <int-e> (basically because I try to keep track of the stack myself and get confused when it gets too deep)
18:59:43 <shachaf> (I'm at my phone now.)
18:59:45 <int-e> the 20 levels of nesting
19:00:30 <int-e> and when I do get confused I tend to restart :P
19:00:44 <int-e> (I restart a lot)
19:00:54 <shachaf> Presumably it's easy to get artificially?
19:01:10 <int-e> yeah
19:01:33 <int-e> there are plenty of rooms with a box leading back to the same room again
19:01:37 <shachaf> Often with the green chest levels I jump into the same chest several times just in case
19:04:51 <int-e> I understand even though it's not always a good strategy :P
19:05:53 <shachaf> Why not, if you remember how many levels of meeting?
19:06:01 <shachaf> I guess you could accidentally Yeager a patient
19:06:37 <int-e> I guess it's fine if you can remember well enough.
19:07:30 <int-e> and in any case I do something similar when I find a factory
19:07:49 <int-e> (a box from which one can repeatedly extract the same item)
19:08:43 <int-e> `? recursed
19:08:44 <HackEgo> recursed? ¯\(°​_o)/¯
19:09:12 <int-e> `learn Recursed is a game of surprising depth.
19:09:15 <HackEgo> Learned 'recursed': Recursed is a game of surprising depth.
19:11:00 <shachaf> int-e: I mean, accidentally trigger a paradox
19:11:20 <int-e> shachaf: Yeah, that was what I had in mind.
19:22:42 <shachaf> int-e: Did you do, uh, I don't remember what that one level is called
19:22:49 <shachaf> I think it's in the last set
19:24:18 <int-e> the void? I have only solved the first level there
19:24:35 <int-e> (and I don't have the game running right now)
19:25:15 <shachaf> I mean Escalate
19:33:01 <int-e> so, nope
20:34:54 -!- sleffy has joined.
20:49:39 -!- hppavilion[1] has joined.
20:56:17 -!- laerling has joined.
20:59:02 -!- Phantom_Hoover has joined.
21:22:16 -!- atslash has joined.
21:24:45 -!- GautamS has quit (Quit: Leaving).
21:26:27 -!- atslash has quit (Ping timeout: 240 seconds).
21:27:02 -!- atslash has joined.
21:46:34 -!- GautamS has joined.
21:50:50 <zzo38> Probably the HTML DOM JavaScript function I use most often is document.evaluate(), and to use .getAttribute() and .setAttribute() on the resulting items.
21:52:31 -!- hppavilion[1] has quit (Ping timeout: 248 seconds).
22:08:47 -!- hppavilion[1] has joined.
22:28:14 -!- fungot has quit (Ping timeout: 252 seconds).
22:29:03 -!- fungot has joined.
22:29:42 -!- boily has quit (Quit: LONG CHICKEN).
22:34:25 -!- GautamS has quit (Quit: Leaving).
22:36:19 -!- laerling has quit (Quit: Leaving).
22:44:14 -!- atslash has quit (Quit: This computer has gone to sleep).
22:51:43 <fizzie> @metar EGLL
22:51:44 <lambdabot> EGLL 022220Z AUTO 21017G27KT 5000 -RA BKN009 BKN017 OVC026TCU 12/11 Q0990 TEMPO 3000 +RA BKN008
22:51:52 -!- `^_^v has quit (Quit: This computer has gone to sleep).
22:51:56 <fizzie> Guess it's windier, but not really windy yet.
22:53:29 <shachaf> @metar KOAK
22:53:29 <lambdabot> KOAK 022153Z 30005KT 8SM FEW065 BKN150 OVC250 13/09 A3014 RMK AO2 SLP205 T01330089 $
22:57:05 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
22:59:44 -!- fungot has quit (Ping timeout: 272 seconds).
23:00:01 -!- fungot has joined.
23:00:42 <fizzie> (Our interwebs are being a little flaky, hence the fungot-hopping.)
23:00:42 <fungot> fizzie: i'm having a religious experience right now!!!
23:00:51 <fizzie> Also that, I guess.
23:03:29 -!- ski has quit (Quit: Lost terminal).
23:18:36 -!- erkin has joined.
23:54:59 -!- augur_ has changed nick to augur.
←2018-01-01 2018-01-02 2018-01-03→ ↑2018 ↑all