00:00:29 -!- not^v has quit (Ping timeout: 252 seconds). 00:05:37 -!- not^v has joined. 00:07:06 -!- ^v has quit (Ping timeout: 252 seconds). 00:10:58 -!- ^v has joined. 00:13:41 -!- not^v has quit (Ping timeout: 252 seconds). 00:14:07 -!- not^v has joined. 00:14:51 -!- jix has quit (Ping timeout: 255 seconds). 00:15:20 -!- ^v has quit (Ping timeout: 252 seconds). 00:18:33 -!- jix has joined. 00:18:38 -!- not^v has quit (Ping timeout: 252 seconds). 00:30:31 -!- nooodl has quit (Quit: Ik ga weg). 00:36:43 -!- rodgort has quit (Ping timeout: 264 seconds). 00:38:19 -!- ^v has joined. 00:40:49 -!- not^v has joined. 00:43:47 -!- rodgort has joined. 00:43:56 -!- ^v has quit (Ping timeout: 252 seconds). 00:45:26 -!- conehead has quit (Quit: Computer has gone to sleep.). 00:45:59 -!- ^v has joined. 00:48:53 -!- not^v has quit (Ping timeout: 252 seconds). 00:49:19 -!- not^v has joined. 00:50:32 -!- ^v has quit (Ping timeout: 252 seconds). 00:52:49 -!- glogbackup has quit (Read error: Connection reset by peer). 00:52:49 -!- Sellyme has quit (Excess Flood). 00:53:57 -!- ^v has joined. 00:54:23 -!- not^v has quit (Ping timeout: 252 seconds). 00:55:26 -!- Sellyme has joined. 00:58:16 -!- not^v has joined. 01:00:59 -!- ^v has quit (Ping timeout: 252 seconds). 01:02:25 -!- ^v has joined. 01:02:38 -!- not^v has quit (Ping timeout: 252 seconds). 01:02:59 -!- applybot has quit (Remote host closed the connection). 01:04:44 -!- glogbackup has quit (Read error: Connection reset by peer). 01:05:47 -!- not^v has joined. 01:06:22 -!- not^v has quit (Client Quit). 01:07:35 -!- ^v has quit (Ping timeout: 252 seconds). 01:14:25 -!- glogbackup has quit (Ping timeout: 240 seconds). 01:21:20 -!- glogbackup has quit (Ping timeout: 252 seconds). 01:22:56 hm these gravitational waves would be dating from a fraction of a second after the big bang! 01:23:31 unless the theory of eternal inflation is also true, in which they would be dating from the fraction of a second at which that ended in our region of the universe 01:23:45 *in which case 01:24:25 also those fractions need a "minuscule" before them, i think. 01:29:38 hm 10^(-37) seconds says this article 01:29:55 -!- nisstyre has quit (Ping timeout: 264 seconds). 01:32:54 ooh it's the same as the theorized time for the grand unification breakup 01:33:54 https://www.simonsfoundation.org/quanta/20140317-possible-echo-of-big-bang-detected/ btw 01:35:05 -!- Bike has quit (Ping timeout: 252 seconds). 01:35:38 hm that site's favicon is so appropriate for this stuff 01:36:35 also, this channel is too quiet tonight. 01:39:26 oh hm it's energy scale, not time. should be correlated though. 01:41:26 -!- Bike has joined. 01:42:09 -!- MoALTz__ has joined. 01:43:09 -!- nisstyre has joined. 01:44:38 -!- MoALTz_ has quit (Ping timeout: 240 seconds). 01:47:53 -!- applybot has joined. 01:48:17 -!- glogbackup has quit (Ping timeout: 252 seconds). 01:49:30 applybot, term "ALL n :: nat. n > 1 --> EX p. prime p & prime (2*n - p)" 01:49:30 *** I feel a strange sensation: . (Try "restart".) 01:50:01 What is an applybot? 01:50:02 -!- applybot has quit (Remote host closed the connection). 01:50:11 python is, like, the worst language ever 01:50:30 -!- applybot has joined. 01:50:46 a bizarre statement. 01:51:10 ^wiki ESME 01:51:10 http://esolangs.org/wiki/ESME 01:51:14 hth 01:51:23 applybot, term "ALL n :: nat. n > 1 --> EX p. prime p & prime (2*n - p)" 01:51:28 *** Inner syntax error at "EX p . prime p & prime ( 2 * n - p )" 01:51:53 applybot, thm exE 01:51:55 [| EX x. ?P x; !!x. ?P x ==> ?Q |] ==> ?Q 01:52:16 applybot, term "ALL n :: nat. n > 1 --> (EX p. prime p & prime (2*n - p))" 01:52:16 *** Illegal application of command "term" at top level 01:53:04 ESME is deleted? :( 01:53:15 http://esolangs.org/wiki/Esme 01:54:20 -!- applybot has quit (Remote host closed the connection). 01:54:40 it's still there. 01:55:09 Yes, I realized shortly after I asked, then I linked to it. oerjan made the bot link to the wrong place. 01:55:40 -!- Tod-Autojoined has joined. 01:55:44 SOrRY I dON*T KNOW WHat haPPENED 01:56:16 -!- Tod-Autojoined has quit (Client Quit). 01:56:23 -!- Tod-Autojoined has joined. 01:57:00 -!- TodPunk has quit (Write error: Connection reset by peer). 01:57:17 -!- Tod-Autojoined has changed nick to TodPunk. 02:00:57 -!- nys has quit (Quit: quit). 02:07:23 -!- Bike_ has joined. 02:07:43 -!- Bike has quit (Ping timeout: 264 seconds). 02:07:52 -!- Bike_ has changed nick to Bike. 02:13:12 -!- glogbackup has quit (Ping timeout: 255 seconds). 02:24:14 -!- Bike_ has joined. 02:24:32 -!- Bike has quit (Disconnected by services). 02:24:37 -!- Bike_ has changed nick to Bike. 02:31:39 -!- Bike has quit (Ping timeout: 255 seconds). 02:33:34 -!- Bike has joined. 02:33:57 -!- Bike has changed nick to Guest72828. 02:35:55 -!- Guest72828 has changed nick to Bike. 02:36:47 -!- yorick has quit (Remote host closed the connection). 02:37:27 -!- conehead has joined. 02:46:27 -!- Jafet has quit (Quit: Quit). 02:46:54 -!- Jafet has joined. 02:47:06 -!- Jafet has quit (Changing host). 02:47:06 -!- Jafet has joined. 03:04:08 -!- Sorella has quit (Quit: It is tiem!). 03:05:09 -!- conehead has quit (Quit: Computer has gone to sleep.). 03:18:18 http://i.imgur.com/ZYmu29u.png 03:20:21 gamestop as laundering. fascinating. 03:30:40 -!- oerjan has quit (Quit: Nite). 03:31:19 -!- variable has joined. 03:35:55 -!- shikhin has quit (Ping timeout: 264 seconds). 03:38:28 -!- shikhin has joined. 03:49:13 -!- tromp has quit (Remote host closed the connection). 04:03:08 -!- shikhout has joined. 04:06:31 -!- shikhin has quit (Ping timeout: 264 seconds). 04:06:32 -!- shikhout has changed nick to shikhin. 04:10:05 -!- MoALTz has joined. 04:11:17 -!- variable has quit (Ping timeout: 246 seconds). 04:11:33 -!- MoALTz__ has quit (Ping timeout: 255 seconds). 04:12:20 -!- MoALTz__ has joined. 04:14:25 -!- conehead has joined. 04:15:07 -!- MoALTz has quit (Ping timeout: 264 seconds). 04:19:26 Maybe cup noodles aren't so bad... one thing of cup noodles has about as much sodium as two things of instant pasta 04:19:33 (Or maybe instant pasta is worse than I thought) 04:19:56 (If I eat instant pasta one night, I usually have two of them, whereas I only have one cup noodles) 04:22:57 -!- limitless232323 has joined. 04:23:27 -!- applybot has joined. 04:24:59 daf 04:38:54 anyone here ever reached a state of zen? 04:39:06 `welcome limitless232323 04:39:13 oh no. 04:39:16 Hello bike 04:39:26 what do you mean oh no? 04:40:05 that's supposed to play a prerecorded message. 04:40:33 what is? 04:40:37 `welcome 04:40:40 mentioning among other things that the channel is about esoteric programming languages 04:40:46 oh shit 04:40:47 haha 04:40:50 my fault 04:41:00 have a nice day/night 04:41:05 -!- limitless232323 has left ("Leaving"). 04:59:01 `help 04:59:17 Erm. 04:59:24 ^help 04:59:24 ^

