00:02:22 <oerjan> hm and both are unique representations?
00:03:28 <kerlo> Every representation has exactly one corresponding number. Every number has exactly one corresponding canonical representation.
00:03:39 <oerjan> ic
00:03:56 <kerlo> Where "canonical representation" is a representation in which 0, 1 and 2 are represented as themselves, and "number" means "non-negative integer".
00:04:26 <oerjan> i am sort of guessing that the nested lists are just representations of numbers other than 0,1,2
00:04:31 <kerlo> Anyway, 1,000,002 is [0,0,2,[1,0],[1,0],[1,0],[1,2,1],[1,1,[1,0]]].
00:05:22 <oerjan> they don't seem to have much in common... let me try a bit
00:05:34 <kerlo> Given this, you should be able to figure out how the representation works.
00:07:05 -!- MizardX has quit (Read error: 104 (Connection reset by peer)).
00:07:08 -!- MizardX has joined.
00:07:42 <kerlo> For some values of "should".
00:14:51 * oerjan gets an idea
00:21:39 -!- Gracenotes has joined.
00:25:35 <oerjan> Main> Repr 1000002
00:25:35 <oerjan> [0,0,2,[1,0],[1,0],[1,0],[1,2,1],[1,1,[1,0]]] :: Repr
00:26:29 <oerjan> Main> Repr 123456789
00:26:29 <oerjan> [1,0,[0,1],1,[1,2],1,1,[0,2,[0,1]],[1,2,1]] :: Repr
00:41:38 <kerlo> So, what's your idea?
00:42:10 <kerlo> I'm doing all these by hand, and I'd rather check your idea than your representation. :-P
00:42:34 <kerlo> I guess i've left out part of the "canonical representation" thing. The other part is that all lists be as short as possible.
00:45:00 <oerjan> yeah i figured
00:45:28 <oerjan> anyway, modulus with the list of primes, take until no smaller number gives the same list
00:46:30 <oerjan> equivalently, until the product of the primes so far > the number
00:47:34 * oerjan handily already has primes = ... in his haskell scratch file
00:51:08 * kerlo nods
01:11:27 -!- olsner has quit ("Leaving").
01:16:10 -!- Taejo has quit ("Leaving").
01:45:01 -!- psygnisfive has joined.
01:55:53 <oerjan> Main> toInteger [0,0,2,[1,0],[1,0],[1,0],[1,2,1],[1,1,[1,0]]]
01:55:53 <oerjan> 1000002 :: Integer
01:55:58 * oerjan cackles evilly
01:56:14 <oerjan> kerlo: ^
01:57:38 <bsmntbombdood> i don't get it
01:57:52 <oerjan> hideous type class abuse
01:58:00 <kerlo> That does sound hideous.
01:58:13 <kerlo> Is toInteger entirely of your own invention, not a class function?
01:58:15 <oerjan> to make numerals give lists
01:58:24 <oerjan> no, toInteger is a class function
01:58:36 <kerlo> Of Integral?
01:58:38 <oerjan> yes
01:59:16 <kerlo> So [something] is an instance of Num...
01:59:30 <oerjan> and Real, Enum, and Integral
01:59:32 <kerlo> And it looks like something = [something].
01:59:44 <oerjan> yeah
01:59:54 <kerlo> That's possible? type Something = [Something]?
01:59:58 <oerjan> no
02:00:13 <oerjan> it's just the typed representation that is equal
02:00:16 <kerlo> You can't even use synonyms in instance declarations, can you.
02:00:27 <kerlo> So what is something, here?
02:00:30 <oerjan> not in pure Haskell 98 anyway
02:01:03 <oerjan> kerlo: because i only use standard typeclasses, defaulting makes sure that the bottom level becomes Integer automatically
02:01:20 <oerjan> so that is [[[Integer]]] up there
02:01:24 <kerlo> Cruel.
02:01:44 <kerlo> So you must have something like instance Num a => Num [a].
02:02:02 <oerjan> and also Real, Enum, and Integral
02:02:12 <oerjan> only fromInteger and toInteger are actually defined
02:03:51 <oerjan> fromInteger n = [n',n'] where n' = fromInteger n, so it doesn't really work beyond 5 i think
02:04:47 <oerjan> i could "fix" that easily though
02:05:06 <oerjan> and toInteger = unrepr . map toInteger
02:05:17 <oerjan> where unrepr is the function doing the actual work
02:22:37 -!- Corun_ has changed nick to Corun.
02:26:28 <kerlo> Why can't you use whatever you used in Show Repr for fromInteger?
02:27:22 <oerjan> because that recursed on the parts, but i could extract the relevant bit
02:32:45 <oerjan> now it works
02:36:48 -!- Corun has quit ("Leaving...").
03:14:18 -!- psygnisfive has quit (Read error: 113 (No route to host)).
03:16:58 -!- psygnisfive has joined.
03:32:39 -!- sebbu has joined.
03:47:16 -!- sebbu2 has quit (Read error: 110 (Connection timed out)).
04:07:15 -!- oerjan has quit ("leaving").
04:58:45 -!- Patashu has joined.
05:38:27 -!- bsmntbombdood has quit (Read error: 113 (No route to host)).
05:42:32 -!- bsmntbombdood has joined.
06:22:00 <pikhq> Do you know where your towel is?
06:22:26 <Patashu> it's in my bathroom
06:25:37 <pikhq> Patashu: Wrong answer.
06:25:49 <pikhq> Be a hoopy frood.
06:58:34 <bsmntbombdood> i have a towel
07:00:36 <Gracenotes> NO EXCEPTIONS!
07:04:41 -!- psygnisfive has quit ("Leaving...").
07:48:36 -!- coppro has quit (Read error: 110 (Connection timed out)).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:28:46 -!- asiekierka has joined.
08:28:48 <asiekierka> hi
08:28:58 <asiekierka> what's red...dit?
08:29:20 <asiekierka> ^style
08:29:20 <fungot> Available: agora alice c64 darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp youtube
08:29:25 <asiekierka> ^style youtube
08:29:25 <fungot> Selected style: youtube (Some YouTube comments)
08:29:28 <asiekierka> fungot: Are you a jerk?
08:29:29 <fungot> asiekierka: i think the lizzard one was on thr rright approach to land...someone decided to roll up all my pennies tonight because as everyone seems to be the right ball park however, this was at and all.
08:29:44 <asiekierka> fungot: What pennies?
08:29:44 <fungot> asiekierka: the poor people....did any1 survive?
08:29:52 <asiekierka> fungot: Yeah, but that's not the point.
08:29:53 <fungot> asiekierka: omg! he sounds like woman xd and ew to the ground.he lost site of the air bus... spicy!! wtf?
08:30:04 <asiekierka> fungot: What? Women?
08:30:05 <fungot> asiekierka: i believe they disrespected bob dylan and a longer runway. i'd like to hear him sing something rock-ish but i loved max payne 3 ( true that jaybedwetter, smoznijism and lamewaring are still down) the whole incident by removing the flight the autopilot master control would probably grow ten fold.
08:30:11 <asiekierka> fungot: *sigh*
08:31:04 <bsmntbombdood> fungot sounds like it should be the name of an esolang
08:31:04 <fungot> bsmntbombdood: krazybrit- liscenced? most pilots learn to spell and that was sikk crash, fucking please!
08:31:21 <bsmntbombdood> that was far too fast to be typed
08:36:45 -!- lereah_ has joined.
08:40:24 <bsmntbombdood> fizzie:
08:40:28 <bsmntbombdood> fungot:
08:40:28 <fungot> bsmntbombdood: check out the notes bang on, let alone stomp anything.
08:40:32 <bsmntbombdood> ...
08:52:43 <asiekierka> I made the youtube style
08:52:50 <asiekierka> by pasting a LOT of YouTube comments
08:52:51 <asiekierka> :)
08:52:53 <asiekierka> ^style
08:52:53 <fungot> Available: agora alice c64 darwin discworld europarl ff7 fisher ic irc jargon lovecraft nethack pa speeches ss wp youtube*
08:52:57 <asiekierka> Select your own :)
08:53:04 <asiekierka> in which you want to chat
09:29:56 <asiekierka> I plan to make a few mods to my C64
09:30:41 <asiekierka> Mod 1: S-Video/Audio outs (2 cables)
09:40:30 <asiekierka> and probably that's all
09:40:32 <asiekierka> so not a few mods
09:40:34 <asiekierka> but a single mod
09:40:41 <asiekierka> to GREATLY improve the quality of the video
09:40:59 <asiekierka> (Comparing RF to S-Video is like comparing Composite to HDMI. They can't be compared.)
10:28:07 -!- tombom has joined.
11:26:48 <asiekierka> augh, no, i can't
11:32:43 -!- Slereah has quit (Read error: 60 (Operation timed out)).
11:36:03 -!- Slereah has joined.
11:54:17 <asiekierka> LOL
11:54:27 <asiekierka> I asked WolframAlpha: say "Hello!"
11:54:36 <asiekierka> and it replied: Computation timed out.
11:55:37 <asiekierka> enter any computer architecture: the same
11:56:24 <asiekierka> I at least hope "enter any integer" works... no it does NOT!
11:56:48 <asiekierka> oh
11:56:56 <asiekierka> i see
12:03:32 -!- jix has joined.
13:27:10 <asiekierka> CrazyTalk+Clay=WIN
13:43:32 -!- MizardX has quit ("Proclamation of invalidity!").
13:46:40 -!- asiekierka has quit.
14:00:21 -!- impomatic has joined.
14:02:38 -!- MizardX has joined.
14:17:31 -!- Gracenotes has quit (Connection timed out).
14:29:43 -!- Corun has joined.
14:35:41 -!- BeholdMyGlory has joined.
15:12:00 -!- lereah_ has quit ("Leaving").
15:24:02 -!- FireFly has joined.
15:26:44 -!- Patashu has quit ("Patashu/SteampunkX - MSN = Patashu@hotmail.com , AIM = Patashu0 , YIM = Patashu2 , Googletalk = Patashu0@gmail.com .").
15:33:24 -!- Slereah_ has joined.
15:43:56 -!- Slereah has quit (Read error: 110 (Connection timed out)).
15:46:44 -!- MizardX has quit (Read error: 60 (Operation timed out)).
15:57:09 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).
16:13:13 -!- Corun has changed nick to Corun|away.
16:26:59 -!- Corun|away has changed nick to Corun.
16:27:54 -!- pikhq has joined.
16:33:33 <Slereah_> http://www.underfoule.net/lhc/res/54.html
16:33:33 <Slereah_> :3
16:44:50 -!- tombom_ has joined.
16:57:29 -!- asiekierka has joined.
16:58:36 <asiekierka> Hi
16:58:48 <asiekierka> Someone emulated a Commodore 65 on a Commodore 64
17:01:47 -!- tombom has quit (Read error: 110 (Connection timed out)).
17:05:52 -!- tombom_ has quit (Read error: 110 (Connection timed out)).
17:08:36 -!- oerjan has joined.
17:22:43 -!- ais523 has joined.
17:24:18 <asiekierka> hi ais523!
17:24:25 <ais523> hi
17:28:37 <asiekierka> Is there any microcomputer architecture to emulate on the C64?
17:28:46 <asiekierka> I wonder if an old Atari would be fun to do...
17:28:54 <asiekierka> ...because in Poland C64s and Ataris were competing
17:29:08 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).
17:41:05 -!- oerjan has quit ("leaving").
17:52:29 -!- Corun has changed nick to Corun|away.
17:57:20 -!- zzo38 has joined.
17:57:39 <zzo38> My Cygwin doesn't have gcc do you know why?
17:58:35 -!- zzo38 has left (?).
18:10:44 -!- Corun|away has changed nick to Corun.
18:20:00 -!- Taejo has joined.
18:20:58 <Taejo> !bfjoust taejo_simplexity (>->+)*5[[-]>-]
18:21:00 <EgoBot> Score for taejo_simplexity: -3 (maximum 11)
18:22:21 <ais523> hmm... has the hill been fixed yet/
18:22:25 <ais523> or is it still upside-down?
18:23:00 <Taejo> dunno
18:23:14 <Taejo> submit something and we'll see who gets knocked out
18:23:36 <ais523> !bfjoust ais523_attack1 [>[-]+]
18:23:38 <EgoBot> Score for ais523_attack1: -4 (maximum 11)
18:24:07 <Taejo> ais523: still upside down
18:24:08 <ais523> still upside-down
18:24:15 <ais523> your good program has been pushed off the top
18:24:17 <ais523> and suicide's still there
18:24:31 <Taejo> who runs the hill?
18:24:36 <ais523> GregorR does
18:24:51 <ais523> I wrote the interpreter, the rest of the code was a copy of his
18:24:55 <ais523> and he's modified it a bit since
18:25:03 <Taejo> I want to write my own, but it's exam time
18:25:08 <ais523> but he accidentally got the hill the wrong way up
18:25:15 <ais523> and I have a BF Joust interp that you can base the hill on
18:25:43 <Taejo> I wouldn't mind writing my own
18:27:01 <asiekierka> I GOT !@#$% RICKROLLED
18:27:04 <asiekierka> ON A !@#$% C64
18:27:09 <Slereah_> heh
18:27:23 <asiekierka> at least the cover is nice
18:27:24 <asiekierka> :)
18:27:26 <asiekierka> SID rox!
18:27:38 <asiekierka> He didn't even change it after April Fools!
18:29:26 <asiekierka> !bfjoust taejo_simplexity_2 (>-->++)*5[[-]>-]
18:29:28 <EgoBot> Score for taejo_simplexity_2: -3 (maximum 11)
18:29:30 <asiekierka> :(
18:29:56 <Taejo> asiekierka: hill is upside down
18:32:09 <asiekierka> I plan to add 2 mods to my C64 tomorrow: S-Video and noise reduction
18:32:20 <asiekierka> um, nah
18:32:23 <asiekierka> no noise reduction
18:33:44 <asiekierka> watching "I Love Ascii 6" (the C64 demo)
18:34:05 <asiekierka> it did (accidentally?) show the polish flag for a while
18:34:16 <asiekierka> but the demo rocks
18:34:24 <asiekierka> shows how much you can do with ASCII
18:34:28 <asiekierka> or charsets
18:40:08 <asiekierka> Also, I want to do a 8086 emulator :)
18:42:53 <asiekierka> well, there IS a 8085 emulator
18:44:29 <asiekierka> Nah, I want to just do some emulator
18:45:34 <ais523> do an OISC emulater
18:45:47 <asiekierka> hmm
18:45:48 <asiekierka> good idea
18:46:17 <asiekierka> I think I will have memory from $1000 to $D000 to use
18:46:34 -!- jix_ has joined.
18:47:06 <asiekierka> which is 48KB
18:47:08 <asiekierka> Quite a lot, eh?
18:47:27 <asiekierka> This allows for 24000 words
18:47:34 <asiekierka> no, even 24576 words
18:47:53 <asiekierka> Therefore 8192 commands
18:48:47 <asiekierka> Isn't that a LOT?
18:49:00 <asiekierka> I could get a bit more but that'd lag it as hell
18:49:15 <asiekierka> I think, if I could hide the I/O variables, I could get to $E000
18:49:36 <asiekierka> which will get 2048 more words = 682 more commands
18:54:49 -!- pikhq has joined.
18:56:53 <AnMaster> <asiekierka> oh <-- maybe it was overloaded...
18:59:02 -!- jix has quit (Read error: 110 (Connection timed out)).
19:00:04 -!- impomatic has left (?).
19:12:00 -!- pikhq has quit (Read error: 54 (Connection reset by peer)).
19:14:32 -!- pikhq has joined.
19:32:41 -!- olsner has joined.
19:49:46 -!- kar8nga has joined.
20:14:36 -!- asiekierka has quit (Read error: 60 (Operation timed out)).
20:18:10 -!- MizardX has joined.
20:35:08 -!- KingOfKarlsruhe has joined.
21:04:54 -!- kar8nga has quit (Remote closed the connection).
21:35:44 -!- Corun has changed nick to Corun|away.
21:37:08 -!- Corun|away has changed nick to Corun.
21:56:20 <KingOfKarlsruhe> yeah, my first C-program is finished, a snusp interpreter
22:01:40 -!- Sgeo has joined.
22:05:23 -!- pikhq has quit (Read error: 54 (Connection reset by peer)).
22:09:33 -!- pikhq has joined.
22:15:11 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).
22:43:10 -!- pikhq has joined.
22:53:34 -!- jix_ has quit ("night").
23:08:39 -!- oerjan has joined.
23:09:00 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).
23:09:42 -!- FireFly has quit ("Later").
23:09:58 <oerjan> ais523: i noticed a possible error in the eodermdrome spec
23:10:09 <ais523> ah, whay is it?
23:10:19 <ais523> *what
23:10:47 <oerjan> you can have two open nodes that have edges between them in the internal state graph but not the match graph
23:10:53 -!- BeholdMyGlory has quit (Remote closed the connection).
23:11:02 <oerjan> and by the description, those edges are removed
23:11:43 <ais523> hmm... I don't think they're meant to be in that situation
23:11:50 <ais523> it's a wiki, do you want to fix it?
23:11:59 <oerjan> i'll try
23:17:04 <oerjan> changing
23:17:04 <oerjan> Deletes all nodes from the internal state graph that correspond to closed nodes in the match subgraph, and all arcs connecting to them
23:17:08 <oerjan> Deletes all arcs in the internal state graph between two nodes that both correspond to open nodes in the match subgraph
23:17:13 <oerjan> into
23:17:18 -!- KingOfKarlsruhe has quit (Remote closed the connection).
23:17:20 <oerjan> # Deletes all arcs in the internal state graph corresponding to arcs in the match subgraph
23:17:24 <oerjan> # Deletes all nodes from the internal state graph that correspond to closed nodes in the match subgraph
23:21:11 <oerjan> oh wait now there is another problem
23:21:23 <oerjan> what if that edge _does_ exist in the replacement subgraph
23:22:17 <oerjan> ais523: ^
23:22:42 <ais523> hmm... I don't know
23:22:59 <ais523> given that redundant edges can't otherwise exist in Eodermdrome, I imagine that the two edges consolidate
23:23:37 <oerjan> hm ok
23:23:51 <oerjan> i guess that's the implicit conclusion
23:24:03 -!- pikhq has joined.
23:25:57 <oerjan> and then the wiki died again
23:38:09 -!- Sgeo has quit (Read error: 104 (Connection reset by peer)).
23:43:05 -!- ais523 has quit (Remote closed the connection).
23:43:51 -!- Taejo has quit ("Leaving").
23:45:14 -!- pikhq has quit (Read error: 54 (Connection reset by peer)).
23:46:27 -!- olsner has quit ("Leaving").
23:49:01 -!- pikhq has joined.
23:54:51 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).