00:04:03 soundnfury: I'm not LWian! 00:04:06 Whatever that is. 00:06:36 shachaf: you appear to be in #lesswrong 00:07:55 I'm in a lot of channels. 00:14:29 If it had a Bluetooth module it should be able to handle a wiimote, I dunno about drivers though 00:14:33 But if you're gonna replace the OS anyways... 00:14:42 s/had/has/ 00:21:13 Lumpio-: I mean the Bluetooth hardware, not the drivers. Some Bluetooth hardware seems to be incompatible with Wii remote. 00:21:19 Really? 00:21:21 That's weird 00:21:27 I don't know why. 00:21:29 I thought the wii remote was a completely normal Bluetooth device 00:24:11 It says it is HID joystick with zero buttons, zero axes, zero everything else, since it uses its own protocol. 00:24:47 Yeah it doesn't work with a HID driver alone but a proper Bluetooth module shouldn't care what protocol things use 00:24:50 That's the OS's job... 00:26:23 I know it won't work with a HID joystick driver, I know it will only work with program that specifically uses the Wii remote, but it seems some Bluetooth hardware fails to work with it for some reason, although maybe it is a mistake. 00:26:55 Well taking into account all the weird kind of hardware out there I guess it's possible that some half-arsed Bluetooth implementation would fail to work with specific devices... 00:27:09 Yes possibly 00:28:49 -!- kinoSi has quit (Read error: Connection reset by peer). 00:29:16 -!- kinoSi has joined. 00:29:52 What would be your opinion of this? http://wiki.nesdev.com/w/index.php/User:Zzo38/DotFami 00:44:14 Mappers as components huh 00:46:01 Yes. Just a few seconds ago I fixed a few things there too. 00:46:32 Is there really demand for that? It's not like there are so many mappers you can't just quickly implement each one in the emulator 00:46:42 I doubt any new ones will be made either. 00:46:50 Also is there a reason for not just using Unicode for text? 00:46:53 I expect the current "Mapper Audio" list is complete, although the "Mapper Component" list is probably very incomplete. 00:48:07 Lumpio-: Well, you might want to implement customized mappers, too. Also, the reason to not use Unicode text is due to being too complicated to display and cannot fit into a CHR ROM (although it may be changed to Unicode or even a different encoding; this document is a draft anyways). 00:49:07 Many things have changed since th first version of the draft, from suggestions and other things, such as increasing the number of banks to 16-bits instead of 8-bits (I thought 8-bits was enough but I was told otherwise, so I corrected this). 00:49:39 Why do things that have nothing to do with the functionality of the game like the title or published information have to go into "CHR ROM" 00:49:46 The CPU mode flag was different; it used to contain some features which are unneeded so I removed the unneeded features. 00:49:53 Can't it just have extra metadata tags that are completely separate from the game ROM itself? 00:50:10 publisher* even 00:50:27 Lumpio-: They don't, but if you want to make up a multigame cartridge it would be useful for them to be in CHR ROM. They are not a part of the CHR ROM of the .fami file itself. 00:52:07 (Of course the multigame cartridge itself could also be implemented using this format, and the program to create the .fami for the multigame cartridge could add a CHR ROM for the titles and so on.) 00:53:19 This is also one of the reasons for the "***" entries in the ASCII/shortkana table (another reason for the "***" is since some emulators might use null-terminated strings internally, and so on). 00:56:36 But it may be changed since it is draft, and if you have any arguments against it then please to say so. 00:57:03 "it is bad for no reason" 00:58:40 That doesn't count. 01:11:44 Nevertheless I plan to add feature to MagicKit assembler for NES 2.0, UNIF, and DotFami output formats, by adding the following commands: .NES2SUB .NES2PRGRAM .NES2CHRRAM .NES2TV .NES2VS .UNIFMAP .UNIFTV .UNIFCTRL .UNIFCHECK .UNIFBATTERY .UNIFVRAM .UNIFMIRROR .UNIFPRG .UNIFCHR .FAMISYM .FAMIMAP .FAMILABEL .FAMICPU 01:16:50 I also intend to define some format for files which are used to convert iNES and UNIF mappers into DotFami which can be used by an emulator supporting DotFami to convert iNES and UNIF files internally into DotFami (no need for .fami files of those games) and automatically supports any iNES mapper numbers and UNIF mapper names defined in future! 01:21:16 What's the "short" for shortkana for 01:22:24 Because it a shorter encoding than the full hiragana+katakana and Unicode and ShiftJIS and whatever else. 01:22:34 k 01:23:00 It's missing some pretty common characters though. 01:24:03 I'm pretty sure ァィゥェォ (the small versions) appear in game names all the time 01:24:14 And perhaps even ヴ 01:24:52 OK I can add those, possibly rearranging some existing to make room (such as replacing the WA column with the small A column and moving around) 01:25:08 You are correct. 01:27:48 OK, I fixed it. Thanks for notifying me. 01:28:58 -!- derdon_ has joined. 01:30:32 (I still firmly hold that any and all text should be stored as UTF-8) 01:31:48 -!- derdon has quit (Ping timeout: 245 seconds). 01:36:34 For some cases UTF-8 is too complicated or there are other reasons not to use it. Sometimes UTF-24 or UTF-32 will be wanted, or ASCII, CP437, or another encoding which is suitable for whatever it is being used for. (If I wanted to store data of a Commodore 64 metadata, or music or whatever, I would use the C64 PETSCII instead of ASCII.) 01:47:47 -!- derdon_ has quit (Remote host closed the connection). 02:05:22 Lumpio-, what if you want your text to be random-accessible? 02:05:52 Phantom_Hoover: Yes that is another thing to consider. 02:06:52 Do you know of Open Pandora NAND flash is subject to read disturb? 02:07:17 That's quite a big one, unless you're Elliott "write a fortune that selects a random line in the quote file and seek backwards to a separator, statistics be damned" Hird. 02:32:29 -!- oerjan has joined. 02:34:01 -!- zzo38 has quit (Read error: Connection reset by peer). 02:37:29 Is Comodo firewall terrible just because http://www.reddit.com/r/netsec/comments/7ldfz/watch_out_for_phony_certificates_comodousertrust/ 02:43:23 Probably not, but why not just use a different firewall? 02:43:34 -!- TodPunk has quit (Quit: This is me, signing off. Probably rebooting or something.). 02:45:59 >.> I already installed it on my friend's computer (Windows Firewall isn't working) 02:46:50 -!- TodPunk has joined. 02:53:36 -!- TodPunk has quit (Quit: This is me, signing off. Probably rebooting or something.). 02:56:01 are there any "competitions" for developing board game AIs? 02:56:15 i imagine that would be something some people here would be interested in 02:59:25 -!- TodPunk has joined. 03:00:55 -!- david_werecat has quit (Ping timeout: 252 seconds). 03:08:31 -!- kallisti_ has changed nick to kallisti. 03:10:04 augur, well you could enter them in a board game tournament. 03:10:20 Phantom_Hoover: i was specifically thinking of AI-vs-AI competitions 03:11:04 augur, multiple AIs could enter! 03:11:11 :P 03:11:29 we should start an AI-vs-AI competition! 03:13:14 there surely must be some in chess 03:14:08 http://en.wikipedia.org/wiki/World_Computer_Chess_Championship 03:14:26 nice 03:14:40 http://en.wikipedia.org/wiki/Computer_Olympiad 03:14:51 im more interested in algorithmic competition tho 03:15:01 because that looks like its just arbitrary comeptition 03:15:30 "For the 2009 edition, the rules were changed to limit platforms to commodity hardware supporting at most eight cores,[1] thereby excluding supercomputers and large clusters." 03:15:39 i guess that makes it more algorithmic 03:15:52 ya 03:16:00 we should start one tho! 03:16:13 maybe for go or some other more exotic game 03:16:53 http://en.wikipedia.org/wiki/World_Computer_Chess_Championship#World_Chess_Software_Championship is even more specific 03:18:39 "Games which the Olympiad would like to run, but have so far been unable to due to lack of entrants:" 03:18:42 Arimaa 03:18:43 Twixt 03:18:45 Matrix 03:22:56 we should develop a thing for designing Go algorithms 03:23:37 like, it would basically need to be a game environment with common commands for interacting with the game 03:30:22 gofuck? 03:31:09 ^just a joke 03:31:22 lol 03:31:42 itd be interesting to try different styles of problem solving too 03:31:48 derivatives include gofuckyourself 03:31:49 So I'm learning Haskell 03:31:52 Is this a good idea? 03:31:55 FreeFull: yes 03:32:17 So far nothing too unusual encountered 03:32:53 how bout the monads 03:33:35 gofuck encapsulates it's side effects in gonads 03:34:16 If this tutorial has introduced monads to me yet it hasn't done so by name 03:35:15 FreeFull: good. 03:35:18 what tutorial? 03:37:11 augur, how about Arimaa? 03:38:19 LYAH 03:38:39 Sgeo: whats arimaa 03:38:42 FreeFull: ahh hmm 03:39:44 Sgeo: ah, it seems interesting i guess 03:43:10 -!- copumpkin has joined. 03:57:37 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 04:12:31 -!- zzo38 has joined. 04:14:30 zzo38: i saw edwardk made a suggestion on a ghc mailing list to change Control.Category to use PolyKinds 04:14:59 he had several possible applications listed 04:16:08 oerjan: O, well it is something similar to what I have suggestion I guess 04:16:42 Do you know if you can get USB hardware (host and cables too) which are compatible but are not labeled as compatible with USB? 04:16:48 yes i thought it sounded relevant to things you've discussed 04:17:06 and no. 04:27:17 Are there possible to make a USB vendor ID that can be used by a large number of products? Is there possibility to just use zero VID/PID/serial for large number of things (possibly with a switch on the device if multiple device need to be distinguished)? 04:31:33 Is zero a valid VID/PID for USB? 06:05:37 google Is zero a valid VID/PID for USB? 06:05:44 @google Is zero a valid VID/PID for USB? 06:05:46 http://developer.intra2net.com/mailarchive/html/libftdi/2011/msg00315.html 06:05:46 Title: Re: 1.0: Allow to search for all FTDI standard VID/PID 06:09:54 -!- NihilistDandy has joined. 06:12:22 zzo38: ...what are you trying to do to USB 06:14:07 he accidently the USB 06:14:32 -!- NihilistDandy has quit (Client Quit). 06:17:06 USB has some problem such as requiring VID/PID for each vendor and product, and they are each only sixteen bits anyways, and you have to pay a lot of money for them. Other problems with USB are security problems, and so on. 06:17:26 So I want to avoid these problems. 06:17:31 Security problems such as? 06:17:44 Also if something is compatible with USB it's going to have the same problems. 06:18:18 Security problem such as connecting what seems to be a USB memory to the computer and have it act as a keyboard instead, you can mix up your computer with that (and this has been done). 06:19:06 zzo38: there is a potential way around it 06:19:32 VID/PID pooling... but i guess theres probably strict rules not to do that 06:19:35 I know there are ways around it such as requiring a USB keyboard to be connected at boot time, and so on. 06:20:13 PCI Device and Vendor IDs are 16 bits each, too. That seems like the Thing To Do, really. 06:20:25 Yes I know there are rules against VID/PID pooling I think it means you cannot call it USB or compatible with USB if you use not the correct VID/PID and other things incorrect too. 06:20:59 You can't use the logo without passing the USB-IF compliance program, that much I know. 06:21:19 what i mean by that is, using the same VID/PID for several different products 06:21:30 and also for several different companies 06:21:45 a virtual vendor so to speak :D 06:22:09 fizzie: I know, I read that on Wikipedia too 06:22:12 im probably so completely wrong about this that i should stay out of it 06:22:37 itidus21: I think that is also disallowed, but still it was my idea to do exactly that, and just don't use the USB-IF compliance. 06:22:59 You do see same VID/PID combinations for different "products" when those products are just slightly rebranded versions of the same thing, but I suppose that doesn't quite count. 06:23:11 :-D 06:23:48 Like this "DeLock" brand hub I have, it's listed as "05e3:0608 Genesys Logic, Inc. USB-2.0 4-Port HUB" -- and so are many other 4-port hubs of various sizes and shapes and plastic molds. 06:23:54 Perhaps it should just always used 0x0000/0x0000 or 0xFFFF/0xFFFF 06:24:24 0/0 might have compatibility issues. (I don't know if it would: but it sounds like it well might.) 06:25:43 Yes that is one thing I thought so perhaps 0xFFFF/0xFFFF should be used. 06:26:56 The linux-usb.org "usb.ids" master list has the entry for 0xABCD/0xCDEE with vendor "Unknown", product "Petcam". That sounds like another case where someone has made a USB-"compatible" device without bothering to go through USB-IF registration. 06:34:00 Also from usb.ids: http://sprunge.us/WXhJ 06:43:32 Why do they need that? That seem for human specifically and also does not tell the difference of left hand and right hand, and "calf" is not capitalized. 06:44:22 The capitalization might have been a typo of the person who made the list from (presumably) the HID specs. 06:44:39 And it's from the "Human Interface Device" stuffs, so I suppose it makes sense it's for humans. 06:44:52 I don't exactly know what those numbers are used for. 06:45:06 OK, but still why do they even need that list at all, and why is there no distinctuion between left and right hand? 06:45:15 -!- NihilistDandy has joined. 06:47:14 There's another set of "BIAS" numbers with meanings Not Applicable, Right Hand, Left Hand, Both Hands, Either Hand. Perhaps those are used in conjunction with these when the side is important. 06:47:59 -!- oerjan has quit (Quit: leaving). 06:48:08 Why do they make that stuff so complicated? 06:48:54 "Physical descriptor sets are optional descriptors which provide information about the part or parts of the human body used to activate the controls on a device." That's what they're used for. 06:49:07 -!- NihilistDandy has quit (Client Quit). 06:49:11 For distinguishing the eyebrow button from the fifth toe button. 06:49:22 -!- epicmonkey has joined. 06:50:08 I still see no need for such thing. 06:50:47 -!- NihilistDandy has joined. 06:51:39 "Note: Physical Descriptors are entirely optional. They add complexity and offer very little in return for most devices. However, some devices, particularly those with a large number of identical controls (for example, buttons) will find that Physical Descriptors help different applications assign functionality to these controls in a more consistent manner. Skip the following section if you do ... 06:51:45 ... not plan on supporting Physical Descriptors." 06:52:04 (USB HID DCD, 1.11.) 06:56:17 Is there a hardware description language that you can specify by transistors? 06:57:21 -!- asiekierka has joined. 06:57:46 According to esolang wiki "The entire execution unit for muxcomp64 would be extremely small, very close to 16K transistors (not gates, transistors)." How to build such a thing, how fast would it be, and how efficient in terms of program size? 06:58:17 I have heard of the esolang wiki. 07:07:07 Hey, ARMv8 will be 64-bit 07:07:52 It adds that AArch64 thing; does it make it mandatory? 07:08:10 They did have processors e.g. with and without Thumb, earlier. 07:09:48 I have read that only ARMv2 could be implemented freely (called Amber) because the new one require a license from ARM, which they don't have. 07:12:23 * ais523 submits an anarchy golf program that contains literal formfeeds 07:12:48 I needed two characters that weren't present in the input to represent temporary codes to work on, and where I could match "anything but those characters" easily 07:13:16 then I noticed Perl had a \V code for "not vertical whitespace", and so used newline and formfeed as my extra characters (both of which can be embedded literally into strings in Perl) 07:21:07 -!- epicmonkey has quit (Ping timeout: 246 seconds). 07:25:01 "ais523_waterfall3 • Trace and animation (warning: very long and very slow to load) " -- dismissed warning too hastily :) 07:30:27 -!- asiekierka has quit (Remote host closed the connection). 07:37:01 -!- asiekierka has joined. 07:41:45 -!- asiekierka has quit (Remote host closed the connection). 07:44:44 -!- AnotherTest has joined. 08:24:48 -!- epicmonkey has joined. 08:26:40 -!- mig22 has joined. 08:36:34 How do I buy a free and open source microprocessors? 08:37:28 With great difficulty. 08:37:47 You can run OpenCores things on FPGA devboards, but those aren't "open" themselves. 08:38:46 It seem FPGA always requires special software to use. 08:39:07 And even then they are still FPGA and not standalone units. 08:40:12 I can find some information about free and open source microprocessors without too much difficulty but none of them seem to be for sale. 08:40:31 OpenCores are trying to make a SoC-style ASIC version of OpenRISC, but I don't think they've succeeded so far. 08:43:13 When (if) they do, that should result in something you could actually buy. 08:44:20 -!- nooga has joined. 08:53:36 I think there are some "standalone" boards that are built around a FPGA chip which is just not terribly visible outside, but it's still a FPGA-based implementation on some non-open hardware. 08:54:54 Isn't FPGA less efficient than a specifically-build part, though? 08:56:11 Sure, but it also costs a lot less if you're only buying a couple. 08:57:54 The OpenRISC ASIC donation project mentions they'll need something like $35000-$750000 to proceed, depending on the technology. 09:00:04 What I want to be able to do is a free and open source microprocessor which, if the computer is turned off, and then the processor is removed and replaced by another one of the same kind from a different manufacturer who is not licensed with anyone and uses no common materials to build it, that the computer will run the same when turned on. 09:04:57 -!- mig22 has quit (Quit: mig22). 09:06:47 So does OpenRISC cost $750000 then if I want to buy one? 09:06:55 I don't have that much money. 09:07:50 -!- asiekierka has joined. 09:10:18 zzo38: No, they just need that much money for the one-time manufacturing costs. They don't have any estimate for the unit price you'd need to pay if you wanted one (since it depends on how much money they manage to collect and what sort of manufacturing technique they can afford), but it's bound to be reasonably low. 09:10:30 zzo38: But yes, in the sense that if you wanted to buy one right now, you could donate them the $750000 and presumably they'd then manage to get something manufactured. 09:10:41 Maybe not quite "right now", but in the near future. 09:10:57 Unless they're going to just take their donations and move to Bahamas. You never know. 09:12:24 I suppose it is possible, but I doubt it. 09:14:22 Still, their web-forums aren't terribly active, so it's not certain at all that they'll ever get to the point that they'd be actually selling processors. 09:14:28 zzo38: it is possible that you will acquire $750000 of disposable cash 09:15:37 Is there sufficiently fast and efficient 32-bit processor which lacks the following features: serial numbers, DRM, virtual addressing, save state across power cycles 09:15:47 the temptation there would be to move into a 5star hotel 09:17:06 and somehow avoid becoming charlie sheen 09:23:09 I also don't want too many features 09:23:46 I like the one which are more simple! 09:28:21 -!- soundnfury has quit (Ping timeout: 248 seconds). 09:34:02 zzo38: well the positive side of hardware is that since it is physical it cannot be pirated so easily 09:35:28 this means.. hmm i'm not sure.. i guess it doesn't mean that much 09:36:44 -!- AnotherTest has quit (Ping timeout: 265 seconds). 09:36:59 i suppose also that hardware emulation means that by investing in one very powerful piece of hardware, one can emulate 100s of less powerful but more prolific hardwares 09:37:35 But I want one that anyone can just copy without license fees (although they will certainly need to pay for equipment and so on) 09:39:58 the trouble with very powerful hardware is it has much less mobility, far more expensive, more concerns with heat dissipation 09:40:18 -!- mig21a has joined. 09:40:29 Yes but I don't need very powerful hardware, but not too slow either. 09:41:37 im slowly understanding the business world.. very slowly 09:42:24 generally if a license fee has to be paid, a healthy business will pay it 09:42:55 this seems counter intuitive to me 09:43:53 but for instance, most companies which avoided NES licensing made crappy games 09:44:21 i suspect this may be because they lacked documentation and tools from nintendo though 09:44:34 On the other hand, the Gameboy Advance has a lot of good homebrew games 09:45:06 FreeFull: well.. i just got a homebrew cart for my new secondhand ds today 09:51:49 If it's one of those that go into the DS slot (only), I doubt you can run GBA games from it. 09:52:27 (At least entirely trivially. Maybe someone's hacked something up by now.) 09:52:46 ahh.. i wonder what i am in for 09:55:09 -!- mig21a_ has joined. 09:55:29 I have this "R4DS" microsd-to-DS homebrewness thing, though it's been quite a while since I last fiddled with it. 09:56:09 -!- zzo38 has quit (Remote host closed the connection). 09:56:17 yeah the one i got is r4 09:57:50 fizzie: well importantly i should ask.. is it the gba platform itself which is the issue, or is it the amount of work to emulate it? 09:58:03 -!- mig21a has quit (Ping timeout: 245 seconds). 09:58:05 -!- mig21a_ has changed nick to mig21a. 09:58:42 The DS is not doing any emulation to run GBA games, it's got the necessary hardware in it. 09:58:59 (The ARM7TDMI that the GBA uses is one of the two processors in the DS.) 09:59:10 Well, the GBA has GBC/GB hardware in it 09:59:23 Okay, so the DS dropped those. 09:59:48 But I suppose no GBA-native game actually used the Z80 for anything? I don't know. 10:00:04 Some used it for stuff 10:00:09 I forget what for 10:00:14 fizzie: hmm ok so.. basically... instead of creating some bastardized solution to cater to idiots.. should i understand the general idea is to get a flash card which uses slot-2? 10:00:15 I suppose those won't work on the DS then? 10:00:30 itidus21: If you want to run things designed for the GBA, yes. 10:00:53 Though if it's homebrew, it sounds reasonably feasible for the author to make a DS-compatible build, since they do have the hardware. 10:01:16 i used to have a bunch of gba games until i traded them in for a pittance 10:01:56 but.... my ff6 gba was a counterfeit from ebay which had therefore no capacity to save 10:01:57 (For some values of "feasible", anyway. If they rely on extra RAM on the flash card, then probably not.) 10:02:51 DSLinux doesn't run terribly well on the plain R4, for example, since a slot-1 card cannot provide extra expansion RAM. 10:04:23 -!- aloril has quit (Ping timeout: 244 seconds). 10:05:17 (The slot-1 cartridge communicates with the system over a relatively narrow bus and a specific protocol that has read requests and whatnot, while the GBA slot is just mapped into the address space quite directly.) 10:05:25 i guess it couldn't hurt to have both when i get desperate 10:06:26 I'm under the impression that most of the slot-2 flashcards have some megs of expansion RAM in them, just in case. 10:06:35 (Never bothered to get one.) 10:06:48 ds browser comes with some kind of expansion 10:07:05 It does, yes. 10:07:13 i had that once 10:07:21 And DSLinux can use extra RAM from the browser expansion, if I recall correctly. 10:07:29 yes 10:07:52 it can also use dldi(?) storage on slot2 expansions 10:09:14 "It is technically possible to access media in both Slot-1 and Slot-2 but support is not currently implemented." (DSLinux wiki) 10:09:25 So I suppose you can't do mass storage on both. 10:10:03 I've booted dslinux a few times from the (slot1) R4, but it doesn't really have all that much use, especially without extra RAM. 10:11:08 ds lite was $56 .. card was $52.50 including postage.. i'm quite happy with that 10:19:46 -!- aloril has joined. 10:29:50 -!- kinoSi has quit (Read error: Connection reset by peer). 10:30:17 -!- kinoSi has joined. 10:42:35 -!- david_werecat has joined. 10:54:24 -!- ais523 has quit. 10:56:31 -!- itidus21 has quit (Quit: Leaving). 10:57:31 -!- Phantom_Hoover has joined. 11:11:38 -!- david_werecat has quit (Ping timeout: 252 seconds). 11:35:05 -!- ogrom has joined. 11:36:41 -!- MoALTz has joined. 11:56:01 -!- derdon has joined. 12:14:04 -!- aloril has quit (Ping timeout: 244 seconds). 12:21:07 -!- MoALTz has quit (Ping timeout: 240 seconds). 12:21:47 -!- ogrom has quit (Read error: Connection reset by peer). 12:22:11 -!- ogrom has joined. 12:29:15 -!- aloril has joined. 12:34:45 -!- mig21a has quit (Quit: Colloquy for iPhone - http://colloquy.mobi). 12:35:00 -!- mig22 has joined. 13:00:07 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 13:21:21 -!- boily has joined. 13:24:31 -!- monqy has quit (Quit: hello). 13:28:04 -!- copumpkin has joined. 13:30:49 -!- soundnfury has joined. 13:42:21 -!- Nisstyre has quit (Ping timeout: 276 seconds). 13:50:26 -!- Nisstyre has joined. 14:11:30 -!- ogrom has quit (Quit: Left). 14:20:34 -!- mig22 has quit (Quit: mig22). 14:26:56 -!- alexn6 has joined. 14:32:59 -!- DHeadshot has joined. 14:39:43 -!- alexn6 has left ("http://quassel-irc.org - Chat comfortably. Anywhere."). 14:57:07 -!- DHeadshot has quit (Read error: Connection reset by peer). 14:57:30 -!- DHeadshot has joined. 15:27:58 -!- epicmonkey has quit (Ping timeout: 246 seconds). 15:51:17 -!- itidus21 has joined. 15:51:31 it's strange that streets in finland have a finnish name and a swedish name 15:51:35 (at least in helsinki this is the case) 15:52:28 heegan 15:52:48 kmc: It’s a bit as if Polish streets had both a Polish name and a German name. 15:53:02 They also have a Finnish anthem and a Swedish anthem, with different melodies. 15:53:02 well, they don't put them both on the signs, do they? 15:53:04 not anymore :) 15:53:07 hichaf 15:53:09 s/They/We/, of course. :-) 15:54:41 right 15:54:59 http://www.testtubegames.com/velocityraptor.html 15:55:06 @localtime 15:55:10 Local time for shachaf is Wed Aug 15 08:55:06 2012 15:55:11 * shachaf has yet to sleep. 15:55:21 at least as far as i can convince myself things are wonderful, languages are really wonderful 15:58:37 like in english the word frog means someone who wears a beret 15:59:34 and if you call someone a frog you might say, pardon my french 16:08:22 -!- kinoSi0 has joined. 16:11:06 -!- kinoSi has quit (Ping timeout: 268 seconds). 16:19:31 -!- ogrom has joined. 16:30:26 kmc: Some muncipalities are unilingual, they only put one set of names in signs. 16:31:26 In .il signs are generally supposed to be trilingual. 16:31:26 Apparently the proper word is "authority", not muncipality. 16:31:28 Anyway. 16:32:02 "The Language Act is based on a division of authorities into unilingual and bilingual authorities. The linguistic division is of importance both for the language rights of an individual and for the language obligations of the authorities. The obligations of a unilingual authority to provide service in both languages are more limited than those of a bilingual authority. 16:32:07 The basis of the linguistic division will, as before, be unilingual and bilingual municipalities. The grounds for the division will remain the same. Every ten years the Council of State decides the division on the basis of the information in the Population Data System regarding the language of each inhabitant of the municipality. 16:32:12 The current Council of State Decree will expire in 2012. According to the Decree there are 21 bilingual municipalities with Finnish as the majority language in Finland and 23 bilingual municipalities with Swedish as the majority language. Three municipalities are Swedish-speaking. The rest of the municipalities, 399 today, are Finnish-speaking." 16:33:00 Oh, so "authority" was referring to all kinds of things that serve people. Still. 16:33:56 -!- coppro has quit (Ping timeout: 246 seconds). 16:35:38 -!- coppro has joined. 16:38:33 fizzie: They should add English. 16:38:40 Because, I mean, everyone likes English. 16:40:53 Then they'd have to invent translated names for every street. That sounds like a job. 16:41:45 fizzie, Finland has jumped the shark. 16:41:55 Of Swedishness. 16:42:15 fizzie: No, just transliterate the names into English! 16:42:26 ...I guess when you have almost the same alphabet, it doesn't make as much sense. 16:44:15 shachaf: But which name, the Finnish or the Swedish one? (Transliteration could do the äö -> ae, oe mapping, that always results in amusing names.) 16:44:28 fizzie: The Finnish one, obviously. 16:44:34 It *is* Finland, after all! 16:44:49 * shachaf uses logic. 16:44:50 I once lived on Jaeaekaerinkatu. 16:45:06 also swedish words don't deserve to be spoken in english 16:45:18 fizzie, proof positive that Finns are actually kobolds. 16:46:13 http://1d4chan.org/images/1/16/Id_give_you_the_moon.gif <- accurate depiction of Finnish courtship? 16:46:17 There's also a Toeoeloenlahdenkatu. 16:46:35 Maybe .il signs should add Russian. 16:46:40 Then they can have four alphabets. 16:47:01 -!- Lumpio- has quit (Ping timeout: 252 seconds). 16:47:16 Apparently something like 20% of the population speaks Russian? 16:48:02 -!- DHeadshot has quit (Read error: Connection reset by peer). 16:48:07 -!- DH____ has joined. 16:50:11 Phantom_Hoover: I think "Finnish courtship" in general involves much more drunk, but. 16:51:08 fizzie, it doesn't show you but the bowl is actually full of vodka 16:52:28 although given that finnish houses probably are like http://1d4chan.org/images/9/9f/Koboldhouse.gif 16:53:40 First Google image search hit of "Finnish house" for me gave a house in Gent, Belgium. 16:53:59 (Because it has "stark beauty with Japanese-Finnish undertones".) 16:54:28 http://images.travelpod.com/tw_slides/ta00/9ca/65a/a-typical-finnish-house-jamsa.jpg -- well, that is indeed very typical. 16:54:49 (I like how the windows are kind of wherever.) 16:55:37 mondarinish? 16:55:51 -!- Lumpio- has joined. 16:56:51 fizzie, well of course, finns haven't yet invented the straight ruler 16:57:42 -!- MoALTz has joined. 17:02:23 Phantom_Hoover: A traditional Finnish house: http://lh4.ggpht.com/-tnNFy8xax6o/RcaLthnHOAI/AAAAAAAAB-A/LJaFNvVGdR4/pikkuhuopalahti0015.jpg (not really) 17:02:46 i like the pillars 17:03:10 also are those things in the air cablecars, please please please tell me they're cablecars 17:04:04 no, those are finnish bicycles 17:04:28 I'm not sure what "things" those are. There are streetlights, and the tram power cables, that I can see. 17:05:04 dammit 17:05:05 http://mediaserver-2.vuodatus.net/g/3004/1854115.jpg <- the backside; http://taivasalla.net/2003/2003-04/img/030410_1702.jpg <- the frontside. 17:05:19 fizzie: ahh.. well in many places streetlights are suspended from poles. 17:05:28 so having them on a wire is novel 17:06:12 itidus21: They're hanging from wires I think mostly in places where the trams go, I guess the idea is that you're going to have wires over the street in any case. 17:06:45 ie. yes, phantom thought the streetlights were cablecars 17:06:58 and i believed him 17:08:55 itidus21: The fakeblecars are here: http://goo.gl/maps/GXcVW 17:11:01 (Usually there are also far less pastel colours, but the neighbourhood is an unusual one.) 17:15:34 -!- AnotherTest has joined. 17:15:40 kallisti: are you working on haiku os project? 17:17:46 no 17:18:20 ok. then it must be some other kallisti 17:19:39 Streetview has surprisingly poor coverage of Venice. 17:20:22 Streetview had really poor coverage of some place. 17:20:25 Luxembourg, I think. 17:20:48 Who cares about Luxembourg?? 17:21:08 By "poor" I mean "none". 17:21:09 luxembourg could accidently get lost in border disputes 17:21:26 There's a whole lot of those Panoramio geotagged photos though. 17:21:42 In the case of Venice I guess it's because the interesting parts of the city are all entirely pedestrian or... boatestrian. 17:22:20 I'm sure they could whip up a streetview gondola. 17:23:46 "boatestrian" -- Phantom_Hoover, 2012 17:26:18 humans are the only species stupid enough to live on the surface of the water 17:26:27 lol? 17:26:33 are you serious? 17:27:17 probably not 17:27:20 Well TbH it's not a common strategy for anything motile 17:28:03 I suppose it would depend on what you mean by "surface of the water." I included aquatic lifeform that lives near the surface of the ocean. 17:28:06 The Portugese Man o' War is the only one I can think of offhand. 17:29:00 i don't know exactly what i mean, i was basing the comment on the word boatestrian 17:29:20 I doubt that's what itidus21 meant, considering that most well-known oceanic species live in the upper part of the ocean. 17:29:26 many species of insects can walk across water. There's also a reptile I believe. 17:29:52 i imagined pedestrian - ped.. + boat.. 17:29:58 and imagined an animal with a hull 17:30:12 and thought.. well if it was a fish it would be more like a submarine 17:30:52 and that an animal which functioned like a boat would be quite absurd 17:32:23 The lizard is kind of a different case since it just runs across pretty fast and can't stay in place, it's too big for the surface tension trick. 17:32:39 right 17:33:06 the boat is one of the few vehicles which doesn't have a close animal counterpart 17:33:17 pretty sure beavers also live on the surface of water in the same way that humans can (via artificial constructions) 17:33:42 hmm 17:33:53 i think in general it's against nature for an animal to be a boat 17:34:00 i don't know why 17:34:04 `addquote 17:34:08 help how do. 17:34:14 No output. 17:34:36 `addquote i think in general it's against nature for an animal to be a boat 17:34:40 856) i think in general it's against nature for an animal to be a boat 17:34:41 Some birds make floating nests, that's pretty close to a houseboat. 17:34:46 Grebes, for example. 17:35:09 noah understood this 17:35:46 I feel like that statement deserves an automatic kickban. 17:36:38 * kallisti should perhaps not have ops. 17:36:40 -!- ogrom has quit (Read error: Connection reset by peer). 17:36:48 Oh, and Jacanas build nests on floating vegetation. They have ridiculous feet: http://upload.wikimedia.org/wikipedia/commons/f/fd/Irediparra_gallinacea1.jpg 17:37:09 kallisti, although he didn't understand inbreeding. 17:37:24 ok.. yeah i took it too far 17:38:29 i don't want to make it worse 17:43:07 i guess polar bears live on water 17:43:54 itidus21: what about like underground streams, maaan? 17:44:00 aren't we all living on water? 17:45:45 polar bears live on seals 17:55:56 basically i was envisioning something like hedonismbot from futurama in the way he is always sitting down 17:57:09 fizzie: but the bird is not the boat then, it's just living on it 17:57:28 but whales should count as u-boats 17:57:30 we were never originally talking about boats 17:57:35 that's just itidus21 for you. 17:58:31 or rather, we were never talking about animals that are boats. 17:58:36 well, *originally*, I suppose we were talking about esoteric programming languages 17:58:38 but I can't remember when that was 17:58:41 it was "animal that lives on the surface of the water" 17:59:03 another thing about water is i don't think animals often mess with the water except beavers 17:59:04 nevertheless, I think we should respect the rights of whales to be boats 17:59:06 not "animal that is boat also noah herp derp" 17:59:43 well i got that from ped = foot 18:00:18 and.. my obscure logic was.. something which is like a pedestrian except it doesn't have feet 18:01:06 I guess equestrian is when you have horses for feet 18:01:35 clearly 18:03:01 olsner: A house is not a motel. 18:03:07 -!- oerjan has joined. 18:03:40 oerjan: Are you a boat? 18:03:49 fizzie: Is it a boat then? 18:03:52 fizzie: but can a motel be a boat? 18:03:57 WROOM 18:04:00 can oerjan be a boat? 18:04:06 have we considered the possibility of motels for feet? 18:04:07 kallisti: I don't see why not. 18:04:30 also: vending machines 18:04:48 I feel as though Nabisco understands that it is unnatural for animals to be vending machines. 18:05:01 -!- nooga has quit (Remote host closed the connection). 18:05:10 -!- nooga has joined. 18:05:12 In the future, when we've all been cyborgified, there will be vending machines for feet. 18:05:24 oerjan: also: kickban itidus21 so he can stop ruining this channel. 18:05:27 thanks. 18:05:39 I want to idle in peace. 18:06:01 and everyone will be their own house, and with inflatable cyborg implants everyone can also be a boat 18:07:15 so has anyone ever considered: static structural typing with a prototype OO system. 18:07:28 with immutable objects 18:08:39 so since objects are immutable, you don't explicitly copy objects. instead you explicitly extend them with new fields. 18:09:36 and types are denoted by structure. as in: {x : Int, y : Double} is the type for a structure with those fields and types. 18:09:54 does this exist? is there a problem with this? etc 18:12:25 recursive types could be a problem. 18:12:39 without nominal typing of some kind. 18:14:29 it sounds like something that should've been done, but not sure about the immutable objects part 18:15:08 -!- oerjan has quit (Quit: leaving). 18:15:23 most prototype OO systems are dyanamically typed, but I don't see any reason for this to be the case, since it more or less mirrors structural typing. structural typing is like the duck typing of static typing. 18:15:38 iirc these modern JS engines try to infer type information based on structure, but everything is mutable there so they'll have to like change the type of an object on the fly 18:16:32 * kallisti is interested in some of the Haskell record improvement proposals, which heavily resemble structural types. 18:16:46 so essentially you'd have a curly bracket syntax at the type level that's syntax sugar for a bunch of typeclass constraints. 18:16:47 -!- DH____ has quit (Read error: Connection reset by peer). 18:20:20 this is probably off topic, but is {x : Int, y : Double} equivalent to {y : Double, x : Int} 18:20:21 I don't see how recursive types could work with a structural type system like this though. if you have an operation that essentially combines 2 records with static type information, then it's not clear how recursive types would be altered by this. 18:20:33 itidus21: yes 18:20:51 so there would need to be a nominal type system as well. using ADTs. 18:21:54 unless there's a way to sanely prototype something with a static recursive type. 18:22:36 in other words: 18:24:08 type Foo = {x : Int, y : Double, z : Foo }; x = {x = 2, y = 2.5, z = x} + {a = "hello"} 18:24:12 what is the type of x? 18:24:20 oh, saw the original narm scene just now ... it really was narm 18:26:07 actually nevermind I guess that resolves itself. also that example only really makes sense with lazy evaluation 18:28:43 (oh, also, it should be pointed out that record types have subtypes. {x : Int, y : Double} is a subtype of {x : Int} 18:28:46 ) 18:30:54 my thoughts have turned to a variable which can refuse to indicate it's type or value until it's ready 18:31:45 which would basically mean try-catch blocks around assignments 18:32:36 maybe a can't evaluate this operator 18:32:52 -!- kallisti has left ("disgustpart"). 18:33:30 -!- itidus21 has left ("Leaving"). 18:41:01 -!- Nihilist_ has joined. 18:41:49 -!- jlaire_ has joined. 18:42:59 -!- zzo38 has joined. 18:43:49 Isn't it somewhat obvious that atriq is Taneb? The next line after that one also says so! 18:45:11 -!- aloril has quit (Ping timeout: 244 seconds). 18:45:48 -!- NihilistDandy has quit (*.net *.split). 18:45:48 -!- olsner has quit (*.net *.split). 18:45:48 -!- jlaire has quit (*.net *.split). 18:45:50 -!- Nihilist_ has changed nick to NihilistDandy. 18:47:05 -!- NihilistDandy has quit. 18:47:28 Oh, atriq is Taneb? 18:47:31 I had not realized. 18:49:20 fizzie: Why? It says so not only in the topic message but also in the line that says who changed the topic message. 18:49:51 I don't pay all that much attention to the topic. 18:51:54 Well, you can also see it with every message received from atriq and with WHOIS and NS INFO as well. 18:52:05 (NS INFO confirms for sure) 18:52:09 -!- olsner has joined. 18:52:30 -!- kallisti has joined. 18:52:39 http://linuxforniggers.us/ 18:52:40 -!- NihilistDandy has joined. 19:00:09 -!- AnotherTest has quit (Quit: Leaving.). 19:00:19 -!- aloril has joined. 19:00:48 zzo38: does your IRC client display the username and hostname on every PRIVMSG? 19:00:53 -!- Zuu has joined. 19:00:54 -!- Zuu has quit (Changing host). 19:00:54 -!- Zuu has joined. 19:01:22 I wouldn't be surprised if zzo38 just used telnet as his IRC client. 19:01:37 istr that he did 19:03:40 kmc: Yes it does, and it is displayed in colors, too. 19:03:44 hopefully his keyboard is a typewriter with a parallel port 19:04:30 and his display is a needle printer connected to a lpt port. 19:04:35 So everything works out for the best. 19:05:11 -!- aloril has quit (Ping timeout: 250 seconds). 19:05:29 Actually I am currently using an ordinary computer 19:05:37 lame. 19:06:42 Yes, I know. 19:09:36 Good. 19:15:23 his printer is a mirror galvinometer 19:18:14 today i rode the SpÃ¥rakoff 19:18:18 the pub tram in Helsinki 19:18:46 -!- aloril has joined. 19:26:26 Do they care if the line endings of a C code are CRLF on a UNIX system? 19:26:52 gcc doesn't seem to 19:28:47 Do other GNU-compatible C compilers care? 19:29:11 no idea 19:33:25 -!- NihilistDandy has quit. 19:34:14 -!- epicmonkey has joined. 19:36:19 kmc: Where are you staying in the sin city of hel? 19:39:21 vallila 19:39:52 leaving tomorrow morning though 19:40:16 vanilla? 19:40:30 more or less 19:41:07 olsner: From http://en.wiktionary.org/wiki/valli 19:41:53 hmm, that's very similar to http://en.wiktionary.org/wiki/vall#Swedish 19:42:23 -!- asiekierka has quit (Quit: Connection reset by PO). 19:42:44 Someone I knew lived in Puu-Vallila, the area of oldish (by Finnish standards; early 1900s) wooden houses in there. 19:43:41 fizzie: confused by the name; i would expect names derived from "dike" 19:43:47 or "embankment" to be near the water? 19:44:00 whereas we are relatively far from the water by helsinki standards 19:45:06 -!- NihilistDandy has joined. 19:45:09 think "wall" 19:45:13 lexande: It does mean an earthen wall-like structure too. 19:45:44 Or I suppose by extension maybe stone walls too. 19:46:14 Not really interior walls, though. The kind of things you'd have around a fortress. 19:47:01 Also the inner border of a pool/billiards table as a special case. 19:47:24 are those walls in english? 19:48:18 olsner: Vallila's Swedish name is VallgÃ¥rd, incidentally. 19:48:26 i think those are "bumpers" in english 19:49:02 -!- Taneb has joined. 19:49:21 -!- Taneb has changed nick to atriq. 19:49:54 hmm: Cushions (also sometimes called "rail cushions", "cushion rubber", or rarely "bumpers") are located on the inner sides of a table's wooden rails. 19:50:49 And "vallihauta" (lit. "grave") is a moat. 19:51:11 Is valli- Finnish for -irth? 19:51:35 I don't know what -irth is. 19:51:55 We discussed what valli is right before you joined, though. 19:52:00 Oh, okay 19:52:03 I had fun today 19:52:05 It's the -irth form, duh. 19:52:13 the irthative case 19:52:28 I don't know when you started to understandirth -irth. 19:52:35 How irthitating. 19:52:51 that makirth sense 19:54:00 :( 20:00:39 fizzie, wait, oko knew about -irth, didn't he teach it to you? 20:00:59 If so, I must have forgotten. 20:02:11 Honestly fizzie when did you knowirth basic English grammar. 20:05:44 Was it when I greetirth? 20:06:33 Obviously fizzie enjoyirth the channel after that. 20:10:37 it was -irth all along 20:10:57 Please referencirth, lexande. 20:23:47 -!- monqy has joined. 20:24:34 monqirth! 20:25:27 comirth the greetirther 20:26:01 hi 20:30:16 -!- kinoSi0 has quit (Read error: Connection reset by peer). 20:30:42 -!- kinoSi has joined. 21:02:44 Welcome to -irth 21:03:36 -!- atriq has quit (Quit: Leaving). 21:14:42 NihilistDandy, wait you're still around??? 21:14:49 -!- boily has quit (Quit: Poulet!). 21:15:30 -!- NihilistDandy has quit (Ping timeout: 244 seconds). 21:17:36 -!- NihilistDandy has joined. 21:38:37 -!- epicmonkey has quit (Ping timeout: 246 seconds). 21:50:37 -!- MoALTz has quit (Ping timeout: 240 seconds). 22:16:15 -!- Phantom__Hoover has joined. 22:18:52 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 22:43:06 -!- Nisstyre has quit (Quit: Leaving). 22:52:15 I am going to try to fight BUZZSAW MCGRAW again 22:55:32 I won. 22:55:40 hooray! 22:56:04 On 08-15-2012: ZZO38 defeated BUZZSAW MCGRAW in a ROUND 2 TKO! After the Fight, ZZO38 would not talk to the PRESS: 22:56:55 I HAVE A KITTY :3 22:58:06 Gregor, we know. Shut up about it. 22:58:09 Now I have to fight HAYMAKER MARRIS 22:58:43 Phantom__Hoover: But… she's sleeping in my lap and she's fuzzy :( 22:59:05 Yes but you're turning the channel into reddit dammit. 23:05:21 -!- elliott has joined. 23:05:22 http://esolangs.org/wiki/Ragaraja 23:05:26 what is this 23:05:34 someone tell me what to do with it :P 23:05:50 nsqx memories 23:06:51 Wow. 23:07:04 IS IT TURING-COMPLETE? 23:07:24 Do they care if the line endings of a C code are CRLF on a UNIX system? // no conforming C compiler cares. 23:07:41 Wow, that was a long time ago X-D 23:07:45 Gregor: Thank you for telling me. 23:08:32 So I suppose I only need to fix the shell script to compile 23:09:20 No conforming implementation of Unix will accept shell scripts with CRLF, but I believe that's only because of the #! line. 23:09:34 The correct behavior with #!/bin/sh\r\n is to run in an interpreter with the filename /bin/sh\r 23:09:46 Yes I know that. 23:10:11 How about if you want to run an interpreter with the filename /bin/foo\n? :-( 23:10:23 Maybe they should make a file with that name which passes the script to dos2unix and then run it in the ordinary shell. 23:10:27 ion: Not with a #! line :) 23:10:50 zzo38: Maybe you shouldn't use DOS line endings… 23:10:54 I want my money back. 23:11:09 ion: Money back for what? 23:11:23 Unix 23:12:56 Since this is the final round and I am already six points ahead, I am guessing that my best chance to win is just to avoid getting knocked out. 23:13:10 Even if I lose some points for doing so. 23:13:28 Is that how boxing is supposed to work? 23:13:58 I only know about beatboxing. 23:20:57 ion: you could use env? 23:21:29 "His own blood cells were killing him.-EMH_" what letter do you think should go in place of "_"? 23:21:48 #!/usr/bin/env "/bin/foo\n" 23:22:37 Choose from: F J P Q U V X Y Z 23:24:12 P 23:25:05 elliott, the guy who made that has added two fucking BF derivatives today alone. 23:25:41 Make me a sysop, just this once. 23:26:01 soundnfury: that does not work 23:26:16 at least unless I have completely forgotten how shebang parsing works 23:29:03 elliott: huh? 23:29:10 maybe I just don't know how env works 23:29:25 maybe you just don't know how #! works 23:29:37 in particular, that passes /usr/bin/env the argument: 23:29:53 {'"', '/', 'b', 'i', 'n', '/', 'f', 'o', 'o', '\\', 'n', '"'} 23:29:56 uh, and a 0 on the end 23:30:08 about 80% sure of this 23:30:09 hmm. 23:30:17 it definitely does _not_ go through the shell 23:30:37 yes, my mind was assuming without noticing that it went through the shell and of course it doesn't 23:31:04 elliott: Indeed. And env doesn’t handle that kind of a parameter in any special way either. 23:31:05 dammit there must be some way to do it 23:32:30 #!/bin/sh 23:32:36 exec "/bin/foo 23:32:40 " "$@" 23:32:47 and have /bin/foo\n ignore that part. :-P 23:33:18 whoops. "$0" before "$@" 23:38:37 -!- nooga has quit (Ping timeout: 244 seconds). 23:50:13 -!- david_werecat has joined. 23:54:44 I played Dungeons&Dragons with no change of equipment during this session. 23:55:32 None of our inventory got added or removed. 23:56:28 * Sgeo has worked for the government, muahaha 23:56:35 OK 23:57:02 Now I have to figure out exactly what kind of secret government work you have done simply by pure logic and reasoning, rather than by asking. 23:58:38 Sgeo: ? 23:59:46 elliott, I will admit that the muahaha was silly, but I have worked for the government.