00:01:57 <nortti> How did I send that message?
00:05:17 <Gregor> I think aufs doesn't respect chroots X_X
00:06:17 <Gregor> Popular unioning FS for Linux.
00:08:08 <nortti> ok. How does a fs not respect chroots?
00:11:29 <Gregor> It's a union filesystem, so it takes directories as its arguments. If you give it these directories while in a chroot, it seems to mount them from the host, not the chroot.
00:14:32 <Gregor> It's not a security issue since only root can mount and root can bypass chroots anyway, it's just obnoxious.
00:17:35 -!- Phantom_Hoover has quit (Remote host closed the connection).
00:23:24 -!- augur has quit (Remote host closed the connection).
00:23:45 <zzo38> I can try to make up the vote system from HackEgo, glogbot, and NickServ. I could perform the NS INFO requests locally but use HackEgo to figure out which requests needs to be made
00:25:04 <zzo38> In which you use the command NS SET PROPERTY to make the voting choice and then send a message to glogbot to notify of your vote. Now it is in the raw logs and it can be searched, and then search using NS INFO to verify that you do not vote more than once and that you are not making a someone else fake voting either
00:28:00 <zzo38> Do you expect this to work?
00:28:07 <zzo38> If not, how would it improve?
00:29:56 -!- Vorpal has joined.
00:32:16 <Gregor> Nope, I'm a filthy liar.
00:33:08 <zzo38> What are you lying about now?
00:33:14 <Gregor> <Gregor> I think aufs doesn't respect chroots X_X
00:33:16 <zzo38> Including this question?
00:33:19 <Gregor> I misunderstood its error.
00:34:54 -!- nortti has quit (Quit: AndroIRC - Android IRC Client Sucks @$$( http://www.androirc.com )).
00:36:57 <zzo38> Gregor: Is it a legitimate use of HackEgo, glogbot, and NickServ?
00:47:22 <Gregor> glogbot should not be involved.
00:47:37 <Gregor> glogbot is purely passive.
00:49:09 <zzo38> Gregor: I know it is purely passive; you do not have to do anything about it. Simply, the program in HackEgo would read the direct raw logs of glogbot to check for a specific message sent to glogbot, and have a local program on my computer then do NS INFO requests for each one to ensure they are unique, ensure the vote is for the correct poll ID, and tabulate the results.
00:51:59 <Gregor> I don't see where glogbot comes into the equation at all, you could just notify HackEgo directly.
00:52:53 <zzo38> Well, yes; I did think of that. But then the files can be modified by anyone so someone could mess it up
00:56:40 <zzo38> (Whether on purpose or not)
01:19:59 -!- Vorpal has quit (Read error: Operation timed out).
01:25:03 <Sgeo_> WHY WHY WHY IS CHROME BEING SUCH A FUCKASS
01:25:10 <Sgeo_> WHEN IT COMES TO YOUTUBE
01:27:09 <monqy> im chrome and what you said is offensive?
01:30:28 <Sgeo_> YouTube should NOT be crashing the tab like this
01:30:31 <Sgeo_> So fuck you fuck you fuck you
01:37:28 -!- TeruFSX has joined.
01:40:10 -!- elliott has joined.
01:41:39 <Sgeo_> You missed a tirade of swearing
01:41:46 <Sgeo_> At monqy the web browser
01:49:08 <Gregor> elliott: So, I don't need to implement my own union at all.
01:49:12 <Gregor> I have no idea why I thought I had to.
01:49:17 <Gregor> Presumably because I'm an idiot.
01:49:18 -!- augur has joined.
01:49:23 <Gregor> elliott: Linux has per-process mount tables.
01:49:40 <Gregor> So I can use any unioning filesystem, then have a suid-root program allow you to change it.
01:50:11 <Gregor> It has exactly the semantics I was looking for, plus a few niceties.
01:54:29 -!- augur has quit (Remote host closed the connection).
01:57:49 <elliott> Gregor: What niceties, out of curiosity?
02:00:32 <Gregor> I can update an active view, and it doesn't involve me implementing a unioning filesystem.
02:02:37 <elliott> Have you read the unionfs/aufs flamewars?
02:03:13 <Gregor> I went with aufs because Debian happens to have it, therefore it's correct.
02:03:29 <Gregor> (I am the best at logic)
02:03:41 <elliott> Pretty sure Debian has unionfs too.
02:05:07 <elliott> It might be built into the kernel by default.
02:05:17 <Gregor> It's not in /proc/filesystems, and it's not a module.
02:05:55 <Gregor> Unless I don't know what the module name is, but I assume it includes "union" in it.
02:06:14 <Gregor> Anyway, at this point I can do things like:
02:06:22 <Gregor> usrview /something/to/stick/in/usr -- ls /usr
02:06:27 <Gregor> And ls will see what I want it to :)
02:07:00 <Gregor> Now I just need the actual package resolution part >_>
02:10:10 <Gregor> In all of Debian, there exists not a single program with the filename "with"
02:10:24 <Gregor> Does that imply that it's actually reasonable for me to name my package requesting program "with"?
02:10:31 <Gregor> Because that ... that is the greatest.
02:13:01 <elliott> I totally already had that idea for cunionfs package thing with.
02:13:08 <elliott> I even gave you examples with that command name!
02:15:50 <shachaf> shubshub is @karma-ing people?
02:16:02 <shachaf> Gregor: HI WHERE'S ROCKETJSQUIRREL
02:16:26 <monqy> shachaf: a bit late to the party, I see
02:16:28 <Gregor> I can't decide, I just can't decide!
02:16:49 <ion> <monqy> @ask el
02:16:51 <ion> liott i taught shubshub how to use @karma-
02:17:08 <shachaf> I don't want to be in the party unless it's a RocketJSquirrel Party. :-(
02:17:30 <shachaf> TWIST: I ACTUALLY DON'T LIKE THE NICK RocketJSquirrel AT ALL. I THINK Gregor IS A MUCH BETTER NICK FOR GREGOR.
02:17:32 <ion> I like it when less inserts newlines in the middle of lines.
02:18:33 <shachaf> monqy: DID YOU SEE THE TWIST
02:18:34 <monqy> shachaf: did shubshub @karma- you
02:18:56 <monqy> he sure @karma-d me!!
02:19:20 <ion> The student attacked the teacher
02:19:56 <lambdabot> Local time for monqy is Sun Apr 29 19:19:55 2012
02:20:08 <ion> @time elliott
02:20:09 <lambdabot> Local time for elliott is 2012-04-30 02:20:08 +0000
02:20:22 <ion> Ooh, more sensible timestamps.
02:21:05 <ion> elliott: What country do you live in?
02:21:24 <shachaf> elliott: What island do you live in?
02:21:35 <ion> elliott: What matrix of solidity do you live in?
02:21:46 <shachaf> elliott: Just a conspiracy of cartographers?
02:34:52 -!- augur has joined.
02:39:43 -!- augur has quit (Remote host closed the connection).
02:40:15 -!- augur has joined.
02:41:41 <Sgeo_> elliott, monqy update
02:41:52 <elliott> monqy keeps updating but he never gets better
02:43:42 -!- ellisonch has quit (Ping timeout: 255 seconds).
02:43:50 -!- augur has quit (Read error: Connection reset by peer).
02:45:56 <Sgeo_> Embedded YouTube videos work just fine
02:46:06 <Sgeo_> Which leads to me going to YoutubeRepeat a lot
02:47:45 * kmc /part #haskell-in-depth
02:47:51 <kmc> because nobody has said anything in like 2 weeks
02:47:57 <elliott> people spoke in there 2 weeks ago?
02:57:48 -!- TeruFSX has quit (Ping timeout: 260 seconds).
02:58:59 -!- azaq23 has quit (Quit: Leaving.).
03:10:09 <zzo38> kmc: I think that channel doesn't work; discuss in here and/or #haskell is what we have to do
03:16:22 <ion> Wow, there’s some horrible English in <http://knowyourmeme.com/memes/spurdo-sp%C3%A4rde>. It’s interesting that words like “ironization” and “variating” don’t even have a basis in Finnish from which the writer might have guessed the English form erroneously.
03:25:22 -!- ellisonch has joined.
03:37:24 <elliott> -- | Method 'mappend' is strict in both arguments (except in the case when the first argument is 'TeXEmpty').
03:37:24 <elliott> instance Monoid LaTeX where
03:37:35 <elliott> This must be some new meaning of the word "strict".
03:41:05 <zzo38> It isn't associative either, unless the datatype LaTeX does not have exposed constructors
03:41:55 <zzo38> Don't you just want a free monoid?
03:43:27 <ion> It isn’t associative?
03:43:35 <ion> Ah, you’re right.
03:46:41 <zzo38> (Of course, out of context, I can't know for sure if you want a free monoid)
03:48:40 <zzo38> I think what they mean here by it being "strict" is that if the first argument is not TeXEmpty, then it has to check whether or not the second argument is TeXEmpty to decide what to do
03:49:32 -!- shubshub has joined.
03:49:48 -!- shubshub has quit (Client Quit).
03:50:47 -!- cswords_ has joined.
03:52:32 -!- shubshub has joined.
03:52:39 <ion> @karma shubshub
03:54:05 -!- cswords has quit (Ping timeout: 260 seconds).
03:54:44 <zzo38> Do you know if functor + parametricity + (pure mempty) and (liftA2 mappend) forming a monoid, are sufficient to define the laws of applicative? Are they more or less than sufficient?
03:59:10 <zzo38> Unless you adress lambdabot directly, the "You have" does not make perfect sense since you can get all the messages mixed up of everything together
03:59:44 <Sgeo_> I wonder if newlines could be done... probably not
04:00:41 <zzo38> If newlines could be done with what?
04:02:23 <Sgeo_> zzo38, give newline an amount of karma
04:02:32 <ion> @@ @karma @run putStr "\n"
04:02:46 <lambdabot> lexical error in string/character literal at end o...
04:03:03 <zzo38> Sgeo_: Newlines are not permitted in IRC command lines, except at the end, anyways
04:06:57 <zzo38> O, so those kinds of control codes works
04:07:06 <zzo38> @karma <CTCP>ACTION<CTCP>
04:07:06 <lambdabot> <CTCP>ACTION<CTCP> has a karma of 0
04:07:38 <ion> @karma <CTCP>ACTION
04:07:55 <lambdabot> Local time for monqy is Sun Apr 29 21:07:54 2012
04:08:01 <ion> @time lambdabot
04:08:01 <lambdabot> I live on the internet, do you expect me to have a local time?
04:08:30 <lambdabot> Local time for shachaf is Sun Apr 29 21:08:27 2012
04:08:37 <shachaf> elliott: Can I have a happy 21:07:54?
04:09:23 <lambdabot> Local time for zzo38 is night time
04:09:53 <lambdabot> Local time for zzo38 is dark night time
04:14:33 -!- asiekierka has joined.
04:15:05 <elliott> I love how D has a foreach_reverse keyword.
04:15:11 <elliott> Careful and principled language design, that
04:15:20 <elliott> "It's like foreach... but in reverse."
04:17:34 <Sgeo_> What's wrong with just using some sort of reverse function on the data structure?
04:18:42 <zzo38> I think foreach in reverse can be a useful thing, but I think it ought to be a macro instead of a keyword
04:19:46 <Sgeo_> Why does installing minitube install Phonon
04:20:00 <Sgeo_> Is it going to try to pull in KDE behind my back?
04:20:05 <zzo38> Maybe it is a dependency?
04:22:32 <Sgeo_> Well, except for I don't know how to open YouTube playlists in it
04:25:09 <Sgeo_> There doesn't seem to be a away
04:26:56 -!- elliott has left.
04:28:32 <Sgeo_> I take back everything good I have said about minitube
04:28:51 <zzo38> Do you know how to fix it?
04:39:46 -!- Sgeo_ has quit (Read error: Connection reset by peer).
04:41:23 -!- Sgeo has joined.
04:42:46 -!- augur has joined.
05:19:46 -!- shubshub has set topic: Poison Programming Language.
05:20:07 <zzo38> Please include log URL as well
05:20:43 -!- Madoka-Kaname has set topic: Poison Programming Language | shubshub can't topics. | http://codu.org/logs/_esoteric/.
05:21:20 <shubshub> Madoka add the #PoisonLang channnel to it
05:21:37 -!- Madoka-Kaname has set topic: shubshub can't topics. And advertises. | http://codu.org/logs/_esoteric/.
05:22:23 -!- shubshub has set topic: http://codu.org/logs/_esoteric For logs.
05:22:56 -!- Madoka-Kaname has set topic: shubshub can't topics. And advertises. | http://codu.org/logs/_esoteric/.
05:23:17 -!- zzo38 has set topic: http://codu.org/logs/_esoteric/.
05:23:39 -!- elliott has joined.
05:32:21 <kmc> /topic poison your programming language | http://codu.org/logs/_esoteric/
05:41:25 -!- asiekierka has set topic: http://codu.org/logs/_esoteric/ | R.I.P. +t.
05:41:48 <asiekierka> ah, that rare occasion when the channel gains topic awareness
05:42:02 -!- monqy has set topic: http://codu.org/logs/_esoteric/.
05:42:13 <monqy> "you will be mised"
05:45:11 <zzo38> In my program Prelude.Generalize, I have now added groupBy, null, concat, and (>>==).
05:45:53 <zzo38> groupBy :: (Foldable t, Alternative f, Alternative g) => (a -> a -> Bool) -> t a -> f (g a); null :: Foldable t => t x -> Bool; concat :: (MonadPlus m, Foldable f) => m (f x) -> m x; (>>==) :: (Functor m, MonadPlus m, Foldable f) => m x -> (x -> f y) -> m y;
05:50:21 -!- asiekierka has quit (Quit: Wychodzi).
06:14:14 <lambdabot> Local time for monqy is Sun Apr 29 23:14:13 2012
06:14:18 <elliott> wow what is it with america
06:14:35 <monqy> i want to be asleep but
06:15:08 <elliott> but some moron keeps talking to you about roguelike design, yeah funny coincidence that's happening to me too
06:15:35 <shachaf> elliott: You know that game where you misspell words by adding 'e' to the end of them?
06:15:41 <monqy> this homework it's really boring i haven't done any and it's due tomorrow
06:15:48 <monqy> shachaf: i love that game
06:15:51 <elliott> shachaf: it's not a game you make everything monqy does a game!!
06:16:12 <monqy> itt monqy calls everything a game
06:16:13 <shachaf> monqy: The best way to do really boring homework is to be on IRC a lot.
06:16:20 <shachaf> Eventually it gets done all by itself.
06:16:28 <monqy> i'm just waiting for that to happen
06:16:42 <shachaf> If it doesn't happen then you can sue IRC.
06:16:55 <shachaf> And make a zillion dollars.
06:19:16 -!- shubshub has quit (Quit: R.I.P).
06:25:32 -!- zzo38 has quit (Quit: Dearly discarded...er, departed...).
06:50:05 -!- shubshub has joined.
06:52:46 <shachaf> Sgeo: Can you please take me off the hi list?
06:53:31 <Sgeo> You are not on the hi list. You are on the accidental tab complete list.
06:53:36 <Sgeo> I will not remove you from this list.
07:00:20 <ion> shachaf: hi
07:00:24 <olsner> (I put you on the hi list)
07:06:52 -!- pikhq_ has joined.
07:06:53 -!- pikhq has quit (Ping timeout: 260 seconds).
07:09:27 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: addhilist: not found
07:10:36 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: celebrat: not found
07:10:45 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: celebrate: not found
07:10:57 <fungot> \o| |o| |o/ \m/ \m/ |o/ \o/ \o| \m/ \m/ \o| |o| |o/
07:10:58 <myndzi> | | | `\o/´ | | | `\o/´ | | |
07:10:58 <myndzi> /´\ |\ /< | >\ /| >\ | |\ /| >\
07:11:19 <fungot> Usage: ^def <command> <lang> <code>
07:12:07 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: def: not found
07:12:20 <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
07:12:32 <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/
07:13:14 <HackEgo> bash: echohi: command not found
07:13:42 <elliott> please stop spamming the bots.
07:14:10 <elliott> if you don't, you'll just get put on their ignore lists.
07:18:13 -!- elliott has quit (Remote host closed the connection).
07:27:40 <shachaf> Sgeo: Can you please take me off the hi list?
07:29:17 * pikhq_ has finally seen Planet of the Apes...
07:34:40 <pikhq_> That... Was a very good film.
07:35:36 -!- Taneb has joined.
07:36:40 <Taneb> That's mean of you!
07:40:54 <Sgeo> Taneb, feel better soon
07:41:18 <pikhq_> quintopia: Yeah, it was the '68 film.
07:49:19 <pikhq_> Apparently the '01 film was not as well received, so... Easy inference there.
07:51:14 <Taneb> I think I have a half-designed language that is Turing-complete iff the Collatz conjecture is false
07:51:31 -!- japh has joined.
07:52:10 <HackEgo> japh: 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
07:52:26 <japh> i wrote an emulator and an assembler for some dude's mineraft cpu that he hasn't built yet
07:53:06 <japh> http://wyld.servegame.com/tylercpu/
07:53:33 <Taneb> Not especially esoteric
07:53:39 <Taneb> Have you seen 0x10c?
07:53:44 <Taneb> New game Notch is making
07:53:54 <japh> i'm on a team implementing dcpu16 in minecraft
07:54:16 <pikhq_> japh: Vanilla, or RedPower?
07:54:19 <Taneb> I tried to do that, didn't get very far
07:54:41 <pikhq_> Aaaah. Was about to say "that's going to take a while", but you already know *that*. :)
07:54:42 <japh> approximatly 1.5 millionths the speed of 0x10c's
07:54:56 <japh> so we won't be playing pacman
07:56:00 <japh> i can't find any high level languages for dcpu except one c-like compiler
07:56:11 <pikhq_> Not that anyone would (reasonably) expect better out of vanilla Minecraft.
07:56:26 <japh> rdf is not reasonable
07:56:42 <pikhq_> No, but they're reasonable to know that you're bound by tick rate.
07:56:47 <pikhq_> Erm, reasonable enough
07:56:55 <japh> anniversary project is full color tetris, active build
07:57:12 <japh> <- wyldstallyns
07:57:39 <japh> has brainfuck gone out of style?
07:57:46 <japh> what's the hot paradigm with the kids these days
07:57:59 <pikhq_> japh: Don't think so; it remains the most popular esolang by far.
07:58:11 <pikhq_> Perhaps not the classiest, but still.
07:58:12 <japh> no one has done brainfuck in minecraft
07:58:22 <japh> my next goal manifests
07:58:29 <pikhq_> Well, no. Brainfuck CPUs are a bit hairy, I'm told.
07:58:37 <shubshub> Japh its impossible to use programming languages in minecraft
07:58:42 <pikhq_> You'd probably do better to get a CPU running Forth.
07:58:52 <japh> i just wrote an assembler for an mc cpu
07:58:56 <pikhq_> Which, actually, you've probably almost done.
07:59:03 <japh> tyler569's custom architecture on the rdf build server
07:59:10 <japh> brainfuck is trivial
07:59:13 <japh> i wrote weave.rb
07:59:23 <pikhq_> japh: I'm meaning "a CPU that executes Brainfuck directly".
07:59:36 <japh> http://esolangs.org/wiki/User:JayCampbell/weave.rb
07:59:41 <pikhq_> *Obviously* running Brainfuck on a CPU in general is doable.
07:59:48 <pikhq_> (and kinda funny in Minecraft.)
08:00:14 <japh> i had ideas around doing bf using those funky piston snakes that appear to be moving by themselves
08:00:25 <shubshub> Im Making A Programming Language In Ruby
08:00:55 <japh> i made that in like 1924
08:01:19 <japh> shub is it on esolang?
08:01:55 <pikhq_> I'm not sure shubshub knows what he's doing, TBH...
08:02:35 <japh> o i see http://esolangs.org/wiki/Poison
08:02:37 <ion> I’m sure he knows *exactly* what he’s doing.
08:02:50 <japh> aggressive use of capitalization for great justice
08:03:05 <ion> Our reactions are precisely what he does it for.
08:03:14 <Taneb> Is there any need for an esolang that is Turing-Complete iff the Collatz conjecture is false?
08:03:28 <Taneb> Because if there is, I'm making one
08:03:47 <pikhq_> ion: Alas, it is far too effective.
08:03:58 <pikhq_> ion: I may wish to /ignore him so I don't react.
08:04:12 <japh> i'm convinced minercraft exists so we can rebuild the internet from scratch after The Big One
08:04:19 <ion> But i certainly admit he’s more entertaining than most trolls.
08:04:50 <pikhq_> That much is true. Only way he could be (significantly) more entertaining is if he was talking about esotericism.
08:05:04 <japh> what does collatz have to do with wait is that the troll?
08:05:18 <pikhq_> japh: No, that'd be shubshub.
08:06:03 <japh> meteor, atmospheric nuke, sunspots, pick one
08:06:22 <shubshub> Thats not going to wipe the internet out...
08:06:33 <japh> or maybe your mother
08:07:06 -!- shubshub has quit (Quit: japh).
08:07:21 -!- shubshub has joined.
08:07:47 -!- shubshub has quit (Client Quit).
08:07:57 <japh> the problem with minecraft CPU's is
08:08:10 <japh> nobody run anything beyond fibonacci sequence
08:08:32 <japh> i know of 50+ cpu's that never actually run
08:08:48 <pikhq_> Well, there's not much interest in them.
08:09:06 <pikhq_> Really, the fun is in building them.
08:09:32 <pikhq_> If you're using it for real, you're an idiot who thinks fractional hertz are speedy. :P
08:09:56 <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
08:09:59 <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/
08:10:01 <pikhq_> Well, there's the other two bots.
08:10:22 <Taneb> Pietbot's in hospital
08:10:28 <pikhq_> Gregor: Just FYI, Ego's not in.
08:10:37 <HackEgo> alternatives \ java-6-openjdk
08:12:45 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ifconfig: not found
08:12:54 <japh> `/sbin/ifconfig
08:12:56 <HackEgo> lo Link encap:Local Loopback \ inet addr:127.0.0.1 Mask:255.0.0.0 \ inet6 addr: ::1/128 Scope:Host \ UP LOOPBACK RUNNING MTU:16436 Metric:1 \ RX packets:0 errors:0 dropped:0 overruns:0 frame:0 \ TX packets:0 errors:0 dropped:0 overruns:0 carrier:0 \ collisions:0 txqueuelen:0 \ RX bytes:0 (0.0 B) TX bytes:0 (0.0 B) \
08:13:23 <pikhq_> No. You'll note that there's no external link at *all*.
08:13:39 <pikhq_> And 0 RX and TX'd packets.
08:14:48 <japh> `/usr/sbin/traceroute google.com |head
08:14:51 <HackEgo> google.com |head: Name or service not known \ Cannot handle "host" cmdline arg `google.com |head' on position 1 (argc 1)
08:15:02 <japh> `/usr/sbin/traceroute google.com
08:15:05 <HackEgo> google.com: Name or service not known \ Cannot handle "host" cmdline arg `google.com' on position 1 (argc 1)
08:16:24 <japh> `/usr/bin/traceroute -n 74.125.224.73
08:16:39 <pikhq_> `run /usr/bin/traceroute -n 74.125.224.73
08:16:42 <HackEgo> \ connect: Network is unreachable \ traceroute to 74.125.224.73 (74.125.224.73), 30 hops max, 60 byte packets
08:17:22 <pikhq_> By default it's passing the whole line as a single argument; /bin/run makes it do more what you'd expect.
08:17:34 <pikhq_> Bit of a shame it's not with the older sandbox scheme. Where it was running as root. :)
08:17:59 <pikhq_> ... Wait, was it? No, actually, don't think it was.
08:18:28 <pikhq_> Although would've been impossible to break out, anyways.
08:18:28 <japh> linux containers makes that easy again
08:18:52 <japh> `/run cat /proc/cpuinfo
08:18:55 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /run: No such file or directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /run: cannot execute: No such file or directory
08:19:07 <HackEgo> processor.: 0 \ vendor_id : User Mode Linux \ model name.: UML \ mode..: skas \ host..: Linux codu.org 2.6.32-5-xen-amd64 #1 SMP Tue Mar 8 00:01:30 UTC 2011 x86_64 \ bogomips.: 501.35 \
08:20:26 <japh> `run iptables -L
08:20:30 <HackEgo> bash: iptables: command not found
08:20:53 <japh> `run /sbin/iptables -L
08:20:56 <HackEgo> iptables v1.4.8: can't initialize iptables table `filter': Table does not exist (do you need to insmod?) \ Perhaps iptables or your kernel needs to be upgraded.
08:21:06 <ion> `sudo true
08:21:09 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: sudo: not found
08:21:30 <japh> `/usr/bin/sudo yes
08:21:33 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /usr/bin/sudo: No such file or directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /usr/bin/sudo: cannot execute: No such file or directory
08:22:00 <HackEgo> apt 0.8.10.3 for amd64 compiled on Apr 15 2011 07:35:31 \ Usage: apt-get [options] command \ apt-get [options] install|remove pkg1 [pkg2 ...] \ apt-get [options] source pkg1 [pkg2 ...] \ \ apt-get is a simple command line interface for downloading and \ installing packages. The most frequently used commands are update \ and install. \ \ Commands: \ update - Retrieve new lists of packages \ upgrade -
08:22:29 <ion> `lsb_release -a
08:22:33 <HackEgo> No LSB modules are available. \ Distributor ID: Debian \ Description:.Debian GNU/Linux \ Release:.n/a \ Codename: n/a
08:23:32 <japh> `run /usr/sbin/sshd -p5555
08:23:35 <HackEgo> bash: /usr/sbin/sshd: No such file or directory
08:23:49 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: locate: not found
08:24:00 <ion> Wasn’t it pretty much established it doesn’t have network connectivity? :-)
08:24:00 <japh> `run find / |grep sshd
08:24:04 <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': Permission denied \ find: `/proc/2/task/2/fdinfo': Permission denied \ find:
08:24:11 <japh> but i'm talking to it
08:24:19 <HackEgo> 1: lo: <LOOPBACK,UP,LOWER_UP> mtu 16436 qdisc noqueue state UNKNOWN \ link/loopback 00:00:00:00:00:00 brd 00:00:00:00:00:00 \ inet 127.0.0.1/8 scope host lo \ inet6 ::1/128 scope host \ valid_lft forever preferred_lft forever \ 2: sit0: <NOARP> mtu 1480 qdisc noop state DOWN \ link/sit 0.0.0.0 brd 0.0.0.0
08:24:41 <japh> if we can take down an alien race with a macbook virus on the 4th of july, i can make this thing call me
08:25:02 <ion> You’re talking to HackEgo who talks to the jailed Debian instance.
08:25:19 <japh> get my minions on the line
08:25:27 <pikhq_> Rather, who spawns, talks to the jailed Debian instance, and despawns.
08:25:51 <HackEgo> April 2012 \ Su Mo Tu We Th Fr Sa \ 1 2 3 4 5 6 7 \ 8 9 10 11 12 13 14 \ 15 16 17 18 19 20 21 \ 22 23 24 25 26 27 28 \ 29 30 \
08:26:40 <japh> `run echo '2^8'|bc
08:26:43 <HackEgo> bash: bc: command not found
08:26:54 <japh> `sleep 50000000
08:27:15 <japh> fa la la la la, la la la la
08:27:56 <japh> `ruby -e 'print "foo"'
08:27:59 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ruby: not found
08:28:41 <japh> `perl -e 'for(1..10){print"yay$_"}'
08:29:01 <japh> `perl -e 'print"yay"'
08:29:11 <japh> YOUR mother too
08:30:00 <ion> `perl -lwe 'print "plop"'
08:30:02 <HackEgo> Useless use of a constant in void context at -e line 1.
08:30:10 <ion> `run perl -lwe 'print "plop"'
08:30:18 <ion> Interesting
08:30:21 <Taneb> `cat "putStrLn \"test\"" | runhaskell
08:30:23 <HackEgo> cat: "putStrLn \"test\"" | runhaskell: No such file or directory
08:30:32 <Taneb> `echo "putStrLn \"test\"" | runhaskell
08:30:35 <HackEgo> "putStrLn \"test\"" | runhaskell
08:31:42 <japh> `run head /dev/random|strings
08:32:11 <ion> `run uname -a
08:32:14 <HackEgo> Linux umlbox 3.0.8-umlbox #2 Sun Nov 13 21:30:28 UTC 2011 x86_64 GNU/Linux
08:33:25 <japh> `run sleep 10 && echo thread 1
08:33:31 <japh> `run sleep 3 && echo thread 2
08:35:02 <ion> `run for n in 5 9 8 7 2 4 3 1 6; do (sleep "$n"; printf "%s " "$n") & done
08:35:11 <japh> `run sleep 8000 && echo That wyldstallyns fellow made some very interesting points.
08:35:26 <ion> `run for n in 5 9 8 7 2 4 3 1 6; do (sleep "$n"; printf "%s " "$n") & done; wait
08:36:32 <HackEgo> USER PID %CPU %MEM VSZ RSS TTY STAT START TIME COMMAND \ 5000 272 0.0 0.0 912 92 ? S 08:36 0:00 /init \ 5000 274 0.0 0.2 4004 556 ? S 08:36 0:00 sh -c 'env' 'PATH=/hackenv/bin:/opt/python27/bin:/opt/ghc/bin:/usr/bin:/bin' 'HACKENV=/hackenv' 'http_proxy=http://127.0.0.1:3128' '/home/hackbot/hackbot.hg/multibot_cmds/lib/limits' 'ps' 'ux' | cat \ 5000
08:37:34 <HackEgo> USER PID %CPU %MEM VSZ RSS TTY STAT START TIME COMMAND \ 0 1 0.0 0.1 912 276 ? S 08:37 0:00 /init \ 0 2 0.0 0.0 0 0 ? S 08:37 0:00 [kthreadd] \ 0 3 0.0 0.0 0 0 ? S 08:37 0:00 [ksoftirqd/0] \ 0 4 0.0 0.0 0 0 ? S 08:37 0:00 [kworker/0:0] \ 0 5 0.0 0.0 0
08:38:01 <japh> i won't issue killall
08:38:29 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: killall: not found
08:38:52 <japh> `/usr/bin/killall
08:38:55 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /usr/bin/killall: No such file or directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /usr/bin/killall: cannot execute: No such file or directory
08:39:28 <HackEgo> ERROR: unknown signal name "9 2". \ Usage: \ kill pid ... Send SIGTERM to every process listed. \ kill signal pid ... Send a signal to every process listed. \ kill -s signal pid ... Send a signal to every process listed. \ kill -l List all signal names. \ kill -L List all signal names in a nice table. \ kill -l signal Convert between signal numbers and names.
08:39:38 <ion> `run which pkill
08:39:40 <HackEgo> ERROR: garbage process ID "TERM 2". \ Usage: \ kill pid ... Send SIGTERM to every process listed. \ kill signal pid ... Send a signal to every process listed. \ kill -s signal pid ... Send a signal to every process listed. \ kill -l List all signal names. \ kill -L List all signal names in a nice table. \ kill -l signal Convert between signal numbers and names.
08:39:54 <japh> <- garbage process
08:39:59 -!- shubshub has joined.
08:40:05 -!- Taneb has quit (Quit: Leaving).
08:40:29 <japh> is for heorses
08:40:30 <ion> `run pkill -9 ''
08:40:33 <HackEgo> pkill: 1 - Operation not permitted \ pkill: 2 - Operation not permitted \ pkill: 3 - Operation not permitted \ pkill: 4 - Operation not permitted \ pkill: 5 - Operation not permitted \ pkill: 6 - Operation not permitted \ pkill: 7 - Operation not permitted \ pkill: 8 - Operation not permitted \ pkill: 11 - Operation not permitted \ pkill: 40 - Operation not permitted \ pkill: 42 - Operation not permitted \ pkill: 44 -
08:40:57 <Sgeo> "In course of our duty in 2003 to 2009, I secured the sum of ( ) from the
08:40:57 <Sgeo> stash money found while Serving in Baghdad Iraq and this money was
08:40:57 <Sgeo> kept somewhere in a security Company vault, due to my redeployment
08:40:57 <Sgeo> to Afghanistan."
08:41:03 <Sgeo> That's an impressive amount of money.
08:41:11 <shubshub> im gonna teach fungot sum new tricks
08:41:11 <fungot> shubshub: whatever. i can see the dent in the accident and resulting fire killed 3 of the cpu logic so this game
08:41:20 <fungot> Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube*
08:41:27 <japh> `/sbin/initiate-skynet && echo 'initiate-skynet: not found'
08:41:30 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /sbin/initiate-skynet: No such file or directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /sbin/initiate-skynet: cannot execute: No such file or directory
08:41:35 <fungot> Usage: ^def <command> <lang> <code>
08:41:37 <Sgeo> Is that more or less than a billion dollars?
08:41:46 <Sgeo> ...I suck at making fun of spam
08:41:59 <japh> sgeo been a while
08:42:10 <pikhq_> shubshub: Do you speak Funge 98?
08:42:22 <japh> i forget who you know me as
08:42:42 <Sgeo> japh, well, where would I know you from?
08:42:52 <pikhq_> Sgeo: He's apparently RDF, among other things.
08:42:55 <shubshub> pikqh You just use the ^def thing and teach the bot using brainfuck
08:42:55 <japh> eso a year back
08:43:14 <Sgeo> I have no memory, sorry
08:43:24 <japh> i don't even know who i was so np
08:43:25 <pikhq_> http://codu.org/logs/_esoteric/ knows all.
08:43:26 <shubshub> except i need someone to teach me brainfuck
08:43:35 <Sgeo> shubshub, read about it
08:44:08 <japh> your future in engineering dims
08:45:23 <Sgeo> shubshub, the mechanics of it is simple
08:45:31 <japh> [ ] + - < > . ,
08:45:38 <japh> that's all you need to create the universe
08:45:41 <Sgeo> I can understand how writing stuff in it can be tricky, but the language itself is easy
08:45:43 <shubshub> How Do I Make It Translate Something
08:46:05 <japh> plz plz plz plz plz
08:46:06 <Sgeo> I need to go to sleep a few hours ago, so no
08:46:36 -!- azaq23 has joined.
08:46:47 -!- azaq23 has quit (Max SendQ exceeded).
08:47:18 <shubshub> How Would I Make BrainFuck Convert Stuff To !!!Batch?
08:47:55 <HackEgo> 2012-04-30.txt:08:47:38: `anonlog brainfuck batch
08:48:30 <Sgeo> shubshub, you mean, write something in Brainfuck to convert.... something else to !!!Batch?
08:48:36 <Sgeo> Or convert brainfuck code to !!!Batch?
08:48:58 <shubshub> What was the code itidus20 used?
08:49:09 <japh> step 1, give up
08:50:01 <shubshub> Want it to convert text to batch
08:50:34 <Sgeo> What do you mean, "text"?
08:50:41 <Sgeo> Everything in here is text
08:50:51 <Sgeo> Including !!!Batch code
08:51:10 <Sgeo> Oh, so you want to produce the !!!Batch code that will print Hello?
08:51:39 <shubshub> no I want to produce the batch code of the text I give it to convert
08:52:13 <Sgeo> I ... think I see
08:52:19 <shubshub> So Like if i tell it to convert abc it shud output ?!??!!??!!!? or if i want ABC ?!+??!!+?!!!+?
08:52:52 <shubshub> + Tells the interpreter to make it a capital
08:53:42 <Sgeo> I see something you _could_ do, but it's probably not the best way
08:54:11 <shubshub> Also Is it possible to use ^def something
08:54:12 <shubshub> then do ^something <insert text to convert>
08:54:13 <Sgeo> You could make some sort of structure in the BF code that resembles a switch case sort of thing
08:54:38 <shubshub> Whats the other language fungot can define?
08:54:38 <fungot> shubshub: jsut stfu..ppl die everyday and someday you'll pass. the crash was in the trees?that was a fly by like that
08:54:50 <Sgeo> Or, I see the pattern of !!!Batch: Subtract some value from the input char, see if it's cap, loop number of times depending on value and cap to print !
08:55:22 <shubshub> I Know fung can define using another language other than brainfuck
08:55:22 <Sgeo> Although I see you did not take that approach in !Py!Batch
08:56:13 <Sgeo> shubshub, your !Py!Batch code is a long series of manually put in substitutions from !!!Batch to decoded text.
08:56:37 <Sgeo> There are easier ways than that
08:57:19 <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
08:57:20 <Sgeo> japh, will you kill me if I pretend that the universe is ASCII?
08:57:37 -!- monqy has left.
08:57:42 <Sgeo> I'll try to stick with Unicode here, but I don't know if ord and chr do Unicode properly
08:57:49 <Sgeo> Probably Unlambda
08:58:11 <Sgeo> shubshub, basically, every character is a number
08:58:57 <Sgeo> So, why not count the !, if there's no + then add some value to get the corresponding character
08:59:02 <Sgeo> If there is a + add a different value
08:59:25 <Sgeo> And also, don't think in terms of it being "ASCII"
08:59:34 <shubshub> You Mean use something other than "+"?
09:00:13 <shubshub> Ill Think about that for !Ruby!Batch
09:00:29 <Sgeo> shubshub, no, I mean check for +, and if it's there, you need to add a different value to get to the uppercase letters
09:00:31 <Sgeo> Also, http://www.joelonsoftware.com/articles/Unicode.html
09:01:14 <Sgeo> I'm. not. talking. about. Brainfuck. right. now.
09:01:52 <Sgeo> shubshub, !!!Batch uses + to indicate capital letters, correct?
09:02:20 <lambdabot> Plugin `compose' failed with: Unknown command: "!+?"
09:02:29 <lambdabot> help <command>. Ask for help for <command>. Try 'list' for all commands
09:02:31 <Sgeo> a has a different "ASCII number" (I'm only saying ascii because that's all you understand) from A
09:02:46 <Sgeo> So to go from 1 to whatever a's number is, you need to add a different number than from 1 to A
09:03:01 <Sgeo> So, when converting !!!Batch to decoded text, check for whether + is present
09:03:22 <Sgeo> Then, you add a different number to the number of ! depending on whether or not that + was present
09:03:35 <shubshub> I Dont really understand sorry
09:03:51 <Sgeo> Do you know what an if statement is?
09:05:10 <lambdabot> http://code.haskell.org/lambdabot/COMMANDS
09:06:16 <lambdabot> unexpected end of input: expecting number
09:06:21 <Sgeo> shubshub, I note with alarm that from 1.3 to 1.5 !!!Batch changed for no clear reason
09:06:49 <lambdabot> unexpected "-": expecting digit, "d", "+" or end
09:07:00 <lambdabot> unexpected end of input: expecting number
09:07:19 <Sgeo> shubshub, nevermind
09:08:13 <shubshub> I Had to move it to Python to allow it multiline Conversion and Better Execution of code
09:08:20 <Sgeo> shubshub, in !!!Batch, what is ?!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!?
09:09:22 <Sgeo> Because 1.3 has |
09:09:25 <Sgeo> Why the change?
09:09:59 <shubshub> Im Gonna Add it back in for the next update
09:11:00 <shubshub> Just Like with !Py!Batch I had to remove the backslash \
09:11:42 <shubshub> But With !Ruby!Batch It should all work out :D
09:12:28 <shubshub> And then Maybe ill do !Fuck!Batch or maybe finally the next Batch Deriv ???Batch lol
09:13:12 <shubshub> !!!Batch is just the language name But the Interpreters Have different names
09:13:52 <shubshub> Also !Ruby!Batch Eliminates The Need to save converted script tp a file
09:14:30 <shubshub> !Py!Batch 1.6 Might Even solve that Problem
09:15:07 <shubshub> But !CMD!Batch is Finished No more Updates for it ^_^
09:15:23 <Sgeo> shubshub, to put a \ in a string, use \\
09:15:58 <Sgeo> shubshub, because you didn't learn enough of .... any programming language
09:16:01 <Sgeo> It's pretty basic stuff
09:16:38 <Sgeo> I'm going to show you where it is in the official Python tutorial, hold on
09:17:04 <shubshub> What I Actually need is for itidus20 to come online
09:17:17 <shubshub> So I can get the code off of him
09:17:48 <shubshub> He Made A Basic !!!Batch Converter in Brainfuck (Basic Meanjng only lowercase letters)
09:18:22 <shubshub> and then I can teach fung !!!Batch Conversion
09:18:56 <fungot> Usage: ^def <command> <lang> <code>
09:19:43 <Sgeo> shubshub, do you understand what that should output, and why?
09:20:31 <Sgeo> And I am forcing myself to go to sleep right now.
09:22:08 <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
09:25:17 <Sgeo> ^bf_txtgen hello
09:25:32 <shubshub> ^def hWorld bf >+++++++++[<++++++++>-]<.>+++++++[<++++>-]<+.+++++++..+++.[-] >++++++++[<++++>-] <.>+++++++++++[<++++++++>-]<-.--------.+++ .------.--------.[-]>++++++++[<++++>- ]<+.[-]++++++++++.
09:25:41 <Sgeo> Would have been amusing if it worked
09:25:47 <Sgeo> Why am I still awake
09:30:47 <fizzie> It already *has* a silly "hello, world" command.
09:30:57 -!- shubshub has quit (Remote host closed the connection).
09:32:11 -!- shubshub has joined.
09:40:50 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bots: not found
09:41:05 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bf_txtgen: not found
09:41:26 <lambdabot> help <command>. Ask for help for <command>. Try 'list' for all commands
09:42:08 <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
09:43:36 <Sgeo> Hooray for using "gay" as a pejorative?
09:43:41 <Sgeo> Why am I awake.
09:44:27 <Sgeo> You already know what it's going to o
09:45:13 <shubshub> Im Gonna Go Make More StuffTo Teach It
09:52:30 -!- shubshub has quit (Remote host closed the connection).
09:53:03 -!- shubshub has joined.
09:53:33 -!- Taneb has joined.
09:54:52 <Taneb> fungot, what do you think I should do?
09:54:53 <fungot> Taneb: this will rise the bar for fps games forever
09:55:03 <Taneb> fungot, I don't play fps games
09:55:03 <fungot> Taneb: it is probably a symbolic reference to an altitude of 100 feet when he starts " screaming" it's very hard to believe he was actually a test of a newly-delivered fly-by-wire airbus a320
09:55:23 <Taneb> fungot, that sounds scary, I'd better not
09:55:23 <fungot> Taneb: his voice is you who claim it is
09:57:04 <Taneb> It's just a hello world program!
09:57:23 <Taneb> ^ul (Hello world!)S
09:59:18 <shubshub> ^def whois ul(Hello I am fungot I am programmed using befunge 98 I can interpret Brainfuck and underload)S
09:59:18 <fungot> Usage: ^def <command> <lang> <code>
09:59:59 <shubshub> ^def whois ul (Hello I am fungot I am created in befunge 98 I can interpret brainfuck and underload)S
10:00:14 <fungot> Hello I am fungot I am created in befunge 98 I can interpret brainfuck and underload
10:01:00 <Taneb> ^def whois ul (Hello! I'm fungot, I'm created in Befunge 98, and as well as keeping up conversations I can interpret brainfuck and Underload!)S
10:01:02 <fungot> Hello! I'm fungot, I'm created in Befunge 98, and as well as keeping up conversations I can interpret brainfuck and Underload!
10:03:48 <fungot> Hello! I'm fungot, I'm created in Befunge 98, and as well as keeping up conversations I can interpret brainfuck and Underload!
10:04:47 <shubshub> !bf_txtgen WHY ISNT THIS WORKING
10:07:12 <Taneb> I was just trying something
10:07:57 <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
10:09:20 -!- cheater__ has quit (Ping timeout: 246 seconds).
10:10:24 <shubshub> ^def welcome ul (Welcome to the #esoteric channel enjoy your stay ^_^)S
10:10:32 <fungot> Welcome to the #esoteric channel enjoy your stay ^_^
10:12:03 <Taneb> Where's elliott :(
10:12:09 <Taneb> I want to play dwarf fortress
10:12:51 <Taneb> But then elliott will be angry at me for playing dwarf fortress!
10:12:56 <Taneb> Without him watching!
10:13:37 <Taneb> BECAUSE HE LOGREADS
10:14:05 <Taneb> We have a sacred vow never to know each-other IRL.
10:14:12 <shubshub> Then How does he find out!?! is dwarf fortrezs online?
10:14:25 <Taneb> I broadcast me playing it now
10:15:18 <shubshub> ^def elliott ul (Taneb was gonna play dwarf fortress without elliott watching :O)S
10:15:26 <fungot> Taneb was gonna play dwarf fortress without elliott watching :O
10:15:38 <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
10:15:54 <fungot> Taneb was gonna play dwarf fortress without elliott watching :O
10:16:00 <Taneb> ^def elliott ul ()S
10:16:16 <Taneb> @tell shubshub that's what @tell is for
10:16:23 <lambdabot> shubshub: You have 1 new message. '/msg lambdabot @messages' to read it.
10:16:43 <lambdabot> Taneb said 27s ago: that's what @tell is for
10:17:14 <shubshub> @tell elliott Taneb was gonna play dwarf fortress without you watching
10:18:54 <lambdabot> help <command>. Ask for help for <command>. Try 'list' for all commands
10:18:58 -!- nortti has joined.
10:19:27 <Taneb> It was ^whois, iirc
10:19:40 <fungot> Hello! I'm fungot, I'm created in Befunge 98, and as well as keeping up conversations I can interpret brainfuck and Underload!
10:20:23 <Taneb> shubshub thought of it, I was annoyed by shubshub's attempt and improved it
10:21:54 -!- cheater__ has joined.
10:23:43 <shubshub> wrote that one myself in brainfuck
10:23:52 <fungot> shubshub: oznaczono jako spam
10:24:16 <fungot> nortti: beer is my favoriet song from avril sorry 4 this realy bad englis grreting from holland;-)
10:24:41 <Taneb> fungot is Dutch? Who knew?
10:24:41 <fungot> Taneb: the oops list, click oops list and youtube are not uncommon at all
10:25:01 <shubshub> ^def fungot ul (Me :D I'm fungot)S
10:28:38 <fungot> Hello! I'm fungot, I'm created in Befunge 98, and as well as keeping up conversations I can interpret brainfuck and Underload!
10:29:08 <nortti> ^def fungot ul (:(Me :D I'm fungot)S^):^
10:29:13 <fungot> Me :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe :D I'm fungotMe : ...too much output!
10:29:28 <nortti> ^def fungot ul (:(Me :D I'm fungot )S^):^
10:29:29 <fungot> Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot Me :D I'm fungot M ...too much output!
10:30:57 <nortti> I don't want to fuck man
10:31:04 -!- shubshub has quit (Quit: R.I.P).
11:02:06 <coppro> git://git.sv.gnu.org/lilypond.git/
11:02:11 <coppro> http://lilypond.org/doc/v2.12/Documentation/devel/contrib-guide/Getting-the-source-code
11:02:20 <coppro> the instructions for checking out the source are hilarious
11:02:26 <coppro> apparently the author doesn't believe in porcelain or something?
11:05:59 <Gregor> That is one crazy checkout command.
11:09:38 <coppro> Gregor: it's git clone
11:12:39 <lambdabot> http://code.haskell.org/lambdabot/COMMANDS
11:13:23 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.18568
11:13:30 <Gregor> coppro: I realize that.
11:13:33 <Gregor> That doesn't make it less crazy.
11:16:28 <coppro> I stand by my belief that GNU programmers are insane
11:16:57 <nortti> coppro: why do you think so?
11:33:35 -!- fungot has quit (Remote host closed the connection).
11:33:53 -!- fungot has joined.
12:27:30 <fungot> Taneb: not limited as in makes it non io-complete
12:37:49 -!- TeruFSX has joined.
12:43:33 <fizzie> I just flushed the commands, due to all kinds of sillitude.
12:43:39 <fizzie> Don't have an ^undef in there.
12:48:40 -!- TeruFSX has quit (Ping timeout: 256 seconds).
12:51:30 <Taneb> Just read a headline on BBC News website, in the science section
12:51:52 <Taneb> (to protect koalas)
12:54:04 <fizzie> "Recent GPS measurement in Australia confirms the plate's velocity of 67 mm/yr at 35 degrees east of north."
12:54:17 <fizzie> Not sure how exactly that protects koalas.
12:55:52 <Taneb> Turns out, it was referring to the political entity rather than the land mass
13:39:03 -!- Taneb has quit (Quit: Leaving).
13:48:28 -!- Madoka-Kaname has quit (Quit: Hug~♪).
14:03:14 -!- ais523 has joined.
14:15:00 -!- asiekierka has joined.
14:35:49 -!- Taneb has joined.
14:38:42 <Taneb> elliott: why are you not online?
14:38:58 <Taneb> Why are you asleep!? It's three thirty eight!
14:39:09 <Taneb> Three thirty nine, even!
14:39:28 <Taneb> I know what you're thinking, the answer's on my user pagr
14:45:26 <Taneb> Time zones, fizzie
14:45:35 <Taneb> I suggest you come to this one, it's the best!
14:45:42 <Taneb> It's got me, and elliott, and ais523
14:45:47 <fizzie> I like being in the future.
14:46:22 <ais523> fizzie: UTC+3 summer, UTC+2 winter, I'm guessing?
14:46:22 <lambdabot> ais523: You have 1 new message. '/msg lambdabot @messages' to read it.
14:46:30 <ais523> (actually, I guessed that even before I CTCP TIMEd you)
14:46:34 <fizzie> Yes. It's the EET/EEST.
14:47:10 <Taneb> Help I'm trapped in this text box
14:48:47 -!- Taneb has quit (Quit: Leaving).
14:52:07 -!- Taneb has joined.
14:53:41 -!- Taneb has quit (Client Quit).
14:58:17 -!- ais523_ has joined.
14:58:28 -!- ais523 has quit (Disconnected by services).
14:58:30 -!- ais523_ has changed nick to ais523.
15:35:05 <ais523> wow, the current version of Evolution yells at you for /not/ using reply all on messages sent to a list
15:42:43 -!- ellisonch has quit (Ping timeout: 276 seconds).
15:56:26 -!- Phantom_Hoover has joined.
16:03:11 -!- ais523 has quit (Read error: Connection reset by peer).
16:03:12 -!- ais523_ has joined.
16:03:19 -!- ais523_ has changed nick to ais523.
16:06:18 -!- Taneb has joined.
16:13:42 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
16:14:06 -!- Phantom_Hoover has joined.
16:19:38 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
16:19:58 -!- Phantom_Hoover has joined.
16:22:12 -!- augur has quit (Remote host closed the connection).
16:24:33 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
16:25:08 -!- Phantom_Hoover has joined.
16:29:26 -!- ais523 has quit (Ping timeout: 246 seconds).
16:30:25 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds).
16:30:48 -!- Phantom_Hoover has joined.
16:32:45 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .).
16:35:35 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds).
16:35:56 -!- Phantom_Hoover has joined.
16:37:09 -!- ellisonch has joined.
16:40:45 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds).
16:41:12 -!- Phantom_Hoover has joined.
16:48:41 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
17:01:19 -!- derdon has joined.
17:04:59 -!- augur has joined.
17:06:08 -!- pikhq has joined.
17:06:15 -!- pikhq_ has quit (Ping timeout: 260 seconds).
17:15:07 <Sgeo> Is it possible to prevent Chrome from playing video when it sees the <video> tag?
17:17:15 <Sgeo> Maybe if I claim to be IE?
17:19:27 <Taneb> Or if you write a plugin to remove the autoplay attributes from all videos when loading a page?
17:22:19 <Sgeo> Good idea. I should learn how to write plugins
17:26:35 <Sgeo> channel.me seems like a sufficiently convenient workaround for now
17:27:04 <Sgeo> It doesn't autoplay videos :(
17:32:18 <Sgeo> Synchtube will have to do
17:34:47 <Taneb> I am going to WRITE THIS EXTENSION
17:36:27 -!- Taneb has quit (Quit: Leaving).
17:42:23 -!- ais523 has joined.
18:19:18 -!- KingOfKarlsruhe has joined.
18:22:42 -!- elliott has joined.
18:23:19 <elliott> To sto0p rroeceeivoiing theese mmezsagoes, ploleaose e-n-dd an emaiil to cpierwpzz [aat] gmail [d0t] com wltthh the w-orodo STOP i-n the osvboject l-in-ee.
18:23:20 <lambdabot> elliott: You have 1 new message. '/msg lambdabot @messages' to read it.
18:26:09 <ais523> elliott: (re lambdabot msg) thanks for letting me know
18:26:25 <elliott> hmm, I forgot — oh, the NetHack 4 message?
18:26:34 <elliott> I noticed it when watching monqy play
18:26:47 <elliott> btw, you also use a lowercase "w" for the "what is your name?" prompt
18:26:59 <ais523> meanwhile, it's rather hilarious to see Schwartz busy shouting at people on Twitter over the Oracle vs. Google lawsuit
18:27:17 <ais523> he pretty strongly seems to think Google are in the right
18:27:39 <ais523> and that's a daniel_tism, but I don't have to agree with him on everytihng
18:28:26 <elliott> ais523: what's a daniel_tism?
18:28:30 <elliott> starting the prompt with a lowercase letter?
18:28:37 <elliott> I wouldn't care if it was done /consistently/
18:28:57 <ais523> elliott: something done by daniel_t where nobody else understands why
18:33:45 <elliott> ais523: by the way, you really need to add spectating
18:33:53 <elliott> monqy had to termcast his telnet session so i could watch
18:34:02 <ais523> elliott: I know, but it's nontrivial
18:34:14 <ais523> daniel_t couldn't figure out how to do it at all; I think I know how but I'm being too lazy to implement it
18:34:33 -!- Taneb has joined.
18:34:41 <ais523> spectating would probably need an account, technologically speaking, but I could just make a guest/anon account for the purpose
18:35:26 <elliott> ais523: meh, what's the problem? vagabond handles spectating just fine
18:35:51 <ais523> elliott: spectators can run commands in the game they're spectating
18:36:06 <Taneb> elliott, shall I play DF?
18:36:11 <elliott> that doesn't sound necessary (but vagabond can do that too)
18:36:28 <ais523> well, the feature exists already; it's real-time spectating that doesn't
18:37:00 <ais523> but it shouldn't be too hard to adapt watching to be able to read a file as it's being written, especially with my changes to not load games into memory but rather leave them on the disk
18:37:03 <elliott> just do the equivalent of termcasting to start with
18:37:08 -!- Phantom_Hoover has joined.
18:37:17 <ais523> elliott: no, that'd be /harder/ to write than doing it properly
18:37:18 <elliott> it'll just make it worse than vagabond, that's all
18:37:26 <ais523> is vagabond vaporware?
18:38:15 <elliott> "guess ill watch" --elliotte
18:39:18 -!- Slereah has quit (Ping timeout: 260 seconds).
18:39:41 <elliott> ais523: did you know you can termcast dwarf fortress?
18:39:59 -!- Slereah has joined.
18:40:01 <ais523> elliott: yes, IIRC Adeon wrote the code to do so
18:40:12 <ais523> via reverse-engineering the way the display code worked
18:40:14 <elliott> hmm, I doubt it, unless Adeon knows Toady One
18:40:55 <elliott> Taneb is just using the built-in terminal output
18:43:07 <elliott> Gregor: Bet it's based on apt (and therefore wrong).
18:43:15 <Gregor> It's not based on anything right now.
18:43:44 <Gregor> I'd like for it to be, but they're all pretty wildly unsuitable :(
18:44:27 <elliott> Anyway, a Nix-style package manager (or Nix itself) would be very well suited to with.
18:44:34 <elliott> Which is why I was gonna use cunionfs for Kitten :P
18:46:06 <Gregor> I just rolled a quick-n-dirty version checker. I was more interested in making sure that the design basically functions for the moment, I'll plug in a real version tracer "soon"
18:46:54 <elliott> Gregor: FWIW with a Nix-style system you don't need to do much dependency resolution at all.
18:50:14 <Gregor> Seems like with nix, all I really need to do is swap out nix-env for my more dynamic environment.
18:53:02 <elliott> Gregor: Which is nice, 'cuz the whole "directory tree full of symlinks" thing is ugly as hell :P
18:54:27 <elliott> ais523: hey, is IVAN worth playing?
18:57:43 <elliott> bleh, why aren't you a font of inexhaustible roguelike knowledge?
18:58:24 <elliott> Taneb: Have you hit adamantine yet?
18:58:44 -!- MoALTz has quit (Read error: Connection reset by peer).
19:00:39 -!- MoALTz has joined.
19:00:53 <elliott> termcast needs a note system.
19:01:18 <nortti> Gregor: were it you who was working on linux distro with no gnu software
19:01:48 <Gregor> nortti: Virtually everyone in #musl seems to be.
19:02:04 <elliott> Sorry to be pedantic, but IMHO calling haskell's lists "linked lists" or talking about "doubly-linked lists" in the context of pure FP is dragging a lot of imperative baggage (pointers, destructive updates) into the discussion and confuses things. – jberryman 2 hours ago
19:02:14 <elliott> Linked lists, what an imperative concept.
19:02:32 <elliott> It is literally impossible to build structures out of other structures recursively in functional languages.
19:02:50 <nortti> Gregor: can you give some pointers for me? I am trying to move my own distro away from gnu bloatware
19:03:34 <Gregor> nortti: Start with musl. Then cry a lot. Then give up and accept GNU make, sed, gawk, but stand your ground on everything else.
19:03:35 -!- elliott has left.
19:07:09 <Gregor> nortti: It's probably worthwhile to build Sabotage ( https://github.com/rofl0r/sabotage ) even if you don't intend to use it, just to see how it gets things working.
19:07:18 <Gregor> Oh yeah, you also have to give up and accept GNU cc, binutils
19:07:28 <Gregor> clang may be feasible eventually.
19:07:44 <nortti> Gregor: can't musl be used with tinycc?
19:07:59 -!- elliott has joined.
19:08:05 <Gregor> Idonno, but musl isn't really the issue.
19:08:17 <elliott> ais523: Happy Australian mailman mailing list memberships reminders day.
19:09:28 <pikhq> Yeah, *musl* is relatively sane and portable C.
19:09:31 <pikhq> Most things aren't. :)
19:13:35 <pikhq> On an unrelated note: having a non-migraine very painful headache is a completely new experience for me.
19:13:52 <Taneb> Never had a migraine
19:13:57 <Taneb> Get painful headaches all the time
19:15:25 <pikhq> I suppose this is a hell of a lot better, though.
19:15:31 <pikhq> Hooray, no photosensitivity!
19:15:31 <elliott> ais523: btw, I think I figured out a food system I mostly like
19:15:40 <elliott> err, for roguelikes, that is
19:21:28 <Taneb> Traders bring caravans now, I was checking if they could get to my trade depot
19:21:46 <elliott> it's a lot flashier over termcast since the blinking delay gets messed up :)
19:22:04 <Taneb> I'll try to avoid it
19:23:04 <Taneb> Some weird guy who may not exist
19:23:11 <elliott> ais523: well, I've decided against having time-based HP recovery
19:23:23 <elliott> or rather, time-based recovery of anything in general
19:23:47 <elliott> ais523: so I like the idea of food restoring energy (perhaps more well-rounded than just HP, compared to a potion of get better (technical term)), and all food decaying
19:23:49 <ais523> so it's "eat food to regain health"?
19:24:11 <elliott> more or less, except you might have to eat an awful lot if you're almost dead
19:24:13 <ais523> would it be an instant restorative, or a temporary regen booster? (the two play rather differently)
19:24:45 <elliott> and since all food would decay, you wouldn't be able to risk almost dying and then retreating to recover unless you have a _lot_ of food stocked up (that somehow hasn't decayed yet) or healing potions
19:24:57 <elliott> because you'd have to go and kill things to get more food, and you might not survive a fight with them
19:25:08 <elliott> I think I like the latter better
19:26:00 <elliott> hmm, I might add a sleep mechanism for restoring HP, too, with the caveat that it'll *severely* weaken you to any attacks
19:26:09 <elliott> (so you could only use it if you found a very safe place)
19:26:10 <ais523> elliott: so you can only do it in a cleared-out level?
19:26:25 <elliott> ais523: meh, I don't want levels to be permacleared, I think
19:26:38 <elliott> ais523: you'd have to find a room and then lock the doors strongly with magic or something
19:26:47 <elliott> and hope there's nothing powerful enough to crack them open about
19:26:50 <Taneb> Hotels in the middle of dungeons
19:30:10 -!- MoALTz has quit (Quit: brb).
19:32:20 <elliott> ais523: Agora is dead, right?
19:32:50 <ais523> elliott: no, just uninteresting
19:32:53 <ais523> it goes through phases of that
19:33:07 <elliott> this phase has lasted months!
19:33:20 -!- shubshub has joined.
19:33:46 <fungot> shubshub: someone once said stalin is ( was) a bolshevik revolutionary and the second srfi-1 should have been
19:34:26 <ais523> OK, now /that's/ a good fungot quote
19:34:26 <fungot> ais523: the only thing missing is a nice religion so far, glass and def-bf can coexist peacefully on top of each stack) by turning it to xml.
19:34:48 <fungot> Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube
19:35:15 <elliott> scheme talk means it's the irc style
19:35:30 <shubshub> ais523 why did fung forget ^whois ?
19:35:46 <ais523> shubshub: I don't think it ever existed in the first place
19:35:59 <ais523> oh, probably rebooted, then
19:36:08 <ais523> definitions don't stick around forever
19:37:44 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 12.0/20120420145725]).
19:38:08 <shubshub> ^def whois ul (Hello! I'm fungot as well as keeping up with conversations I can also interpret Brainfuck! and Underload!)S
19:38:14 <fungot> Hello! I'm fungot as well as keeping up with conversations I can also interpret Brainfuck! and Underload!
19:39:02 <shubshub> Should make it a permanant command
19:39:17 <lambdabot> bots shouldn't talk like that. it ain't right.
19:39:41 <ais523> shubshub: brainfuck doesn't start with a capital B, except at the start of a sentence
19:39:57 <elliott> shachaf doesn't talk like that.
19:42:06 <elliott> Actually it sounds kind of like quintopia. But I doubt he knows the lambdabot admin bug.
19:42:21 -!- oerjan has joined.
19:42:36 <elliott> Hi oerjan; we have a mystery.
19:43:05 <oerjan> mysterium mysteriosissimum
19:43:15 <elliott> Someone used lambdabot to talk in here and I don't know who it is. :(
19:43:39 <oerjan> have kmc and shachaf denied doing it?
19:43:51 <elliott> It doesn't sound like shachaf. :(
19:44:00 <elliott> I don't think kmc is a lambdabot admin, although of course technically neither is shachaf.
19:44:51 <ais523> elliott: did you ever see the secret admins argument at BlogNomic?
19:45:12 <elliott> no, but it rings a bell; probably you told me about it, then I forgot
19:45:27 <elliott> so now you get to tell me about it again
19:45:35 <oerjan> <shubshub> ^whois <-- you know there's ^help, right?
19:45:42 <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
19:47:24 <ais523> elliott: basically, it was a combination of things that were previously believed to be admin-only actually being possible by any user (just most people didn't realise), and the interface occasionally putting edit links on posts other people had made due to some sort of weird bug
19:47:26 -!- azaq23 has joined.
19:47:32 -!- asiekierka has quit (Quit: Wychodzi).
19:47:59 <ais523> and the result was the belief that someone had somehow got "semi-admin" rights via some unknown method
19:48:08 <elliott> ais523: which is worse: Expression Engine or Community Server?
19:48:20 <ais523> community server, easily
19:48:37 <ais523> EE is reasonably sane for its intended purpose
19:48:44 <ais523> but does not make an amazingly good webforum
19:50:27 <ais523> it's sort-of like using a VCS when what you really need is a wiki, or vice versa
19:54:14 <elliott> you might still have a stray dc process lying around
19:54:19 <elliott> (also, did you really type "exit" manually there?)
19:54:31 <elliott> (and s/nc/netcat/, perhaps)
19:55:24 <elliott> shachaf: lambdabot said something and it wasn't me and I don't know who it was. :(
19:55:32 <elliott> 20:39 <lambdabot> bots shouldn't talk like that. it ain't right.
19:55:49 <elliott> shachaf: That sounds insincere. :(
19:55:54 -!- shubshub has quit (Quit: R.I.P).
19:55:57 <shachaf> Yep. Definitely insincere.
19:56:10 <elliott> If you actually did it and it was that recent, you wouldn't ask for when.
19:56:37 <shachaf> What if I asked for when just to make you think "If [shachaf] actually did it and it was that recent, [shachaf] wouldn't ask for when"???????
19:56:53 <shachaf> Anyway you beeped my name.
19:57:03 <elliott> I wish lambdabot let you list the admins.
19:58:12 <elliott> It should error out if you de-admin someone who isn't an admin.
19:58:14 <shachaf> None of those people are @admins...
19:58:57 <elliott> No. (I knew you'd say that.)
19:59:07 <shachaf> ((I knew you'd say that.))
20:02:16 <ion> That post is hilarious. It didn’t deserve the downvotes. :-( Upvoted. http://www.reddit.com/r/windows/comments/sydia/i_want_windows_7_back/c4i26a1
20:09:39 <mroman_> http://esolangs.org/wiki/Most_ever_Brainfuckiest_Fuck_you_Brain_fucker_Fuck
20:09:52 <elliott> that's oklopol's new language
20:10:06 <elliott> his first in years, I think
20:13:48 <shachaf> uh-oh. that sounds illegal. better call the oklopolice.
20:14:14 <oerjan> nah he's just oklofucking with us
20:16:15 <Lumpio-> http://esolangs.org/wiki/Poison this article is dumb.
20:19:04 <japh> it needs an Unimplemented tag
20:19:42 <shachaf> Wow, kmc would thoroughly enjoy that article.
20:20:48 <elliott> japh: How do you *know* it's not implemented?
20:21:37 <elliott> b - a potion of brilliance
20:21:40 <elliott> h - 2 potions of levitation
20:26:32 -!- quintopia has quit (Ping timeout: 244 seconds).
20:29:28 <elliott> Soul's ghost screams, "I have seen your future, and it is all used up."
20:29:29 <elliott> is that really the best you can do
20:29:39 * oerjan was synchronistically just now at http://www.sheldoncomics.com/archive/101103.html
20:34:46 <elliott> ais523: hill giant zombies are terrifying, right?
20:35:33 <ais523> elliott: in Crawl? they're like weaker hill giants, so quite damaging in melee range
20:36:06 <elliott> I don't have ranged weapons
20:36:19 <ais523> that is typically a bad idea when playing Crawl
20:36:21 <elliott> well, apart from the Minor Destruction ability
20:36:24 -!- Taneb has quit (Quit: goodnight).
20:36:26 <ais523> pick up stones or darts or something
20:36:38 <ais523> or minor destruction it, there's no cost but MP and it'll train up invocations
20:36:50 <elliott> my understanding is that things train whether or not you use them nowadays
20:37:09 <elliott> anyway, I used darts for a while but they were so tedious and rarely helped me, and monqy said he never bothered with them, so i stopped
20:37:38 <ais523> they're basically only useful against specific monsters (things that are powerful but kitable)
20:38:24 <elliott> _You feel yourself slow down. It was a potion of slowing.
20:40:31 -!- quintopia has joined.
20:40:36 -!- TeruFSX has joined.
20:43:48 <nortti> http://www.bbc.com/news/technology-17894176
20:47:57 * elliott wonders why nortti is reading UK news.
20:49:11 <ais523> elliott: the BBC is a pretty reliable news website compared to pretty much all the US ones, so quite a few US people read it
20:49:19 <elliott> yes, but that's a UK news item
20:49:29 <elliott> as opposed to being international news reported on in the UK
20:49:38 <ais523> elliott: that story's made news in the US too
20:49:45 <ais523> despite being related to the UK
20:49:53 <elliott> nonsense, the UK exists in a vacuum
20:50:22 <elliott> hmm, I wonder where the secret door is
20:50:32 <nortti> elliott: found by osnews
20:54:41 <elliott> _The orc sings a few bars from the Orcish anthem.
20:56:01 <oerjan> the lyrics being "KILL KILL KILL KILL KILL"
20:56:18 <nortti> "Free data sharing will destroy existing economics, both in entertainment and in software development."
20:57:00 <nortti> "Stop spreading the evil infected ideas about sharing and start patenting."
20:57:56 <nortti> I wonder what drugs that guy does
21:06:45 <elliott> Pikel says, "I just want to get paid!"
21:08:46 <elliott> _The orc priest sings a few bars from the Orcish anthem.
21:19:06 -!- augur has quit (Remote host closed the connection).
21:19:10 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
21:24:23 -!- Phantom_Hoover has joined.
21:31:20 <ais523> a slightly weird question: is there such a thing as a loopback for ALSA (i.e. which connects the speakers to the microphone internally)?
21:34:55 -!- MoALTz has joined.
21:35:42 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
21:36:11 -!- Phantom_Hoover has joined.
21:43:28 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds).
21:46:31 -!- Phantom_Hoover has joined.
21:53:00 -!- oerjan has quit (Quit: Lost terminal).
21:55:38 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
21:56:04 -!- Phantom_Hoover has joined.
22:06:30 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
22:13:35 <elliott> hmm, I've now played 100 games of Crawl in 9 days
22:17:36 <fizzie> ais523: ISTR there's an "aloop" 'soundcard' that's just a soundcard that provides two full-duplex devices; whatever you play into device 0 is what's recorded if you record from device 1, and vice versa.
22:56:52 -!- derdon has quit (Remote host closed the connection).
22:59:54 <shachaf> That reminds me I ought to back to doing Agda.
23:00:12 <shachaf> Remember that level where you have to do a proof to continue?
23:00:16 <shachaf> I got stuck at that level. :-(
23:01:26 <elliott> shachaf: Agda? More like Unicodegda.
23:02:04 <kmc> lisp? more like parentheses
23:02:22 <kmc> the most hardcore lisp ninjas use only parentheses
23:02:40 <shachaf> Parenheses? More like parethetheth
23:03:04 <kmc> parentheses? more like 8=======D
23:03:26 <elliott> kmc: I'd be that happy too if I had a nose like that.
23:04:46 -!- nortti has quit (Quit: leaving).
23:07:21 <shachaf> I wonder whether Agda would make a good computer game.
23:09:51 <kmc> yeah, i want someone to make an RPG where the combat system is a proof system
23:09:54 <kmc> maybe more like Coq's
23:10:02 <kmc> as you level up you learn powerful spells like "eauto"
23:10:05 <kmc> and "crush"
23:10:27 -!- nortti has joined.
23:10:59 <shachaf> kmc: Did you see <http://petersobot.com/blog/startups-bands-for-hackers/>? Made me think of you for some reason.
23:11:12 <elliott> didn't even click the link and vomit
23:11:27 <shachaf> elliott: Nothing much to be gained from clicking it.
23:11:36 <shachaf> Well, maybe you like vomit.
23:11:44 <elliott> i need a whole floor of vomit ideally
23:11:52 <elliott> oh man, an "ALL THE THINGS" meme!!!
23:12:01 <elliott> now i have more vomit than i needed
23:12:23 -!- kmc has set topic: <elliott> now i have more vomit than i needed | http://codu.org/logs/_esoteric/.
23:12:29 <shachaf> Does it make you use Emacs?
23:12:32 <kmc> shachaf: no
23:12:35 <elliott> shachaf: No, but you'll want too.
23:12:42 <kmc> i mainly used coqide
23:12:43 <elliott> Proof General is really, really nice (with a few config tweaks).
23:12:48 <kmc> i,i cock-eyed
23:12:50 <shachaf> elliott: Because of something to do with Coq, or just in general?
23:12:56 <elliott> shachaf: Because of Proof General.
23:13:06 <elliott> Set electric stop mode and three window mode, and it's lovely.
23:13:09 <shachaf> whoa, man, I have it in APT.
23:13:17 <elliott> As you write lines of the proof and hit the . to terminate them, it automatically advances the proof.
23:13:21 <shachaf> Wait, I have Agda in APT too.
23:13:23 <elliott> And you get a window with all your assumptions and goals.
23:13:36 <elliott> And you can print out the definitions of terms, etc. in a side window by giving commands inside your source buffer.
23:13:44 <elliott> It's a really nice mode of interaction.
23:14:05 <elliott> Lemme dig up the config tweaks I used for you.
23:14:32 <shachaf> How can you simultaneously claim that it's a really nice mode of interaction and that it uses Emacs?
23:15:01 <shachaf> whoa, man, coq is a 50MB download?
23:15:47 <elliott> shachaf: OK, it was just electric mode and three window mode.
23:16:29 <elliott> (setq proof-electric-terminator-enable t)
23:16:31 <elliott> (setq proof-three-window-enable t)
23:16:47 <elliott> Then you just load a .v file, and start writing a proof (the two windows appear once you type the first .).
23:17:13 <elliott> and get the definition of foo in one of the windows.
23:17:19 <elliott> Then you can just erase that Print foo. line and do something else instead.
23:17:21 <shachaf> What's a good way to get started with Coq?
23:17:32 <shachaf> I could look at the website, I guess.
23:17:39 <shachaf> kmc has this one website he always tells people about.
23:17:41 <elliott> Maybe read CPDT or something?
23:18:12 <elliott> http://adam.chlipala.net/cpdt/
23:18:37 <elliott> Note that it's apparently targeting Coq 8.4 beta now, so some things might be broken...
23:19:19 <elliott> shachaf: Oh, and the two most important keys to remember when using Proof General in that mode I've both forgotten.
23:19:35 <elliott> But one of them retracts the last command, and one of them moves the commit stuff to the point.
23:19:47 <elliott> shachaf: (Because you can't modify stuff you've committed with the .)
23:19:49 <shachaf> C-x C-c and Escape-Meta-Alt-Control-Shift.
23:19:51 <elliott> So you use those to go back in time and change things.
23:22:07 <shachaf> OK, I guess I'll go back to Agda for a bit.
23:22:16 <shachaf> elliott: What's a good definition for evenness?
23:22:35 <elliott> Z is even, S (S n) is even iff n even.
23:22:48 <elliott> data Even : Nat -> * where ZEven : Even Z; SEven : Even n -> Even (S (S n))
23:23:01 <elliott> That's not Agda syntax. The Agda part is up to you.
23:23:18 <elliott> (Alternatively, Z is even, and S n is even if n is odd.)
23:23:30 <shachaf> I have Even : ℕ → Set ; Even 0 = ⊤ ; Even 1 = ⊥ ; Even (suc (suc n)) = Even n
23:24:40 <elliott> That's not how you do propositions.
23:24:40 <shachaf> copumpkin suggested that definition.
23:24:49 <shachaf> But he also suggested that it was a bad one.
23:24:50 <elliott> I mean, it's easier to decide that verison.
23:25:03 <elliott> shachaf: You want to be doing propositions by defining ADTs.
23:25:14 <elliott> Encode the information in the data instead of just flattening things to booleans.
23:25:22 <elliott> Because it means you can extract useful information out of proofs.
23:25:42 <elliott> the method you're using doesn't work if the proposition is not decidable.
23:25:59 <shachaf> Someone also mentioned something like data Even : Nat -> Set where Something : (k : Nat) -> Even (k + k)
23:26:31 <shachaf> That doesn't look like a boolean to me.
23:26:48 <shachaf> (Well, I guess it's a bit like a boolean.)
23:29:32 <elliott> shachaf: By boolean, I mean flattening everything to true or false.
23:30:01 <elliott> A proof of (Even n) should tell me *why* n is even, and be sufficient, on its own, to convince me that n is Even, without having to know that Even is defined so that (Even m) is true iff m is even.
23:30:17 <elliott> That's basically the whole idea of constructivism: the proof of a proposition demonstrates why it's true.
23:30:35 <elliott> That's also useful because it means you avoid boolean blindness: think of it like if vs. pattern matching.
23:30:41 <elliott> if null xs then Nothing else Just (head xs)
23:30:48 <elliott> case xs of [] -> Nothing; x:_ -> Just (head xs)
23:31:00 <elliott> With the former, you know that null xs is true iff x is [].
23:31:10 <elliott> But you don't get a demonstration that it *is* back, just confirmation.
23:31:21 <elliott> You can't use the derived knowledge directly in your computation.
23:31:34 <elliott> shachaf: Anyway, that (+) definition sounds more awkward than the one I gave.
23:31:49 <shachaf> Not for the thing I'm proving!
23:32:03 <shachaf> ...Because I'm proving /2-+-/2 : (n : ℕ) → (En : Even n) → n ≡ (/2 n En + /2 n En)
23:32:40 <elliott> (/2 n En + /2 n En) is a confusing thing to read.
23:32:47 <elliott> Anyway, it's OK to design your proposition type around what you're proving.
23:32:51 <shachaf> What's a better way to write it?
23:32:58 <elliott> shachaf: I don't know what it means.
23:33:01 <shachaf> elliott: Except what I'm going to be proving isn't this.
23:33:16 <shachaf> It means that if n is even, n/2 + n/2 = n
23:33:26 <elliott> Right. Don't call a prefix function /2. :(
23:34:17 <shachaf> Anyway, what general-purpose definition of evenness ought I use?
23:34:43 <elliott> 00:22 <elliott> data Even : Nat -> * where ZEven : Even Z; SEven : Even n -> Even (S (S n))
23:35:03 <elliott> The (+) one might also work, but I think this one is easier to get information out of.
23:35:16 <shachaf> I think you're trying to trick me.
23:35:25 <shachaf> "SEven" is not an even number at all!!!!!!
23:35:33 <kmc> shachaf: Software Foundations?
23:35:47 <kmc> is the thing i tell people to read to learn about coq / pl / proofs
23:36:26 <kmc> haven't read it yet
23:36:38 <elliott> Wow, Software Foundations is an all-star cast.
23:36:43 <kmc> i know, right?
23:36:48 <elliott> Or at least http://www.cis.upenn.edu/~bcpierce/sf/ is.
23:37:13 <elliott> I like how every Coq book looks the same.
23:37:20 <elliott> Because they're all written with coqdoc.
23:37:33 <kmc> why is there no tool named coqblock
23:37:36 <shachaf> kmc: What I was looking for was http://as305.dyndns.org/aps/problem , I think.
23:37:44 <kmc> that thing is fun too
23:37:55 <kmc> i did not get very far
23:38:00 -!- augur has joined.
23:38:01 <elliott> Why didn't you tell me about that?
23:38:22 <elliott> http://as305.dyndns.org/aps/problem/viewa/315 haha what a cheat
23:38:49 <elliott> http://as305.dyndns.org/aps/problem/view/53 fucking awesome
23:38:52 <elliott> ais523: http://as305.dyndns.org/aps/problem/view/53
23:39:07 <shachaf> HEY EVERYBODY LOOK AT ME http://www-cs-faculty.stanford.edu/~uno/boss.html
23:39:47 <kmc> congrats shachaf
23:40:17 <elliott> Doesn't he know how to spell Sha Chaf?
23:40:24 <kmc> it should be in hebrew
23:41:14 <ais523> elliott: that's… anagolf, but in Coq?
23:41:42 <elliott> ais523: and it uses a verifier of your program, rather than a fixed number of example inputs
23:41:49 <elliott> so basically you have to golf a proof
23:43:51 -!- azaq23 has quit (Remote host closed the connection).
23:46:18 -!- ais523 has quit.
23:53:55 -!- monqy has joined.