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 <oerjan> hm these gravitational waves would be dating from a fraction of a second after the big bang!
01:23:31 <oerjan> 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:24:25 <oerjan> also those fractions need a "minuscule" before them, i think.
01:29:38 <oerjan> hm 10^(-37) seconds says this article
01:29:55 -!- nisstyre has quit (Ping timeout: 264 seconds).
01:32:54 <oerjan> ooh it's the same as the theorized time for the grand unification breakup
01:33:54 <oerjan> 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 <oerjan> hm that site's favicon is so appropriate for this stuff
01:36:35 <oerjan> also, this channel is too quiet tonight.
01:39:26 <oerjan> 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 <Jafet> applybot, term "ALL n :: nat. n > 1 --> EX p. prime p & prime (2*n - p)"
01:49:30 <applybot> *** I feel a strange sensation: <type 'exceptions.NameError'>. (Try "restart".)
01:50:01 <Sgeo> What is an applybot?
01:50:02 -!- applybot has quit (Remote host closed the connection).
01:50:11 <Jafet> python is, like, the worst language ever
01:50:30 -!- applybot has joined.
01:51:10 <fungot> http://esolangs.org/wiki/ESME
01:51:23 <Jafet> applybot, term "ALL n :: nat. n > 1 --> EX p. prime p & prime (2*n - p)"
01:51:28 <applybot> *** Inner syntax error at "EX p . prime p & prime ( 2 * n - p )"
01:51:55 <applybot> [| EX x. ?P x; !!x. ?P x ==> ?Q |] ==> ?Q
01:52:16 <Jafet> applybot, term "ALL n :: nat. n > 1 --> (EX p. prime p & prime (2*n - p))"
01:52:16 <applybot> *** Illegal application of command "term" at top level
01:53:04 <Sgeo> ESME is deleted? :(
01:53:15 <Sgeo> http://esolangs.org/wiki/Esme
01:54:20 -!- applybot has quit (Remote host closed the connection).
01:55:09 <Sgeo> 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 <oerjan> 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 <ion> http://i.imgur.com/ZYmu29u.png
03:20:21 <Bike> 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 <Sgeo> 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 <Sgeo> (Or maybe instant pasta is worse than I thought)
04:19:56 <Sgeo> (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:39:06 <Bike> `welcome limitless232323
04:40:05 <Bike> that's supposed to play a prerecorded message.
04:40:40 <Bike> mentioning among other things that the channel is about esoteric programming languages
04:41:05 -!- limitless232323 has left ("Leaving").
04:59:24 <fungot> ^<lang> <code>; ^def <command> <lang> <code>; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool
04:59:38 <Bike> all is lost, imo
05:39:07 -!- glogbackup has quit (Ping timeout: 264 seconds).
05:41:18 <Sgeo> 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 <Bike> 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:33:02 <fizzie> Bike: It's a bit cut off, but better than nutting.
06:36:52 <fungot> : 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:47:13 <lexande> what happened to the old one?
06:47:52 <Bike> executed for sedition.
06:49:57 <ion> executed for sediment
06:51:20 <kmc> is hackego actually gone for good? :(
06:52:58 -!- tromp has joined.
06:54:36 <Bike> 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 <shachaf> 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 <Bike> 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 <olsner> 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 <ion> 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:43:41 -!- applybot has joined.
09:56:19 -!- jumpifnotzero has joined.
10:02:52 <elliott_> (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 <Jafet> applybot, lemma "((p --> q) --> p) --> p" try0
10:04:42 <applybot> 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:17 <applybot> 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 <elliott_> ISP only used by two people who aren't hagb4rd in the logs
10:07:28 <elliott_> both joined and parted immediately. heck, maybe they were hagb4rd too
10:07:33 <elliott_> should be okay for a temporary ban
10:07:37 -!- elliott_ has set channel mode: -o elliott_.
10:08:20 <elliott_> (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 <Taneb> Is it bad that, despite mostly programming in Haskell, when I program in Rust I use a very mutation-heavy style?
10:16:07 <Jafet> or haskell is bad!
10:17:03 <elliott_> 10:15:53 -!- Irssi: Starting query in freenode with jumpifnotzero
10:17:03 <elliott_> 10:15:53 <jumpifnotzero> sry was afk
10:17:05 <elliott_> 10:16:33 <jumpifnotzero> i was not evading now. i was yesterday.. my isp reconnected me
10:17:08 <elliott_> 10:16:39 <elliott_> 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 <elliott_> 10:16:42 <elliott_> are you hagb4rd?
10:18:52 <Taneb> elliott_, how is Hexham doing?
10:19:12 <Jafet> Will you need to disclose that you might disclose that you are disclosing this
10:19:38 <elliott_> Jafet: I don't need to disclose the whole closure.
10:19:42 <elliott_> then it wouldn't be closed any more.
10:21:00 <Jafet> I thought you had it fully disclosed.
10:22:43 <boily> what is the difference between a leak and a disclosure?
10:33:39 <FireFly> Also, what is the awful German client that nobody else in their right mind would use?
10:35:20 <elliott_> 10:01:40 [freenode] CTCP VERSION reply from jumpifnotzero: Nettalk 6.7.16 (c)2002-2012 by Nicolas Kruse (www.ntalk.de)
10:37:19 <Jafet> "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:09:55 <Taneb> One would presume so
13:10:33 <oerjan> now hackego's repository browser isn't loading either :(
13:13:20 <oerjan> !addinterp sh echo '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 #esoteric on irc.dal.net.)'
13:13:21 <EgoBot> There is already an interpreter for sh!
13:13:40 <oerjan> !addinterp welcome echo '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 #esoteric on irc.dal.net.)'
13:13:41 <EgoBot> Interpreter welcome installed.
13:13:47 <EgoBot> '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 #esoteric on irc.dal.net.)'
13:13:56 <EgoBot> Interpreter welcome deleted.
13:14:03 <oerjan> !addinterp welcome echo 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 #esoteric on irc.dal.net.)
13:14:03 <EgoBot> Interpreter welcome installed.
13:14:08 <EgoBot> 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 #esoteric on irc.dal.net.)
13:14:54 <oerjan> yay the dog hasn't barked today!
13:22:15 <fizzie> !welcome INSERT_NICK_HERE
13:22:15 <EgoBot> 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 #esoteric on irc.dal.net.)
13:22:48 <EgoBot> Interpreter welcome deleted.
13:23:13 -!- `^_^v has joined.
13:23:58 <fizzie> 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 <fungot> 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 <fizzie> (Should probably just bump up that number.)
13:24:38 <elliott_> addinterp should be able to do nicks
13:24:41 <elliott_> after all, it is for interpreters
13:24:49 <elliott_> !addinterp welcome sh echo $(cat) test
13:24:49 <EgoBot> Interpreter welcome installed.
13:27:38 <oerjan> oh that's how EgoBot's input works
13:27:49 <elliott_> they tend to take programs as input.
13:28:24 <oerjan> well i _still_ don't know how to add a colon only when there is a parameter.
13:28:36 <oerjan> (and strip final space iirc)
13:29:49 <elliott_> !sh [[ -z abc ]] || echo "abc: "
13:30:08 <EgoBot> Interpreter welcome deleted.
13:30:39 <elliott_> !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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:30:39 <EgoBot> Interpreter nick___cat__ does not exist!
13:30:45 <elliott_> !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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:30:45 <EgoBot> Interpreter welcome installed.
13:30:51 <EgoBot> /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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:30:54 <oerjan> elliott_: bloody hell i was working here
13:30:59 <EgoBot> That interpreter doesn't exist!
13:31:03 <EgoBot> Interpreter welcome deleted.
13:31:04 <elliott_> !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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:31:05 <EgoBot> Interpreter bash does not exist!
13:31:14 <oerjan> !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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)?'
13:31:14 <EgoBot> Interpreter welcome installed.
13:31:21 <EgoBot> /tmp/input.21086: line 1: -c: command not found
13:31:33 <elliott_> it's !addinterp name interp ...
13:31:45 <EgoBot> test is not a user interpreter.
13:31:51 <elliott_> and then !name ...input... is like !interp ... with ...input... as stdin
13:32:05 <EgoBot> Interpreter welcome deleted.
13:34:31 <oerjan> you know i think your method is easier to fix
13:34:49 -!- oklopol has quit (Ping timeout: 240 seconds).
13:36:58 <elliott_> just bash -c or don't use bashisms
13:38:12 <oerjan> !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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:38:12 <EgoBot> Interpreter bash does not exist!
13:38:24 <oerjan> !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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:38:25 <EgoBot> Interpreter SH does not exist!
13:38:31 <oerjan> !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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:38:32 <EgoBot> Interpreter welcome installed.
13:38:40 <oerjan> wtf did i bump caps lock
13:38:59 <oerjan> !welcome nearly_headless_nick
13:38:59 <EgoBot> /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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:40:54 <EgoBot> Interpreter welcome deleted.
13:41:10 <oerjan> !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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:41:10 <EgoBot> Interpreter welcome installed.
13:41:16 <oerjan> !welcome nearly_headless_nick
13:41:16 <EgoBot> /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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)'
13:42:56 <EgoBot> Interpreter welcome deleted.
13:44:01 -!- jconn has joined.
13:44:08 <Melvar> Tor that matter, < and > .
13:45:58 <oerjan> !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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)'\'''
13:45:58 <EgoBot> Interpreter welcome installed.
13:46:05 <oerjan> !welcome nearly_headless_nick
13:46:06 <EgoBot> nearly_headless_nick: 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 #esoteric on irc.dal.net.)
13:46:24 <EgoBot> Melvar : 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 #esoteric on irc.dal.net.)
13:47:06 <oerjan> strip final space, i said. but did they listen to me? NO.
13:48:28 <EgoBot> Interpreter welcome deleted.
13:48:56 <oerjan> !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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)'\'''
13:48:57 <EgoBot> Interpreter welcome installed.
13:49:07 <EgoBot> Melvar: 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 #esoteric on irc.dal.net.)
13:49:09 <EgoBot> a b c: 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 #esoteric on irc.dal.net.)
13:49:17 <oerjan> that was simpler than the sed i was thinking of.
13:52:24 <elliott_> !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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)"
13:52:25 <EgoBot> There is already an interpreter for welcome!
13:52:30 <EgoBot> Interpreter welcome deleted.
13:52:44 <elliott_> !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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)"
13:52:44 <EgoBot> Interpreter welcome installed.
13:52:51 <EgoBot> 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 #esoteric on irc.dal.net.)
13:52:55 <EgoBot> a b c : 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 #esoteric on irc.dal.net.)
13:53:13 <EgoBot> Interpreter welcome deleted.
13:53:21 <elliott_> !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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)"
13:53:22 <EgoBot> Interpreter welcome installed.
13:53:28 <EgoBot> a: : b: : c: \ : 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 #esoteric on irc.dal.net.)
13:57:53 <EgoBot> Interpreter welcome deleted.
13:58:19 <elliott_> !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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)"
13:58:19 <EgoBot> Interpreter welcome installed.
13:58:25 <EgoBot> abc: 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 #esoteric on irc.dal.net.)
13:58:26 <EgoBot> abc: def: q: 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 #esoteric on irc.dal.net.)
14:00:44 <EgoBot> 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:16 <EgoBot> There is already an interpreter for test!
14:01:18 <EgoBot> Interpreter test2 installed.
14:01:20 <EgoBot> /tmp/input.22904: line 1: c: command not found
14:01:28 <EgoBot> Interpreter test3 installed.
14:01:30 <EgoBot> /tmp/input.22999: line 1: interps/c: No such file or directory
14:01:41 <EgoBot> Interpreter test3 deleted.
14:01:41 <EgoBot> Interpreter test2 deleted.
14:01:43 <EgoBot> /sbin:/usr/sbin:/bin:/usr/bin
14:01:49 <EgoBot> /usr/bin/find: `/': Function not implemented
14:01:55 <EgoBot> /usr/bin/find: `.': Function not implemented
14:02:01 <EgoBot> 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:05 <EgoBot> \ \ Signal 18 (CONT) caught by ps (procps version 3.2.8). \ Please send bug reports to <feedback@lists.sf.net> or <albert@users.sf.net>
14:03:11 <EgoBot> \ \ Signal 18 (CONT) caught by ps (procps version 3.2.8). \ Please send bug reports to <feedback@lists.sf.net> or <albert@users.sf.net>
14:04:18 <elliott_> !addinterp tell sh xargs printf "%s: "; sed 's/.*# *//g' interps/$1
14:04:18 <EgoBot> Interpreter tell installed.
14:04:28 -!- conehead has joined.
14:04:45 <elliott_> !addinterp welcome2 tell welcome2;# 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 #esoteric on irc.dal.net.)
14:04:45 <EgoBot> Interpreter welcome2 installed.
14:04:55 <EgoBot> Interpreter welcome2 deleted.
14:05:00 <elliott_> !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: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
14:05:00 <EgoBot> Interpreter welcome2 installed.
14:05:06 <EgoBot> /tmp/input.23597: line 1: interps/tell: No such file or directory
14:05:18 <EgoBot> /bin/ls: cannot access interps/tell: No such file or directory
14:05:25 <elliott_> ugh, I guess userinterps go elsewhere...?
14:05:30 <EgoBot> dcc \ interp \ interp.orig
14:05:32 <EgoBot> /bin/ls: cannot access lib/inter: No such file or directory
14:05:46 <EgoBot> /tmp/input.23847: line 1: interp: command not found
14:06:11 <elliott_> time to give up before oerjan +qs me
14:06:22 <elliott_> it would have been neat though.
14:09:29 <oerjan> i thought hackego's file system was readonly, or something.
14:09:36 <elliott_> well, you'd have to use addinterp
14:10:31 <EgoBot> dcc \ interp \ interp.orig
14:10:57 <EgoBot> /bin/ls: lib/interp: Function not implemented \ -rw-r--r-- 1 5000 5000 1065 Dec 17 2011 lib/interp
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:47:54 <oerjan> !addinterp ! echo How exciting!
14:47:54 <EgoBot> Interpreter _ installed.
14:57:49 -!- nooodl has joined.
15:00:14 -!- impomatic has quit (Read error: Connection reset by peer).
15:12:30 <EgoBot> #!/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:25:08 -!- Bike has joined.
15:59:54 -!- Slereah_ has joined.
16:03:33 -!- shikhout has joined.
16:06:04 <EgoBot> 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:58 <Taneb> I have a place to live next year!
16:31:08 <Bike> oh aren't WE fancy
16:31:21 <int-e> new shiny cardbox?
16:32:35 <oerjan> you have a cardbox? in my age we had to do with just a card
16:33:04 <Taneb> 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 <oerjan> admittedly it was made of flintstone, not that fancy paper.
16:33:34 <int-e> oerjan: a punched card, I presume?
16:34:06 <oerjan> _and_ we had to punch it ourselves.
16:34:27 <oerjan> with our bare hands. which we'd just evolved.
16:35:06 <int-e> did they have opposable thumbs?
16:35:20 <oerjan> 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 <fizzie> Taneb: Tilting at windmills, eh?
17:00:52 <Taneb> 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 <FireFly> !addinterp test1 sed s/.$/&: /; s_$_hello world_
17:24:58 <EgoBot> Interpreter sed does not exist!
17:26:18 <FireFly> !addinterp test1 sh sed -e 's/.$/&: /' -e 's_$_hello world_'
17:26:18 <EgoBot> Interpreter test1 installed.
17:26:29 -!- Bike has quit (Ping timeout: 246 seconds).
17:27:13 -!- nisstyre has joined.
17:29:49 <EgoBot> Interpreter test1 deleted.
17:39:22 <elliott_> FireFly: doesn't work with multiple names
17:39:41 <FireFly> Yeah, I noticed that later
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 <Bike> attn kmc: compiling-to-javascript now in use by javascript developers http://blog.angularjs.org/2014/03/angular-20.html
18:05:23 <kmc> 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 <kmc> fn get_global_ptr() -> *mut Option<~~[~[u8]]>
19:19:05 <Bike> maybe of a pointer to a pointer to a vector of pointers to u8 vectors?
19:20:18 <kmc> 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:24:56 <Bike> has someone written rustdecl explain yet
19:27:45 <kmc> ~[T] is going away anyway
19:33:52 <kmc> the HTML character entity with the longest name is ∳
19:38:12 <fizzie> The Unicode character with the longest name is U+FBF9 ARABIC LIGATURE UIGHUR KIRGHIZ YEH WITH HAMZA ABOVE WITH ALEF MAKSURA ISOLATED FORM.
19:40:02 <fizzie> 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 <kmc> you would think "counterclockwise" would be longer
19:40:40 <kmc> 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 <kmc> the semantics of ~T and T are very close
19:40:51 <fizzie> Unicode uses the term ANTICLOCKWISE instead.
19:41:06 <fizzie> It would, of course, still be longer, if it existed.
19:41:14 -!- nisstyre has quit (Ping timeout: 246 seconds).
19:41:58 <fizzie> (Some systematic character set that is.)
19:43:09 <fizzie> (U+2233 ANTICLOCKWISE CONTOUR INTEGRAL is presumably what that HTML entity would map to.)
19:44:18 -!- maurer has joined.
19:51:22 <Melvar> “= repeat one item over”, hence no anticlockwise counterpart.
19:54:22 <fizzie> 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 <ion> 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:59:52 <fizzie> http://sprunge.us/IPcW cdecl pet peeve
22:02:14 <fizzie> 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 <fizzie> I believe some cdecls are less bad, but this one's quite widespread.
22:02:55 <olsner> 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 <olsner> the "c++0x" stuff may need tweaks for c++11 though
22:04:34 <kmc> I like that your useful practical tool also happens to be a shell / C++ polyglot
22:05:45 <kmc> 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 <Taneb> kmc, is that... is that a good thing or a bad thing
22:07:52 -!- oerjan has joined.
22:08:10 <kmc> that C++ templates can do these things?
22:10:29 <kmc> C++ exists beyond good and evil
22:13:11 <olsner> 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 <kmc> I guess so
22:26:16 <kmc> 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 <kmc> Gregor: is HackEgo coming back? :<
23:12:29 <oerjan> fungot: is Gregor coming back?
23:12:29 <fungot> 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 <oerjan> 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 <Sgeo> Is it possible to write a web server in Coq?
23:39:25 -!- nooodl has quit (Quit: Leaving).
23:40:30 <kmc> Sgeo: you can extract coq programs to other languages after typechecking
23:40:33 <kmc> ocaml and haskell at least
23:40:51 <Sgeo> Could that be hidden as part of a build process?
23:42:00 <kmc> i presume so
23:44:12 <maurer> 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 <Sgeo> I'm thinking about reading Certified Programming with Dependent Types
23:44:44 <kmc> whoa it's maurer
23:44:50 <Sgeo> Also, Idris doesn't seem production-ready
23:44:56 <Sgeo> (Not that I would really use this in production)
23:45:05 <maurer> Sgeo: Coq extracted code is not really production ready either
23:45:14 <kmc> maurer: sadly one of our most interesting bots is out sick right now
23:45:48 <kmc> 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 <kmc> but fungot will keep us company in the meantime
23:46:01 <fungot> kmc: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp youtube
23:46:14 <kmc> fungot: why did you list your ^styles just now?
23:46:14 <fungot> 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 <kmc> fungot source: https://github.com/fis/fungot/blob/master/fungot.b98
23:46:28 <fungot> 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 <Sgeo> but fungot will keep us company in the meantime
23:48:56 <fungot> 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 <maurer> Sgeo: In essence, you can run coq in the same sense you can run agda
23:49:19 <maurer> There's a way to do it, but runtime behavior is not necessarily bug free
23:50:46 -!- nisstyre has joined.
23:56:24 <Sgeo> Isn't there some CoqWeb thing?
23:56:34 <Taneb> All software should be free as in seats.