00:25:31 -!- digital_me has joined.
00:40:35 -!- goban has quit (Read error: 110 (Connection timed out)).
01:04:21 -!- digital_me has quit ("Lost terminal").
01:09:49 -!- wooby has joined.
01:17:50 -!- goban has joined.
01:24:42 -!- crathman has joined.
01:28:51 -!- wooby has quit.
02:00:45 -!- goban has quit (Connection timed out).
02:00:51 -!- goban has joined.
02:06:19 -!- crathman has quit (Read error: 131 (Connection reset by peer)).
02:06:30 -!- crathman_ has joined.
02:06:32 -!- crathman_ has changed nick to crathman.
02:06:44 -!- crathman has quit (Remote closed the connection).
02:44:53 -!- anonfunc has joined.
03:09:53 -!- anonfunc has quit.
03:15:54 -!- anonfunc has joined.
03:44:57 -!- xor has changed nick to bsmntbombdood.
03:59:27 -!- voodooattack has quit.
04:09:06 -!- GreaseMonkey has joined.
04:21:58 <GregorR> If you bake it just enough of the grease runs out to leave it tender but not greasy.
04:24:30 -!- Sgeo has joined.
04:24:46 <bsmntbombdood> supercoolness: http://bsmntbombdood.mooo.com/ski_repl.py
04:32:29 <GregorR> I want to make a pneumatic computer.
04:32:52 <GregorR> Make it base-6 so it can be a sextit.
04:33:26 <SevenInchBread> I was going for base-5 because of The Law of Fives... but base-6 would actually have the digit 5 in it.
04:34:05 <SevenInchBread> http://en.wikipedia.org/wiki/Discordianism#The_Law_of_Fives
04:36:42 <SevenInchBread> well... assuming you use similar methods of storing bits to store sextits... you could get a large number of representable values within a sequence of sextits than you could a sequence of bits.
04:37:20 <SevenInchBread> base-3 is actually fairly feasible... -1, 0, 1 corresponding to the polarity of the volts.
04:48:39 <SevenInchBread> hmm... but you can't reliably represent 5 states with a typical transistor can you?
04:58:50 -!- GreaseMonkey has quit ("gtg").
05:08:04 <SevenInchBread> hmmm... I wonder if I could somehow attach an analog component to my computer and make it a hybrid computer.
05:28:01 -!- Arrogant has joined.
05:35:51 <SevenInchBread> hmmm... are there any analog computers out there that use sound as their medium?
05:36:23 <SevenInchBread> I'd imagine it would make quite a bit of racket... unless you keep it out of the range of human hearing.
05:36:41 <GregorR> Same as the point of a pneumatic computer.
05:36:48 <GregorR> It's pure, unadulterated awesomeness.
05:37:10 <SevenInchBread> hmmmm.. well sound is kind of like pneumatic... but with totally different processes.
05:37:21 <SevenInchBread> vibrating air... air pressure... totally different things.
05:39:11 <SevenInchBread> with some hydraulic stuff thrown in just for the awesomeness of sloshing sounds (and a water fountain as an output device)
05:56:16 <SevenInchBread> if you consider the inpreciseness of intelligence... analog computers seem better suited for AI than digital computers.
05:57:01 -!- goban has quit (Remote closed the connection).
05:57:22 -!- goban has joined.
06:15:12 -!- goban has quit (Remote closed the connection).
06:41:44 -!- goban has joined.
07:05:51 -!- goban has quit (Remote closed the connection).
07:06:22 -!- goban has joined.
07:09:05 -!- goban has quit (Remote closed the connection).
07:09:34 -!- goban has joined.
07:14:31 -!- Sukoshi has joined.
07:15:26 <Sukoshi> If you break every case statement does it specifically match your case of choice through only one jump or is a fall-through case statement faster?
07:18:14 <GregorR> ... regardless of breaking or anything else, a switch is one jump.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:06:56 <SevenInchBread> should esoos ever become complete... it needs an OS-tan.
08:07:26 <GregorR> And even if it doesn't :-P
08:08:56 -!- ShadowHntr has joined.
08:11:40 -!- Arrogant has quit ("Leaving").
08:11:51 -!- EgoBot has quit (Read error: 104 (Connection reset by peer)).
08:12:08 -!- EgoBot has joined.
08:12:10 -!- Sgeo has quit (Read error: 131 (Connection reset by peer)).
08:41:34 -!- SevenInchBread has changed nick to SevenInchPastry.
08:54:41 -!- ShadowHntr has quit ("End of line.").
09:05:23 -!- oklopol has quit (zelazny.freenode.net irc.freenode.net).
09:05:24 -!- Sukoshi has quit (zelazny.freenode.net irc.freenode.net).
09:05:24 -!- sekhmet has quit (zelazny.freenode.net irc.freenode.net).
09:05:24 -!- NK\ has quit (zelazny.freenode.net irc.freenode.net).
09:05:24 -!- GregorR has quit (zelazny.freenode.net irc.freenode.net).
09:05:24 -!- SimonRC has quit (zelazny.freenode.net irc.freenode.net).
09:05:24 -!- tokigun has quit (zelazny.freenode.net irc.freenode.net).
09:05:28 -!- oklofok has joined.
09:05:28 -!- Sukoshi has joined.
09:05:28 -!- sekhmet has joined.
09:05:28 -!- NK\ has joined.
09:05:28 -!- GregorR has joined.
09:05:28 -!- SimonRC has joined.
09:05:28 -!- tokigun has joined.
09:05:30 -!- GregorR has quit (Read error: 104 (Connection reset by peer)).
09:05:43 -!- GregorR has joined.
09:07:45 -!- Sukoshi has quit (Remote closed the connection).
09:08:13 -!- Sukoshi has joined.
09:41:34 -!- SimonRC has quit (zelazny.freenode.net irc.freenode.net).
09:41:34 -!- tokigun has quit (zelazny.freenode.net irc.freenode.net).
09:41:34 -!- sekhmet has quit (zelazny.freenode.net irc.freenode.net).
09:41:35 -!- NK\ has quit (zelazny.freenode.net irc.freenode.net).
09:41:35 -!- oklofok has quit (zelazny.freenode.net irc.freenode.net).
09:43:50 -!- oklofok has joined.
09:43:50 -!- sekhmet has joined.
09:43:50 -!- NK\ has joined.
09:43:50 -!- SimonRC has joined.
09:43:50 -!- tokigun has joined.
09:50:47 -!- na[zZz]gjunk has changed nick to nazgjunk.
10:00:38 -!- nazgjunk has changed nick to n[a]zgjunk.
10:11:06 -!- oklopol has joined.
10:11:24 -!- oklofok has quit (Read error: 104 (Connection reset by peer)).
11:11:36 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
11:12:23 -!- oklofok has joined.
11:19:13 -!- anonfunc has quit (Read error: 104 (Connection reset by peer)).
13:29:15 -!- jix__ has joined.
13:48:18 -!- goban has quit (Read error: 104 (Connection reset by peer)).
13:48:35 -!- goban has joined.
13:56:00 -!- goban has quit (Read error: 104 (Connection reset by peer)).
13:56:15 -!- goban has joined.
15:30:09 -!- crathman has joined.
15:59:02 -!- goban has quit (Read error: 110 (Connection timed out)).
16:07:10 -!- oerjan has joined.
16:14:28 -!- crathman has quit ("Chatzilla 0.9.77 [Firefox 2.0.0.1/2006120418]").
16:16:39 <nooga> have you invented something new?
16:17:30 <oerjan> i have mostly designed a Malbolge dialect which I am calling "Malbolge Unshackled"
16:18:03 <oerjan> the implementation is far from ready though.
16:18:17 <nooga> what about the spec?
16:18:23 <oerjan> basically, i was thinking how to make Malbolge Turing complete
16:18:34 <oerjan> still only in my head.
16:18:43 <oerjan> by removing size limits
16:19:08 <oerjan> for Malbolge, this has various problems.
16:21:12 <oerjan> mostly to do with the fact that the tritwise operations (the crazy operation and rotation) are not defined for general integers, but tightly connected with the particular tritwidth (10) of Malbolge
16:22:31 <oerjan> for the crazy operation it is easiest to solve: use 3-adic numbers, where the first trit is considered to repeat indefinitely to the left.
16:22:52 -!- ShadowHntr has joined.
16:23:33 <oerjan> (Since op(0,0) == 1 on trits, this is necessary to make the definition independent of tritwidth)
16:24:03 <oerjan> but rotation is more awkward.
16:24:55 <oerjan> because what should happen to the trit that is shifted off rightward?
16:25:56 <oerjan> rotation is the only way in Malbolge to create values larger in width than those you already have, an essential for Turing completeness.
16:50:29 <oerjan> oklofok: What is StringIO?
16:54:37 <oerjan> sounds like the Writer monad.
17:05:32 <oerjan> but doing it properly is hard without duck typing, i guess.
17:07:30 <oerjan> other than that, it is far more common in Haskell to work with strings when possible, so the opposite is easier.
17:17:53 -!- oerjan_ has joined.
17:20:11 -!- oerjan has quit (Nick collision from services.).
17:20:14 -!- oerjan has joined.
17:20:48 -!- oerjan has quit (Remote closed the connection).
17:20:55 -!- oerjan_ has changed nick to oerjan.
17:27:01 -!- SevenInchPastry has quit (Read error: 145 (Connection timed out)).
17:36:32 -!- goban has joined.
17:42:02 -!- Sukoshi has quit (Remote closed the connection).
17:42:39 -!- Sukoshi has joined.
18:00:27 -!- goban has quit (Connection timed out).
18:08:03 -!- goban has joined.
18:25:05 -!- sebbu has joined.
18:49:32 -!- goban has quit (Read error: 104 (Connection reset by peer)).
18:49:41 -!- goban has joined.
19:00:11 -!- crathman has joined.
19:10:18 -!- Arrogant has joined.
19:21:09 -!- fizzie has joined.
19:36:55 -!- sebbu2 has joined.
19:48:12 -!- sebbu has quit (Read error: 60 (Operation timed out)).
20:08:22 <oklofok> oerjan bsmntbombdood used it in his *ii -parser
20:08:27 -!- oklofok has changed nick to oklopol.
20:11:23 <oerjan> iota = (char 'i' >> I) <|> (char '*' >> liftM2 App iota iota)
20:11:54 <oerjan> data Iota = I | App Iota Iota
20:12:27 <oerjan> import Text.ParserCombinators.Parsec
20:12:40 <oerjan> except the import has to be first.
20:12:53 -!- n[a]zgjunk has changed nick to nazgjunk.
20:13:38 <oerjan> eh, that I should be return I
20:15:08 <oerjan> * is application isn't it?
20:16:13 <oerjan> it's defined in the data statement.
20:17:02 <oklopol> i'm not that familiar with haskell's type system :D
20:17:44 <oerjan> well it's a kickass type system
20:18:40 <oerjan> it defines a type Iota with two constructors I and App, the last of which takes two arguments.
20:19:31 <oerjan> both themselves of type Iota.
20:21:32 <oklopol> App and I are then kinda like constructors, i would've asked, but seems it's exactly what you said now that i read it again
20:22:23 -!- sebbu has joined.
20:22:31 <oklopol> i just don't like erasing stuff i've already written
20:23:23 <oerjan> maybe add S and K to the type, then you can use the equations on the wiki page.
20:24:09 <oerjan> step (App I x) = App (App x S) K
20:24:55 <oklopol> i don't know how iota works
20:24:58 <oerjan> step (App (App K x) y) = x
20:25:35 <oerjan> step (App (App (App S x) y) z) = App (App x z) (App y z)
20:25:49 <oerjan> well S and K are the usual combinators.
20:27:05 <oerjan> step (App x y) = App (step x) y
20:30:46 <oerjan> That step definition will loop once the expression is in head normal form, however, which may not be quite what you want.
20:32:25 <oerjan> But anyhow, something like this and a couple of lines more should give an entire Iota interpreter.
20:39:53 <GregorR> OT: http://www.pastebin.ca/366652
20:41:34 -!- sebbu2 has quit (Connection timed out).
20:42:56 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
20:43:57 -!- oklopol has joined.
21:25:03 -!- oerjan has quit ("Good night").
21:36:28 -!- SevenInchPastry has joined.
21:40:49 -!- SevenInchPastry has quit (Client Quit).
21:55:20 -!- Arrogant has quit ("Leaving").
22:00:29 -!- goban has quit (Remote closed the connection).
22:00:43 -!- goban has joined.
22:12:01 -!- SevenInchPastry has joined.
22:12:12 -!- SevenInchPastry has changed nick to SevenInchBread.
22:19:17 -!- goban has quit (Read error: 104 (Connection reset by peer)).
22:19:32 -!- goban has joined.
22:33:41 <GregorR> bsmntbombdood: An email I sent today :P
22:42:16 <lament> to twonge or not to twonge?
22:43:00 <GregorR> To twonge, or not to twonge. That is the question.
22:43:30 -!- puzzlet_ has joined.
22:43:44 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
22:44:33 <GregorR> OK, I think we're done with the word "twonge" X_X
22:45:10 <SevenInchBread> so... back to esoos... do we have memory paging figured out?
22:45:40 * SevenInchBread wants to represent memory as something quirkier than a ginormous array. :)
22:46:09 -!- goban has quit (Connection timed out).
22:46:22 -!- goban has joined.
22:49:15 * oklopol 's been reading http://strlen.com/files/lang/aardappel/thesis.pdf
23:13:22 <Sukoshi> Ah... sounds ... engaging?
23:18:07 -!- crathman has quit ("Chatzilla 0.9.77 [Firefox 2.0.0.1/2006120418]").
23:33:45 -!- goban has quit (Connection timed out).
23:34:10 -!- goban has joined.