00:19:26 nortti_, ash 00:19:49 available in busybox 00:19:55 which version? 00:20:08 nortti_, the busybox one 00:20:13 I don't know any other version 00:20:18 (I am not going to include bb in my distro) 00:20:24 eh 00:20:55 I'm going to use toybox 00:21:21 (+sash for some bits currently) 00:23:43 -!- zzo38 has quit (Remote host closed the connection). 00:27:12 -!- derdon_ has joined. 00:30:14 -!- derdon has quit (Ping timeout: 265 seconds). 00:41:22 -!- DHeadshot has quit (Read error: Connection reset by peer). 00:41:27 -!- DH____ has joined. 00:49:51 -!- nortti_ has quit (Quit: AndroIRC - Android IRC Client ( http://www.androirc.com )). 00:52:50 -!- DH____ has quit (Read error: Connection reset by peer). 00:52:56 -!- DHeadshot has joined. 01:03:40 -!- DHeadshot has quit (Read error: Connection reset by peer). 01:06:43 -!- derdon_ has quit (Remote host closed the connection). 01:09:02 -!- pikhq has quit (Ping timeout: 244 seconds). 01:09:02 -!- TeruFSX has quit (Ping timeout: 244 seconds). 01:09:08 -!- pikhq_ has joined. 01:22:35 -!- augur_ has joined. 01:25:22 -!- augur has quit (Ping timeout: 246 seconds). 01:46:23 -!- augur has joined. 01:49:52 -!- augur_ has quit (Ping timeout: 246 seconds). 01:58:36 -!- Vorpal_ has joined. 01:59:08 -!- Vorpal has quit (Ping timeout: 252 seconds). 01:59:24 -!- Vorpal_ has changed nick to Vorpal. 02:10:37 -!- MDude has joined. 02:26:02 -!- MDuck has joined. 02:28:51 -!- MDude has quit (Ping timeout: 246 seconds). 02:29:12 -!- david_werecat has quit (Ping timeout: 252 seconds). 02:30:52 That's odd, I thought there was a language up somewhere that was more of a circuit diagram specification, and basically had a paragraph of description and an imbedded image of a diagram, but I can't find it on the wiki. 02:30:55 -!- MDuck has changed nick to MDude. 02:32:09 Maybe it was on another site and/or only appeared in a very realistic dream. 02:34:19 i think there are at least a couple of those 02:34:58 There are a few based on circuits, but I didn't see any wuite like what I thought I saw earlier. 02:35:22 circute is one 02:36:17 -!- stanley has joined. 02:36:26 Sir. Cut. 02:36:33 Yeah, but that's another one that was represented in text. For some reason I remember a page somewhere that has a big old image file on it. 02:36:38 and funciton is a recent one, that is quite pretty 02:38:59 -!- pikhq_ has quit (Ping timeout: 246 seconds). 02:39:05 -!- pikhq has joined. 02:39:25 -!- kmc has quit (Quit: leaving). 02:40:26 * oerjan tries to find the recent edit he is thinking of 02:42:43 MDude: what about Ziim? 02:43:22 that has lots of embedded images 02:44:06 Nah, it was specifically something that was fairly pixilated with a lot of brown wire things. 02:44:08 -!- kmc has joined. 02:44:56 Anyway, I'm not entire sure I need to find it aside from being curious about a thing I'm pretty sure I saw. 02:46:03 http://esolangs.org/wiki/Cvlemar maybe? 02:46:19 I mostly just wanted to eventually use an L-System/string rewriting system to quickly make huge complicated circuits that maybe do something interesting. 02:47:18 are you sure the wires were "brown"? 02:47:43 http://esolangs.org/w/index.php?title=Special%3AAllPages&from=&to=&namespace=6 isn't that large 02:47:48 Copper-looking anyway. At least I think, with each pixel representing a cell. 02:47:50 (all images) 02:48:09 you aren't just thinking of langton's ants? 02:48:22 If I wasn't asleep and dreaming the whole thing, I could ahve at least been very tired at the time. 02:48:30 which aren't really an esolang 02:48:38 or wireworld 02:48:41 I dunno, I think I read that it was a tool for making esoteric hardware. 02:48:52 Hm. I suspect that Attempto Controlled English can be used as a programming language. 02:48:58 I guess I should look specifically for that term. 02:50:10 I'm not sure if it can quite express everything we'd want to express, though. 02:51:08 Here's a plain-English description of ordered pairs: "Every ordered pair has a first part and a second part. For all X and Y, there is an ordered pair whose first part is X and whose second part is Y. For all ordered pairs A and B, if A's first part is B's first part and A's second part is B's second part, then A is B." 02:51:41 ACE definitely *has* quantifiers, but I don't know if they can get as sophisticated as "for all X and Y". 02:52:09 You mean the possibly-existant hardware description language, or using L-systems? 02:52:37 Apart from that, it seems like you can write mathematics in ACE. 02:52:42 Oh wait, never,ind, you meant something else intirely. 02:52:47 *entirely 02:52:51 The best thing about Attempto Controlled English is that its name looks like a typo for "attempt to control English". 02:53:50 -!- Sgeo_ has joined. 02:54:21 -!- Sgeo has quit (Ping timeout: 250 seconds). 02:56:41 Do you think Attempto Controlled English as a language might work a bit like ORK? 02:59:06 -!- MDuck has joined. 02:59:45 And then I disconected from the cable falling out, probably right after or even before the last thing I said. 03:02:37 -!- MDude has quit (Ping timeout: 240 seconds). 03:02:49 -!- MDuck has changed nick to MDude. 03:04:08 -!- itidus22 has joined. 03:05:15 eek he's incremented beyond 03:05:49 :O 03:07:52 -!- itidus20 has quit (Ping timeout: 244 seconds). 03:14:28 itidus2012 03:14:30 the mayans warned us 03:15:45 it 'id us (in) 03:18:58 !bfjoust 3pac >+>->+>->+>->+>>++>--<<(-)*6<(+)*6<(-)*6<(+)*6<(-)*15<(+)*15<(-)*20<(+)*40>(-)*20>(+)*15>(-)*15>>>>>>(>[((-)*3([+{(+)*35[-][+]}[-]])%6(+)*2>)*2((+)*3([-{(-)*40[+][-]}[+]])%6(+)*2>)*18](+)*2)*21 03:19:05 ​Score for quintopia_3pac: 40.2 03:19:50 !bfjoust 3pac >+>->+>->+>->+>(-)*6<(+)*6<(-)*6<(+)*6<(-)*15<(+)*15<(-)*20<(+)*40>(-)*20>(+)*15>(-)*15>>>>>>(>[((-)*3([+{(+)*35[-][+]}[-]])%6(+)*2>)*2((+)*3([-{(-)*40[+][-]}[+]])%6(+)*2>)*18](+)*2)*21 03:19:52 ​Score for quintopia_3pac: 41.0 03:20:08 !bfjoust 3pac >+>->+>->+>->+>(-)*6<(+)*6<(-)*6<(+)*6<(-)*15<(+)*15<(-)*20<(+)*40>(-)*20>(+)*15>(-)*15>>>>>>>(>[((-)*3([+{(+)*35[-][+]}[-]])%6(+)*2>)*2((+)*3([-{(-)*40[+][-]}[+]])%6(+)*2>)*18](+)*2)*21 03:20:11 ​Score for quintopia_3pac: 38.0 03:20:21 !bfjoust 3pac >+>->+>->+>->+>(-)*6<(+)*6<(-)*6<(+)*6<(-)*15<(+)*15<(-)*20<(+)*40>(-)*20>(+)*15>(-)*15>>>>>>(>[((-)*3([+{(+)*35[-][+]}[-]])%6(+)*2>)*2((+)*3([-{(-)*40[+][-]}[+]])%6(+)*2>)*18](+)*2)*21 03:20:24 ​Score for quintopia_3pac: 41.0 03:21:07 !bfjoust 3pac >+>->+>->+>->+>(-)*6>--<<(+)*6<(-)*6<(+)*6<(-)*15<(+)*15<(-)*20<(+)*40>(-)*20>(+)*15>(-)*15>>>>>>(>[((-)*3([+{(+)*35[-][+]}[-]])%6(+)*2>)*2((+)*3([-{(-)*40[+][-]}[+]])%6(+)*2>)*18](+)*2)*21 03:21:10 ​Score for quintopia_3pac: 41.4 03:21:28 !bfjoust 3pac >+>->+>->+>->+>(-)*6>-->++<<<(+)*6<(-)*6<(+)*6<(-)*15<(+)*15<(-)*20<(+)*40>(-)*20>(+)*15>(-)*15>>>>>>(>[((-)*3([+{(+)*35[-][+]}[-]])%6(+)*2>)*2((+)*3([-{(-)*40[+][-]}[+]])%6(+)*2>)*18](+)*2)*21 03:21:30 ​Score for quintopia_3pac: 40.6 03:21:35 !bfjoust 3pac >+>->+>->+>->+>(-)*6>--<<(+)*6<(-)*6<(+)*6<(-)*15<(+)*15<(-)*20<(+)*40>(-)*20>(+)*15>(-)*15>>>>>>(>[((-)*3([+{(+)*35[-][+]}[-]])%6(+)*2>)*2((+)*3([-{(-)*40[+][-]}[+]])%6(+)*2>)*18](+)*2)*21 03:21:38 ​Score for quintopia_3pac: 41.4 03:24:33 -!- madbr has joined. 03:25:31 haha someone is giving the worst linux audio slander 03:25:33 MickRip: that's because no actual musicians use linux, only college kids with laptops, and autistic neckbeards who are obsessed with sheet music typography 03:28:07 -!- itidus22 has changed nick to itidus21. 03:29:19 -!- TodPunk has quit (Read error: Connection reset by peer). 03:29:39 haha 03:32:05 -!- TodPunk has joined. 04:04:44 -!- MDude has changed nick to MDream. 04:10:21 -!- kallisti has joined. 04:10:21 -!- kallisti has changed nick to spirity. 04:10:21 -!- spirity has quit (Changing host). 04:10:21 -!- spirity has joined. 04:19:56 -!- zzo38 has joined. 04:20:24 -!- edwardk has joined. 04:27:07 -!- david_werecat has joined. 04:34:30 -!- TodPunk has quit (Read error: Connection reset by peer). 04:43:28 -!- TodPunk has joined. 04:47:38 edwardk: Is (Codensity ((->) x)) like a (State x) monad? 04:47:52 yes 04:48:00 there is even a good reason ;) 04:49:07 And then I think to read the state would be (Codensity join)? 04:49:42 probably, i don't usually write it that way 04:49:51 the motivation for it is 04:49:52 http://hackage.haskell.org/packages/archive/kan-extensions/2.7/doc/html/Data-Functor-KanExtension.html#v:ranToComposedAdjoint 04:50:07 where h = g = (->) e 04:50:30 so it really is state ;) 04:50:42 its just another way to compose the adjunction that gives rise to state 04:50:43 I just figure out by myself it is like state monad; but, always in mathematics that is what happen many people can figure out the same or similar kind of things independently 04:51:08 sure. just giving a theoretical justification for why it has the properties of state 04:51:14 OK 04:52:38 I have also figured out the monad it is like a state monad but instead of having return value and state value, it has a return value or a state value, not both. If you have >>= then whatever on the right if the left is a return value to read the return value, while <|> is reading the state value from the left on the right. 04:52:48 In my program it is called (CodensityAsk (Store x)) 04:53:21 i still have no idea what that is supposed to be ;) 04:53:26 i'm just on for a few minutes though 04:53:30 Does this have a meaning too or not or you don't know? 04:53:41 it means nothing to me 04:53:46 What do you have no idea what that is supposed to be? 04:53:56 It is what I described and it is achieved for free. 04:55:12 What parts did you not understand? 04:56:36 its not that i don't understand it its that it doesn't strike me as fundamental in any way shape or form 04:56:58 i can mash a bunch of crap together and make a data type, but without a motivation for it, i tend to be disinclined to do so ;) 04:57:17 -!- edwardk has quit (Quit: Leaving...). 04:57:21 Well, it is not completely fundamental, but it is not as messy as it seem at first. 04:58:06 * spirity can't set up his mail server to forward emails to save his life.forwarding 04:58:11 itt: zzo38 out-abstracts edwardk so much that he flees 04:58:13 -forwarding (????) 04:58:18 -!- spirity has changed nick to kallisti. 04:58:27 oerjan: Is that how they work? 04:58:52 sorry, i cannot answer that, although if you keep asking i _might_ flee too. 04:58:54 I am not sure for that to be a reason. 04:59:07 oerjan: Why? 04:59:25 because i'm out-abstracted, of course... 04:59:59 * oerjan has less patience with category theory these days. 05:05:38 I'm running out of patience with email servers... 05:08:18 i'm running out of patients at the clinic 05:09:15 I'm running out of pay shuns to perform 05:11:51 i'm sure that what i just said could have been a good joke, but it's not 05:22:41 -!- kallisti has quit (Quit: leaving). 05:44:05 !bfjoust a http://sprunge.us/ZbIB 05:44:09 ​Score for quintopia_a: 60.0 05:49:24 !bfjoust a http://sprunge.us/GZMV 05:49:27 ​Score for quintopia_a: 58.0 05:50:35 !bfjoust a http://sprunge.us/XYWZ 05:50:38 ​Score for quintopia_a: 59.5 05:51:56 !bfjoust a http://sprunge.us/JQYR 05:51:59 ​Score for quintopia_a: 60.4 05:55:42 * quintopia hires coppro to perform a shun 05:55:52 !bfjoust a http://sprunge.us/AJKZ 05:55:55 ​Score for quintopia_a: 60.1 05:56:02 !bfjoust a http://sprunge.us/JQYR 05:56:05 ​Score for quintopia_a: 60.4 05:56:38 quintopia: thanks, this will last me another week! 05:56:50 because i'm out-abstracted, of course... <-- shouldn't you be sleeping this time of the day? 05:59:26 tolerance for abstraction correlates strongly with the time since you last had a good full sleep 06:01:02 -!- oerjan has quit (Quit: MAYBE). 06:02:15 itidus21: in which direction? 06:02:54 conversely, the longer it has been since you had a good sleep can result in increased heart rate, lowered blood pressure, impairment of short-term and working memory, psychomotor coordination, and concentration 06:03:40 -!- zzo38 has quit (Quit: NOT QUITE). 06:04:41 joke 06:07:02 itidus21: and what does this have to do with abstraction? 06:07:07 I demand you explain it with colimits 06:20:22 a = b = (->) c, (Abc d), (Xyz ((-> a)) 06:21:07 insufficient 06:21:39 wonder if you could rig up a svn to do turing complete calculation 06:21:50 which is infact, h = g = (->) e, (State x), (Codensity ((->) x)) in disguise 06:22:05 ah 06:22:12 and where is the colimit 06:22:17 i don't know 06:22:18 madbr: it's called a hook 06:46:07 -!- pikhq_ has joined. 06:49:56 -!- pikhq has quit (Ping timeout: 248 seconds). 07:11:17 -!- madbr has quit (Quit: Radiateur). 07:46:28 -!- david_werecat has quit (Ping timeout: 248 seconds). 08:06:07 -!- nooga has quit (Ping timeout: 240 seconds). 08:17:24 -!- copumpkin has quit (Ping timeout: 248 seconds). 08:17:57 -!- copumpkin has joined. 08:21:45 -!- asiekierka_ has joined. 08:21:51 nortti: zx-lisp isn't yet available anywhere, no. Also it will be dynamically typed 08:40:33 -!- nooga has joined. 08:44:18 -!- soundnfury has quit (Ping timeout: 252 seconds). 08:47:09 -!- AnotherTest has joined. 08:48:08 -!- AnotherTest has quit (Client Quit). 08:48:17 -!- AnotherTest has joined. 08:55:12 -!- nooga has quit (Ping timeout: 255 seconds). 09:08:56 -!- pikhq has joined. 09:10:07 -!- pikhq_ has quit (Ping timeout: 240 seconds). 09:11:39 -!- Vorpal has quit (Ping timeout: 276 seconds). 09:11:39 -!- Taneb has joined. 09:11:43 Hello 09:17:06 http://9gag.com/gag/4754020 09:20:29 kmc: #haskell-* is lamenting your absence. 09:21:42 @djinn (a -> r -> b) -> (r -> a) -> r -> b 09:21:43 f a b c = a (b c) c 09:22:26 @@ @pl @djinn (a -> r -> b) -> (r -> a) -> r -> b 09:22:26 f = flip flip id . liftM2 09:22:44 that looks awfully similar to the (r ->) comonad, really 09:22:58 (r ->) is a comonad? 09:23:04 no wait 09:23:06 How does that work? 09:23:22 @djinn (m a) -> (m a -> m b) -> m b 09:23:22 f a b = b a 09:23:43 shachaf: it's the dual of the (-> r) monad 09:23:53 @@ @pl @djinn (m a) -> (m a -> m b) -> m b 09:23:53 f = flip id 09:24:29 shachaf: apparently you also need r to be a monoid 09:24:45 coppro: coreturn :: (r -> a) -> a? 09:25:04 Ah, if r is a monoid then you can give it mempty? 09:25:30 yeah 09:25:52 @src Comonad ((->)m) 09:25:53 Source not found. Where did you learn to type? 09:25:57 What's the rest of the definition? 09:26:00 bah, wasn't sure that would work 09:26:03 duplicate f m = f . mappend m 09:26:04 extract f = f mempty 09:26:24 Hm. 09:27:12 duplicate is (r -> a) -> r -> r -> a 09:28:07 sadly, Taneb's r is in the wrong place to work in the comonad 09:28:17 I was going for the monad 09:28:43 Monoid m => ((->) m) is a comonad 09:29:04 @src ((->) r) (>>=) 09:29:05 Source not found. I am sorry. 09:29:12 @src (>>=) ((->) r) 09:29:12 Source not found. My brain just exploded 09:29:15 :( 09:29:29 Taneb: your r is /definitely/ in the wrong place for a monad 09:29:37 :t (=<<) 09:29:39 forall a (m :: * -> *) b. (Monad m) => (a -> m b) -> m a -> m b 09:29:52 Replace m with r -> 09:30:02 You get (a -> r -> b) -> (r -> a) -> r -> b 09:30:15 yeah, but (r ->) isn't a monad 09:30:23 ...yes it is 09:30:43 really? 09:30:47 Ye 09:30:48 s 09:31:03 are you sure you aren't confusing it with (-> r)? 09:31:16 > do {x <- (\r -> 10), return x + 1)} 7 09:31:17 : parse error on input `,' 09:31:22 > do {x <- (\r -> 10); return x + 1)} 7 09:31:23 : parse error on input `)' 09:31:27 > do {x <- (\r -> 10); return x + 1} 7 09:31:28 : parse error on input `7' 09:31:35 :t do {x <- (\r -> 10); return x + 1)} 09:31:37 parse error on input `)' 09:31:40 :t do {x <- (\r -> 10); return x + 1} 09:31:42 forall t b. (Num b, Monad ((->) t), Num (t -> b)) => t -> b 09:31:44 * coppro applauds 09:31:45 :? 09:32:52 f >>= k = \ r -> k (f r) r 09:32:59 Control.Monad.Instances 09:33:53 where? 09:34:08 In base? 09:34:16 no, where in the library? 09:34:20 http://hackage.haskell.org/packages/archive/base/4.5.1.0/doc/html/src/Control-Monad-Instances.html 09:34:26 Near the top 09:34:35 that's (-> r) 09:34:43 That's ((->) r) 09:34:47 Which is (r ->) 09:35:00 oh man i fail so hard tonight 09:35:04 * coppro goes off to sleep 09:35:08 :) 09:35:20 ^ cheery-up smile 09:35:23 * nortti just woke up 09:47:12 -!- soundnfury has joined. 09:47:38 soundnfury: I meant lexical or dynamical scoping 09:48:06 um, I don't think it has scoping at all 09:48:24 as soon as something's SETted, it's globally in scope 09:49:31 but I meant like in (def foo (bar)) ((lambda x (foo) baz) if x visible in bar? 09:50:36 hang on, are we (here) talking about ZX-LISP, or the lisp-like markup language? 09:50:39 coppro: No, (r ->) is a monad. 09:50:47 zx-lisp 09:50:51 Ah, you said that. 09:50:55 right 09:52:46 so something like (set foo (x x)) ((lambda x (foo) baz). That's a syntax error, you've got too many ( 09:52:49 what did you intend? 09:53:27 ((lambda x foo) baz)? 09:53:56 I mean like if function foo has function call to function bar does bar see foo's variables 09:54:08 in which case, (set foo (x x)) ((lambda x foo) baz) would produce (baz baz) 09:54:27 yes 09:54:42 yeah basically when you SET something, it goes on the variable-list, which is a list of conses ("name", pointer-to-value) 09:55:01 and then any name is only dereferenced when it's encountered 09:55:12 okay 09:56:57 so (lambda x foo) will temporarily bind x to the lambda in some way (I think by setting a flag on the cons to say "this is a lambda, not a variable") while it's being evaluated 09:57:53 and so then when baz is passed in, it will bind x to *baz, and then it evaluates foo and finds "Ah, this is (x x)", then evaluates the xs and gets (baz baz) 09:58:46 ok. so dynamicaly scoped 10:09:29 I've just seen a Java method of 381 lines. 10:09:34 I'm shocked. 10:09:43 what did it do? 10:09:48 I've just seen a Java method <- you could have stopped there, frankly 10:09:51 it's bad enough already 10:10:11 It's a sequence of if ... else 10:10:19 381 lines long 10:10:48 what is it's purpose 10:10:54 and they wrapped that in an if-statement 10:11:05 handlers for a game client 10:11:26 https://github.com/PenguinClientLibrary/JPCL/blob/master/com/PenguinClientLibrary/JPCL/Cucumber.java 10:11:50 This is probably some of the worst code I've ever seen in my life 10:12:07 -!- copumpkin has quit (Ping timeout: 246 seconds). 10:12:19 AnotherTest, have you seen my attempt at haskell obfuscation? 10:12:28 It's the worst code I've ever seen in my life 10:12:32 Does its job, though 10:12:39 -!- copumpkin has joined. 10:12:48 Yes, but it's intended to be horrible 10:12:56 I think this is serious 10:12:57 Of course, it takes a couple of minutes if you put in 10, and crashes if you put in 11 10:14:07 @src (++0 10:14:07 Source not found. Are you on drugs? 10:14:10 @src (++) 10:14:10 [] ++ ys = ys 10:14:10 (x:xs) ++ ys = x : (xs ++ ys) 10:14:10 -- OR 10:14:10 xs ++ ys = foldr (:) ys xs 10:14:20 :( 10:14:24 :) 10:14:36 :? 10:14:42 oh god 10:14:46 I agree 10:15:01 but in this case I should say well done 10:15:04 :) 10:15:40 Are you looking at this version? http://hpaste.org/raw/71201 10:16:13 I could probably make it shorter with a few $'s 10:16:31 http://hpaste.org/71206 10:16:44 That was me trying to be arty 10:16:50 The code itself is exactly the same 10:16:59 But my artiness failed a bit :( 10:17:46 not to insult your art but, what does the shape represent? 10:17:56 An exclamation mark, on its side 10:18:05 Yeah, it sucks 10:18:07 oh yes, I can see that 10:18:19 I should now show some of my own work 10:18:27 it's C++ though, I hope you don't midn 10:18:29 *mind 10:18:37 I don't really know C++ at all 10:18:51 (which is really bad, considering it's the second programming language I tried to learn) 10:18:55 But I'll give it a look 10:19:24 and it's christmas like 10:19:29 -!- pikhq_ has joined. 10:19:32 http://ideone.com/4KSaH 10:19:40 -!- pikhq has quit (Ping timeout: 248 seconds). 10:19:48 (because it was Christmas at the time I wrote it) 10:20:12 It's not really that complicated 10:20:25 It's mainly the shape really 10:24:44 @ping 10:24:45 pong 10:24:45 :( 10:26:39 Someone care to explain the reasoning of Esoteric Languages to me? 10:27:05 what do you mean by "reasoning of Esoteric Languages"? 10:27:39 Why people do it? 10:27:48 for fun 10:27:52 mostly 10:28:03 Is the aim just to confuse people or what? 10:28:06 or to prove a point 10:28:15 It seems like having fun with confusing people 10:28:15 (cf. dennis ritchie) 10:29:08 hmm. I just create languages I find interesting 10:29:57 not necessarily to confuse people 10:30:28 stanley: although i am guilty of ruining this channel, ex officio, i have nonetheless some constructive comments 10:30:29 most of my languages were created when I was bored at math class 10:30:57 itidus21: what do you mean? 10:31:06 check the channel topic :D 10:31:21 ah 10:31:38 itidus21: What are your constructive comments? 10:31:47 http://esolangs.org/wiki/Esoteric_programming_language under Purpose maybe 10:32:13 i think one goal of esolangs is to strip away meaningless details 10:33:09 for instance, the emphasis tends to be on the core languages rather than using any libraries or APIs 10:33:15 oh I see 10:34:07 they can have built in functionality, but third party libraries are rare 10:34:31 it's not really about making anything which requires external libraries or APIs 10:34:36 The itidus21 guide to esoteric languages. 10:34:38 For sale now. 10:34:45 At amazon.com 10:34:53 Free shipping! 10:35:03 hmm 10:35:08 i can do better 10:35:19 price is 0x25 dollars 10:35:24 -!- Taneb has quit (Read error: Connection timed out). 10:35:24 > 0x25 10:35:26 37 10:35:38 That's alotta dollars. 10:36:06 100101 10:36:15 it has a lot to do with the things that don't get taught in schools that often 10:36:19 > 0b100101 10:36:20 Not in scope: `b100101' 10:36:56 hummmm 10:37:00 > succ . (2*) . (2*) . succ . (2*) . (2*) . (2*) . succ . (2*) $ 0 10:37:03 37 10:37:11 aha 10:43:04 -!- asiekierka_ has quit (Remote host closed the connection). 10:47:12 stanley: some of the things that goes on is writing efficient programs in esolangs 10:47:27 Oh yes, because you do not have all of the extra stuff 10:47:35 hmm.. 10:47:46 It doesn't look efficient to write in though 10:47:49 i am clueless... the way i see myself here is 10:47:49 0t1101. Shame, it doesn't have any As in 10:48:14 i am like if your grandma walked into CERN and started trying to make relevant conversations 10:48:33 Oh, I am the same 10:48:37 ya.. 10:49:02 stanley: basically, the entire purpose of the esolang community is, we're trying to invent a language that's worse than Haskell. We're not there yet, though some of the funges are close. 10:49:15 -!- pikhq_ has quit (Ping timeout: 244 seconds). 10:49:16 so, ok brainfuck is apparently inspired by the goal of writing the smallest possible compiler 10:49:23 soundnfury: Sounds tough to do, good luck. ;) 10:49:29 -!- pikhq has joined. 10:49:37 itidus21: wouldn't the smallest possible compiler be for subleq? 10:49:40 the OISC? 10:49:52 hmm 10:50:00 i don't know 10:50:01 since the source code consists of triples of numbers 10:50:09 :D 10:50:15 you could mandate that the numbers are in unary 10:50:48 anyway, another thing about brainfuck is that it happens to be very similar to some simple programming language described in an old mathematical paper 10:50:51 then your compiler is just reading lists of, say, * and counting them 10:50:56 itidus21: P' 10:51:06 (P-prime) 10:51:06 P'' 10:51:09 oh 10:51:09 sorry 10:51:14 it is unknown if this is a coincedence 10:51:27 why don't we just ask the creator of brainfuck 10:51:57 from the esolang wiki "It is not known to what extent Mller was aware of or influenced by Bhm's language P'' published in 1964, of which brainfuck can be considered a minor variation. " 10:52:06 :D 10:55:17 some mathematician named david hilbert had this problem for mathematicians called the decision problem. 2 people named alan turing and alonzo church came up with solutions which are somehow very important to computing 10:56:03 many esolangs are based fairly directly on the work of alan turing and alonzo church 10:56:46 and other mathematicians too probably 10:58:50 usually the entire esolang, with all it's syntax and rules can be described on a single article page 10:59:17 unlike many mainstream and proprietry languages which tend to require a book 11:01:11 another common theme seems to be converting and compiling from one esolang to another 11:01:52 ^interpreting and compiling 11:02:28 also writing an interpreter of a language, in that language 11:03:06 eg. a brainfuck interpreter written in brainfuck 11:05:15 another aspect of esolangs is exploring different ways of representing sourcecode, such as images or music 11:05:49 and then there are the joke languages 11:07:53 joke languages often push ideas to extreme absurdities 11:09:17 i have ranted too long 11:14:17 -!- asiekierka_ has joined. 11:29:01 -!- Jafet has joined. 11:43:06 -!- copumpkin has quit (*.net *.split). 11:43:06 -!- TodPunk has quit (*.net *.split). 11:43:06 -!- itidus21 has quit (*.net *.split). 11:43:06 -!- olsner has quit (*.net *.split). 11:43:07 -!- comex has quit (*.net *.split). 11:43:37 -!- copumpkin has joined. 11:44:32 -!- TodPunk has joined. 11:44:33 -!- itidus21 has joined. 11:44:33 -!- olsner has joined. 11:44:33 -!- comex has joined. 11:44:48 wb guys 11:49:48 -!- pikhq has quit (Ping timeout: 248 seconds). 11:49:51 -!- pikhq_ has joined. 11:52:55 -!- elliott has joined. 11:53:09 someone make http://esolangs.org/wiki/BF_Joust not suck, because http://esolangs.org/wiki/BF_Joust_strategies is so good that I want to feature the former as an excuse to promote the latter 11:53:11 -!- elliott has left ("Leaving"). 11:53:17 -!- elliott has joined. 11:53:20 whoops I had other things to say about it: 11:53:29 it is quite honestly the best-written and probably most useful page on the wiki 11:53:30 -!- elliott has left ("Leaving"). 12:07:19 -!- nooga has joined. 12:07:19 -!- boily has joined. 12:14:18 -!- derdon has joined. 12:15:20 -!- boily has quit (Quit: WeeChat 0.3.8). 12:18:22 -!- boily has joined. 13:06:34 -!- Slereah_ has joined. 13:09:37 -!- Slereah has quit (Ping timeout: 246 seconds). 13:22:00 -!- ais523 has joined. 13:29:57 -!- pikhq has joined. 13:29:59 -!- pikhq_ has quit (Ping timeout: 250 seconds). 13:40:47 elliott so mean 13:46:32 -!- MDuck has joined. 13:47:19 -!- TeruFSX has joined. 13:49:03 -!- MDream has quit (Ping timeout: 244 seconds). 13:53:05 !bfjoust [>->+>->+] 13:53:05 ​Use: !bfjoust . Scoreboard, programs, and a description of score calculation are at http://codu.org/eso/bfjoust/ 13:53:14 !bfjoust [muh >->+>->+] 13:53:21 ​Score for mroman__muh: 0.0 13:53:29 !bfjoust muh [>->+>->+] 13:53:32 ​Score for mroman_muh: 0.0 13:53:38 :) 13:53:58 Looks like it'd run out of the right end pretty fast. 14:00:19 -!- esowiki has joined. 14:00:23 -!- esowiki has joined. 14:00:24 -!- esowiki has joined. 14:00:59 -!- esowiki has joined. 14:01:03 -!- esowiki has joined. 14:01:04 -!- esowiki has joined. 14:01:39 -!- esowiki has joined. 14:01:43 -!- esowiki has joined. 14:01:44 -!- esowiki has joined. 14:02:19 -!- esowiki has joined. 14:02:24 -!- esowiki has joined. 14:02:24 -!- esowiki has joined. 14:02:59 -!- esowiki has joined. 14:03:04 -!- esowiki has joined. 14:03:04 -!- esowiki has joined. 14:03:39 -!- esowiki has joined. 14:03:44 -!- esowiki has joined. 14:03:44 -!- esowiki has joined. 14:04:20 -!- esowiki has joined. 14:04:24 -!- esowiki has joined. 14:04:24 -!- esowiki has joined. 14:05:00 -!- esowiki has joined. 14:05:04 -!- esowiki has joined. 14:05:04 -!- esowiki has joined. 14:05:40 -!- esowiki has joined. 14:05:44 -!- esowiki has joined. 14:05:44 -!- esowiki has joined. 14:06:20 -!- esowiki has joined. 14:06:24 -!- esowiki has joined. 14:06:24 -!- esowiki has joined. 14:07:00 -!- esowiki has joined. 14:07:04 -!- esowiki has joined. 14:07:04 -!- esowiki has joined. 14:07:40 -!- esowiki has joined. 14:07:44 -!- esowiki has joined. 14:07:44 -!- esowiki has joined. 14:08:20 -!- esowiki has joined. 14:08:24 -!- esowiki has joined. 14:08:24 -!- esowiki has joined. 14:09:00 -!- esowiki has joined. 14:09:04 -!- esowiki has joined. 14:09:05 -!- esowiki has joined. 14:09:40 -!- esowiki has joined. 14:09:44 -!- esowiki has joined. 14:09:45 -!- esowiki has joined. 14:10:20 -!- esowiki has joined. 14:10:24 -!- esowiki has joined. 14:10:25 -!- esowiki has joined. 14:11:00 -!- esowiki has joined. 14:11:04 -!- esowiki has joined. 14:11:05 -!- esowiki has joined. 14:11:40 -!- esowiki has joined. 14:11:44 -!- esowiki has joined. 14:11:45 -!- esowiki has joined. 14:12:20 -!- esowiki has joined. 14:12:24 -!- esowiki has joined. 14:12:25 -!- esowiki has joined. 14:13:00 -!- esowiki has joined. 14:13:04 -!- esowiki has joined. 14:13:05 -!- esowiki has joined. 14:13:40 -!- esowiki has joined. 14:13:44 -!- esowiki has joined. 14:13:45 -!- esowiki has joined. 14:14:20 -!- esowiki has joined. 14:14:24 -!- esowiki has joined. 14:14:25 -!- esowiki has joined. 14:15:00 -!- esowiki has joined. 14:15:04 -!- esowiki has joined. 14:15:05 -!- esowiki has joined. 14:15:40 -!- esowiki has joined. 14:15:45 -!- esowiki has joined. 14:15:45 -!- esowiki has joined. 14:16:20 -!- esowiki has joined. 14:16:25 -!- esowiki has joined. 14:16:25 -!- esowiki has joined. 14:17:00 -!- esowiki has joined. 14:17:05 -!- esowiki has joined. 14:17:05 -!- esowiki has joined. 14:17:41 -!- esowiki has joined. 14:17:45 -!- esowiki has joined. 14:17:45 -!- esowiki has joined. 14:18:21 -!- esowiki has joined. 14:18:25 -!- esowiki has joined. 14:18:25 -!- esowiki has joined. 14:19:01 -!- esowiki has joined. 14:19:05 -!- esowiki has joined. 14:19:05 -!- esowiki has joined. 14:19:41 -!- esowiki has joined. 14:19:45 -!- esowiki has joined. 14:19:45 -!- esowiki has joined. 14:20:21 -!- esowiki has joined. 14:20:25 -!- esowiki has joined. 14:20:25 -!- esowiki has joined. 14:21:01 -!- esowiki has joined. 14:21:05 -!- esowiki has joined. 14:21:05 -!- esowiki has joined. 14:21:41 -!- esowiki has joined. 14:21:45 -!- esowiki has joined. 14:21:46 -!- esowiki has joined. 14:22:21 -!- esowiki has joined. 14:22:25 -!- esowiki has joined. 14:22:26 -!- esowiki has joined. 14:23:01 -!- esowiki has joined. 14:23:05 -!- esowiki has joined. 14:23:06 -!- esowiki has joined. 14:23:41 -!- esowiki has joined. 14:23:45 -!- esowiki has joined. 14:23:46 -!- esowiki has joined. 14:24:21 -!- esowiki has joined. 14:24:25 -!- esowiki has joined. 14:24:26 -!- esowiki has joined. 14:25:01 -!- esowiki has joined. 14:25:05 -!- esowiki has joined. 14:25:06 -!- esowiki has joined. 14:25:41 -!- esowiki has joined. 14:25:45 -!- esowiki has joined. 14:25:46 -!- esowiki has joined. 14:26:21 -!- esowiki has joined. 14:26:25 -!- esowiki has joined. 14:26:26 -!- esowiki has joined. 14:27:01 -!- esowiki has joined. 14:27:05 -!- esowiki has joined. 14:27:06 -!- esowiki has joined. 14:27:18 -!- glogbot has joined. 14:27:18 [freenode-info] channel trolls and no channel staff around to help? please check with freenode support: http://freenode.net/faq.shtml#gettinghelp 14:27:19 -!- glogbackup has left. 14:27:20 -!- HackEgo has joined. 14:28:04 -!- AnotherTest has quit (Ping timeout: 248 seconds). 14:29:29 -!- AnotherTest has joined. 14:29:32 makes sense. 14:30:31 I probably shouldn't try it again. 14:32:10 Although... 14:32:28 !bfjoust decoy [>->+>->+<<<<] 14:32:32 ​Score for mroman_decoy: 0.1 14:32:51 !bfjoust decoy [>->+>->+<<<<][>][-] 14:32:54 ​Score for mroman_decoy: 0.1 14:33:15 !bfjoust decoy [>->+>->+<<<<]+ 14:33:19 ​Score for mroman_decoy: 0.1 14:33:24 !bfjoust decoy [>->+>->+<<<<][>-] 14:33:28 ​Score for mroman_decoy: 0.1 14:33:31 hm. 14:33:39 -!- Gregor has joined. 14:33:39 !bfjoust decoy [>->+>->+<<<<][<-] 14:33:43 ​Score for mroman_decoy: 0.1 14:33:50 Gregor: What happened? 14:35:18 !bfjoust decoy [>->+>->+<<<] 14:35:21 ​Score for mroman_decoy: 0.1 14:35:31 The tape apparently doesn't wrap around. 14:42:23 -!- ais523_ has changed nick to ais523. 15:04:39 -!- ogrom has joined. 15:10:52 -!- ais523 has quit. 15:25:07 -!- pikhq has quit (Ping timeout: 240 seconds). 15:25:13 -!- pikhq_ has joined. 15:49:56 -!- azaq23 has joined. 15:50:05 -!- azaq23 has quit (Max SendQ exceeded). 15:50:38 -!- azaq23 has joined. 15:52:27 -!- ogrom has quit (Read error: Connection reset by peer). 15:54:43 -!- ais523 has joined. 15:58:54 -!- oggmm has joined. 16:05:16 -!- pikhq_ has quit (Ping timeout: 248 seconds). 16:05:20 -!- pikhq has joined. 16:07:44 -!- ais523_ has joined. 16:09:07 -!- ais523 has quit (Ping timeout: 246 seconds). 16:16:57 -!- ais523_ has changed nick to ais523. 16:24:31 -!- augur has quit (Ping timeout: 246 seconds). 16:25:11 -!- augur has joined. 16:25:34 -!- stanley has quit (Ping timeout: 252 seconds). 16:29:44 -!- oggmm has quit (Quit: begone). 16:46:19 -!- zzo38 has joined. 16:47:25 -!- Guest85690 has joined. 17:00:56 was there an esoland inspired by legal language? 17:02:32 * boily cringes in fear 17:03:48 nooga: make one and call it EULA 17:04:53 i'm sure there's one already 17:06:48 -!- zzo38 has quit (Remote host closed the connection). 17:08:55 yes, probably 17:09:55 Is there an esoteric programming theme park called Esoland? 17:10:03 unfortunately not 17:10:08 we're working on it 17:10:38 the reason elliott is not around here so often is that he's overseeing the project to built that 17:11:25 the only thing we know about it so far is that it will have squarelos 17:11:38 (oriented to north/south/east/west) 17:18:06 hmm 17:19:03 sometimes i wonder what it would look like if i did a rendering where things got larger as they got closer 17:19:10 oops i mean smaller 17:19:47 ^took up more of the visual field 17:20:24 i guess i mean if the size of the perspective projection of an object decreased with proximity 17:21:16 "TotalBiscuit introduces you to a gentle-paced strategy game by the creators of waterboarding" 17:21:22 http://www.youtube.com/watch?v=xY6TrLsN6qM 17:42:22 -!- augur_ has joined. 17:45:22 -!- augur has quit (Ping timeout: 246 seconds). 17:49:06 -!- MDude has quit (Ping timeout: 250 seconds). 17:54:44 -!- Alpha_Rai has joined. 17:54:51 -!- Alpha_Rai has quit (Client Quit). 17:59:37 -!- MDream has joined. 18:21:47 -!- asiekierka_ has quit (Remote host closed the connection). 18:30:05 -!- pikhq_ has joined. 18:30:07 -!- pikhq has quit (Ping timeout: 244 seconds). 18:30:20 -!- aloril has quit (Ping timeout: 248 seconds). 18:34:19 itidus21: http://vimeo.com/12518619 18:43:42 -!- aloril has joined. 18:50:43 -!- MDude has joined. 18:51:52 -!- MDream has quit (Ping timeout: 246 seconds). 18:56:12 -!- augur has joined. 18:57:28 -!- augur_ has quit (Ping timeout: 246 seconds). 19:15:49 I made a rough description of a language using the metaphor of a spider moving around inside a square, but I'm not sure if Spider's Square should be name of the lanugage or just the term for an instance of a program made in the language, which would then be called Spider Square. 19:17:04 -!- Vorpal has joined. 19:19:59 MDude: https://xkcd.com/8/ ? 19:23:36 -!- oerjan has joined. 19:25:41 That's a nice picture, but what I'm making is more two dimensional. 19:26:09 Plus the spider uses thread, though it isn't designed for multithreading. 19:27:14 I'll go with Spider Square. 19:27:31 Wait hmm. 19:29:19 Spider's jsut sounds better, and it's unlikely I'd get program instances regularly called something other than "the program". 19:29:24 *just 19:30:02 And I'll just change it later if I want. 19:30:32 -!- pikhq has joined. 19:30:37 -!- pikhq_ has quit (Ping timeout: 240 seconds). 19:34:48 Actually, I'm not sure if it should go on the wiki until I either implement or make some explicit syntax. 19:35:33 list of ideas? 19:36:35 Nah, it's pretty long for a thing to stick in a list, unless you mean I should put up a page for it and link it there. 19:39:12 `addquote stanley: basically, the entire purpose of the esolang community is, we're trying to invent a language that's worse than Haskell. We're not there yet, though some of the funges are close. 19:39:21 852) stanley: basically, the entire purpose of the esolang community is, we're trying to invent a language that's worse than Haskell. We're not there yet, though some of the funges are close. 19:39:37 X-D 19:39:42 soundnfury++ 19:39:49 worse than haskell? 19:40:50 I'll just leave it unlisted for now. 19:40:52 http://esolangs.org/wiki/Spider%27s_Square 19:51:17 -!- zzo38 has joined. 19:51:26 Do you know anything about aerobatic diagrams? 19:52:19 sounds like something to send your head spinning. and rest of body. 19:53:41 Nothing, other than the fact that they're called that probably means they're related to aeobatic moves and thus the part of the program involving arcs. 19:53:48 wait i'm confusing with acrobatics. although the head spinning part still holds. 19:53:58 So was I, I guess. 19:54:10 -!- kallisti has joined. 19:54:10 -!- kallisti has quit (Changing host). 19:54:10 -!- kallisti has joined. 19:54:31 ...wait wikipedia says they're the same thing... 19:54:35 I guess it's be a diagram of how to do stretches, jump in place, etc. 19:55:02 Actually I tihnk that's be aerobic, not areobatic. 19:55:20 oh no, it's just aerobatics are sometimes also called acrobatics 19:56:34 http://en.wikipedia.org/wiki/Aerobatic_maneuver has some diagrams 19:57:56 http://en.wikipedia.org/wiki/Aresti_Catalog seems to be an official guide 19:58:35 zzo38: ^ 19:58:41 I try to write a program in Haskell (and using "dvi-processing" package) to draw the diagrams from an input file specifying catalog numbers and manual overrides and so on. 19:58:46 I understand a few things about it. 19:59:08 But I need to make the algorithm to figure out which line to make longer, how to lay out on a page,e tc 20:02:10 The catalog diagrams can be split into the parts and then draw these pieces in METAFONT, I could do so. 20:06:01 dmm's most awful pun yet? http://www.mezzacotta.net/postcard/?comic=1288 20:06:37 Images not loading for me. 20:06:41 ... 20:07:00 MDude: that's intentional 20:07:53 postcard is a comic with only annotations 20:07:55 -!- sirdancealot has joined. 20:07:59 oh, it *is* loading 20:08:13 * oerjan swats FireFly -----### 20:08:14 I see. 20:08:27 :( 20:08:44 also a cooperative work. 20:09:13 http://www.mezzacotta.net/postcard/about.php should make things clearer *mad cackle* 20:11:49 or http://www.mezzacotta.net/postcard/faq.php 20:11:54 * oerjan runs away 20:16:16 -!- azaq23 has quit (Quit: Leaving.). 20:20:51 hoerjan.php 20:21:33 hey i'm not php 20:22:06 unless it stands for Pretty Hilarious Person, of course. 20:23:05 ...i guess the .php's up there are a bit of a clue. 20:24:51 ais523: http://esolangs.org/wiki/User:Gusf8 needs a helpful boot out the door 20:26:07 hoerjan.mm 20:26:28 That's write, you're Objective-C++ 20:26:30 i don't know about .mm 20:26:32 Ugh. 20:26:34 Right. 20:26:35 Ugh. 20:26:39 :-( 20:26:46 Thankslotoerjan. 20:26:59 My weakness has been revealed, and now I can't show my face in here again. 20:27:04 wat 20:27:19 -!- shachaf has left. 20:27:31 Objective-Shootyourself 20:29:37 What is Objective-Shootyourself? 20:34:10 apple's new PL, which will be mandatory for their next product line 20:34:36 How does it work? 20:34:45 you program, then you die. 20:34:57 then you give them money 20:35:17 then once all human programmers are dead, apple's ai programmers take over the world 20:38:51 You program, you're soul belongs to them 20:38:56 your 20:39:13 no 20:39:17 I'm going with you're 20:39:19 like in 20:39:36 all your soul are belong to them. 20:48:05 -!- ais523 has quit. 20:52:19 Is it correct? Codensity Endo = [] CodensityAsk Endo = Writer (Sum Natural) Density Endo = Traced (Product Natural) 21:02:13 Yesterday I have played Dungeons&Dragons game. 21:06:07 Now I am being assassinated and have to somehow catch him. 21:07:17 -!- nortti_ has joined. 21:09:01 "200 gold pieces." "I think that is too much." "I cannot reduce the price; illithids are dangerous. We can kill the fighter for 100 gold pieces." "What price for both of them?" "... 250 gold pieces." "OK" 21:09:45 the mystery of haggling 21:09:52 At least, I have a spell of Locate Object and a scroll of Locate Creature; these may help. Since, I need to catch the chancellor too. 21:11:01 oerjan: Yes, even assassins are haggling. 21:11:14 I almost got killed, but I got saved by wizard guild just in time. 21:13:29 The scroll of Locate Creature cost me 20 of the king's gold coins and a copy of the Object Mirroring spell. Hopefully I somehow need to get back the money before the king arrives or else hope the king is OK with me spending his money in order to save the kingdom. 21:14:05 -!- edwardk has joined. 21:14:32 -!- shachaf has joined. 21:15:41 -!- pikhq_ has joined. 21:15:42 -!- pikhq has quit (Ping timeout: 246 seconds). 21:15:55 But I have thought ahead of nearly everything including zwischenzug and Sicilian reasoning. 21:18:13 Zwischenzug Reasoning? 21:18:36 Cool. 21:18:40 A german chess term :) 21:18:54 schnellzug 21:19:02 wuppertal schwebebahn 21:19:09 During the game session, the other player made up stuff which isn't true, such as the eggs he got from the store actually being bombs, hiring a suicide team, the royal chefs looking to see if the eggs hatched and since they didn't hatch falling to the floor laughing and tripping on their own swods and dying, the assassins using a poison that only works on humans therefore won't affect me, etc. None of which is true. 21:19:20 Zugzwang 21:19:25 -!- AnotherTest has quit (Quit: Leaving.). 21:19:37 mroman: Yes, I know zugzwang, too. 21:21:26 s/swods/swords/ 21:22:41 kmc: What is "schnellzug" and "wuppertal schwebebahn"? 21:23:16 lmgtfy 21:25:58 Schnellzug is a fast train. 21:25:58 neanderthal fahrvergnugen 21:27:05 Like the inuits german has 100 words for snow . 21:27:08 and also for trains . 21:27:43 Donaudampfschiffahrtselektrizitätenhauptbetriebswerkbauunterbeamtengesellschaft 21:27:50 Schneemann, lass das Träumen 21:28:01 kmc: Exactly. 21:30:28 no no, it's not that they have 100 words for snow, it's that they have words for snow that are 100 letters long 21:31:14 this might apply to the inuits too, btw 21:31:43 kmc: You didn't even stick a single ß in there? 21:32:10 Oh, that's an actual word. 21:33:02 oerjan: speaking of words for snow, http://en.wikipedia.org/wiki/Snowclone 21:33:08 what does it mean? 21:33:37 shachaf: fsvo actual 21:33:51 oerjan: but because words are combinatorial in this way, they also have a lot of them 21:33:54 far more than 100 21:34:03 probably 2⁸⁰ words for trains 21:34:15 i should invent a function which hashes any data to a german word about trains 21:34:28 because as we all know, germans are CRAZY about TRAINS 21:34:33 darn exponential explosion. 21:34:42 oerjan: That sounds dangerous. 21:34:46 edwardk: Is it this? CodensityAsk Endo = Writer (Sum Natural) Density Endo = Traced (Product Natural) 21:34:53 shachaf: it's a real big bang 21:35:06 Do you know either of these? 21:35:10 bang bang feuer frei 21:35:44 http://en.m.wikipedia.org/wiki/Eskimo_words_for_snow 21:35:59 never do a tango with an eskimo 21:36:38 nortti_: argh! why did you have to link to MOBILE wikipedia? :( 21:37:00 because I'm on my phone 21:38:41 i discovered the other day that the mobile version of a site linked on reddit crashed IE 21:39:09 why did you use IE? 21:39:18 * oerjan swats nortti_ -----### 21:39:31 why? 21:40:27 because i always do. 21:40:32 -!- pikhq has joined. 21:40:46 -!- pikhq_ has quit (Ping timeout: 244 seconds). 21:40:54 speaking of things that crash IE - luckily for you, I think my nested iframe tests are all broken now 21:41:23 i'm not quite sure IE is the real problem, though. i have strange delays just bringing up desktop programs sometimes. 21:42:16 something capable of running IE would do that 21:42:30 but websites which gobble cpu even after loading do make things work. 21:42:32 *worse. 21:43:53 it _is_ a six year old laptop, it's to be expected it cannot always keep up. 21:44:14 (and it wasn't a top model when it was bought, either.) 21:44:25 only 6 years old? 21:44:47 I'd suggest Opera, but I think they've dropped Windows 95 support now 21:45:32 By F-algebras I would suppose (CodensityAsk Endo) would be same like (Free Identity) 21:46:37 I'd suggest k-meleon for that laptop if it runs windows and not ie inside wine 21:47:08 k-meleon f-algebras 21:47:15 (find the 1.7 alpha version. other are bit outdated) 21:48:06 (k-meleon 1.7 alpha is on the same level as camino 2.1) 21:49:18 *2.1.2 21:54:59 -!- edwardk has quit (Quit: Computer has gone to sleep.). 21:58:08 -!- zzo38 has quit (Remote host closed the connection). 21:59:29 g 21:59:36 err, why was that in the buffer 21:59:37 whatever 22:00:01 nortti_, what is k-melon? 22:00:30 k-meleon is a lightweight web browser 22:00:33 i discovered the other day that the mobile version of a site linked on reddit crashed IE <-- lol 22:00:36 ah 22:00:38 the g was trying to sneak out of your computer but got sidetracked 22:01:07 (yes, it is written k-meleon) 22:01:16 ah yes 22:01:29 oerjan, why do you using IE if it is so buggy 22:01:44 just import all the bookmarks into firefox or chrome and don't look back 22:02:06 actually not crash, just pegged the cpu, so i had to kill it 22:02:14 I'd suggest Opera, but I think they've dropped Windows 95 support now <-- oerjan is using windows 95?! 22:02:34 * oerjan regrets bringing this up, again. 22:02:38 oerjan, still counts as buggy 22:02:49 oerjan, seriously are you using windows 95? 22:02:50 ...i think he may have meant xp. 22:02:54 ah 22:03:08 chrome or firefox should both work fine under xp 22:03:16 though why anyone would still use xp is beyond me 22:03:20 maybe he was just joking. 22:03:26 apart from the better font rendering of course 22:03:30 fuck cleartype 22:03:58 fuck ie shell. I'm staying at win95/nt4 22:04:49 -!- boily has quit (Quit: WeeChat 0.3.8). 22:05:04 Vorpal: I have no idea what version of windows he is using, I'm just joking that because he uses IE it must be something ancient 22:06:56 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 22:16:42 Vorpal: obviously the joke would've been much funnier if you got it without an explanation 22:18:17 k http://youtu.be/FrtyQ1uSRB4 22:18:26 -!- david_werecat has joined. 22:20:28 -!- pikhq has quit (Ping timeout: 246 seconds). 22:20:35 -!- pikhq has joined. 22:26:04 -!- pikhq_ has joined. 22:26:04 -!- pikhq has quit (Ping timeout: 248 seconds). 22:32:36 -!- copumpkin has joined. 22:49:57 -!- derdon has quit (Remote host closed the connection). 22:53:03 -!- itidus20 has joined. 22:54:25 -!- augur has quit (Ping timeout: 246 seconds). 22:55:24 -!- nooga has quit (Ping timeout: 248 seconds). 22:56:37 -!- itidus21 has quit (Ping timeout: 240 seconds). 22:59:19 -!- augur has joined. 23:04:43 ooh, someone is making an esolang! http://blog.r-wos.org/2012/up-next 23:04:52 quick, get him here 23:06:23 heh http://blog.r-wos.org/2012/php-explained 23:06:55 nah, that's not the canonical PHP experience 23:07:08 the canonical PHP experience would call the second function mapArray 23:10:03 yes, and mapArray is the one that actually filters the array, and instead of taking the array as an argument it takes the name of the variable it's in 23:10:07 -!- calamari has joined. 23:10:19 -!- calamari has left. 23:10:59 olsner: we should be php developers 23:13:00 * coppro loves websites that accept example.org email addresses 23:24:49 -!- augur has quit (Ping timeout: 265 seconds). 23:45:18 -!- nortti_ has quit (Quit: AndroIRC - Android IRC Client ( http://www.androirc.com )). 23:46:48 -!- augur has joined. 23:54:58 -!- augur has quit (Ping timeout: 246 seconds).