00:02:40 -!- bb010g has joined.
00:12:53 -!- ent0nces_ has joined.
00:13:02 -!- ^v has joined.
00:15:13 -!- ent0nces has quit (Ping timeout: 250 seconds).
00:20:39 -!- Sgeo__ has joined.
00:22:39 -!- Sgeo_ has quit (Ping timeout: 245 seconds).
00:23:01 -!- ^v has quit (Ping timeout: 250 seconds).
00:23:43 -!- ^v has joined.
00:28:36 <quintopia> appatently satoshi has been found?
00:34:30 <boily> quinthellopiaaaAAAAAAAH!
00:34:37 <boily> satoshi, as in bitcoin satoshi?
00:40:30 <oerjan> b_jonas: as an iwc forum lurker, i'd like to point out that the new "pafizip zioo" also gives evidence for "fi" hth
00:40:47 -!- mauris has quit (Ping timeout: 250 seconds).
00:42:08 <oerjan> my that's a big bitcoin jump
00:43:18 <oerjan> it's approaching year-ago levels
00:44:21 <oerjan> @tell b_jonas as an iwc forum lurker, i'd like to point out that the new "pafizip zioo" also gives evidence for "fi" hth
00:45:04 -!- ^v has quit (Ping timeout: 272 seconds).
00:47:19 <boily> fungot: pafizip zioo fi fnord?
00:47:19 <fungot> boily: is it a mission critical text document with a velvet gloves.
00:47:27 <boily> fungot: looks like so.
00:47:28 <fungot> boily: so this is the same for scourge's other player", a casual shrine to an amazing actor. the film. you're just a run of the mill little psycho girl, a troll caegar a dozen.
00:48:04 <oerjan> fungot: it's droid language, so you should already know it hth
00:48:05 <fungot> oerjan: so just to review, your schemes, convoluted. you are planning a heist in your underground hideout. implement nefarious as you might, you can't out troll me in these like little else, is still just that. a single, linear concept. a concept usually denoted by a single, linear concept. a concept usually denoted by a single, linear concept. a concept usually denoted by a single, linear concept. a concept usually denoted by
00:48:05 <boily> I didn't know I were a little psycho girl. I always thought I was a hairy man.
00:48:20 <oerjan> boily: that's just how psycho you are
00:48:30 -!- ent0nces has joined.
00:48:46 <boily> there are picture of me crossdressing. maybe I really am a psycho girl.
00:49:20 -!- ent0nces_ has quit (Ping timeout: 256 seconds).
00:49:30 <oerjan> fungot: your single linear concept seems a little circular to me.
00:49:30 <fungot> oerjan: he was so much easier to come by lately. must be the connivings of your arch nemesis, betty crocker. on his 13th, 2009, the 13th of april. another day of uneventful but highly satisfying
00:49:47 <boily> oerjan: it can't be circular, it's linear hth
00:50:31 <boily> and another plot twist: orejan's arch-nemesis is Betty Crocker. who would've known.
00:50:36 <oerjan> boily: then why is it loopy
00:50:43 <fungot> Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck* ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube
00:50:51 <boily> oerjan: hyperdimensional fungot.
00:50:51 <fungot> boily: he is so silly! gross dude!!!
00:51:01 <boily> fungot: oerjan isn't silly.
00:51:01 <fungot> boily: good thing you already know there is mail in the box. and that means the beta might be here too.
00:51:55 <oerjan> boily: hm i didn't know who betty crocker was, and yet a quick google shows fungot is obviously right.
00:51:55 <fungot> oerjan: to the left is that house shape you've seen everything! weaky, is a game construct, i think the only of your kind with this mutant candy-red blood. an outcast. he thinks it's about to be.
00:52:18 <HackEgo> Your famous evil overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who hates Roald Dahl. He can never remember the word "amortized" so he put it here for convenience.
00:52:34 <oerjan> `learn_append oerjan His arch-nemesis is Betty Crocker.
00:52:39 <HackEgo> Learned 'oerjan': Your famous evil overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who hates Roald Dahl. He can never remember the word "amortized" so he put it here for convenience. His arch-nemesis is Betty Crocker.
00:54:43 <HackEgo> boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department.
00:54:54 <boily> no! oerjan's wisdom's longer!
00:55:06 <boily> (but it's not the size that counts, it's the boilywords ^^)
00:56:46 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45811&oldid=45797 * Luis Mendo * (+982) /* Specification */
00:58:28 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45812&oldid=45811 * Luis Mendo * (+50) /* Hello, world! */
00:58:59 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45813&oldid=45812 * Luis Mendo * (+0) /* Compiler */
01:03:39 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45814&oldid=45813 * Luis Mendo * (+7) /* Specification */
01:18:54 -!- ent0nces has quit.
01:27:14 <boily> hppavellon[1]. what should you do for Smiley...
01:32:04 <HackEgo> fizzie is not fnord with a monad but the king of #esoteric, see http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/src/fizziecoin.jpg
01:32:11 <HackEgo> Roujo is a Java heretic leaning on ungrammatical Haskell. His claim to Canadianness is marred by an unholy portal to China. The treaties suffer, so the cocktail will be postponed. He does not understand shell quoting.
01:33:02 <boily> yup. oerjan seems to be the most wisdomful.
01:36:28 <lifthrasiir> very, very interesting, but of course I cannot be sure
01:37:25 -!- mihow has joined.
01:39:42 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45815&oldid=45814 * Luis Mendo * (-1) /* Specification */
01:41:53 -!- mihow has quit (Ping timeout: 250 seconds).
01:44:22 <izabera> https://www.codeeval.com/open_challenges/11/ is it cheating to solve it like this? https://arin.ga/GdNbBq/raw
01:45:52 <boily> it's a solution! and if it's considered cheating, metaprogram it!
01:45:52 -!- jaboja has quit (Ping timeout: 272 seconds).
01:50:36 <boily> write a program that takes a tree as input and outputs something formatted like what you pasted on aringa.
01:51:02 <lifthrasiir> izabera: gperf for producing an optimal lookup table
01:52:35 <boily> holy fungot. neat.
01:52:35 <fungot> boily: not that it would actually bother pitying you. whatever your adventure throws at you im sure shell, and limbering up for a silly cookie dance. or it will 8e the most powerful adversary you have ever had a physical card for the stack or queue. items can be removed, the queen is a vain. yes, the sun." -mark twain
01:53:17 <izabera> boily: that's more interesting but way overkill <.<
01:56:33 <izabera> (also i managed to set up https correctly, yay)
02:17:28 <lifthrasiir> doesn't seem to look good yet, but well, trying
02:21:03 <boily> quintopia: mouah ah ah. timeshifting!
02:21:11 -!- boily has quit (Quit: PADLOCK CHICKEN).
02:21:57 -!- andrew has joined.
02:28:31 -!- bb010g has quit (Quit: Connection closed for inactivity).
02:30:05 -!- mauris has joined.
02:38:45 -!- jaboja has joined.
02:40:05 -!- andrew has quit (Remote host closed the connection).
02:40:29 -!- andrew has joined.
02:41:28 -!- andrew has quit (Remote host closed the connection).
02:42:03 -!- andrew has joined.
02:58:09 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds).
03:16:03 -!- bb010g has joined.
03:22:32 -!- tromp has joined.
03:27:12 -!- tromp has quit (Ping timeout: 272 seconds).
04:01:29 -!- jaboja has quit (Remote host closed the connection).
04:06:19 <HackEgo> [wiki] [[Emoji]] http://esolangs.org/w/index.php?diff=45816&oldid=45808 * 174.27.112.221 * (+97) Add interpreter section
04:06:46 <HackEgo> tswett is livin' it up with the penguins because he's so bad at following directions.
04:07:37 <tswett> fungot: how would you describe me?
04:07:37 <fungot> tswett: enter name. it's a title under the cruxite in the lathe.
04:08:08 <tswett> `learn tswett is livin' it up with the penguins. He's a title under the cruxite in the lathe.
04:08:11 <HackEgo> Learned 'tswett': tswett is livin' it up with the penguins. He's a title under the cruxite in the lathe.
04:08:15 <fungot> tswett: as a veteran of the game in the first place, so he can just button it
04:08:17 <HackEgo> fungot is our beloved channel mascot and voice of reason.
04:08:25 <HackEgo> HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing.
04:08:37 <HackEgo> rm: it is dangerous to operate recursively on `/' \ rm: use --no-preserve-root to override this failsafe
04:10:04 <zgrep> `run rm -rf --no-preserve-root /
04:10:41 <zgrep> I didn't break it, did I?
04:12:33 <HackEgo> :-( \ (* \ bdsmreclist \ bin \ canary \ cat \ close \ *) \ Complaints.mp3 \ :-D \ dog \ emoticons \ etc \ evil \ factor \ good \ ibin \ interps \ le \ lib \ paste \ quines \ quotes \ share \ src \ u8tbl \ u8tbl.c \ wisdom \ wisdom.pdf
04:13:04 <HackEgo> rm: cannot remove `/sys/fs/ext4/features/meta_bg_resize': Permission denied \ rm: cannot remove `/sys/fs/ext4/features/batched_discard': Permission denied \ rm: cannot remove `/sys/fs/ext4/features/lazy_itable_init': Permission denied \ rm: cannot remove `/sys/fs/cgroup': Permission denied \ rm: cannot remove `/sys/bus/cpu/devices/cpu0': Permission
04:14:28 <HackEgo> :-( \ (* \ bdsmreclist \ bin \ canary \ cat \ close \ *) \ Complaints.mp3 \ :-D \ dog \ emoticons \ etc \ evil \ factor \ good \ ibin \ interps \ le \ lib \ paste \ quines \ quotes \ share \ src \ u8tbl \ u8tbl.c \ wisdom \ wisdom.pdf
04:16:33 <hppavilion[1]> Maybe for the ISN I'm making I should include little widgets like a Neural Calculator and such
04:21:03 <HackEgo> bash: -c: line 0: syntax error near unexpected token `(' \ bash: -c: line 0: `cat *(* *)*'
04:21:34 <FireFly> `` echo *\(* *\)* | hexdump -C
04:21:35 <HackEgo> 00000000 3a 2d 28 20 03 30 33 28 2a 20 63 6c 6f 73 65 20 |:-( .03(* close | \ 00000010 5c 20 2a 29 03 0a |\ *)..| \ 00000016
04:21:53 <Sgeo__> Did ais523 see the news?
04:22:25 <HackEgo> 0 (* \ wc: *): No such file or directory \ 0 total
04:22:39 <Sgeo__> hppavilion[1], new version of NetHack released
04:22:45 <zgrep> Why is stuff green...
04:22:52 <HackEgo> 0 (* \ wc: *): No such file or directory \ 0 total
04:22:58 <zgrep> hppavilion[1]: I don't like them.
04:23:45 <Sgeo__> hppavilion[1], it's been 12 years since the release before yesterday's release.
04:23:51 <tswett> Holy 36d89a3cadcdf269110757df1074b4ef45fe641e.
04:24:03 <fungot> FireFly: be in cahoots with! you guess none the wiser, you board the shuttle. next stop, it's unbecoming
04:24:04 <HackEgo> 0e626652e53e39f29b8aecaca63f2cc6 -
04:25:09 <tswett> `run echo fuck | sha1sum
04:25:10 <HackEgo> f62e5bcda4fae4f82370da0c6f20697b8f8447ef -
04:25:25 <tswett> Well, it's not that one.
04:25:42 <tswett> `run echo -n fuck | sha1sum
04:25:43 <HackEgo> 38d0f91a99c57d189416439ce377ccdcd92639d0 -
04:26:43 <tswett> I need to go to bed in a few moments.
04:27:00 <tswett> But before I do, I think this is an appropriate time to use the "loudly" command.
04:27:02 <fungot> quintopia: though the fact that this is apparently a bull penis, and a variety of interests. you have a passion for really terrible movies. he would just go on and on about it.
04:27:11 <tswett> `loudly HOLY HOTDOGS A NEW NETHACK IS OUT
04:27:13 <HackEgo> HOLY HOTDOGS A NEW NETHACK IS OUT
04:27:34 <tswett> Oh yeah, I remember the bull penis.
04:27:52 * Sgeo__ looks at Desktop Dungeons
04:29:33 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: lodly: not found
04:33:20 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: quietly: not found
04:39:04 -!- tromp has joined.
04:43:22 -!- tromp has quit (Ping timeout: 256 seconds).
04:45:05 <HackEgo> cat: bin/quietly: No such file or directory
04:45:11 <HackEgo> #!/usr/bin/env python \ import sys, itertools \ inp = len(sys.argv) >= 2 and sys.argv[1] or raw_input() \ cyc = itertools.cycle(["\00304,09","\00309,04"]) \ print "".join(cyc.next() + c for c in inp)
04:46:30 <oerjan> `rainbow a b c d e f g h i j
04:47:23 <oerjan> `` rainbow <<<a b c d e f g h i j
04:47:33 <oerjan> `` rainbow <<<"a b c d e f g h i j"
04:47:45 <oerjan> `` rainbow <<<"a b c d e f g h i j k l m n o p"
04:47:46 <HackEgo> a b c d e f g h i j k l m n o p
04:48:04 <oerjan> `` rainwords <<<"a b c d e f g h i j k l m n o p"
04:48:05 <HackEgo> a b c d e f g h i j k l m n o p
04:48:29 <zgrep> `` rainbow <<<"testing 123"
04:48:33 <zgrep> `` rainwords <<<"testing 123"
04:48:46 <HackEgo> #!/usr/bin/python \ import random; w=[l.split() for l in open("/dev/stdin").read().split("\n")]; r=[4,7,8,9,2,6,13]; print "\n".join((lambda s: " ".join(chr(3) + "%02d"%r[(i+s)%len(r)] + l[i] for i in range(len(l))))(random.randrange(0, len(r))) for l in w)
04:49:47 <zgrep> `run find / -name '*matrix*'
04:50:18 <HackEgo> find: `/proc/tty/driver': Permission denied \ find: `/proc/1/task/1/fd': Permission denied \ find: `/proc/1/task/1/fdinfo': Permission denied \ find: `/proc/1/task/1/ns': Permission denied \ find: `/proc/1/fd': Permission denied \ find: `/proc/1/fdinfo': Permission denied \ find: `/proc/1/ns': Permission denied \ find: `/proc/2/task/2/fd': Permissi
04:51:18 <zgrep> `` find / -name '*matrix*' 2>/dev/null
04:51:32 <HackEgo> /hackenv/.hg/store/data/wisdom/sparse matrix algorithm.i \ /hackenv/wisdom/sparse matrix algorithm \ /usr/share/gforth/0.7.0/matrix.fs
04:51:53 <zgrep> `cat /hackenv/wisdom/sparse\ matrix\ algo*
04:51:54 <HackEgo> cat: /hackenv/wisdom/sparse\ matrix\ algo*: No such file or directory
04:52:00 <zgrep> `cat /hackenv/wisdom/sparse\ matrix\ algorithm
04:52:01 <HackEgo> cat: /hackenv/wisdom/sparse\ matrix\ algorithm: No such file or directory
04:52:23 <zgrep> `idon'tknowhowtousehackego
04:52:24 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: idon'tknowhowtousehackego: not found
04:52:31 <oerjan> `cat wisdom/sparse matrix algorithm
04:52:32 <HackEgo> Sparse matrix algorithms are a trivial special case of non-sparse matrix algorithms, by conjugating with the sparsification operation.
04:52:56 <zgrep> This wisdom is lost on me.
04:53:32 <oerjan> `culprits wisdom/sparse matrix algorithm
04:53:53 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
04:54:12 <oerjan> `` hg log 'wisdom/sparse matrix algorithm' | grep Summary
04:54:19 <oerjan> `` hg log 'wisdom/sparse matrix algorithm' | grep ummary
04:54:21 <HackEgo> summary: <oerjan> mv wisdom/sparse{," matrix algorithm"}
04:54:33 <zgrep> `` cat bin/culprits | curl -F 'sprunge=<-' sprunge.us
04:54:36 <HackEgo> Failed to connect to socket 2. \ % Total % Received % Xferd Average Speed Time Time Time Current \ Dload Upload Total Spent Left Speed \
04:54:44 <oerjan> `culprits wisdom/sparse
04:54:44 <zgrep> `` cat bin/culprits | curl --silent -F 'sprunge=<-' sprunge.us
04:54:46 <HackEgo> Failed to connect to socket 2.
04:55:16 <oerjan> zgrep: you cannot connect from inside the sandbox
04:55:32 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/culprits
04:56:16 -!- tromp has joined.
04:56:31 <zgrep> Yep, not understanding that.
04:56:42 <zgrep> Oh. Sort-of getting that.
04:57:41 <HackEgo> hg log --removed "$1" | grep summary: | awk '{print substr($2,2,length($2)-2)}' | sed "s/.$/\x0F&/" | xargs
04:58:14 <oerjan> it's not very long. it just runs a repository lookup and munges the output a bit.
04:59:14 <oerjan> the part before the | awk is useful if you want to see _what_ they changed.
04:59:35 <oerjan> as in my command above.
05:00:10 <oerjan> the rest just extracts the nicks.
05:00:49 <oerjan> `wget http://google.com/
05:01:05 <HackEgo> --2015-12-09 04:59:56-- http://google.com/ \ Connecting to 127.0.0.1:3128... Failed to connect to socket 2. \ connected. \ Proxy request sent, awaiting response... No data received. \ Retrying. \ \ --2015-12-09 04:59:58-- (try: 2) http://google.com/ \ Connecting to 127.0.0.1:3128... Failed to connect to socket 2. \ connected. \ Proxy request
05:02:04 <oerjan> i think google's supposed to be on the whitelist, so if that doesn't work then HackEgo's small amount of sandbox web access is completely broken.
05:02:24 <oerjan> but `fetch still works.
05:02:39 <Sgeo__> "Bad guy: Meat Man. Copyright Infringement: Likely"
05:04:54 <HackEgo> bin/culprits:hg log --removed "$1" | grep summary: | awk '{print substr($2,2,length($2)-2)}' | sed "s/.$/\x0F&/" | xargs \ bin/undo:hg diff -c "$@" | patch -p1 -R
05:05:07 <Sgeo__> playing the Desktop Dungeon tutorial
05:16:38 <HackEgo> cat: /etc/hosts: No such file or directory
05:16:44 <HackEgo> alternatives \ java-6-openjdk
05:16:59 <zgrep> `ls /etc/alternatives
05:17:01 <HackEgo> appletviewer \ appletviewer.1.gz \ aptitude \ aptitude.8.gz \ aptitude.cs.8.gz \ aptitude.de.8.gz \ aptitude.es.8.gz \ aptitude.fi.8.gz \ aptitude.fr.8.gz \ aptitude.gl.8.gz \ aptitude.it.8.gz \ aptitude.ja.8.gz \ aptitude.pl.8.gz \ awk \ awk.1.gz \ builtins.7.gz \ c++ \ c89 \ c89.1.gz \ c99 \ c99.1.gz \ cc \ cpp \ editor \ editor.1.gz \ ex \ ex.1.
05:17:13 <HackEgo> 05:16:19 up 0 min, 0 users, load average: 0.00, 0.00, 0.00
05:17:19 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: downtime: not found
05:17:26 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: reboot: not found
05:17:31 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: sudo: not found
05:17:33 <HackEgo> su: Cannot determine your user name.
05:17:52 <Xe> i probably just crashed it
05:18:03 <HackEgo> :-( \ (* \ bdsmreclist \ bin \ canary \ cat \ close \ *) \ Complaints.mp3 \ :-D \ dog \ emoticons \ etc \ evil \ factor \ good \ ibin \ interps \ le \ lib \ paste \ quines \ quotes \ share \ src \ u8tbl \ u8tbl.c \ wisdom \ wisdom.pdf
05:18:12 <Xe> `killall vi
05:18:15 <HackEgo> Vim: Warning: Output is not to a terminal \ [1;24r[?25h[?8c[?25h[?0c[27m[24m[0m[H[J[?25l[?1c[2;1H[1m[34m~ [3;1H~ [4;1H~
05:18:22 <HackEgo> 2 \ 4 \ 5 \ 6 \ 7 \ 8 \ 9 \ 10 \ 47 \ 49 \ 68 \ 281 \ 292
05:18:26 <Xe> lifthrasiir: hahaha
05:18:28 <HackEgo> error: unsupported SysV option \ \ Usage: \ ps [options] \ \ Try 'ps --help <simple|list|output|threads|misc|all>' \ or 'ps --help <s|l|o|t|m|a>' \ for additional help text. \ \ For more details see ps(1).
05:18:40 <HackEgo> error: unsupported SysV option \ \ Usage: \ ps [options] \ \ Try 'ps --help <simple|list|output|threads|misc|all>' \ or 'ps --help <s|l|o|t|m|a>' \ for additional help text. \ \ For more details see ps(1).
05:18:46 <HackEgo> \ Usage: \ ps [options] \ \ Try 'ps --help <simple|list|output|threads|misc|all>' \ or 'ps --help <s|l|o|t|m|a>' \ for additional help text. \ \ For more details see ps(1).
05:18:47 <HackEgo> warning: bad ps syntax, perhaps a bogus '-'? \ See http://gitorious.org/procps/procps/blobs/master/Documentation/FAQ \ USER PID %CPU %MEM VSZ RSS TTY STAT START TIME COMMAND \ 0 2 0.0 0.0 0 0 ? S 05:17 0:00 [kthreadd] \ 0 3 0.0 0.0 0 0 ? S 05:17 0:00 \_ [ksoftirq
05:19:16 <Xe> `ps -faux | curl -n -F 'f:1=<-' http://ix.io
05:19:17 <HackEgo> error: user name does not exist \ \ Usage: \ ps [options] \ \ Try 'ps --help <simple|list|output|threads|misc|all>' \ or 'ps --help <s|l|o|t|m|a>' \ for additional help text. \ \ For more details see ps(1).
05:19:20 <zgrep> `printf \13\10PRIVMSG #esoteric :Will it work?
05:19:21 <HackEgo> PRIVMSG #esoteric :Will it work?
05:19:39 <Xe> `ps -fax | curl -n -F 'f:1=<-' http://ix.io
05:19:40 <HackEgo> error: must set personality to get -x option \ \ Usage: \ ps [options] \ \ Try 'ps --help <simple|list|output|threads|misc|all>' \ or 'ps --help <s|l|o|t|m|a>' \ for additional help text. \ \ For more details see ps(1).
05:19:43 <lifthrasiir> `printf "%c%cPRIVMSG #esoteric :Will it blend?" 13 10
05:19:44 <HackEgo> "..PRIVMSG #esoteric :Will it blend?" 13 10
05:19:45 <Xe> `ps -fa | curl -n -F 'f:1=<-' http://ix.io
05:19:46 <HackEgo> error: unsupported SysV option \ \ Usage: \ ps [options] \ \ Try 'ps --help <simple|list|output|threads|misc|all>' \ or 'ps --help <s|l|o|t|m|a>' \ for additional help text. \ \ For more details see ps(1).
05:19:50 <zgrep> `printf \0d\0aPRIVMSG #esoteric :Will it work?
05:19:51 <HackEgo> .d.aPRIVMSG #esoteric :Will it work?
05:19:56 <Xe> `ps -a | curl -n -F 'f:1=<-' http://ix.io
05:19:57 <HackEgo> error: unsupported SysV option \ \ Usage: \ ps [options] \ \ Try 'ps --help <simple|list|output|threads|misc|all>' \ or 'ps --help <s|l|o|t|m|a>' \ for additional help text. \ \ For more details see ps(1).
05:20:11 <zgrep> `` ping -c 1 ix.io
05:20:22 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found
05:20:27 -!- \oren\ has quit (Quit: Lost terminal).
05:20:32 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: dig: not found
05:20:43 <HackEgo> Linux umlbox 3.13.0-umlbox #1 Wed Jan 29 12:56:45 UTC 2014 x86_64 GNU/Linux
05:20:53 <HackEgo> --2015-12-09 05:19:44-- http://ix.io/ \ Connecting to 127.0.0.1:3128... Failed to connect to socket 2. \ connected. \ Proxy request sent, awaiting response... No data received. \ Retrying. \ \ --2015-12-09 05:19:45-- (try: 2) http://ix.io/ \ Connecting to 127.0.0.1:3128... Failed to connect to socket 2. \ connected. \ Proxy request sent, awa
05:20:56 -!- oren has joined.
05:21:03 <HackEgo> curl: try 'curl --help' or 'curl --manual' for more information
05:21:17 <oren> you can't crash it, it recreates the VM with each command
05:21:35 <zgrep> `touch butwhatifichangesomething
05:21:39 <HackEgo> :-( \ (* \ bdsmreclist \ bin \ butwhatifichangesomething \ canary \ cat \ close \ *) \ Complaints.mp3 \ :-D \ dog \ emoticons \ etc \ evil \ factor \ good \ ibin \ interps \ le \ lib \ paste \ quines \ quotes \ share \ src \ u8tbl \ u8tbl.c \ wisdom \ wisdom.pdf
05:21:50 <oren> files are retained
05:21:54 <HackEgo> head: error reading `good': Is a directory
05:22:00 <HackEgo> 295 \ 503 \ 544 \ 755 \ 786
05:22:01 <HackEgo> 295 \ 503 \ 544 \ 755 \ 786
05:22:09 <HackEgo> Your friends are strong. Take their help.
05:22:12 <Xe> oren: is it in a docker container?
05:22:17 <HackEgo> cat: good/*: No such file or directory
05:22:21 <HackEgo> Your friends are strong. Take their help. \ Feel wronged? They made a mistake. See things from their side, and forgive them. \ There is a way out. Finding it will be difficult. It may be the hardest thing you've ever done. Find it anyway. \ It takes strength to admit your own weaknesses. \ Empathize. Always empathize.
05:22:29 <oren> Xe: It predates Docker
05:22:33 <HackEgo> ` \ `` \ ^.^ \ ̊ \ ! \ ? \ ¿ \ ' \ @ \ * \ ؟ \ \ \ \ 2014 \ 2015 \ 8ball \ 8-ball \ aaaaaaaaa \ addquote \ allquotes \ analogy \ anonlog \ arienvenido \ as86 \ aseen \ asm \ autowelcome \ benvenuto \ bf \ bienvenido \ bienvenue \ blessyou \ botsnack \ bseen \ buttsnack \ calc \ cAt \ CaT \ catcat \ cats \ cc \ cdecl \ c++decl \ chroot
05:22:51 <HackEgo> /hackenv/bin/!: 4: exec: ibin/: Permission denied
05:23:33 <oren> I don't know when the bot was created
05:23:48 * zgrep recommends that it take an image url from zgrep.org/cats and put it into the channel :P
05:23:51 <oren> maybe sometime in the 2000's?
05:24:07 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
05:24:07 <lifthrasiir> I probably need to make an assembly bot with an (initially) unknown machine
05:24:12 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: mas: not found
05:24:15 <HackEgo> man: can't open the manpath configuration file /etc/manpath.config
05:24:24 <lifthrasiir> the goal is to exploit a bug in the VM to escape the sandbox
05:24:26 <HackEgo> /tmp/asm.s: Assembler messages: \ /tmp/asm.s:1: Error: junk at end of line, first unrecognized character is `-' \ /tmp/asm.s: Assembler messages: \ /tmp/asm.s:1: Error: junk at end of line, first unrecognized character is `-'
05:25:19 -!- oren has changed nick to \oren\.
05:25:21 <HackEgo> /tmp/asm.s: Assembler messages: \ /tmp/asm.s:1: Error: no such instruction: `aoeu' \ /tmp/asm.s: Assembler messages: \ /tmp/asm.s:1: Error: no such instruction: `aoeu'
05:25:26 <HackEgo> /tmp/asm.s: Assembler messages: \ /tmp/asm.s:1: Error: number of operands mismatch for `mov' \ /tmp/asm.s: Assembler messages: \ /tmp/asm.s:1: Error: number of operands mismatch for `mov'
05:25:49 <zgrep> Seems quite promising, if I actually knew asm.
05:31:19 <HackEgo> 0: eb 03 jmp 0x5 \ 2: cd 80 int 0x80
05:31:35 <HackEgo> 0: f0 0f c7 0c 25 00 00 00 00 lock cmpxchg8b 0x0
05:31:41 <HackEgo> 0: eb 00 jmp 0x2 \ 2: cd 80 int 0x80
05:31:53 <lifthrasiir> guess it's gas with .intel_syntax by default
05:32:46 <oerjan> `! asm jmp $+5; int 0x80
05:33:07 <HackEgo> /tmp/asm.s: Assembler messages: \ /tmp/asm.s:1: Error: junk `(rip)' after expression \ /tmp/asm.s: Assembler messages: \ /tmp/asm.s:1: Error: junk `(rip)' after expression
05:33:28 <oerjan> try `! asm if you want to actually run some. i don't know asm myself alas.
05:33:59 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: !asm: not found
05:34:25 <Sgeo__> tswett, how does your transconal definition compare with my definition of |a+b@| = sqrt(a^2 - b^2) if a^2 - b^2 is positive, i*sqrt(a^2 - b^2) otherwise
05:34:44 <Sgeo__> I don't actually remember your definition at all :(
05:34:55 <Sgeo__> Other than it describes more than a+b@ iirc
05:34:56 <oerjan> i assume that was an infloop that timed out.
05:37:19 <oerjan> beret guy strikes again
05:41:36 <HackEgo> :-( \ (* \ bdsmreclist \ bin \ butwhatifichangesomething \ canary \ cat \ close \ *) \ Complaints.mp3 \ :-D \ dog \ emoticons \ etc \ evil \ factor \ good \ ibin \ interps \ le \ lib \ paste \ quines \ quotes \ share \ src \ u8tbl \ u8tbl.c \ wisdom \ wisdom.pdf
05:42:24 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/u8tbl.c
05:49:01 -!- augur has quit (Remote host closed the connection).
05:52:49 -!- augur has joined.
05:52:51 <oerjan> he made it to make unicode tables
05:56:46 <FireFly> I misread and thought the argv[2] was the count, not the end
05:59:15 * oerjan wonders if we've seen the guy in the last panel of girl genius before...
06:01:49 -!- tromp has quit (Remote host closed the connection).
06:02:11 <oerjan> or the diplomat lady fwiw
06:03:22 -!- adu has joined.
06:04:44 <adu> hi hppavilion[1]
06:06:57 <hppavilion[1]> (Your name lends itself very well to reverse esalutations at the cost of being impossible to form an hesso out of)
06:10:03 <adu> esalutations?
06:10:15 <adu> adu = adieu?
06:10:19 <adu> that is false!
06:10:31 <adu> and I can prove it!
06:10:42 * adu thinks therefore /me am
06:11:49 <adu> also, "adu" is short for "andydude" it's not supposed to be a french phrase, or an arabic name (do you know how many times i've wanted to punch people who called me abu?)
06:13:03 <adu> hppavilion[1]: what's a hesso?
06:17:20 <adu> that's a lot of hellos
06:17:27 <adu> I can't take it
06:30:01 <hppavilion[1]> (And your name is still prounounced roughly like "adieu" I assume, if the "du" is pronounced like the beginning of "dude")
06:30:50 <adu> hppavilion[1]: yup
06:31:11 <hppavilion[1]> So it's close enough to "adieu" to serve as a goodbye
06:31:38 <hppavilion[1]> adu: So I'm making a social network. Incrementally.
06:31:55 <adu> but my name should be a synonym for "amazing coder", not "good bye"
06:32:10 <hppavilion[1]> Basically, I'm developing it step-by-step and posting code as I go
06:33:12 <adu> that's like saying "I want my compiler to dig inside my brain to know what I want, without the brain surgery"
06:33:25 <adu> it's like wanting to have your cake, and eat it too
06:34:28 -!- oerjan has quit (Quit: Adwim).
06:34:41 <adu> "hppavilion[1]: adu: Why can't we have both?"
06:34:57 <adu> don't worry about me
06:35:03 <adu> I'm just B.S.ing
06:35:16 <hppavilion[1]> But you /can/ have your cake and eat it too if you have infinite cake and take into account Hilbert's Paradox of the Grand Hotel
06:35:52 <hppavilion[1]> Which is applicable here because names are reusable, according to quantum physics and brain surgery, as well as basic logic.
06:36:59 <adu> me does not know about Quantum Rocket Surgery
06:37:06 <hppavilion[1]> Unless you want it to be. But it doesn't /have/ to be QRS.
06:37:28 <hppavilion[1]> adu: So what do you think about my Incremental Social Network idea?
06:44:01 <hppavilion[1]> How about a language where any text file is acceptable and does something based on /all/ the content? For example, each word is hashed then looked up in a hash table before execution
06:44:24 <hppavilion[1]> Not a highly-advanced hash either; only ~256 possible outputs or something
06:46:50 <adu> hppavilion[1]: I don't like it
06:50:27 <hppavilion[1]> A programming language that ONLY executes the combining diacritics
07:00:44 -!- Frooxius has quit (Quit: *bubbles away*).
07:01:09 -!- Frooxius has joined.
07:02:23 -!- tromp has joined.
07:09:49 -!- adu has quit (Quit: adu).
07:16:23 <Sgeo__> So, Desktop Dungeons looks like a single-player resource management game
07:16:34 <Sgeo__> So getting good at that stuff might help me with Prismata and Dota 2?
07:16:56 -!- tromp has quit (Ping timeout: 256 seconds).
07:37:45 -!- Patashu has joined.
07:53:27 -!- andrew has quit (Remote host closed the connection).
07:54:08 -!- andrew has joined.
08:14:04 -!- tromp has joined.
08:18:06 -!- tromp has quit (Ping timeout: 240 seconds).
08:27:40 -!- ^v has joined.
09:09:07 -!- mroman has joined.
09:14:45 -!- andrew_ has joined.
09:15:35 -!- andrew has quit (Ping timeout: 250 seconds).
09:23:18 -!- Patashu has quit (Ping timeout: 256 seconds).
09:23:57 -!- Patashu has joined.
09:33:10 <b_jonas> oerjan: no, I was thinking about that, but you don't have enough precision. even if < zioo > is a second and a minute is 64 of those, "fi" could stand for any of B, C, D in < pafizip zioo > if C3PO rounds in the approperiate direction.
09:34:09 <b_jonas> olsner: it proves that "fi" is a digit, but it doesn't prove its value.
09:34:50 <b_jonas> oerjan: and I'm not convinced about these 64 second minutes anyway.
09:46:46 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
09:57:58 -!- ^v has quit (Ping timeout: 272 seconds).
10:17:18 <b_jonas> lifthrasiir: wow... have you started to add hangul syllables?
10:17:47 <b_jonas> Sure, I can see it's only a few, but still
10:17:53 <lifthrasiir> it can be done with a fewer number of sets, so I will start small and refine later
10:18:11 <lifthrasiir> (the minimal set would be 3 initials, 1 medial, 1 final)
10:18:58 <lifthrasiir> wait, 6 initials: (no final, has final) * (left, left-top, top)
10:19:37 <lifthrasiir> which gives (19*6 + 21*2 + 27) = 183 glyphs initially
10:20:05 <lifthrasiir> I've already worked on the combinatoric description of multiple glyphs
10:20:06 <b_jonas> no, I think you can actually make do with just 5 sets of initials, because you can use the same shape for left-top without final as for left with final.
10:20:35 <b_jonas> lifthrasiir: however, drawing all this in a 16x16 grid will be a difficult challenge. I don't know how readable you can get it.
10:20:39 <lifthrasiir> b_jonas: the extremely minimal font would use 1-1-1 sets :) (but I wanted to keep the square shape, thus 6-2-1)
10:21:16 <b_jonas> lifthrasiir: no really, aren't those two roughly the same size so you can use the same shape?
10:22:39 <lifthrasiir> I should also work on various compatibility problems
10:29:25 <b_jonas> I'll be interested if you can get it right. Font encodings are tricky and complicated.
10:32:19 <mroman> are there binary functions that are involutions?
10:32:41 <mroman> or to be more specific useful binary functions that are involutions
10:32:47 <mroman> where binary means they take two arguments
10:35:08 <FireFly> at least it's "left involutory" and "right involutory" in the sense that binding either operand gives an involutory unary function
10:35:17 <mroman> I'm not even sure how you define involutions for f(x,y)
10:35:24 <mroman> f(f(x,y)) is missing an argumen obviously
10:35:32 <mroman> but yes, XOR with a fixed operand is an involution.
10:35:53 <mroman> maybe f(x,y) == f(f(x,y),f(y,x))?
10:35:58 <FireFly> - is an involution if you bind the left operand
10:36:30 <FireFly> I think the definition "decays into an involutory function if you bind one argumnt" is a useful definition
10:36:54 <FireFly> that's the property that things like xorswap or xor-linked lists use, unless I'm mistaken
10:37:05 <FireFly> Would be interesting to know if there's more like them
10:37:41 <mroman> ", i.e. every operator is self-inverse" -- esowiki
10:38:00 <mroman> bitwise not, ^(-1), and negation
10:38:18 <mroman> although ^(-1) only makes sense for floats
10:38:32 <mroman> otherwise bitwise not, and negation
10:38:48 <FireFly> multiplicative inverse makes plenty sense for rationals
10:39:05 <mroman> I'm thinking of a brainfuck with +- replaced with !-
10:39:08 <mroman> where ! is bitwise not
10:40:46 <FireFly> so there's xor-linked lists, and slightly more esoterically there's subtraction-linked lists, but I guess in principle division-linked lists would work just as well as long as no pointers are NULL and you somehow represent the pointers as rationals
10:40:47 <mroman> you can use -(!(-(! to increment
10:41:10 <FireFly> I can't imagine any useful use of division-linked lists though
10:41:59 <FireFly> rationals, or in some other way so that x / (x / y) == y
10:42:09 <FireFly> which of course wouldn't work with truncating integer division
10:43:27 <FireFly> That's correct, and occasionally useful in codegolf
10:43:58 <FireFly> x/-~y is shorter than x/(y+1)
11:11:00 <Taneb> FireFly: it would require a system with continuous memory
11:14:57 -!- Frooxius has quit (Quit: *bubbles away*).
11:14:57 <Taneb> Which is somewhat uncommon
11:15:10 <Taneb> Although certainly on-topic in here
11:22:07 <FireFly> You could just map half the memory to the positive integers and the other half to the reciprocal of the positive integers, I think
11:22:19 <FireFly> that way it's still discrete
11:31:48 <FireFly> I don't know what I was thinking
11:32:03 <FireFly> Yeah, the memory would be continuous I suppose
11:37:11 -!- boily has joined.
11:48:51 <Taneb> Just caught up on Advent of Code! :D
12:02:32 -!- Patashu has quit (Ping timeout: 256 seconds).
12:05:48 <nchambers> luckily I went to bed 10 minutes before 9 dropped so last night I was caught up again
12:05:59 <Taneb> What time zone are you in?
12:06:50 <Taneb> So I'm sure as hell not staying up until 5 am just to see the next challenge
12:07:17 <nchambers> :D yeah its not that worth it to be on the leader board
12:21:35 <boily> slowly trudging my way through it. still at day 6.
12:21:50 <boily> Tanelle. I will catch up on you one day!
12:22:03 -!- boily has quit (Quit: OVERHAND CHICKEN).
12:34:39 <tswett> Sgeo__: I don't really remember my definition either.
12:48:39 -!- tromp has joined.
12:53:07 -!- tromp has quit (Ping timeout: 250 seconds).
13:49:09 -!- andrew_ has quit (Remote host closed the connection).
15:02:29 <mroman> someone commented on tanebs lecture about esolangs
15:02:43 <mroman> and it's not a very nice comment as youtube comments tend not to be nice
15:18:32 -!- jaboja has joined.
15:45:09 -!- mauris has quit (Ping timeout: 250 seconds).
15:46:58 -!- mauris has joined.
15:50:23 -!- Welo has joined.
16:02:29 -!- atrapado has joined.
16:08:07 -!- J_Arcane has quit (Ping timeout: 250 seconds).
16:27:01 -!- J_Arcane has joined.
16:42:41 -!- mroman has quit (Quit: Lost terminal).
16:52:40 -!- jaboja has quit (Ping timeout: 256 seconds).
17:04:39 -!- jaboja has joined.
17:24:50 -!- hppavilion[1] has joined.
17:24:54 <lifthrasiir> b_jonas: I've cleared some compatibility problems, they should be now usable both in Windows and OS X
17:37:10 -!- Frooxius has joined.
17:47:20 -!- Phantom_Hoover has joined.
17:53:32 -!- AnotherTest has joined.
18:00:06 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
18:03:07 -!- mihow has joined.
18:04:55 -!- hppavilion[1] has joined.
18:06:11 -!- jaboja has quit (Ping timeout: 264 seconds).
18:10:21 <HackEgo> [wiki] [[Seriously]] http://esolangs.org/w/index.php?diff=45817&oldid=45746 * Quintopia * (+5) formatting
18:20:29 -!- atrapado has quit (Quit: Leaving).
18:25:41 -!- jaboja has joined.
18:29:18 <hppavilion[1]> OK, for some reason getNode() isn't working on my linked list. Can't tell what's wrong with it, but it seems to hang forever.
18:29:56 <hppavilion[1]> It's basically just a FOR loop that goes to the next item on the list repeatedly until it either reaches the end or has gone far enough
18:30:31 <hppavilion[1]> for(long nd=0; nd<i; nd++){...} (where i is a long representing what part of the list you want to go to)
18:31:25 <hppavilion[1]> Wait, maybe it's a null termination error. THAT could be it, but I assumed C++'s builtin strings would just handle that for me
18:52:36 <lifthrasiir> yeah, the initial hangul syllable support landed
18:52:55 <lifthrasiir> it's somehow usable, though I probably need to tweak that a lot
18:57:08 <nchambers> <mroman> someone commented on tanebs lecture about esolangs ← link?
19:18:20 -!- mihow has quit (Quit: mihow).
19:19:18 -!- spiette has joined.
19:30:46 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
19:32:56 -!- hppavilion[1] has joined.
19:52:09 -!- Welo has quit (Quit: Leaving).
20:01:22 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
20:06:47 -!- Patashu has joined.
20:22:52 -!- mihow has joined.
20:29:21 -!- ^v has joined.
20:33:46 -!- Patashu has quit (Ping timeout: 240 seconds).
20:37:46 -!- jaboja has quit (Ping timeout: 240 seconds).
20:42:14 -!- mauris_ has joined.
20:44:26 -!- mauris has quit (Ping timeout: 256 seconds).
20:46:45 -!- mauris_ has quit (Ping timeout: 250 seconds).
20:46:59 -!- mauris has joined.
20:58:22 -!- jaboja has joined.
21:02:23 -!- hppavilion[1] has joined.
21:13:41 -!- lleu has joined.
21:13:41 -!- lleu has quit (Changing host).
21:13:41 -!- lleu has joined.
21:15:47 -!- mauris has quit (Ping timeout: 250 seconds).
21:19:34 <b_jonas> lifthrasiir: wait, what was the url of your preview page?
21:21:20 -!- ^v has quit (Ping timeout: 272 seconds).
21:24:08 -!- mauris has joined.
21:24:53 <b_jonas> aha, it was https://lifthrasiir.github.io/unison/sample.html and https://github.com/lifthrasiir/unison
21:28:31 -!- bb010g has quit (Quit: Connection closed for inactivity).
21:29:38 <b_jonas> lifthrasiir: I suggest that you try rendering some real Korean text in this (possibly add punctuation characters necessary for that first) and try to see how nice and readable it looks
21:34:18 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
21:42:14 -!- jaboja has quit (Ping timeout: 272 seconds).
21:56:30 -!- jaboja has joined.
22:00:42 -!- mauris_ has joined.
22:00:51 -!- mauris has quit (Ping timeout: 250 seconds).
22:20:19 -!- ^v has joined.
22:41:35 -!- glowcoil has quit (Ping timeout: 264 seconds).
22:46:26 -!- jaboja has quit (Ping timeout: 240 seconds).
22:52:50 -!- boily has joined.
22:53:56 <HackEgo> vorpal/Vorpal is really boring. Seriously, you have no idea.
22:54:06 <boily> 20 seconds. I guess that's a new record.
22:55:01 -!- mauris_ has quit (Ping timeout: 250 seconds).
23:03:21 <HackEgo> transformer/A transformer is one who used to trans, but no longer does.
23:03:35 <HackEgo> A translater is one who transes a long time after the fact.
23:04:00 -!- lleu has quit (Read error: No route to host).
23:07:26 <HackEgo> raii/RAII means you allocate in the constructor and deallocate in the destructor. There is no 'initializer' involved.
23:07:34 <HackEgo> radiohead/radiohead is "rock music"
23:07:53 <HackEgo> famicom/Famicom is a famous sitcom from Japan.
23:08:00 <HackEgo> welcome.sv/Hej och välkommen till den internationella knutpunkten för esoterisk programmeringsspråksdesign och -driftsättning! För mer information, se vår wiki: <http://esolangs.org/>. (För den andra sortens esoterism, pröva #esoteric på EFnet eller DALnet.)
23:08:11 -!- oerjan has joined.
23:08:18 <HackEgo> .doorstop/You do not have the clearance necessary to view this entry.
23:08:36 <Taneb> I should get to bed...
23:08:40 <Taneb> I'm going to Italy tomorrow!
23:08:57 <boily> Tanelle. where will you be italing?
23:09:06 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ignorance: not found
23:09:12 -!- spiette has quit (Quit: :qa!).
23:09:26 <HackEgo> F="$(find wisdom -name "*$(echo "$1" | lowercase)*" -type f | shuf -n1)"; echo -n "${F#wisdom/}/" | rnooodl; cat "$F" | rnooodl
23:09:43 <HackEgo> perl -pe 's/([Nn])ooodl/"$1@{[o x(3+rand 7)]}dl"/ge'
23:11:27 <HackEgo> noooooodl is the correct spelling
23:15:11 <HackEgo> fun fact 0 = 1 | fact n = n * fact (n - 1)
23:15:48 <Taneb> (I needed that for another channel)
23:16:13 <oerjan> @tell b_jonas afaiu the typo was corrected from something that means _exactly_ 43*60 (there is no final 0, so it's not rounded) to something that _can_ mean exactly 43*64. you may consider that too circumstantial but it's pretty obvious what happened there.
23:16:54 <Taneb> boily, I imagine you, by the way, as some guy probably in his late twenties or early thirties, weilding a 20 foot tall pole with ribbons on it as a weapon
23:18:15 -!- glowcoil has joined.
23:18:23 <boily> I'm indeed some guy in his second half of the twenties.
23:20:31 <zgrep> You're a time traveler.
23:21:07 <tswett> A maple maypole, mind.
23:21:49 <tswett> Not, like, one of those stupid cherry maypoles.
23:24:41 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
23:24:46 -!- jaboja has joined.
23:26:34 <boily> tswellott. nothing but authentic maple mapole.
23:39:04 <tswett> So, I wonder what kind of axiom could be added to primitive recursive arithmetic in order to make it able to do transfinite induction up to epsilon_0 and beyond.
23:39:26 * zgrep wonders what the world would be like if zgrep understood such things
23:39:49 * boily 's eyes glazeth over like a tim hortons donut
23:41:18 <tswett> How do you even talk about ordinal numbers in PRA, anyway?
23:44:17 <tswett> I mean, I guess you could pick an ordinal notation and define "ordinal number" as meaning something in that notation.
23:44:54 <tswett> But I don't think PRA can express the concept of well-orderedness.
23:46:52 <tswett> But they say that PRA can do transfinite induction for ordinals less than epsilon_0.
23:47:38 -!- tswett has set topic: The international hub for esoteric beverage design and deployment. | /ɛ̃ˈglɪʃ spɛˈliŋ ʀɘfɔʀm/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://esolangs.org/.
23:49:15 <boily> we're up to beverages? do they include Fentimans?
23:52:51 <tswett> Well, are those beverages?
23:53:51 <boily> they are quite nice bottled beverages, incidentally from Hexham.
23:56:52 -!- hppavilion[1] has joined.
23:57:52 <boily> hppavellon[1]. what's your favourite beverage?
23:57:58 <tswett> I know Hexham from "Battle for Wesnoth".
23:58:15 <boily> Hexham is one of the world's two Luminaries.