←2007-02-20 2007-02-21 2007-02-22→ ↑2007 ↑all
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:20:12 <bsmntbombdood> monkey too greasy
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:29:11 <bsmntbombdood> $ ```Sxyz
04:29:15 <bsmntbombdood> ``xz`yz
04:30:04 <bsmntbombdood> $ ```SKxy
04:30:04 <bsmntbombdood> y
04:31:49 <SevenInchBread> hmmm
04:32:18 <SevenInchBread> I want to make a computer that operates on base-5
04:32:24 <SevenInchBread> a... pentit?
04:32:29 <GregorR> I want to make a pneumatic computer.
04:32:50 <SevenInchBread> Well... I'm getting kind of fed up with bits... :)
04:32:52 <GregorR> Make it base-6 so it can be a sextit.
04:32:58 <SevenInchBread> hahahahaha
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:33:41 <GregorR> "Law of Fives"?
04:33:44 <SevenInchBread> You could encode more information in less space.
04:33:52 <GreaseMonkey> oh sry
04:33:53 <bsmntbombdood> no you couldn't
04:33:58 <GreaseMonkey> didn't notice there was action here
04:34:05 <SevenInchBread> http://en.wikipedia.org/wiki/Discordianism#The_Law_of_Fives
04:34:58 <GreaseMonkey> hey, i know basic "hypnosis"
04:35:09 <GreaseMonkey> i dunno what the term for it is though
04:35:13 <bsmntbombdood> logic works in binarys
04:35:15 <GreaseMonkey> i think it's "autosuggestion"
04:35:18 <bsmntbombdood> *bits
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:37:27 <bsmntbombdood> ha ha you said sex-tit
04:48:39 <SevenInchBread> hmm... but you can't reliably represent 5 states with a typical transistor can you?
04:48:51 <SevenInchBread> the voltage can change unexpectedly.
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:35:55 <SevenInchBread> interesting idea.
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:33 <bsmntbombdood> what's the point?
05:36:36 <SevenInchBread> but then you'd annoy quite a few dogs.
05:36:41 <GregorR> Same as the point of a pneumatic computer.
05:36:41 <SevenInchBread> what's the point of anything?
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:37:53 <GregorR> Heh
05:38:23 <SevenInchBread> you could mix sound waves to do nifty things...
05:38:35 <SevenInchBread> and combine it with pneumatic somehow.
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:42:42 <SevenInchBread> hmm... a pnuematic computer? That's a wind tunnel. :P
05:43:10 <GregorR> lol
05:54:33 <SevenInchBread> I would use electrical and chemical components.
05:54:37 <SevenInchBread> essentially like the brain.
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:15:29 <Sukoshi> In C.
07:18:14 <GregorR> ... regardless of breaking or anything else, a switch is one jump.
07:18:23 <GregorR> (At max)
07:18:35 <Sukoshi> Aha.
07:18:37 <Sukoshi> Cool-z.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:06:37 <SevenInchBread> hmmm
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:33 <SevenInchBread> ...yes
08:08:39 <SevenInchBread> I imagine it being green...
08:08:41 <SevenInchBread> for some reason
08:08:56 -!- ShadowHntr has joined.
08:09:13 <SevenInchBread> or... at least... futanari (hermaphrodite anime pron)
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.
14:15:28 <nooga> hey
15:30:09 -!- crathman has joined.
15:56:40 <nooga> :S[s] :: S:`s
15:59:02 -!- goban has quit (Read error: 110 (Connection timed out)).
16:07:10 -!- oerjan has joined.
16:09:44 <nooga> hi oerjan
16:09:51 <oerjan> hi nooga
16:09:55 <nooga> back from work?
16:10:39 <oerjan> not really
16:14:28 -!- crathman has quit ("Chatzilla 0.9.77 [Firefox 2.0.0.1/2006120418]").
16:16:13 <nooga> hm
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:17:45 <nooga> w0
16:17:47 <nooga> show me
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:40 <nooga> i c
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:54 <nooga> hm
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:26:12 <nooga> i c
16:26:22 <nooga> sorry, but g2g ;/
16:26:33 <oerjan> bye
16:26:36 <nooga> bbl
16:50:29 <oerjan> oklofok: What is StringIO?
16:53:49 <oerjan> hm...
16:54:37 <oerjan> sounds like the Writer monad.
16:54:57 <oerjan> a bit.
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:25 <oerjan_> what!
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:08:47 <oerjan> Iota?
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:14:48 <oklopol> App?
20:15:08 <oerjan> * is application isn't it?
20:15:27 <oklopol> i think it is
20:15:59 <oklopol> App is a haskell term?
20:16:13 <oerjan> it's defined in the data statement.
20:16:47 <oklopol> yeah, indeed
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:21:56 <oerjan> right.
20:22:23 -!- sebbu has joined.
20:22:31 <oklopol> i just don't like erasing stuff i've already written
20:22:34 <oklopol> :P
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:26:55 <oklopol> iota is identity?
20:27:05 <oerjan> step (App x y) = App (step x) y
20:28:00 <oerjan> no, *ix = **xSK
20:28:29 <oklopol> okayh
20:30:03 <oerjan> step x = x
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:30:58 <oerjan> *loop=change nothing
20:32:25 <oerjan> But anyhow, something like this and a couple of lines more should give an entire Iota interpreter.
20:34:24 <oklopol> way to go haxxell!
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:30:40 <bsmntbombdood> GregorR: ?
22:33:41 <GregorR> bsmntbombdood: An email I sent today :P
22:36:07 * bsmntbombdood twonges
22:36:23 <GregorR> ... twonges?
22:36:42 <bsmntbombdood> twonges.
22:41:33 <GregorR> ... ... twonges? :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:43:46 * bsmntbombdood twonges lament
22:44:01 * oklopol gets a huge twonge
22:44:33 <GregorR> OK, I think we're done with the word "twonge" X_X
22:44:38 <bsmntbombdood> oh man i've only made $60 with adsense
22:44:48 <SevenInchBread> hmmm
22:45:09 <lament> sounds good
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:48:50 <oklopol> linda?
22:49:15 * oklopol 's been reading http://strlen.com/files/lang/aardappel/thesis.pdf
22:59:29 <Sukoshi> Is Esos still alive?
23:12:45 <SevenInchBread> ...sorta.
23:12:50 <SevenInchBread> no real work on it... but
23:13:10 <SevenInchBread> it's... erm... hmmm... it's in critical condition.
23:13:14 <SevenInchBread> also...
23:13:22 <Sukoshi> Ah... sounds ... engaging?
23:13:40 <SevenInchBread> omdeed.
23:13:53 <Sukoshi> Hootay.
23:13:57 <SevenInchBread> also
23:13:59 <SevenInchBread> http://deadbeefbabe.org/paste/3747
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.
←2007-02-20 2007-02-21 2007-02-22→ ↑2007 ↑all