00:02:18 -!- atsampso1 has quit (Read error: 104 (Connection reset by peer)).
00:15:41 -!- jix has quit ("CommandQ").
00:44:48 -!- timotiis has quit (Read error: 110 (Connection timed out)).
01:01:09 -!- pikhq has joined.
01:26:03 -!- Sgeo has joined.
01:32:06 -!- ehird has quit (Remote closed the connection).
01:57:50 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
01:58:25 -!- Judofyr has joined.
02:43:24 -!- calamari has joined.
03:25:59 -!- olsner has joined.
03:37:01 -!- olsner has quit ("Leaving").
04:24:49 -!- Corun has quit ("This computer has gone to sleep").
04:27:48 -!- Corun has joined.
04:37:57 -!- Corun has quit ("Leaving").
05:00:58 -!- GreaseMonkey has joined.
05:14:36 -!- lifthrasiir has quit (Remote closed the connection).
05:21:26 -!- Judofyr has quit (Read error: 110 (Connection timed out)).
05:33:50 -!- GregorR has quit ("When I return, I will be logging in from my new system!").
05:48:34 -!- oklopol has quit (Read error: 113 (No route to host)).
06:13:30 -!- GregorR has joined.
06:22:05 -!- oklopol has joined.
06:38:23 -!- Judofyr has joined.
06:42:32 -!- calamari has quit ("Leaving").
07:05:10 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
07:39:14 -!- atsampson has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:19:03 -!- Judofyr_ has joined.
08:19:03 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
08:50:03 -!- Iskr has joined.
08:52:33 -!- Judofyr has joined.
09:04:29 -!- Iskr_ has joined.
09:10:00 -!- Judofyr_ has quit (Read error: 110 (Connection timed out)).
09:10:26 -!- Iskr has quit (Read error: 101 (Network is unreachable)).
09:54:45 -!- helios24 has joined.
10:58:30 -!- GreaseMonkey has quit ("Unisex.").
11:37:47 -!- Judofyr has quit (Read error: 110 (Connection timed out)).
11:45:32 -!- Iskr_ has quit (Read error: 110 (Connection timed out)).
11:46:13 -!- Iskr_ has joined.
12:16:24 -!- helios24 has quit ("Leaving").
12:29:53 -!- i__ has joined.
12:33:04 -!- Iskr_ has quit (Read error: 110 (Connection timed out)).
12:33:11 -!- i__ has changed nick to Iskra.
12:33:12 -!- Iskra has changed nick to Iskr.
12:43:28 -!- sebbu has quit ("@+").
12:46:08 -!- ehird has joined.
12:46:19 -!- Judofyr has joined.
13:01:26 -!- Iskr has quit (Read error: 110 (Connection timed out)).
13:02:26 -!- Iskr has joined.
13:37:16 -!- Corun has joined.
13:41:56 -!- ais523 has joined.
13:48:13 <ehird> Squeak just did the most retarded thing
13:48:16 <ehird> I had saved and quitted yesterday
13:48:20 <ehird> and a lot of changes are gone
13:48:25 <ehird> so I've gone into the recent log
13:48:28 <ehird> and I'm selecting all non-conflicting ones
13:48:37 <ehird> and then I'm gonna hope that thy apply cleanly
13:48:55 <ais523> ehird: now, if only you'd been saving your programs in a text file...
13:49:16 <ehird> ais523: no, i'm pretty sure this is just a squeak bug
13:49:25 <ehird> if my editor had a weird bug then it'd happen too, ais523
13:49:29 <ais523> you're vulnerable to bugs in a system when you're locked into it
13:49:34 <ehird> actually, it's probably that I just did it wrong
13:49:44 <ais523> and I can't see a weird bug affecting my backups as well as the original
13:49:49 <ehird> ais523: also, i have an idea - let's spin everything into an argument as to how locked-in systems suck
13:49:53 <ais523> at least, not unless it was very weird
13:50:17 <ais523> ehird: not everything, only when you're blatantly asking for it
13:52:23 <ehird> ais523: hm, there is a discussion in spanish going on in #squeak
13:52:27 <ehird> very interesting..
13:52:28 <ais523> anway, let's stop that line of discussion so as not to degenerate into another argument
13:52:39 <ais523> I've been thinking about your JS/Smalltalk mix
13:52:43 <ais523> where you just start with one object
13:52:50 <ehird> it's a Self/Smalltalk mix
13:52:56 <ehird> or an Io/Smalltalk mix
13:53:03 <ehird> but JS is a kind of class/prototype mix
13:53:21 <ais523> anyway, I planned a tarpit based on that on the way here
13:53:37 <ais523> I'm thinking of calling it Feather, because it's so lightweight compared to most Smalltalks
13:53:42 <ehird> my idea wasn't tarpitty
13:53:47 <ehird> but it was minimalist
13:53:53 <ehird> ais523: I wanted to keep it in the VM style
13:54:03 <ais523> my language has an unusual feature: it wouldn't work properly if it wasn't a tarpit
13:54:05 <ehird> ais523: basically, to still compile it to vm bytecode
13:54:08 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
13:54:10 <ais523> but you can build on it as you like
13:54:15 <ehird> ais523: and then do the smalltalk thing of writing the vm in a restricted subset
13:54:18 <ehird> which can be compiled to c
13:54:43 -!- Judofyr has joined.
13:55:12 <ais523> the major problem with instantiating objects from objects is the mess that makes of reflection
13:55:23 <ehird> you *clone* objects
13:55:36 <ais523> they're the same thing in my tarpit
13:55:41 <ais523> cloning is instantiatino
13:55:55 <ehird> but instantiation doesn't mean anything
13:55:57 <ehird> in a prototype system
13:56:01 <ehird> http://en.wikipedia.org/wiki/Self_%28programming_language%29 http://en.wikipedia.org/wiki/Io_%28programming_language%29
13:56:20 <ais523> I found a slightly unusual way to make it mean something, inspired by TwoDucks
13:57:28 * ehird wonders when someone who speaks english will enter #squeak and tell me wtf it just did last night
14:07:20 <Slereah_> ... mean something, inspired by twoducks?
14:07:31 <Slereah_> That's something you don't hear everyday.
14:08:32 <ais523> well, Self uses delegation in order to handle inheritance changes after the fact
14:09:21 <ehird> ais523: check out Io
14:10:28 <ais523> Io's method is likely what my method would be optimised into
14:10:58 <ais523> in my language, instead, when you add a method to a class (or a property, they're the same thing in my language), the program goes back in time and works out what would have happened if the change was made when the object was created
14:44:23 -!- Iskr has quit (Read error: 110 (Connection timed out)).
14:45:01 -!- Iskr has joined.
14:49:27 <ehird> <Slereah_> Guys, in Batman Begins.
14:49:37 <Slereah_> Why doesn't the microwaves fry the people, and why are they worried about hallucinogens instead of about breathing raw boiling water
14:49:41 <ehird> <ehird> <Slereah_> Guys, in Batman Begins.
14:49:57 <Slereah_> Those people have no priorities.
14:50:56 <ehird> <Slereah_> Those people have no priorities.
15:07:22 -!- RedDak has joined.
15:26:45 <ais523> hmm... I think Feather has to be lazy, to prevent it infinite-looping in loads of common cases
15:27:50 <ais523> it's an esolang I'm planning, based on Smalltalk, Io and TwoDucks
15:28:01 <ais523> but I'm trying to get it down to the computable level
15:28:15 <ais523> the problem is dealing sensibly with causation loops
15:30:15 <ais523> say you define an Array class
15:30:33 <ais523> then you want to retroactively change the clone method on the original object to do something involving Arrays
15:35:20 -!- timotiis has joined.
16:24:33 -!- ehird has quit ("Leaving").
16:24:50 -!- ehird has joined.
17:20:09 -!- Sgeo has joined.
17:35:27 -!- sekhmet has quit (Remote closed the connection).
17:35:29 -!- sekhmet has joined.
18:08:10 -!- ais523_ has joined.
18:08:44 -!- ais523 has quit (Nick collision from services.).
18:08:47 -!- ais523_ has changed nick to ais523.
18:41:12 -!- kar8nga has joined.
18:48:47 -!- kar8nga has left (?).
18:48:48 -!- kar8nga has joined.
18:49:45 -!- kar8nga has left (?).
18:50:04 -!- kar8nga has joined.
18:51:22 -!- kar8nga has left (?).
18:51:38 -!- kar8nga has joined.
19:00:47 -!- oklopol has quit ("( www.nnscript.com :: NoNameScript 4.2 :: www.regroup-esports.com )").
19:04:13 -!- Iskr has quit (Read error: 110 (Connection timed out)).
19:04:59 -!- Iskr has joined.
19:10:14 <Slereah_> There was a link posted here once, about what was said to be a simple introduction to pi calculus
19:28:04 -!- Tritonio has quit (Remote closed the connection).
19:33:10 <AnMaster> related to the famous irrational number in any way?
19:33:31 <Slereah_> http://en.wikipedia.org/wiki/Pi_calculus
19:34:19 <Slereah_> I'm trying to read the original paper, but I'm not familiar with calculus of communicating systems.
19:35:42 -!- timotiis_ has joined.
19:36:46 <Slereah_> It's apparently based on communicating informations between participants through links.
19:39:10 <Slereah_> And apparently restrictions of informations along some links
19:40:17 <Slereah_> Problem is, I'm not understanding much of the notation.
19:51:53 -!- ehird has quit (Read error: 113 (No route to host)).
20:00:25 -!- timotiis has quit (Read error: 110 (Connection timed out)).
20:18:25 -!- RedDak has quit (Remote closed the connection).
20:26:28 <AnMaster> Slereah_, grep the logs maybe?
20:28:41 -!- Slereah_ has quit (Read error: 104 (Connection reset by peer)).
20:29:32 -!- Slereah_ has joined.
20:56:05 <Slereah_> Hell, there's actually books on pi calculus on emule
20:56:23 <Slereah_> I think it's because apparently, it's used a lot in models for economic thingies.
20:56:47 * ais523 wonders what happened to ehird
20:57:06 <ais523> that would explain the no route to host
20:57:16 <ais523> you can't get decent Internet access from inside a grue
21:00:16 <Slereah_> "Robert Milner Web hottest videos personal player"
21:00:29 <Slereah_> I suppose that isn't the pi calculus book I was looking for.
21:01:02 <Slereah_> emule takes your researched terms and returns porn spam, even if it makes no sense
21:01:19 <ais523> what sort of strange website is that?
21:01:40 <Slereah_> Emule, the peer to peer software.
21:25:12 <ais523> wow, I think that's the first time I've been pastebinned
21:27:10 <ais523> presumably it was to GregorR
21:32:07 <ihope> A pi calculus book? I was about to say it sounded interesting, but then I realized that pi calculus isn't pi and calculus.
21:34:12 <ihope> You know, I think I know why I'm not writing a proof of the intermediate value theorem right now.
21:36:06 <ihope> Would people who aren't nerds be writing a proof of the intermediate value theorem right now?
21:36:55 <Slereah_> No. Which is why I gave it as a reason.
21:37:22 <kar8nga> actually there are people who would do
21:37:28 <kar8nga> they are called mathematicans
21:38:23 <kar8nga> then describe me your definition of nerd, please
21:41:55 <kar8nga> but I think that went a bit by me (at least by the definition secured at http://en.wikipedia.org/wiki/Nerd)
21:42:07 <kar8nga> I'm off to sports and check back later
21:43:13 -!- GregorR has quit (Read error: 110 (Connection timed out)).
21:49:50 -!- GregorR has joined.
21:52:42 <lament> mathematicians don't normally write proofs of the intermediate value theorem
21:57:09 <ihope> Proof of the Intermediate Value Theorem: if there were an excluded value, the set of excluded values would be open, which is impossible.
21:57:59 <ihope> Make that "open and non-empty"/
21:59:03 <Slereah_> But, that uses the excluded middle, which isn't a constructive proof D:
22:01:40 <ihope> The excluded middle isn't a constructive proof?
22:26:45 -!- oerjan has joined.
22:28:45 <kar8nga> well, that discussed the version on the reals, which is not really showing the point - I prefer the topological version
22:30:48 <kar8nga> well, then take f: (X,T) -> (Y,S)
22:31:02 <ihope> Assume f is continuous, then?
22:31:59 <kar8nga> f is continous with respect to T an S if forall A in S: f^{-1}(A)\in T
22:32:05 <kar8nga> sorry for the tex notation
22:32:49 <kar8nga> so continuity is just a topology preserving mapping
22:32:58 <ihope> What's the topological version of the sentence, then?
22:34:36 <ihope> The intermediate value theorem.
22:34:51 <ihope> "For every continuous function f from [a,b] to a subset of R, the image of f contains all real numbers from f(a) to f(b)", I suppose.
22:35:32 <kar8nga> just take the "natural" topologies on R
22:36:04 <kar8nga> which are based on open sets: I think in R this is called the \epsilon-\delta criterion
22:36:27 <kar8nga> f: A -> B cont (A,B \subset R) <=>
22:36:27 <ihope> The ordinary, usual, common, standard, regular topology on R? :-)
22:36:58 <ihope> Oh, it's just the intermediate value theorem stated topologically?
22:37:28 <kar8nga> because R is strictly ordered
22:37:40 <kar8nga> so you can speak about something like "intermediate value"
22:38:08 <kar8nga> think of topologies on function spaces
22:38:56 <kar8nga> they are far more unamenable to such analysis: which function is bigger? f(x)=1 or f(x)=x^2 ?
22:39:47 <kar8nga> but you can still have a topology there and therefore continuous functions
22:40:12 <kar8nga> the whole point of continuous function is in the end that you can do the following:
22:40:41 <kar8nga> lim x->y f(x) = f(lim x -> y) = f(y)
22:40:55 <kar8nga> well, easy on to visualize on R
22:41:30 <kar8nga> but a topology allows for a more general notion of convergence and then you are really happy of you have somewhere continuous functions
22:41:42 <kar8nga> hope that explained a bit the thing
22:42:34 <kar8nga> the reason why I came here
22:43:04 <kar8nga> is anyone here working at the moment at any objectoriented esolangs?
22:43:21 <ais523> depends if you consider Smalltalk-like languages object-oriented
22:43:36 * oerjan likes the topological form (1) the image of a connected set under a continuous function is connected (2) a subset of R is connected iff it contains every value between any two elements
22:43:37 <ihope> Object-oriented esolangs. Fun stuff.
22:43:50 <ihope> Let's make some object-oriented topological esolang, shall we? :-P
22:44:26 <oerjan> (1) is not restricted to R of course
22:44:39 <ihope> Ah, that is a nice form.
22:45:20 <Slereah_> But I still don't know what the fuck is an object :o
22:45:40 <kar8nga> well, but (1) only again works on strictly ordered spaces
22:45:52 <kar8nga> consider a holomorphic function
22:46:23 <kar8nga> well, sorry, there it works
22:46:59 <kar8nga> I concede: (1) works in any separable topological space
22:47:00 <oerjan> kar8nga: no, it works for any topological space. it's just that connected sets may be rare in some spaces
22:47:12 <ihope> Slereah_: I'd define an object as a value in memory that belongs to some class.
22:47:54 <ihope> The class lists its properties (but not their values) and defines its methods.
22:48:22 <kar8nga> oerjan: could be - now is the point where I would have to look up my old notes (topology is not my speciality, I admit)
22:49:10 <kar8nga> ais523: smalltalk is definitely object-oriented for me
22:49:28 <ais523> well, ehird's making a smalltalk-like language which is possibly not an esolang
22:49:32 <ihope> Gee. I'm having a sudden urge to integrate Brownian motion. :-P
22:49:34 <oerjan> the proof is really simple: if the image is not connected then it can be divided into two relatively open sets. but then so must the domain.
22:49:37 <kar8nga> but it doesn't have to be class-based
22:49:38 <ais523> and I'm thinking about a smalltalk-like language which is definitely an esolang
22:49:56 <ihope> kar8nga: what ever done?
22:50:06 <ihope> Has it ever been done, you're asking?
22:50:44 <oerjan> (by taking their inverses)
22:50:53 <kar8nga> I took the course 2 years ago, so I remember .... - no, I asked if you ever took stochastic calculus?
22:51:27 <kar8nga> oerjan: I remember - thanks!
22:51:45 <ihope> If I've ever taken it? No, I'm in high school.
22:52:15 <kar8nga> ais523: any links/resources yet?
22:52:40 <ais523> it's like Smalltalk, only objects and classes are merged (like in Io), and inheritance is done by time-travel
22:52:47 <ais523> oh, and it starts with only one object
22:53:53 <kar8nga> bootstrap with one object - remembers me of: beware of the god object
22:54:22 <kar8nga> so it's more like self, than smalltalk?
22:54:51 <ais523> but ehird and I have been discussing smalltalk for the last couple of days in about 5 different channels
22:56:06 <kar8nga> I think I saw somewhere some bits of that
22:56:38 <kar8nga> I'm more leaning to the metaobject approach: like in the piumata papers
23:00:42 -!- ehird has joined.
23:04:35 -!- GregorR has quit (Read error: 110 (Connection timed out)).
23:08:05 -!- kar8nga has left (?).
23:10:59 -!- timotiis_ has changed nick to timotiis.
23:10:59 -!- Slereah_ has quit (Read error: 104 (Connection reset by peer)).
23:12:34 -!- Slereah_ has joined.
23:14:05 * ihope whistles: f(0) is 0, f(1) is selected randomly from a standard normal distribution, f(0.5) is... hmm, I've forgotten
23:15:23 <ihope> I'm trying to remember that method I supposedly thought of for computing Brownian motion.
23:15:55 -!- GregorR has joined.
23:16:44 <ihope> I guess you ought to calculate the standard deviation of the difference between f(x) and f(x+c) given the standard deviation of the difference between f(x) and f(x+1).
23:18:42 <Slereah_> ihope : Try to make regions of particles with lowering entropy!
23:32:15 -!- Sgeo has changed nick to SirGeo.
23:46:07 -!- Iskr has quit ("Leaving").
23:52:17 -!- timotiis has quit (Read error: 110 (Connection timed out)).
23:55:54 -!- ais523 has quit ("(1) DO COME FROM ".2~.2"~#1 WHILE :1 <- "'?.1$.2'~'"':1/.1$.2'~#0"$#65535'"$"'"'&.1$.2'~'#0$#65535'"$#0'~#32767$#1"").
23:59:43 -!- oerjan has quit ("Roll - roll - bump - crash - kaBOOM").