00:07:33 -!- Bike has quit (Ping timeout: 248 seconds). 00:09:53 oerjan: seg faults????? 00:12:19 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 quintopia: well i ran them with | grep -P '((8 )*8)' | head -1 appended 00:35:37 (adjust 8 for actual digit) 00:36:26 so i didn't actually look at the output for all of them 00:38:43 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 i'd sort of guess those that segfaulted did so because they grew enormous length 00:44:17 oerjan: one of these days i'll implement an automatically RLEing list... 00:47:08 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 Gregor: I still want to buy the Sonivox soundfont 00:53:51 Although not convinced it's so great compared to Titanic 00:54:22 *shrugs* 00:55:46 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 Why is this sound called newd.wav? 00:56:55 It doesn't sound very newd 00:56:59 oh wait that means there's something wrong with my regexp... 00:57:18 It sounds more... apocalyptic 00:59:31 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 quintopia: hm looking at the error messages, it might be grep which is doing the segfaulting. 01:03:37 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:41:44 How do you segfault grep? 01:46:02 find the "exec other command" command and use it to exec something that segfaults, duh 01:47:00 FreeFull: hm i was using -P, the segfault disappeared when i rewrote the regexp in usual grep style 01:49:19 sadly there still were no matching lines to see 01:54:11 -!- yorick has quit (Read error: Connection reset by peer). 01:55:50 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 elliott_________: you appear to be leaking underscores 04:14:39 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 http://xkcd.com/1328/ 05:23:00 -!- tromp_ has quit (Remote host closed the connection). 05:23:36 -!- tromp_ has joined. 05:26:46 " 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:09 at least in the np sense 05:27:41 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 `dis86 6a3b589948bb2f62696e2f2f73685253545f5257545e0f05 06:44:23 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 `run dis86 31c031d2b00b52686e2f7368682f2f626989e3525389e1cd80 -32 06:44:27 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 `unhex 68732f2f6e69622f 06:44:53 hs//nib/ 06:45:37 -!- Guest74321 has joined. 06:49:12 `dis86 deadbeef 06:49:12 invalid 06:49:15 :) 07:00:00 `dis86 6a3b589948bb2f62696e2f2f73685253545f5257545e0f05 07:00:01 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 `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 6a3b589948bb2f62696e2f2f73685253545f5257545e0f05 07:01:14 Refrigerators only cost a few hundred dollars? 07:01:25 I was thinking it would be more like thousands, for some reason 07:02:13 `as86 1: xor eax, eax; mov al, 0x39; syscall; jmp 1b 07:02:14 31c0b0390f05ebf8 07:03:18 well a /good/ refrigerator costs thousands. 07:03:27 the walk-in ones you use in your bomb shelters. 07:03:28 obviously. 07:03:29 «xor eax, eax» has the same effect as «xor rax, rax», isn't it? and one byte shorter 07:03:42 Sgeo: you can get small ones for somewhat under $100, even 07:03:44 does xor eax eax affect the high bits? 07:04:09 -!- Tritonio has joined. 07:04:21 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 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 right silly me 07:05:33 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 It's an annoyingly long walk from Stop&Shop, and CVS doesn't have all that much food 07:06:30 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 Could keep Red Bull cold, I guess 07:07:03 FOr the rare occasions I want to have Red Bull at home 07:07:10 (Snowstorm) 07:07:25 Sgeo: do you have a landlord who should fix the fridge? 07:07:53 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 you can get food delivered maybe 07:08:37 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 I can walk to CVS to buy some foods 07:08:56 Instant pasta, some noodles, etc. 07:09:04 Or on good days can have pizza dinners 07:09:09 And Subway 07:09:24 "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 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 "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 Is that accurate? 07:32:38 i seriously doubt it 07:33:02 have you ever observed firefox to take 30 seconds to shut down? 07:33:18 I haven't used Firefox in years... well, except for at work 07:33:34 i started using it again when i took a job at mozilla 07:33:44 This is from 2012 07:33:44 http://stackoverflow.com/questions/9033931/memory-leak-c 07:33:44 i can't really observe a performance difference from chromium anymore 07:34:22 i think it would be easy enough to hack the allocator to make free() a no-op during shutdown 07:34:37 so if this made a big difference they would already be doing it 07:34:55 most things on stackoverflow are wrong 07:35:29 That's depressing 07:35:43 hmm, this is possibly the first time I've seen someone criticize Firefox for /not/ leaking memory 07:35:49 :D 07:36:35 although you can only make free() a no-op if the shutdown is un-cancellable 07:37:37 Why is Windows Vista so pretty? 07:37:49 because a lot of designers spent a lot of time making it so 07:38:12 why do you think it's called that 07:38:21 buena vista 07:38:34 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 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 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 I'm pretty sure 8 still does compositing, they just changed the theming 07:41:59 really pissed that the Wikipedia deletionists got to the Jerkcity article 07:42:30 it even had extensive citations http://www.jerkcity.com/wikipediasucks/Jerkcity.html 07:45:50 fungot: this is all an 07:45:50 kmc: since scheme has no builtin fnord under which defenition are characters, strings, ports) 07:46:24 The extensive citations all seem to be primary sources, though. 07:46:57 "Do not base an entire article on primary sources, and be cautious about basing large passages on them." (WP:PS) 07:49:05 markov chain which combines king james bible with wikipedia policy documents 07:49:39 fungot: You heard the kmc; get to it. 07:49:39 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 ^style 07:52:35 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 ^style speeches 07:52:39 Selected style: speeches (misc. speeches from Project Gutenberg) 07:52:44 fortune favors the fungot 07:52:44 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 fizzie: how does your speech recognition do on this fungot style 07:53:01 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 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 fungots fall on fungot falls 07:54:08 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:37 ^style fungot 07:54:38 Selected style: fungot (What I've said myself) 07:54:43 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 "on what principle is it that speaks thus? that of the augustan age: 'fnord fnord fnord'" 07:54:52 Can't even remember what it was called now :( 07:54:52 seen things you can't un-see 07:54:55 Good principle. 07:55:00 fungots of all kinds 07:55:00 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 It's the one where you hit some guy and he keeps bouncing on the ground and colliding with girls 07:55:27 Which... actually sounds pretty weird 07:55:33 is it a dating sim 07:55:43 It wasn't adult, but I think the characters came from an adult story of some sort 07:55:46 Not a dating sim 07:56:48 Nanaca Crash 07:56:48 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:50 yep 07:56:57 not sure how to spell it because I've only heard it spoken 07:57:12 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 fungot: i'm surrounded by them 07:57:17 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 fizzie: Google is pretty impressive 07:57:45 (I do remember that game too.) 08:00:17 1260.79 m. I wonder if that's good or bad. 08:00:47 quite good, IIRC 08:05:35 I guess not so good, because on second attempt I got 2800.11m. I think that's enough, though. 08:06:18 (I don't really understand the game mechanics. This time there was some sort of a "cosmic force field". 08:15:26 fizzie: that wikipedia article has them, I think 08:18:31 Yes, it was very informative. 08:19:24 -!- utkarsh has quit (Ping timeout: 265 seconds). 08:20:38 hm, 2650.02m 08:20:41 -!- utkarsh has joined. 08:20:57 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 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 (This wasn't entire intentional; I just found that I could use the same table in several ways, so I did.) 08:26:39 Are you aware what the flag bits are in 6502 programming? 08:28:24 yes, although I can't remember which order they're in 08:28:36 do you push them onto the stack in order to get them into the X/Y register? 08:28:48 Yes 08:29:09 Although you cannot pop from the stack directly into the X or Y register 08:30:11 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 I don't know how common it is to perform arithmetic on the flag register 08:31:43 Or to perform arithmetic on instruction opcodes, which I have also done. 08:32:46 Do you know of any such things? 08:33:23 (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 what do you do with arithmetic on instruction opcodes? 08:35:59 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 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 kmc: What program is that, and what CPU? 08:36:35 amd64 cpu 08:36:49 i will show you the program when it is ready 08:37:05 -!- Tritonio has joined. 08:39:01 zzo38: why is it useful to do arithmetic on opcodes, though? 08:40:11 i have to sleep now, though 08:40:12 good night 08:41:32 Here is the relevant code: AND #$04 ASL A ASL A ASL A STA (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 ais523: Do you understand any of this? 09:17:08 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 zzo38: yes, although my assembler didn't need a special syntax for zero page 09:19:16 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 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 ais523: What assembler did you use? 09:28:40 zzo38: the one in the BBC Micro ROM 09:29:42 OK 09:29:55 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:03 Hallo! 17:05:18 -!- tertu has quit (Ping timeout: 265 seconds). 17:06:59 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 oh, I wasn't online enough to answer 17:30:28 -!- Tritonio has joined. 17:30:43 @tell Johnnie if it's short, use 
 blocks right on the page; long programs are normally linked externally but can be placed on subpages
