00:04:21 -!- Zarutian has quit (Quit: Zarutian).
00:07:21 <\oren\> What the hell is Six sigma, it sounds like a very nasty pyramid scheme
00:09:24 <\oren\> and why am I getting spam about it and how did they get my work email
00:13:19 -!- DHeadshot has quit (Ping timeout: 252 seconds).
00:15:29 -!- DHeadshot has joined.
00:18:41 -!- ais523 has quit (Ping timeout: 246 seconds).
00:25:14 -!- DHeadshot has quit (Ping timeout: 264 seconds).
00:25:15 -!- oerjan has joined.
00:27:06 -!- staffehn has quit (Remote host closed the connection).
00:33:18 <oerjan> or should that be русский спам
00:34:05 <shachaf> Hmm, `5 w should print 5 random welcomes.
00:34:19 <HackEgo> 1/2:uaneb//Uaneb is the inventor of many fine things, such as Zork and e-modules. \ piet//Piet is a really colourful programming language. \ אrjan//אrjan is oerjan's first uncountable twin. He's inconsistent with the ZFC axioms. \ usa//USA apparently doesn't stand for United State Automaton. \ redundancy//Since redundancy
00:34:40 -!- staffehn has joined.
00:34:43 <oerjan> shachaf: you could make it take an extra argument
00:35:02 <HackEgo> 2/2: exists, it's redundant for Taneb to invent it.
00:35:49 <HackEgo> 9153:2016-10-05 <oerjän> learn Uaneb is the inventor of many fine things, such as Zork and e-modules.
00:36:06 <HackEgo> piet//Piet is a really colourful programming language.
00:36:40 <HackEgo> piet//Piet is a really colourful programming language.
00:37:03 <oerjan> or is that better with a colored period
00:38:05 <HackEgo> York used to be known as Amsterdam.
00:38:15 <HackEgo> Zork is like York, except for the first letter. Uaneb invented it.
00:38:35 <oerjan> `` wisdom piet; wisdom אrjan
00:38:37 <HackEgo> piet//Piet is a really colourful programming language. \ אrjan//אrjan is oerjan's first uncountable twin. He's inconsistent with the ZFC axioms.
00:39:43 <oerjan> that got messed up by the rtl stuff
00:40:14 <oerjan> ...but there's no way to fix that without changing the key, is there
00:40:30 <HackEgo> אrjan//אrjan is oerjan's first uncountable twin. He's inconsistent with the ZFC axioms.
00:41:06 <oerjan> it only happens when irssi wraps the א onto the beginning of the line, it seems :P
00:42:12 <HackEgo> [U+05D0 HEBREW LETTER ALEF]
00:42:23 <shachaf> If you want, you can use ALEF SYMBOL instead of HEBREW LETTTER ALEF.
00:43:54 <oerjan> shachaf: oh, that may be better
00:44:08 <oerjan> `uniencode ALEF SYMBOL
00:44:09 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: uniencode: not found
00:44:31 <oerjan> ...my terminal doesn't show that :(
00:44:59 <HackEgo> U+05D0 HEBREW LETTER ALEF \ UTF-8: d7 90 UTF-16BE: 05d0 Decimal: א \ א \ Category: Lo (Letter, Other) \ Bidi: R (Right-to-Left) \ \ U+0616 ARABIC SMALL HIGH LIGATURE ALEF WITH LAM WITH YEH \ UTF-8: d8 96 UTF-16BE: 0616 Decimal: ؖ \ ؖ \ Category: Mn (Mark, Non-Spacing) \ Bidi: NSM (Non-Spacing Mark) \ Combining: 230 (Above) \ \
00:45:44 <oerjan> never mind, it's just a small random occurrence.
00:45:49 <HackEgo> cmd=quote; [ "$1" == w ] && cmd=wisdom; for i in {1..5}; do "$cmd"; done | sport
00:46:26 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: type: not found
00:46:44 <HackEgo> 00:45:57 up 0 min, 0 users, load average: 0.00, 0.00, 0.00 \ USER TTY FROM LOGIN@ IDLE JCPU PCPU WHAT
00:47:04 <oerjan> oh well, how often do we need that...
00:50:45 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `whoami: not found
00:51:45 <oerjan> ``sled bin/5//s/[^;]*/cmd="${1-quote}"/
00:51:46 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `sled: not found
00:51:52 <oerjan> `sled bin/5//s/[^;]*/cmd="${1-quote}"/
00:51:56 <HackEgo> bin/5//cmd="${1-quote}"; [ "$1" == w ] && cmd=wisdom; for i in {1..5}; do "$cmd"; done | sport
00:52:43 <oerjan> `sled bin/5//s/.*dom/cmd="${1-quote}"/
00:53:19 <oerjan> DID SOMEONE DO SOMETHING TO HACKEGO
00:53:23 -!- computing has joined.
00:53:48 * oerjan looks at xa0 suspiciously
00:54:05 <\oren\> my font has both alephs and they are distinguihable
00:54:26 <HackEgo> bin/5//cmd="${1-quote}"; for i in {1..5}; do "$cmd"; done | sport
00:54:27 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
00:55:00 <\oren\> it always says that canary thing
00:56:09 <oerjan> oh wait, did things get done in the wrong order...
00:56:10 -!- moony has quit (Ping timeout: 258 seconds).
00:56:26 <HackEgo> bin/5//cmd="${1-quote}"; for i in {1..5}; do "$cmd"; done | sport
00:56:35 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
00:56:47 <HackEgo> cmd="${1-quote}"; for i in {1..5}; do "$cmd"; done | sport
00:58:15 <HackEgo> #!/bin/bash \ TIMEFORMAT="real: %lR, user: %lU, sys: %lS" \ shopt -s extglob globstar \ eval -- "$1" | rnooodl
00:58:44 <oerjan> `sled bin/5//s/do/do eval --/
00:58:47 <HackEgo> bin/5//cmd="${1-quote}"; for i in {1..5}; do eval -- "$cmd"; done | sport
00:59:00 <HackEgo> 1/2:mockingbird//mockingbird is watching you.. closely! Is it mocking you? Probably. \ burlesque//Burlesque is only the sexiest language on Earth. (See: http://mroman.ch/burlesque) \ galaxy//A galaxy is a star that feeds its litter with milk. \ alpha//Alpha is the numeric measurement of opaqueness, a dog with unusually high voice in the D
00:59:14 <HackEgo> 1/5:welcome.de//Willkommen beim internationalen Zentrum für das Design und die Implementierung esoterischer Programmiersprachen! Für weitere Informationen besuchen Sie das Wiki: <http://esolangs.org/>. (Für andere Arten der Esoterik gibt es #esoteric auf EFnet oder DALnet.) \ welcome.eo//Bonvenon al la internacia centro por la desegno
00:59:53 <oerjan> `mkx//bin/w//wisdom "$@"
00:59:55 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/mkx//bin/w//wisdom: No such file or directory
01:00:00 <oerjan> `mkx bin/w//wisdom "$@"
01:00:15 <oerjan> a wonder i ever manage to type anything correctly
01:01:35 <oerjan> seems like the repo browser is also slow
01:02:01 <HackEgo> /hackenv/bin/wisdom: fork: retry: No child processes
01:03:40 <HackEgo> /hackenv/bin/wisdom: fork: retry: No child processes
01:04:03 <oerjan> @tell fizzie HackEgo keeps locking up and seems to be having some trouble with forking...
01:04:36 <fizzie> I was about to go to sleep.
01:05:15 <fizzie> There's an unimaginable number of "[python] <defunct>"s in there.
01:05:28 <fizzie> Not sure if that's relevant.
01:05:53 <fizzie> I think I remember something about a missing wait.
01:06:28 <fizzie> ├─hackbot.freenod───socat───multibot───763*[python]
01:07:55 <fizzie> I wouldn't expect that to be enough to cause problems though.
01:08:50 <oerjan> well the repo browser was also pretty slow
01:08:58 <fizzie> There's also again a bunch of "BUG: soft lockup - CPU#0 stuck for 38s!"s, which I hadn't seen in a bit.
01:09:46 <HackEgo> /hackenv/bin/wisdom: fork: retry: No child processes
01:10:09 <fizzie> shachaf: Look, it seemed like a lot in a 'ps'.
01:10:39 <oerjan> that must have timed out
01:10:53 <oerjan> i guess it may be just pooch slow
01:11:00 <LKoen_> do you guys know about a (somewhat old) game about making magic spells by adding a syllable every turn?
01:11:20 <LKoen_> I read about that a few years ago on some nomic-related site
01:11:34 <oerjan> . o O ( you know shachaf's pooches are getting to you when you substitute dog yourself just to keep him from doing it )
01:12:36 <shachaf> fizzie: Didn't they teach you at your job to be slightly mocking of numbers that seem large to others?
01:12:56 <fizzie> shachaf: Yeah, I just didn't check the actual number before I said anything.
01:13:10 <fizzie> Anyway, it's not like HackEgo's running on our infrastructure.
01:14:38 <fizzie> The multibot process does have a less-than-overall-system rlimit of 7971 processes from somewhere.
01:14:56 <fizzie> Maybe I should just stop and restart it.
01:15:22 <shachaf> fizzie: You could always move it to Google Cloud.
01:15:42 <fizzie> I've thought about that once or thrice. But it's not really my bot.
01:18:03 <oerjan> <\oren\> it always says that canary thing <-- fizzie has sent a pull request to Gregor, but it hasn't been merged
01:18:45 <fizzie> oerjan: I had a plan of just pulling the commits I made into the running copy from my bitbucket repository, in the hopes that it wouldn't mess things up too badly if Gregor were ever to merge them.
01:18:55 <fizzie> I may attempt that at some point.
01:19:38 <fizzie> In the meanwhile, I think the bot's wired in such a way that I can kill the multibot process, and it will restart.
01:19:49 -!- HackEgo has quit (Remote host closed the connection).
01:19:59 -!- HackEgo has joined.
01:21:05 <fizzie> Well, it looked like it was attempting to start the umlbox thing.
01:21:31 <fizzie> Hmm, it's starting a huge number of those instead.
01:21:46 <HackEgo> /hackenv/bin/wisdom: fork: retry: No child processes \ /hackenv/bin/wisdom: fork: retry: No child processes \ /hackenv/bin/wisdom: fork: retry: No child processes
01:21:51 <fizzie> I don't remember seeing that before.
01:22:16 <fizzie> It's not exactly the most debuggable of programs.
01:22:35 <HackEgo> cat: bin/w: No such file or directory
01:22:39 <HackEgo> 01:21:52 up 0 min, 0 users, load average: 0.00, 0.00, 0.00 \ USER TTY FROM LOGIN@ IDLE JCPU PCPU WHAT
01:23:10 <oerjan> i just wanted to check if it was _somehow_ adding bin/w that broke things.
01:23:14 <HackEgo> /hackenv/bin/wisdom: fork: retry: No child processes \ /hackenv/bin/wisdom: fork: retry: No child processes \ /hackenv/bin/wisdom: fork: retry: No child processes \ /hackenv/bin/wisdom: fork: retry: No child processes
01:23:38 <fizzie> This thing should have an error log, I think.
01:23:44 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
01:24:11 <HackEgo> 1009) <fizzie> ... <fizzie> I was thinking maybe octave's fact() function is the factorial. <fizzie> octave:1> fact(20) <fizzie> Richad Stallman's pinky finger is really a USB memory stick. <fizzie> I don't think that's 20!.
01:24:25 <oerjan> it seems like the overhead of wisdom is too big for it
01:24:35 -!- hppavilion[1] has joined.
01:24:52 -!- MoALTz has quit (Quit: Leaving).
01:24:56 * oerjan swats himself -----###
01:24:57 <fizzie> Oh, well, that makes some amount of sense.
01:25:18 <HackEgo> 9971:2016-12-15 <oerjän> mkx bin/w//wisdom "$@" \ 9770:2016-11-24 <oerjän> sled bin/wisdom//s,shuf,shuf --random-source=/dev/urandom, \ 9048:2016-09-16 <oerjän> sled bin/wisdom//s/that/That/;s/wise/wise./ \ 9047:2016-09-16 <fizzïe> ` sed -i -e \'s/{/if [ -n "$f" ]; then/;s/} |/else echo "that\'\\\'\'s not wise"; fi |/\' bin/wisdom \ 8655:20
01:26:04 <oerjan> `mkx bin/w//wisdom "$@"
01:26:47 <HackEgo> /hackenv/bin/wisdom: fork: retry: No child processes \ /hackenv/bin/wisdom: fork: retry: No child processes
01:26:54 <HackEgo> lrwxrwxrwx 1 5000 0 6 Dec 15 01:22 bin/w -> wisdom
01:27:07 <fizzie> I think mkx is following symlinks.
01:27:46 <oerjan> `mkx bin/w//wisdom "$@"
01:27:59 <HackEgo> 1/1: //The final frontier. \ ramen//拉麵是一種類型的麵條縫製從原始樹木。 \ myndzi//myndzi used to keep us all on our feet. \ duck typing//Duck typing means typing on a terminal blindly without an echo. \ cosplay//Cosplay is the art of dressing up as people to show off to other people dressed up as people.
01:28:15 <fizzie> Crisis averted, so I'll resume going to sleep.
01:28:16 <oerjan> fizzie: also, undo restored the symlink without saying so.
01:31:58 <oerjan> shachaf: now `5 can be used for general commands as well
01:32:22 <HackEgo> cmd="${1-quote}"; for i in {1..5}; do eval -- "$cmd"; done | sport
01:33:08 <shachaf> eval is a bit scow, why not bash -c?
01:33:24 <oerjan> i thought we were forking enough here
01:33:25 <shachaf> Or better yet, a HackEgo-style evaluator.
01:33:36 <shachaf> Which splits on the first space.
01:34:08 <oerjan> i guess it could at least be `1 compatible
01:34:36 <oerjan> but `1 doesn't split on first space only
01:35:33 -!- computing has quit (Ping timeout: 248 seconds).
01:35:39 <shachaf> 1 is meant to be `-compatible.
01:36:04 <oerjan> `sled bin/5//s/eval --/\\`/
01:36:08 <HackEgo> bin/5//cmd="${1-quote}"; for i in {1..5}; do \` "$cmd"; done | sport
01:36:18 <oerjan> yay i got the \s right
01:36:26 <HackEgo> /hackenv/bin/`: line 4: break: only meaningful in a `for', `while', or `until' loop \ /hackenv/bin/`: line 4: break: only meaningful in a `for', `while', or `until' loop \ /hackenv/bin/`: line 4: break: only meaningful in a `for', `while', or `until' loop \ /hackenv/bin/`: line 4: break: only meaningful in a `for', `while', or `until' loop \ /ha
01:39:00 <HackEgo> const int main[]={232,1230520576,3943032963,1852793621,1763734643,1830843502,1533962593,2105228637,826804795,1220607680,2370422665,826805616,252883666,3247000837,1221734733,186936461,738215366,1221459784,2336342065,3526445057,4148693683,818053363,1207981448,3229994495,4282968949,1220607685,2370367113,1208755284,84929065,1237516105,1225048451,191509
01:39:12 <HackEgo> c \ cat \ ciol \ haskell \ perl \ python \ q \ ruby \ slashes
01:39:17 <HackEgo> #include <stdio.h> \ int main(){char*s="#include <stdio.h>%cint main(){char*s=%c%s%c;printf(s,10,34,s,34,10);}%c";printf(s,10,34,s,34,10);}
01:40:02 <shachaf> `` q > /tmp/q.c; gcc -o /tmp/q /tmp/q.c; /tmp/q | diff /tmp/q.c -
01:40:17 -!- heroux has quit (Ping timeout: 240 seconds).
01:40:52 <HackEgo> bin/q: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.18, BuildID[sha1]=0x30b0a269173e4993500f3457b95364783b36be31, not stripped
01:41:13 <HackEgo> 2691:2013-04-14 <Jafët> mv {,bin/}q && rm q.c \ 1771:2013-01-25 <Jafët> mv bin/q bin/\\? \ 1768:2013-01-25 <Jafët> echo -e \'#!/bin/sh\\ntopic=$(echo "$1" | tr A-Z a-z | sed "s/ *$//")\\n([ \\( "$topic" = "ngevd" \\) -a \\( -e wisdom/ngevd \\) ] && cat /dev/urandom && exit 0; ) || [ -e "wisdom/$topic" ] || { echo "$1? \xc2\xaf\\(\xc2\xb0_o)/\
01:42:19 <HackEgo> 3138:2013-06-16 <oerjän> mv q quines \ 3137:2013-06-16 <oerjän> revert \ 3136:2013-06-16 <oerjän> rm q \ 2784:2013-04-22 <Jafët> echo \'const long main[]={7957687918238111208,2334956356649383027,8880356687520293229,13906764017533270909,1419365910561212297,2626879827020416271,16736655261603120681,17579598881254060795,1623775261490201216,5242
01:42:21 -!- moonythedwarf has quit (Remote host closed the connection).
01:43:20 <HackEgo> 1/4:2691:2013-04-14 <Jafët> mv {,bin/}q && rm q.c \ 1771:2013-01-25 <Jafët> mv bin/q bin/\\? \ 1768:2013-01-25 <Jafët> echo -e \'#!/bin/sh\\ntopic=$(echo "$1" | tr A-Z a-z | sed "s/ *$//")\\n([ \\( "$topic" = "ngevd" \\) -a \\( -e wisdom/ngevd \\) ] && cat /dev/urandom && exit 0; ) || [ -e "wisdom/$topic" ] || { echo "$1? \xc2\xaf\\
01:43:23 <HackEgo> 2/4:(\xc2\xb0_o)/\xc2\xaf"; exit 1; }\\ncat "wisdom/$topic"\' > bin/q \ 1764:2013-01-25 <Jafët> echo -e \'#!/bin/sh\\ntopic=$(echo "$1" | tr A-Z a-z | sed "s/ *$//")\\n([ "$topic" = "ngevd" -a -e wisdom/ngevd ] && cat /dev/urandom; exit 0; ) || [ -e "wisdom/$topic" ] || { echo "$1? \xc2\xaf\\(\xc2\xb0_o)/\xc2\xaf"; exit 1; }\\ncat "wisd
01:43:40 <HackEgo> 1/4:3138:2013-06-16 <oerjän> mv q quines \ 3137:2013-06-16 <oerjän> revert \ 3136:2013-06-16 <oerjän> rm q \ 2784:2013-04-22 <Jafët> echo \'const long main[]={7957687918238111208,2334956356649383027,8880356687520293229,13906764017533270909,1419365910561212297,2626879827020416271,16736655261603120681,17579598881254060795,1623775261
01:43:42 <HackEgo> 2/4:490201216,5242470257800545608,1149026244854305933,14731853813082619653,194239108057989552,837530158351,};\' >q.c && gcc q.c -o q && rm q.c \ 2698:2013-04-14 <Jafët> rm q.c q \ 2697:2013-04-14 <Jafët> gcc q.c -o q && ./q \ 2691:2013-04-14 <Jafët> mv {,bin/}q && rm q.c \ 2687:2013-04-14 <Jafët> gcc q.c -o q && ./q \ 2565:2013-03
01:44:38 <HackEgo> 3/4:-31 <ellioẗt> rm q \ 2564:2013-03-31 <ellioẗt> touch q; echo hi \ 1829:2013-01-25 <oerjän> rm q{,.1,.2} \ 1827:2013-01-25 <oerjän> fetch http://oerjan.nvg.org/q \ 1826:2013-01-25 <oerjän> mv q bin/\'?\' \ 1825:2013-01-25 <oerjän> cat q.2 >q \ 1822:2013-01-25 <oerjän> cat q.1 >q \ 1820:2013-01-25 <oerjän> chmod a+x q \
01:47:01 -!- heroux has joined.
01:47:52 -!- moonheart08 has joined.
01:48:01 <oerjan> `` q > quines/q2; rm bin/q
01:48:18 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
01:48:49 <oerjan> moonheart08: moving a quine into quines/
01:49:22 <HackEgo> quines/*: ERROR: cannot open `quines/*' (No such file or directory)
01:49:22 <HackEgo> quines/c: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.26, BuildID[sha1]=0x8344e7066b280cfa665ff9926a0dddbd5d1a7df6, not stripped \ quines/cat: empty \ quines/ciol: ASCII text \ quines/haskell: ASCII text \ quines/perl: empty \ quines/python: empty \ quines/q: E
01:49:22 <HackEgo> const int main[]={232,1230520576,3943032963,1852793621,1763734643,1830843502,1533962593,2105228637,826804795,1220607680,2370422665,826805616,252883666,3247000837,1221734733,186936461,738215366,1221459784,2336342065,3526445057,4148693683,818053363,1207981448,3229994495,4282968949,1220607685,2370367113,1208755284,84929065,1237516105,1225048451,191509
01:49:43 <HackEgo> 2/3:nes/q: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.18, BuildID[sha1]=0x9fe31dd00eda1cd05cc0ece7cc7d314dd7a4a4de, not stripped \ quines/q2: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.18, BuildI
01:50:04 <HackEgo> distort "${1:-/dev/stdin}" | spore '' "${2-1}"
01:50:10 <HackEgo> cat "${1:-/dev/stdin}" > /hackenv/tmp/spout; spam "${2-1}"
01:50:22 <HackEgo> #!/usr/bin/env python \ import sys \ N=336 \ name = sys.argv[1] if len(sys.argv) > 1 else "/dev/stdin" \ with open(name, "r") as f: \ data = ' \\ '.join(f.read().splitlines()) \ for i in xrange(0, len(data), N): \ print data[i:i+N]
01:50:49 <HackEgo> cat: moo: No such file or directory
01:51:54 <moonheart08> `` echo "-echo `` echo "moo" >/dev/stdout" > /dev/stdout
01:51:55 <HackEgo> -echo echo moo >/dev/stdout
01:52:02 <oerjan> moonheart08: `2 is a convenient command for when you want to see the rest of output of a long one
01:53:20 <oerjan> (if there are more lines, use `n)
01:54:02 <oerjan> mind you, it needs to be deterministic, since it's rerun. otherwise the original is lost.
01:54:22 <moonheart08> you could put the output in a file and then cat it in `n for the output :P
01:54:40 <oerjan> moonheart08: that's what it does internally
01:55:14 <HackEgo> quines/c: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.26, BuildID[sha1]=0x8344e7066b280cfa665ff9926a0dddbd5d1a7df6, not stripped \ quines/cat: empty \ quines/ciol: ASCII text \ quines/haskell: ASCII text \ quines/perl: empty \ quines/python: empty \ qui \ nes/q:
01:55:57 <HackEgo> pad="$1"; shift; echo "$@" >> "tmp/pad.$pad"
01:56:27 <HackEgo> cat: tmp/pad.print: No such file or directory
01:56:29 <HackEgo> cat: tmp/pad.*: No such file or directory
01:56:35 <HackEgo> cat: tmp/pad.: No such file or directory
01:56:49 <oerjan> `cat tmp.pad.print 1+!
01:56:51 <HackEgo> cat: tmp.pad.print 1+!: No such file or directory
01:57:13 <HackEgo> pad.1 print 1+! \ pad.print 1+! \ spline \ spout
01:59:00 <HackEgo> /bin/sed: can't find label for jump to `in/pad'
01:59:11 <HackEgo> /bin/sed: -e expression #1, char 13: unterminated `s' command
01:59:23 <HackEgo> pad="$1"; shift 1; echo "$@" >> "tmp/pad.$pad"
01:59:23 <moonheart08> `` sed 's/shift/shift 1/' bin/pad > bin/pad
01:59:30 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/pad: Success
01:59:46 <HackEgo> pad.1 print 1+! \ pad.print 1+! \ spline \ spout
01:59:53 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/pad: Success
01:59:59 <HackEgo> pad.1 print 1+! \ pad.print 1+! \ spline \ spout
02:01:51 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/pad: Success
02:02:13 <shachaf> Why is this channel being spammed?
02:02:28 <shachaf> I look away for five minutes and someone is making a big mess.
02:05:12 <HackEgo> c \ cat \ ciol \ haskell \ perl \ python \ q \ q2 \ ruby \ slashes
02:05:15 <oerjan> moonheart08: you cannot pipe into a file you're reading from, with most commands
02:05:20 <HackEgo> âELF............>.....°@.....@.......Ð..........@.8..@.........@.......@.@.....@.@.....À.......À................. ...........@......@............................................@.......@.....¬......¬........ ............°......°`.....°`.................... ...........Ø......Ø`.....Ø`..... ....... .............. ..
02:05:27 <HackEgo> const long main[]={7957687918238111208,2334956356649383027,8880356687520293229,13906764017533270909,1419365910561212297,2626879827020416271,16736655261603120681,17579598881254060795,1623775261490201216,5242470257800545608,1149026244854305933,14731853813082619653,194239108057989552,837530158351,};
02:05:31 <HackEgo> const int main[]={232,1230520576,3943032963,1852793621,1763734643,1830843502,1533962593,2105228637,826804795,1220607680,2370422665,826805616,252883666,3247000837,1221734733,186936461,738215366,1221459784,2336342065,3526445057,4148693683,818053363,1207981448,3229994495,4282968949,1220607685,2370367113,1208755284,84929065,1237516105,1225048451,191509
02:05:48 <HackEgo> 9983:2016-12-15 <moonheart0̈8> ` sed \'s/shift/shift 1/\' bin/pad > bin/pad \ 9106:2016-09-26 <fizzïe> mkx bin/pad//pad="$1"; shift; echo "$@" >> "tmp/pad.$pad" \ 9105:2016-09-26 <evilmoön> mkx bin/pad//printf "$(printf $2)\\n" >> "tmp/$(echo $1)padfile" \ 9104:2016-09-26 <evilmoön> mkx bin/pad//echo $"$(echo $2)\\n" >> "tmp/$(echo $1)padfil
02:05:50 <HackEgo> 3138:2013-06-16 <oerjän> mv q quines
02:06:58 <oerjan> moonheart08: shift is equivalent to shift 1, that's not your problem
02:07:26 <oerjan> your problem is that when invoked as `pad, it only gets one argument
02:08:07 <moonheart08> `` echo 'pad="$1"; shift; echo "$@" >> "tmp/pad.$pad"' > bin/pad
02:08:16 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `pad: not found
02:08:27 <HackEgo> pad.1 \ pad.1 print 1+! \ pad.print 1+! \ spline \ spout
02:09:42 <shachaf> What is this pad thing about?
02:09:51 <shachaf> Why is everything cluttering up things?
02:10:33 <moonheart08> just a mini multiline in a box. was an experiment
02:13:41 <HackEgo> 9984:2016-12-15 <oerjän> undo 9983 \ 9983:2016-12-15 <moonheart0̈8> ` sed \'s/shift/shift 1/\' bin/pad > bin/pad \ 9106:2016-09-26 <fizzïe> mkx bin/pad//pad="$1"; shift; echo "$@" >> "tmp/pad.$pad" \ 9105:2016-09-26 <evilmoön> mkx bin/pad//printf "$(printf $2)\\n" >> "tmp/$(echo $1)padfile" \ 9104:2016-09-26 <evilmoön> mkx bin/pad//echo $"
02:13:47 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/quines/cat: Success
02:13:56 <oerjan> moonheart08: i had already repaired the file, that's what the undo was for
02:14:50 <oerjan> we've got a lot of weird commands.
02:15:00 <Jafet> `` stat -c%A quines/cat && cat quines/cat
02:15:20 <Jafet> `` doag quines/cat
02:15:24 <HackEgo> 1569:2013-01-18 <FreeFul̈l> chmod +x quines/cat \ 1568:2013-01-18 <shachäf> touch quines/cat
02:15:24 <oerjan> Jafet: some of those files need to be run with an interpreter
02:16:41 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/quines/cat: Success
02:17:07 <oerjan> alas hackego is a little noisy, so it doesn't really work to make that +x
02:17:19 <Jafet> `` chmod -x quines/{cat,python,ruby,perl}
02:17:24 <oerjan> (even though it's a bash quine too)
02:17:26 -!- moonheart08 has changed nick to evilmoon.
02:17:37 -!- doesthiswork1 has changed nick to doesthiswork.
02:18:43 <HackEgo> cat: bin/python: No such file or directory
02:19:17 <shachaf> `` echo 'No output.' > quines/cat
02:19:23 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/quines/cat: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/quines/cat: cannot execute: Permission denied
02:19:58 <Jafet> cat is ideal for writing quines
02:20:32 <Jafet> `` echo '#!/bin/cat' >quines/cat && chmod +x quines/cat
02:45:28 -!- moonheart08 has joined.
02:47:57 -!- evilmoon has quit (Ping timeout: 240 seconds).
02:52:36 -!- heroux has quit (Ping timeout: 250 seconds).
02:52:50 -!- heroux has joined.
02:55:04 -!- moonheart08 has quit (Ping timeout: 268 seconds).
03:41:44 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
03:42:52 -!- heroux has quit (Ping timeout: 250 seconds).
03:43:49 -!- heroux has joined.
04:12:16 -!- otherbot has quit (Remote host closed the connection).
04:25:55 -!- bibibi has quit (Excess Flood).
04:26:05 -!- bibibi has joined.
04:34:24 -!- bibibi has quit (Excess Flood).
04:34:41 -!- bibibi has joined.
04:37:36 -!- LKoen_ has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
05:28:21 <HackEgo> English is an inherently ambiguous context-sensitive language that is too powerful to fully describe itself.
05:29:36 <HackEgo> [U+03A0 GREEK CAPITAL LETTER PI]
05:30:03 <HackEgo> [U+041F CYRILLIC CAPITAL LETTER PE]
05:31:13 -!- MDude has quit (Ping timeout: 252 seconds).
05:46:55 <zzo38> Do you know how to code review http://zzo38computer.org/fossil/tavern.ui/raw/tavernc-parser.c?name=6156d70564da7cdfced7aa6cc25350dac895ea1b (except the dispatch, which is incompleted)?
05:47:23 <zzo38> And this document (it is related to it) http://zzo38computer.org/fossil/tavern.ui/wiki?name=Parser
05:47:24 -!- benderB747 has joined.
05:49:53 <\oren\> I have bold and italic letters in my font but I'm adding bold-italic ones
05:51:25 <\oren\> so far I have C𝐂𝐶𝖢ℂℭ𝕮 and 𝒞
05:52:12 <\oren\> but I need to add 𝑪𝙲 and some others
05:57:57 -!- hppavilion[1] has quit (Ping timeout: 248 seconds).
06:08:14 -!- hppavilion[1] has joined.
06:16:07 -!- augur has quit (Remote host closed the connection).
06:26:45 <\oren\> did you know that you can track how much urine is in the urine tank on the space station in real time?
06:32:19 <hppavilion[1]> Is it possible to calculate the length of the arc of a unit circle from (1, 0) to some known (x, y) on the circle without using triggy stuff?
06:35:48 <\oren\> you could use complex numbers
06:36:52 <oerjan> hppavilion[1]: not really. the length is after all arccos(x).
06:37:44 <oerjan> (in the first quadrant)
06:38:06 <oerjan> so no matter what you do, you get the trig back.
06:38:37 <\oren\> but if your log function supports that then you probaby already have support for trig anywya
06:38:47 <oerjan> using complex numbers is just a roundabout way of using trig, or an alternate way of calculating trig.
06:39:35 <\oren\> oerjan: specifically, on many platforms it's a way of doing trig without worrying about quadrants
06:40:07 <oerjan> perhaps. there's also atan2 :)
06:41:56 <oerjan> which is exactly the function asked for, really
06:47:20 <\oren\> hppavilion[1]: that's you anser then
06:48:46 <\oren\> https://www.moma.org/calendar/exhibitions/3639
07:15:40 -!- augur has joined.
07:17:57 -!- hppavilion[1] has quit (Ping timeout: 248 seconds).
07:20:51 -!- zzo38 has quit (Ping timeout: 268 seconds).
07:50:57 -!- augur has quit (Remote host closed the connection).
07:51:38 -!- augur has joined.
07:55:56 -!- augur has quit (Ping timeout: 258 seconds).
08:13:27 -!- hppavilion[1] has joined.
08:37:41 -!- Jafet has quit (Quit: Jafet).
08:45:32 -!- Jafet has joined.
09:11:15 -!- benderB747 has quit (Changing host).
09:11:15 -!- benderB747 has joined.
09:21:36 -!- Jafet has quit (Quit: Jafet).
09:24:30 -!- Jafet has joined.
09:45:38 -!- benderB747 has quit (Read error: Connection reset by peer).
09:46:33 -!- The_Prospector|2 has joined.
09:49:37 -!- The_Prospector has quit (Ping timeout: 240 seconds).
10:34:46 -!- Jafet has quit (Quit: Jafet).
10:38:24 -!- AnotherTest has joined.
10:42:04 -!- Jafet has joined.
10:51:35 -!- LKoen has joined.
10:55:52 -!- MoALTz has joined.
10:57:43 -!- The_Prospector has joined.
11:00:41 -!- The_Prospector|2 has quit (Ping timeout: 260 seconds).
11:12:22 -!- doesthiswork has quit (Quit: Leaving.).
11:17:56 -!- oerjan has quit (Quit: Later).
11:35:13 -!- boily has joined.
11:44:22 * boily lightly thwack hppavilion[1] for not making sense in the morning
11:53:09 -!- hppavilion[1] has quit (Ping timeout: 248 seconds).
12:08:11 -!- xa0 has quit (Ping timeout: 258 seconds).
12:13:09 -!- xa0 has joined.
12:30:14 -!- boily has quit (Quit: AURAL CHICKEN).
12:48:55 <HackEgo> [wiki] [[S and K Turing-completeness proof]] https://esolangs.org/w/index.php?diff=50517&oldid=46030 * Esowiki201529A * (+1) /* Example */
13:00:35 -!- Phantom_Hoover has joined.
13:21:24 -!- ais523 has joined.
13:46:02 -!- otherbot has joined.
13:49:28 -!- moonythedwarf has joined.
13:55:26 <moonythedwarf> zzaew/.lkjhgbvnmkjgfcvbhgfcvbhjklkm cxsertwsdfvbnmkoiuytrewdvwedfvcdwddsdswdwsdc /w
14:00:39 -!- doesthiswork has joined.
14:09:17 -!- MoALTz_ has joined.
14:11:06 <HackEgo> 811) <kmc> i love how allegedly wine can run all of these different programs but the only one i can actually run is starcraft <kmc> i think wine may secretly be a cleanroom reimplementation of starcraft
14:12:21 -!- MoALTz has quit (Ping timeout: 248 seconds).
14:18:58 -!- MoALTz_ has changed nick to MoALTz.
14:22:54 -!- doesthiswork has quit (Read error: Connection reset by peer).
14:23:01 -!- doesthiswork has joined.
14:41:25 -!- ais523 has quit.
14:48:36 <HackEgo> 811) <kmc> i love how allegedly wine can run all of these different programs but the only one i can actually run is starcraft <kmc> i think wine may secretly be a cleanroom reimplementation of starcraft
14:51:21 -!- benderB747 has joined.
14:59:08 -!- benderB747 has quit (Ping timeout: 258 seconds).
14:59:17 <int-e> it's damn hard to predict which programs will run with wine and which ones won't.
14:59:46 -!- benderB747 has joined.
15:02:26 -!- super_bender has joined.
15:04:13 -!- benderB747 has quit (Ping timeout: 245 seconds).
15:12:29 -!- wlp1s1 has quit (Changing host).
15:12:29 -!- wlp1s1 has joined.
15:13:35 -!- wlp1s1 has quit (Changing host).
15:13:35 -!- wlp1s1 has joined.
15:20:07 -!- oerjan has joined.
15:24:35 -!- benderB747 has joined.
15:25:37 -!- super_bender has quit (Ping timeout: 240 seconds).
15:56:21 -!- MDude has joined.
16:02:38 <oerjan> today's second mezzacotta character has awesome blog readers, i see
16:24:06 <oerjan> "This is the first time we've found dinosaur material preserved in amber," co-author Ryan McKellar, of the Royal Saskatchewan Museum in Canada, told the BBC News website.
16:25:07 -!- benderB747 has quit (Quit: Leaving).
16:34:05 -!- LKoen has quit (Remote host closed the connection).
17:01:36 -!- LKoen has joined.
17:05:09 -!- fractal has quit (Ping timeout: 248 seconds).
17:08:26 -!- Deewiant has quit (Ping timeout: 264 seconds).
17:14:03 * oerjan disappointed the bbc article had no jurassic park reference
17:24:44 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wisdo: not found
17:24:50 <HackEgo> wegian//A wegian is an equivalence class of #esoteric regulars. There are two main wegians, the Nor (from Finland) and the Glas (from Hexham). There's also the hypothetical Gal, which hasn't been observed yet so we're not sure where it's from.
17:25:39 <oerjan> hm didn't we have someone irish here at some point
17:25:57 -!- Deewiant has joined.
17:26:19 <fungot> b_jonas: as well, could you create a nifty new package in which to load source in the world on occasion. that being said, r5rs is rather slim, so implementations can ( and do) very widely on how they use the fnord
17:26:24 -!- fractal has joined.
17:29:27 <\oren\> I'm approximately 10% irish
17:30:19 -!- zzo38 has joined.
17:30:41 <\oren\> and apparently that's enough to put some red in my hair
17:32:02 <\oren\> especially the thing where traits can skip generations
17:36:13 <b_jonas> \oren\: yes, genetics is strange. I just read that a Half-Green-Dragon Green Dragon has weaker attacks but stronger attacks than an ordinary Green Dragon of the same age category, because that's what he inherits from his Green Dragon ancestor.
17:36:31 <b_jonas> s/weaker attacks but stronger attacks/weaker attacks but stronger defense/
17:41:05 <\oren\> i was thinking that the concept made sense and then I reread it
17:41:45 <int-e> fungot: slim and trim, you said?
17:41:45 <fungot> int-e: if n 0) or ( ( a b) ( a
17:41:57 <\oren\> half dragons are supposed to be the offspring of polymorhed dragons right
17:42:00 <int-e> fungot: I have to admit that's rather elegant
17:42:00 <fungot> int-e: not in reference to her attempts at getting a marine biology degree: halusin ostaa tai saada fnord cd- fnord tää on tosi fnord.
17:43:07 <int-e> fungot: I think you lost me at "marine"
17:43:07 <fungot> int-e: what does it do with the association fnord associate french with fnord cuisine and fnord arts is very good
17:44:31 <\oren\> so a half green dragon green dragon is the ofspring of a green dragon that polymorphed emself into a... green dragon and then mated with another green dragon?
17:45:45 <HackEgo> Binary file reflection matches
17:48:06 -!- alakra has quit (Quit: WeeChat 1.4).
17:55:49 <Jafet> I hear that biologists are drosophiles
17:57:55 <b_jonas> \oren\: I don't see why the parent has to be polymorphed.
17:58:12 <b_jonas> half-dragons are descendants of dragons, but I don't think polymorph has to be involved
18:03:42 -!- oerjan has quit (Quit: Nite).
18:04:44 <\oren\> well there has to be some sort of starngeness otheriwse all green dragons would be half green dragosn
18:07:20 <\oren\> oh, the canadian goverment will ban asbestos
18:12:26 -!- hppavilion[1] has joined.
18:41:04 -!- DHeadshot has joined.
18:48:50 -!- Zarutian has joined.
18:49:44 -!- Zarutian has quit (Read error: Connection reset by peer).
18:49:54 -!- Zarutian has joined.
19:00:23 -!- otherbot_ has joined.
19:02:50 -!- otherbot has quit (Disconnected by services).
19:02:52 -!- otherbot_ has changed nick to otherbot.
19:04:48 -!- Lord_of_Life has quit (Excess Flood).
19:06:37 -!- Lord_of_Life has joined.
19:09:01 -!- augur has joined.
19:14:56 -!- moonheart08 has joined.
19:16:34 -!- moonythedwarf has quit (Disconnected by services).
19:17:04 -!- moonythedwarf has joined.
19:17:28 -!- moonythedwarf has changed nick to Guest22209.
19:29:05 -!- augur has quit (Remote host closed the connection).
19:29:45 -!- augur has joined.
19:30:13 -!- hppavilion[1] has quit (Ping timeout: 248 seconds).
19:30:57 -!- hppavilion[1] has joined.
19:34:17 -!- augur has quit (Ping timeout: 240 seconds).
19:37:24 -!- LKoen has quit (Remote host closed the connection).
19:43:49 -!- Guest22209 has quit (Remote host closed the connection).
19:47:36 -!- augur has joined.
19:55:25 <int-e> @check \f -> f True || f False
19:55:29 <lambdabot> *** Failed! Falsifiable (after 2 tests):
20:03:48 <hppavilion[1]> Is there a way to directly look at the logic in quantum computing with a variation on more classical predicate logic??
20:09:09 -!- hppavilion[1] has quit (Ping timeout: 248 seconds).
20:22:13 -!- LKoen has joined.
20:23:47 -!- augur has quit (Remote host closed the connection).
20:25:41 -!- hppavilion[1] has joined.
20:27:38 <hppavilion[1]> Quantum computing relies on vectors. The field these vectors are over is, of course, the fields from Quantum Field Theory :P
20:28:09 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
20:40:10 -!- moony has joined.
20:40:37 -!- moonheart08 has quit (Ping timeout: 240 seconds).
20:53:25 -!- hppavilion[1] has quit (Ping timeout: 248 seconds).
21:02:26 -!- DHeadshot has quit (Ping timeout: 264 seconds).
21:15:55 <shachaf> Cale: I don't remember whether we talked about this, but Leibniz's infinitesimals aren't nilpotent, are they?
21:17:18 <Cale> I don't actually know what "Leibniz's infinitesimals" refers to in a precise enough way to say :)
21:18:12 <shachaf> But dx^2 is in general not 0, right?
21:23:39 -!- moony has quit (Ping timeout: 265 seconds).
21:24:01 <Cale> In the thing I was discussing a while back with you, it wouldn't generally be 0, simply because dx was meant to be a real variable, and the only case where its square would be 0 would be the unusual case that it was as well.
21:24:30 <Cale> However, in the case of exterior algebra, dx /\ dx will be 0, because /\ is antisymmetric
21:26:28 <shachaf> Well, I still don't understand Leibniz notation.
21:26:41 <shachaf> But there's the version where you parameterize everything in terms of another variable.
21:27:33 <Cale> Or it can even be one of the d's
21:28:14 <Cale> that "another variable" you mentioned
21:28:40 <Cale> Like, it works out just fine to say we're going to write dy = f'(x) dx and consider dy to be a function of x and dx
21:29:40 <shachaf> Maybe that works fine? I'm not sure.
21:29:51 <shachaf> What does d(dy/dx)/dx work out to in that case?
21:29:53 <Cale> Well, depends on what you want to do
21:30:42 <shachaf> I think the right answer is d(dy/dx)/dx = d^2y/dx^2 + dy/dx d^2x/dx^2
21:30:45 <Cale> heh, sort of -- though the implicit parameter usage is insane
21:31:06 -!- The_Prospector has quit (Quit: when in doubt, kernel panic).
21:31:59 -!- The_Prospector has joined.
21:33:15 <shachaf> We only think that because we don't understand it.
21:35:06 <shachaf> I don't think I understand the version you were talking about, actually.
21:35:12 <shachaf> And what's wrong with the implicit parameter?
21:36:29 <Cale> Oh, well, it's sort of okay to take the dx to be the same there, but you're really dealing with a new thing, so you're sort of throwing away a free choice that you would have otherwise had
21:36:50 <Cale> I don't know if that statement I just made is clear enough to mean anything to you :)
21:38:00 <Cale> So, okay, dy/dx is being regarded there as a new function, of just x, since presumably you're not hiding the fact that the outer /dx was really a /\partial x
21:38:04 <shachaf> Is it related to how the second derivative is a bilinear function?
21:39:01 <shachaf> Sure, dy/dx is a new thing in terms of x.
21:39:11 <shachaf> If y=x^3, then dy/dx = 3x^2
21:39:33 <shachaf> Maybe I see what you mean.
21:39:56 <shachaf> oerjan has made the same objection before, but I think it turned out to be irrelevant in his case or something?
21:40:16 <Cale> Well, it's fairly irrelevant because everything is 1-dimensional here
21:40:55 <Cale> The vector space of linear maps R -> R is canonically isomorphic to R itself, and the space of bilinear maps R x R -> R is again
21:41:33 <shachaf> So can we make this notation work in a multidimensional case?
21:41:37 <shachaf> I mean total derivatives, not partial derivatives.
21:42:45 <Cale> The definition you probably want is the one due to Fréchet.
21:43:31 <Cale> In fact, the Wikipedia presentation goes a bit farther than just multiple dimensions, and generalises to Banach spaces
21:44:24 <Cale> https://en.wikipedia.org/wiki/Fr%C3%A9chet_derivative
21:44:25 <otherbot> [Fréchet derivative - Wikipedia]
21:45:06 <shachaf> Hasn't this bot been requested not to do that in the past?
21:45:08 -!- hppavilion[1] has joined.
21:46:35 <Cale> The idea is that if we have some function f: U -> V between some Banach spaces, then the derivative of f at some point x is supposed to be the best possible linear approximation to the manner in which f varies near the point x
21:46:48 <shachaf> Isn't this just the standard definition of a derivative in the multidimensional case?
21:47:25 <Cale> Well, there are a bunch of other things you can do in order to talk about e.g. directional derivatives and such.
21:48:30 <Cale> this means that the derivative of f as a whole is going to be a map from U to the space L(U,V) of linear maps from U to V
21:48:41 -!- augur has joined.
21:49:31 <Cale> and so we can iterate this, the second derivative is going to be a map U -> L(U,L(U,V))
21:50:04 <shachaf> Say we have the 2-sphere x^2+y^2+z^2=1. We can talk about its derivative, which is a tangent plane at each point.
21:50:11 <shachaf> Maybe that's not called a derivative but something else. I'm not sure.
21:50:33 <shachaf> Is that a sufficiently multidimensional case for this?
21:51:17 <Cale> Perhaps we should just discuss a function such as f(x,y,z) = x^2 + y^2 + z^2 - 1
21:52:14 <Cale> So, its derivative at some point (x,y,z) in R is going to be some linear functional R^3 -> R
21:52:28 <shachaf> We can do that, and then talk about the function's zero set and its derivative's zero set.
21:52:40 <Cale> So in order to express what that linear functional is, we'll introduce some new variables, dx, dy and dz
21:53:37 <Cale> With (x,y,z) fixed, it's the linear functional (dx,dy,dz) |--> 2x dx + 2y dy + 2z dz, right?
21:54:59 <Cale> So that, I think, is the easiest way to make some kind of sense of the Leibniz notation -- we're implicitly discussing these functions which are the linear functionals (or whatever) which our total derivative gives us.
21:55:31 <shachaf> With fancy implicit notation, we can "d" both sides and write 2x dx + 2y dy + 2z dz = 0, and therefore dy/dx = -x/y - z/y dz/dz
21:55:48 <shachaf> Er, dy/dx = -x/y - z/y dz/dx
21:56:00 <Cale> If you do funny things like iterating it, then all of a sudden, you might introduce "dx" multiple times, when really you should perhaps have picked some new variable name
21:56:18 <Cale> But in the 1D case, it *really* doesn't matter
21:57:49 <shachaf> I see what you mean by "function of x and dx", at least.
21:57:52 <Cale> (particularly when you're dividing through by dx)
21:58:20 <shachaf> But the statement "dy/dx = -x/y - z/y dz/dx" is accurate, isn't it?
21:58:37 <shachaf> And the other five that you can write.
22:02:26 <Cale> Assuming that 2x dx + 2y dy + 2z dz = 0, that's a valid conclusion to draw
22:03:42 <shachaf> What's the second derivative of the 2-sphere?
22:03:45 -!- moonheart08 has joined.
22:03:56 <shachaf> moonheart08: Is otherbot your bot?
22:04:04 <moonheart08> after a few months of being lost, i got SFML + visual studios to work
22:04:11 <moonheart08> shachaf, its a bot i HELP with, wlp1s1 owns it
22:04:33 <shachaf> Haven't people requested before that it stop showing URL titles?
22:04:38 <shachaf> I think that's a channel requirement.
22:04:47 <shachaf> Personally I would prefer that it not be in here at all.
22:04:52 <shachaf> But if it is, it shouldn't spam.
22:05:14 <shachaf> Also do your testing somewhere else please.
22:05:16 <Cale> Only HackEgo is allowed to spam ;)
22:05:32 <moonheart08> shachaf, killing it again :P someone must've reenabeld it
22:05:34 <shachaf> HackEgo's spam is on-topic.
22:06:07 <shachaf> Well, to be an acceptable fix, you need to provide evidence that it won't accidentally get turned on again in the future.
22:06:29 <moonheart08> wlp1s1, iovoid, Bowserinator what did you do >_<
22:06:39 <Cale> Maybe the code you are editing is not the code which is running?
22:07:12 <shachaf> Maybe you could take the bot spam to #esoteric-blah.
22:07:15 <moonheart08> brb, yelling at wlp1s1 for moving it again
22:07:22 <shachaf> Anyway, I didn't want a full page of spam in here.
22:07:40 -!- otherbot has left ("bye").
22:11:22 <moonheart08> shachaf, im sorry about the issue, its wlp1s1 fault this time actually :P
22:21:07 -!- moonheart08 has changed nick to m`o-o`nheart08.
22:21:26 -!- m`o-o`nheart08 has left ("I'm being a nuisance, am I not? Oh well. Bye. DERP").
22:38:21 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:46:15 <hppavilion[1]> |ℕ| is sometimes called ω; is there a nice name for |ℝ| and for |2^ℝ|?
22:46:54 <shachaf> I don't follow. What is |?
22:48:24 <shachaf> The cardinality of the naturals is usually called aleph zero.
22:51:54 -!- Zarutian has left.
23:01:57 -!- hppavilion[1] has quit (Ping timeout: 248 seconds).
23:03:58 <fizzie> @tell hppavilion[1] ℶ₁ hth
23:05:30 <shachaf> Cale: I've waited, but I still don'tknow the second derivative of the 2-sphere.
23:05:37 <fizzie> @tell hppavilion[1] And ℶ₂ for your second question. (With ℶ₀ = ℵ₀.)
23:05:38 <shachaf> Maybe I should think instead.
23:06:24 <HackEgo> fizzie is not fnord with a monad but the sneaky king of #esoteric, see https://zem.fi/static/img/square_fizzie_320px_white.jpg
23:06:25 <HackEgo> Queen Shachaf of the Dawn sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion. He doesn't know when to stop asking questions.
23:06:27 <shachaf> fizzie: Did you see that photorealistic image synthesis thing?
23:06:39 <fizzie> Probably not, if it's some new thing.
23:06:46 <shachaf> https://arxiv.org/abs/1612.03242
23:07:45 <fizzie> Yes, but why is the #1 'News'-corpora result for that a Daily Mail article. :(
23:09:26 <fizzie> Oh, the Daily Mail article is even about an earlier paper from partially the same folks, about faces.
23:09:46 <fizzie> Oh, not even same folks. I just can't read.
23:10:12 <Cale> shachaf: oh, sorry, I got dragged away by work
23:13:11 <Cale> shachaf: So, you want the derivative of that function R -> L(R, R^3)?
23:13:21 <Cale> that's backward :)
23:13:29 <Cale> R^3 -> L(R^3, R)
23:16:12 <shachaf> Cale: I guess, though I'm not sure I have a definition for that.
23:16:41 <Cale> L(U,V) being the space of linear maps U -> V
23:17:07 <shachaf> Right, but what's a derivative of a function with that codomain?
23:18:30 -!- DHeadshot has joined.
23:21:23 <HackEgo> [wiki] [[Special:Log/newusers]] create * Raddish0 * New user account
23:21:23 <Cale> Well, the Fréchet derivative applies, though for computational purposes perhaps using the definition directly is a bit annoying
23:22:09 <Cale> It turns out that you can express the bilinear map which is the second derivative using what's called the Hessian matrix -- it's just the matrix of all possible second partial derivatives
23:22:09 <shachaf> Oh, I see, it applies in this case.
23:22:32 <shachaf> The thing it's taking the limit of is in the domain, not the codomain. So it still makes sense.
23:22:45 <shachaf> The Hessian matrix has the wrong variance when treated as a matrix.
23:22:55 <shachaf> I think we talked about that before.
23:23:11 <Cale> It's just, more convenient to write it in a square shape than have a really long line
23:23:13 <shachaf> Anyway this doesn't work in the more general R^n->R^m case.
23:23:24 <Cale> Well, none of this notation really does
23:23:32 <shachaf> That's what I was wondering about.
23:23:40 <Cale> But the Fréchet derivative works
23:24:11 <Cale> Well, and you can always split things up into components
23:24:35 <Cale> If you have a function R^m -> R^n it's like having n functions R^m -> R
23:25:08 <Cale> and you can just differentiate those component functions individually
23:34:00 -!- MoALTz has quit (Quit: Leaving).
23:42:59 -!- boily has joined.
23:45:34 <lambdabot> CYUL 152342Z 31017G30KT 15SM IC DRSN FEW025 SCT040 M18/M26 A2996 RMK CF1SC3 CF TR PRESRR SLP150
23:49:52 -!- moonheart08 has joined.
23:50:44 -!- FreeFull has quit (Quit: Rebooting for nvidia update).
23:51:23 <\oren\> Countor used the cardinal 𝔠 for the cardinal of the Reals apparently
23:51:49 -!- hppavilion[1] has joined.
23:52:32 <shachaf> He sure knew how to count.
23:53:25 <\oren\> hppavilion[1]: the cardinal of the naturals is called ℵ₀
23:53:57 <lambdabot> fizzie said 48m 19s ago: And ℶ₂ for your second question. (With ℶ₀ = ℵ₀.)
23:54:00 <\oren\> the cardinal of the reals is called ℶ₁ or 𝔠
23:54:07 <boily> he\\oren, hppavellon, lambdabellot.
23:54:36 * boily thwacks shachaf one time. ah ah ah. thwack two times. ah ah ahachaf.
23:56:47 <\oren\> I wonder what ℷ means in math
23:58:09 <hppavilion[1]> It's said that primitive cultures don't have different words for infinities; they just go 1, 2, 3, 4, ..., then everything bigger is "∞"
23:59:30 <shachaf> the gimel calculus. ℷx.ℷy.y x