; ^def   ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool
04:59:38  all is lost, imo
05:39:07 -!- glogbackup has quit (Ping timeout: 264 seconds).
05:41:18  So, anyone ever see a ghost? I believe we should all get in touch with our inner ghost. I think Brainfuck is a wonderful meditative excersize to get in touch with your inner ghost
05:42:04  well, i punched one once, but i couldn't see it.
05:42:19 -!- password2 has joined.
05:43:19 * Sgeo assumes a hunter just entered
06:03:28 -!- elliott has quit (Ping timeout: 265 seconds).
06:03:43 -!- glogbackup has quit (Ping timeout: 264 seconds).
06:06:37 -!- elliott_ has joined.
06:08:32 -!- glogbackup has quit (Ping timeout: 255 seconds).
06:13:05 -!- glogbackup has quit (Ping timeout: 246 seconds).
06:24:59 -!- glogbackup has quit (Ping timeout: 246 seconds).
06:32:50  Bike: ^welcome
06:33:02  Bike: It's a bit cut off, but better than nutting.
06:36:52  ^welcome
06:36:52  : Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try ...
06:36:57  thank god.
06:47:13  what happened to the old one?
06:47:52  executed for sedition.
06:49:57  executed for sediment
06:51:20  is hackego actually gone for good? :(
06:52:58 -!- tromp has joined.
06:54:22  i dunno
06:54:36  i just like talking about sedition
06:54:54 -!- glogbackup has quit (Ping timeout: 255 seconds).
06:57:31 -!- tromp has quit (Ping timeout: 264 seconds).
07:06:02 -!- ^v has joined.
07:06:43 -!- glogbackup has quit (Ping timeout: 264 seconds).
07:11:55 -!- glogbackup has quit (Ping timeout: 264 seconds).
07:12:47 -!- chaiomanot has quit (Ping timeout: 252 seconds).
07:31:19 -!- glogbackup has quit (Ping timeout: 264 seconds).
07:40:07 -!- glogbackup has quit (Ping timeout: 264 seconds).
07:40:17 -!- Slereah__ has quit (Ping timeout: 252 seconds).
07:42:35 -!- ^v has quit (Quit: Leaving).
07:44:24 -!- oklopol has quit (Ping timeout: 255 seconds).
07:44:51 -!- glogbackup has quit (Ping timeout: 255 seconds).
07:45:52 -!- MindlessDrone has joined.
07:49:20 -!- glogbackup has quit (Ping timeout: 255 seconds).
07:52:43 -!- applybot has quit (Remote host closed the connection).
07:53:09  I like Vonnegut's _The Gospel from Outer Space_: http://www.readvonnegut.com/2010/07/kilgore-trout-slaughterhouse-five.html
07:53:51 -!- glogbackup has quit (Ping timeout: 255 seconds).
07:55:32  huh, thought that was a different book 4 some reason
08:00:43 -!- password2 has quit (Ping timeout: 264 seconds).
08:02:47 -!- Froox has joined.
08:02:47 -!- Frooxius has quit (Read error: Connection reset by peer).
08:03:13 -!- glogbackup has quit (Ping timeout: 240 seconds).
08:11:24 -!- MoALTz has joined.
08:13:07 -!- MoALTz__ has quit (Ping timeout: 264 seconds).
08:18:49 -!- jconn has quit (Ping timeout: 265 seconds).
08:40:34  sometimes I see $ used to mean cache and it annoys me greatly... I guess $ = cash = cache, but that's so ugly
08:40:47 -!- Bike has quit (Ping timeout: 246 seconds).
08:45:06  Huh. I have never seen that. I guess i’m lucky.
08:51:51 -!- oklopol has joined.
08:52:57 -!- applybot has joined.
09:20:04 -!- applybot has quit (Remote host closed the connection).
09:26:50 -!- conehead has quit (Quit: Computer has gone to sleep.).
09:40:33  *yawn*
09:43:41 -!- applybot has joined.
09:56:19 -!- jumpifnotzero has joined.
10:01:47  jumpifnotzero: hi hagb4rd
10:02:52  (if you're not evading a ban, you'd better say so in the next few minutes.)
10:02:56 -!- shikhout has joined.
10:04:34  applybot, lemma "((p --> q) --> p) --> p" try0
10:04:42   Proving: 1. ((p --> q) --> p) --> p  \  Trying "simp", "auto", "fast", "fastforce", "force", "blast", "metis", "linarith", and "presburger"...  \  Try this: by fast  \  (fast, force, blast, linarith: 0 ms; auto: 1 ms; metis: 2 ms; fastforce: 3 ms).
10:05:16  applybot, by fast
10:05:17   QED: lemma ((?p --> ?q) --> ?p) --> ?p
10:06:05 -!- ChanServ has set channel mode: +o elliott_.
10:06:31 -!- shikhin has quit (Ping timeout: 264 seconds).
10:06:32 -!- shikhout has changed nick to shikhin.
10:06:46 -!- elliott_ has kicked jumpifnotzero if you are not banned user hagb4rd, sorry for the inconvenience and please /msg me.
10:06:55 -!- elliott_ has set channel mode: +b *!*@*.pool.mediaWays.net.
10:07:21  ISP only used by two people who aren't hagb4rd in the logs
10:07:28  both joined and parted immediately. heck, maybe they were hagb4rd too
10:07:33  should be okay for a temporary ban
10:07:37 -!- elliott_ has set channel mode: -o elliott_.
10:08:20  (ban not just based on ISP but also CTCP VERSION giving back some awful German client that nobody else in their right mind would use, and also the lack of a reply)
10:09:24 -!- boily has joined.
10:09:39  Is it bad that, despite mostly programming in Haskell, when I program in Rust I use a very mutation-heavy style?
10:16:02  Maybe rust is bad
10:16:07  or haskell is bad!
10:17:01  full disclosure:
10:17:03  10:15:53 -!- Irssi: Starting query in freenode with jumpifnotzero
10:17:03  10:15:53  sry was afk
10:17:03  10:16:12  hi
10:17:03  10:16:19  hi
10:17:05  10:16:33  i was not evading now. i was yesterday.. my isp reconnected me
10:17:08  10:16:39  I banned you on the assumption that you were a user who has been persistently evading a ban recently, based on  your ISP and client
10:17:11  10:16:42  are you hagb4rd?
10:17:14  10:16:44  yes
10:17:16  10:16:47  okay
10:18:52  elliott_, how is Hexham doing?
10:19:08  hexcellently
10:19:12  Will you need to disclose that you might disclose that you are disclosing this
10:19:38  Jafet: I don't need to disclose the whole closure.
10:19:42  then it wouldn't be closed any more.
10:21:00  I thought you had it fully disclosed.
10:21:30  it leaked.
10:22:43  what is the difference between a leak and a disclosure?
10:33:39  Also, what is the awful German client that nobody else in their right mind would use?
10:35:20  10:01:40 [freenode] CTCP VERSION reply from jumpifnotzero: Nettalk  6.7.16  (c)2002-2012 by Nicolas Kruse (www.ntalk.de)
10:36:08  Oh, okay
10:37:19  "i was not evading now. i was yesterday"
11:05:07 -!- boily has quit (Quit: Poulet!).
11:43:07 -!- glogbackup has quit (Ping timeout: 264 seconds).
11:56:02 -!- Sorella has joined.
12:07:09 -!- ggherdov has quit (Ping timeout: 245 seconds).
12:07:22 -!- Vorpal has quit (Read error: Operation timed out).
12:13:46 -!- Vorpal has joined.
12:21:26 -!- ggherdov_ has joined.
12:44:33 -!- tromp has joined.
12:44:55 -!- nisstyre has quit (Ping timeout: 264 seconds).
12:59:39 -!- yorick has joined.
13:04:20 -!- oerjan has joined.
13:07:31 -!- Sgeo has quit (Read error: Connection reset by peer).
13:08:38  does anyone have ipv6?
13:09:39  !echo hi
13:09:41  hi
13:09:55  One would presume so
13:10:33  now hackego's repository browser isn't loading either :(
13:11:18  I mean anyone here.
13:13:20  !addinterp sh echo 'Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:13:21  There is already an interpreter for sh!
13:13:24  oops
13:13:40  !addinterp welcome echo 'Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:13:41  Interpreter welcome installed.
13:13:46  !welcome
13:13:47  'Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:13:51  oops
13:13:56  !delinterp welcome
13:13:56  Interpreter welcome deleted.
13:14:03  !addinterp welcome echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:14:03  Interpreter welcome installed.
13:14:07  !welcome
13:14:08  Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:14:54  yay the dog hasn't barked today!
13:22:15  !welcome INSERT_NICK_HERE
13:22:15  Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:22:19  DEFICIENT
13:22:34  sheesh
13:22:48  !delinterp welcome
13:22:48  Interpreter welcome deleted.
13:23:13 -!- `^_^v has joined.
13:23:58  It's the nick issue that's fungot's problem too; an Underload program could output that entire message, but couldn't do the nick; the brainfuck interpreter has a shorter output length limit.
13:23:58  fizzie: " and this is a new game. there is no new-line in morse code ( the way databases do it), but... it's x-treme!
13:24:07  (Should probably just bump up that number.)
13:24:38  addinterp should be able to do nicks
13:24:41  after all, it is for interpreters
13:24:49  !addinterp welcome sh echo $(cat) test
13:24:49  Interpreter welcome installed.
13:24:51  !welcome q r s
13:24:51  q r s test
13:24:56  easy.
13:27:38  oh that's how EgoBot's input works
13:27:43  well, it's an interpreter
13:27:49  they tend to take programs as input.
13:28:24  well i _still_ don't know how to add a colon only when there is a parameter.
13:28:36  (and strip final space iirc)
13:28:43  hm...
13:28:50  of course
13:29:30  well, you have sh.
13:29:34  or perl. or anything else
13:29:49  !sh [[ -z abc ]] || echo "abc: "
13:29:49  abc:
13:29:53  !sh [[ -z "" ]] || echo ": "
13:29:54  No output.
13:30:08  !delinterp welcome
13:30:08  Interpreter welcome deleted.
13:30:39  !addinterp welcome nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:30:39  Interpreter nick___cat__ does not exist!
13:30:45  !addinterp welcome sh nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:30:45  Interpreter welcome installed.
13:30:50  !welcome
13:30:51  /tmp/input.20894: line 1: syntax error near unexpected token `(' \ /tmp/input.20894: line 1: `nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:30:54  elliott_: bloody hell i was working here
13:30:59  !delinterp bash
13:30:59  That interpreter doesn't exist!
13:31:01  ...
13:31:03  !delinterp welcome
13:31:03  Interpreter welcome deleted.
13:31:04  !addinterp welcome bash nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:31:05  Interpreter bash does not exist!
13:31:09  come on.
13:31:14  !addinterp welcome sh -c sed 's?[ ]*$?Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)?'
13:31:14  Interpreter welcome installed.
13:31:21  !welcome test
13:31:21  /tmp/input.21086: line 1: -c: command not found
13:31:22  heh.
13:31:25  bah
13:31:28  it's just "sh sed"
13:31:33  it's !addinterp name interp ...
13:31:45  !delinterp test
13:31:45  test is not a user interpreter.
13:31:48  oh hm wait
13:31:51  and then !name ...input... is like !interp ... with ...input... as stdin
13:32:04  !delinterp welcome
13:32:05  Interpreter welcome deleted.
13:32:44  oh wait.
13:34:31  you know i think your method is easier to fix
13:34:49 -!- oklopol has quit (Ping timeout: 240 seconds).
13:36:54  it is
13:36:58  just bash -c or don't use bashisms
13:38:12  !addinterp welcome bash -c 'sh nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:38:12  Interpreter bash does not exist!
13:38:18  wait argh
13:38:24  !addinterp welcome SH bash -c 'sh nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:38:25  Interpreter SH does not exist!
13:38:31  !addinterp welcome sh bash -c 'sh nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:38:32  Interpreter welcome installed.
13:38:40  wtf did i bump caps lock
13:38:59  !welcome nearly_headless_nick
13:38:59  /bin/bash: -c: line 0: syntax error near unexpected token `(' \ /bin/bash: -c: line 0: `sh nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:39:04  or not.
13:40:45  oh
13:40:49  XD
13:40:54  !delinterp welcome
13:40:54  Interpreter welcome deleted.
13:41:10  !addinterp welcome sh bash -c 'nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:41:10  Interpreter welcome installed.
13:41:16  !welcome nearly_headless_nick
13:41:16  /bin/bash: -c: line 0: syntax error near unexpected token `(' \ /bin/bash: -c: line 0: `nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:41:31  _NOW_ WHAT
13:42:55  !delinterp welcome
13:42:56  Interpreter welcome deleted.
13:43:43  Unquoted (?
13:44:01 -!- jconn has joined.
13:44:03  oh hm right
13:44:08  Tor that matter, < and > .
13:44:15  *For
13:45:58  !addinterp welcome sh bash -c 'nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo '\''Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)'\'''
13:45:58  Interpreter welcome installed.
13:46:05  !welcome nearly_headless_nick
13:46:06  nearly_headless_nick: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:46:11  whew!
13:46:24  !welcome Melvar 
13:46:24  Melvar : Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:46:32  i knew it.
13:47:06  strip final space, i said.  but did they listen to me?  NO.
13:47:18  oh well tired now.
13:48:27  !delinterp welcome
13:48:28  Interpreter welcome deleted.
13:48:41  oerjan: cat | xargs
13:48:47  er
13:48:49  just xargs
13:48:51  of course.
13:48:56  !addinterp welcome sh bash -c 'nick=$(xargs); [[ -z $nick ]] || echo -n "$nick: "; echo '\''Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)'\'''
13:48:57  Interpreter welcome installed.
13:49:06  !welcome Melvar 
13:49:07  Melvar: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:49:08  !welcome   a b    c
13:49:09  a b c: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:49:17  that was simpler than the sed i was thinking of.
13:52:24  !addinterp welcome sh echo "$(xargs -I@ echo '@: ')Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)"
13:52:25  There is already an interpreter for welcome!
13:52:29  !delinterp welcome
13:52:30  Interpreter welcome deleted.
13:52:44  !addinterp welcome sh xargs -I@ echo -n '@: '; echo "Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)"
13:52:44  Interpreter welcome installed.
13:52:50  !welcome
13:52:51  Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:52:55  !welcome    a   b    c  
13:52:55  a   b    c  : Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:52:59  oh
13:53:10  brilliant
13:53:13  !delinterp welcome
13:53:13  Interpreter welcome deleted.
13:53:21  !addinterp welcome sh xargs -d' ' -I@ echo -n '@: '; echo "Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)"
13:53:22  Interpreter welcome installed.
13:53:27  !welcome  a  b  c 
13:53:28  a: : b: : c:  \ : Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:53:32  ...
13:53:39  okay, I see
13:55:01  getting closer
13:57:53  !delinterp welcome
13:57:53  Interpreter welcome deleted.
13:58:19  !addinterp welcome sh xargs printf "%s: "; echo "Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)"
13:58:19  Interpreter welcome installed.
13:58:24  !welcome abc
13:58:25  abc: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:58:26  !welcome abc   def   q 
13:58:26  abc: def: q: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:58:38  quite elegant, I think!
14:00:43  !info
14:00:44  EgoBot is a bot for running programs in esoteric programming languages. If you'd like to add support for your language to EgoBot, check out the source via mercurial at https://codu.org/projects/egobot/hg/ . Cheers and patches (preferably hg bundles) can be sent to Richards@codu.org , PayPal donations can be sent to AKAQuinn@hotmail.com , complaints can be sent to /dev/null
14:01:10  hmm.
14:01:15  !addinterp test sh c
14:01:16  There is already an interpreter for test!
14:01:18  !addinterp test2 sh c
14:01:18  Interpreter test2 installed.
14:01:20  !test2 int main(){}
14:01:20  /tmp/input.22904: line 1: c: command not found
14:01:28  !addinterp test3 sh interps/c
14:01:28  Interpreter test3 installed.
14:01:30  !test3 {}
14:01:30  /tmp/input.22999: line 1: interps/c: No such file or directory
14:01:32  meh.
14:01:41  !delinterp test3
14:01:41  Interpreter test3 deleted.
14:01:41  !delinterp test2
14:01:41  Interpreter test2 deleted.
14:01:43  !sh echo $PATH
14:01:43  /sbin:/usr/sbin:/bin:/usr/bin
14:01:49  !sh find / -name c
14:01:49  /usr/bin/find: `/': Function not implemented
14:01:55  !sh find . -name c
14:01:55  /usr/bin/find: `.': Function not implemented
14:01:58  !sh ls
14:01:59  interps \ lib \ slox
14:02:01  !sh ls interps
14:02:01  1l \ 2l \ Makefile \ adjust \ axo \ befunge \ bf_txtgen \ bfjoust \ boof \ c-intercal \ cat \ cfunge \ clc-intercal \ dimensifuck \ egobch \ egobf \ fukyorbrane \ gcccomp \ gforth_quit \ ghc \ glass \ glypho \ kipple \ lambda \ lazyk \ linguine \ malbolge \ pbrain \ qbf \ rail \ rhotor \ sadol \ sceql \ trigger \ udage01 \ underload \ unlambda \ whirl
14:03:04  !sh ps
14:03:05  \  \ Signal 18 (CONT) caught by ps (procps version 3.2.8). \ Please send bug reports to  or 
14:03:11  !sh ps -o ppid=
14:03:11  \  \ Signal 18 (CONT) caught by ps (procps version 3.2.8). \ Please send bug reports to  or 
14:03:14  weird.
14:04:18  !addinterp tell sh xargs printf "%s: "; sed 's/.*# *//g' interps/$1
14:04:18  Interpreter tell installed.
14:04:28 -!- conehead has joined.
14:04:45  !addinterp welcome2 tell welcome2;# Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
14:04:45  Interpreter welcome2 installed.
14:04:53  oh
14:04:54  !delinterp welcome2
14:04:55  Interpreter welcome2 deleted.
14:05:00  !addinterp welcome2 sh interps/tell welcome2;# Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)
14:05:00  Interpreter welcome2 installed.
14:05:05  !welcome2
14:05:06  /tmp/input.23597: line 1: interps/tell: No such file or directory
14:05:13  whaaat.
14:05:16  !ls interps/tell
14:05:18  !sh ls interps/tell
14:05:18  /bin/ls: cannot access interps/tell: No such file or directory
14:05:25  ugh, I guess userinterps go elsewhere...?
14:05:29  !sh ls lib
14:05:30  dcc \ interp \ interp.orig
14:05:31  !sh ls lib/inter
14:05:32  !sh ls lib/interp
14:05:32  /bin/ls: cannot access lib/inter: No such file or directory
14:05:33  lib/interp
14:05:46  !sh interp tell q
14:05:46  /tmp/input.23847: line 1: interp: command not found
14:05:50  !sh lib/interp tell q
14:05:50  No output.
14:05:54  !sh lib/interp tellfsdfsdf 
14:05:54  No output.
14:06:05  !sh lib/interp welcome
14:06:06  No output.
14:06:11  time to give up before oerjan +qs me
14:06:22  it would have been neat though.
14:06:25  hackego learndb.
14:09:29  i thought hackego's file system was readonly, or something.
14:09:31  er
14:09:34  *egobot
14:09:36  well, you'd have to use addinterp
14:10:25  !sh ls
14:10:26  interps \ lib \ slox
14:10:31  !sh ls lib
14:10:31  dcc \ interp \ interp.orig
14:10:40  !sh ls lib/interp
14:10:40  lib/interp
14:10:56  !sh ls -l lib/interp
14:10:57  /bin/ls: lib/interp: Function not implemented \ -rw-r--r-- 1 5000 5000 1065 Dec 17  2011 lib/interp
14:11:07  hmph
14:29:57 -!- MoALTz has quit (Read error: Connection reset by peer).
14:33:40 -!- MoALTz has joined.
14:35:43 -!- MoALTz has quit (Client Quit).
14:40:15 -!- MoALTz has joined.
14:46:48  ``
14:46:53  !!
14:47:54  !addinterp ! echo How exciting!
14:47:54  Interpreter _ installed.
14:47:57  !!
14:47:57  How exciting!
14:57:49 -!- nooodl has joined.
15:00:14 -!- impomatic has quit (Read error: Connection reset by peer).
15:12:29  !sh cat lib/interp
15:12:30  #!/bin/bash \  \ export I_CMD="$1" \ export I_ARG="$2" \ export ARG_FILE="/tmp/input.$$" \ export JAVA_ARGS="-Djava.security.manager" \  \ pola-nice() { \     mkdir -p /tmp/tmp.$$/tmp \     cp "$ARG_FILE" /tmp/tmp.$$"$ARG_FILE" \     pola-run -B -f=/lib64 -f=/etc/alternatives -f=lib -f=interps -f=/proc -f=/opt/ghc -tw /tmp /tmp/tmp.$$/tmp \ \         --prog=nice -a=-n10 \ \         -fa=slox/slox -a=25 \ \         -e
15:12:36  okay.
15:25:08 -!- Bike has joined.
15:59:54 -!- Slereah_ has joined.
16:03:33 -!- shikhout has joined.
16:06:03  !sh wc lib/interp
16:06:04  59  123 1065 lib/interp
16:06:30 -!- shikhin has quit (Ping timeout: 255 seconds).
16:06:31 -!- shikhout has changed nick to shikhin.
16:30:49  Hallo
16:30:58  I have a place to live next year!
16:31:08  oh aren't WE fancy
16:31:21  new shiny cardbox?
16:32:06  Yes
16:32:13  On Windmill Lane
16:32:35  you have a cardbox?  in my age we had to do with just a card
16:33:04  oerjan, the government's providing me with a cardboard box which I have to start paying off at 10% interest once I'm earning 21K a year
16:33:06  admittedly it was made of flintstone, not that fancy paper.
16:33:34  oerjan: a punched card, I presume?
16:33:49  oh flintstone
16:34:06  _and_ we had to punch it ourselves.
16:34:27  with our bare hands.  which we'd just evolved.
16:35:06  did they have opposable thumbs?
16:35:20  that's like the definition of hands, duh
16:38:51 -!- password2 has joined.
16:51:42 -!- oerjan has quit (Quit: leaving).
16:56:06 -!- Bike has quit (Ping timeout: 255 seconds).
16:56:56 -!- Bike has joined.
17:00:22  Taneb: Tilting at windmills, eh? 
17:00:52  One could say that
17:07:33 -!- Slereah_ has quit (Read error: Connection reset by peer).
17:08:06 -!- Slereah_ has joined.
17:24:58  !addinterp test1 sed s/.$/&: /; s_$_hello world_
17:24:58  Interpreter sed does not exist!
17:26:18  !addinterp test1 sh sed -e 's/.$/&: /' -e 's_$_hello world_'
17:26:18  Interpreter test1 installed.
17:26:21  !test1
17:26:22  hello world
17:26:25  !test1 foo
17:26:26  foo: hello world
17:26:29 -!- Bike has quit (Ping timeout: 246 seconds).
17:26:30  That works I guess
17:27:13 -!- nisstyre has joined.
17:29:48  !delinterp test1
17:29:49  Interpreter test1 deleted.
17:39:22  FireFly: doesn't work with multiple names
17:39:29  xargs printf "%s: " does
17:39:41  Yeah, I noticed that later
17:39:47  the xargs version, I mean
17:46:38 -!- Slereah__ has joined.
17:50:25 -!- Slereah_ has quit (Ping timeout: 240 seconds).
17:54:01 -!- chaiomanot has joined.
17:57:06 -!- ^v has joined.
17:58:51 -!- Bike_ has joined.
17:59:19 -!- Bike_ has changed nick to Bike.
18:04:48  attn kmc: compiling-to-javascript now in use by javascript developers http://blog.angularjs.org/2014/03/angular-20.html
18:05:23  that kind of thing has been popular for a long time
18:19:37 -!- password2 has quit (Ping timeout: 240 seconds).
19:13:22 -!- enigma has joined.
19:13:49 -!- enigma has left.
19:17:09 -!- myndzi has changed nick to scope.
19:17:40 -!- scope has changed nick to myndzi.
19:18:31  fn get_global_ptr() -> *mut Option<~~[~[u8]]>
19:19:05  maybe of a pointer to a pointer to a vector of pointers to u8 vectors?
19:20:18  function returning raw pointer (which you're allowed to mutate through) to maybe a pointer to a uniquely-owned box containing a pointer to a uniquely owned heap vector of pointers to uniquely owned heap vectors of u8
19:23:50  scary!
19:24:56  has someone written rustdecl explain yet
19:27:45  ~[T] is going away anyway
19:33:52  the HTML character entity with the longest name is ∳
19:38:12  The Unicode character with the longest name is U+FBF9 ARABIC LIGATURE UIGHUR KIRGHIZ YEH WITH HAMZA ABOVE WITH ALEF MAKSURA ISOLATED FORM.
19:39:12  yes
19:40:02  Discounting the initial and final forms of said character, however, the second-longest is U+1F502 CLOCKWISE RIGHTWARDS AND LEFTWARDS OPEN CIRCLE ARROWS WITH CIRCLED ONE OVERLAY, which also contains "clockwise".
19:40:16  you would think "counterclockwise" would be longer
19:40:40  Bike: actually the fact that ~T points to a box in the heap is something of an impl detail subject to change
19:40:49  the semantics of ~T and T are very close
19:40:51  Unicode uses the term ANTICLOCKWISE instead.
19:40:54  ok
19:41:06  It would, of course, still be longer, if it existed.
19:41:14 -!- nisstyre has quit (Ping timeout: 246 seconds).
19:41:58  (Some systematic character set that is.)
19:43:09  (U+2233 ANTICLOCKWISE CONTOUR INTEGRAL is presumably what that HTML entity would map to.)
19:44:18 -!- maurer has joined.
19:51:22  “= repeat one item over”, hence no anticlockwise counterpart.
19:54:22  U+26D3 chAINS, U+2698 flowER, U+2693 anCHOR, U+22A9 forCES and U+22A7 moDELS are the longest Unicode character names that can occur as a combination of inventory letters in a NetHack prompt.
19:54:43 * kmc submits that for nerd pub trivia
20:14:52 -!- nisstyre has joined.
20:21:39  CVE-2014-0133 http://nginx.org/download/patch.2014.spdy2.txt
20:26:28 -!- shikhin has quit (Disconnected by services).
20:27:34 -!- shikhin has joined.
20:50:48 -!- MoALTz_ has joined.
20:52:13 -!- MoALTz__ has joined.
20:53:41 -!- MoALTz has quit (Ping timeout: 246 seconds).
20:55:26 -!- MoALTz_ has quit (Ping timeout: 246 seconds).
20:55:48 -!- MoALTz__ has quit (Client Quit).
20:55:59 -!- MoALTz has joined.
21:05:49 -!- MindlessDrone has quit (Quit: MindlessDrone).
21:12:25  cute
21:59:52  http://sprunge.us/IPcW   cdecl pet peeve
22:00:26  huh
22:02:14  The cdecl lexer defines a large number of really common words (incl. "array", "as", "func", "into", "member", "of", "pointer", "ptr", "ref", "ret", "set", "to", "vector") used by its commands and the "english" syntax to result to special tokens instead of "NAME", so the parser gets all confused.
22:02:36  I believe some cdecls are less bad, but this one's quite widespread.
22:02:55  I built https://gist.github.com/olsner/608575 for decoding types using the C++ compiler a while ago
22:03:42 -!- shikhout has joined.
22:03:45  the "c++0x" stuff may need tweaks for c++11 though
22:04:34  I like that your useful practical tool also happens to be a shell / C++ polyglot
22:05:45  this is a good example of C++ templates doing something that neither macros nor well-behaved generics can do
22:06:30 -!- shikhin has quit (Ping timeout: 255 seconds).
22:06:32 -!- shikhout has changed nick to shikhin.
22:07:17  kmc, is that... is that a good thing or a bad thing
22:07:52 -!- oerjan has joined.
22:08:05  Taneb: arguably
22:08:10  that C++ templates can do these things?
22:08:14  Yes
22:10:29  C++ exists beyond good and evil
22:13:11  since it's just pattern matching on smaller and smaller types (structural recursion?) I think these templates are about as well-behaved as they come
22:25:42  I guess so
22:26:16  template specialization is ad-hoc overloading but you can do similar things in systems that are less ad-hoc
22:33:15 -!- stopreadingthis_ has joined.
22:55:01  Gregor: is HackEgo coming back? :<
23:12:29  fungot: is Gregor coming back?
23:12:29  oerjan: i am just as confused. you, in numbers apparently inexhaustible, were all from me at your computer you might be here too. i'll go and invite your friends, his state vsurp'd, his realme a slaughter-house, his subjects, the european council decided at its meeting on 30 april, or even this very difficult issue is discussed, it should be deleted, not merged. but new england flood of may, 1765, curwen's only child, it's anci
23:12:58  i take it you are uncertain about this.
23:36:01 -!- Sgeo has joined.
23:37:50 -!- nisstyre has quit (Ping timeout: 252 seconds).
23:38:42  Is it possible to write a web server in Coq?
23:39:25 -!- nooodl has quit (Quit: Leaving).
23:40:30  Sgeo: you can extract coq programs to other languages after typechecking
23:40:33  ocaml and haskell at least
23:40:51  Could that be hidden as part of a build process?
23:42:00  i presume so
23:44:12  Sgeo: If you are looking to write a webserver in a dependently typed language, idris might be better suited (not to say you can't do it in coq if you want to)
23:44:40  I'm thinking about reading Certified Programming with Dependent Types
23:44:44  whoa it's maurer
23:44:45  hi
23:44:49  Hallo.
23:44:50  Also, Idris doesn't seem production-ready
23:44:56  (Not that I would really use this in production)
23:45:05  Sgeo: Coq extracted code is not really production ready either
23:45:14  maurer: sadly one of our most interesting bots is out sick right now
23:45:44  Ah :/
23:45:48  the one that for each command boots up a User Mode Linux instance, runs the command, and then merges filesystem changes using Mercurial
23:46:01  but fungot will keep us company in the meantime
23:46:01  kmc: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp youtube
23:46:04  haurer
23:46:14  fungot: why did you list your ^styles just now?
23:46:14  kmc: c has an ignore restarter, restart/ ignore do? the symbols, pairs, procedures, and so am i just being anal here or am i misunderstanding how these were the people skills of a plane
23:46:28  fungot source: https://github.com/fis/fungot/blob/master/fungot.b98
23:46:28  kmc: is. absorb it on my door, which was just perceptibly fnord and this yields nothing itself; it keeps being removed, the queen is a vain. yes, it's all right, it's been awhile prometheus!
23:47:43 -!- tromp_ has joined.
23:47:43 -!- tromp has quit (Read error: Connection reset by peer).
23:48:56  but fungot will keep us company in the meantime
23:48:56  Sgeo: uninterned symbols, pairs, procedures, and so am i just being anal here or am i misunderstanding how these were the people skills of a plane
23:49:04  Sgeo: In essence, you can run coq in the same sense you can run agda
23:49:19  There's a way to do it, but runtime behavior is not necessarily bug free
23:50:46 -!- nisstyre has joined.
23:56:24  Isn't there some CoqWeb thing?
23:56:34  All software should be free as in seats.