17:30:43  Consider it noted.
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  Can you see the purpose of my     AND #$04   ASL A   ASL A   ASL A   STA  Which is described at http://wiki.nesdev.com/w/index.php/PPU_registers
17:50:04  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  Git does have a concept of "submodules" that are essentially links to other Git repositories.
18:00:27  (I don't know how they look like in GitHub.)
18:01:23  (submodules are also widely considered to suck)
18:02:15  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  I found some z80 codes for multiplication/division.
18:29:21 -!- tertu has joined.
18:29:45  Now I should try to convert to 6502 codes, but I don't know all z80 instruction exactly what they mean.
18:32:12  There's (possibly not terribly good) multiplication routines for Z80 also in the SDCC C compiler.
18:32:27  I was thinking there might be 6502 routines too, but apparently SDCC didn't target the 6502 after all.
18:32:41  zzo38: the manual I learned 6502 asm from had 16-bit multiply and divide in an appendix
18:33:45  There's a 6502 multiplication routine included in the CC65 sources, however.
18:34:40  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  (Disclaimer: it might not be any good at all.)
18:35:46  (And division code in div.s, udiv.s.)
18:36:10 -!- tertu has quit (Ping timeout: 260 seconds).
18:37:28  OK
18:38:53  tax, hmm.
18:41:12  http://www.onlinedisassembler.com/odaweb/
18:44:29  neat
18:48:03  fizzie: the mul8x8 looks suspicious to me; how is the y register ever initialised?
18:49:19  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  Would it be correct to say that regular expressions from a semiring?
18:55:05  sure.
18:55:22  Yay
18:55:31  Is it particularly useful, though
18:55:42  https://en.wikipedia.org/wiki/Kleene_algebra
18:56:22  Oooooh
18:56:24  atriq: not really speaking of which, did you read http://conway.rutgers.edu/~ccshan/wiki/blog/posts/WordNumbers1/
18:56:37  I did not
18:57:28  it's a series
18:58:25  Oooooooooooh
18:58:41  int-e: I would think it's initialized by the ldy #8 on line 22.
18:58:52  int-e: (mul8x8 is not an exported entry point.)
19:00:17  fizzie: thanks
19:08:56 -!- kmc has quit (Quit: leaving).
19:09:09 -!- kmc has joined.
19:10:25  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  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  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  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  (Including GB2312/EUC-CN and Windows code page 936.)
20:24:17  Looking at some other characters narrows it down to probably just cp936.
20:25:06  (The correspondence between 脿 and à, to be precise.)
20:25:45  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  it doesn't seem so useful to have such a small subset of the characters available
20:26:51  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  fizzie: oh, I thought it was being translated from Latin-1
20:28:37  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  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  (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  Not that I can really understand what it's trying to say, even after fixing the encoding.
20:37:24  It reads like some autogenerated spam filler text.
20:37:39  maybe it /is/ autogenerated spam filler text?
20:39:18 -!- conehead has joined.
20:47:51 -!- Tritonio has quit (Quit: Tritonio).
20:48:01  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  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  quintopia: i found definite proof that your 3 1 6 3 2 1 4 n was false for the remaining cases
23:29:50  (see talk page)
23:30:01  *+conjecture
23:31:42  quintopia: also i don't think lexicographic order means what you think it means.
23:32:04  (by which i mean, any sequence starting 11 is before 142)
23:33:31  (regardless of length)
23:34:09  Apparently there is a wiktionary entry for the word 'esolangs'
23:34:18  yay
23:50:16 -!- Sgeo has joined.
23:51:36  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).