00:01:45 <hppavilion[1]> (General Quantifiers are meant to generalize existential quantification, universal quantification, and uniqueness quantification by allowing you to specify how many may exist (for uniqueness, exactly 1, for existential, 1 or more, and for universal, as many as there are))
00:02:42 <hppavilion[1]> (sort of like https://en.wikipedia.org/wiki/Counting_quantification)
00:07:32 <boily> hppavilion[1]: have you looked at https://en.wikipedia.org/wiki/Surreal_number hth
00:08:00 <hppavilion[1]> boily: I'm actively reading Knuth's book on the subject
00:08:14 -!- DHeadshot_ has quit (Ping timeout: 252 seconds).
00:12:12 -!- iovoid has quit (Quit: Iovoid has quit!).
00:15:18 <boily> imode: have you been asked the The Question yet?
00:17:22 <imode> boily: the question?
00:21:26 <boily> not just the question, the The Question!
00:21:32 <imode> ask me The Question!
00:21:42 <boily> what are your approximative geographic coördinates and body weigh?
00:22:27 <imode> 47.7511° N, 120.7401° W
00:25:09 <imode> was that The Question? :P
00:26:06 <boily> it was the The Question.
00:27:19 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
00:27:19 <lambdabot> KSEA 052253Z 31006KT 10SM FEW035 SCT075 BKN250 18/08 A2993 RMK AO2 SLP141 T01830083
00:27:49 -!- iovoid has joined.
00:28:13 -!- iovoid has changed nick to Guest11425.
00:29:09 -!- Guest11425 has quit (Changing host).
00:29:09 -!- Guest11425 has joined.
00:29:13 -!- Guest11425 has changed nick to iovoid.
00:31:45 -!- moony42 has quit (Remote host closed the connection).
00:33:02 -!- oerjan has joined.
00:37:21 <boily> were you lobbed spaceheaters?
00:39:21 <oerjan> i think they missed. i have a couple radiators, anyway.
00:39:42 <oerjan> the inside is acceptable.
00:40:00 -!- moonythedwarf has joined.
00:40:27 <HackEgo> [wiki] [[VoidLang]] https://esolangs.org/w/index.php?diff=49871&oldid=49857 * Iovoid * (+133)
00:42:47 <HackEgo> 2016-09-25 <fizzie> revert 942e964c81c1 \ 2016-09-25 <evilipse> ` chmod 777 / -R \ 2014-03-16 <oerjan> revert \ 2014-03-16 <elliott> revert 1 \ 2013-12-06 <int-e> echo \'Semi-automatic text generation.\' > wisdom/science
00:45:46 <oerjan> `? jeffl35 the entry for me is 'moon'
00:45:47 <HackEgo> jeffl35 the entry for me is 'moon'? ¯\(°_o)/¯
00:46:09 <HackEgo> #!/bin/bash \ topic=$(echo "$1" | lowercase | sed "s/noo\+dl/nooodl/;s/ *$//") \ topic1=$(echo "$topic" | sed "s/s$//") \ cd wisdom \ if [ \( "_$topic1"_ = "_ngevd"_ \) -a \( -e ngevd \) ]; \ then cat /dev/urandom; \ elif [ -e "$topic" ]; \ then cat "$topic" | rnooodl; \ elif [ -e "$topic1" ]; \ then cat "$topic1" | rnooodl;
00:46:14 * boily looks shiftily at oerjan. “what the fungot is going on...”
00:47:12 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/%3F
00:47:20 -!- moonythedwarf_ has joined.
00:48:18 <oerjan> hm i see, it doesn't apply the munging (including space stripping) to the error reporting.
00:48:40 <HackEgo> [wiki] [[VoidLang]] M https://esolangs.org/w/index.php?diff=49872&oldid=49871 * Iovoid * (+0) Typo in operator
00:49:42 -!- moonythedwarf has quit (Ping timeout: 264 seconds).
00:53:08 <HackEgo> e is a freenode admin. E is not known to be an Agora player.
00:53:20 <HackEgo> wisdom/e//e is a freenode admin. e is not known to be an Agora player.
00:54:04 <oerjan> for the same reason as `? peer
00:54:46 <HackEgo> rules of wisdom//All words mentioned in a wisdom entry MUST have a wisdom entry. fact: this entry is breaking the rules
01:05:18 -!- carado has quit (Ping timeout: 264 seconds).
01:07:02 <oerjan> `` echo '.././/hi' | sed 's,((..?)?/)*,,'
01:07:12 <oerjan> `` echo '.././/hi' | sed 's,((..\?)\?/)*,,'
01:07:47 <oerjan> `` echo '.././/hi' | sed 's,\(\(..?\)?/\)*,,'
01:07:56 <oerjan> `` echo '.././/hi' | sed 's,\(\(..\?\)\?/\)*,,'
01:08:30 <oerjan> `sled bin/?//2s!"[)],;s,\(\(..\?\)\?/\)*,,!
01:08:31 <HackEgo> sed: -e expression #1, char 30: unterminated `s' command
01:08:58 <oerjan> `sled bin/?//2s!"[)]!;s,\(\(..\?\)\?/\)*,,")!
01:08:59 <HackEgo> bin/?//#!/bin/bash \ topic=$(echo "$1" | lowercase | sed "s/noo\+dl/nooodl/;s/ *$//;s,((..?)?/)*,,") \ topic1=$(echo "$topic" | sed "s/s$//") \ cd wisdom \ if [ \( "_$topic1"_ = "_ngevd"_ \) -a \( -e ngevd \) ]; \ then cat /dev/urandom; \ elif [ -e "$topic" ]; \ then cat "$topic" | rnooodl; \ elif [ -e "$topic1" ]; \ then cat "$
01:09:27 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
01:10:08 <oerjan> `sled bin/?//2s!"[)]!;s,\\(\\(..\\?\\)\\?/\\)*,,")!
01:10:10 <HackEgo> bin/?//#!/bin/bash \ topic=$(echo "$1" | lowercase | sed "s/noo\+dl/nooodl/;s/ *$//;s,\(\(..\?\)\?/\)*,,") \ topic1=$(echo "$topic" | sed "s/s$//") \ cd wisdom \ if [ \( "_$topic1"_ = "_ngevd"_ \) -a \( -e ngevd \) ]; \ then cat /dev/urandom; \ elif [ -e "$topic" ]; \ then cat "$topic" | rnooodl; \ elif [ -e "$topic1" ]; \ then
01:11:35 <oerjan> oh well that's fairly harmless anyway.
01:11:50 <HackEgo> ../../../bin/sh? ¯\(°_o)/¯
01:11:54 <HackEgo> ../..//bin/sh? ¯\(°_o)/¯
01:12:33 <oerjan> `file wisdom/../../bin/sh
01:12:33 <HackEgo> wisdom/../../bin/sh: symbolic link to `dash'
01:13:58 <HackEgo> test failed. HackEgo-JUnit is not available.
01:14:35 <boily> hppavilion[1]: AAAAAAAAAAAAAH! forgot to copy the line!
01:15:15 <hppavilion[1]> boily: Oh, the line you wanted to horrify coworkers with?
01:15:38 <hppavilion[1]> (Well, no I didn't, but I'm always forgetting something so if you ask I say "probably")
01:16:49 -!- ^v has quit (Quit: ZNC - http://znc.in).
01:16:57 <boily> oerjan: it's far from being lost forever. it's now deeply entrenched in one of our git repos.
01:17:24 <boily> (I *may* have managed to make somebody else do code review and merge a patchset that has a "poulet" in it once...)
01:17:33 <oerjan> <shachaf> Give it to oerjan instead. <-- but i already have one.
01:17:58 <boily> hppavilion[1]: I'm a software developer for a digital dentistry company.
01:18:10 * oerjan suddenly remembers something he forgot. thanks hppavilion[1]
01:18:59 <boily> 3D scanners, CAD/CAM software for prosthesis design, milling and printing machines, stuff like that.
01:20:25 <oerjan> boily: do you also program boring machines, like Vorpal does?
01:20:35 -!- moonythedwarf has joined.
01:21:01 <boily> no, I'm on the "Cloud Team". we manage servers for data interchange between dentists, labs, production centers, manufacturers...
01:21:40 <boily> @ask Vorpal Vellorpal. what kind of boring machine do you drill with?
01:21:57 -!- moonythedwarf_ has quit (Ping timeout: 265 seconds).
01:22:27 <boily> hppavilion[1]: it's the future of dentistry! it's shiny! teeth are fun!
01:22:29 -!- nulquen has joined.
01:23:22 -!- ^v has joined.
01:23:39 <HackEgo> nulquen: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
01:23:49 <HackEgo> "Only sane man" boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist.
01:24:14 <oerjan> `slwd boily//s/.$/ who helps keep the world boring./
01:24:16 <HackEgo> wisdom/boily//"Only sane man" boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist who helps keep the world boring.
01:30:29 <HackEgo> Your mysterious weevil bulgarian quack octoberlord oerjan is a lazy expert in suture computation. Also a Pre-recombination Glaswegian who mildly dislikes Roald Dahl and passion fruit. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
01:30:52 <boily> woohoo! j'ai dépassé oerjan!
01:31:09 <boily> (uhm. what's «dépasser» in English? drawing a blank here...)
01:31:59 <boily> en:"to pass" fr:passer
01:32:52 <oerjan> which is probably borrowed from french, or possibly latin.
01:34:09 -!- ^v has quit (Quit: ZNC - http://znc.in).
01:34:43 -!- ^v has joined.
01:39:43 <hppavilion[1]> Grapheme-Time Synesthesia: Different symbols have different durations
01:41:29 <boily> do numbers for you have an inherent beauty? like 242 looks nice, but 9147 is ugly?
01:49:00 <HackEgo> [wiki] [[VoidLang]] https://esolangs.org/w/index.php?diff=49873&oldid=49872 * Iovoid * (+109) Add link to implementation.
01:49:03 -!- moonythedwarf has quit (Ping timeout: 244 seconds).
01:56:28 <ais523> boily: 242 is beautiful, but 9147 isn't all that ugly
01:59:10 <tswett> I wonder if it's possible for me to install PowerShell on HackEgo.
02:00:04 <HackEgo> cat: /etc/lsb-release: No such file or directory
02:00:26 <tswett> Well, HackEgo doesn't seem to be running Ubuntu.
02:00:28 <HackEgo> No LSB modules are available. \ Distributor ID:Debian \ Description:Debian GNU/Linux \ Release:n/a \ Codename:n/a
02:00:30 <boily> ais523: 9147 looks and sounds wrong to me.
02:01:06 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
02:01:09 <tswett> Here's the URL for a .deb file: https://github.com/PowerShell/PowerShell/releases/download/v6.0.0-alpha.10/powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb
02:01:26 <tswett> Problem is, this thing has dependencies.
02:02:02 <HackEgo> cat: /etc/issue: No such file or directory
02:02:14 <tswett> `cat /etc/debian_version
02:02:15 <HackEgo> cat: /etc/debian_version: No such file or directory
02:02:28 <tswett> Does this thing even have apt-get on it?
02:02:32 <HackEgo> apt 0.9.7.9 for amd64 compiled on Nov 16 2013 12:41:41 \ Usage: apt-get [options] command \ apt-get [options] install|remove pkg1 [pkg2 ...] \ apt-get [options] source pkg1 [pkg2 ...] \ \ apt-get is a simple command line interface for downloading and \ installing packages. The most frequently used commands are update \ and install. \
02:02:39 <HackEgo> cat: /etc/motd: No such file or directory
02:02:54 <tswett> Well... it won't hurt to try?
02:02:59 <tswett> `wget https://github.com/PowerShell/PowerShell/releases/download/v6.0.0-alpha.10/powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb
02:03:00 <HackEgo> --2016-10-06 01:02:39-- https://github.com/PowerShell/PowerShell/releases/download/v6.0.0-alpha.10/powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb \ Resolving github.com (github.com)... failed: Name or service not known. \ wget: unable to resolve host address `github.com'
02:03:06 <ais523> tswett: you want `fetch
02:03:11 <tswett> `fetch https://github.com/PowerShell/PowerShell/releases/download/v6.0.0-alpha.10/powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb
02:03:28 <ais523> hmm, `fetch is normally faster than this
02:03:42 <HackEgo> 2016-10-06 01:03:16 URL:https://github-cloud.s3.amazonaws.com/releases/49609581/1434e3dc-7b5c-11e6-8375-31fdcb64a7cd.deb?X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAISTNZFOVBIJMK3TQ%2F20161006%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Date=20161006T010325Z&X-Amz-Expires=300&X-Amz-Signature=93d65c75024dc5add971ad455e8e17bc09c73015e5c36a8c949f5
02:03:42 <HackEgo> W: Unable to read /etc/apt/apt.conf.d/ - DirectoryExists (2: No such file or directory) \ (__) \ (oo) \ /------\/ \ / | || \ * /\---/\ \ ~~ ~~ \ ...."Have you mooed today?"...
02:03:59 <tswett> Well, it's a 39-megabyte file.
02:04:11 <tswett> `file powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb
02:04:11 <HackEgo> powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb: Debian binary package (format 2.0)
02:04:25 <tswett> We're in good shape so far.
02:04:37 <tswett> `run dpkg -i powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb
02:04:38 <HackEgo> dpkg: error: requested operation requires superuser privilege
02:04:57 <tswett> Wish me luck in entering the password correctly?
02:05:01 <tswett> `run sudo dpkg -i powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb
02:05:02 <HackEgo> bash: sudo: command not found
02:05:22 <boily> Gregor: SUDOOOOOOOOOOOOOOOOOOOOO!
02:06:14 <oerjan> tswett: the sandbox doesn't even have writeable mounts outside /hackenv/ and /tmp/
02:06:26 <ais523> you might be able to install it inside /hackenv/ though
02:06:40 <tswett> `run sudo dpkg -i powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb --instdir=powershell
02:06:41 <HackEgo> bash: sudo: command not found
02:06:47 <tswett> `run dpkg -i powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb --instdir=powershell
02:06:47 <HackEgo> dpkg: error: requested operation requires superuser privilege
02:06:56 <tswett> `run dpkg -i powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb --root=powershell
02:06:57 <HackEgo> dpkg: error: requested operation requires superuser privilege
02:07:06 <boily> `run su -c 'echo test'
02:07:07 <HackEgo> su: Cannot determine your user name.
02:07:13 <boily> `run su root -c 'echo test'
02:07:14 <HackEgo> su: Cannot determine your user name.
02:07:24 <ais523> that's quite the gid too
02:07:26 <tswett> dpkg --do-this-in-a-way-which-does-not-require-superuser-privilege
02:07:34 <boily> HackEgo is very giddy.
02:08:00 <ais523> you might want to try dpkg-deb -x
02:08:11 <tswett> `run dpkg -i powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb --root=powershell --force-not-root
02:08:11 <HackEgo> Usage: dpkg-deb [<option> ...] <command> \ \ Commands: \ -b|--build <directory> [<deb>] Build an archive. \ -c|--contents <deb> List contents. \ -I|--info <deb> [<cfile> ...] Show info to stdout. \ -W|--show <deb> Show information on package(s) \ -f|--field <deb> [<cfield> ...] Show field(s) to stdout.
02:08:11 <HackEgo> dpkg: error: requested operation requires superuser privilege
02:12:45 -!- boily has quit (Quit: UNFIXABLE CHICKEN).
02:21:46 <Jafet> `` dpkg -x powershell*.deb
02:21:47 <HackEgo> dpkg-deb: error: --extract needs a target directory. \ Perhaps you should be using dpkg --install ?
02:22:29 <Jafet> `` mkdir -p powershell-6.0.0 && dpkg -x powershell*.deb powershell-6.0.0
02:22:54 <HackEgo> dpkg-deb: error: subprocess tar was killed by signal (File size limit exceeded)
02:23:21 <Jafet> `` du -s powershell-6.0.0 && find powershell-6.0.0
02:23:23 <HackEgo> 76powershell-6.0.0 \ powershell-6.0.0 \ powershell-6.0.0/usr \ powershell-6.0.0/usr/bin \ powershell-6.0.0/usr/share \ powershell-6.0.0/usr/share/doc \ powershell-6.0.0/usr/share/doc/powershell \ powershell-6.0.0/usr/local \ powershell-6.0.0/usr/local/share \ powershell-6.0.0/usr/local/share/man \ powershell-6.0.0/usr/local/share/man/man1 \ powers
02:24:13 <tswett> So, that "Tokiber" language of mine.
02:24:23 <tswett> It's now to the point where you can define natural numbers, and you can also define lists of natural numbers.
02:24:40 <Jafet> `` rm -rf powershell-6.0.0
02:25:06 -!- encodingcollecto has joined.
02:25:36 <tswett> "Natural number" and "list of natural numbers" are totally unrelated types. This is because the "list of natural numbers" type contains its own definition of natural numbers; it doesn't reuse the one that already exists.
02:25:44 <tswett> Here's how it all looks. http://lpaste.net/192258
02:28:40 <tswett> Let me go ahead and define a function which takes a natural number and returns a list containing only that number. It'll be pretty easy, here...
02:29:19 <tswett> definition nat_singleton(x : Nat) := cons(natToLNat.Nat(x), empty);
02:37:39 <izalove> reverse-reverse-engineering = engineering?
02:41:16 -!- pikhq has joined.
02:50:44 <pikhq> Aaaah, IRC. How I missed thee.
02:52:02 -!- jeffl42 has changed nick to jeffl35.
02:52:09 -!- jeffl35 has changed nick to jeffl42.
02:54:20 -!- augur has quit (Remote host closed the connection).
02:57:02 -!- encodingcollecto has quit (Remote host closed the connection).
03:01:04 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found
03:01:18 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found
03:01:27 <HackEgo> bin \ canary \ cdescs \ emoticons \ esobible \ etc \ evil \ factor \ good \ hw \ ibin \ interps \ karma \ le \ lib \ misle \ out \ paste \ ply-3.8 \ powershell \ powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb \ quines \ quotes \ share \ src \ test \ tmflry \ tmp \ wisdom \ wisdom.pdf
03:01:34 <HackEgo> fakeroot, create a fake root environment. \ usage: fakeroot [-l|--lib fakerootlib] [-f|--faked fakedbin] \ [-i file] [-s file] [-u|--unknown-is-real] \ [-b|--fd-base fd] [-h|--help] [-v|--version] \ [--] [command]
03:01:49 <jeffl42> `fetch https://github.com/PowerShell/PowerShell/releases/download/v6.0.0-alpha.10/powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb
03:02:22 <HackEgo> 2016-10-06 02:01:58 URL:https://github-cloud.s3.amazonaws.com/releases/49609581/1434e3dc-7b5c-11e6-8375-31fdcb64a7cd.deb?X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAISTNZFOVBIJMK3TQ%2F20161006%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Date=20161006T020206Z&X-Amz-Expires=300&X-Amz-Signature=f5e0703c85e6475e939eda0c34ecaaa0cdd5bdb367566ffcd54bc
03:02:23 <oerjan> jeffl42: fetch isn't in the sandbox
03:02:25 <HackEgo> bin \ canary \ cdescs \ emoticons \ esobible \ etc \ evil \ factor \ good \ hw \ ibin \ interps \ karma \ le \ lib \ misle \ out \ paste \ ply-3.8 \ powershell \ powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb \ powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb.1 \ quines \ quotes \ share \ src \ test \ tmflry \ tmp \ wisdom \ wisdom.pdf
03:02:56 <HackEgo> bin \ canary \ cdescs \ emoticons \ esobible \ etc \ evil \ factor \ good \ hw \ ibin \ interps \ karma \ le \ lib \ misle \ out \ paste \ ply-3.8 \ powershell \ powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb \ powershell_6.0.0-alpha.10-1ubuntu1.16.04.1_amd64.deb.1 \ quines \ quotes \ share \ src \ test \ tmflry \ tmp \ wisdom \ wisdom.pdf
03:03:01 <oerjan> the most recent xkcd seems somehow relevant.
03:04:30 <jeffl42> `` fakeroot dpkg -i --root=powershell powershell_6.6.0-alpha.10-1ubuntu1.16.04.1_amd64.deb
03:04:31 <HackEgo> dpkg: error: unable to access dpkg status area: No such file or directory
03:05:01 <HackEgo> /hackenv/bin/`: line 4: debootstrap: command not found
03:05:34 <jeffl42> `` mkdir powershell/var/lib/dpkg
03:05:35 <HackEgo> mkdir: cannot create directory `powershell/var/lib/dpkg': No such file or directory
03:05:42 <jeffl42> `` mkdir powershell/var/lib
03:05:44 <jeffl42> `` mkdir powershell/var/lib/dpk
03:05:46 <jeffl42> `` mkdir powershell/var/lib/dpkg
03:05:52 <jeffl42> `` rmdir powershell/var/lib/dpk
03:05:58 -!- j-bot has joined.
03:06:45 <jeffl42> `` touch powershell/var/lib/dpkg/status
03:06:49 <jeffl42> `` fakeroot dpkg -i --root=powershell powershell_6.6.0-alpha.10-1ubuntu1.16.04.1_amd64.deb
03:06:52 <HackEgo> dpkg: error: cannot scan updates directory `powershell/var/lib/dpkg/updates/': No such file or directory
03:07:03 <jeffl42> `` mkdir powershell/var/lib/dpkg/updates
03:07:04 <jeffl42> `` fakeroot dpkg -i --root=powershell powershell_6.6.0-alpha.10-1ubuntu1.16.04.1_amd64.deb
03:07:05 <HackEgo> dpkg: error: failed to open package info file `powershell/var/lib/dpkg/available' for reading: No such file or directory
03:07:20 <jeffl42> `` touch powershell/var/lib/dpkg/available
03:07:22 <jeffl42> `` fakeroot dpkg -i --root=powershell powershell_6.6.0-alpha.10-1ubuntu1.16.04.1_amd64.deb
03:07:25 <HackEgo> dpkg: error: unable to sync directory 'powershell/var/lib/dpkg': Invalid argument
03:09:29 <oerjan> i'm wondering about that dpkg-deb: error: subprocess tar was killed by signal (File size limit exceeded)
03:09:31 <jeffl42> `` ls powershell/var/lib/dpkg
03:09:32 <HackEgo> available \ lock \ status \ status-old \ triggers \ updates
03:09:50 <jeffl42> `` ls powershell/var/lib/dpkg/available
03:09:50 <HackEgo> powershell/var/lib/dpkg/available
03:09:57 <jeffl42> `` cat powershell/var/lib/dpkg/available
03:09:58 <oerjan> if that means the package contains a file larger than HackEgo will allow, period
03:10:33 <jeffl42> but i don't get what "unable to sync directory" means
03:10:43 <jeffl42> it's probably a sandbox limitation :(
03:10:57 <HackEgo> removed `powershell/var/lib/dpkg/available' \ removed `powershell/var/lib/dpkg/status-old' \ removed `powershell/var/lib/dpkg/triggers/Lock' \ removed `powershell/var/lib/dpkg/triggers/Unincorp.new' \ removed directory: `powershell/var/lib/dpkg/triggers' \ removed `powershell/var/lib/dpkg/updates/tmp.i' \ removed directory: `powershell/var/lib/dpkg
03:11:02 <HackEgo> bin \ canary \ cdescs \ emoticons \ esobible \ etc \ evil \ factor \ good \ hw \ ibin \ interps \ karma \ le \ lib \ misle \ out \ paste \ ply-3.8 \ quines \ quotes \ share \ src \ test \ tmflry \ tmp \ wisdom \ wisdom.pdf
03:11:09 <oerjan> maybe it doesn't support the sync syscall
03:11:49 <HackEgo> fakeroot, create a fake root environment. \ usage: fakeroot [-l|--lib fakerootlib] [-f|--faked fakedbin] \ [-i file] [-s file] [-u|--unknown-is-real] \ [-b|--fd-base fd] [-h|--help] [-v|--version] \ [--] [command]
03:13:59 <oerjan> nothing other than file contents is going to be persistent between HackEgo commands, btw
03:14:11 <oerjan> they run in a completely new VM
03:15:10 <oerjan> commands which change files even run twice.
03:32:37 -!- hppavilion[1] has joined.
03:34:58 -!- ais523 has quit (Ping timeout: 244 seconds).
03:46:14 * pikhq sees a distinct lack of shachaf to ask about how pooches are
03:49:55 <oerjan> pikhq: his spam allergy got the better of him today
03:50:30 <hppavilion[1]> (I'm trying to make sure the math checks out. Pretty sure it does.)
03:51:20 <oerjan> ln(-1) is multivalued.
03:52:19 <hppavilion[1]> Sudden question: i is for the imaginary numbers, and j is for the split-imaginary numbers. What's e^ij?
03:53:50 <oerjan> plug it into the power series for e^z
03:55:18 <oerjan> technically you want your numbers to form a Banach algebra.
03:55:43 <oerjan> and then applying holomorphic functions is well-defined.
03:57:20 <oerjan> well, it probably works.
03:58:59 <oerjan> (assuming the functions are real. otherwise you really need i.)
03:59:34 -!- `^_^v has joined.
04:02:08 -!- otherbot has joined.
04:24:39 -!- `^_^v has quit (Quit: This computer has gone to sleep).
04:49:12 <izalove> llua | dunno how to fix the race condition known as global warming
04:51:13 -!- oerjan has quit (Quit: Nite).
04:53:19 -!- `^_^v has joined.
04:54:57 -!- ais523 has joined.
04:56:11 -!- `^_^v has quit (Client Quit).
05:04:23 -!- `^_^v has joined.
05:26:27 -!- `^_^v has quit (Quit: This computer has gone to sleep).
05:31:08 -!- trn has quit (K-Lined).
05:42:40 -!- otherbot has quit (Remote host closed the connection).
05:49:01 <jeffl42> `` cat hackenv/bin/unidecode
05:49:02 <HackEgo> cat: hackenv/bin/unidecode: No such file or directory
05:49:06 <jeffl42> `` cat /hackenv/bin/unidecode
05:49:07 <HackEgo> #!/usr/bin/env python \ import os, sys \ import unicodedata \ s = u" ".join("[U+{0:04X} {1}]".format(ord(c), unicodedata.name(c, "DUNNO")) for c in " ".join(sys.argv[1:]).decode("utf-8")).encode("utf-8") \ if u"DUNNO" in s: \ os.execvp("multicode", ["multicode"] + sys.argv[1:]) \ else: \ print s
05:49:22 <pikhq> So, just using Python's lib. Fair enough.
05:49:36 <pikhq> Granted, doing anything else would be a lot more effort for minimal gain.
05:49:41 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found
05:49:46 <HackEgo> U+0002 <control> \ UTF-8: 02 UTF-16BE: 0002 Decimal:  \ \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral)
05:49:49 <pikhq> Looking through the Unicode database is not exactly a *hard* problem.
05:49:58 <HackEgo> [U+200B ZERO WIDTH SPACE]
05:50:03 <HackEgo> U+000F <control> \ UTF-8: 0f UTF-16BE: 000f Decimal:  \ \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral)
06:04:54 -!- shachaf has joined.
06:07:16 <pikhq> It's gonna snow tomorrow!
06:07:28 <shachaf> they should call it goodorado
06:07:49 -!- augur has joined.
06:07:59 <pikhq> And there be pooches!
06:08:30 <pikhq> Not easily obtainable ATM
06:09:14 <pikhq> Clearly this would make for a great startup.
06:09:31 <shachaf> move to silly valley and start it
06:09:38 <shachaf> and rip off your employees
06:09:59 <pikhq> And be sure to ask for loans from 'em, right?
06:12:13 <pikhq> God, that company. What a bizarre and impression-forming last experience of SV.
06:12:33 -!- augur has quit (Ping timeout: 244 seconds).
06:12:58 -!- ais523 has quit.
06:31:52 -!- augur has joined.
06:46:05 <pikhq> WrkRiot. They offered me a job and the day after it came out that they were a bunch of shitty incompetent scammers, and now the company is dead.
06:46:49 <pikhq> Well, that the company is dead is good.
06:47:03 <pikhq> That the company died before fucking me over is something I kinda like.
06:47:12 <pikhq> But... otherwise, no, it's just a pile of shit.
06:47:33 <hppavilion[1]> pikhq: Yeah, the second part is what I was going for
06:54:59 <shachaf> pikhq: guess what other company is dead
06:57:22 <hppavilion[1]> Thribonacci sequence (first 30 terms): '1, 1, 1, 3, 5, 9, 17, 31, 57, 105, 193, 355, 653, 1201, 2209, 4063, 7473, 13745, 25281, 46499, 85525, 157305, 289329, 532159, 978793, 1800281, 3311233, 6090307, 11201821, 20603361
06:59:09 <pikhq> shachaf: Um. Yahoo!?
07:01:39 -!- imode has quit (Remote host closed the connection).
07:10:07 -!- imode has joined.
07:18:03 -!- Akaibu has quit (Ping timeout: 272 seconds).
07:20:09 -!- augur has quit (Remote host closed the connection).
07:21:54 -!- Akaibu has joined.
07:36:14 <shachaf> (It was the first company I worked at when I moved to CA.)
07:36:27 -!- samuel has joined.
07:37:44 -!- samuel has left.
07:46:56 -!- Akaibu has quit (Ping timeout: 252 seconds).
07:48:30 -!- imode has quit (Ping timeout: 264 seconds).
07:50:54 -!- Akaibu has joined.
07:59:23 -!- augur has joined.
08:34:10 <izalove> it's dead because you left
09:25:44 -!- AnotherTest has joined.
09:28:45 -!- babalao has joined.
09:32:25 -!- babalao has left.
09:44:32 -!- carado has joined.
10:35:54 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
11:17:39 -!- DHeadshot has joined.
11:35:18 -!- boily has joined.
11:44:36 <HackEgo> mothology//Mothology is the study of moths, myths and mirths.
12:30:44 -!- DHeadshot has quit (Ping timeout: 252 seconds).
12:31:01 -!- boily has quit (Quit: BARREL CHICKEN).
12:43:00 -!- `^_^v has joined.
13:13:23 -!- Frooxius has quit (Quit: *bubbles away*).
13:13:46 -!- Frooxius has joined.
13:27:36 -!- `^_^v has quit (Quit: This computer has gone to sleep).
13:37:58 -!- ais523 has joined.
13:38:33 <HackEgo> [U+2206 INCREMENT] [U+0394 GREEK CAPITAL LETTER DELTA] [U+2D60 TIFINAGH LETTER YAV] [U+1403 CANADIAN SYLLABICS I] [U+A554 VAI SYLLABLE KPA] [U+07E1 NKO LETTER MA]
13:38:33 -!- Akaibu has quit (Ping timeout: 265 seconds).
13:39:32 * APic likes all You G{al,uy}s here. *Hugs* ☺
13:41:28 -!- Akaibu has joined.
13:43:11 -!- moony42 has joined.
13:51:35 -!- sirnaysayer has quit (Ping timeout: 252 seconds).
13:51:42 -!- sirnaysayer has joined.
14:01:33 <izalove> how did facebook get https://facebookcorewwwi.onion/ ?
14:02:42 * moony42 curses FleetingFlames for forgetting the pickaxe on embark
14:25:06 <fizzie> Well, you can truncate either to any number of bits. But I guess 80 is "more natural" for SHA-1.
14:25:12 <fizzie> https://gitweb.torproject.org/torspec.git/tree/rend-spec.txt#n526 "Let H' = the first 80 bits of H [SHA hash of the service's public key], considering each octet from most significant bit to least significant bit. Generate a 16-character encoding of H', using base32 as defined in RFC 4648."
14:26:19 <fizzie> @tell oerjan It's that Ruby irc bot library doing that, it's p. silly.
14:27:02 <fizzie> Actually, let's just restart it and hope nothing breaks.
14:27:06 <FireFly> fizzie: sure, but I remembered it was exactly half of a hash function
14:27:22 -!- zemhill_____ has quit (Read error: Connection reset by peer).
14:27:25 -!- zemhill has joined.
14:27:39 -!- ais523 has quit.
14:32:27 <ybden> izalove: yeah, they bruteforced it
14:33:16 <ybden> see also, https://github.com/lachesis/scallion
15:14:26 <myname> moony42: :D that reminds me of making those actually necessary for mining
15:15:15 <moony42> myname: oh apparently he brought the materials to make them instead. smart of him. he didnt bring and axe either :P
15:15:27 <moony42> myname: want to join us? we are using a noVNC server to play together
15:16:03 <myname> no thanks. i didn't play for way too long and would probably just slow things way down
15:16:41 <moony42> even then. we would like it. but ok (:
15:21:15 -!- Phantom_Hoover has joined.
15:36:20 -!- `^_^v has joined.
15:36:33 -!- moony42 has changed nick to moonythedwarf.
15:37:33 -!- nulquen has quit.
15:55:18 -!- oerjan has joined.
15:58:23 <lambdabot> fizzie said 1h 32m 4s ago: It's that Ruby irc bot library doing that, it's p. silly.
15:59:28 <oerjan> now i just need to find out what i asked.
16:02:18 <oerjan> ok it was just a day earlier.
16:06:26 -!- `^_^v has quit (Quit: This computer has gone to sleep).
16:11:29 <fizzie> You'll note that I manually de-underscored as well.
16:11:51 <oerjan> that should keep it sane for a couple of days.
16:13:16 <oerjan> !zjoust pathetic >>>>>>([-]>[+]>)*12
16:13:17 <zemhill> oerjan.pathetic: points -11.90, score 12.02, rank 36/47
16:13:49 <oerjan> hm is the hill still broken because of that beat-everything program
16:14:42 <oerjan> if i sometimes beat that, then it could have such an effect, no?
16:18:04 -!- `^_^v has joined.
16:18:14 * oerjan leaves his program there as a symbolic gesture
16:22:08 -!- Reece` has joined.
17:15:17 <\oren\> argh, some bank is sending me a credit card I don't want
17:15:46 <\oren\> I'll probably destroy it when it gets to my house
17:20:42 <\oren\> if I don't activate it they can't charge me anything probably
17:23:59 <oerjan> just keep your credit rating so ruined the banks don't want to give you one hth
17:30:31 -!- imode has joined.
17:33:09 <\oren\> oerjan: can't really do that if I don't even use the credit card I have
17:33:29 <int-e> (this idea of banks sending somebody a credit card seems so alien to me...)
17:33:58 <int-e> \oren\: just default on some non-credit-card loan
17:34:10 <\oren\> I don't have any loans
17:34:28 <\oren\> or a mortgage, or really any debt whatsoever
17:34:33 <int-e> you're making this difficult.
17:35:16 <int-e> maybe change your legal name to some other person who's in debt
17:35:51 <\oren\> well I sent that bank a flame letter telling them I'm not taking their stupid credit card, and especially not one with an annual fee
17:36:16 <\oren\> maybe the bank will fuck with my credit rating in response?
17:36:19 <int-e> how does that work anyway... if the card is used, do they assume it was you?
17:36:39 <\oren\> that's why I'mma destroy it if it gets to my house
17:37:42 <\oren\> it was literally a flame letter informing them of an imminent fire
17:38:28 <\oren\> int-e: well you have to activate it online first
17:38:34 <\oren\> which I'm not gonna do
17:41:02 <\oren\> I think kill it with fire is a good response to annual fees
17:44:05 -!- Kaynato has joined.
17:44:41 -!- aloril has quit (Ping timeout: 240 seconds).
17:48:28 -!- hppavilion[1] has joined.
17:51:51 -!- aloril has joined.
17:52:18 <hppavilion[1]> "He who fights with bullshit should be careful lest he thereby become a vessel of bullshit. And if thou gaze long into a stupid, you'll be sad because of the stupid."
17:52:38 -!- `^_^v has quit (Quit: This computer has gone to sleep).
17:53:11 <imode> looks like we have another TIS-100.
17:53:24 <imode> http://store.steampowered.com/app/504210/
17:53:43 <imode> brings to mind Flow Based Programming.
17:57:35 <oerjan> yag? what does that even mean you're making no sense!!!!!!!!!!!!!!!!!1111111111ELEVEN
18:01:25 <hppavilion[1]> (Just make it mean whatever logically follows from the pattern)
18:01:40 <int-e> . o O ( "Yag!" is an exclamation of extreme ambivalence. )
18:02:14 <hppavilion[1]> `le/rn yag/"Yag!" is an exclamation of extreme ambivalence.
18:02:36 <oerjan> well gag is disgust, yay is approval, while gay depends on who you are
18:03:03 <oerjan> so yag would be an expression of approval for homophobes, i guess.
18:03:26 <oerjan> (am i thinking too much like hppavilion[1] yet?)
18:03:51 <hppavilion[1]> oerjan: oerjan gaa+y means "lame" and is etymologically related to- but no longer directly connected to- the word "gay" as informal for "homosexual"
18:05:25 <int-e> 'From Middle English gay, from Old French gai (“joyful, laughing, merry”)...'
18:08:22 <oerjan> ARGH i combined the words "old" and "gay" and now i'm remembering lemonparty
18:09:26 <int-e> good thing I have no clue what you're talking about
18:10:04 <hppavilion[1]> int-e: Yes. I think it's a shock image like Goatse.
18:10:16 <\oren\> chocolate chip cookies
18:10:20 <\oren\> chocolate chip cookies
18:10:45 <\oren\> white chocolate chip and macadamia nut cookies
18:10:57 * hppavilion[1] will not be clicking any links except to websites that e knows can't hold images in-channel for the next several months
18:11:11 <oerjan> hppavilion[1]: i was just thinking that.
18:11:51 <oerjan> lemonparty is the one shock site i _did_ get tricked to from this channel.
18:12:03 * hppavilion[1] . o O ( Why isn't there a browser extension that comes with firefox which holds hashes of known shock images and blocks them until explicitly displayed )
18:12:18 <oerjan> hppavilion[1]: are you sure there isn't?
18:13:06 <oerjan> of course, if it got popular, trolls would start circumventing it.
18:15:41 <hppavilion[1]> Citation as to why gaa+y isn't offensive: Similar scenarios exist, with unoffensive words sharing etymology with offensive ones- e.g. 'asinine'
18:16:49 -!- ais523 has joined.
18:18:20 <\oren\> https://www.youtube.com/watch?v=0QTV0RAfHho
18:18:20 <ais523> hppavilion[1]: ais001 to ais522 are real people, they just don't visit #esoteric, and probably don't use the usernames in question any more
18:18:38 <oerjan> hppavilion[1]: incidentally i learned as a result of yesterday's pencil discussion that pencil isn't related to pen, but _is_ related to penis
18:18:50 <ais523> the username was originally autogenerated for me when I was a student, and I just kept using it
18:19:08 <ais523> this means that the 523 is entirely arbitrary, a fact that Discordians apparently find hilarious
18:19:33 <\oren\> my autogenerated username was watson1g
18:19:41 <hppavilion[1]> My initials spell 'NET', so the names would be much more confusing for other people
18:19:56 <APic> Eris Dÿscordiæ has her Fingers in every RNG out there ;=P
18:20:28 -!- DHeadshot has joined.
18:21:12 <hppavilion[1]> (My first and middle names are "Naþan E". The E isn't short for anything, my middle name is literally just "E")
18:21:13 <ais523> hppavilion[1]: you inspired me to look at what's at http://net.net
18:21:38 <ais523> also you wouldn't be the first person with a single-letter middle name
18:21:56 <Taneb> Wasn't there a US president with a single-letter middle name
18:22:18 <\oren\> Admin Name: Francesco Degl'Innocenti
18:22:36 <Taneb> hppavilion[1], also your first name seems to be an uncommon spelling of my first name
18:22:51 <Taneb> I don't think it's often spelt with a thorn
18:22:53 <hppavilion[1]> It's formally Nathan, but I decided it has to be spelled Naþan.
18:23:11 <Taneb> Isn't it closer to Naþ'n?
18:23:13 <ais523> huh, net.net is registered until 2023, and has a flag on it that bars it from being renewed (which according to ICANN is very rare)
18:23:29 <hppavilion[1]> Taneb: It's occasionally spelled "Nathen", and people use it sometimes
18:23:42 <APic> My first Birth-Name is „Andreas“, and my two Middle-Names are „Christian“ and „Thomas“. I found out about them in Psychiatry in the YOLD 3177.
18:23:48 <ais523> hmm, ə is arguably a cross between an a and an e
18:23:56 <\oren\> do you write it with a thorn on your school stuff?
18:24:03 <APic> There are Things coded into Reality that even Parents cannot foresee.
18:24:32 <APic> And i like my two Nicks „APic“ and „ACTPic“ very much. Both of them. ☺
18:24:41 <hppavilion[1]> \oren\: And I spell my last name in the original way (with an 'ø'), and I put an underscore between first and last.
18:24:43 <APic> (Needed in IRCnet because You cannot join that many Channels there. ☺)
18:25:27 <hppavilion[1]> APic: Wait, is there literally a „ in your- oh, it's quotes
18:25:40 <APic> hppavilion[1]: ;=P
18:25:59 <APic> Ok, time to bike home
18:26:00 <\oren\> it's those weird european quotes
18:27:38 <hppavilion[1]> (Your options are "''", '""', fancy equivalents of those, or- rarely- Guillemets)
18:28:57 <pikhq> Guillemets and bottom quotes are just really weird in English.
18:29:05 <pikhq> Much like using , as the decimal point.
18:29:21 <ais523> I use guillemets as a Unicode representation of HTML's <code></code> tag
18:29:35 <ais523> because except for Perl 6 and the occasional esolang, they don't have any special meaning when programming
18:29:43 <ais523> so they tend to be unconfusable with the text inside
18:31:43 <pikhq> Besides, if you're gonna use weird quote marks, CJK has some ｢nice｣ ones.
18:32:47 <ais523> I'm not sure those are on my altgr /or/ my compose
18:33:47 <ais523> ¦<>©‘’Nº×÷Ł&ŊªÐ§§ÆΩŁE®Ŧ¥↑ıØÞ°±™⅞⅝⅜¼£⅛¡¹²³€½¾{[]}\þø→↓←ŧ¶eł@æßðđŋħłĸµ─·ṇ”nn
18:33:47 <pikhq> Yeah, they're in my Japanese IME only here.
18:33:54 <ais523> err, didn't mean to send that
18:33:56 <hppavilion[1]> Fun ultra-obscure math prank: When you have a paper with a variable σ, bury the equation ψ = πσ deep in the paper and never use it (when there's absolutely no good reason to multiply σ by π)
18:34:29 <ais523> I think \triangleq might make more sense than equals
18:34:42 <ais523> an unused definition makes a little more sense than an unused equation
18:35:26 <hppavilion[1]> ais523: In greek pronunciation, π is [p], σ is [s], and ψ is [ps]
18:35:49 <ais523> is /ps/ actually two separate phonemes, though?
18:36:54 <hppavilion[1]> ais523: Yes, but 'ψ' makes 'πσ' in Greek the same way 'x' makes 'ks' in English
18:37:17 -!- Zarutian has joined.
18:37:39 -!- Zarutian has quit (Read error: Connection reset by peer).
18:38:22 -!- Zarutian has joined.
18:40:43 <\oren\> if all those look different you have a good font\
18:42:09 <ais523> \oren\: they're all different for me, although the fourth one is bizarre
18:42:16 <ais523> it looks like a combining umlaut that isn't combined with anything
18:42:42 <ais523> in that case my font is great :-P
18:44:38 * ais523 attacks \oren\'s oom with the oom killer
18:51:15 -!- oerjan has quit (Quit: Fooom).
19:12:03 -!- Kaynato has quit (Ping timeout: 265 seconds).
19:20:58 -!- Kaynato has joined.
19:25:06 -!- carado has quit (Ping timeout: 265 seconds).
19:26:46 -!- carado has joined.
19:28:11 -!- sebbu has quit (Ping timeout: 252 seconds).
19:40:34 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds).
19:43:12 -!- DHeadshot has quit (Ping timeout: 244 seconds).
19:59:40 -!- sebbu has joined.
20:03:50 <hppavilion[1]> @tell oerjan You missed 'yg', 'gy', and 'yy' in [yg]a*[yg]!? earlier hth
20:11:21 -!- AnotherTest has quit (Ping timeout: 272 seconds).
20:19:24 -!- augur has quit (Remote host closed the connection).
20:20:13 -!- augur has joined.
20:21:39 -!- augur has quit (Remote host closed the connection).
20:24:00 -!- Phantom_Hoover has joined.
20:27:30 -!- Phantom__Hoover has joined.
20:29:18 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
20:30:58 <fizzie> No, a+ is equivalent to aa*.
20:31:44 <fizzie> The latter (aa*) is "more fundamental". In a subjective sense.
20:41:19 -!- ais523 has quit (Remote host closed the connection).
20:41:33 -!- ais523 has joined.
20:44:08 <shachaf> fizzie: "A is equivalent to B" is equivalent to "B is equivalent to A"
20:44:33 <ais523> shachaf: huh, isn't equivalence symmetrical?
20:45:06 <shachaf> ais523: It has a property equivalent to symmetry.
20:50:42 <hppavilion[1]> If you ever legal pair-bond with a person with a name such as Agnes, Nancy, etc (or a masculine equivalent), the ceremony must be performed on weekday #2 (M0)
20:54:54 <ais523> hppavilion[1]: that's one of the most zzo38 things I've ever seen you say
20:56:02 -!- AnotherTest has joined.
20:56:07 <hppavilion[1]> ais523: It was intended to be very obscure so that as you decode it into intelligible English, you get the joke
20:56:19 -!- Kaynato has quit (Ping timeout: 272 seconds).
20:57:36 -!- Reece` has quit (Ping timeout: 244 seconds).
20:58:58 -!- DHeadshot has joined.
21:05:18 -!- guest58673 has joined.
21:06:28 -!- guest58673 has quit (Remote host closed the connection).
21:07:42 -!- guest58673 has joined.
21:08:36 -!- augur has joined.
21:10:25 -!- guest58673 has quit (Remote host closed the connection).
21:17:27 <HackEgo> U+00B2 SUPERSCRIPT TWO \ UTF-8: c2 b2 UTF-16BE: 00b2 Decimal: ² \ ² \ Category: No (Number, Other) \ Numeric value: 2 \ Digit value: 2 \ Bidi: EN (European Number) \ Decomposition: <super> 0032 \ \ U+00B3 SUPERSCRIPT THREE \ UTF-8: c2 b3 UTF-16BE: 00b3 Decimal: ³ \ ³ \ Category: No (Number, Other) \ Numeric value: 3 \ Digit value:
21:17:40 <\oren\> `` unicode SUPERSCRIPT
21:17:41 <HackEgo> U+00B2 SUPERSCRIPT TWO \ UTF-8: c2 b2 UTF-16BE: 00b2 Decimal: ² \ ² \ Category: No (Number, Other) \ Numeric value: 2 \ Digit value: 2 \ Bidi: EN (European Number) \ Decomposition: <super> 0032 \ \ U+00B3 SUPERSCRIPT THREE \ UTF-8: c2 b3 UTF-16BE: 00b3 Decimal: ³ \ ³ \ Category: No (Number, Other) \ Numeric value: 3 \ Digit value:
21:18:02 <\oren\> `` unicode SUPERSCRIPT | tr -d ' -~'
21:18:06 <HackEgo> \ \ ² \ \ \ \ \ \ \ \ \ ³ \ \ \ \ \ \ \ \ \ ¹ \ \ \ \ \ \ \ \ \ ٰ \ \ \ \ \ \ \ ܑ \ \ \ \ \ \ \ ⁰ \ \ \ \ \ \ \ \ \ ⁱ \ \ \ \ \ \ \ ⁴ \ \ \ \ \ \ \ \ \ ⁵ \ \ \ \ \ \ \ \ \ ⁶
21:18:14 <\oren\> `` unicode SUPERSCRIPT | tr -d ' -~\n'
21:18:29 -!- Cale has quit (Ping timeout: 272 seconds).
21:18:41 <\oren\> ok apparently i'm missing some in my font
21:18:56 <\oren\> `` unicode SUBSCRIPT | tr -d ' -~\n'
21:19:56 <hppavilion[1]> It's disappointing that a candidate who says such insane things can have support in an election.
21:20:49 <\oren\> `` unicode MODIFIER | tr -d ' -~\n'
21:20:52 -!- asd has joined.
21:22:17 <\oren\> `` unicode SMALL | tr -d ' -~\n'
21:22:33 -!- asd has quit (Client Quit).
21:22:37 <\oren\> `` unicode TONE | tr -d ' -~\n'
21:25:28 <\oren\> `` unicode MODIFIER LETTER | tr -d ' -~\n'
21:25:28 <\oren\> the unicode database in hackego is clearly outdated
21:25:29 <HackEgo> U+1D9B MODIFIER LETTER SMALL TURNED ALPHA \ UTF-8: e1 b6 9b UTF-16BE: 1d9b Decimal: ᶛ \ ᶛ \ Category: Lm (Letter, Modifier) \ Bidi: L (Left-to-Right) \ Decomposition: <super> 0252
21:25:29 -!- Frooxius has quit (Quit: *bubbles away*).
21:25:30 <\oren\> `` unicode SMALL| tr -d ' -~\n'
21:25:50 <HackEgo> Unicode is a mess invented in 1988 by Xerox, Microsoft, the Spanish Inquisition, and the evil Human Supremacy Corporation, in order to make it easier for the government to spy on Chinese people.
21:25:58 <HackEgo> cat: unicode: No such file or directory
21:26:02 <HackEgo> #!/usr/bin/env python \ # -*- encoding: utf-8 -*- \ import re \ import sys, os \ import unicodedata \ def l(c): m = re.match('(?:U[+])?([0-9a-f]{1,5})$', c, re.I); return unicodedata.lookup(c) if m is None else unichr(int(m.group(1),16)) \ try: \ print u''.join(map(l, sys.argv[1:])).encode('utf-8') \ except KeyError: \ os.execvp("multico
21:26:38 -!- centrinia has joined.
21:26:41 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: source: not found
21:26:51 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/unicode
21:27:13 <fizzie> `` unicode INVISIBLE | tr -d ' -~\n'
21:27:59 <\oren\> `` multicode ALPHA | tr -d ' -~\n'
21:28:10 <\oren\> `` multicode MODIFIER | tr -d ' -~\n'
21:28:30 <HackEgo> #!/usr/bin/python \ \ \ import os, glob, sys, unicodedata, locale, gzip, re, traceback, encodings \ import urllib, webbrowser, textwrap \ \ # bz2 was introduced in 2.3, we want this to work also with earlier versions \ try: \ import bz2 \ except ImportError: \ bz2 = None \ \ # for python3 \ try: \ unicode \ except NameError: \
21:28:38 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/multicode
21:29:55 <\oren\> `` multicode MODIFIER.* | tr -d ' -~\n'
21:30:03 <\oren\> `` multicode 'MODIFIER.*' | tr -d ' -~\n'
21:30:11 <\oren\> `` multicode '.*MODIFIER.*' | tr -d ' -~\n'
21:30:23 <\oren\> `` multicode '.*LETTER.*' | tr -d ' -~\n'
21:30:35 <\oren\> `` multicode 'LETTER' | tr -d ' -~\n'
21:30:41 <\oren\> `` multicode LETTER | tr -d ' -~\n'
21:31:04 -!- Cale has joined.
21:31:05 -!- augur has quit (Remote host closed the connection).
21:31:43 <\oren\> `` multicode -m100 MODIFIER | tr -d ' -~\n'
21:31:44 <HackEgo> ʰʱʲʳʴʵʶʷʸʹʺʻʼʽʾʿˀˁ˂˃˄˅ˆˇˈˉˊˋˌˍˎˏːˑ˒˓˔˕˖˗˞˟ˠˡˢˣˤ˥˦˧˨˩˪˫ˬ˭ˮ˯˰˱˲˳˴˵˶˷˸˹˺˻˼˽˾˿ՙ՚ࠚࠤࠨჼᴬᴭᴮᴯᴰᴱᴲᴳᴴᴵᴶᴷᴸᴹᴺᴻᴼᴽᴾᴿ
21:32:17 -!- moonythedwarf_ has joined.
21:32:29 -!- moonythedwarf has quit (Disconnected by services).
21:32:29 <\oren\> `` multicode -m100 INVISIBLE | tr -d ' -~\n'
21:32:32 -!- moonythedwarf_ has changed nick to moonythedwarf.
21:32:54 -!- ubuntu2 has joined.
21:32:55 <\oren\> `` multicode -m100 SPACE | tr -d ' -~\n'
21:32:56 <HackEgo> ፡ ␈␠ 〿𝙰𝙱𝙲𝙳𝙴𝙵𝙶𝙷𝙸𝙹𝙺𝙻𝙼𝙽𝙾𝙿𝚀𝚁𝚂𝚃𝚄𝚅𝚆𝚇𝚈𝚉𝚊𝚋𝚌𝚍𝚎𝚏𝚐𝚑𝚒𝚓𝚔𝚕𝚖𝚗𝚘𝚙𝚚𝚛𝚜𝚝𝚞𝚟𝚠𝚡𝚢𝚣𝟶𝟷𝟸𝟹𝟺𝟻𝟼𝟽𝟾𝟿𝩿𝪀
21:33:19 <\oren\> wait I don't support those? weird,
21:34:11 <\oren\> `` multicode -m100 SUBSCRIPT | tr -d ' -~\n'
21:34:12 <HackEgo> ٖᵢᵣᵤᵥᵦᵧᵨᵩᵪ₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎ₐₑₒₓₔₕₖₗₘₙₚₛₜ⨧ⱼ
21:34:42 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
21:34:45 <HackEgo> U+2A27 PLUS SIGN WITH SUBSCRIPT TWO \ UTF-8: e2 a8 a7 UTF-16BE: 2a27 Decimal: ⨧ \ ⨧ \ Category: Sm (Symbol, Math) \ Bidi: ON (Other Neutrals)
21:36:21 <\oren\> `` multicode -m100 CYRILLIC | tr -d ' -~\n'
21:36:22 <HackEgo> ЀѐЁёЂђЃѓЄєЅѕІіЇїЈјЉљЊњЋћЌќЍѝЎўЏџАаБбВвГгДдЕеЖжЗзИиЙйКкЛлМмНнОоПпРрСсТтУуФфХхЦцЧчШшЩщЪъЫыЬьЭэЮюЯяаАбБвВгГдДеЕжЖзЗиИйЙкКлЛмМнНоОпПрРсСтТуУфФхХцЦчЧшШщЩъЪыЫьЬэЭюЮяЯѐЀёЁђЂѓЃєЄѕЅі
21:36:34 <\oren\> `` multicode -m1000 CYRILLIC | tr -d ' -~\n'
21:36:35 <HackEgo> ЀѐЁёЂђЃѓЄєЅѕІіЇїЈјЉљЊњЋћЌќЍѝЎўЏџАаБбВвГгДдЕеЖжЗзИиЙйКкЛлМмНнОоПпРрСсТтУуФфХхЦцЧчШшЩщЪъЫыЬьЭэЮюЯяаАбБвВгГдДеЕжЖзЗиИйЙкКлЛмМнНоОпПрРсСтТуУфФхХцЦчЧшШщЩъЪыЫьЬэЭюЮяЯѐЀёЁђЂѓЃєЄѕЅі
21:37:32 <\oren\> `` multicode -m1000 LATIN | tr -d ' -~\n'
21:37:34 <HackEgo> ÀàÁáÂâÃãÄäÅåÆæÇçÈèÉéÊêËëÌìÍíÎîÏïÐðÑñÒòÓóÔôÕõÖöØøÙùÚúÛûÜüÝýÞþßàÀáÁâÂãÃäÄåÅæÆçÇèÈéÉêÊëËìÌíÍîÎïÏðÐñÑòÒóÓôÔõÕöÖøØùÙúÚûÛüÜýÝþÞÿŸĀāāĀĂăăĂĄąąĄĆććĆĈĉĉĈĊċċĊČččČĎďďĎĐđđĐĒēēĒĔĕĕĔĖėėĖĘę
21:37:43 <\oren\> oh, it's the irc character limit
21:38:20 <\oren\> `` multicode -m1000 SMALL | tr -d ' -~\n'
21:38:21 <HackEgo> âÃà ÃáÃâÃãÃäÃÃ¥Ã
æÃçÃèÃéÃêÃëÃìÃÃÃîÃïÃðÃñÃòÃóÃôÃõÃöÃøÃùÃúÃûÃüÃýÃþÃÿŸÄÄÄÄÄ
ÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ¡Ä Ä£Ä¢Ä¥Ä¤Ä§Ä¦Ä©Ä¨Ä«ÄªÄĬįĮıijIJĵĴķĶĸĺĹļĻľĽÅÄ¿ÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅšŠţŢťŤŧŦũŨūŪÅŬůÅ
21:38:58 <\oren\> `` multicode -m1000 MATH | tr -d ' -~\n'
21:38:59 <HackEgo> ⟋⟍⟦⟧⟨⟩⟪⟫⟬⟭⟮⟯𝐀𝐁𝐂𝐃𝐄𝐅𝐆𝐇𝐈𝐉𝐊𝐋𝐌𝐍𝐎𝐏𝐐𝐑𝐒𝐓𝐔𝐕𝐖𝐗𝐘𝐙𝐚𝐛𝐜𝐝𝐞𝐟𝐠𝐡𝐢𝐣𝐤𝐥𝐦𝐧𝐨𝐩𝐪𝐫𝐬𝐭𝐮𝐯𝐰𝐱𝐲𝐳𝐴𝐵𝐶𝐷𝐸𝐹𝐺𝐻𝐼𝐽𝐾𝐿𝑀𝑁𝑂𝑃𝑄𝑅𝑆𝑇𝑈𝑉𝑊𝑋𝑌
21:40:30 <\oren\> `` multicode -m1000 RECYCLING | tr -d ' -~\n'
21:41:41 <\oren\> `` multicode -m1000 FOR | tr -d ' -~\n'
21:41:53 <\oren\> `` multicode -m1000 .*FOR. | tr -d ' -~\n'
21:41:56 <HackEgo> ֺۘۢ౸౹౺౻౼౽౾൙ཪྺྻྼ၎፵ᯯᳮℹ⅏ↅↆ∀∴⊩⊮⋔⎓⏹⏺␀␁␂␃␄␅␆␇␈␉␊␋␌␍␎␏␐␑␒␓␔␕␖␗␘␙␚␛␜␝␞␟␠␡␥␦⑂⑃─━│┃┄┅┆┇┈┉┊┋┌┍┎┏┐┑┒┓└┕┖┗┘┙┚┛├┝┞┟┠┡┢┣┤┥┦┧┨
21:42:29 <\oren\> have I messed up the terminal yet?
21:43:01 <\oren\> `` multicode -m1000 ARABIC | tr -d ' -~\n'
21:43:03 <HackEgo> ؆؇؈؉؊،؍؎؏ؘؙؚؐؑؒؓؔؕؖؗ؛؞؟ؠءآأؤإئابةتثجحخدذرزسشصضطظعغػؼؽؾؿـفقكلمنهوىيًٌٍَُِّْٕٖٜٟٓٔٗ٘ٙٚٛٝٞ٠١٢٣٤٥٦٧٨٩٪٫٬٭ٮٯٰٱٲٳٴٵٶٷٸٹٺٻټٽپٿڀځڂڃڄڅچڇڈډڊڋڌڍڎڏڐڑڒړڔڕږڗژڙښڛڜڝڞڟڠڡڢڣڤڥڦڧڨکڪګڬڭڮ
21:43:16 <\oren\> `` multicode -m1000 HEBREW | tr -d ' -~\n'
21:43:17 <HackEgo> ְֱֲֳִֵֶַָֹֺֻּֽ֑֖֛֢֣֤֥֦֧֪֚֭֮֒֓֔֕֗֘֙֜֝֞֟֠֡֨֩֫֬֯־ֿ׀ׁׂ׃ׅׄ׆ׇאבגדהוזחטיךכלםמןנסעףפץצקרשתװױײ׳״יִﬞײַﬠﬡﬢﬣﬤﬥﬦﬧﬨ﬩שׁשׂשּׁשּׂאַאָאּבּגּדּהּוּזּטּיּךּכּלּמּנּסּףּפּצּקּרּשּתּוֹבֿכֿפֿﭏ
21:44:00 <\oren\> `` multicode -m1000 COMBINING | tr -d ' -~\n'
21:44:01 <HackEgo> ̴̵̶̷̸̡̢̧̨̛̖̗̘̙̜̝̞̟̠̣̤̥̦̩̪̫̬̭̮̯̰̱̲̳̹̺̻̼̀́̂̃̄̅̆̇̈̉̊̋̌̍̎̏̐̑̒̓̔̽̾̿̀́͂̓̈́̕̚ͅΙ͇͈͉͍͎͆͊͋͌͏͓͔͕͖͙͚͐͑͒͗͛ͣͤͥͦͧͨͩͪͫͬͭͮͯ҃҄҅҆҇͘͜͟͢͝͞͠͡҈҉߲߫߬߭߮߯߰߱߳ఀ᩿᪵᪶᪷᪸᪹᪺᪽፝፞፟᪰᪱᪲᪳᪴᪻᪼᪾᭬᭫᭭᭮᭯᭰᭱᭲᭳
21:45:12 -!- Kaynato has joined.
21:46:02 <\oren\> `` multicode -m1000 ACCENT | tr -d ' -~\n'
21:46:04 <HackEgo> ´ˆˊˋˎˏ˝˟˴˵˶̖̗̭̀́̂̋̏ѶѷѷѶ֑֖֛֢֣֤֥֦֧֪֚֭֮֒֓֔֕֗֘֙֜֝֞֟֠֡֨֩֫֬॓॔᪰᷀᷁⨣⨶⩯ꞈ＾｀𝅻𝆁
21:50:52 <int-e> my client doesn't support /ignore spam :-/
21:58:45 -!- augur has joined.
22:03:56 <\oren\> I've discovered a lot of characters that aren't in my font. I'll work on that today
22:05:17 -!- DHeadshot has quit (Ping timeout: 244 seconds).
22:11:42 -!- augur has quit (Remote host closed the connection).
22:13:55 -!- DHeadshot has joined.
22:14:50 -!- ais523 has quit (Read error: Connection reset by peer).
22:15:00 -!- ais523 has joined.
22:20:52 <\oren\> https://twitter.com/vanillaice/status/784033789555122176
22:21:36 <\oren\> he hasn't died yet but he's bout to
22:21:46 <imode> vanilla ice is still alive?
22:22:16 <\oren\> yes, but he's right in the path of hurricane matthew and is refusing to evacuate
22:23:14 <imode> make stupid choices, get stupid results.
22:23:52 <\oren\> dododo dededede dodododo dededede
22:28:53 <ybden> I think he may have set an example for some people...
22:29:04 <ybden> I suppose it's just natural selection
22:33:14 <\oren\> BTW, there's a massive argument going on in the unicode mailing list
22:33:51 <\oren\> about whether unicode needs a complete alphabet of subscript and superscript letters
22:35:48 <ybden> ...Unicode is not meant for typesetting
22:35:58 <ybden> Why would we need that
22:39:56 <\oren\> well, it already has lots of subscript and superscript letters for phonetic alphabet
22:40:25 <\oren\> as well as italic, script, bold, and fraktur letters for math
22:41:05 -!- ais523 has quit (Remote host closed the connection).
22:41:15 -!- ais523 has joined.
22:42:25 -!- ais523 has quit (Remote host closed the connection).
22:45:16 -!- moonythedwarf_ has joined.
22:45:45 -!- hppavilion[1] has joined.
22:46:37 -!- moonythedwarf has quit (Ping timeout: 244 seconds).
23:00:30 -!- hppavilion[1] has quit (Ping timeout: 263 seconds).
23:02:21 -!- Kaynato has quit (Ping timeout: 272 seconds).
23:02:49 <myname> but do we get them in at least 5 skin colors?
23:03:23 -!- augur has joined.
23:10:16 <\oren\> `` echo $'\302\213hello\302\214'
23:10:38 <pikhq> No such luck here, at least.
23:11:25 <pikhq> \oren\: How many of those weirdo characters exist simply for round-trip compatibility with other charsets, though?
23:11:50 <\oren\> pikhq: very few. mostly they were added after some liguist used them
23:12:14 * pikhq was more thinking the italic/script/bold/fraktur math glyphs than the IPA glyphs
23:12:46 <pikhq> "This is used in IPA" is reason enough to encode it IMO.
23:12:59 <\oren\> oh, those weren't added for compatibility
23:13:14 <\oren\> they were added because some math people wnated them
23:15:32 <shachaf> pikhq: what kind of startup are you going to start in falicon valley twh
23:15:43 <HackEgo> [wiki] [[Special:Log/newusers]] create * AngelicosPhosphoros * New user account
23:18:33 -!- AnotherTest has quit (Ping timeout: 265 seconds).
23:19:35 -!- Frooxius has joined.
23:24:51 <\oren\> oh boy, somone on the unicode mailing list is accusing Adobe of an evil plot to "limit the performance of plain text"
23:26:55 -!- hppavilion[1] has joined.
23:27:55 <pikhq> shachaf: Uh, fuck all y'all?
23:28:32 <shachaf> how large is this group and why am i in it
23:28:52 <pikhq> The group is the clade "Homo".
23:28:59 <pikhq> Last I checked thou art human.
23:31:57 <dingbat> \oren\: oh god what is that
23:32:24 <pikhq> Mostly heuristics, really.
23:33:35 -!- ubuntu2 has quit (Remote host closed the connection).
23:34:37 <dingbat> oi, pikhq, I recognize you
23:34:59 <pikhq> Allo, dingbat. I think I've seen you 'round here before.
23:35:58 <dingbat> pikhq: probably in xkcd, as well. I mostly lurk in here because I've been too busy to work on my esoteric language project
23:36:05 <HackEgo> DINGBAT: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN AND DEPLOYMENT! FOR MORE INFORMATION, CHECK OUT OUR WIKI: <HTTP://ESOLANGS.ORG/>. (FOR THE OTHER KIND OF ESOTERICA, TRY #ESOTERIC ON EFNET OR DALNET.)
23:36:13 <shachaf> If only there was a `welcome in a dingbat font.
23:36:15 <pikhq> And, yes, I am a #xkcd regular as well.
23:36:30 <dingbat> aaaaaagh it's shouting at me.
23:36:32 <pikhq> To my knowledge I'm the only person who actually uses "pikhq", so. :)
23:37:20 <shachaf> I think people who are talking to you use it even more than you do.
23:37:46 <pikhq> Last I checked nobody else uses it to refer to themselves, I should say.
23:38:14 <hppavilion[1]> Is the proper way to trail of an exclamation []!... % []...! % []!.. % []..! % or [].!. ?
23:38:44 <dingbat> hppavilion[1]: ooh I have that question as well.
23:39:19 <dingbat> hppavilion[1]: uhhh, could you give an example?
23:40:19 <hppavilion[1]> You know what? ? and ! (and by extension ¿ and ¡ and ‽ and ⸘ and ⸮ and <<⸮ rotated pi radians>>) should follow the same rules as i and j
23:40:29 <\oren\> obviously a trailing off exclamation would be WHAT ARE YOu!...
23:41:04 <dingbat> According to wikipedia, "!.." is correct, in Russian. It doesn't seem to say how to do it in English. Weird.
23:41:49 <pikhq> I don't think I've seen it done in English.
23:42:20 <pikhq> My inclination would be "!…" though
23:42:25 <hppavilion[1]> dingbat: There's no unicode for it, but it represents a non-terminal question, a question mark at the end of a quote that does not terminate the sentence as a whole (a terminal quote uses ?, then a period after the end quote delimiter AS IT SHOULD BE), and (maybe, probably context-driven) to replace a comma in a question as a whole
23:43:00 <hppavilion[1]> Example: "Do you have any pizza<?,> because I'm starving"
23:44:38 <\oren\> You could make a proposal for these to the http://www.kreativekorp.com/ucsur/
23:45:16 <pikhq> hppavilion[1]: In standard orthography that would actually be "Wow! That's a lot of fluorine."
23:45:25 -!- moonythedwarf_ has quit (Ping timeout: 272 seconds).
23:45:45 <hppavilion[1]> Like, the way you read that one would be *very* subtly different, but obvious
23:46:08 <\oren\> the UCSUR, a registry for encoding constructed or artificial scripts
23:46:18 <hppavilion[1]> (Also common is "<i>Wow</i>, that's a lot of fluorine.")
23:49:29 <\oren\> <!,> <?,> and presumably also <!..> and <?..> could be made into a small proposal
23:50:02 -!- oerjan has joined.
23:51:18 <hppavilion[1]> So as I was saying, tittled punctuation (which include the exclamation mark, question mark, interrobang, rhetorical question mark, love mark, doubt mark, authority mark, certainty mark, and all of these inverted) should be able to handle diacritics the same way tittled letters (i and j in basic latin) do
23:51:31 <lambdabot> hppavilion[1] said 3h 47m 41s ago: You missed 'yg', 'gy', and 'yy' in [yg]a*[yg]!? earlier hth
23:51:40 <oerjan> hppavilion[1]: more like missed the * me thinks
23:52:15 <hppavilion[1]> oerjan: Well yeah. But anything with MORE than 1 occurrence is basically it with 1 occurrence stretched
23:52:47 <hppavilion[1]> (exception: /ga{2,}y/, which is an entirely different word from "gay")
23:53:01 -!- moonythedwarf has joined.
23:53:30 <hppavilion[1]> \oren\: Which leads, for example, to the umlauted exclamation point >:)
23:55:10 <oerjan> the turkish exclamation point