00:07:33 -!- Bike has quit (Ping timeout: 248 seconds).
00:12:19 <quintopia> oerjan: when you say "none seem to halt" you mean they continue to have zeros in them forever?
00:12:38 -!- Bike has joined.
00:13:03 -!- contrapumpkin has joined.
00:15:50 -!- copumpkin has quit (Ping timeout: 264 seconds).
00:17:50 -!- contrapumpkin has changed nick to copumpkin.
00:20:33 -!- shikhin has joined.
00:24:35 -!- tromp_ has quit (Read error: Connection reset by peer).
00:24:55 -!- tromp_ has joined.
00:34:16 <oerjan> quintopia: well i ran them with | grep -P '((8 )*8)' | head -1 appended
00:35:37 <oerjan> (adjust 8 for actual digit)
00:36:26 <oerjan> so i didn't actually look at the output for all of them
00:38:43 <oerjan> quintopia: of course i didn't run them very long, so if you actually have run any of them to the point they confirmed the conjecture...
00:39:25 <oerjan> i'd sort of guess those that segfaulted did so because they grew enormous length
00:44:17 <quintopia> oerjan: one of these days i'll implement an automatically RLEing list...
00:47:08 <zzo38> Any emulator I have tried does not support any function of $B003 register other than the register labeled "M" here: http://wiki.nesdev.com/w/index.php/VRC6#PPU_Banking_Style_.28.24B003.29
00:49:46 -!- nooodl has quit (Quit: Ik ga weg).
00:53:28 <Sgeo> Gregor: I still want to buy the Sonivox soundfont
00:53:51 <Sgeo> Although not convinced it's so great compared to Titanic
00:55:46 <oerjan> quintopia: hm oh well actually 10 _technically_ fulfils the conjecture at one step, it's just that it's so short it needs to pop zeros for the next one.
00:56:47 <Sgeo> Why is this sound called newd.wav?
00:56:55 <Sgeo> It doesn't sound very newd
00:56:59 <oerjan> oh wait that means there's something wrong with my regexp...
00:57:18 <Sgeo> It sounds more... apocalyptic
00:59:31 <oerjan> oh no, the regex's fine, it's the head -1 that somehow doesn't print the first line when nothing more is coming
01:02:52 <oerjan> quintopia: hm looking at the error messages, it might be grep which is doing the segfaulting.
01:03:37 <oerjan> because python gives a broken pipe error message
01:30:54 -!- Gracenotes has quit (Ping timeout: 245 seconds).
01:31:59 -!- Gracenotes has joined.
01:46:02 <Bike> find the "exec other command" command and use it to exec something that segfaults, duh
01:47:00 <oerjan> FreeFull: hm i was using -P, the segfault disappeared when i rewrote the regexp in usual grep style
01:49:19 <oerjan> sadly there still were no matching lines to see
01:54:11 -!- yorick has quit (Read error: Connection reset by peer).
01:55:50 <zzo38> Do you have a cycle accurate C program to emulate a 6502 CPU?
01:57:10 -!- tertu has quit (Quit: No Ping reply in 180 seconds.).
01:57:28 -!- tertu has joined.
02:17:08 -!- CADD_ has joined.
02:17:09 -!- CADD_ has quit (Client Quit).
03:01:52 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
03:18:48 -!- shikhin has quit (Ping timeout: 252 seconds).
03:24:10 -!- oerjan has quit (Quit: leaving).
03:33:42 -!- nycs has joined.
03:36:39 -!- `^_^v has quit (Ping timeout: 272 seconds).
04:08:10 -!- Bike has quit (Ping timeout: 260 seconds).
04:12:51 -!- Bike has joined.
04:14:24 <coppro> elliott_________: you appear to be leaking underscores
04:14:39 <coppro> elliott_________: and basically my "help" is "why doesn't haskell have dependent types grrr"
04:16:36 -!- shikhin has joined.
04:18:22 -!- nisstyre has joined.
04:19:00 -!- nisstyre has quit (Changing host).
04:19:00 -!- nisstyre has joined.
04:31:49 -!- Sellyme has quit (Excess Flood).
04:33:03 -!- Sellyme has joined.
04:54:54 -!- luserdroog has joined.
05:13:36 <Sgeo> http://xkcd.com/1328/
05:23:00 -!- tromp_ has quit (Remote host closed the connection).
05:23:36 -!- tromp_ has joined.
05:26:46 <oklopol> "<ais523> b_jonas: those aren't non-deterministic, the sense in which they're TC involves generalizing them to an infinite repeating pattern and treating it as a constraint-solving exercise" <<< isn't nondeterminism exactly constraint-solving?
05:26:55 -!- nisstyre has quit (Quit: Leaving).
05:27:41 <oklopol> i guess you meant in the thue sense
05:28:06 -!- tromp_ has quit (Ping timeout: 253 seconds).
05:32:10 -!- Nisstyre-laptop has joined.
05:34:40 -!- Nisstyre-laptop has changed nick to nisstyre.
05:43:24 -!- Bike has quit (Ping timeout: 245 seconds).
05:44:12 * kmc has just read http://www.vanemden.com/books/neals/jipi.html
05:47:51 -!- shikhin has quit (Ping timeout: 260 seconds).
06:11:38 -!- nisstyre has quit (Quit: WeeChat 0.4.2).
06:12:14 -!- Nisstyre-laptop has joined.
06:15:01 -!- Bike has joined.
06:15:06 -!- Nisstyre-laptop has changed nick to nisstyre.
06:44:22 <kmc> `dis86 6a3b589948bb2f62696e2f2f73685253545f5257545e0f05
06:44:23 <HackEgo> push 0x3b \ pop rax \ cdq \ mov rbx, 0x68732f2f6e69622f \ push rdx \ push rbx \ push rsp \ pop rdi \ push rdx \ push rdi \ push rsp \ pop rsi \ syscall
06:44:27 <kmc> `run dis86 31c031d2b00b52686e2f7368682f2f626989e3525389e1cd80 -32
06:44:27 <HackEgo> xor eax, eax \ xor edx, edx \ mov al, 0xb \ push edx \ push 0x68732f6e \ push 0x69622f2f \ mov ebx, esp \ push edx \ push ebx \ mov ecx, esp \ int 0x80
06:44:52 <kmc> `unhex 68732f2f6e69622f
06:45:37 -!- Guest74321 has joined.
07:00:00 <kmc> `dis86 6a3b589948bb2f62696e2f2f73685253545f5257545e0f05
07:00:01 <HackEgo> push 0x3b; pop rax; cdq; mov rbx, 0x68732f2f6e69622f; push rdx; push rbx; push rsp; pop rdi; push rdx; push rdi; push rsp; pop rsi; syscall;
07:00:17 <kmc> `as86 push 0x3b; pop rax; cdq; mov rbx, 0x68732f2f6e69622f; push rdx; push rbx; push rsp; pop rdi; push rdx; push rdi; push rsp; pop rsi; syscall;
07:00:18 <HackEgo> 6a3b589948bb2f62696e2f2f73685253545f5257545e0f05
07:01:14 <Sgeo> Refrigerators only cost a few hundred dollars?
07:01:25 <Sgeo> I was thinking it would be more like thousands, for some reason
07:02:13 <kmc> `as86 1: xor eax, eax; mov al, 0x39; syscall; jmp 1b
07:03:18 <Bike> well a /good/ refrigerator costs thousands.
07:03:27 <Bike> the walk-in ones you use in your bomb shelters.
07:03:29 <kmc> «xor eax, eax» has the same effect as «xor rax, rax», isn't it? and one byte shorter
07:03:42 <kmc> Sgeo: you can get small ones for somewhat under $100, even
07:03:44 <Bike> does xor eax eax affect the high bits?
07:04:09 -!- Tritonio has joined.
07:04:21 <Sgeo> So, instead of living with no working fridge, maybe I should just buy one myself already.... although, I also have no way to transport cold-needing foods home
07:04:37 -!- ais523 has joined.
07:04:45 <kmc> Bike: writing to the low 32 bits of a register clears the upper 32 bits, for reasons
07:04:48 -!- luserdroog has quit (Ping timeout: 245 seconds).
07:04:52 <Bike> right silly me
07:05:33 <Bike> Sgeo: you can keep foods unrefrigerated for a few minutes as you walk home without them exploding.
07:05:46 -!- shikhin has joined.
07:06:03 <Sgeo> It's an annoyingly long walk from Stop&Shop, and CVS doesn't have all that much food
07:06:30 <Bike> http://en.wikipedia.org/wiki/Standard_conditions_for_temperature_and_pressure#Current_use good thing programmers aren't the only ones who suck at standards
07:06:56 <Sgeo> Could keep Red Bull cold, I guess
07:07:03 <Sgeo> FOr the rare occasions I want to have Red Bull at home
07:07:25 <kmc> Sgeo: do you have a landlord who should fix the fridge?
07:07:53 <Sgeo> It's a co-op, I think we're supposed to maintain it. Even if not, we don't really want our landlord walking in here
07:08:26 <kmc> you can get food delivered maybe
07:08:37 <kmc> I know this is a thing in NYC; I don't know how far out on Long Island you can do it
07:08:47 <Sgeo> I can walk to CVS to buy some foods
07:08:56 <Sgeo> Instant pasta, some noodles, etc.
07:09:04 <Sgeo> Or on good days can have pizza dinners
07:09:24 <kmc> "In my experience, boxes are usually empty, sometimes with a little cheese stuck to the top, and one time pepperoni, what a day that was!"
07:09:45 <Sgeo> As in, not too cold to walk to pizza place
07:13:09 -!- Tritonio has quit (Ping timeout: 272 seconds).
07:25:15 -!- Tod-Autojoined has joined.
07:25:24 -!- TodPunk has quit (Read error: Connection reset by peer).
07:26:55 -!- FreeFull has quit.
07:32:07 <Sgeo> "Why does Firefox take 30 seconds to shut down? Because it's anal about cleaning up stuff that the OS could discard in milliseconds, and because current programming languages do not distinguish between optional resource deallocations and mandatory finalization such as flushing buffers"
07:32:09 <Sgeo> Is that accurate?
07:32:38 <kmc> i seriously doubt it
07:33:02 <kmc> have you ever observed firefox to take 30 seconds to shut down?
07:33:18 <Sgeo> I haven't used Firefox in years... well, except for at work
07:33:34 <kmc> i started using it again when i took a job at mozilla
07:33:44 <Sgeo> This is from 2012
07:33:44 <Sgeo> http://stackoverflow.com/questions/9033931/memory-leak-c
07:33:44 <kmc> i can't really observe a performance difference from chromium anymore
07:34:22 <kmc> i think it would be easy enough to hack the allocator to make free() a no-op during shutdown
07:34:37 <kmc> so if this made a big difference they would already be doing it
07:34:55 <kmc> most things on stackoverflow are wrong
07:35:29 <Sgeo> That's depressing
07:35:43 <ais523> hmm, this is possibly the first time I've seen someone criticize Firefox for /not/ leaking memory
07:36:35 <kmc> although you can only make free() a no-op if the shutdown is un-cancellable
07:37:37 <Sgeo> Why is Windows Vista so pretty?
07:37:49 <Bike> because a lot of designers spent a lot of time making it so
07:38:12 <shachaf> why do you think it's called that
07:38:21 <kmc> buena vista
07:38:34 <ais523> Sgeo: basically because Microsoft decided to move to a compositing window managers for performance reasons, and it's hard for window managers to resist screwing around with all the fun things you can do with compositors
07:39:18 <kmc> http://jerkcity.com/_jerkcity1024.html -- I'm a bit disappointed that the ANSI C citation here doesn't seem to be relevant
07:39:27 <Sgeo> Not even talking about that (although sad it seems to have been removed from 8?). Just the... wallpapers and taskbar theme
07:39:59 -!- nisstyre has quit (Read error: Connection reset by peer).
07:40:06 <ais523> I'm pretty sure 8 still does compositing, they just changed the theming
07:41:59 <kmc> really pissed that the Wikipedia deletionists got to the Jerkcity article
07:42:30 <kmc> it even had extensive citations http://www.jerkcity.com/wikipediasucks/Jerkcity.html
07:45:50 <kmc> fungot: this is all an
07:45:50 <fungot> kmc: since scheme has no builtin fnord under which defenition are characters, strings, ports)
07:46:24 <fizzie> The extensive citations all seem to be primary sources, though.
07:46:57 <fizzie> "Do not base an entire article on primary sources, and be cautious about basing large passages on them." (WP:PS)
07:49:05 <kmc> markov chain which combines king james bible with wikipedia policy documents
07:49:39 <fizzie> fungot: You heard the kmc; get to it.
07:49:39 <fungot> fizzie: if only people spoke " choose your own adventure". otoh, he's been using lisp since 1988. so i need something to tell gnomon. if only inequalities are supported in gauche's native encoding?)
07:52:35 <fungot> Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube
07:52:39 <kmc> ^style speeches
07:52:39 <fungot> Selected style: speeches (misc. speeches from Project Gutenberg)
07:52:44 <kmc> fortune favors the fungot
07:52:44 <fungot> kmc: " fnord fnord." on lincoln's nomination to the united states in a space of little more than three years elapsed before a change of ministry. his favourite disciple, george canning, young, military fnord, and the nation as buyer, to sell out the old whig party, i repeat, i am not safe from them.
07:53:01 <shachaf> fizzie: how does your speech recognition do on this fungot style
07:53:01 <fungot> shachaf: such disobedience on the part of the scheme. in the monastic institutions, in my childish days i remember to have heard a great deal of writing on the palm of eloquence doubtful. addington made a pitiable appearance between the court and juries should subsist any longer? on what principle is it that speaks thus? that of the augustan age: " fnord fnord fnord
07:53:44 <fizzie> It's challenging, because we generally expect a single utterance to come from a single speech, and not a jumble of several.
07:54:07 <kmc> fungots fall on fungot falls
07:54:08 <fungot> kmc: gentlemen, i know mr. rockefeller, two weeks ago, and wrought out to a governor the general line of his arguments. but that was no place to talk about it as it is, i got off they started to raise a revenue in america. for even then, discussion was fnord but the subject is on my mind that he entertained no principle either to influence his heart, and still, therefore, decide on their respective claims to our confidence so f
07:54:38 <fungot> Selected style: fungot (What I've said myself)
07:54:43 <Sgeo> I remember there was a flash game that I was surprised had a Wikipedia article about it... found out some things about it that I couldn't find anywhere else
07:54:51 <fizzie> "on what principle is it that speaks thus? that of the augustan age: 'fnord fnord fnord'"
07:54:52 <Sgeo> Can't even remember what it was called now :(
07:54:52 <kmc> seen things you can't un-see
07:55:00 <kmc> fungots of all kinds
07:55:00 <fungot> kmc: i use slatex tex2page, and then to beslubber our garments with it, it had some obvious deficiences ( such as `,3 sub by 47, 48, 49, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 100, 121, 144, 169, 196, 225, 256, 512 ...too much output!
07:55:18 <Sgeo> It's the one where you hit some guy and he keeps bouncing on the ground and colliding with girls
07:55:27 <Sgeo> Which... actually sounds pretty weird
07:55:33 <kmc> is it a dating sim
07:55:43 <Sgeo> It wasn't adult, but I think the characters came from an adult story of some sort
07:55:46 <Sgeo> Not a dating sim
07:56:48 <ais523> wow, I think I know the game you mean, one of my friends back at secondary school (like 10 years ago now) was addicted to it (although I've never played it)
07:56:57 <ais523> not sure how to spell it because I've only heard it spoken
07:57:12 <fizzie> Sgeo: I just located Nanaca Crash by googling for "flash game where you hit some guy and he keeps bouncing on the ground and colliding with girls" -- the first hit was relevant.
07:57:17 <kmc> fungot: i'm surrounded by them
07:57:17 <fungot> kmc: something like scheme48 ( upon the general position is a part of these amendments, i can only thank the president-in-office, you did hear me say that we have had in getting information with regard to monetary policy, a factor is
07:57:25 <kmc> fizzie: Google is pretty impressive
07:57:45 <fizzie> (I do remember that game too.)
08:00:17 <fizzie> 1260.79 m. I wonder if that's good or bad.
08:05:35 <fizzie> I guess not so good, because on second attempt I got 2800.11m. I think that's enough, though.
08:06:18 <fizzie> (I don't really understand the game mechanics. This time there was some sort of a "cosmic force field".
08:15:26 <Sgeo> fizzie: that wikipedia article has them, I think
08:18:31 <fizzie> Yes, it was very informative.
08:19:24 -!- utkarsh has quit (Ping timeout: 265 seconds).
08:20:41 -!- utkarsh has joined.
08:20:57 <shachaf> it was not obvious to me at first that there was any audience participation beyond the first click
08:21:20 -!- myndzi has quit (Ping timeout: 265 seconds).
08:22:34 -!- trn has quit (Ping timeout: 245 seconds).
08:23:12 -!- myndzi has joined.
08:25:11 <zzo38> This 6502 assembly code program contains a table "db 0,0,1,255,1,0,0" which is used in a few different ways, by reading it starting at different offsets; in one case it even uses the low two bits of the flag register as an index into this table.
08:25:21 -!- trn has joined.
08:25:45 <zzo38> (This wasn't entire intentional; I just found that I could use the same table in several ways, so I did.)
08:26:39 <zzo38> Are you aware what the flag bits are in 6502 programming?
08:28:24 <ais523> yes, although I can't remember which order they're in
08:28:36 <ais523> do you push them onto the stack in order to get them into the X/Y register?
08:29:09 <zzo38> Although you cannot pop from the stack directly into the X or Y register
08:30:11 <zzo38> The low two bits of the flag register happen to be the carry flag at bit0, and the zero flag at bit1.
08:31:05 <zzo38> I don't know how common it is to perform arithmetic on the flag register
08:31:43 <zzo38> Or to perform arithmetic on instruction opcodes, which I have also done.
08:32:46 <zzo38> Do you know of any such things?
08:33:23 <zzo38> (I think in some extended 6502 instructions sets it is possible to take from the stack directly into a X register, but not in the normal 6502 anyways.)
08:35:24 <kmc> what do you do with arithmetic on instruction opcodes?
08:35:59 <kmc> in one of my programs I have a system call to read() which overwrites part of an instruction, but not an opcode
08:36:09 <zzo38> kmc: I mean adding, subtracting, exclusive ORing, etc numbers and storing the result in a RAM where it will be executed as an instruction opcode.
08:36:26 <zzo38> kmc: What program is that, and what CPU?
08:36:49 <kmc> i will show you the program when it is ready
08:37:05 -!- Tritonio has joined.
08:39:01 <kmc> zzo38: why is it useful to do arithmetic on opcodes, though?
08:40:11 <kmc> i have to sleep now, though
08:40:12 <kmc> good night
08:41:32 <zzo38> Here is the relevant code: AND #$04 ASL A ASL A ASL A STA <ppuadd1 EOR #$38 STA <ppuadd2 (ppuadd2 points to an instruction code, while ppuadd1 points to an operand of an ADC instruction)
08:42:06 <zzo38> (The < is the syntax in MagicKit to use zero-page addressing.)
08:45:14 -!- utkarsh has quit (Changing host).
08:45:14 -!- utkarsh has joined.
09:16:11 <zzo38> ais523: Do you understand any of this?
09:17:08 <fizzie> I thought I used xor to toggle between two opcodes in a self-modifying Z80 program, but it seems I just write them explicitly, since the two places that change it are separate.
09:17:43 <ais523> zzo38: yes, although my assembler didn't need a special syntax for zero page
09:19:16 <zzo38> ais523: Yes, most don't, although in my opinion the MagicKit syntax (which not only uses a special syntax for zero page, but uses square brackets for indirection) is better than the official syntax anyways.
09:20:14 <zzo38> fizzie: Yes you could do that, although of course it depend on the program, since it is also possible that they would be updated in the same way, like I have.
09:24:01 -!- MindlessDrone has joined.
09:24:18 <zzo38> ais523: What assembler did you use?
09:28:40 <ais523> zzo38: the one in the BBC Micro ROM
09:29:55 <zzo38> I didn't know it had one
09:37:40 -!- MindlessDrone has quit (Read error: Operation timed out).
09:40:43 -!- Slereah has quit (Ping timeout: 272 seconds).
09:43:49 -!- conehead has quit (Quit: Computer has gone to sleep.).
09:52:01 -!- Slereah has joined.
09:54:24 -!- MindlessDrone has joined.
10:17:58 -!- Sellyme has quit (Excess Flood).
10:18:08 -!- Sellyme has joined.
10:18:15 -!- Slereah has quit (Ping timeout: 250 seconds).
11:17:35 -!- Phantom_Hoover has joined.
11:58:45 -!- yorick has joined.
12:00:11 -!- trn has quit (Ping timeout: 245 seconds).
12:00:29 -!- myndzi has quit (Ping timeout: 245 seconds).
12:04:56 -!- utkarsh has quit (Quit: ZNC - http://znc.in).
12:08:54 -!- spiette has joined.
12:09:02 -!- utkarsh has joined.
12:09:31 -!- myndzi has joined.
12:11:28 -!- trn has joined.
12:13:54 -!- shikhout has joined.
12:17:09 -!- shikhin has quit (Ping timeout: 248 seconds).
12:17:10 -!- shikhout has changed nick to shikhin.
12:46:21 -!- tertu has quit (Read error: Operation timed out).
12:55:43 -!- tertu has joined.
12:59:47 -!- itsy has quit (Read error: Connection reset by peer).
13:05:17 -!- itsy has quit (Ping timeout: 272 seconds).
13:27:00 -!- Sgeo has quit (Read error: Connection reset by peer).
13:37:57 -!- oerjan has joined.
13:44:59 -!- spiette has quit (Quit: :qa!).
14:11:32 -!- itsy has quit (Ping timeout: 246 seconds).
14:19:31 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds).
15:08:11 -!- Sellyme has quit (Excess Flood).
15:09:33 -!- Sellyme has joined.
15:49:47 -!- tertu has quit (Ping timeout: 252 seconds).
15:53:03 -!- tertu has joined.
15:55:04 -!- nycs has changed nick to `^_^v.
16:11:01 -!- impomatic has quit (Ping timeout: 245 seconds).
16:11:10 -!- itsy has quit (Ping timeout: 265 seconds).
16:14:10 -!- Slereah has joined.
16:19:43 -!- Tritonio has quit (Ping timeout: 272 seconds).
16:20:26 -!- nooodl has joined.
16:38:07 -!- oerjan has quit (Quit: leaving).
16:41:14 -!- FreeFull has joined.
17:04:50 -!- Johnnie has joined.
17:05:18 -!- tertu has quit (Ping timeout: 265 seconds).
17:06:59 <Johnnie> Quick question, very minor: how are program listings done on the Wiki? Are they done through external links (IE: .txt files on another website), internal links (could you use Wiki space for program listings) or right on the page?
17:13:55 -!- c_ has joined.
17:14:19 -!- c_ has changed nick to Guest76381.
17:17:21 -!- Guest74321 has quit (Ping timeout: 272 seconds).
17:22:36 -!- c__ has joined.
17:26:51 -!- Guest76381 has quit (Ping timeout: 272 seconds).
17:27:34 -!- c__ has quit (Ping timeout: 245 seconds).
17:27:56 -!- Johnnie has quit (Quit: Page closed).
17:28:00 -!- c__ has joined.
17:30:14 <ais523> oh, I wasn't online enough to answer
17:30:28 -!- Tritonio has joined.
17:30:43 <ais523> @tell Johnnie if it's short, use <pre> blocks right on the page; long programs are normally linked externally but can be placed on subpages
17:32:26 -!- tertu has joined.
17:32:28 -!- tertu has quit (Read error: Connection reset by peer).
17:40:05 -!- ggherdov has quit (Ping timeout: 265 seconds).
17:40:24 -!- c__ has quit (Changing host).
17:40:24 -!- c__ has joined.
17:41:34 <zzo38> Can you see the purpose of my AND #$04 ASL A ASL A ASL A STA <ppuadd1 EOR #$38 STA <ppuadd2 code? (Hint: It is related to the Famicom PPU)
17:42:34 <zzo38> Which is described at http://wiki.nesdev.com/w/index.php/PPU_registers
17:50:04 <zzo38> I found a repository on GitHub that contains links to other projects. Is this a feature of the git system?
17:55:51 -!- ggherdov has joined.
17:58:11 -!- c__ has quit (Ping timeout: 260 seconds).
17:59:38 <fizzie> Git does have a concept of "submodules" that are essentially links to other Git repositories.
18:00:27 <fizzie> (I don't know how they look like in GitHub.)
18:01:23 <olsner> (submodules are also widely considered to suck)
18:02:15 <int-e> https://github.com/ghc/ghc/tree/master/libraries has a bunch of submodules (but those are not - primarily - hosted on github)
18:14:14 -!- shikhout has joined.
18:14:57 -!- shikhin has quit (Read error: Connection timed out).
18:14:58 -!- shikhout has changed nick to shikhin.
18:28:34 <zzo38> I found some z80 codes for multiplication/division.
18:29:21 -!- tertu has joined.
18:29:45 <zzo38> Now I should try to convert to 6502 codes, but I don't know all z80 instruction exactly what they mean.
18:32:12 <fizzie> There's (possibly not terribly good) multiplication routines for Z80 also in the SDCC C compiler.
18:32:27 <fizzie> I was thinking there might be 6502 routines too, but apparently SDCC didn't target the 6502 after all.
18:32:41 <ais523> zzo38: the manual I learned 6502 asm from had 16-bit multiply and divide in an appendix
18:33:45 <fizzie> There's a 6502 multiplication routine included in the CC65 sources, however.
18:34:40 <fizzie> https://github.com/oliverschmidt/cc65/blob/master/libsrc/runtime/mul.s and https://github.com/oliverschmidt/cc65/blob/master/libsrc/runtime/mul8.s
18:34:45 <fizzie> (Disclaimer: it might not be any good at all.)
18:35:46 <fizzie> (And division code in div.s, udiv.s.)
18:36:10 -!- tertu has quit (Ping timeout: 260 seconds).
18:41:12 <kmc> http://www.onlinedisassembler.com/odaweb/
18:48:03 <int-e> fizzie: the mul8x8 looks suspicious to me; how is the y register ever initialised?
18:49:19 <kmc> also http://gcc.godbolt.org/
18:52:42 -!- Johnnie has joined.
18:53:21 -!- Johnnie has quit (Client Quit).
18:54:06 -!- atriq has joined.
18:54:23 <atriq> Would it be correct to say that regular expressions from a semiring?
18:55:31 <atriq> Is it particularly useful, though
18:55:42 <int-e> https://en.wikipedia.org/wiki/Kleene_algebra
18:56:24 <shachaf> atriq: not really speaking of which, did you read http://conway.rutgers.edu/~ccshan/wiki/blog/posts/WordNumbers1/
18:58:41 <fizzie> int-e: I would think it's initialized by the ldy #8 on line 22.
18:58:52 <fizzie> int-e: (mul8x8 is not an exported entry point.)
19:08:56 -!- kmc has quit (Quit: leaving).
19:09:09 -!- kmc has joined.
19:10:25 <atriq> shachaf: interesting read, thanks
19:10:37 -!- nooodl has left ("Ik ga weg").
19:26:04 -!- MindlessDrone has quit (Quit: MindlessDrone).
19:28:15 -!- impomatic has quit (Ping timeout: 260 seconds).
19:28:52 -!- Nisstyre-laptop has joined.
19:29:26 -!- Nisstyre-laptop has changed nick to nisstyre.
19:32:18 -!- conehead has joined.
19:35:55 -!- augur has quit (Remote host closed the connection).
19:36:25 -!- atriq has quit (Quit: Page closed).
19:37:34 -!- augur has joined.
19:46:50 -!- tertu has joined.
19:53:49 -!- tertu has quit (Ping timeout: 245 seconds).
19:59:06 <zzo38> What is this? http://wiki.nesdev.com/w/index.php/Talk:Glossary It looks like it replaced accented letters with Chinese, but I don't know what would cause such thing!
19:59:39 <ais523> zzo38: it could be an encoding issue
20:01:53 -!- CADD has quit (*.net *.split).
20:01:54 -!- iamcal_ has quit (*.net *.split).
20:01:54 -!- upgrayeddd has quit (*.net *.split).
20:02:28 -!- iamcal_ has joined.
20:03:04 -!- upgrayeddd has joined.
20:03:04 -!- Phantom_Hoover has joined.
20:05:33 -!- CADD_ has joined.
20:09:06 -!- augur has quit (Remote host closed the connection).
20:11:19 -!- nisstyre has quit (Quit: WeeChat 0.4.2).
20:19:56 <fizzie> There are a number of character sets where a UTF-8 è (as in the word très) would be interpreted as 猫, as listed by a quick and dirty iconv -l | while read cs; do c=$(echo 'è' | iconv -f $cs); if [ "$c" == "猫" ]; then echo $cs; fi; done 2>/dev/null
20:21:42 <fizzie> (Including GB2312/EUC-CN and Windows code page 936.)
20:24:17 <fizzie> Looking at some other characters narrows it down to probably just cp936.
20:25:06 <fizzie> (The correspondence between 脿 and à, to be precise.)
20:25:45 <ais523> I'm surprised that there are encodings that would pick just 128 CJK characters to include in the high bits, if they're that complex
20:25:55 <ais523> it doesn't seem so useful to have such a small subset of the characters available
20:26:51 <fizzie> Hm? UTF-8 è and à are two-byte encodings, and translate to a single CJK character (猫, 脿) in those. Unless you're talking about some other encodings.
20:28:30 <ais523> fizzie: oh, I thought it was being translated from Latin-1
20:28:37 <ais523> because I'm used to codepages being 8-bit
20:29:37 -!- zzo38 has quit (Remote host closed the connection).
20:31:47 -!- Bike has quit (Ping timeout: 272 seconds).
20:32:32 <fizzie> I believe CP936 is one of the Windows "DBCS" schemes, which is a multi-byte scheme with 00..7f alone as single-byte characters, and 80..ff as "lead bytes" that signal the start of a two-byte character, with the trailing half allowed to be any byte.
20:32:48 <fizzie> (So 2^15+2^7 available characters.)
20:33:15 -!- Bike has joined.
20:36:14 -!- conehead has quit (Quit: Computer has gone to sleep.).
20:37:06 <fizzie> Not that I can really understand what it's trying to say, even after fixing the encoding.
20:37:24 <fizzie> It reads like some autogenerated spam filler text.
20:37:39 <ais523> maybe it /is/ autogenerated spam filler text?
20:39:18 -!- conehead has joined.
20:47:51 -!- Tritonio has quit (Quit: Tritonio).
20:48:01 <kmc> fizzie: nice detective work
20:53:50 -!- Bike has quit (Ping timeout: 260 seconds).
21:02:17 -!- augur has joined.
21:05:37 -!- Bike has joined.
21:19:32 -!- douglass_ has joined.
21:26:58 -!- augur_ has joined.
21:27:09 -!- augur has quit (Read error: Connection reset by peer).
21:29:24 -!- ais523 has quit.
21:29:50 -!- Johnnie has joined.
21:30:30 -!- Johnnie has quit (Client Quit).
21:30:38 -!- augur_ has quit (Read error: Connection reset by peer).
21:31:03 -!- augur has joined.
21:31:29 -!- augur has quit (Remote host closed the connection).
21:31:44 -!- augur has joined.
21:32:53 -!- augur has quit (Remote host closed the connection).
21:34:45 -!- augur has joined.
21:44:05 -!- Bike has quit (Ping timeout: 248 seconds).
21:45:45 -!- Bike has joined.
21:53:08 -!- tertu has joined.
21:56:32 -!- augur has quit (Read error: Connection reset by peer).
21:57:00 -!- augur has joined.
22:04:53 -!- tertu has quit (Ping timeout: 248 seconds).
22:08:46 -!- EgoBot has quit (Remote host closed the connection).
22:08:58 -!- EgoBot has joined.
22:20:18 -!- oerjan has joined.
22:21:29 -!- Tritonio has joined.
22:34:28 -!- augur has quit (Remote host closed the connection).
22:36:35 -!- augur has joined.
22:37:43 -!- MoALTz has quit (Ping timeout: 260 seconds).
22:53:56 <kmc> http://www.reddit.com/r/rust/comments/1xi8kd/this_week_in_rust_9_feb_2014/cfblq3e
23:07:38 -!- Nisstyre-laptop has joined.
23:07:45 -!- Nisstyre-laptop has changed nick to nisstyre.
23:21:37 -!- MoALTz has joined.
23:29:39 <oerjan> quintopia: i found definite proof that your 3 1 6 3 2 1 4 n was false for the remaining cases
23:31:42 <oerjan> quintopia: also i don't think lexicographic order means what you think it means.
23:32:04 <oerjan> (by which i mean, any sequence starting 11 is before 142)
23:33:31 <oerjan> (regardless of length)
23:34:09 <FireFly> Apparently there is a wiktionary entry for the word 'esolangs'
23:50:16 -!- Sgeo has joined.
23:51:36 <oerjan> quintopia: btw you could consider n=4 the same type as n=10, although you need to note then that the alignment will never be odd.
23:56:47 -!- augur has quit (Remote host closed the connection).
23:59:14 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).