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:32 <SimonRC> ... theoretically.
00:03:54 <SimonRC> but it is still too much to wear when scouting about
00:04:08 <wildhalcyon> I suppose so, yes.
00:04:16 <SimonRC> anyway
00:04:23 <SimonRC> enought with the bad analogies
00:05:01 <wildhalcyon> Any good esolangs lately?
00:05:05 <SimonRC> no
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:05:48 <SimonRC> ah, I realised...
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:37:28 <GregorR-L> http://www.pastebin.ca/976538
08:37:32 <GregorR-L> It has 14 instructions.
08:37:42 <GregorR-L> Seems like a bit much :(
08:39:31 <oklopol> $1, $1, $2 and $r
08:39:37 <oklopol> $0
08:39:38 <GregorR-L> Erm
08:39:39 <GregorR-L> Heh
08:39:46 <GregorR-L> Yeah, that should clearly be $0, $1, $2 and $r :P
08:39:52 <oklopol> MY WORK HERE IS DONE
08:39:54 <oklopol> ->
08:40:01 <oklopol> <-
08:40:06 <GregorR-L> It also occurs to me that there's no reason for 'sub' not to take registers.
08:40:06 <oklopol> or not
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:07 <oklopol> exactly
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:42:46 <oklopol> just too hard
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:43:37 <oklopol> yarrrr
08:43:51 <oklopol> why xx?
08:44:02 <oklopol> ignored?
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:46:34 <GregorR-L> http://www.pastebin.ca/976548
08:47:39 <oklopol> now be sure to put easter eggs for certain choices of _'s
08:47:50 <GregorR-L> Heh :P
09:02:18 <GregorR-L> [obvious] $2 should be the stack pointer.
09:02:56 <GreaseMonkey> i'd hate to see rear-endian.
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:46 <ehird> tom duff facts
17:45:47 <ehird> -------
17:45:56 <ehird> Tom Duff can unroll a loop WITH HIS MIND.
17:50:39 <Slereah> Who is this Tom Duck?
17:51:31 <Deewiant> of Duck's Device fame
17:51:46 <ehird> Duck's Device
17:51:46 <ehird> XD
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:55:06 <ehird> Slereah: plz? :(
17:57:04 <Slereah> http://membres.lycos.fr/bewulf/Divers2/Set.jpg
17:57:23 <ehird> yaey
17:57:24 <ehird> :D
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:11 <ehird> bah
17:58:12 <ehird> :)
17:58:13 <Slereah> But I personally give you my permission.
17:58:31 <ehird> http://elliotthird.org/ looks pretty now!
17:58:34 <ehird> thank you :D
17:58:48 <ehird> i'll credit you in the comments
17:58:48 <ehird> heh
17:59:15 <Slereah> http://images.encyclopediadramatica.com/images/8/89/Sandwich-orig.png
17:59:19 <ehird> yeah
17:59:19 <Slereah> Ah that Chick.
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:07:36 <SimonRC> ah, the apple
18:07:53 <Slereah> Indeed.
18:08:00 <ehird> ALAN TURING PR0N
18:08:02 <ehird> I mean what
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:17 <SimonRC> where (dare I ask)?
18:08:18 <Slereah> so far, no results.
18:08:23 <ehird> Slereah: hah
18:08:25 <SimonRC> ok
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:08:57 <Slereah> In the post 792
18:09:05 <Slereah> You'd be surprised!
18:09:15 <ehird> Cmd-F
18:09:15 <ehird> http://rule35.paheal.net/rule35/src/12071557881.jpg
18:09:21 <ehird> that was not hard
18:09:30 <ehird> but i must go bleach my brain now
18:09:31 <ehird> byeby
18:09:31 <Slereah> ehird : That's the pix I posted
18:09:31 <ehird> e
18:09:44 <ehird> yes
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:40 <lament> you know what sucks
18:11:41 <Slereah> Why am I discussing this.
18:11:44 <Slereah> I forgot.
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:11:55 <ehird> OH SNAP
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:41 <Slereah> Yes.
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:15:34 <Slereah> heh.
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:18:43 <SimonRC> you have a weird ceiling
18:19:02 <SimonRC> it lukes lake a worl
18:19:14 <Slereah> Well, it's more of a wall than a ceiling.
18:19:37 <SimonRC> um, yeah
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:12 <SimonRC> ok
18:20:17 <Slereah> ...
18:20:24 <Slereah> I wonder if there's /34/ of Lovelace.
18:20:31 <ehird> Probably
18:20:34 <Slereah> After all, she is the hottest nerd in history.
18:20:40 <SimonRC> dunno
18:20:59 <SimonRC> I think Samantha Carter beats her for a start
18:21:24 <SimonRC> but is OTOH fictional
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:22:39 <Slereah> Cancer does that to you.
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:45 <Slereah> Or even 10x10!
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:18 <ehird> bah
18:31:21 <ehird> hard to explain
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:18 <ehird> heh
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:18 <Slereah> Is it to kill epileptics?
18:35:43 <ehird> Slereah: No, it's just silly.
18:35:45 <ehird> :D
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:38:21 <ehird> SimonRC: or- why?
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:38 <ehird> heh
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:00 <ehird> that sucks
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:13 <ehird> whoa
19:12:14 <ehird> who is that
19:12:23 <ehird> ehird_: who are you?!
19:12:47 <ehird> eh
19:13:12 <SimonRC> ehird: well, it is on your machine, whoever it is
19:13:16 <ehird> yeah
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:35 <ehird> i am talking
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:20:20 <ehird> bit late for that
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:27 <ehird> haha
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:07 <ehird> aha
19:24:09 <ehird> it is a ghost
19:24:37 <Slereah> It's an evil twin.
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:25:52 <ehird> hah
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:38:55 <oerjan> use continuations?
20:39:02 <oerjan> oh wait that's not ski
20:39:06 <Slereah> Lazy Bird no has it3
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:42:55 <oerjan> even if just a dummy
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:33 <oerjan> with a conditional
20:43:49 <Slereah> But how to stop a recursion without v
20:43:50 <Slereah> ?
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:44:48 * SimonRC goes away from here
20:45:07 <Sgeo[College]> Hi all
20:45:12 <Slereah> Hello sir.
20:45:32 <Slereah> So, did you do sum book lurnin Sgeo[College]?
20:47:08 <oerjan> argh
20:47:11 <Sgeo[College]> http://mibbit.com/pb/BqKoed
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:48:17 <Sgeo[College]> Oh, that's nice and work-safe
20:49:30 <bsmntbombdood> irl quine!
20:49:31 <bsmntbombdood> http://hardware.slashdot.org/article.pl?sid=08/04/07/210205
20:51:06 <Slereah> Heh.
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:56:29 <ehird> totally
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
20:58:08 <bsmntbombdood> like this? http://www.nsfwlinks.com/
21:00:21 <Slereah> You call that NSFW?
21:01:07 <Slereah> http://images.encyclopediadramatica.com/images/thumb/8/8d/Gruesome_small.gif/170px-Gruesome_small.gif
21:02:51 * Sgeo[College] disabled the thumbnails
21:11:46 -!- Sgeo[College] has quit ("http://www.mibbit.com ajax IRC Client").
21:29:28 <AnMaster> is CSS turing complete?
21:30:16 <lament> can you simulate a box of apples and a piece of string with CSS?
21:32:53 <AnMaster> hm never tried
21:34:21 <ehird> AnMaster: of course it isn't
21:34:28 <ehird> you can't loop, include, anything
21:34:30 <ehird> it is just
21:34:33 <ehird> selector { key: prop; ... }
21:34:40 <AnMaster> hm
21:34:42 <ehird> well.
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:35:35 <Slereah> CSS?
21:50:02 <ehird> Slereah: thing that dun make webpaeg pretti
22:15:10 <Slereah> I IS SEEIN
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:15 <ehird> wowzers
23:06:20 <ehird> this format will be hard to parse
23:06:35 <ehird> i hate humanized syntaxes
23:06:35 <ehird> :D
23:08:25 <Slereah> Dehumanize it.
23:08:28 <Slereah> Put it in a camp.
23:08:32 <Slereah> And genocide it.