←2014-08-06 2014-08-07 2014-08-08→ ↑2014 ↑all
00:00:53 -!- yorick has quit (Remote host closed the connection).
00:41:07 -!- shikhout has joined.
00:44:22 -!- shikhin has quit (Ping timeout: 272 seconds).
00:59:27 -!- Phantom_Hoover has quit (Remote host closed the connection).
01:03:19 -!- MindlessDrone has quit (Ping timeout: 256 seconds).
01:09:14 <oerjan> > let repl1 x n = x:replicate (n-1) x in fix $ concat . zipWith repl1 (cycle [1,2])
01:09:19 <lambdabot> mueval-core: Time limit exceeded
01:09:24 <oerjan> hmph
01:15:01 -!- MindlessDrone has joined.
02:03:17 <Sgeo> So, I'm being asked to interview someone soon
02:03:25 -!- shikhout has quit (Ping timeout: 255 seconds).
02:03:32 <Sgeo> I'm trying to think of questions, but I wonder if they're too ... trivia-ish...
02:15:27 -!- zzo38 has joined.
02:51:56 <quintopia> interview for what position?
03:03:55 <Sgeo> web developer, mostly just helping with bugfixes
03:05:55 <quintopia> then the obvious thing to do is give them a piece of buggy code
03:06:05 <quintopia> like yahoo's foo.js
03:06:39 <quintopia> see if they can identify the bugs from the listing and write up a fix for them
03:09:38 <Sgeo> Haven't heard of yahoo foo.js before
03:09:52 <Sgeo> And Google isn't helpful
03:10:34 <Sgeo> We could use actual bugs we've fixed I guess, if we have simple ones
04:25:30 -!- realzies has quit (Ping timeout: 250 seconds).
04:26:11 -!- augur has quit (Read error: Connection reset by peer).
04:31:02 -!- elliott_ has joined.
04:31:05 -!- oerjan_ has joined.
04:34:08 -!- atriq has joined.
04:34:10 -!- diginet_ has joined.
04:35:14 -!- qlkzy_ has joined.
04:35:35 -!- oerjan has quit (*.net *.split).
04:35:38 -!- qlkzy has quit (*.net *.split).
04:35:39 -!- elliott has quit (*.net *.split).
04:35:41 -!- idris-bot has quit (*.net *.split).
04:35:48 -!- erdic has quit (*.net *.split).
04:35:57 -!- diginet has quit (*.net *.split).
04:36:02 -!- Taneb has quit (*.net *.split).
04:36:05 -!- lifthrasiir has quit (*.net *.split).
04:36:33 -!- erdic has joined.
04:37:34 -!- realzies has joined.
04:39:02 -!- lifthrasiir has joined.
05:09:32 -!- Sgeo has quit (Ping timeout: 240 seconds).
05:14:47 -!- oerjan_ has changed nick to oerjan.
05:29:31 -!- MoALTz_ has joined.
05:32:03 -!- MoALTz__ has quit (Ping timeout: 240 seconds).
06:12:08 -!- Sgeo has joined.
07:13:09 <Sgeo> If I ever again doubt why pure profunctor lenses are better in a strict environment than van Laarhoven lenses, remind me that the pure profunctor lenses may automatically be giving me apporpriate laziness
07:13:28 <shachaf> Pure profunctor lenses are the best.
08:04:09 -!- augur has joined.
08:14:21 -!- mhi^ has joined.
08:32:15 -!- Patashu has joined.
09:00:53 -!- atriq has changed nick to Taneb.
09:25:46 -!- TieSoul has quit (Ping timeout: 255 seconds).
10:16:13 -!- Phantom_Hoover has joined.
10:20:02 -!- oerjan has quit (Quit: leaving).
11:05:45 -!- Phantom_Hoover has quit (Remote host closed the connection).
11:12:06 -!- Phantom_Hoover has joined.
11:13:53 -!- nooodl has joined.
11:14:04 -!- nooodl has quit (Read error: Connection reset by peer).
11:15:01 -!- mhi^ has left.
11:18:10 -!- TieSoul has joined.
11:19:40 -!- nooodl has joined.
12:01:28 -!- Sgeo has quit (Read error: Connection reset by peer).
12:08:28 -!- yorick has joined.
12:21:49 <fizzie> Random trivia fact: in the Finnish translation of William Gibson's Neuromancer, the "Turing cops" (who watch over AIs) are translated as "Torinon kytät", lit. "the cops of Torino", after the Italian name of http://en.wikipedia.org/wiki/Turin
12:35:10 -!- nooodl has quit (Quit: Leaving).
12:35:56 -!- nooodl has joined.
12:40:29 <TieSoul> That's pretty dumb.
12:42:18 <fizzie> For the longest time, I thought they just happened to have their HQ in Turin or something.
12:49:26 <b_jonas> heh
13:05:23 -!- augur has quit (Ping timeout: 240 seconds).
13:06:05 -!- Phantom_Hoover has quit (Remote host closed the connection).
13:06:43 -!- nooodl has quit (Quit: Leaving).
13:10:51 * impomatic_ needs to read Neuromancer again...
13:15:02 <Taneb> fizzie, what's a fun research paper that everyone should read?
13:15:14 <fizzie> I assume you've read the Shannon one?
13:15:32 <Taneb> If I have I don't know it by that name
13:15:40 <fizzie> A Mathematical Theory of Communication.
13:15:53 <Taneb> I don't think I have
13:16:10 <fizzie> http://www3.alcatel-lucent.com/bstj/vol27-1948/articles/bstj27-3-379.pdf
13:16:14 <fizzie> It's famous, at least.
13:16:42 <fizzie> And influential. The "fun" aspect might be debatable.
13:17:06 <fizzie> There's a bit of fungot-speak in it, that's fun.
13:17:07 <fungot> fizzie: or is it more to my taste than cl does some similar kind of cases
13:20:56 <fizzie> It tends to pop up on those "important papers in CS and related fields" lists, along with the Turing one.
13:23:33 <Taneb> I ask because I have printer credit to use up
13:24:28 <fizzie> I know something about the classics (and good recent reviews) of speech stuff (and maybe some machine learning staples), but I don't think any of those really fall into "everyone should read" category.
13:24:51 -!- yorick_ has joined.
13:24:55 <Taneb> How about "might be interesting to Taneb" category
13:25:03 <fizzie> I don't know what you're interested in.
13:25:14 -!- augur has joined.
13:25:31 <Taneb> Well, neither do I, for the most part
13:25:37 -!- yorick has quit (Ping timeout: 255 seconds).
13:27:12 <fizzie> Individual famous algorithms can be a fun read, perhaps. There's any number to choose from.
13:28:28 -!- Patashu has quit (Ping timeout: 250 seconds).
13:28:54 <fizzie> http://en.wikipedia.org/wiki/List_of_important_publications_in_theoretical_computer_science has quite a few things that sound plausible.
13:29:05 <fizzie> (And it's not such a terribly long list.)
13:46:52 -!- Phantom_Hoover has joined.
14:03:18 <TieSoul> I'm making a little Mycology-like test suite for some fingerprints that aren't in Mycology :P
14:27:45 -!- mihow has joined.
14:32:04 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds).
14:34:00 -!- Phantom_Hoover has joined.
14:38:47 -!- mihow has quit (Quit: mihow).
14:40:55 -!- oerjan has joined.
14:52:49 -!- yorick_ has changed nick to yorick.
14:57:09 -!- mhi^ has joined.
14:57:35 <TieSoul> This is what I've got so far: http://bpaste.net/show/bwcFMj6vcyhvMyhwstWq/
14:58:24 <TieSoul> oops, it still doesn't work right
14:58:25 <TieSoul> :P
14:59:23 <TieSoul> http://bpaste.net/show/iGTKPBIvpWpjPsrzsx4h/ think I fixed it
14:59:35 <TieSoul> ...no I didn't
15:00:49 <TieSoul> http://bpaste.net/show/6ASOe0ccG6ok8kuaxI52/ this one is fixed
15:01:28 <TieSoul> though it doesn't work if you don't have IMTH
15:03:14 <TieSoul> http://bpaste.net/show/KoCfMK1c8GKPkGnBxnPo/ this one should work if you don't have IMTH :P
15:03:31 <TieSoul> sorry for posting so much I just failed making Befunge code and wanted to rectify it :P
15:04:28 <TieSoul> http://bpaste.net/show/onmp6DNdhWnzHzRdwlCj/ I found ANOTHER failure in the code and fixed it. This one should work. :P
15:06:05 -!- augur has quit (Quit: Leaving...).
15:10:44 <TieSoul> nope, it goes into an infinite loop of saying " Not l " if you don't have it :S
15:11:52 <TieSoul> ... I don't see why it would do that.
15:12:22 <TieSoul> oh whoops I had the old version saved
15:12:24 <TieSoul> nevermind
15:14:05 <TieSoul> I like how bpaste has befunge syntax highlighting.
15:15:50 -!- augur has joined.
15:24:29 -!- Tritonio has joined.
15:42:52 -!- TieSoul_ has joined.
15:43:12 -!- TieSoul has quit (Ping timeout: 255 seconds).
15:43:34 -!- Tritonio has quit (Ping timeout: 250 seconds).
15:46:25 -!- mhi^ has quit (Quit: Lost terminal).
15:50:10 -!- mihow has joined.
15:56:49 -!- TieSoul_ has changed nick to TieSoul.
15:57:29 -!- mhi^ has joined.
16:04:40 -!- qlkzy_ has changed nick to qlkzy.
16:12:54 <HackEgo> [wiki] [[User talk:Rdebath]] http://esolangs.org/w/index.php?diff=40270&oldid=40260 * Oerjan * (+199) plainly so
16:23:09 -!- Tritonio has joined.
16:26:24 -!- TieSoul has quit (Ping timeout: 255 seconds).
16:32:55 -!- nooodl has joined.
16:37:02 -!- TieSoul has joined.
16:41:34 -!- Phantom__Hoover has joined.
16:42:18 -!- Sprocklem has quit (Quit: ttyl).
16:43:33 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds).
17:00:40 -!- oerjan has quit (Quit: leaving).
17:01:58 -!- mhi^ has quit (Quit: Lost terminal).
17:03:47 -!- mhi^ has joined.
17:46:54 <TieSoul> http://bpaste.net/show/lE84Cd59n8pIc7HLS79o/ I added a whole lot of fingerprints to RubyFunge.
17:58:20 -!- Tritonio has quit (Ping timeout: 250 seconds).
18:04:47 <TieSoul> also http://users.tkk.fi/~mniemenm/befunge/mycology-output/fp-fixp/Language-Befunge.txt made me laugh.
18:05:15 <TieSoul> I mean seriously, 900000?
18:05:17 <TieSoul> what?
18:09:04 <fizzie> my $a = $ip->spop / PRECISION; $ip->spush( int ( rad2deg( asin_real($a) ) * PRECISION ) );
18:09:12 <fizzie> That's what it is.
18:10:13 <fizzie> Math::Trig, asin_real: "Return a real-valued arcus sine if the input is between [-1, 1], inclusive the endpoints. For inputs greater than one, pi/2 is returned. For inputs less than minus one, -pi/2 is returned."
18:10:17 <fizzie> They've just inherited that.
18:12:05 <TieSoul> ah
18:12:54 <Bike> arcus sine, huh
18:14:39 <fizzie> It's called "arkussini" in Finnish.
18:21:15 <Melvar> “Arcussinus” in German.
18:21:40 <Bike> also a synonym for a sneeze, i assume
18:25:34 <Phantom__Hoover> is it arcosine or arccosine in english i wonder
18:30:49 <b_jonas> Phantom__Hoover: no, it's arcsine
18:31:02 <Phantom__Hoover> heh
18:31:38 -!- Tritonio has joined.
18:32:56 <Bike> Phantom__Hoover: i've nevre seen arcosine
18:36:50 <scoofy> also called cos^(-1)
18:39:42 <fizzie> Arc'o'Sine.
18:43:38 <Phantom__Hoover> fizzie, that's what it actually means though
18:46:41 <HackEgo> [wiki] [[Befunge]] http://esolangs.org/w/index.php?diff=40271&oldid=40243 * Madflame991 * (+604) /* Compilation */ Added info on the Befunjit compiler
18:51:03 <fizzie> Yes, but it sounds like a pirate thing.
18:54:35 -!- nooodl_ has joined.
18:57:43 -!- nooodl has quit (Ping timeout: 255 seconds).
19:00:11 -!- nooodl_ has changed nick to nooodl.
19:03:26 <TieSoul> I'm so happy that I've made a Befunge interpreter that gets all the way through Mycology :D
19:04:31 <fizzie> Now you just have to remove all the BADs, then you can be twice as happy.
19:04:38 <TieSoul> Yes.
19:04:51 <TieSoul> And add some of the more tricky fingerprints
19:06:14 <TieSoul> but for now
19:06:18 <TieSoul> I'm going to bed
19:06:21 <TieSoul> cya guys
19:37:39 -!- TieSoul has quit (Ping timeout: 255 seconds).
19:49:22 -!- HackEgo has quit (Ping timeout: 240 seconds).
19:57:48 -!- mhi^ has quit (Quit: Lost terminal).
20:03:10 -!- mhi^ has joined.
21:00:04 <zzo38> I am still writing some Z-machine compiler.
21:00:41 -!- Patashu has joined.
21:06:41 <b_jonas> zzo38: compiler to z-machine or from z-machine?
21:15:02 <J_Arcane> zzo38: Fun! I'm on the design stages of an 8-bit stack machine.
21:17:49 -!- HackEgo has joined.
21:18:50 <zzo38> b_jonas: Into Z-machine
21:19:13 <zzo38> Z-machine is not very good for compiling *from*, as it isn't a Restricted Harvard machine.
21:19:47 <zzo38> This compiler is only compiling for ZIP, not EZIP or XZIP; I plan to then make another one which targets XZIP.
21:20:13 <myname> XZIP IT!
21:21:27 <zzo38> However, OASYS binaries use a Restricted Harvard format so you can compile from them easily enough as you can compile into them.
21:24:36 <zzo38> Here are some example codes accepted by this compiler: [DEFINE TANDY? [ [BTST [GETB 0 1] 8] ]] [DEFINE STATUS-LINE? [ [NOT [BTST [GETB 0 1] 16]] ] [DEFINE PRINTER-ON [ [PUT 0 8 [BOR [GET 0 8] 1]] ] [DEFINE ZORKID [ [ASSIGN 0 1 #] ]] [DEFINE ZERO? [ [CUSTOM-VALUE 128 2 #$] ]] and so on
21:24:54 <zzo38> (All of this is part of the standard library, so you don't need to type them in yourself.)
21:25:23 -!- Patashu has quit (Ping timeout: 240 seconds).
21:28:34 <zzo38> Do you think this is good or problem or what?
21:28:41 <zzo38> J_Arcane: OK let's see, what did you make up so far?
21:32:34 <J_Arcane> zzo38: Basically just the instruction list and some very basic ideas about the architecture. I'll start actually putting it to code tomorrow.
21:36:29 <zzo38> OK. What idea did you have?
21:36:45 <J_Arcane> Here's the gist: https://docs.google.com/file/d/0B3hWDeEiNI5abERGUkJPNXFfZzg/edit
21:37:05 <zzo38> Do you have one that isn't Google Docs? Do you have it in HTML or text?
21:37:34 <J_Arcane> Hang on, I'll pastebin it.
21:37:37 <zzo38> OK
21:38:41 <J_Arcane> http://pastebin.com/zRtcHXjL
22:10:19 -!- skarn has quit (Quit: ZNC - http://znc.in).
22:15:56 <zzo38> Do you have description of some of the instructions?
22:17:15 -!- Guest14905 has joined.
22:25:01 <J_Arcane> zzo38: Not yet. Need to extend my notes to a proper documentation. Most of it's pretty much as you'd expect, save for some of the more arcane abbreviations (PuFA - "Push From Address", PoTA "Pop To Adress", JIF "Jump IF", and the IOPush/Pop sets (TRM = terminal, TAP = tape)
22:25:29 <J_Arcane> I'll do a full LyX doc for it soon.
22:27:38 -!- klotztest has joined.
22:28:08 -!- klotztest has quit (Read error: Connection reset by peer).
22:35:12 -!- Sgeo has joined.
23:17:42 <zzo38> J_Arcane: Actually I guessed what those stood for. Now I know my guess is correct. It still doesn't explain some of them very much, though.
23:18:00 -!- jameseb has joined.
23:39:37 -!- nycs has quit (Quit: This computer has gone to sleep).
23:41:34 -!- mhi^ has quit (Quit: Lost terminal).
23:48:48 -!- yorick has quit (Remote host closed the connection).
←2014-08-06 2014-08-07 2014-08-08→ ↑2014 ↑all