←2012-04-29 2012-04-30 2012-05-01→ ↑2012 ↑all
00:01:15 <nortti> absentswett
00:01:23 <nortti> what?
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:05 <nortti> aufs?
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:21:21 <augur> dILL KILL YOU
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:13 <Sgeo_> FUCK YOU CHROME
01:26:23 <monqy> hi
01:27:09 <monqy> im chrome and what you said is offensive?
01:27:12 <monqy> im offended sgeo
01:27:32 <Sgeo_> FUCK YOU CHROME
01:28:15 <monqy> sgeo....:(
01:28:20 <monqy> no.......:(
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:26 <Sgeo_> wb elliott
01:41:39 <Sgeo_> You missed a tirade of swearing
01:41:46 <Sgeo_> At monqy the web browser
01:41:58 <monqy> it hurt me deeple
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:16 <elliott> why not
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:38 <elliott> the namespace stuff?
01:49:40 <Gregor> So I can use any unioning filesystem, then have a suid-root program allow you to change it.
01:49:41 <Gregor> Yeah
01:49:45 <elliott> right
01:49:46 <elliott> kinda
01:49:47 <elliott> ugly
01:49:47 <elliott> though
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:25 <elliott> Right.
02:02:37 <elliott> Have you read the unionfs/aufs flamewars?
02:02:38 <elliott> They're intense.
02:02:59 <Gregor> Yeah, I know.
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:04:44 <Gregor> Doesn't seem to.
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:05:57 <elliott> It might be invisible.
02:06:00 <Gregor> lol
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:12:05 <Gregor> with gcc make -- make
02:12:09 <Gregor> ^^^ I want that
02:12:56 <elliott> Gregor: Dude.
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:13:10 <elliott> It's mine. Dibs.
02:13:20 <Gregor> TOO LATE I'M USIN' IT
02:15:50 <shachaf> shubshub is @karma-ing people?
02:16:02 <shachaf> Gregor: HI WHERE'S ROCKETJSQUIRREL
02:16:05 <shachaf> I WANT ROCKETJSQUIRREL
02:16:08 <shachaf> GIVE ME ROCKETJSQUIRREL
02:16:21 <Gregor> :(
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:46 <shachaf> monqy: There's a party?
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:32 <ion> I like it when less inserts newlines in the middle of lines.
02:17:41 <Gregor> Dun dun DUNNNN
02:17:43 <shachaf> monqy: ☝
02:18:33 <shachaf> monqy: DID YOU SEE THE TWIST
02:18:34 <monqy> shachaf: did shubshub @karma- you
02:18:37 <monqy> yes
02:18:40 <monqy> I saw the twist
02:18:45 <shachaf> monqy: I don't know. :-(
02:18:56 <monqy> he sure @karma-d me!!
02:19:08 <shachaf> oh no '(
02:19:20 <ion> The student attacked the teacher
02:19:55 <elliott> @time monqy
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:12 <elliott> UK.
02:21:18 <elliott> It's 3:21 am.
02:21:24 <shachaf> elliott: What island do you live in?
02:21:29 <elliott> England.
02:21:31 <elliott> Wait.
02:21:33 <elliott> That's not an island.
02:21:35 <ion> elliott: What matrix of solidity do you live in?
02:21:41 <elliott> #esoteric.
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:50 <elliott> kmc: what!
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:24 <elliott> mempty = TeXEmpty
03:37:26 <elliott> mappend TeXEmpty x = x
03:37:28 <elliott> mappend x TeXEmpty = x
03:37:30 <elliott> mappend x y = TeXSeq x y
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:45:53 <elliott> The free monoid, aka [].
03:46:41 <zzo38> (Of course, out of context, I can't know for sure if you want a free monoid)
03:46:50 <zzo38> elliott: Yes
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:22 <shachaf> hi shubshub
03:50:27 <shachaf> bye shubshub
03:50:47 -!- cswords_ has joined.
03:52:32 -!- shubshub has joined.
03:52:39 <ion> @karma shubshub
03:52:39 <lambdabot> shubshub has a karma of -1
03:52:53 <shubshub> huh
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:58:14 <Sgeo_> @karma Sgeo
03:58:14 <lambdabot> Sgeo has a karma of 0
03:58:15 <Sgeo_> @karma Sgeo_
03:58:15 <lambdabot> You have a karma of 0
03:58:20 <Madoka-Kaname> @karma Madoka-Kaname
03:58:20 <lambdabot> You have a karma of 0
03:58:21 <Sgeo_> @karma You
03:58:22 <lambdabot> You has a karma of -1
03:58:26 <Madoka-Kaname> @karma-- You
03:58:26 <lambdabot> You's karma lowered to -2.
03:58:35 <Madoka-Kaname> @karma Me
03:58:35 <lambdabot> Me has a karma of 0
03:58:38 <Madoka-Kaname> @karma lambdabot
03:58:38 <lambdabot> lambdabot has a karma of 5
03:58:45 <Madoka-Kaname> @karma America
03:58:45 <Sgeo_> @karma karma
03:58:45 <lambdabot> America has a karma of 0
03:58:46 <lambdabot> karma has a karma of 1
03:58:47 * Madoka-Kaname done
03:58:54 <Sgeo_> @karma
03:58:54 <lambdabot> has a karma of 0
03:59:08 <Sgeo_> @karma
03:59:08 <lambdabot> You have a karma of 0
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:25 <Sgeo_> @karma++
03:59:25 <lambdabot> 's karma raised to 1.
03:59:44 <Sgeo_> I wonder if newlines could be done... probably not
04:00:28 <Madoka-Kaname> @karma--
04:00:29 <lambdabot> 's karma lowered to 0.
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:33 <lambdabot> <IO has a karma of 0
04:02:38 <ion> ;-)
04:02:44 <shachaf> > text "\n
04:02:46 <lambdabot> <no location info>:
04:02:46 <shachaf> > text "\n"
04:02:46 <lambdabot> lexical error in string/character literal at end o...
04:02:47 <lambdabot> Terminated
04:02:49 <shachaf> > text "a\nb"
04:02:50 <lambdabot> a
04:02:51 <lambdabot> b
04:02:57 <shachaf> @@ @karma @run text "\n"
04:02:58 <lambdabot> Terminated has a karma of 0
04:03:03 <zzo38> Sgeo_: Newlines are not permitted in IRC command lines, except at the end, anyways
04:04:33 <zzo38> :t text
04:04:33 <lambdabot> String -> Doc
04:06:06 <ion> @karma
04:06:07 <lambdabot> has a karma of 0
04:06:28 <ion> @karma
04:06:29 <lambdabot> has a karma of 0
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:39 <lambdabot> <CTCP>ACTION has a karma of 0
04:07:54 <elliott> @time monqy
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:04 <elliott> happy 21:07:54 monqy
04:08:26 <shachaf> @time shachaf
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:16 <zzo38> @time
04:09:23 <lambdabot> Local time for zzo38 is night time
04:09:40 <shachaf> @time zzo38
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:13 <elliott> *.
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:27 * Sgeo_ attempts minitube
04:19:37 <Sgeo_> Wait
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:21:49 <Sgeo_> Minitube is nice
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:25:14 <Sgeo_> I am now PISSED
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:34:03 <shubshub> lol
04:35:23 <Madoka-Kaname> ellisonch, "It's like foreach... but in reverse."
04:35:24 <Madoka-Kaname> How does
04:35:25 <Madoka-Kaname> That even work?
04:35:32 <Madoka-Kaname> Wait.
04:35:34 <Madoka-Kaname> Wrong person.
04:35:44 <Madoka-Kaname> (foreach in reverse?? You mean... Iterators?)
04:35:46 <Madoka-Kaname> (I dunno)
04:39:46 -!- Sgeo_ has quit (Read error: Connection reset by peer).
04:41:23 -!- Sgeo has joined.
04:42:46 -!- augur has joined.
04:52:48 <shubshub> quiet z_z
05:13:40 <shubshub> zzzz
05:19:46 -!- shubshub has set topic: Poison Programming Language.
05:19:55 <shubshub> oops
05:20:00 <zzo38> Wrong.
05:20:07 <zzo38> Please include log URL as well
05:20:39 <shubshub> i did it on wrong channel
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:04 <shubshub> Leave it alone
05:23:17 -!- zzo38 has set topic: http://codu.org/logs/_esoteric/.
05:23:23 <shubshub> thank u zzo
05:23:24 <shachaf> zzo38 has decreed it.
05:23:39 -!- elliott has joined.
05:24:44 <shubshub> Hai elliott
05:32:21 <kmc> /topic poison your programming language | http://codu.org/logs/_esoteric/
05:32:44 <monqy> /mode +t
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:07 <monqy> tip "R.I.P. +t"
05:42:10 <monqy> rip, even
05:42:13 <monqy> "you will be mised"
05:42:29 <elliott> *misèd
05:45:11 <zzo38> In my program Prelude.Generalize, I have now added groupBy, null, concat, and (>>==).
05:45:34 <shachaf> "rip rip +t"
05:45:40 <shachaf> Oh.
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:13 <elliott> @time monqy
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:14:43 <shachaf> @time america
06:15:02 <shachaf> @time us
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:18 <monqy> actually no
06:15:18 <elliott> "just kiddinge"
06:15:25 <monqy> it's uh
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:15:53 <elliott> oh is it
06:15:58 <elliott> oopse
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:24 <monqy> yes
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:16:59 <monqy> :o
06:17:36 <elliott> azillion
06:17:37 <elliott> azillione
06:17:43 <monqy> azillionne
06:18:01 <shachaf> brazillione
06:18:23 <shachaf> azillione
06:18:24 <shachaf> azillitwo
06:18:26 <shachaf> azillithree
06:19:16 -!- shubshub has quit (Quit: R.I.P).
06:19:51 <monqy> r.i.p.
06:20:06 <shachaf> r·i·p
06:22:10 <kmc> Rip
06:22:49 <shachaf> Rest In peace
06:25:32 -!- zzo38 has quit (Quit: Dearly discarded...er, departed...).
06:50:05 -!- shubshub has joined.
06:50:16 <shubshub> hi
06:51:45 <Sgeo> Hi shachaf
06:51:47 <Sgeo> shubshub,
06:51:56 <shubshub> hi
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.
06:58:27 <shubshub> lol
07:00:11 <olsner> shachaf: hi
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:18 <shubshub> `addhilist shachaf
07:09:27 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: addhilist: not found
07:10:33 <shubshub> `celebrat
07:10:36 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: celebrat: not found
07:10:42 <shubshub> `celebrate
07:10:45 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: celebrate: not found
07:10:57 <shubshub> ^celebrate
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:10:58 <myndzi> /\ /¯|_)
07:10:58 <myndzi> (_| |_) (_|
07:11:19 <shubshub> ^def bf bababba
07:11:19 <fungot> Usage: ^def <command> <lang> <code>
07:11:47 <shubshub> ^def addhi bf <++<
07:11:48 <fungot> Defined.
07:11:54 <shubshub> ^addhi
07:12:04 <shubshub> `def
07:12:07 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: def: not found
07:12:20 <shubshub> ^help
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:30 <shubshub> `help
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:12:48 <shubshub> "`run echo hi
07:13:11 <shubshub> `run echohi
07:13:14 <HackEgo> bash: echohi: command not found
07:13:19 <shubshub> `run echo hi
07:13:22 <HackEgo> hi
07:13:41 <shubshub> `run set /p hi=Hello:
07:13:42 <elliott> please stop spamming the bots.
07:13:43 <HackEgo> No output.
07:13:48 <shubshub> lol
07:13:52 <shubshub> no
07:13:59 <elliott> not joking
07:14:10 <elliott> if you don't, you'll just get put on their ignore lists.
07:14:18 <shubshub> Fine
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:35:44 <Taneb> Hello
07:36:07 <Taneb> I'm ill
07:36:08 <shubshub> hi
07:36:22 <shubshub> lol
07:36:40 <Taneb> That's mean of you!
07:37:52 <shubshub> sorry
07:40:04 <quintopia> pikhq_: charlton heston eh?
07:40:54 <Sgeo> Taneb, feel better soon
07:40:58 <Taneb> :)
07:41:18 <pikhq_> quintopia: Yeah, it was the '68 film.
07:41:38 <quintopia> was alright
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:51:52 <japh> derp
07:52:07 <Taneb> `welcome japh
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:52:32 <Taneb> :)
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:41 <pikhq_> Fun, though.
07:53:44 <Taneb> New game Notch is making
07:53:48 <Taneb> Slightly relevant
07:53:54 <japh> i'm on a team implementing dcpu16 in minecraft
07:53:56 <japh> shhhhh
07:54:13 <Taneb> Cool!
07:54:16 <pikhq_> japh: Vanilla, or RedPower?
07:54:19 <Taneb> I tried to do that, didn't get very far
07:54:21 <japh> vanilla
07:54:23 <japh> rdf
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:44 <shubshub> Im part of rdf
07:56:47 <pikhq_> Erm, reasonable enough
07:56:49 <pikhq_> shubshub: Dubious.
07:56:55 <japh> anniversary project is full color tetris, active build
07:57:00 <japh> hi shub
07:57:12 <japh> <- wyldstallyns
07:57:17 <shubshub> hi
07:57:39 <japh> has brainfuck gone out of style?
07:57:44 <shubshub> idk
07:57:46 <japh> what's the hot paradigm with the kids these days
07:57:56 <shubshub> !!!Batch
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 <japh> no
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:44 <shubshub> yes
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:01 <shubshub> Minecraft Cant Do Everything
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:32 <shubshub> japh whats ur mc username?
07:59:36 <japh> http://esolangs.org/wiki/User:JayCampbell/weave.rb
07:59:38 <japh> wyldstallyns
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:25 <shubshub> - #PoisonLang
08:00:55 <japh> i made that in like 1924
08:01:00 <japh> approximately
08:01:19 <japh> shub is it on esolang?
08:01:37 <japh> no it's not
08:01:55 <pikhq_> I'm not sure shubshub knows what he's doing, TBH...
08:02:04 <japh> who does
08:02:09 <pikhq_> A fair point.
08:02:11 <pikhq_> :)
08:02:35 <japh> o i see http://esolangs.org/wiki/Poison
08:02:35 <shubshub> Yes I Do!
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:21 <Taneb> Or desire?
08:03:28 <Taneb> Because if there is, I'm making one
08:03:38 <japh> yarrrr
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:04:56 <pikhq_> And kept at it.
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:05:46 <shubshub> japh whats the big one?
08:06:03 <japh> meteor, atmospheric nuke, sunspots, pick one
08:06:18 <pikhq_> japh: Also, hah.
08:06:22 <shubshub> Thats not going to wipe the internet out...
08:06:33 <japh> or maybe your mother
08:06:52 <shubshub> No
08:06:55 <shubshub> Just no
08:07:06 -!- shubshub has quit (Quit: japh).
08:07:16 <japh> win
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:10 <japh> yah
08:09:30 <japh> !help
08:09:32 <pikhq_> If you're using it for real, you're an idiot who thinks fractional hertz are speedy. :P
08:09:45 <pikhq_> Huh, EgoBot's not in.
08:09:56 <pikhq_> ^help
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:57 <pikhq_> `help
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:34 <japh> `ls /etc
08:10:37 <HackEgo> alternatives \ java-6-openjdk
08:12:43 <japh> `ifconfig
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: Mask: \ 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:08 <japh> nat'd
08:13:23 <pikhq_> No. You'll note that there's no external link at *all*.
08:13:25 <pikhq_> :)
08:13:39 <pikhq_> And 0 RX and TX'd packets.
08:14:25 <japh> `id
08:14:28 <HackEgo> uid=5000 gid=204585
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:15:18 <japh> with no dns
08:16:24 <japh> `/usr/bin/traceroute -n
08:16:27 <HackEgo> Bad option `- ' (argc 1)
08:16:39 <pikhq_> `run /usr/bin/traceroute -n
08:16:42 <HackEgo> ​\ connect: Network is unreachable \ traceroute to (, 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:39 <pikhq_> Not a container. :)
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:04 <pikhq_> `cat /proc/cpuinfo
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:21:57 <japh> `apt-get
08:22:00 <HackEgo> apt 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:40 <japh> `which sshd
08:23:43 <HackEgo> No output.
08:23:46 <japh> `locate sshd
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:14 <ion> `ip a
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 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 brd
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:22 <japh> owait
08:25:23 <japh> nm
08:25:27 <pikhq_> Rather, who spawns, talks to the jailed Debian instance, and despawns.
08:25:48 <japh> `cal
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:26 <HackEgo> No output.
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:03 <japh> `perl
08:28:35 <HackEgo> No output.
08:28:41 <japh> `perl -e 'for(1..10){print"yay$_"}'
08:28:44 <HackEgo> No output.
08:29:01 <japh> `perl -e 'print"yay"'
08:29:04 <HackEgo> No output.
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:13 <HackEgo> 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:30:41 <Taneb> Hmm...
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:32:14 <HackEgo> No output.
08:33:25 <japh> `run sleep 10 && echo thread 1
08:33:31 <japh> `run sleep 3 && echo thread 2
08:33:37 <HackEgo> thread 2
08:33:38 <HackEgo> thread 1
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:06 <HackEgo> 1
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:35:39 <HackEgo> 1 2 3 4 5 6 7 8 9
08:35:43 <HackEgo> No output.
08:36:29 <japh> `ps ux
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=' '/home/hackbot/hackbot.hg/multibot_cmds/lib/limits' 'ps' 'ux' | cat \ 5000
08:36:52 <japh> `kill 274
08:36:54 <HackEgo> No output.
08:37:12 <japh> you betcha
08:37:31 <japh> `ps axuw
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:20 <pikhq_> It won't do much.
08:38:26 <pikhq_> `killall -9
08:38:29 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: killall: not found
08:38:33 <pikhq_> :)
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:26 <japh> `kill -9 2
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 <japh> `kill TERM 2
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:55 <HackEgo> ​/usr/bin/pkill
08:39:59 -!- shubshub has joined.
08:40:05 -!- Taneb has quit (Quit: Leaving).
08:40:16 <shubshub> Hey
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:05 <Sgeo> ( )
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 <Sgeo> ^style
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:22 <shubshub> ^def
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:30 <Sgeo> ( )
08:41:35 <shubshub> ^def h
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:04 <shubshub> Sgeo do u know any brainfuck?
08:42:10 <pikhq_> shubshub: Do you speak Funge 98?
08:42:10 <japh> yah he does
08:42:13 <Sgeo> japh?
08:42:16 <shubshub> pik no
08:42:22 <japh> i forget who you know me as
08:42:32 <japh> derp
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:01 <pikhq_> shubshub: Well, true.
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:43:56 <shubshub> Its too concusing
08:44:08 <japh> your future in engineering dims
08:44:49 <shubshub> Nope
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:45:54 <shubshub> Sgeo can i pm you
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:13 <shubshub> :(
08:46:36 -!- azaq23 has joined.
08:46:43 <shubshub> `anonlog !!!Batch
08:46:47 -!- azaq23 has quit (Max SendQ exceeded).
08:47:16 <HackEgo> No output.
08:47:18 <shubshub> How Would I Make BrainFuck Convert Stuff To !!!Batch?
08:47:38 <shubshub> `anonlog brainfuck batch
08:47:55 <HackEgo> 2012-04-30.txt:08:47:38: `anonlog brainfuck batch
08:48:09 <shubshub> `pastlog
08:48:23 <HackEgo> shuf: memory exhausted
08:48:30 <Sgeo> shubshub, you mean, write something in Brainfuck to convert.... something else to !!!Batch?
08:48:35 <shubshub> yea
08:48:36 <Sgeo> Or convert brainfuck code to !!!Batch?
08:48:43 <shubshub> First one
08:48:58 <shubshub> What was the code itidus20 used?
08:49:09 <japh> step 1, give up
08:49:17 <shubshub> no japh fuck you
08:50:01 <shubshub> Want it to convert text to batch
08:50:16 <shubshub> ^addhi
08:50:22 <Sgeo> "text"?
08:50:22 <shubshub> ^bf
08:50:28 <shubshub> Yes
08:50:34 <Sgeo> What do you mean, "text"?
08:50:41 <Sgeo> Everything in here is text
08:50:47 <japh> not me
08:50:51 <Sgeo> Including !!!Batch code
08:50:51 <shubshub> Like "Hello"
08:50:58 <shubshub> no
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:52:52 <japh> in brainfuck
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:55:37 <shubshub> Sgeo what do u mean?
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:21 <shubshub> Yea
08:56:27 <shubshub> Pretty Much
08:56:37 <Sgeo> There are easier ways than that
08:56:44 <shubshub> o_O
08:56:49 <shubshub> There are!?
08:57:14 <shubshub> ^ul
08:57:19 <shubshub> ^help ul
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:41 <shubshub> What is ul btw?
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:01 <shubshub> Is it easy to learn?
08:58:11 <Sgeo> shubshub, basically, every character is a number
08:58:16 <shubshub> yea
08:58:21 <shubshub> I Know
08:58:29 <shubshub> its called ASCII Values
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:00:58 <shubshub> Ah for the brainfuck code
09:01:14 <Sgeo> I'm. not. talking. about. Brainfuck. right. now.
09:01:25 <shubshub> Ok
09:01:52 <Sgeo> shubshub, !!!Batch uses + to indicate capital letters, correct?
09:01:53 <shubshub> !Fuck!Batch
09:01:57 <shubshub> Yes
09:02:19 <shubshub> ?!? = a ?!+? = A
09:02:20 <lambdabot> Plugin `compose' failed with: Unknown command: "!+?"
09:02:28 <shubshub> ?help
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:41 <shubshub> yea
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:02:58 <shubshub> Alright
09:03:01 <Sgeo> So, when converting !!!Batch to decoded text, check for whether + is present
09:03:12 <shubshub> Ok
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:03:57 <shubshub> Yea
09:04:07 <shubshub> if var == othervar
09:05:10 <shubshub> ?list
09:05:10 <lambdabot> http://code.haskell.org/lambdabot/COMMANDS
09:06:04 <shubshub> ?bf
09:06:05 <lambdabot> Done.
09:06:11 <shubshub> ?bf Hello
09:06:11 <lambdabot> Done.
09:06:16 <shubshub> ?dice
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:27 <shubshub> ?dice 10
09:06:27 <lambdabot> 10 => 10
09:06:35 <shubshub> ?dice 5
09:06:35 <lambdabot> 5 => 5
09:06:42 <shubshub> What do u mmean
09:06:49 <shubshub> ?dice 5-5
09:06:49 <lambdabot> unexpected "-": expecting digit, "d", "+" or end
09:07:00 <shubshub> ?dice 5+
09:07:00 <lambdabot> unexpected end of input: expecting number
09:07:09 <shubshub> ?dice 5+3
09:07:10 <lambdabot> 5+3 => 8
09:07:19 <Sgeo> shubshub, nevermind
09:07:38 <shubshub> 1.3 is written in Batch
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:08:40 <Sgeo> Is it | or =
09:09:04 <shubshub> Its =
09:09:22 <Sgeo> Because 1.3 has |
09:09:25 <Sgeo> Why the change?
09:09:38 <shubshub> Because | doesnt work in 1.3
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:32 <shubshub> o_O
09:15:35 <shubshub> WHAT!
09:15:45 <shubshub> Why did nobody tell me this
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:05 <shubshub> No
09:16:15 <shubshub> Its Not Really
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:31 <Sgeo> >def
09:18:34 <Sgeo> oops
09:18:38 <Sgeo> ^def
09:18:46 <Sgeo> Bleh
09:18:49 <shubshub> ^def
09:18:56 <shubshub> ^def ggg
09:18:56 <fungot> Usage: ^def <command> <lang> <code>
09:19:20 <shubshub> ^def ggg bf +++>>>.
09:19:20 <fungot> Defined.
09:19:25 <shubshub> ^ggg
09:19:43 <Sgeo> shubshub, do you understand what that should output, and why?
09:19:51 <shubshub> ^def ggg bf >>>+++++++.
09:19:51 <fungot> Defined.
09:19:55 <shubshub> ^ggg
09:19:55 <fungot>
09:20:01 <shubshub> :D
09:20:12 <shubshub> I MADE IT OUTPUT SUMFING
09:20:29 <shubshub> !bf_txtgen Hello World!
09:20:31 <Sgeo> And I am forcing myself to go to sleep right now.
09:21:25 <shubshub> !bf_txtgen h
09:21:31 <shubshub> ....
09:21:34 <shubshub> Wtf
09:21:39 <shubshub> Stupid bot
09:21:53 <shubshub> !bf_txtgen Hello World
09:22:08 <shubshub> ^help
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:22:15 <shubshub> !help
09:22:34 <shubshub> WHY IS IT NOT WORKING
09:22:45 <shubshub> OMF
09:22:50 <shubshub> OMFG
09:23:04 <shubshub> ?bf_txtgen hello
09:23:04 <lambdabot> Unknown command, try @list
09:23:11 <shubshub> !bf
09:23:23 <shubshub> WTF
09:23:37 <shubshub> !bf_txtgen Hello World!
09:23:53 <shubshub> someone else try it
09:25:17 <Sgeo> ^bf_txtgen hello
09:25:30 <Sgeo> Hmm, darn
09:25:32 <shubshub> ^def hWorld bf >+++++++++[<++++++++>-]<.>+++++++[<++++>-]<+.+++++++..+++.[-] >++++++++[<++++>-] <.>+++++++++++[<++++++++>-]<-.--------.+++ .------.--------.[-]>++++++++[<++++>- ]<+.[-]++++++++++.
09:25:32 <fungot> Defined.
09:25:39 <shubshub> ^hWorld
09:25:39 <fungot> Hello world!.
09:25:41 <Sgeo> Would have been amusing if it worked
09:25:47 <Sgeo> Why am I still awake
09:25:50 <shubshub> ^hWorld
09:25:50 <fungot> Hello world!.
09:25:54 <shubshub> :D
09:25:59 <shubshub> Im Amused
09:27:45 <shubshub> ^hWorld Hello
09:27:45 <fungot> Hello world!.
09:28:44 <shubshub> :D
09:30:47 <fizzie> It already *has* a silly "hello, world" command.
09:30:47 <fizzie> ^hw
09:30:48 <fungot> Hello World!
09:30:57 -!- shubshub has quit (Remote host closed the connection).
09:32:11 -!- shubshub has joined.
09:32:20 <shubshub> ^hworld
09:32:30 <shubshub> ^hWorld
09:32:30 <fungot> Hello world!.
09:32:42 <shubshub> !bf_txtgen Hi
09:34:03 <shubshub> ^bf >+++++>++++>+++>++>+>.
09:34:25 <shubshub> ^bf >+++++<++++<+++<+++.
09:34:25 <fungot>
09:39:27 <shubshub> ^bf >+<.
09:39:49 <shubshub> !help
09:40:07 <shubshub> !seen
09:40:38 <shubshub> $help
09:40:47 <shubshub> `bots
09:40:50 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bots: not found
09:41:02 <shubshub> `bf_txtgen Hello
09:41:05 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bf_txtgen: not found
09:41:21 <shubshub> "help
09:41:21 <shubshub> 'help
09:41:26 <shubshub> ?help
09:41:26 <lambdabot> help <command>. Ask for help for <command>. Try 'list' for all commands
09:41:32 <shubshub> +help
09:41:36 <shubshub> #help
09:41:53 <shubshub> %help
09:41:53 <shubshub> &help
09:41:53 <shubshub> *help
09:41:53 <shubshub> !help
09:42:08 <shubshub> ^help
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:42:21 <shubshub> ^bool
09:42:21 <fungot> Yes.
09:42:33 <shubshub> ^bool Are You Gay?
09:42:39 <shubshub> ^bool
09:42:39 <fungot> No.
09:42:47 <shubshub> Are you sure?
09:42:51 <shubshub> ^bool
09:42:51 <fungot> No.
09:43:04 <shubshub> Well are you gay??
09:43:08 <shubshub> ^bool
09:43:08 <fungot> Yes.
09:43:11 <shubshub> Lol!
09:43:31 <shubshub> ^show hWorld;
09:43:36 <Sgeo> Hooray for using "gay" as a pejorative?
09:43:41 <Sgeo> Why am I awake.
09:43:43 <shubshub> Lol
09:43:50 <shubshub> Sgeo do ^hWorld
09:44:04 <Sgeo> How about no.
09:44:10 <shubshub> Please
09:44:27 <Sgeo> You already know what it's going to o
09:44:27 <Sgeo> do
09:44:56 <shubshub> So
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:53:38 <Taneb> Hello again
09:53:45 <shubshub> Taneb do ^hWorld
09:53:50 <Taneb> Nah
09:53:54 <shubshub> Please
09:54:18 <Taneb> Nah
09:54:29 <shubshub> Just Try it please :(
09:54:29 <shubshub> I Taught fung something
09:54:29 <shubshub> !bf_txtgen hi
09:54:36 <Taneb> :(
09:54:36 <shubshub> Prease
09:54:41 <shubshub> Cmon
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:55:28 <Taneb> Hmm
09:56:14 <shubshub> Please
09:56:46 <Taneb> No!
09:56:52 <shubshub> Why
09:56:56 <Taneb> Because!
09:56:58 <Taneb> It's stupid!
09:56:59 <shubshub> its not going to hurt anyone
09:57:03 <shubshub> ill do it then
09:57:04 <Taneb> It's just a hello world program!
09:57:08 <shubshub> ^hWorld
09:57:08 <fungot> Hello world!.
09:57:23 <Taneb> ^ul (Hello world!)S
09:57:23 <fungot> Hello world!
09:58:19 <shubshub> ^ul (Hi)S
09:58:19 <fungot> Hi
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:00 <fungot> Defined.
10:00:14 <shubshub> ^whois
10:00:14 <fungot> Hello I am fungot I am created in befunge 98 I can interpret brainfuck and underload
10:00:21 <shubshub> :D
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:00 <fungot> Defined.
10:01:02 <Taneb> ^whois
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:01:20 <shubshub> that sounds better
10:02:21 <shubshub> that will help newbies :)
10:03:48 <shubshub> ^whois
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:00 <shubshub> I'm Amused
10:04:47 <shubshub> !bf_txtgen WHY ISNT THIS WORKING
10:06:34 <Taneb> ^bf_txtgen test
10:06:56 <shubshub> its !
10:07:03 <shubshub> ?!?!!!?!
10:07:03 <lambdabot> Unknown command, try @list
10:07:08 <shubshub> ?!?
10:07:12 <Taneb> I was just trying something
10:07:29 <shubshub> Lol kk
10:07:57 <shubshub> ^help
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:08:30 <shubshub> `run echo ^help
10:08:32 <HackEgo> ​^help
10:08:39 <shubshub> lol
10:08:54 <shubshub> ^show ^bf
10:09:04 <shubshub> ^show bf;
10:09:13 <shubshub> ^show ^bf;
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:24 <fungot> Defined.
10:10:31 <shubshub> ^welcome
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:22 <shubshub> go play dwarf fortress then
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:01 <shubshub> He Wont Know
10:13:09 <Taneb> Yes he will
10:13:29 <shubshub> How
10:13:37 <Taneb> BECAUSE HE LOGREADS
10:13:41 <shubshub> Do you 2 know each other irl?
10:13:49 <Taneb> No
10:13:51 <Taneb> Emphatically no
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:14:33 <shubshub> What do you mean
10:14:42 <Taneb> Nevermind.
10:15:18 <shubshub> ^def elliott ul (Taneb was gonna play dwarf fortress without elliott watching :O)S
10:15:18 <fungot> Defined.
10:15:26 <shubshub> ^elliott
10:15:26 <fungot> Taneb was gonna play dwarf fortress without elliott watching :O
10:15:32 <Taneb> ^undef elliott
10:15:38 <Taneb> ^help
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:39 <shubshub> noooo
10:15:54 <shubshub> ^elliott
10:15:54 <fungot> Taneb was gonna play dwarf fortress without elliott watching :O
10:15:59 <shubshub> :D
10:16:00 <Taneb> ^def elliott ul ()S
10:16:00 <fungot> Defined.
10:16:16 <Taneb> @tell shubshub that's what @tell is for
10:16:16 <lambdabot> Consider it noted.
10:16:23 <shubshub> NOOB
10:16:23 <lambdabot> shubshub: You have 1 new message. '/msg lambdabot @messages' to read it.
10:16:24 <shubshub> ^elliott
10:16:27 <shubshub> ...
10:16:43 <shubshub> @messages
10:16:43 <lambdabot> Taneb said 27s ago: that's what @tell is for
10:16:50 <shubshub> thats nice
10:17:14 <shubshub> @tell elliott Taneb was gonna play dwarf fortress without you watching
10:17:15 <lambdabot> Consider it noted.
10:17:49 <shubshub> :D
10:18:29 <shubshub> ^ping
10:18:29 <shubshub> ^def ping ul (pong!)S
10:18:29 <shubshub> ^ping
10:18:29 <fungot> Defined.
10:18:29 <fungot> pong!
10:18:34 <shubshub> :)
10:18:54 <shubshub> @help
10:18:54 <lambdabot> help <command>. Ask for help for <command>. Try 'list' for all commands
10:18:58 -!- nortti has joined.
10:18:59 <shubshub> @def
10:18:59 <lambdabot> Maybe you meant: bf do let
10:19:10 <shubshub> nortti do ^who
10:19:18 <nortti> ^whho
10:19:23 <nortti> ^who
10:19:27 <Taneb> It was ^whois, iirc
10:19:32 <shubshub> oops
10:19:39 <shubshub> do ^whois
10:19:40 <nortti> ^whois
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:19:47 <shubshub> :D
10:20:06 <shubshub> me and Taneb thought of it :)
10:20:20 <shubshub> ^hWorld
10:20:20 <fungot> Hello world!.
10:20:23 <Taneb> shubshub thought of it, I was annoyed by shubshub's attempt and improved it
10:20:32 <shubshub> pretty much
10:21:54 -!- cheater__ has joined.
10:23:43 <shubshub> ^hWorld
10:23:43 <fungot> Hello world!.
10:23:43 <shubshub> wrote that one myself in brainfuck
10:23:52 <shubshub> Hi fungot
10:23:52 <fungot> shubshub: oznaczono jako spam
10:24:16 <nortti> Hi fungot
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:25:01 <fungot> Defined.
10:25:02 <shubshub> ^fungot
10:25:02 <fungot> Me :D I'm fungot
10:26:10 <shubshub> ^fungot
10:26:10 <fungot> Me :D I'm fungot
10:26:30 <nortti> ^fungot
10:26:30 <fungot> Me :D I'm fungot
10:26:49 <shubshub> :D
10:28:38 <shubshub> ^whois I love this command :)
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:08 <fungot> Defined.
10:29:13 <nortti> ^fungot
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:28 <fungot> Defined.
10:29:29 <nortti> ^fungot
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:35 <shubshub> WHAT THE FUCK MAN
10:30:57 <nortti> I don't want to fuck man
10:31:04 <shubshub> gtg now cya
10:31:04 -!- shubshub has quit (Quit: R.I.P).
11:02:06 <coppro> git://git.sv.gnu.org/lilypond.git/
11:02:08 <coppro> err
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:53 <Gregor> Wow, wtf.
11:05:59 <Gregor> That is one crazy checkout command.
11:09:30 <nortti> @pång
11:09:30 <lambdabot> pong
11:09:38 <coppro> Gregor: it's git clone
11:09:40 <coppro> the hard way
11:12:18 <nortti> @pasdfong
11:12:18 <lambdabot> Unknown command, try @list
11:12:30 <nortti> @pqwong
11:12:30 <lambdabot> Unknown command, try @list
11:12:39 <nortti> @list
11:12:39 <lambdabot> http://code.haskell.org/lambdabot/COMMANDS
11:13:16 <nortti> `pastefortunes
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:15:50 <nortti> ,' ,' | |
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 <Taneb> fungot
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:34 <Taneb> "AUSTRALIA MOVES"
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:27:34 <Taneb> 13/1kB/s
13:27:40 <Taneb> This is slow
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:35:55 <Taneb> Hello
14:37:36 <Lumpio-> Greetings.
14:38:42 <Taneb> elliott: why are you not online?
14:38:45 <Taneb> Are you asleep?
14:38:58 <Taneb> Why are you asleep!? It's three thirty eight!
14:39:09 <Taneb> Three thirty nine, even!
14:39:12 <Taneb> In the day!
14:39:28 <Taneb> I know what you're thinking, the answer's on my user pagr
14:39:33 <Taneb> s/gr/he/
14:39:39 <Taneb> s/he/ge/
14:39:51 <Taneb> Aaaargh
14:44:55 <fizzie> Seventeen, not three.
14:45:26 <Taneb> Time zones, fizzie
14:45:29 <Taneb> Time zones.
14:45:35 <Taneb> I suggest you come to this one, it's the best!
14:45:35 <fizzie> Zime tones.
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:47:14 <Taneb> And can't escape
14:47:56 <Taneb> Any advice?
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:06:34 <Taneb> Hello
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:16:40 <Taneb> Hmm...
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:26:58 <Sgeo> Well, no
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:26 <Sgeo> o.O
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:30 <ais523> yep
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:04 <ais523> (former CEO of Sun)
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:33:58 <elliott> that's just ridiculous
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:40 <Taneb> Hello
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:34:43 <ais523> hi Taneb
18:35:26 <elliott> ais523: meh, what's the problem? vagabond handles spectating just fine
18:35:50 <elliott> *just fine
18:35:51 <ais523> elliott: spectators can run commands in the game they're spectating
18:35:56 <ais523> to see inventory, etc
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:09 <elliott> better than nothing
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:37:42 <elliott> maybe...
18:38:10 <elliott> Taneb: perhaps
18:38:15 <elliott> "guess ill watch" --elliotte
18:39:18 -!- Slereah has quit (Ping timeout: 260 seconds).
18:39:25 <Taneb> Playing
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:42:53 <Gregor> elliott: with works.
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:11 <elliott> How does it work, then?
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:46:58 <elliott> Or at all, really.
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:52:45 <Taneb> That was fast
18:52:52 <elliott> Gregor: Yeah.
18:53:02 <elliott> Gregor: Which is nice, 'cuz the whole "directory tree full of symlinks" thing is ugly as hell :P
18:53:18 * Gregor nods sagely.
18:54:27 <elliott> ais523: hey, is IVAN worth playing?
18:57:28 <ais523> elliott: I don't konw
18:57:30 <ais523> *know
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:32 <Taneb> elliott, no
18:58:38 <elliott> Lame
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:08:24 <elliott> *reminder?
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:20:47 <elliott> Taneb: wtf
19:20:52 <elliott> what's that X and W crap
19:21:09 <Taneb> Depot access
19:21:28 <Taneb> Traders bring caravans now, I was checking if they could get to my trade depot
19:21:35 <elliott> ah
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:22:19 <elliott> no, it's fine
19:22:21 <elliott> i was just curious
19:22:46 <ais523> elliott: what is it?
19:23:04 <Taneb> Some weird guy who may not exist
19:23:07 <Taneb> lives in Hexham
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:24:59 <elliott> ais523: good question
19:25:08 <elliott> I think I like the latter better
19:25:11 <elliott> but I'm not sure
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:12 <elliott> *find
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:31 <shubshub> ^whois
19:33:46 <shubshub> hi fungot
19:33:46 <fungot> shubshub: someone once said stalin is ( was) a bolshevik revolutionary and the second srfi-1 should have been
19:33:54 <shubshub> ^whois
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 <ais523> ^style
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:34:51 <ais523> thought so
19:34:52 <shubshub> ^whois
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:49 <shubshub> I defined it yesterday
19:35:59 <ais523> oh, probably rebooted, then
19:36:08 <ais523> definitions don't stick around forever
19:36:09 <shubshub> Awww
19:36:16 <elliott> they do if fizzie ^saves
19:36:23 <shubshub> Can't it stay permanant?
19:36:43 <shubshub> ^save
19:36:54 <shubshub> ^saves
19:36:54 <shubshub> lol
19:37:44 -!- KingOfKarlsruhe has quit (Quit: ChatZilla [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:08 <fungot> Defined.
19:38:14 <shubshub> ^whois
19:38:14 <fungot> Hello! I'm fungot as well as keeping up with conversations I can also interpret Brainfuck! and Underload!
19:38:41 <shubshub> There we go
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:28 <shubshub> wtf
19:39:40 <shubshub> lambdabot can talk
19:39:41 <ais523> shubshub: brainfuck doesn't start with a capital B, except at the start of a sentence
19:39:51 <elliott> Hmm, who was that?
19:39:53 <shubshub> so
19:39:57 <elliott> shachaf doesn't talk like that.
19:41:46 <elliott> shachaf: Was that you?
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:24 <shubshub> o_O admin bug?
19:42:36 <elliott> Hi oerjan; we have a mystery.
19:42:50 <oerjan> hi elliott
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:14 <oerjan> dun dun dun
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 <oerjan> ^help
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:46:29 <shubshub> ^whois
19:46:29 <fungot> You is.
19:46:55 <shubshub> ^whois <--- hi
19:46:55 <fungot> You is.
19:47:24 <shubshub> ...
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:24 <shubshub> ^kick
19:50:27 <ais523> it's sort-of like using a VCS when what you really need is a wiki, or vice versa
19:53:47 <Taneb> Gonna stop now
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:21 <elliott> err
19:54:22 <elliott> s/dc/nc/
19:54:31 <elliott> (and s/nc/netcat/, perhaps)
19:55:12 <shachaf> elliott: ?
19:55:24 <elliott> shachaf: lambdabot said something and it wasn't me and I don't know who it was. :(
19:55:30 <shachaf> It was probably me.
19:55:32 <shachaf> When was it?
19:55:32 <elliott> 20:39 <lambdabot> bots shouldn't talk like that. it ain't right.
19:55:38 <elliott> Just now.
19:55:42 <shachaf> Yep. Definitely me.
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:49 <kmc> wasn't me
19:56:50 <elliott> @admin - shachaf
19:56:53 <shachaf> Anyway you beeped my name.
19:56:54 <elliott> :'(
19:57:03 <elliott> I wish lambdabot let you list the admins.
19:57:31 <lambdabot> i wish so too.
19:57:54 <elliott> @admin - quintopia
19:57:59 <elliott> @admin - absentswett
19:58:03 <elliott> @admin - fizzie
19:58:12 <elliott> It should error out if you de-admin someone who isn't an admin.
19:58:14 <elliott> lambdabot is terrible.
19:58:14 <shachaf> None of those people are @admins...
19:58:25 <elliott> shachaf: How do you know?
19:58:33 <shachaf> Good point.
19:58:49 <shachaf> elliott: Was it you?
19:58:54 <shachaf> It was probably you.
19:58:57 <elliott> No. (I knew you'd say that.)
19:59:07 <shachaf> ((I knew you'd say that.))
20:01:24 <lambdabot> It was shachaf.
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:45 <mroman_> ^- Öhm?
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:16:35 <elliott> no shit
20:19:04 <japh> it needs an Unimplemented tag
20:19:21 <japh> oklo's
20:19:42 <shachaf> Wow, kmc would thoroughly enjoy that article.
20:20:31 <elliott> which one :)
20:20:48 <elliott> japh: How do you *know* it's not implemented?
20:21:37 <elliott> Potions
20:21:37 <elliott> b - a potion of brilliance
20:21:37 <elliott> d - a potion of paralysis
20:21:38 <elliott> e - a potion of confusion
20:21:40 <elliott> h - 2 potions of levitation
20:21:42 <elliott> Oh, come on.
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:35:41 <elliott> right
20:35:47 <elliott> I only have 56 HP, so...
20:36:01 <ais523> so kill it at 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:31 <elliott> goodnight? it's 21:36!
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:38:25 <elliott> great...
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:44 <elliott> fair enough
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:54:42 <elliott> what
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:08:49 <elliott> wh...
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:26 <elliott> 9/3/3
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:55:54 <shachaf> > 9/3/3
22:55:55 <lambdabot> 1.0
22:56:01 <shachaf> elliott: 1.
22:56:04 <shachaf> elliott: 1.0
22:56:27 * shachaf isn't a very good λ⊥
22:56:52 -!- derdon has quit (Remote host closed the connection).
22:58:40 <elliott> λ⊥?
22:58:52 <shachaf> \lambda \bot
22:58:59 <kmc> haha
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:01:27 <elliott> Right?
23:02:00 <shachaf> Right? More like wrong.
23:02:02 <shachaf> Right?
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:02:54 <shachaf> I may have missed an 'n'.
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:07 <elliott> vomit
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:46 * shachaf oughtn't assume.
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:05 <kmc> ;.;
23:12:20 * shachaf hasn't used Coq at all.
23:12:23 <shachaf> Maybe I should.
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:38 <elliott> *to.
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:17 <shachaf> coq > agda
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:14:38 <shachaf> CHECKMATE
23:15:01 <shachaf> whoa, man, coq is a 50MB download?
23:15:25 <shachaf> Excuse me, 70MB.
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:16:50 <elliott> *first "."
23:16:53 <shachaf> TOO MANY PARENTHESES HELP
23:16:59 <elliott> You can, e.g. do
23:17:04 <elliott> Definition foo := ... .
23:17:05 <elliott> and then
23:17:06 <elliott> Print foo.
23:17:08 <elliott> (in the buffer)
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:35 <elliott> Dunno.
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:37 <shachaf> Let me guess.
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:20:01 <shachaf> HA HA EMACS HUMOUR.
23:20:44 <shachaf> OH BOY! 15 kB/s!
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:25 <shachaf> Or kmc.
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:35 <elliott> ewww
23:24:37 <elliott> Don't do that.
23:24:40 <elliott> That's not how you do propositions.
23:24:40 <shachaf> copumpkin suggested that definition.
23:24:43 <elliott> Really?
23:24:46 <elliott> copumpkin is gross. :(
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:24:53 <elliott> *version.
23:24:54 <elliott> I guess.
23:24:57 <elliott> But... eeeh.
23:25:03 <elliott> shachaf: You want to be doing propositions by defining ADTs.
23:25:11 <shachaf> Why?
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:32 <elliott> And also,
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:02 <shachaf> Or something like that.
23:26:14 <shachaf> elliott: Wait, booleans?
23:26:23 <shachaf> Even : ℕ → Set
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:15 <elliott> Back
23:29:25 <shachaf> Arm
23:29:32 <elliott> shachaf: By boolean, I mean flattening everything to true or false.
23:29:35 <elliott> More justification:
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:42 <elliott> vs.
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:38 <elliott> To use, I mean.
23:31:46 <elliott> Though I may be wrong.
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:33:33 <shachaf> Why not. :-(
23:33:36 <elliott> Because ew.
23:33:40 <shachaf> Huh?
23:33:40 <elliott> Call it half.
23:33:42 <elliott> Or halve.
23:33:54 <shachaf> have
23:34:00 <shachaf> have n En + have n En = n
23:34:17 <shachaf> Anyway, what general-purpose definition of evenness ought I use?
23:34:32 <elliott> I already gave you one!
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:30 <shachaf> > even 7
23:35:31 <lambdabot> False
23:35:33 <kmc> shachaf: Software Foundations?
23:35:38 <shachaf> kmc: ?
23:35:47 <kmc> is the thing i tell people to read to learn about coq / pl / proofs
23:35:52 <shachaf> Oh.
23:36:22 <elliott> kmc: Is CPDT any good?
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:42 <kmc> ohh
23:37:44 <kmc> that thing is fun too
23:37:55 <elliott> Oh, that is awesome.
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:01 <kmc> aw3som3
23:38:03 <elliott> I love Anarchy Golf.
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:36 <shachaf> That's right, 0x$0.20
23:39:47 <kmc> congrats shachaf
23:40:09 <elliott> It has your name wrong.
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:23 <elliott> ais523: yep
23:41:30 <ais523> ouch
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.
23:57:32 <shachaf> Yay, Coq is installed.
23:59:15 <elliott> Yay, I died. :(
←2012-04-29 2012-04-30 2012-05-01→ ↑2012 ↑all