00:00:01 <SimonRC> it really depends on the situation I suppose
00:00:24 <SimonRC> Maybe one can think of types like a suit of armour
00:01:25 <SimonRC> many dynamic langs are a light armour: they don't protect you that much, but they don't restrict your movements
00:01:52 <wildhalcyon> Depends on the language. As long as the language keeps you from doing something you shouldn't be doing with that type, then you're fine.
00:02:15 <SimonRC> Java and friends are like those medieval suits of armour: very protective but bloody difficult to move in
00:03:27 <SimonRC> and some languages are like powered armour... you don't know how anyone can even stand up in it, until you realise it's powered, and enables you to throw cars around and stuff
00:03:54 <SimonRC> but it is still too much to wear when scouting about
00:04:23 <SimonRC> enought with the bad analogies
00:05:24 <SimonRC> there is to some degree a trade-off between how soon the language stops you doing something and how much you must tell the compiler
00:06:45 <SimonRC> Although I would not like to maintain this 120kloc program were it written in (e.g.) Python, were it written in (e.g.) Python it wouldn't be 120kloc long
00:07:40 <wildhalcyon> Those sorts of trade offs are important to realize
00:26:53 <ehird> SimonRC: that's the basic idea
01:04:10 -!- GregorR-L_ has joined.
01:14:23 <SimonRC> 1:14am is time to stop work and go home
01:17:07 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
01:17:42 -!- Judofyr has joined.
01:32:07 -!- ehird has quit ("This computer has gone to sleep").
01:32:26 -!- GregorR-L_ has quit (Read error: 110 (Connection timed out)).
02:46:41 -!- adu has joined.
02:50:27 -!- wildhalcyon has left (?).
03:44:51 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
03:45:23 -!- Judofyr has joined.
03:55:13 -!- adu has left (?).
05:07:08 -!- Judofyr has quit (Remote closed the connection).
05:08:00 -!- Judofyr has joined.
05:10:07 -!- Sgeo has quit (Remote closed the connection).
06:43:28 -!- olsner has joined.
07:52:22 -!- GreaseMonkey has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:10:55 -!- Iskr has joined.
08:18:29 -!- olsner has quit ("Leaving").
08:35:14 -!- GregorR-L has joined.
08:37:00 <GregorR-L> OK, I'm trying to make a mini instruction set that: 1) is (Turing) complete within the bounds of bounded storage, 2) requires no self-modifying code, 3) doesn't have any ridiculously over-purposed operations.
08:37:24 <GregorR-L> Each instruction is one byte, and it does only 8-bit math, although it can load/store 16-bit addresses.
08:39:46 <GregorR-L> Yeah, that should clearly be $0, $1, $2 and $r :P
08:40:06 <GregorR-L> It also occurs to me that there's no reason for 'sub' not to take registers.
08:40:37 <oklopol> i'm feeling a bit overall-confused, been implementing oklotalk a bit too much
08:40:57 <oklopol> it's fairly retarded still :<
08:41:37 <GregorR-L> http://www.pastebin.ca/976544 // w/ fixes
08:41:55 <GregorR-L> Overall-confused = not sure how to wear overalls.
08:42:21 <oklopol> thought that might be a bad way to say it, but glad you got it
08:42:43 <oklopol> 0000aaxx load $a load into register a from address in $0$1 what does $0$1 mean
08:43:19 <oklopol> hmm, *perhaps* it has to do with the registers $0 and $1.
08:43:21 <GregorR-L> Hm, I meant for $0$1 to be a 16-bit address, with register $0 being the high bits and $1 being the low bits.
08:45:21 <GregorR-L> Yeah, I'm explaining that now (in the pseudo-spec)
08:45:53 <GregorR-L> Heh, I was just thinking about whether MiniISA was little- or big-endian. Forgot that it's only 8-bit X-P
08:46:29 <oklopol> i would've suggested middle-endian
08:47:39 <oklopol> now be sure to put easter eggs for certain choices of _'s
09:02:18 <GregorR-L> [obvious] $2 should be the stack pointer.
09:11:47 -!- GregorR-L has quit ("Leaving").
09:15:46 -!- lifthrasiir has joined.
09:41:21 -!- Corun has joined.
10:29:11 -!- GreaseMonkey has quit ("Read error: 110 (Connection chickened out)").
11:32:41 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
11:32:49 -!- Judofyr has joined.
12:59:17 -!- Corun has quit ("This computer has gone to sleep").
13:07:09 -!- Sgeo has joined.
14:18:44 -!- jix has joined.
14:27:47 -!- Sgeo has quit (Remote closed the connection).
15:01:44 -!- oklopol has quit (Read error: 113 (No route to host)).
15:11:23 -!- Corun has joined.
15:23:01 -!- Corun has quit ("This computer has gone to sleep").
15:29:23 -!- Corun has joined.
15:42:11 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
15:42:29 -!- bsmntbombdood has quit (Read error: 110 (Connection timed out)).
15:42:48 -!- Judofyr has joined.
15:43:16 -!- bsmntbombdood has joined.
15:48:11 -!- RedDak has joined.
16:04:18 -!- Corun has quit ("This computer has gone to sleep").
16:13:43 -!- RedDak has quit (Remote closed the connection).
16:13:54 -!- ehird has joined.
16:14:20 <ehird> qwerty-5 = identity
17:11:10 -!- Tritonio_ has joined.
17:45:56 <ehird> Tom Duff can unroll a loop WITH HIS MIND.
17:51:55 <ehird> Slereah: can i have a link to your self-containing set picture?
17:51:59 <ehird> i want to put it on elliotthird.org
17:57:04 <Slereah> http://membres.lycos.fr/bewulf/Divers2/Set.jpg
17:57:43 <ehird> permission to use it on elliotthird.org?
17:58:04 <Slereah> Well, I'll have to ask Jack Thomas Chick for the use of his sandwich chef famous picture.
17:58:13 <Slereah> But I personally give you my permission.
17:58:31 <ehird> http://elliotthird.org/ looks pretty now!
17:58:48 <ehird> i'll credit you in the comments
17:59:15 <Slereah> http://images.encyclopediadramatica.com/images/8/89/Sandwich-orig.png
17:59:29 <Slereah> He just knows how to convert us heathens.
18:00:38 <Slereah> The very name of his website seeks to attrack them!
18:04:43 <ehird> http://membres.lycos.fr/bewulf/Russell/noyoucanthaveaneuralnetwork.jpg
18:06:54 <SimonRC> GregorR: That instruction set would be rather slow: branch prediction is too tough for it
18:07:03 <Slereah> I also have a pix of a topless Alan Turing with a topless Snow White.
18:08:06 <Slereah> I used that picture on a thread of a /34/ board
18:08:13 <Slereah> Asking for 34 on Alan Turing.
18:08:36 <Slereah> http://rule35.paheal.net/rule35/res/2.html#2
18:08:44 <ehird> SimonRC: well hey, there's only about 5 million *chans
18:08:47 <ehird> shouldn't take too long to find ;)
18:09:15 <ehird> http://rule35.paheal.net/rule35/src/12071557881.jpg
18:09:30 <ehird> but i must go bleach my brain now
18:09:31 <Slereah> ehird : That's the pix I posted
18:10:25 <Slereah> I even got the "obscura-GET" files, and could find no Turing in it D:
18:10:49 <Slereah> And it's like a few gigabytes hueg.
18:11:50 <ehird> lament: snow white when near alan turing?
18:11:52 <lament> when you're at work and want to play music and you can't cause you're at work
18:12:03 <Slereah> Ah yes, ehird going through my files :D
18:12:04 <lament> wait that's turing? nice
18:12:32 <SimonRC> hehehe: http://youtube.com/watch?v=Z0Pd19bt1NI
18:12:33 <Slereah> ehird : Turing was more of a Prince Charming kind of guy.
18:12:43 <ehird> Slereah: or the gay kind of guy
18:13:05 -!- ineiros has joined.
18:13:41 -!- calamari has joined.
18:13:48 <Slereah> He desired head from Prince Charming.
18:14:28 <ehird> oic. irc sucks at linear conversations
18:15:33 <Slereah> http://membres.lycos.fr/bewulf/Russell/Weil.jpg
18:16:16 <lament> they look nothing alike. One is wearing glasses and the other isn't.
18:16:40 <Slereah> I dunno. I got the impression when I saw Weil for the first time.
18:18:14 <Slereah> http://membres.lycos.fr/bewulf/Russell/Ada2.jpg <- I have this above my bed.
18:18:23 <Slereah> And I also don't know how to take photos.
18:19:14 <Slereah> Well, it's more of a wall than a ceiling.
18:19:47 <SimonRC> why did I think 'twere a ceiling?
18:19:53 <Slereah> But it is placed in a lesser gravitational potential than my bed.
18:20:01 <Slereah> Because I said "above my bed", maybe.
18:20:24 <Slereah> I wonder if there's /34/ of Lovelace.
18:20:34 <Slereah> After all, she is the hottest nerd in history.
18:20:59 <SimonRC> I think Samantha Carter beats her for a start
18:22:34 <Slereah> She looked less pretty a few years later : http://www-history.mcs.st-andrews.ac.uk/BigPictures/Lovelace_3.jpeg
18:24:18 <Slereah> Why do I have a pdf in Nepalese?
18:25:39 <ehird> Random idea: There should be a *chan with a board with one rule: You may only post screenshots of that board
18:25:50 <ehird> After a while the recursion would just hurt your eyes.
18:26:23 <lament> infinitecat is better.
18:28:13 <Slereah> Plus, unless you allow infinite definition, it will just be the same at one point.
18:28:41 <ehird> Slereah: Well, no, since it'll start out empty (0)
18:28:48 <ehird> and then every post will add one level of recursion
18:29:07 <ehird> Very soon it will reach the point where the base recursion level is less than one pixel, thus being basically equivalent to infinite recursion as far as bitmaps are concerned
18:29:37 <Slereah> Hell, even at one pixel, can you still call that a screenshot?
18:29:47 <SimonRC> but the page will render differently in differnt browsers
18:30:02 <Slereah> That's not a whole lot of difference.
18:30:08 <SimonRC> so you will get to see several differn titlebars, fonts, etc
18:30:09 <Slereah> The concept can't go on for very long!
18:30:28 <Slereah> It's more thread material than board.
18:30:34 <SimonRC> maybe they should broaden the idea of "screenshot"?
18:31:05 <ehird> no, that's not what i'm saying
18:31:07 <ehird> i am saying, Slereah
18:31:15 <ehird> that the last point of recursion in an image
18:31:28 <ehird> its an obvious idea but you need to see it to work
18:32:44 <Slereah> Create that board on Elliotthemagicdragon.com
18:33:42 <ehird> a friend owns http://cillit-bang.org.uk/
18:33:50 <ehird> i've been considering putting silly stuff like that on there for a while
18:33:54 <ehird> (see also: http://cillit-bang.org.uk/esure, http://cillit-bang.org.uk/rr)
18:35:43 <ehird> Slereah: No, it's just silly.
18:35:51 <SimonRC> that seems to be rather ytmndy....
18:35:54 <ehird> the /rr has to be the funniest
18:35:56 <ehird> SimonRC: yeah, quite
18:36:25 <SimonRC> why not just "cillit-bang.ytmnd.com"?
18:37:49 <Slereah> Because if he spends money registering the domain, it's money that won't go to the poor!
18:42:09 <ehird> faxathisia: you are reddit-famous.. well, reddit-comment famous
18:42:10 <ehird> http://reddit.com/r/programming/info/6ezur/comments/c03nscd
18:45:22 <Slereah> Can you sign my breast fax?
18:48:53 <ehird> hmm, it seems that Emacs/SLIME does not support you when editing FORMAT strings
18:48:59 <ehird> it just treats them as plain strings
18:49:15 <ehird> i need parentheses matching, syntax highlighting, and information at the bottom of FORMAT strings, they're so cryptic :p
18:50:16 <Slereah> Project of the now : do some pseudocode-Lazy Bird translator
18:56:48 -!- jix has quit (Nick collision from services.).
18:56:58 -!- jix has joined.
19:09:27 -!- ehird_ has joined.
19:12:23 <ehird> ehird_: who are you?!
19:13:12 <SimonRC> ehird: well, it is on your machine, whoever it is
19:13:20 <ehird> hmm, crap, i don't own ehird_
19:13:39 <SimonRC> find the offending process and kill it?
19:13:44 <ehird> SimonRC: none on my machine
19:13:46 <ehird> must be on the other one
19:17:56 <ehird> is lament an op here?
19:18:09 <ehird> if so, could you kick ehird_? it'll just be using up bandwidth otherwise
19:19:21 <lament> but how do i know which one of you is the real you?
19:19:42 <ehird> and we both have the same ip
19:19:46 <lament> well, maybe that's because you tied the real ehird up.
19:19:46 <ehird> ergo, that one is a ghost
19:19:55 <ehird> oh just kick it :p
19:20:11 <lament> ehird: you should register your alternate nicks
19:20:16 <lament> so you can ghost them if necessary
19:21:57 <ehird> lament: it's disortienting seeing ehird and ehird_ next to each other! :p
19:22:20 <lament> i agree. It's extremely discomforting.
19:22:55 <lament> (almost like staring at http://esolangs.org/wiki/Image:Explor.gif )
19:23:53 <ehird> i could pingflood that ehird_ i guess
19:24:45 <Slereah> The _ is actually a goatee.
19:25:18 -!- oerjan has joined.
19:25:35 <lament> ehird: routing the pings through microsoft :)
19:29:41 -!- ehird_ has quit (Read error: 113 (No route to host)).
19:38:18 -!- olsner has joined.
19:49:02 -!- Iskr has quit ("Leaving").
20:31:40 -!- olsner has quit (Read error: 110 (Connection timed out)).
20:31:42 -!- olsner_ has joined.
20:35:43 -!- Slereah has quit.
20:36:49 -!- Nobody-3C6149 has joined.
20:38:07 <Nobody-3C6149> How to do a loop within a loop in SKI, such that the inner loop will actually end for another iteration of the outer loop?
20:38:11 -!- Nobody-3C6149 has changed nick to Slereah.
20:38:37 <Slereah> For just one loop, I just use the unlambda's v to stop it, but beyond that, I'm not too sure of how to go.
20:39:02 <oerjan> oh wait that's not ski
20:39:47 <oerjan> well you use recursion to do loops of all kinds really
20:40:34 <Slereah> Is it possible to do them all with just one recursion?
20:41:05 <oerjan> i don't quite understand why you don't just write the inner loop by itself?
20:41:51 <oerjan> then use the resulting function inside the outer loop
20:41:53 <Slereah> Well, the problem is the output.
20:42:46 <oerjan> well it should take a parameter of course
20:43:06 <Slereah> Since recursion will basically fo f(x) f(f(x)) f(f(f(x))) ..., I don't know how to stop it so that the outside loop can handle the result.
20:43:49 <Slereah> But how to stop a recursion without v
20:44:13 <Slereah> It might stop changing, but not being evaluated in the ways that I know of.
20:44:27 -!- Sgeo[College] has joined.
20:45:32 <Slereah> So, did you do sum book lurnin Sgeo[College]?
20:47:33 -!- oerjan has quit ("Brain locked up").
20:48:08 <Sgeo[College]> "What this feature does, is look for any image URLs in the chat. (jpg/jpeg/png/gif). When it finds one, it generates a nice little thumbnail and puts it in the chat, makes it clickable to the original."
20:49:31 <bsmntbombdood> http://hardware.slashdot.org/article.pl?sid=08/04/07/210205
20:51:16 <Slereah> What if it CONVERTS THE WHOLE EARTH TO PRINTERS?
20:56:24 <ehird> Sgeo[College]: because EVERYONE uses irc channels that have nsfw links in
20:57:06 <Slereah> All irc channels have nsfw links in them, ehird.
20:57:25 <Slereah> It just requires one member of the upstanding GNAA :o
21:01:07 <Slereah> http://images.encyclopediadramatica.com/images/thumb/8/8d/Gruesome_small.gif/170px-Gruesome_small.gif
21:11:46 -!- Sgeo[College] has quit ("http://www.mibbit.com ajax IRC Client").
21:30:16 <lament> can you simulate a box of apples and a piece of string with CSS?
21:34:21 <ehird> AnMaster: of course it isn't
21:34:28 <ehird> you can't loop, include, anything
21:34:33 <ehird> selector { key: prop; ... }
21:34:45 <ehird> maybe with @import
21:34:53 <ehird> but i imagine if you @import itself it'll just infiniloop
21:35:09 <ehird> or most likely be ignored
21:50:02 <ehird> Slereah: thing that dun make webpaeg pretti
22:44:49 -!- olsner_ has quit ("Leaving").
23:01:58 -!- Tritonio_ has quit (Read error: 104 (Connection reset by peer)).
23:05:30 -!- Corun has joined.
23:06:20 <ehird> this format will be hard to parse
23:06:35 <ehird> i hate humanized syntaxes