00:00:20 well i give up 00:00:24 The door was actualyl rusted shut 00:00:28 actually too 00:00:57 FreeFull: No. (Well, maybe it is; I haven't tried. But that isn't the reason.) 00:01:45 FreeFull: he said kjugobe doesn't WANT it opened, not that it can't be opened. 00:01:45 The reason I don't want it open is that if whoever has the key is asked to open the door, due to whatever is happening, it may easily interfere with the schedules of this ship (a merchant ship) arriving and departing at certain areas. 00:02:19 zzo38: who would have guessed that. no one. 00:02:37 quintopia: Maybe if you read it, someone might have guessed? 00:03:15 i'm pretty sure no one else would have guessed on the basis of me reading 00:03:15 So the reason has nothing to do with the door itself (other than the fact that it is locked and I don't have the key). 00:03:57 But I have a way to get in anyways, despite teleportation not being allowed into and out of the cell. 00:04:08 And I have this rope and sanding block I can use in there too. 00:06:08 The prisoner's name is Shadowsteel, I think. I have almost completely broken his concentration, I think. 00:07:44 Anyways if you can read the entire story and still don't understand, then maybe you aren't good enough at this game? 00:12:58 -!- tromp has joined. 00:17:46 -!- Zuu has quit (Ping timeout: 245 seconds). 00:25:53 -!- Zuu has joined. 00:27:15 ohhhh cold burn from the zzoster 00:27:25 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 00:35:14 quintopia: What does that mean? 00:37:58 zzo38: never mind 00:40:31 -!- Phantom_Hoover has joined. 00:49:52 -!- LinearInterpol has changed nick to [li]|Gaming. 00:51:55 `cat bin/seen 00:51:57 ​#! /usr/bin/env perl \ ($n,$e)=split /\s+/, join(" ",@ARGV); $n=~s/ *$//; $c="ls -r /var/irclogs/_esoteric/????-??-??.txt"; $c.=" | head -n 30" unless $e eq "ever"; @f=split /\s+/, `$c`; for $f (@f) { open F,"<$f"; @l=grep(/^..:..:..: <$n>/i,); close F; if (@l) { $b=$f; $b=~s#.*/(.*?).txt#$1#; print "$b $l[-1]"; exit 1; } } print $e eq "ever 00:54:30 -!- nooodl has quit (Quit: Ik ga weg). 01:01:22 should co(cartesian closed) be called cocartesian coclosed or coclosed cocartesian 01:01:30 "the important questions" 01:01:53 the dual of a cartesian closed space 01:02:18 help what's a cartesian closed space 01:02:29 category whatever 01:02:30 nerd 01:03:19 open cocartesian 01:15:48 -!- yorick has quit (Read error: Connection reset by peer). 01:18:35 -!- tromp has quit (Ping timeout: 260 seconds). 01:21:41 -!- tromp has joined. 01:26:39 -!- Zuu has left. 01:35:53 -!- Sorella has quit (Remote host closed the connection). 01:50:19 -!- nycs has quit (Ping timeout: 260 seconds). 01:55:26 -!- conehead has quit (Ping timeout: 264 seconds). 01:57:59 -!- [li]|Gaming has changed nick to LinearInterpol. 02:07:07 b_jonas: https://github.com/int-e/zeckendorf now deals with trailing zeros and has truncating subtraction for zeckendorf numbers (e.g. [] - [1] = []) 02:08:07 yay zeckendorf 02:14:35 good dorf 02:14:40 up there with haus and ganon 02:15:41 can we talk about dorps instead 02:15:46 like nieuw dorp 02:22:07 that's the only dorp, except for a south african musical group based in london 02:22:39 guess there's no oud dorp 02:22:59 several nieuw dorps but which one is the nieuwest 02:24:55 the one that isn't built yet 02:25:46 http://np.reddit.com/r/Physics/comments/1svri5/ive_solved_the_theory_of_everything_try_and_prove/ce1pd2n 02:25:58 the actual fuck is this. 02:26:01 int-e: does NegaZeckendorf just use -1,-2,-3 etc. 02:26:26 LinearInterpol, you're oko right 02:26:30 from the title it looks like a stellar example of fractured ceramics 02:26:35 Phantom_Hoover: nope. 02:26:42 it appears to be garbage, LinearInterpol 02:26:48 "Gravity (which doesn't actually exist) is n=0" 02:26:53 u fokin wot 02:26:54 quintopia: 1 -1 2 -3 5 -8 13 etc; the signs alternate. (or, more easily, you use the fibonacci numbers with negative indices, F_{-1},F_{-2},...) 02:26:59 LinearInterpol, that's precisely the response i'd expect from oko, see 02:27:12 check my host, I don't know who oko is. :P 02:27:49 HMMMM 02:28:02 i'd put nothing past him/you 02:28:11 int-e: that would have been my second guess 02:28:14 i trustirth him a long time ago 02:28:36 I don't know who the hell "oko" is. 02:28:40 -!- kmc has set topic: [Just (), Nothing] >>= repeat | But I see you on the other side? | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/. 02:29:02 oklofok: LinearInterpol doesn't know who you are! 02:29:12 lol. 02:29:33 > [Just (), Nothing] >>= repeat 02:29:34 [Just (),Just (),Just (),Just (),Just (),Just (),Just (),Just (),Just (),Jus... 02:29:49 " I don't think I've ever eaten one" you've never eaten an avocado? you should they're awesome 02:29:51 17 is beyond our reach 02:30:27 the actual fuck is this. <-- standard 5.5 f crank, tin covered 02:30:28 what oklofok said 02:30:46 oerjan: f is for? 02:30:54 oklofok, why are you pretending to be LinearInterpol pretending to not be you 02:31:23 because I'm actually oklofok. 02:31:25 obv 02:31:33 THEN WHO WAS PHONE 02:31:50 quintopia: feet, duh 02:31:52 quintopia: yes. 02:32:04 (cranks always use imperial, being mainly us engineers) 02:32:10 oklofok was also phone 02:32:59 screw imperial units. 02:33:12 LinearInterpol: why are you now pretending to be not oklofok who is pretending to be oklofok 02:33:14 okokokokokokokokokokoko 02:33:34 but I'm not oklofok 02:33:40 (we can do this all day) 02:33:52 * oklofok is leaving to france in a few hours 02:33:54 no you cannot, i'll ban you on the fifth iteration or so 02:34:08 b-b-but 02:34:33 you guys being so silly 02:34:43 LinearInterpol: i will hex you to read all further instances of the word "cannot" as "carrot" 02:34:44 oklofok: bon voyage, Mr. Oskari 02:34:47 you will SUFFER 02:35:00 you monster. 02:35:23 oklofok, why would you go to france 02:35:26 it's full of french 02:35:42 yeah 02:35:55 it's horrrrrrrible 02:36:37 if only boily were here to warn him 02:36:50 boily would warn him in french 02:36:56 does oklofok speak the francais 02:36:59 no 02:37:08 quintopia: precisely what's needed to scare some sense into him! 02:37:20 oerjan: it does sound right dreadful 02:37:33 i speak spanish well enough to buy beer, pizza and pants though 02:37:33 oklofok: what's in france for you 02:37:51 i'm going to talk about some stuff we did in chile last week 02:38:00 donde est mi pantalones. 02:38:01 oh 02:38:07 who's paying you 02:38:37 we did some percolation theory stuff and just after i send the abstract to france, we found out that the guy whose book we had been using published an article about the exact same thing 02:38:49 por qué la cervez in mi pantalones 02:38:50 donde están mis pantalones 02:38:51 isn't it? 02:39:00 (i don't know if he has all our results, but probably he has most of them) 02:39:11 i'm being paid by the university people 02:39:17 well i guess its an idea whose time has come 02:39:19 this thing http://perso.ens-lyon.fr/nathalie.aubrun/DySyCo.html#program 02:39:36 Do you have a spell to make caster refuse to visit France? (it is one of the spells in ifMUD, I think) 02:40:11 no 02:40:15 unfortunately my mana pool is empty 02:40:31 what would even be the point of that, if i don't want to go to france i can do that without a spell 02:40:53 quintopia: everyone in the CA community is suddenly doing some sort of probabilistic stuff 02:41:12 so yeah basically 02:41:14 oklofok: a highly unlikely coincidence! 02:41:28 oerjan: probably 02:42:04 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:42:07 may have to do with the fact that lots of people in the CA community (not me) seem to think that there are not that many new things to do 02:42:17 "Characterizing complexity and computability classes with polynomial ordinary differential equations." oh hey, neat. 02:42:28 is that one of the talks 02:42:43 it's in the link, yeah. 02:43:03 that does sound cool 02:43:15 i've seen a few papers on it, i don't remember if bournez was on them 02:43:49 he has four different cvs 02:44:10 oh, yeah, he did. write papers i've read probably i mean 02:44:30 "Computability and computational complexity of the evolution of nonlinear dynamical systems" "Computation with perturbed dynamical systems" etc etc 02:44:50 omg our reading someone's paper / cotalking in a conference distance is at most 2. 02:45:31 does anyone know off the top of their heads the computational complexity of the problem "does there exist a planar embedding of G with at most k edge crossings?" 02:46:09 well i just think they're kind of neat. i looked up an obscure paper of shannon's in a real physical library because of them 02:47:25 quintopia: sounds like a very basic question in parametrized complexity 02:47:33 another hot topic afaiu 02:47:55 (i have no idea what the answer is) 02:48:33 okay maybe the planar makes it very possible that there's no paper on this 02:49:18 also my answer probably requires that the problem of checking whether there's an embedding with at most k crossings is np-hard if k is given as input 02:49:38 which i don't actually know 02:51:52 " oklofok: bon voyage, Mr. Oskari" btw you're right 02:53:36 *MWAHAHAHA* 02:55:38 mr. Öör Andersson Jan 02:56:04 i am one of the few people of my age in the family not to have a middle name, i think. 02:56:20 oopse i looked at reddit.com/r/haskell again 02:56:28 :'( 02:56:44 at least this particular monad tutorial is at a negative score so i guess i can't complain about it saying wrong things 02:57:03 shachaf: just read the 24 days posts hth 02:57:26 oerjan: do you still have that hth disabler script thing 02:57:30 sure 02:57:49 /r/monadtutorials 02:58:25 i like how this section is called "definiton" 02:58:27 i 02:58:35 "definition" 02:59:42 b_jonas: and now there's even a bunch of comments. I think that's it for this year. 03:00:01 definitons, the force carriers of the strong monadic action 03:00:30 `seen b_jonas 03:00:35 2013-12-14 23:08:46: nope, http://caniuse.com/ doesn't mentino these 03:00:49 the mentino is another rarely mentioned particle 03:02:32 @tell b_jonas I've extended https://github.com/int-e/zeckendorf to deal with trailing zeros, subtracting a larger from a smaller number (which will result in 0 for Zeckendorf numbers) and a bunch of comments. Enjoy! 03:02:32 Consider it noted. 03:03:36 oerjan: you should disable the hth disabler script 03:03:41 oerjan: i miss the hthful days 03:05:08 hateful? 03:05:25 oklofok: it is NP-complete 03:05:41 hth leads to suffering 03:06:09 oklofok: but there are efficient approximation algorithms for graphs of bounded degree 03:06:20 i'm sure there are 03:07:50 is https://cs.uwaterloo.ca/~plragde/papers/hlayer_ESA.ps related 03:09:22 http://dist.ist.tugraz.at/cape5/why.html 03:09:41 how does one disable hths 03:11:25 i think elliott wrote a script 03:12:14 okay gtg, love you guys lol tihihi <3 03:12:15 -!- oklofok has quit. 03:14:56 -!- variable has changed nick to trout. 03:15:07 "The only known results are that the free Heyting algebra on one generator is infinite, and that the free complete Heyting algebra on one generator exists (and has one more element than the free Heyting algebra)." 03:25:17 shachaf: wat 03:25:53 oerjan: ? 03:26:02 known results about what 03:26:19 i already closed the page 03:26:24 @google "has one more element than the free Heyting algebra" 03:26:25 http://en.wikipedia.org/wiki/Word_problem_(mathematics) 03:26:25 Title: Word problem (mathematics) - Wikipedia, the free encyclopedia 03:26:35 https://en.wikipedia.org/wiki/Word_problem_(mathematics) 03:27:07 ah 03:27:37 i guess saying an infinite things has one more element than another infinite things can make sense when the things are more interesting than sets 03:28:50 oerjan: btw you know how if you take a discrete space and then add one more element which isn't in any open set (not even the set of everything) then you get a thing which is like a pointed set 03:29:13 (and you keep the usual definition of continuity and so on of course) 03:29:39 or you can add an element which is in every set, even the "empty" one 03:29:43 same deal 03:29:45 shachaf: i assume it means "has one element that isn't in the free heyting algebra" 03:30:10 sure 03:31:17 shachaf: i am not sure i know, unless you are talking about https://en.wikipedia.org/wiki/Alexandroff_extension 03:31:50 hm, i don't think i am 03:31:57 since the thing i'm talking about isn't a topological space 03:32:19 food -> 03:32:34 i just mean, you know how a space is (X,{{},X,...open sets...}) 03:32:37 ok fine 03:33:05 that's the same alexandrov as an alexandrov topology i guess 03:34:35 i'll just bug someone else instead 03:34:41 or maybe i shouldn't be bugging people, hmm 03:37:41 -!- jconn has quit (Remote host closed the connection). 03:38:27 -!- jconn has joined. 03:47:49 ) 1 i 10 * 1 i 10 03:47:50 oerjan: |value error: i 03:47:50 oerjan: | 1 i 10*1 i 10 03:48:19 ) 1 i 10 03:48:20 oerjan: |value error: i 03:48:20 oerjan: | 1 i 10 03:48:41 what's 1 i 10 03:48:45 j would be so much cooler if you could remember the functions 03:48:48 ) i 10 03:48:49 shachaf: |value error: i 03:48:49 shachaf: | i 10 03:49:00 ) i 1 10 03:49:00 oerjan: |value error: i 03:49:00 oerjan: | i 1 10 03:49:05 ) u 03:49:06 oerjan: |value error: u 03:49:08 oops 03:49:16 is that supposed to be iota 03:49:28 ) 1 iota 10 03:49:28 oerjan: |value error: iota 03:49:29 oerjan: | 1 iota 10 03:49:34 MAYBE 03:49:39 what was it 03:49:41 ) i. 10 03:49:42 shachaf: 0 1 2 3 4 5 6 7 8 9 03:49:47 whew 03:49:51 ) 1 i. 10 03:49:52 oerjan: 1 03:49:53 OBVIOUSLY 03:50:11 ) i. 10 + 1 03:50:11 shachaf: 0 1 2 3 4 5 6 7 8 9 10 03:50:17 ) 1 + i. 10 03:50:17 ) 1 + i. 10 03:50:17 shachaf: 1 2 3 4 5 6 7 8 9 10 03:50:18 oerjan: 1 2 3 4 5 6 7 8 9 10 03:50:38 ) i. 3 * i. 3 03:50:38 int-e: |ok 03:50:47 i don't understand anything. 03:50:54 ) i. 3 * 3 03:50:55 int-e: 0 1 2 3 4 5 6 7 8 03:50:59 ) (i. 10) * (i. 10) 03:51:00 oerjan: 0 1 4 9 16 25 36 49 64 81 03:51:17 oh. zip 03:51:27 are you looking for a multiplication table 03:51:36 no 03:51:49 just playing 03:51:49 > zipWith (*) [0..9] [0..9] 03:51:50 [0,1,4,9,16,25,36,49,64,81] 03:51:51 ok 03:52:14 > liftM2 (*) [0..9] [0..9] 03:52:15 [0,0,0,0,0,0,0,0,0,0,0,1,2,3,4,5,6,7,8,9,0,2,4,6,8,10,12,14,16,18,0,3,6,9,12... 03:52:20 ) i. 10 5 03:52:21 shachaf: 0 1 2 3 4 03:52:21 shachaf: 5 6 7 8 9 03:52:21 shachaf: 10 11 12 13 14 03:52:21 shachaf: 15 16 17 18 19 03:52:21 shachaf: 20 21 22 23 24 03:52:22 shachaf: ... 03:52:24 hi 03:52:31 ) i. 3 4 03:52:31 shachaf: 0 1 2 3 03:52:32 shachaf: 4 5 6 7 03:52:32 shachaf: 8 9 10 11 03:52:43 ) i. 2 3 4 03:52:44 shachaf: 0 1 2 3 03:52:44 shachaf: 4 5 6 7 03:52:44 shachaf: 8 9 10 11 03:52:44 shachaf: 03:52:44 shachaf: 12 13 14 15 03:52:44 shachaf: ... 03:52:50 ok that's too spammy 03:54:14 -!- LinearInterpol has quit (Ping timeout: 264 seconds). 03:55:07 ) (1 + i. 4) */ (1 + i. 4) 03:55:08 shachaf: 1 2 3 4 03:55:08 shachaf: 2 4 6 8 03:55:08 shachaf: 3 6 9 12 03:55:08 shachaf: 4 8 12 16 04:50:43 Quotation found in the comments of http://www.scottaaronson.com/blog/?p=1622: Sidney Morgenbesser (to B.F. Skinner): “So, you’re telling me it’s wrong to anthropomorphise humans?“ 04:52:00 that is a basic way to explain behaviorism 04:52:34 that explains why googling it led me to http://lesswrong.com/lw/6i5/behaviorism_beware_anthropomorphizing_humans/ 04:53:31 oh boy, lesswrong. but yeah the idea is basically to say that introspection isn't admissible, so you're left with what you can actually observe and record people doing. 04:54:14 and that avoids thinking and poetry and other human things. 04:55:22 the other blog post started with aaronson getting interviewed by yudkowsk[iy]'s institute, btw. 04:55:44 yeah, sigh 04:56:05 i mean, the first one. 04:56:31 you can sigh when you get to lubos motl's response. which i skipped. hth 04:56:43 also i'm trying to think of morgenbesser, i swear i've heard that name or something like it 04:57:29 oskar morgenstern. i am officially bad at names. 04:58:15 motl's that recurrent guy right 04:58:26 who says things like, well, that 05:00:44 he's pretty recurrently offensive 05:00:51 right 05:01:35 also by skipping i meant not actually reading much of his blog post. 05:01:45 because, wat 05:01:48 jconn: nice multiplication table 05:01:49 quintopia: nice multiplication table 05:02:04 oerjan: you actually clicked the link? 05:02:12 well yes. 05:02:24 but why 05:02:39 not enough previous negative reinforcement. 05:02:42 oerjan: that was a good interview 05:02:49 * oerjan is reading the behaviorist thing now 05:03:01 behaviorist thing? 05:03:10 Bike: on less wrong. 05:03:24 oh 05:03:31 it's not so long. 05:03:46 also it's not by yudkowsky himself. 05:06:56 "[Evolution] is is especially too slow and large-grained to produce human-level behavior: citing my sources in MLA format is an important skill, and I don't want to have to wait until ten generations of my ancestors have perished for citing their sources incorrectly before I can do it right." 05:07:24 hmph, the "is is" was in the original 05:08:23 do they mention the endocrine system 05:09:07 not that i can see 05:09:26 since it's the behavioral modulator that's faster than genetics but slower than synapses 05:10:01 ah 05:10:02 the article is about skinner's program of explaining thoughts in addition to behavior, and the idea that mental behavior is created by a process akin to evolution. 05:10:18 it doesn't go into detail about mechanisms 05:10:24 `? quintopia 05:10:26 quintopia? ¯\(°​_o)/¯ 05:10:38 `learn quintopia is our resident tl;dr generator. 05:10:43 I knew that. 05:10:54 Even though it is slow and large-grained, but there is a lot of time available so it doesn't matter if it is slow. If you want to cite your sources in MLA format, then read the book to explain how it is working, or ask someone how. 05:10:57 you're welcome 05:11:07 i should practice gisting anyway 05:11:25 zzo38: the point of the quotation is to explain why something as fast and flexible as the nervous system is adaptive. 05:11:44 well, not just the nervous system, the whole of behavioral modulation. 05:12:13 Bike: Ah, OK. It also explains the kind of mistake they made by typing "is is". 05:13:09 zzo38: it's the opposite of an anticipation error. 05:13:14 i would call it a recursion error 05:14:07 it also explains how i just ate part of a toothpick by accident 05:14:15 Some of these .MOD files are nine bytes longer than my program expects, while others are the same size the program is expecting. Why is that? 05:14:38 oh 05:14:40 -!- Sprocklem has quit (Ping timeout: 240 seconds). 05:14:43 it's called an addition 05:14:56 the opposite of an anticipation error is a perseveration error 05:17:17 A second kind is a semantic bias which shows a tendency for sound bias to create words that are semantically related to other words in the linguistic environment. Motley and Baars (1976) found that a word pair like "get one" will more likely slip to "wet gun" if the pair before it is "damp rifle". These results suggest that we are sensitive to how things are laid out semantically.[14] 05:19:52 -!- ^v has joined. 05:21:18 incidentally the word before "is is" was "it". 05:21:47 linguistic errors are the bomb 05:27:10 okay so i get a massive error configuring git for install. i don't know what happen. 05:28:13 does sprunge not work anymore 05:29:08 sprunge is broken the world is falling apart 05:30:07 500 Internal Server Error 05:30:41 -!- tromp has quit (Remote host closed the connection). 05:31:17 -!- tromp has joined. 05:31:48 oerjan: can you tell me why these errors are happening pls pls pretty pls http://pastie.org/8555134 05:33:19 quintopia: missing .h files? 05:33:34 oerjan: looks like it. but how do i get them? 05:34:36 that i dunno. 05:35:27 -!- tromp has quit (Ping timeout: 240 seconds). 05:36:16 also they look like pretty standard libs, and i've probably compiled against them before at some point...soooo where did they go? 05:36:44 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 05:37:58 if i mv a directory to somewhere that directory already exists, will it just overwrite that directory in its entirety? 05:39:08 -!- ^v has joined. 05:39:48 quintopia: hm, i note they're not in /usr/include on nvg's machines either. 05:40:11 oerjan: because they are in /include i think 05:40:37 oerjan: but funny thing...heh...i accidentally mv'd /usr/include to /include the other day >.> 05:41:44 mv back? 05:41:58 oh right hm 05:42:24 quintopia: perhaps run a diff between the directories? 05:42:51 oerjan: how? /include is gone poof replaced with /usr/include 05:43:07 i need new copies of all those libs 05:43:17 you don't have a /usr/include at all now? 05:43:35 well, i have a soft link from there to /include 05:43:41 ic 05:43:54 was there an /include previously? 05:44:25 maybe not 05:44:28 i'm jsut guessing here 05:44:39 but either way i need some libraries that i don't have 05:45:16 here the files are in /usr/include/linux/stddef.h and /usr/include/c++/4.4/tr1/stdarg.h (also 4.3) 05:46:11 if you have those, maybe you are just missing the correct search paths? 05:46:22 yeah i have that 05:46:49 how do i check that 05:47:10 i mean, it found stdio just fine you can see 05:47:40 also, when i checked stdio.h only one of those files should actually be included if you have __GNUC__ set 05:49:53 i don't know how you set those paths. 05:51:00 i recommend asking someone who knows this stuff rather than guessing >:) 05:54:40 i am 05:54:42 thanks 05:55:00 you're welcome 06:01:29 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 06:06:41 man, that's still a great gif. 06:09:46 badger :D 06:12:30 wtf git wtf 06:39:57 Sprunge seems broken; instead of the URL getting output, I get an HTML document specifying 500 Internal Server Error. 06:42:31 zzo38: yes we discussed this above 07:02:23 -!- Slereah has quit (Ping timeout: 240 seconds). 07:03:39 -!- tromp has joined. 07:06:31 quintopia: I didn't notice it 07:07:43 -!- tromp has quit (Ping timeout: 240 seconds). 07:08:47 -!- FreeFull has quit. 07:12:14 For the Elo rating system it is said "In some cases the rating system can discourage game activity for players who wish to protect their rating." Would inflation (like it is in money) help? 07:15:58 I don't really like many of the alternative systems that never decrease, either. 07:16:29 zzo38: or decreasing the rating over the time? 07:18:45 lifthrasiir: It could be another possibility 07:19:27 zzo38: the easiest fix would be to prefer "newer" ratings. for instance, when lots of players have gained position but haven't played some high ranked old player, the system should simulate their playing that old player and try to guess what the rating would be if they had played. and it should err on the side of underguessing. 07:19:30 But I think using a rating system with reference dates selected (like epoch dates in astronomy are done) may do 07:20:05 thus the only way to keep your score accurate and not low-balled is to actually play 07:21:13 quintopia: Yes, I did also think of doing something like that, not exactly like your example though 07:32:34 -!- conehead has joined. 07:32:58 quintopia: If there was an "/include", and you did "mv /usr/include /include", you'd just have ended up with /usr/include as /include/include -- but usually there isn't an /include. (I don't have a better opinion on where those files could've gone, but being compiler-specific, they tend live in e.g. /usr/lib/gcc and come with the corresponding compiler package.) 07:33:12 fizzie: thanks 07:33:54 @tell oerjan If I were to go the Unicode way, I'd surely go with a multiocular o. 07:33:54 Consider it noted. 07:35:01 @tell fizzie I thought you were annoyed that gurgle looked different from google... 07:35:01 Consider it noted. 07:35:06 -!- conehead has quit (Remote host closed the connection). 07:35:29 -!- conehead has joined. 07:35:41 @messages-told 07:35:41 fizzie said 1m 47s ago: If I were to go the Unicode way, I'd surely go with a multiocular o. 07:36:21 @tell oerjan MULTIOCULAR 07:36:22 Consider it noted. 07:36:37 @tell fizzie OKAY 07:36:37 Consider it noted. 07:36:41 Okay, perhaps that is too silly. 07:36:51 so why does @messages-whatever do @messages-loud 07:36:54 @messages- 07:36:54 You don't have any messages 07:37:00 fancy 07:37:09 Because of automagic typo correction. 07:37:11 @messages-sound 07:37:11 fizzie said 49s ago: MULTIOCULAR 07:37:21 @nessages- 07:37:21 Maybe you meant: messages? messages 07:37:26 maybe i fucking didn't 07:37:29 @nessages-loud 07:37:29 You don't have any messages 07:37:30 But only if it's closer (edit-distance-wise) than 2, and unambiguous. 07:37:32 @butts 07:37:33 Unknown command, try @list 07:37:35 oh, edit distance. 07:38:08 there's also a special case for an unambiguous prefix, iirc 07:38:17 @lis 07:38:18 Maybe you meant: list listall listchans listmodules listservers 07:39:10 @listclans 07:39:10 ##categorytheory ##crypto ##logic ##manatee ##megaharem ##proggit ##villagegreen #agda #arch-haskell #csa_uva #darcs #diagrams #dreamlinux-es #esoteric #fedora-haskell #friendly-coders #functionaljava #gentoo-haskell #gentoo-uy #ghc #happs #haskell #haskell-arcade #haskell-blah #haskell-books #haskell-br #haskell-fr #haskell-freebsd #haskell-game 07:39:10 #haskell-gsoc #haskell-in-depth #haskell-infrastructure #haskell-lens #haskell-llvm #haskell-overflow #haskell-pl #haskell-soc #haskell.au #haskell.cz #haskell.de #haskell.dut #haskell.es #haskell.fi #haskell.hr #haskell.it #haskell.jp #haskell.no #haskell.ru #haskell.se #haskell.tw #haskell_ru #hscraft-srv #jhc #jtiger #learnanycomputerlanguage # 07:39:10 learnprogramming #ledger #lesswrong #lw-prog #macosx #macosxdev #rosettacode #scala #scalaz #scannedinavian #snapframework #tanuki #teamunix #unicycling #xmonad #yi 07:39:15 cripes, sorry 07:39:26 should i even ask about megaharem 07:39:35 @dick-balls 07:39:35 Unknown command, try @list 07:39:35 YOU WILL BE SORRY 07:39:46 ##megaharem?? 07:39:53 That's a lot of channels. 07:40:11 wtf megaharem 07:40:58 -!- conehead has quit (Ping timeout: 265 seconds). 07:41:02 also, ALL the haskell 07:41:51 hrvatski 07:41:57 http://img197.imageshack.us/img197/8753/y3g7.png uh (topic of ##megaharem) 07:42:22 c.c 07:42:51 i uh 07:43:00 looks liberal 07:43:37 patrick seems to have fun 07:43:47 these people aren't fictional, are they 07:44:17 The topic also contains Patrick's TODO list: http://piratepad.net/nB6tkjjE70 07:44:22 (I didn't *go* there, I just /list'd.) 07:44:43 oh, i forgot you can do that. 07:45:07 the real travesty here is that they didn't use dotty 07:45:19 yes I have a friend who maintains such a graph using Graphviz 07:45:25 #haskell/2013-10-31.log:16:42:15 @tell elliott Hi! I'd like lambdabot to @join ##megaharem. I was told to pester you for the relevant privileges. 07:45:32 theirs is a bit too complicated to do in mspaint though 07:45:38 plus mspaint is just a big turnoff 07:45:43 lambdabot/2013-11-02.log:15:31:31 LeoTal said 1d 22h 49m 15s ago: Hi! I'd like lambdabot to @join ##megaharem. I was told to pester you for the relevant privileges. 07:45:46 lambdabot/2013-11-02.log:15:31:57 @join ##megaharem 07:46:01 i actually learned dotty from similar diagrams 07:46:04 lambdabot: I guess you go everywhere you're asked, huh? 07:46:06 i don't know how to feel about that suddenly 07:46:11 monotone: you're a monster. 07:46:13 the real question is, where is lambdabot on the graph 07:46:43 it's probably patrick 07:46:55 -!- FireFly has quit (Ping timeout: 252 seconds). 07:47:30 I made a similar graph on #esoteric once, using a thresholded version of the nick-mentioning matrix as an adjacency matrix (and GraphViz, of course), but that didn't really look terribly good. 07:47:42 yeah, the graphs had thousands of nodes. 07:47:53 opening an svg forced me to do a hard restart. 07:48:11 not my most brilliant plan 07:49:17 fizzie: omg that is a great idea 07:49:34 i just have to think about how to make newick into fancy ascii art 07:52:07 I can't seem to find the graphs I did draw. 07:52:29 It really was just http://zem.fi/ircvis/esoteric/people_mentions.html in graph form, though. 07:53:37 Perhaps I should've used something else than a global threshold for the edges, though. Like a per-node maximum degree limit. 07:54:05 (Though that would be kind of lying.) 07:54:32 myname: it's patrick 07:55:00 fizzie: i would've made something like a phylogenetic tree 07:55:33 with shorter distances, the more people talk with each other 07:56:06 that's not phylogenic /or/ genetic >: 07:56:16 oh, yeah 07:56:54 The graph is also pretty clearly not a tree. (See: loops.) 07:57:14 you are right 07:57:16 well... 07:57:28 You could make a maximum-weight spanning tree out of it, though. 07:57:33 If you wanted a tree, anyway. 07:57:51 http://biologicalmarginalia.wordpress.com/2013/04/01/cladistics-of-doom/ 07:58:52 Bike: so... you are one of these... biological people? 07:59:09 Unlike all us machine people. 07:59:18 myname: working on it 07:59:52 Bike: i have one course as minor subject 08:00:10 what? 08:02:13 http://medicalbioinformatics.de/teaching/item/19710-algorithmic-bioinformatics (won't help you much, because it's german) 08:02:43 i'm basically imagining a course in computational cladistics. 08:03:01 -!- conehead has joined. 08:03:06 oh, you do sequence alignment too. yeah, usual stuff 08:03:20 pretty neat but i dunno much bioinformatics beyond implementing bitap on a lark once :p 08:03:40 ooh proteins too huh. any folding? 08:03:52 we are on it, currently 08:04:07 pretty hard for a computer science student 08:04:09 i guess that's the cliche thing but there must be other things, like molecular cladistics or finding domains or some shit 08:04:30 also: why do people know "bioinformatics" but not "informatics"? 08:05:00 why do they know DNA but not nucleic acids 08:05:38 i don't really know what 'informatics' is. i just kind of imagine library science 08:05:57 anyway what's hard about bioinformatics. everybody's like ten years behind in software development 08:05:59 bioïnformatics 08:06:33 Bike: well, "bioinformatics" is "bioinformatik" in german and "computer science" is "informatik" in german 08:06:41 pretty strange for me 08:06:42 Oh. 08:06:47 Not like that in English. 08:07:04 well i guess there's 'information technology'. 08:07:16 but you are right, programming stuff is pretty easy 08:07:24 it looks like lambdabot talks to itself a lot 08:07:28 even though i really hate biojava 08:07:37 like i said, ten years behind. 08:07:47 my lab uses DOS programs, man 08:07:55 hahaha 08:08:09 "they work, so noboy's bothered moving them" 08:08:15 i never heard about webservices before, ever 08:08:27 also it's hard to tell whether optbot talked to elliott or fungot more (elliott by a nose) 08:08:27 quintopia: and other variables. ever. ( great game too) http://gamegarage.co.uk/ play/ mousegame/ 08:08:30 like, why the hell do you want to send ugly soap stuff via http? 08:08:45 soap in java sucks even more than java alone 08:08:56 fungot: are you in the largest connected component 08:08:56 kmc: combinator theory: a function with an arbitrary limit on height? 08:08:57 the lab program i actually work on outputs tables as text files full of \ts 08:09:02 so, shut up, you got it good son 08:09:22 lawn, kids, etc 08:09:36 until now i can't figure out how to make a single soapelement to send as an argument to a method 08:09:45 it's not an age thing, it's an oh god does it get worse thing. 08:09:49 because every soapelement has to have a soapelement as parent 08:09:55 i mean, at least i'm not using excel. 08:10:31 fungot: why am i even awake 08:10:31 shachaf: get him a helmet!" was the subject of the day! the simulator hangs after 5300 ticks, both as an applet or standalone.)) 08:11:01 what if someone kidnapped fungot and substituted a fungot simulator 08:11:01 shachaf: i don't think i'll be of much help to you. using ncurses doesen't mean using panels, because i read the archive, which doesn't really teach anyways!! you don't want to 08:11:16 plan fungot from outer space 08:11:16 kmc: look there is no stdin stdout, but doesn't do anything about warnings. 08:11:43 would we even notice 08:11:54 not fungot but another bot of the same name 08:11:54 kmc: i can't read 08:11:58 fungot: are you the real fungot 08:11:58 shachaf: it strikes me also fnord it could be worthwhile to skim the logs from fnord for info on why it's called fnord 08:12:02 fungot: that explains a lot (??) 08:12:02 kmc: is the path taken through the fsa) it prints nothing) 08:12:07 -!- carado has joined. 08:12:49 Bike: after about 10 sessions or so one bioinformatics student asked why it is so much repetition 08:12:56 i was like "what the fuck, man?" 08:12:56 -!- PatrickRobotham has joined. 08:13:10 i don't get it 08:13:31 this course seems to be boring for most of them 08:13:41 because they already had nearly everything 08:13:46 oh 08:13:57 maybe i should clarify that i'm not in bioinformatics. i'm the guy spitting out original data in a unique undocumented format that i need you to send to my pal in spain 08:14:10 :D 08:14:35 sounds equally painful 08:14:45 hello i am prince of nigeria i have USD $100,000,000 of bioinformatics data 08:14:46 quintopia: Most of those lambdabot mentions are from lambdabot asking people to /msg lambdabot @messages. 08:15:01 i'm mostly working before the data-reading part so the pain is just in people who don't know how to code, and hey what else is new. 08:15:08 whither ruddy 08:15:09 fizzie: oh of course 08:15:45 died on the way to his home planet?? 08:15:57 maybe someday i'll have to parse a few hundred measurements of sarcomere length data sorted by salmon acclimation temperature. livin the dream 08:15:59 -!- PatrickRobotham has left. 08:15:59 what's your home planet 08:15:59 /nick kmc|notdrunk 08:16:05 shachaf: earth 08:16:12 BatrickRobotham 08:16:23 can jews eat robot ham 08:16:35 kmc: hang on just a minute are you drunk 08:16:55 v. clever trick but i've found you out 08:16:59 if he was drunk would he mime indicating he was drunk? think logically shachaf 08:17:10 You've laid some kind of trap! 08:17:38 i have no home planet 08:17:43 i'm from space.........chu space 08:18:03 If you are drunk you would accidentally mime indicating you are drunk. If you are not drunk then you will do it on purpose instead. 08:18:05 what do you call a very very small chu space? 08:18:09 -!- doesthiswork has quit (Quit: Leaving.). 08:18:43 zzo38: or what if you're lying 08:19:51 `addquote i'm from space.........chu space 08:19:55 shachaf: That doesn't matter; the result will be the same if you are lying or not. 08:19:57 1145) i'm from space.........chu space 08:20:11 zzo38: where I'm from, drunk people do integral calculus to try to demonstrate they aren't drunk 08:20:28 kmc: why do sober people do integral calculus 08:20:36 what kmc that's not even a good quote 08:20:43 because they study physics? 08:20:49 (something tells me breathalyzer tests are more accurate than calculus tests) 08:20:52 we will protect you from the terrible secret of chu space 08:21:19 if shachaf is from chu space, i want to be from Pspace 08:21:31 -!- Bike has quit (Ping timeout: 245 seconds). 08:22:03 * kmc tries to remember why NPSPACE isn't a thing 08:22:21 it's http://en.wikipedia.org/wiki/Savitch%27s_theorem 08:22:28 -!- Bike has joined. 08:22:32 the thing about space is that you can reuse space but you can't reuse time 08:23:02 hey that's pretty deep and stuff 08:23:10 also NSPACE(s(n)) = co-NSPACE(s(n)) for any function s(n) ≥ log n ???? what a country 08:23:12 zzo38: where I'm from, drunk people do integral calculus to try to demonstrate they aren't drunk <-- i recall doing that once. 08:23:17 what a country 08:23:24 i on't even know what co nspacce is fuck 08:23:42 Bike: you seem drunk 08:23:55 drunk on compllexity classes 08:24:14 #P^{my dick} 08:24:33 is your dick a useful oracle 08:24:46 btw who joined that channel and mentioned #esoteric 08:24:56 it can tell whether or not he want to do it with someone in polynomial time 08:25:00 if you're going to gossip about random innocents at least don't barge in and make a fool of yourself?? 08:25:12 kmc: #P^{my dick} is actually log :( 08:25:18 elliott: i guess they attracted PatrickRobotham? 08:25:22 lmao 08:25:39 does that actually mean it's worse, i'm not sure how 'worse' is 08:25:54 your dick is so bad that it reduces the power of any complexity class 08:26:00 yes right 08:26:05 is this like... @dril teaches cs 08:26:07 should have `relcomed him 08:26:30 elliott: which channe/ 08:26:38 whoops sorry that 'l' fell over 08:26:45 kmc: the chu space papers keep train analogies 08:26:47 letter hasty placement, we sincerely regret the error 08:26:49 coincidence? 08:26:51 ïïïïï 08:26:55 are they chu chu analogies? 08:26:55 i am skeptical of the concept of 'too big to be tractable' because i am huge and in traction all the time 08:27:01 hard to tell 08:27:24 kmc: ##megaharem, presumably 08:27:28 oh 08:27:35 it's rude to just bust into another man's harem 08:27:39 (per /msg chanserv access list ##megaharem) 08:27:55 also, illegal, in the original meaning of harem 08:28:00 watch it friends 08:28:19 but there are already men in this harem 08:28:25 have we declared any fatwas recently 08:28:38 god i want to see a chick in a niqab with a siren yelling PURDAH VIOLATION 08:28:44 like a siren hat, see 08:29:02 /!\ 08:29:23 /!\ 08:29:39 /⚠\ 08:29:39 kmc strictly observes purdah 08:29:44 doubtful 08:29:48 shachaf meanwhile is a freemason 08:29:54 shachaf: do you have stairs in your house 08:30:12 i mean uh "who will help the widow's son" 08:30:44 i am a stairs 08:30:50 that happened to me once 08:30:56 salvia's a hell of a drug 08:31:13 is it good 08:31:16 not really 08:31:49 do you like existential nightmares that will haunt you for the rest of your life 08:31:52 if so then i highly recommend it 08:32:15 -!- tromp has joined. 08:32:20 is that the dual of universla nightmares 08:32:30 yes, the universal nightmare is the one we're already living 08:32:39 letter hasty placement <--- wow I transposed an entire word 08:32:59 word hasty placement too 08:33:35 one time i transposed the entire world 08:33:42 Bah, I found one "relationship graph" but it's not #esoteric, it's -- actually, never mind, it's too complicated to explain. 08:33:55 one time I shifted the entire universe up and to the left but nobody noticed 08:33:58 fizzie: is it? 08:34:23 Well, I mean, I think it's from darkhive data. 08:34:41 what's darkhive? 08:34:48 See, that's exactly what I meant. 08:35:02 i begin to understand 08:35:43 kmc: actually we noticed but emmy noether got us all to ignore it 08:35:55 I don't think there's been much relationship involvement between #esoteric members... unless I'm missing something 08:36:21 -!- tromp has quit (Ping timeout: 248 seconds). 08:37:13 until you and shachaf started hanging out i would have been hard pressed to remember anyone who'd even met 08:37:13 -!- Taneb has joined. 08:37:32 I've met ineiros, but that doesn't really count for much. 08:37:44 Also mooz, but. 08:38:10 And Deewiant's allegedly seen me. 08:38:14 I've herded a couple of lurkers onto the channel from York 08:38:22 eek 08:38:45 I have the weirdest idea that oklopol and oerjan met somewhere in Norway, but perhaps I dreamed that. 08:39:11 no, that didn't happen 08:39:23 Perhaps oklopol met someone else, then. 08:40:45 i have met 5 people in this channel and several people who used to be in this channel but are no more 08:41:01 I might theoretically have met atehwa somewhere, but that's not certain at all. 08:41:07 -!- augur has quit (Ping timeout: 246 seconds). 08:42:21 I have met two lurkers. 08:42:30 i failed to meet any of you when I was in .fi 08:42:35 but I've met shachaf and Gracenotes 08:42:37 I have met someone who has met elliott, and probably someone who has met ais523 08:42:40 and douglass_ 08:42:42 and I live with douglass_ 08:42:46 -!- augur has joined. 08:42:54 and copumpkin 08:42:59 yep 08:45:19 -!- Effilry has joined. 08:45:25 See, it's not a completely edgeless graph. 08:45:27 -!- Effilry has changed nick to FireFly. 08:45:27 -!- carado has quit (Ping timeout: 240 seconds). 08:45:38 the in-person-meeting graph? 08:45:52 imo the hug graph 08:45:58 yeah douglass_ has also met shachaf and Gracenotes; the four of us played mölkky together in the park, it was great 08:46:06 and maybe she's even met copumpkin 08:46:07 there was also a dog 08:46:19 The "relationship" graph. I mean, we're going to have to extend that to "ever met in real life" to get at least something going. 08:46:44 kmc: does your house have mölkky things yet 08:46:48 shachaf: to say nothing of the dog 08:46:59 kmc: oopse i have failed to say nothing of the dog 08:47:03 but i did read that book 08:47:34 me too 08:47:36 thanks 2 u 08:47:44 shachaf: it hasn't :/ 08:48:07 "How not to speak of dogs" by Dr. Zwinglish Gerademeister 08:48:13 wait which book 08:48:26 three men in a boat to say &c. 08:48:29 i have read it 08:48:39 "it hasn't :/" was re: mölkky-things 08:48:47 there's _Three Men in a Boat (To Say Nothing of the Dog)_ by Jerome K. Jerome 08:48:52 mölkky-þing 08:48:54 I want to see people use combinators inside TH expressions 08:48:58 but there's also _To Say Nothing of the Dog_ by Connie Willis 08:49:04 shachaf: oh i don't know this one 08:49:05 Rather than falling back on making quasiquoters 08:49:05 i've read both 08:49:16 is it good 08:49:19 the latter 08:50:14 hm i don't remember it v. well it was over a decade ago that i read it and also not in english so i didn't even remember that that was the title 08:50:21 but i think i enjoyed it 08:50:39 there was a cat plague in it that killed all cats on earth so they went back in time to bring cats from the past 08:50:50 or something like that?? 08:50:59 but they had to find cats that wouldn't cause paradoxes 08:51:12 so they got a dog instead? 08:51:15 am i making things up 08:51:18 hard to say 08:52:48 "I pay Jerome so much in royalties," the publisher told a friend, "I cannot imagine what becomes of all the copies of that book I issue. I often think the public must eat them." 08:52:51 that's v. confusing 08:53:13 and then it turned out that the butler did it all along 08:53:46 and/or other things i can't remember 08:54:12 -!- carado has joined. 08:54:54 https://en.wikipedia.org/wiki/To_Say_Nothing_of_the_Dog 08:55:00 spoilers! 08:55:39 Win Butler did it 08:55:58 I ... distrust many of the decisions of the Yesod framework, but if I could figure out how to make combinator based routes for Yesod for use in TH without the QQ, that would be nice 08:57:11 also someone in #cslounge-books recommended another book by the same author the other day or something 08:58:15 i didn't know that's a channel 08:59:09 i think it only came into existence somewhat recently 09:00:32 oh and also the "time continuum" is conscious or something in order to correct paradoxes 09:00:35 or who even knows 09:02:21 sounds like you're not supposed to think too much about how/what that is, just that it does 09:02:34 sounds like i'm supposed to go to sleep 09:02:39 ♞ 09:03:24 hmm, judging by the time I'm supposed to go to work 09:04:54 Oh man, I never cleared out the trainers on this route 09:05:05 Now I've got my level 49 Snorlax into a battle 09:05:10 Against a level 9 Magikarp 09:05:46 a level 49 snot salmon? sounds fierce 09:06:31 Taneb: playing X/Y? 09:07:11 FireFly: All Pokemen names in highlight, eh? 09:07:22 not really 09:08:24 -!- tromp has joined. 09:12:50 -!- tromp has quit (Ping timeout: 264 seconds). 09:15:55 FireFly, yep 09:21:00 -!- MindlessDrone has joined. 09:22:51 -!- oerjan has quit (Quit: Later). 09:29:57 int-e: trailing zeros and saturated subtraction, understood, great. 09:39:40 -!- conehead has quit (Quit: Computer has gone to sleep.). 09:43:41 !SENT_START OF U. K. K. K. K. K. K. K. K. K. K. K. K. K. K. K. K. K. HAVE A BUYBACK OF YOUTH !SENT_END riiight 09:44:14 would that i could 09:44:35 fungot: do you still have the buyback of youth? 09:44:35 olsner: nice to see that xml uses explicit renaming). using ( require ( lib " errortrace.ss" " errortrace")) doesn't do anything for the computed result 09:45:33 !SENT_START U. K. K. K. K. K. K. K. K. AGE BOY GEORGE K. K. K. K. K. K. K. K. !SENT_END 09:45:41 I guess that's not very good. 09:48:13 what's with the U's and K's 09:48:50 I'unno. 09:49:19 Sometimes there's also I. and A. 09:49:53 It's also obsessed with buybacks. 09:49:56 !SENT_START A U. K. K. K. K. YOU BUY BACK OF A YEAR THEY HAVE YOU BUY BACK BACK !SENT_END 09:50:09 !SENT_START BACK OF A BOY HAVE A YEAR BUYBACK OF YOUTH BY JACK I. K. K. !SENT_END 09:50:42 fungot: It makes less sense than you! 09:50:42 fizzie: actually english has that version too: " utility" only if you want to 09:50:57 Deep. 09:52:36 -!- _46bit has quit (*.net *.split). 09:52:36 -!- myndzi has quit (*.net *.split). 09:54:35 -!- _46bit has joined. 09:54:35 -!- myndzi has joined. 10:04:49 -!- AnotherTest has joined. 10:12:36 Hello 10:16:25 Hi 11:10:16 -!- tromp has joined. 11:15:49 -!- tromp has quit (Ping timeout: 248 seconds). 11:23:42 TIL: "The mouse visual cortex is like the smartphone of neuroscience. Everyone feels the need to get one, but it remains to be seen if it's a convenience or a distraction." 11:59:14 -!- LinearInterpol has joined. 12:13:10 -!- tromp has joined. 12:15:52 -!- LinearInterpol has quit (Ping timeout: 240 seconds). 12:31:31 -!- tromp has quit (Ping timeout: 245 seconds). 12:34:07 -!- MindlessDrone has quit (Quit: MindlessDrone). 12:58:13 -!- LinearInterpol has joined. 13:11:26 -!- Sgeo has quit (Read error: Connection reset by peer). 13:13:42 -!- boily has joined. 13:14:31 -!- metasepia has joined. 13:15:33 -!- metasepia has quit (Remote host closed the connection). 13:15:51 -!- boily has quit (Client Quit). 13:21:11 -!- Timwi has joined. 13:21:57 -!- boily has joined. 13:22:12 -!- metasepia has joined. 13:22:15 good snowy morning! 13:22:22 @massages-loud 13:22:22 oerjan said 2d 11h 43m 58s ago: You misspelled exercise on your user page 13:22:22 oerjan said 2d 11h 18m 15s ago: good unpentadactyl morning! <-- my condolences on losing a finger 13:22:22 oerjan asked 2d 10h 48m 53s ago: normally distributed glazed eyes served over bouchées of surreal bread rolls. <-- are you attempting to create québécois/r'lyehan fusion cuisine 13:22:58 @tell oerjan oops. 13:22:59 Consider it noted. 13:23:14 @tell oerjan I'm stuck with a prosthetic vimperator. 13:23:14 Consider it noted. 13:23:26 @tell oerjan la la la ♪ 13:23:26 Consider it noted. 13:23:29 -!- nooodl has joined. 13:30:34 -!- tromp has joined. 13:35:27 -!- tromp has quit (Ping timeout: 260 seconds). 13:42:54 -!- atriq has joined. 13:44:03 hellooodl. atangevlobriq. 13:44:46 :P 14:19:09 -!- Fiora_ has joined. 14:21:47 -!- natalybarel has joined. 14:22:24 -!- boily1 has joined. 14:23:52 -!- boily has quit (*.net *.split). 14:23:53 -!- jconn has quit (*.net *.split). 14:23:56 -!- Fiora has quit (*.net *.split). 14:24:08 "You’re invited to try out the R2014a Prerelease with MATLAB" but I'm not sure I want to :/ 14:24:12 -!- boily1 has changed nick to boily. 14:25:36 fizzie: you know you want to feel the MATLAB. 14:26:16 R2014a! 14:27:13 fungot: do you understand matlab? 14:27:13 boily: i found it much more complicated than it needs to be public 14:27:21 fizzie: there ↑ 14:27:38 fungot: You're certainly right about that. Whatever that means. 14:27:39 fizzie: false, fnord) at the mzscheme source code:). 14:27:42 -!- ternkustik has joined. 14:27:48 `relcome ternkustik 14:27:50 ​ternkustik: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 14:34:33 -!- ternkustik has quit (Ping timeout: 252 seconds). 14:36:53 -!- natalybarel has quit (Ping timeout: 248 seconds). 14:50:48 -!- yorick has joined. 14:52:16 small question: how is Thue somehow enabled with nondeterminism? I'm confused by the example given. 14:52:30 yes it expresses nondeterminism, but it doesn't make sense. 14:52:58 are the two conflicting definitions somehow in some sort of race condition or something? 14:55:17 -!- `^_^v has joined. 14:58:38 -!- RJones_ has joined. 14:59:39 -!- RJones_ has changed nick to RJones. 15:10:19 if you're lucky → http://www.cisco.com/ 15:11:16 Woah. 15:11:46 -!- augur_ has joined. 15:13:41 -!- hogeyui has quit (Ping timeout: 248 seconds). 15:14:08 -!- Fiora has joined. 15:14:10 -!- ineiros_ has joined. 15:14:42 -!- impomatic has quit (Ping timeout: 264 seconds). 15:14:42 -!- Fiora_ has quit (Ping timeout: 264 seconds). 15:14:43 -!- FireFly has quit (Excess Flood). 15:14:45 -!- ineiros has quit (Ping timeout: 264 seconds). 15:14:45 -!- realz has quit (Ping timeout: 264 seconds). 15:14:46 -!- augur has quit (Ping timeout: 264 seconds). 15:15:03 -!- Effilry has joined. 15:15:18 -!- realz has joined. 15:15:32 -!- realz has quit (Changing host). 15:15:32 -!- realz has joined. 15:15:35 -!- Effilry has changed nick to FireFly. 15:23:05 -!- Chillectual has joined. 15:23:20 -!- LinearInterpol has quit (Disconnected by services). 15:23:23 -!- Chillectual has changed nick to LinearInterpol. 15:24:10 -!- RJones has quit (Ping timeout: 245 seconds). 15:24:17 -!- RJones has joined. 15:27:04 -!- fizzie` has joined. 15:27:20 -!- fizzie has quit (Ping timeout: 264 seconds). 15:27:38 fungot: do you even netsplit, bro? 15:27:38 boily: and do you? i know i have seen that multiple times, though 15:28:19 fungot: I did, about one hour ago. 15:28:19 boily: hardware also helps in a whole directory as a file system 15:34:26 -!- oklopol has joined. 15:37:17 -!- RJones_ has joined. 15:37:17 lol. 15:37:17 -!- RJones_ has left. 15:39:04 -!- metasepia has quit (*.net *.split). 15:39:06 -!- _46bit has quit (*.net *.split). 15:39:06 -!- myndzi has quit (*.net *.split). 15:44:32 -!- hogeyui_ has joined. 15:44:32 -!- metasepia has joined. 15:44:32 -!- _46bit has joined. 15:44:32 -!- myndzi has joined. 15:45:40 -!- RJones has quit (Ping timeout: 246 seconds). 15:46:53 -!- LinearInterpol has quit (Ping timeout: 252 seconds). 15:47:19 -!- monotone_ has joined. 15:49:04 -!- mysanthrop has joined. 15:49:26 -!- fizzie` has quit (Ping timeout: 245 seconds). 15:49:31 -!- ineiros has joined. 15:51:15 -!- myname has quit (Disconnected by services). 15:51:18 -!- nycs has joined. 15:51:18 -!- boily1 has joined. 15:51:22 -!- mysanthrop has changed nick to myname. 15:51:47 -!- SirCmpwn_ has joined. 15:52:11 -!- rodgort has joined. 15:53:14 -!- rodgort has quit (Excess Flood). 15:53:46 -!- rodgort has joined. 15:54:56 -!- rodgort` has quit (Ping timeout: 248 seconds). 15:54:56 -!- SirCmpwn has quit (Ping timeout: 248 seconds). 15:54:59 -!- monotone has quit (Ping timeout: 248 seconds). 15:55:07 -!- SirCmpwn_ has changed nick to SirCmpwn. 15:56:28 -!- metasepia has quit (Remote host closed the connection). 15:56:40 -!- ineiros_ has quit (Ping timeout: 248 seconds). 15:56:40 -!- `^_^v has quit (Ping timeout: 248 seconds). 15:56:40 -!- boily has quit (Ping timeout: 248 seconds). 15:57:32 -!- boily1 has changed nick to boily. 15:57:35 -!- fungot has quit (Ping timeout: 248 seconds). 15:58:12 -!- metasepia has joined. 16:02:20 -!- ^v has joined. 16:03:16 -!- FreeFull has joined. 16:03:24 -!- heroux has quit (Ping timeout: 260 seconds). 16:03:56 -!- impomatic has joined. 16:04:02 -!- heroux has joined. 16:04:19 -!- FireFly has quit (Ping timeout: 260 seconds). 16:04:48 -!- olsner has quit (Ping timeout: 260 seconds). 16:05:12 -!- olsner has joined. 16:09:50 -!- tromp has joined. 16:17:02 -!- LinearInterpol has joined. 16:18:21 -!- KingOfKarlsruhe has quit (*.net *.split). 16:18:22 -!- Deewiant has quit (*.net *.split). 16:18:22 -!- tromp__ has quit (*.net *.split). 16:18:27 -!- metasepia has quit (*.net *.split). 16:18:27 -!- hogeyui_ has quit (*.net *.split). 16:18:29 -!- _46bit has quit (*.net *.split). 16:18:29 -!- myndzi has quit (*.net *.split). 16:18:30 -!- Frooxius has quit (*.net *.split). 16:18:30 -!- b_jonas has quit (*.net *.split). 16:18:31 -!- ggherdov has quit (*.net *.split). 16:18:31 -!- Halite has quit (*.net *.split). 16:18:34 -!- olsner has quit (*.net *.split). 16:18:34 -!- impomatic has quit (*.net *.split). 16:18:34 -!- rodgort has quit (*.net *.split). 16:18:36 -!- oklopol has quit (*.net *.split). 16:18:37 -!- yorick has quit (*.net *.split). 16:18:37 -!- iamcal has quit (*.net *.split). 16:18:40 -!- Sellyme has quit (*.net *.split). 16:19:49 -!- hogeyui_ has joined. 16:20:23 -!- yorick has joined. 16:20:37 -!- RJones has joined. 16:20:47 Netsplit. Netsplit everywhere. 16:21:26 -!- FireFly has joined. 16:21:26 -!- olsner has joined. 16:21:26 -!- impomatic has joined. 16:21:26 -!- metasepia has joined. 16:21:26 -!- rodgort has joined. 16:21:26 -!- myndzi has joined. 16:21:26 -!- _46bit has joined. 16:21:26 -!- oklopol has joined. 16:21:26 -!- iamcal has joined. 16:21:26 -!- Frooxius has joined. 16:21:26 -!- b_jonas has joined. 16:21:26 -!- Sellyme has joined. 16:21:26 -!- ggherdov has joined. 16:21:26 -!- Halite has joined. 16:21:34 LinearInterpol: what don't you get about thue's nondeterminism 16:21:47 how it works. 16:22:00 I understand it's a rewrite system and everything but.. 16:22:33 does outputting symbols suddenly trigger a race condition or something? 16:22:35 it's just that if more than one rule cn apply you have to pick one. 16:22:42 oh. 16:22:49 ohhhh. 16:22:51 oh.. 16:23:09 -!- jconn has joined. 16:23:30 so underneath you're just essentially using something like an RNG to select which definition to use. 16:23:59 or something to that effect to make said decision. 16:24:05 no. it's just not defined. 16:24:20 you could always pick the first one, or always pick the last one, or use an RNG on alternate tuesdays. 16:24:26 -!- jconn has quit (Remote host closed the connection). 16:24:32 alright. 16:24:36 -!- jconn has joined. 16:24:38 but in, say, the javascript implementation.. 16:24:43 that's what I'm wondering. 16:25:12 I mean abstractly yes it's undefined but my real gripe was in the implementation :P 16:25:27 -!- KingOfKarlsruhe has joined. 16:25:32 Oh. Which one? 16:25:33 -!- Gracenotes_ has joined. 16:25:41 the one at "lolwh.at"? 16:25:51 http://web.archive.org/web/20031210145310/http://cyberspace.org/~lament/thue.html 16:26:00 's the one that's linked on the wiki page. 16:26:08 The one on Esolang gives me a 403. 16:26:57 -!- Deewiant has joined. 16:27:01 It looks like it picks a rule randomly. 16:27:21 I initially thought it was some kind of race condition setup. 16:27:24 -!- Gracenotes has quit (Ping timeout: 264 seconds). 16:27:24 -!- yorick has quit (Ping timeout: 264 seconds). 16:27:27 But. 16:27:34 It does look just.. random. 16:27:45 "var selected = random_choice(matching_rules)" 16:28:02 yep. 16:28:41 -!- yorick has joined. 16:29:08 -!- hogeyui_ has quit (Ping timeout: 264 seconds). 16:30:08 -!- fizzie has joined. 16:31:07 -!- hogeyui_ has joined. 16:32:00 -!- glogbackup has quit (Read error: Connection reset by peer). 16:34:48 -!- MindlessDrone has joined. 16:36:11 -!- fungot has joined. 16:44:18 -!- glogbackup has quit (Ping timeout: 246 seconds). 16:51:26 hoily 17:01:35 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 17:05:41 -!- Phantom_Hoover has joined. 17:07:52 -!- Slereah has joined. 17:11:18 -!- Sprocklem has joined. 17:14:42 -!- monotone_ has changed nick to polytone. 17:16:05 -!- doesthiswork has joined. 17:22:30 -!- iksfiles has joined. 17:23:36 -!- Timwi has quit. 17:25:21 -!- nycs has changed nick to `^_^v. 17:25:27 -!- hogeyui_ has quit (Ping timeout: 240 seconds). 17:26:00 -!- hogeyui_ has joined. 17:26:12 -!- iksfiles has quit (Remote host closed the connection). 17:31:23 -!- RJones has quit (Remote host closed the connection). 17:33:37 -!- atriq has quit (Quit: Start anime transformation sequence!). 17:35:07 -!- zzo38 has quit (Remote host closed the connection). 17:36:27 -!- LinearInterpol has quit (Ping timeout: 246 seconds). 17:37:17 -!- LinearInterpol has joined. 17:42:15 -!- LinearInterpol has quit (Ping timeout: 272 seconds). 17:58:09 -!- mrhmouse has joined. 17:59:21 hintopia. 18:16:23 -!- LinearInterpol has joined. 18:21:16 -!- LinearInterpol has quit (Ping timeout: 272 seconds). 18:25:53 -!- shemarov has joined. 18:26:28 `relcome shemarov 18:26:30 ​shemarov: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 18:27:03 shachaf: wait. didn't I `relcome you already this morning? 18:27:13 s/shachaf/shemarov/ 18:27:19 boily: No, you've never `relcomed me. 18:27:24 No one has. 18:27:31 shachaf: but I mistabcompleted you. 18:27:36 `relcome shachaf 18:27:39 ​shachaf: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 18:27:43 `thanks boily 18:27:44 Thanks, boily. Thoily. 18:28:19 kmc: "new wood stoves" would be a good name for a ban 18:29:34 -_- 18:30:15 V. fancy, named bans. 18:30:34 -!- shemarov has quit (Remote host closed the connection). 18:31:27 *!*@* would be a good name for a ban 18:33:49 -!- muitnep has joined. 18:33:58 -!- muitnep has quit (Remote host closed the connection). 18:38:50 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:41:56 -!- Sprocklem has quit (Ping timeout: 250 seconds). 18:44:50 Quick Question 18:45:17 I'd like to do modulo 2 in brainfuck 18:45:23 on the values 0,1 and 2 18:45:35 so if(cell == 2) cell = 0 would work too 18:47:41 -!- nikeoxi has joined. 18:47:49 What? 18:48:14 Do you mean binary BF or something else 18:49:29 no 18:49:37 but doesn't matter anyway 18:49:39 Spacefish is TC 18:49:55 -!- nikeoxi has quit (Remote host closed the connection). 18:50:23 mroman: http://esolangs.org/wiki/Brainfuck_algorithms#x_.3D_x_.3D.3D_y, where y = 1? 18:51:35 (meanwhile, someone strange is doing something weird on IRC from 91.210.101.0/24...) 18:52:40 well 18:52:44 not 100% TC. 18:52:44 But 18:52:47 -!- AnotherTest has quit (Ping timeout: 260 seconds). 18:52:57 http://codepad.org/Hf6likTu 18:53:02 ^- that would be the principle 18:53:19 I assumed 8 is the highest value 18:53:25 but the same thing should apply to 255 as well 18:53:29 you just need more spacing 18:54:32 if you need a new cell, you set up the spacing 18:54:43 and subtract 6 (the constant pre-known distortion) from it 18:54:44 -!- Sprocklem has joined. 18:54:47 -!- dmarat has joined. 18:55:00 dmarat: who are you exactly? 18:55:23 `python print(31 /2) 18:55:24 python: can't open file 'print(31 /2)': [Errno 2] No such file or directory 18:55:32 `python "print (31 /2)" 18:55:34 python: can't open file '"print (31 /2)"': [Errno 2] No such file or directory 18:55:38 hm 18:55:39 whatever 18:55:43 `python -c 'print(31/2)' 18:55:45 ​ File "", line 1 \ 'print(31/2)' \ ^ \ IndentationError: unexpected indent 18:55:49 ... 18:55:52 * boily mapoles HackEgo 18:56:01 ~eval 31 `div` 2 18:56:02 `run python -c "print(31 / 2)" 18:56:03 `run python -c 'print(31/2)' 18:56:04 15 18:56:04 15 18:56:08 Error (1): 18:56:14 * boily facepalms 18:56:16 ~eval 31 `div` 2 18:56:17 15 18:56:24 @messages-lood 18:56:25 oerjan said 2d 16h 44m 57s ago: (Control.Arrow.>>>) 18:56:37 mrhmouse: well, there is also [->+>-[>+>>]>[+[-<+>]>+>>]<<<<<<] for divmodding. 18:56:39 :t (Control.Category.>>>) 18:56:41 Category cat => cat a b -> cat b c -> cat a c 18:56:46 @tell oerjan Thanks! 18:56:46 Consider it noted. 18:57:52 -!- muskrat has joined. 18:57:53 Though I don't think that's what I was looking for :P 18:58:17 I _think_ I wanted (a -> b) -> (c -> a) -> (c -> b) 18:58:31 composition? 18:58:45 Bike: yes.. wait.. I may have it backwards. 18:58:55 flip (.) ofc 18:58:57 I was looking for something like F#'s |> operator, out of curiousity 18:59:07 ain't got time for that nerd shit 18:59:21 Bike you are my favorite person. 18:59:32 Er, mode of transportation 18:59:35 http://codepad.org/QCN9hF7a 18:59:42 Works for 255 too 18:59:46 * boily sews wedding dresses for mrhmouse and Bike 18:59:53 -!- augur_ has quit (Remote host closed the connection). 18:59:56 boily, can I borrow your mapole? 19:00:03 i'm an athlete, everybody loves me 19:00:31 Now one just needs to find a way to determine when to allocate more memory 19:00:51 at least it's a finite state machine 19:01:05 mrhmouse: please yourself, go nuts, have fun, enjoy the mapole! 19:01:45 If you know how much memory your program needs, you can do the space initialization at program start 19:02:26 -!- dmarat has quit (Ping timeout: 272 seconds). 19:02:30 * mrhmouse mapoles boily 19:02:39 * mrhmouse gives it back 19:03:09 Maybe one can check if one has wrapped around 19:03:13 and then allocate more memory 19:03:20 mrhmouse: bleh :p 19:03:23 which would require to perform a memory check after every > or < 19:03:26 but hey 19:04:00 Can you check in Brainfuck for a certain cell value without using any other cell? 19:04:20 Without changing it? 19:04:38 Well 19:04:47 after the check it must have the same value as before the check 19:05:00 uh, how are you outputting a result then. 19:05:06 You could then set 'tape end' markers 19:05:15 and after every > or < you check if you are at the end of the tape 19:05:20 and then just allocate more memory 19:05:43 -!- LinearInterpol has joined. 19:06:28 maybe 19:06:38 oh wait 19:06:41 you can use other cells 19:06:45 I guess 19:07:15 you can use the spacing cells between real cells for temporary values 19:07:24 but you have to set them to 0 after you're done 19:09:31 that still doesn't explain output. 19:10:42 ah 19:10:49 I'll leave it to some bf-expert to figure out the rest :D 19:15:34 Well 19:16:21 -!- LinearInterpol has quit (Ping timeout: 252 seconds). 19:16:24 My bachelor thesis is gonna be about simulating masses of people in buildings 19:17:50 to determine if the building is capable of handling thousands of people walking different routes without jamming up 19:17:54 like train stations 19:18:32 if I'm actually doing the whole bachelor stuff 19:22:44 -!- muskrat has quit (Read error: Connection reset by peer). 19:23:01 -!- muskrat has joined. 19:27:17 -!- muskrat has quit (Client Quit). 19:39:28 ooh masses of people 19:39:38 i like it 19:40:21 or "groups of lots of people" 19:41:03 are calculations easier if you consider masses of groups of lots of people as a continous fluid? 19:41:23 mayb 19:41:59 the flow of people from floor to floor, gushing down staircases like the Niagara :D 19:42:24 -!- augur has joined. 19:42:26 it's a differential equation based approach 19:44:22 Navier-Stokes the liquid out of that approach. 19:44:32 Probably not 19:44:42 Navier-Stokes sounds sciency 19:46:21 engineeringly sciency. 19:47:12 I have no idea of sciency stuff 19:47:58 hoily 19:48:08 hintopia. 19:49:15 hmm, a map of a subway is not an optimal mouse pad for optical mice 19:49:38 the cursor tends to follow the subway lines 19:49:56 boily: i notice you have written some interpreters in python others in ruby. what do you do your work code in? 19:51:14 -!- Slereah has quit (Ping timeout: 264 seconds). 19:51:37 quintopia: python. 19:52:07 aubergine needs a python interp 19:52:20 I had my ruby phase when I was younger, back when I was still in Cégep. I'd say... 16 to 18 year old. 19:52:34 aubergine does need a python interp. 19:52:38 -!- Slereah has joined. 19:52:46 Write all interpreters in brainfuck 19:52:50 or a Haskell one. I could create an Aubergine monad :D 19:53:10 Haskell is too easy =P 19:53:14 if you don't python it, i will eventually 19:53:38 huh, there's an ISO Ruby nowadays 19:53:53 quintopia: suit yourself! (or the Québécois version: «gâte toé!») 19:53:57 olsner: say what? 19:54:18 what is groovy 19:54:39 i'm guessing grails is groovy on rails 19:55:00 (if I read more I expect to find it deprecated and completely incompatible with any ruby version that the rubyites are willing to use, it's already a year old after all) 19:56:14 boily: e.g. http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=59579 19:58:34 only CAD 283.60! 20:13:08 I've been playing around with something like delimited continuations and they are the most fun and mindbending ever 20:13:54 -!- LinearInterpol has joined. 20:18:55 (reset (list 1 (reset (list 2 (shift k (list 3 (funcall (k 4) 5))) (list 6 (shift w #'w)))))) => (1 (3 (2 4 (6 5)))) 20:33:27 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 26.0/20131205075310]). 20:34:56 -!- CADD has joined. 20:52:13 -!- Sprocklem has quit (Ping timeout: 245 seconds). 21:00:36 could anyone give step-by-step instructions for how one would construct Truth-machine in Onoz? 21:04:30 oh god delimited continuations 21:08:20 :D 21:08:59 maybe i've given up on understanding them :/ 21:10:41 I just used a macro to make my mock version of shift reset 21:11:09 they aren't /that/ hard to understand 21:11:13 i think 21:13:41 -!- Sprocklem has joined. 21:14:19 doesthiswork is beginning to show multiple personalities, one of them understanding delimited continuations. 21:15:38 I can successfully walk through them, it's just sometimes they don't do what I expect until I do 21:23:37 where is ais523. he'd know how to construct an infinite loop which is not provably so 21:24:06 * kmc uses a delimited continuation to jump to another timeline where he understands delimited continuations 21:26:30 -!- muskrat has joined. 21:27:18 they're really fun to nest 21:33:51 -!- augur has quit (Remote host closed the connection). 21:34:32 -!- augur has joined. 21:39:14 -!- augur has quit (Ping timeout: 264 seconds). 21:41:17 -!- boily has quit (Quit: UNDELIMITED CHICKEN). 21:41:18 -!- metasepia has quit (Remote host closed the connection). 22:06:14 -!- glogbackup has quit (Ping timeout: 240 seconds). 22:14:39 -!- Sprocklem has quit (Ping timeout: 246 seconds). 22:32:04 which reglangs do people in #esoteric use? 22:32:47 -!- augur has joined. 22:33:22 -!- augur has quit (Read error: Connection reset by peer). 22:33:35 -!- augur has joined. 22:33:47 non-eso langs? 22:35:52 kmc: yes. 22:36:15 -!- Slereah has quit (Read error: Connection reset by peer). 22:36:31 -!- Slereah has joined. 22:37:24 I know many here use Haskell, but talk earlier regarding Python, Ruby, Groovy, etc has me interested in what else is in use. I know that you, at least, use Rust 22:38:47 I am currently forced to use Python 22:39:04 Taneb: for university? 22:39:07 Aye 22:39:10 I used to write Haskell quite often, but not lately 22:41:01 lately it's mostly Rust, Python, C, Bash, GNU Make, JavaScript, x86 assembly 22:41:06 lisps for fuckwithing, matlab at woik 22:41:19 and i have a few things in verilog and javascript i should really finish. 22:43:30 i have been paid to write perl, haskell, c, c++, java, assembly, shell, make, rust, javascript, prolly some others 22:43:33 scheme if being a TA counts 22:43:51 remember when you were paid to write nops 22:44:07 yep 22:46:09 I currently use C#, CoffeeScript, and D most often. I'm learning Erlang & OCaml, and I have to use C#/JavaScript/T-SQL at work. 22:46:49 -!- muskrat has quit (Ping timeout: 252 seconds). 22:47:24 kmc: you were paid to write makefiles? specifically for the makefiles, or were they part of other projects you were on? 22:47:52 a programming project wth one person working specifically n the build process would be kind of neat. 22:48:05 that's common on large projects 22:48:17 it rapidly grows to be a full-time job 22:48:26 especially if you support lots of platforms 22:48:36 mrhmouse: part of other projects 22:49:48 does Rust have a dependency management system? I've been language-hopping lately looking for a language that I like _and_ that has a good dep manager. 22:50:27 something like NPM for NodeJS, Ruby Gems, D's Dub, Rebar, etc etc.. 22:52:42 not really 22:53:20 there's this rustpkg thing but it's not very complete 22:53:52 and I don't know about the current pace of development, since the main developer left Mozilla 22:54:14 you could look for docs or ask in #rust on irc.mozilla.org; they probably have a better idea how capable it is 22:54:17 I've only used it a little 22:54:55 the project I work on uses Make for the top-level build, and does build some individual dependencies with rustpkg, but we're having problems with it and we're probably switching away 22:55:23 I was only curious; Rust struck me as too low-level for my needs when I checked it out ages ago. Though their pointer types seem far nicer than C++ 22:55:48 -!- Sorella has joined. 22:55:50 it is a low-level language, yeah, though it's memory safe at the same time, which is really cool 22:56:18 and yeah, the pointer types express concepts which exist in C and C++, but in those languages they exist mostly in the programmer's head and can't be checked automatically 22:56:29 -!- Sorella has quit (Changing host). 22:56:29 -!- Sorella has joined. 22:57:48 I remember thinking that was useful (owned pointers, I think they're called?) 22:58:35 yeah C also has a notion of pointers which transfer ownership vs. those which don't 22:58:52 C or just C programmers? 22:58:53 for example, strdup takes the latter and returns the former 22:59:07 but there's zero compiler checking and if you screw it up you corrupt memory 22:59:16 shachaf: well, C APIs anyway 22:59:30 right, so it's not part of the language spec like in Rusy 22:59:44 yeah 22:59:44 s/sy/st 22:59:53 woo, C! 23:00:00 i mention this by way of heading off the criticism (not from you, but in general) that Rust has too many pointer types 23:00:06 mrhmouse: s|$|/| 23:00:07 on the other hand i heard that you can't do self.tree = in rust 23:00:08 it's just codifying and checking things that already exist 23:00:31 fizzie: but that yields "Rus", no? 23:00:44 mrhmouse: No, it just adds the / you were missing. 23:00:52 fizzie: d'oh! 23:01:20 kievan rus't 23:01:46 fizzie: regexes operating on regexes? that should be an esolang, oh wait 23:03:00 honestly I'd prefer to use C# more at home, but the most popular package manager has some issues on Mono 23:03:43 :/ 23:03:58 yeah, C# seems like a pretty good language, but I'm scared off using it more due to my impression that non-MS tools are half-baked 23:04:46 kmc: I can't vouch for MonoDevelop, if that's what you mean. I primarily use Vim & gmcs directly 23:05:07 Mono itself is pretty mature, though. 23:05:39 that's good 23:05:42 but this package manager isn't? 23:05:59 it's just that NuGet (the MS package manager) does things like hardcode paths to look for config files (%AppData%\LocalLow\something) 23:06:12 sigh 23:06:30 so it's more on the NuGet devs :/ 23:07:01 also, NuGet really shouldn't have existed in the first place.. there was already a package manager in place that works cross-platform, but MS rolled their own 23:07:52 -!- mrhmouse has quit (Quit: out for a bit). 23:09:10 -!- oerjan has joined. 23:09:24 http://chainsawsuit.com/comic/2013/12/16/the-age-of-bitcoins-is-over/ 23:11:17 @messages-lot 23:11:17 boily said 9h 48m 18s ago: oops. 23:11:17 boily said 9h 48m 3s ago: I'm stuck with a prosthetic vimperator. 23:11:17 boily said 9h 47m 50s ago: la la la ♪ 23:11:17 mrhmouse said 4h 14m 31s ago: Thanks! 23:41:25 http://blog.moertel.com/posts/2013-12-14-great-old-timey-game-programming-hack.html fun stuff 23:43:19 -!- Sgeo has joined. 23:44:59 Bike: oh gosh, the messing with the stack pointer thing. that reminds me of a post I saw once on how to get 8 registers on x86 23:45:09 by stuffing the stack pointer in a memory location and using esp as a register 23:45:09 i'm afraid. 23:45:13 yes. 23:45:27 i'm just kind of in awe that there was a "zero page" you could make be anywhere 23:45:32 it sounded like the kind of thing that could make the OS hate you 23:45:45 gosh, yeah, I still don't really understand the zero page thing, like, I've seen it in documentation for these old things but it's weird 23:46:47 instructions with a single byte offset can access the zero page in one cycle less than an instruction with two bytes offset 23:46:53 this thing has an OS? 23:47:02 (due to being one byte smaller) 23:47:08 well like, 6502 had two-byte addressing, where each one-byte block was a "page", and there was an addressing mode where you just use the second byte and the first byte is zero. 23:47:11 or dp, on this thing 23:50:18 AVR is kind of like that too 23:50:31 the "registers" are just the first n bytes of RAM, with a special compact addressing mode 23:51:18 yay, zero page. 23:51:58 so in Metroid all your stats were in the zp, as i remember 23:53:30 what'cha discussin'. 23:54:20 magic. 23:54:26 6502 you say 23:54:49 index registers ftw.