00:01:53 -!- BlueProtoman has joined. 00:02:11 `welcome BlueProtoman 00:02:15 BlueProtoman: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 00:02:19 Hello, oerjan. 00:10:28 imo thue is perfect for transducers 00:14:21 -!- DHeadshot has quit (Read error: Connection reset by peer). 00:26:24 Anyone know why my Brainfuck loops aren't working? I think it's the way I'm storing the []'s in a table, I don't think I'm doing it correctly. Code's coming up/ 00:26:41 -!- myndzi has quit (Read error: Connection reset by peer). 00:26:50 http://ideone.com/PT6Rp 00:27:11 -!- myndzi has joined. 00:28:40 It looks like it's doing more than checking loops 00:28:53 is brace_table a global variable? 00:28:57 No. 00:29:08 BlueProtoman: don't you need to save backwards jumps as well? 00:29:16 Lemme explain how this works. 00:29:36 I plan on implementing several Brainfuck dialects in my program. To do this, each dialect comes as a class that derives from AbstractBF. 00:29:51 So the Brainfuck class has a std::unordered_map brace_table. 00:30:18 Each entry is a pair of braces; the ['s position is the key and the ]'s position is the element. 00:30:48 When a [ is found, its position is recorded in brace_table, with its element initially being -1. 00:31:43 While all this is going on, I'm pushing [ positions onto a std::stack. 00:32:14 When a ] is found, its corresponding key is found with find(), and then that element is set to the ]'s position. 00:32:27 If any element is equal to -1, something went wrong. 00:32:51 And thus we don't run the program. Problem is, I seem to be looping to the beginning of the program whenever I hit a [. 00:33:17 BlueProtoman: well the bug is probably not in the part you pasted, then. 00:33:22 how does your program deal with jumping from a [ to a ] when the value is zero? 00:33:33 ais523: When the element is 0, you mean? 00:33:38 yes 00:34:10 It doesn't. I should fix that by testing whether tempbracestack is empty or not. 00:34:19 But that doesn't seem to be my problem. 00:34:33 BlueProtoman: um i think he means when the _tape_ value is zero. 00:35:01 oerjan: What do you mean the tape value? I don't quite follow. 00:35:30 BlueProtoman: for the standard brainfuck with a tape of cells 00:35:35 or array 00:35:46 oerjan: Oh, right. Lemme show you. 00:35:55 I handle all BF instructions as function objects. 00:36:11 But first I use a regex to filter out other characters. 00:36:42 Here's my entire class. http://ideone.com/ZTTwA 00:36:49 Including the instructions. 00:39:16 -!- Mefi has joined. 00:41:50 Any thoughts? 00:43:36 -!- oerjan has quit (Quit: Lost terminal). 00:45:51 -!- oerjan has joined. 00:46:06 is instructions[program[currentinstruction++]](); 00:46:15 well defined behavior? 00:46:39 as in, is it guaranteed when the increment happens wrt. the function call? 00:46:53 oerjan: I don't think the timing of the increment wrt the call is guaranteed 00:47:03 although if that doesn't matter, it's well defined in other respects 00:47:17 i'm pretty sure it matters for [ and ] 00:47:19 -!- itidus20 has joined. 00:47:20 unspecified rather than undefined, as in IIRC you're guaranteed that it will definitely happen either before or after 00:47:45 and no, it doesn't matter, just go backwards to the first [ or ] of the group 00:47:49 -!- Mefi has left. 00:47:56 (this actually works!) 00:48:11 (I used the trick to obfuscate a BF interp for the IOCCC once, but it didn't win) 00:48:19 ais523: erm in the given code it matters, currentinstruction is used to look up the point to jump to 00:48:38 oerjan: with [[, there's no way that the second [ can perform a jump 00:48:40 if it has already been incremented, that could well give a zero 00:48:44 likewise, with ]], there's no way the second ] can perform a jump 00:48:57 ais523: erm are you even understanding my point? 00:49:05 so for each [, you can just give the instruction after it the same jump target as the [ itself 00:49:15 I'm understanding your point, but I think you're missing mine 00:49:32 which is that you have enough information to determine where to jump to even with an uncertainty of 1 in the IP 00:49:44 ais523: sheesh. you're being irrelevant to the code we're actually trying to debug. 00:50:03 oh, this is debugging? I thought you were trying to find a creative way to write a BF interp 00:50:52 -!- itidus21 has quit (Ping timeout: 244 seconds). 00:50:58 BlueProtoman: anyway, try putting the currentinstruction++ in a separate command afterwards. 00:50:59 oerjan: If instructions (which is a std::unordered_map>) returns nothing, it'll throw an exception, which I catch. 00:51:16 oh hm 00:51:25 or wait 00:52:08 BlueProtoman: that's not the problem. the instruction is found fine, but the code for [ needs currentinstruction to _not_ be incremented in between 00:52:11 afaiu 00:52:24 If it returns no function object, then we've hit a character that isn't a Brainfuck instruction, and was somehow missed by the regecx. 00:52:26 *regex. 00:52:27 well assuming my guess is right 00:53:04 OK, I'm getting somewhere. Still not finished, though. 00:53:06 Hold on. 00:53:25 BlueProtoman: my guess is that (1) the instruction for a [ is looked up, correctly (2) currentinstruction++ is incremented, too early (3) the code for [ breaks because of (2) 00:53:59 What's the third most relevant architecture beyond x86[_64] and ARM? PPC? MIPS? 00:54:07 Probably PPC. 00:54:10 oerjan: For some reason, I get �� as my output. 00:54:11 yeah 00:54:17 maybe some pic stuff 00:54:19 That is SUCH a distant third. 00:54:24 AVR? 00:54:30 Gregor: All current-gen consoles use it. 00:54:30 You know, for Arduinos. 00:54:35 pikhq: Yeah, that's true. 00:54:41 Arduinos are a tiny tiny tiny tiny fraction of all AVRs in use 00:54:45 -!- zzo38 has joined. 00:54:47 Hm. 00:54:52 PIC and AVR and their friends probably outnumber x86 and ARM by a large factor 00:55:09 BlueProtoman: what happens if you replace instructions[program[currentinstruction++]](); with instructions[program[currentinstruction]](); currentinstruction++; ? 00:55:11 I really mean general-purpose MMU-capable archs *shrugs* 00:55:17 Arduinos are expensive as hell 00:55:20 but what ebout the amount of software written for it? 00:55:21 Why are they that expensive anyways 00:55:31 are they still 50$? 00:55:34 Lumpio-: there are plenty of cheap clones 00:55:35 oerjan: I get garbage output, but no infinite loop. 00:55:38 i thought they were like $30 00:55:41 ouch 00:55:43 Looks like this; �� 00:55:47 BlueProtoman: ok scratch that then :( 00:55:58 I've come to see Arduinos as a representation of the new hipster electronics generation 00:55:58 It means I'm on the right track, though, doesn't it? 00:56:03 Them, and sparkfun 00:56:12 Expensive as hell but buy is it hip and cool 00:56:17 BlueProtoman: well it means it changed the behavior, at least. 00:56:20 s/buy/boy/ 00:56:27 Lumpio-: arduinos are reasonable development boards 00:56:37 * oerjan defers to real c++ experts, and goes for food -> 00:56:41 if you build a project around an arduino and leave it in there, that's kind of silly 00:56:48 Yeah, but that's what they do. 00:56:53 lumpio: haven't seen anything interesting sound synthesis wise from that stuff 00:56:57 but really you're whining about someone spending an extra $20 here and there 00:56:59 kinda disappointing 00:57:01 madbr: Arduino? 00:57:09 these are largely people with jobs who make more than $20 an hour 00:57:23 though I guess arduino isn't very good for audio anyways 00:57:38 Do the AVRS used in arduinoes even have hardware multiplication 00:57:53 maybe they just want to make something cool, not spend all day soldering chips by hand to appease some crusty old electronics beardo 00:58:07 basically you sound like more of a hipster than them 00:58:15 "i was into electronics before it was cool and accessible" 00:58:38 Any tips for my Brainfuck interpreter? I no longer get infinite loops with my output, but I do get garbage output (and I know that the program doesn't run completely). http://ideone.com/4dXq8 00:59:00 this is like the people who whine about any software not written in C 00:59:22 omg think of all the inefficiency, i'm using literally megabytes of memory, or 0.025% of the total available on my system 00:59:44 BlueProtoman, you are outside of the program, probably after it 00:59:46 Lumpio-: to answer your question, no the ATmega328 and friends do not have hardware multiply 00:59:51 ook 00:59:59 rszeno: What makes you say that? 01:00:16 kmc: ...actually I wasn't into electronics before it was cool and accessible .__. 01:00:19 output 01:00:26 Lumpio-: so you're a *poseur* hipster :) 01:00:28 I've barely even played with MCUs yet 01:00:54 look like reading a random place in memory 01:00:58 I do have ideas and plans to build a new computer, probably using an existing CPU architecture for practical purposes; if I could build a MMIX which is cost-effective I would do that; GCC already can compile for MMIX. However I will also need a GPU or DSP; can you recommend one which has Free software and can do audio and video? 01:01:25 rszeno: I don't see how that's possible, since I have a check to make sure the program stops running when currentinstruction > program.size(). 01:01:56 Gregor: PPC is used in game consoles and a lot of embedded stuff, MIPS also used in embedded stuff plus Chinese government is pushing it, s390 / s390x still quite relevant in enterprise 01:02:16 PPC might be the most common synthesizable core for FPGAs 01:02:17 i guess you change beaviour when you play with indexes 01:02:35 Why is Chinese government pushing it? 01:02:42 Wow, s390 still gets used? 01:02:57 zzo38: Because x86 is dominated by untrustworthy capitalist swine 01:02:58 Maybe I should use an iterator instead? 01:03:03 s 01:03:32 They're making their own processors so they can have hardware spyware on them 01:03:38 Gregor: IBM doesn't believe in letting things die. 01:03:50 yeah that's kind of the point of buying enterprise stuff 01:04:15 Lazy people use enterpricey stuff with long-term support. 01:04:18 imo is a bad idea to use oop and streams for this but probably is only my opinion, :) 01:04:20 True haxors live on the bleeding edge 01:04:25 haha 01:05:03 Can you suggest the CPU, GPU, DSP to use? 01:05:09 hmm actually the #1 (publicly known) supercomputer in the world is based on SPARC64 01:05:25 -!- ais523 has quit. 01:05:35 Can we make a Checkout compiler to any GPU? 01:06:39 is it possible to use a fast gpu from anything else than PC, ARM or PPC? 01:07:01 Does zzo38 even need anything besides a text mode? 01:07:34 For what I am making, it needs user-definable modes. The BIOS can include the text mode built-in 01:08:04 And it need to support composite video out, and preferably also component video out. 01:08:15 -!- derdon has quit (Remote host closed the connection). 01:08:33 What kind of resolution are we talking about 01:08:44 NTSC 01:08:51 Not PAL? :( 01:09:08 I could make a PAL version as well, but at first just NTSC 01:09:08 At any rate, that kind of resolution is not really hard to generate. 01:09:30 Make your own little GPU out of an FPGA or something. 01:09:40 lumpio: sounds hard no? 01:09:55 Nah, NTSC is easier to generate and practically all modern TVs support it 01:09:59 Not only will an FPGA might be slow, but the ones I know of are encrypted and lack Free software 01:10:00 madbr: What does? 01:10:21 Slow? 01:10:23 pffrt 01:10:38 designing a nice gpu that does something else than just regurgitate the content of the VRAM 01:10:40 FPGA might be slightly slow, possibly 01:10:46 And what do you mean encrypted, are you talking about the dev tools? 01:11:14 madbr: A RAMDAC is all a true programmer needs! 01:11:16 ¬u¬ 01:11:23 Lumpio-: Yes. Also the program to load into the FPGA is encrypted for all the ones I know of 01:11:30 What kind of stuff did you have in mind >madbr 01:11:35 Tiles? Sprites? 01:11:37 ...3D? 01:11:44 zzo38, http://www.milkymist.org/mmone.html ? 01:11:52 3d is kinda hard so I was thinking more like tiles and sprites :D 01:12:26 Tiles and sprites shouldn't be /that/ hard 01:12:26 tiles or other static layers aren't too hard actually, it's sprites that are hard 01:12:54 At least with the kind of power we have these days 01:13:15 well, with the kind of power we have you can just use a framebuffer 01:13:42 Then again I've never done any video output more advanced than http://qp.virkkunen.net/private/jbxmAAqned 01:13:57 was thinking something like a snes/genesis style chip 01:14:00 ...I should really get back to that thing and add a stable clock source, the jitter is awful 01:14:15 that generates a scanline worth of data each scanline 01:15:14 one nice idea I had was to precalculate which sprite is on top of each pixel 01:15:22 No. Oh no. Why am I considering looking at Eiffel again 01:15:24 and then just load the pixel that's on top 01:15:42 so that you have more or less "infinite fillrate" 01:15:50 ie can put lots of large objects 01:16:02 haven't figured out how to do lots of small sprites though :/ 01:16:19 Sprite systems usually have fixed sizes for sprites anyways 01:16:25 (Or a couple of choices) 01:16:33 And to make large objects you use a lot of small sprites. 01:18:08 well, yeah most classic sprite systems use transparent colors 01:18:23 BlueProtoman: is +1 correct in currentinstruction = brace_table.find(currentinstruction)->first +1; ? 01:18:34 which means you have to read every potential pixel to see if it uses the transparent color 01:18:48 which puts an absolute limit on fillrate 01:18:52 oerjan: It should be. That puts me at the instruction past the ]. 01:19:29 BlueProtoman: past the [ you mean? but you have a currentintstruction++ to be performed after that, you know... 01:19:33 (ie if a pixel is hidden by another pixel, you can't have it for free) 01:19:41 *currentinstruction++ 01:19:50 oerjan: Wait. I don't understand. Mind elaborating on what I'm doing wrong? 01:20:24 BlueProtoman: does that +1 in the code for ] take into account that currentinstruction is automatically incremented after each instruction run? 01:20:27 essentially I think it would make more sense to store the transparency mask separately 01:20:45 oerjan: It might not, actually. 01:20:59 madbr: But you still have to read each pixel of the mask 01:21:04 Do software developers usually write code with only half an idea of what they're doing? 01:21:16 lumpio: but the mask can be 1bpp 01:21:27 So? 01:21:29 BlueProtoman: all the time, i hear (but then i'm not a software developer) 01:21:31 BlueProtoman: yes, at least me 01:21:37 which means you're reading 32 pixels at the same time if your memory bus is 32 bits 01:21:44 Oh, OK. 01:21:50 OR 01:21:57 the mask can be stored as segments 01:22:03 Where does that mask come from in the first place 01:22:08 Does each sprite have one? 01:22:31 "segment 1 starts at pixel a and finishes at pixel b, segment 2 starts at pixel c and finishes at pixel d" 01:22:53 lumpio: yeah 01:23:29 but yeah if you're using a segment list you still have to read the segment list 01:23:40 BlueProtoman: btw did i mention at the start that i thought the brace_table should contain entried for the ]'s as well? then you don't need an expensive find afaiu 01:23:42 so there's still a limit on the number of sprites you can put onscreen 01:23:47 *entries 01:23:48 Is EiffelStudio good? 01:24:00 Are there good alternatives if I want to write proprietary programs in Eiffel? 01:24:05 oerjan: It does. The key is the ['s, the element is the ]'s 01:24:17 BlueProtoman: no i mean, index _both_ ways 01:24:27 oerjan: I could use a multimap for that, I guess. 01:24:29 then it's just a simple lookup either way 01:24:47 Maybe. BRB, dinner 01:25:47 (I dunno if somebody's already mentioned this but is there a point in indexing loops beforehand?) 01:27:04 Lumpio-: in bf? well i guess you _could_ do it as you go, but it's a natural part of parsing... 01:27:23 if you do software rendering VGA style, you probably have to precompute the transparency mask of each sprite too 01:27:28 Also speaking of sound synthesis on MCUs 01:27:32 it's definitely more efficient than searching for the matching [] every time :P 01:27:37 http://qp.virkkunen.net/private/edjvvEcfiH 01:27:42 checking every pixel for transparency is way too slow 01:27:43 This is as far as I got before getting bored ¬u¬ 01:28:05 This thing doesn't have a hardware multiplier either so it can only handle 3 or 4 channels or so 01:28:12 Lumpio-: wait was your question about something completely different? :P 01:28:13 Also due to my lacking math-fu there's an awful lot of noise. 01:28:20 oerjan: Nope 01:28:56 what's the waveform? 01:29:25 you can do a nice soundtrack in 4 channels 01:29:26 Well you can at least find backward jumps by keeping a stack of open loops 01:29:33 ...provided that you have lots of sample data :D 01:29:40 But I guess forward jumps would still result in a scan 01:29:52 It's just a simple sine wave 01:29:58 With an envelope I drew in GIMP 01:30:06 After looking at a sample of a music box. 01:30:37 It would work better with music with less low notes. 01:30:50 But I couldn't be bothered to look for more MIDI files 01:31:06 what's the max data size? 01:31:12 umm 01:31:18 I think that thing had 8kB of memory 01:31:30 ah yeah 8kb is too tight for a MOD 01:32:02 Oh actual samples would be much easier to play, you could play way more tracks 01:32:15 But an envelope means at least one true multiply per sample 01:32:27 well, with samples you probably want volume 01:32:32 (True as in it cannot be optimized completely into a series of shifts and adds because both arguments are unknown) 01:32:50 Nah you can do decent music with a constant volume for each sample 01:32:52 Pre-multiplied 01:32:53 though some old DOS software cheated and used a LUT for the volume :D 01:33:08 was still a 16k LUT tho 01:33:20 heh 01:33:33 Well I could have LUTs for a couple of levels of volume I guess 01:33:34 lumpio: doesn't that multiply the amount of data you need very fast? 01:33:41 Assuming 8-bit output one LUT is only 256b 01:33:55 some HW synths totally optimize out the multiply too 01:34:02 How does that work 01:34:10 yamaha FM synths have no multipliers 01:34:18 I couldn't figure out how to do it without a true multiply 01:34:26 what they do is that they don't store sin(x) 01:34:33 they store log(sin(x)) 01:34:37 ooh 01:34:39 and exp(x) 01:34:40 :D 01:34:43 oooo 01:34:45 Mathematical! 01:34:47 I get it 01:34:58 You know that might work 01:35:04 hmm 01:35:20 Actually now that I think of it I think I've heard of that before 01:35:43 for better emulation of the yamaha fm chips, someone actually de-encapsulated one and read the bits out of the LUT with a microscope 01:38:11 kmc, imo will be a good start to jump to image processing and forget about audio for all the rest of his life, :) 01:38:36 kmc: yeah I remember seeing that 01:38:57 kmc: I think the opl3 has a real multiplier instead of the logsin + exp thing 01:40:08 Does an IDE which has a license saying you may only use it for "free" projects count as "free"? 01:40:25 (Not asking about EiffelStudio in particular, although that inspired the question) 01:41:57 rszeno: huh? 01:42:54 i saw a chip ones was a simple one, i suspect a yamaha fm is more complicated 01:43:20 yamaha fm isn't that complicated 01:43:22 it's smart :D 01:44:02 meh now I have to try the log/exp thing out 01:44:35 essentially it has one oscillator and one enveloppe 01:44:44 and multiplexes the hell out of it :D 01:47:14 so most of the chip is taken up by registers actually 01:48:57 How do you generate multiple frequencies with a single oscillator? 01:50:31 armonics? 01:50:59 the 'oscillator' is a lookup table for sin(x) (or log(sin(x))) right? 01:51:05 yeah 01:51:10 lumpio: easy 01:51:14 so for each sample you can have several internal clock cycles 01:51:22 and latch the output into a different register each time 01:51:45 you store the current phase for each oscillator in a different register 01:51:51 and current frequency too 01:52:12 audio sample rate is way below any reasonable clock rate for logic, so this is a good tradeoff 01:52:35 for each oscillator, you read the phase, read the frequency, add together, store that back in the phase register 01:52:39 oh 01:52:43 So it's not actually just one oscillator 01:52:47 well 01:52:56 Just one look-up table with multiple oscillators built around it 01:53:02 ...that's what I did with my thing. 01:53:08 they need different phase registers 01:53:17 and different parameter registers of course 01:53:24 but all the processing logic is shared 01:54:23 I would like the DSP or GPU to be able to do tiles, sprites, and video playback. 3D rendering is not important. 01:54:23 like, read phase 1, read freq 1, add, write phase 1, process waveform 1, process volume 1, add to total register 01:54:37 then, read phase 2, read freq 2, add, write phase 2, process waveform 2, process volume 2, add to total register 01:54:49 etc, repeat for all the channels 01:55:04 then take the total register and write that to the DAC 01:55:36 zzo: I'm not sure hardware tiles are that useful :D 01:55:45 they'Re easy to do tho 01:56:01 video playback is different though 01:56:38 depends on if you'Re fine with paletted video essentially 01:56:43 madbr: It doesn't need the feature to do tiles built-in to the hardware! What I mean is, that it is capable of being programmed to do these things. 02:00:10 hm 02:01:33 by the time you have a superscalar pipelined architecture and if you don't have too much pixels to fill, you can do that in software 02:01:41 ie pentium 02:02:40 essentially you need enough fillrate to fill the screen at least once per frame 02:04:16 because then, aside from the transparency stuff (best SNES feature!), you can use smart code to fake any numbers of layers etc you like and limit overdraw 02:04:16 For video playback it is OK if it requires the CPU and the GPU or DSP to work together 02:04:35 is paletted (256 color?) video ok? 02:04:48 or it has to be some proper algo like mpeg? 02:04:57 No. It has to be proper video such as Theora or Dirac. 02:05:32 ok then you need a beefy cpu 02:06:16 might need hardware FFT even 02:06:55 you're jumping in the hundreads of mhz range 02:07:26 which means all the 2d stuff will be totally fine and you've got so much cpu that you can just software mix the audio 02:07:54 OK. The criteria are that it is not extremely expensive and does not require proprietary software to program it 02:07:56 unless you want high resolution on the 2d (640x480 or more?) 02:08:14 I told you, the resolution should be enough for NTSC. 02:08:17 oh 02:08:22 then 320x240 is enough 02:08:26 Just standard definition 4:3; no high definition is needed. 02:08:43 essentially you need an ARM system on a chip 02:09:06 Which one? ARM7? ARM11? 02:09:19 dunno 02:10:07 Other than the processors, hard drive, optical drive, connectors, etc, I intend to design the rest of the hardware myself such as what is connected and in what way, as well as most of the software too. 02:10:35 does decoding theora require floating point? 02:10:39 or dirac 02:11:05 I don't know. 02:11:59 if you need fast floating point that rules out arm11 I think 02:14:26 But I intend to design how the memory and that stuff is connected myself, in an attempt to prevent such things as DRM from being programmed in, as well as for other purposes too. Even if the ARM11 does not have fast floating point, whatever CPU is used if a GPU or DSP which is not tooo expensive and does not require proprietary software to use, can do some things the CPU doesn't, that might work too. 02:17:20 GPUs tend to be proprietary 02:17:49 I know that; but is there a DSP which would be sufficient for this purpose? 02:17:59 on the raspberry pi I think you can't even write to the GPU in hardware, you have to boot in linux and use precompiled drivers 02:18:06 depends 02:18:28 for 3d, software rendering is reasonable at low resolutions with beefy processors 02:18:36 if you can live without bilinar filtering :D 02:19:30 I don't need 3D rendering; although surely someone will program it to make some (perhaps not particularly good quality) 3D rendering if they want to. 02:19:36 sometimes SIMD stuff helps 02:21:25 -!- itidus22 has joined. 02:22:36 but yeah 3d hardware implementation details are jealously guarded these days as far as I can tell, a bit silly 02:25:18 -!- itidus20 has quit (Ping timeout: 244 seconds). 02:25:34 -!- david_werecat has quit (Ping timeout: 245 seconds). 02:26:08 -!- itidus22 has changed nick to itidus21. 02:44:15 -!- BlueProtoman has quit (Quit: Leaving). 03:05:51 -!- rszeno has left. 03:11:32 -!- oerjan has quit (Quit: Good night). 03:21:29 -!- rszeno has joined. 03:50:03 -!- itidus21 has left ("Leaving"). 04:10:55 -!- asiekierka has joined. 04:49:19 -!- jaba has joined. 04:50:44 -!- jaba has quit (Client Quit). 04:51:12 -!- rszeno has left. 05:09:10 -!- asiekierka has quit (Quit: Wychodzi). 05:30:18 -!- MoALTz_ has joined. 05:32:41 -!- MoALTz has quit (Ping timeout: 252 seconds). 05:34:54 -!- madbr has quit (Quit: Radiateur). 05:37:06 -!- MoALTz_ has quit (Ping timeout: 244 seconds). 05:41:57 -!- MoALTz has joined. 06:35:23 -!- rszeno has joined. 06:40:01 -!- rszeno has left. 06:48:20 -!- augur has changed nick to poststructuralis. 06:48:42 -!- poststructuralis has changed nick to augur. 07:02:28 -!- Taneb has joined. 07:03:43 Hello! 07:07:33 -!- Phantom_Hoover has joined. 07:19:46 -!- nooga has joined. 07:20:42 kmc: People's explanations of things in #haskell irritate me these days even though I can't pinpoint exactly why. 07:20:50 I should probably just pull a kmc and leave. 07:21:40 that's right 07:21:58 just stand up, put on shades, make some kind of witty parting remark 07:22:05 then casually flick a lit cigarette behind you as you leave 07:22:06 Like ddarius? 07:22:10 causing the whole place to go up in flames 07:22:14 00:22 ddarius was last seen on #haskell 80 days, 5 hours, 14 minutes and 58 seconds ago, saying: BMeph: No. 07:22:19 did ddarius have a witty parting remark 07:22:20 @seen kmc 07:22:20 Unknown command, try @list 07:22:38 00:22 kmc was last seen 3 seconds ago, saying: 07:22:49 oh heh 07:22:53 cause i just asked it in pm ;P 07:22:58 Sploisprot. 07:23:00 it was some boring quote from #git 07:23:01 sorry bro 07:23:08 brochaf 07:23:21 sorry, bro. sbarro. 07:23:43 You should've said the launch code to #haskell as you were leaving. 07:23:58 the launch code to #haskell is (repeat 0) 07:23:59 > repeat 0 07:24:00 [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,... 07:24:04 you have to type the whole thing, though 07:24:07 > last (repeat 0) 07:24:12 Terminated 07:25:04 I guess lambdabot doesn't compile with -O 07:25:13 > lаst (repeat 0) 07:25:14 0 07:28:56 > last $ map (flip showCReal pi) [1..] 07:29:00 mueval-core: Time limit exceeded 07:29:03 Aw. 07:32:49 gotta sleep 07:32:52 'night all 07:42:58 -!- Taneb has quit (Ping timeout: 245 seconds). 07:43:49 -!- azaq23 has quit (Quit: Leaving.). 07:59:20 good morning europe! 08:03:01 A bit late for a morning. 08:03:37 i just woke up 08:03:39 I suppose English doesn't have a word for the time between morning and noon? 08:03:48 late morning? 08:03:49 ;D 08:04:06 "(late) morning" is how wiktionary translates the Finnish word for it. 08:04:16 ("Aamupäivä", lit. "morningday".) 08:04:44 fizzie, no, because it's still morning. 08:04:47 we've got something like beforenoon - "przedpołudnie" 08:05:08 I mean why would you need to granularise further? 08:05:11 They've got 'afternoon', I think they should have some sort of 'prenoon' or whatever. 08:05:17 Yes. 08:05:25 It's called 'morning'. 08:05:31 and afternoon is "popołudnie" 08:05:45 Morning is a lot shorter than afternoon and evening together, which is why the latter are split. 08:06:08 It's unsymmetrical is what it is. 08:06:25 Ah, but your waking hours aren't centred on noon. 08:07:12 -!- Slereah_ has quit (Ping timeout: 250 seconds). 08:07:15 -!- Slereah has joined. 08:07:45 Waking, schmaking. 08:09:56 Now I made the local program for Internet Quiz Engine. Currently it can only be used with local files and does not support uploading or downloading, although I might add those things later on. 08:11:15 -!- Taneb has joined. 08:11:16 Hello 08:11:29 .olleH 08:12:26 The program is written in Haskell but calls the C program, so you need the compiled C program as well. 08:22:49 -!- Slereah has quit (Ping timeout: 252 seconds). 08:23:24 -!- Slereah has joined. 08:36:35 -!- aloril has quit (Quit: Leaving). 08:41:00 -!- aloril has joined. 08:51:39 -!- zzo38 has quit (Remote host closed the connection). 09:01:21 THE FINAL COUNTDOWN WAS MADE BY SWEDES????????????? 09:01:23 RAAAAAAAAAAAAAAAAAAAAAAAGH 09:02:09 So? 09:02:19 i hate swedes 09:02:20 so much 09:02:30 except olsner but he was adopted 09:09:31 Sweden beat Lithuania in the Eurovision :/ 09:09:37 I likes Lithuania's entry 09:11:00 Sweden beat everyone. 09:11:09 By quite a margin, too. 09:12:18 I know, I watched it 09:12:41 I "watched" it. By which I mean tried desperately not to fall asleep. 09:12:48 I missed a bit of Croatia's and Iceland's, and the second half was talked over by more people than the weird guy who talks over it on the TV 09:14:14 Norway managed to lose the most. Well, from those that made it to the finals, anyway. 09:14:31 Finland was #12 in the first semifinal, they say. So it wasn't *that* far. 09:18:53 -!- aloril has quit (Ping timeout: 248 seconds). 09:19:21 -!- aloril has joined. 09:20:25 Where did Englelbrert Humperdinck come? 09:21:09 Second last 09:21:24 :D 09:21:57 The votes were annoyingly unpolitical in that Malta didn't vote for us 09:27:42 -!- aloril has quit (Ping timeout: 272 seconds). 09:31:04 You did get some points from Ireland, though. 09:31:13 Humperdick, sorry, -dinck got 5 from Estonia, 4 from Ireland, 2 from Latvia and 1 from Belgium. 09:32:52 -!- Fishspill has joined. 09:33:01 Hello. 09:33:28 -!- Fishspill has set topic: It is 2012 and there is time to be the international hub for esoteric programming language design and deployment. http://codu.org/logs/_esoteric/. 09:33:34 `WELCOME Fishspill 09:33:44 FISHSPILL: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN AND DEPLOYMENT! FOR MORE INFORMATION, CHECK OUT OUR WIKI: HTTP://ESOLANGS.ORG/WIKI/MAIN_PAGE. (FOR THE OTHER KIND OF ESOTERICA, TRY #ESOTERIC ON IRC.DAL.NET.) 09:34:02 -!- Fishspill has set topic: It is 2005 and there is time to be the international hub for esoteric programming language design and deployment. http://codu.org/logs/_esoteric/. 09:34:26 Why hello there. 09:34:42 That is the loudest welcome. 09:35:21 Aw, the uppercased URL (still?) no work. 09:35:27 ^rainbow FISHSPILL: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN AND DEPLOYMENT! FOR MORE INFORMATION, CHECK OUT OUR WIKI: HTTP://ESOLANGS.ORG/WIKI/MAIN_PAGE. (FOR THE OTHER KIND OF ESOTERICA, TRY #ESOTERIC ON IRC.DAL.NET.) 09:35:28 FISHSPILL: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING ... 09:36:23 Wow, what a welcome. With it being 2005 and all. 09:36:24 -!- olsner has quit (Ping timeout: 252 seconds). 09:37:42 ^rainbow THE YEAR OF LINUS TORVALDS ON THE DESKTOP 09:37:42 The output length limit of that is somewhat sad; it only goes up to, well, not very many letters. 09:37:43 THE YEAR OF LINUS TORVALDS ON THE DESKTOP 09:37:49 ^bf ,[>,]<[<]>[[.>]<[<]>]!0123456789 09:37:50 012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456 ... 09:38:15 whoa, dude, that's a fancy extension there. 09:38:20 200ish or so. 09:38:21 Does it just specify stdin? 09:38:44 Well, it is where the , comes from. 09:38:58 That's what I mean. 09:39:36 If you "^def foo bf bar", then "^foo baz" will be equivalent to "^bf bar!baz"; I think it might even be implemented like that. 09:40:30 Or perhaps not, since what's stored in the state file is the parsed and bytecode-compiled version. Anyway. 09:46:16 -!- derdon has joined. 09:47:46 -!- aloril has joined. 09:49:15 -!- olsner has joined. 10:13:08 -!- Fishspill has quit (Ping timeout: 240 seconds). 10:26:41 -!- rszeno has joined. 10:27:16 -!- rszeno has left. 10:38:22 -!- aloril has quit (Ping timeout: 252 seconds). 10:50:25 -!- aloril has joined. 11:03:16 -!- derdon has quit (Remote host closed the connection). 11:36:00 -!- Slereah_ has joined. 11:38:25 -!- Slereah has quit (Ping timeout: 260 seconds). 11:39:17 -!- monqy has quit (Quit: hello). 11:39:46 -!- Slereah has joined. 11:40:44 -!- Slereah_ has quit (Ping timeout: 265 seconds). 11:51:00 -!- Slereah has quit (Ping timeout: 256 seconds). 11:51:06 -!- Slereah_ has joined. 12:07:46 I'm listening to a talk titled "Semitheoretical Computer Science - what has changed in 30 years". 12:08:39 Sounds slightly like the Diet Coke edition of computer science. 12:15:22 That'd taste awful 12:17:33 No sugar! 12:22:02 -!- pikhq_ has joined. 12:22:03 -!- pikhq has quit (Ping timeout: 244 seconds). 12:42:55 This is a somewhat rambling presntation. 12:52:46 -!- PatashuXantheres has changed nick to Patashu. 13:04:24 Aaah should I make a github account 13:04:28 I'm going with probably not 13:11:28 fizzie, so what has changed in 30 years? 13:29:24 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 13:36:43 Phantom_Hoover: Uh, apparently we've become responsible. 13:36:51 That's what he said, anyway. 13:37:08 "We" being computer scientists. 13:37:56 you werent responsible 30 years ago? 13:43:35 -!- ais523 has joined. 13:45:04 Gah. 13:45:14 Respectable, I was going to say. 13:45:20 Or supposed to say. 13:45:39 Sorry, I'm technically presenting a poster here. 13:46:09 techically? 13:46:13 -!- MDude has joined. 13:46:47 Well, I'm just IRCing at the moment, am I not? 13:47:19 I think I'll make a quick walkaround. 13:51:43 -!- elliott has joined. 14:00:03 hmm, is "print to PDF" in a PDF reader a plausible way to extract individual pages from a PDF file? 14:05:37 heh 14:05:37 elliott: You have 7 new messages. '/msg lambdabot @messages' to read them. 14:05:41 help 14:10:43 Hello elliott 14:14:06 ais523: pdftk is one quite plausible way. But purely practically speaking that might also be. 14:20:09 -!- MDude has quit (Ping timeout: 245 seconds). 14:20:52 -!- MDude has joined. 14:26:22 00:55:58: I've come to see Arduinos as a representation of the new hipster electronics generation 14:26:31 does anyone remember when "hipster" actually meant something (even if it was a stupid meaning) 14:27:34 01:24:00: Are there good alternatives if I want to write proprietary programs in Eiffel? 14:27:38 i really don't want to know the background to this 14:28:01 elliott, a bizarre sudden fascination with Eiffel 14:28:09 why do you hate me 14:29:39 ais523: can you pause irc for five hours please 14:30:09 elliott: why 14:30:21 i need to watch monqy win a 0-rune mummystabbing spst of chei 14:30:28 and the recording is 5 hours 14:31:24 Win 0-rune? 14:32:16 Sgeo: runes used to be real items 14:32:18 so you could just drop them 14:32:21 and win with less than 3 runes 14:32:26 Ah 14:32:29 This bizarre Let's Play Roguelikes fetish you've developed recently is weirding me out. 14:32:30 but dtsund pulled in the patch to goldify them 14:32:35 so that won't work as soon as the server is updated 14:32:40 so it was a race to win a 0-runer before that happened 14:32:45 Gregor: totally 14:32:52 actually i just started playing crawl because monqy told me to 14:33:01 and then i ended up writing a huge patch to light, oops 14:33:11 and now i can't go back or i'll realise how much of my life i'm wasting 14:33:26 * Gregor nods sagely. 14:34:32 So I can't find a torrent for the latest episode of Game of Thrones, I am very worried. 14:35:03 Gregor: Anyway I've always liked roguelikes, I've just been too lazy to actually play them. 14:35:13 But I can't ignore monqy's demands. 14:35:30 Didn't you give up on Nethack after you lost a save because of its anti-scumming measures. 14:35:52 My exact phrasing, "Let's Play Roguelikes" wasn't an accident, the weird part is recording yourselves and passing around recordings X-D 14:35:57 Phantom_Hoover: No, I was just annoyed with it for a day or two. 14:36:01 Gregor: The servers automatically record them. 14:36:18 Gregor: And there's scripts to play amusing deaths/etc. on a termcast TV thing. 14:36:40 Gregor: Also you can spectate live. I don't actually download and watch entire games unless they're monqy doing ridiculous things, that would be weird :P 14:36:58 But a mummystabbing SpSt of chei is definitely stupid enough to watch 5 hours of. 14:37:01 Mmmmmmmmmmmmmmmmmmm hmmmmmmmmmmm 14:37:38 Gregor: At least I don't watch and pass around recordings of My Little Pony! 14:37:40 Q.E.D. 14:37:57 (OR DO I????) 14:37:58 (No.) 14:38:06 (I watch it live, obviously. (I don't actually.)) 14:38:08 * Gregor huffs. 14:38:23 WELL THEN. *goes back to writing erotic #esoteric fanfics* 14:38:29 -!- ais523 has quit (Ping timeout: 245 seconds). 14:39:21 Can we see a sample of that. 14:39:38 (ais has left because he's too much of a prude.) 14:40:12 No. 14:40:15 We've already seen enough. 14:40:17 Last time it involved me. 14:40:25 I forget who else it involved. 14:40:27 monqy? 14:40:41 elliott is not comfortable with his BURNING PASSIONS 14:40:46 -!- asiekierka has joined. 14:42:35 elliott and asiekierka! 14:42:40 Nonowait, it was oklopol. 14:42:40 -!- ais523 has joined. 14:42:43 hi ais523 14:42:47 oh 14:42:55 did it involve a bath of sprite and/or coke 14:42:56 elliott, do you even have a life to waste? 14:43:02 `log [o]klopol wasn't usually nude 14:43:07 Taneb: No. But I'm doing my darndest anyway. 14:43:15 `addquote `log [o]klopol wasn't usually nude 14:43:22 846) `log [o]klopol wasn't usually nude 14:43:28 >_> 14:43:37 No output. 14:43:44 And I misremembered the quote to boot. 14:44:00 `log klopol.*nude 14:44:15 2012-05-28.txt:14:43:02: `log [o]klopol wasn't usually nude 14:44:18 :) 14:44:24 `log klopol.*naked 14:44:30 2011-05-29.txt:10:50:16: i don't like carrying stuff in my pockets either so really i'd just prefer being naked and carrying whatever i need in my hands 14:44:34 Protip: `pastlog. 14:44:45 2012-05-09.txt:23:34:50: He sat, nonchalantly, one finger running unthinkingly but tantalizingly up and down his strong, toned thigh. It wasn't unusual for oklopol to be here, waiting for elliott's arrival, but something was different today. oklopol was not typically nude. 14:45:05 I'm pretty sure oklopol is, in fact, typically nude. 14:45:25 @ask oklopol Usually nude confirm/deny 14:45:25 Consider it noted. 14:45:52 Gregor, deserves a Bulwer-Lytton. 14:46:02 Obviously it is too shit for the Lyttle Lytton though. 14:50:44 -!- MDude has quit (Ping timeout: 246 seconds). 15:24:26 how should zzo38's deadfish implementation for dc work? 15:27:05 Mmmm, the satisfaction of seeing a stupid answer self-deleted. 15:30:03 always a great supervisor meeting when you get to define 2 15:30:20 my supervisor wasn't convinced that I+I was always equal to 2*I 15:30:32 so I pointed out that it was correct with the only reasonable definition of 2, even if the things you were dealing with weren't integers 15:30:46 :D 15:32:18 ais523, should've proven it from the ring axioms. 15:32:23 Phantom_Hoover: I did 15:32:30 well, we're dealing with semirings, not rings 15:32:36 but the same axioms still apply 15:33:59 -!- Taneb has quit (Ping timeout: 260 seconds). 15:35:07 I'm more worried that your supervisor thought that a+a might not be 2*a without even giving a definition of 2. 15:36:41 -!- pikhq has joined. 15:36:50 -!- pikhq_ has quit (Ping timeout: 244 seconds). 15:36:58 -!- ais523_ has joined. 15:38:07 hi ais523_ 15:38:32 -!- ais523 has quit (Disconnected by services). 15:38:34 -!- ais523_ has changed nick to ais523. 15:38:46 huh, my commands were interpreted out of order 15:39:12 I sent the /ns ghost before the /nick, but the /nick errored out before the ghost worked 15:40:20 ha! another problem i can blame on imperative style! 15:44:05 What would non-imperative style do 15:44:19 functional style IRC? 15:44:27 Phantom_Hoover: not have that problem 15:44:49 (right? (you kidding)) 15:45:17 i'm not kidding, but "functional" is incorrect 15:45:52 alliot 15:45:57 elliotian 15:46:50 what 15:50:37 -!- Slereah_ has quit (Remote host closed the connection). 15:50:56 -!- Slereah has joined. 15:56:41 (fwiw: define 2 as 1+1, now I+I = (I*1)+(I*1) = I*(1+1) = I*2 = 2*I) 16:09:24 -!- ais523 has quit (Ping timeout: 256 seconds). 16:11:24 Phantom_Hoover: no, it was made by europe 16:22:56 -!- Taneb has joined. 16:26:03 -!- azaq23 has joined. 16:26:15 -!- azaq23 has quit (Max SendQ exceeded). 16:28:24 -!- azaq23 has joined. 16:28:32 -!- azaq23 has quit (Changing host). 16:28:32 -!- azaq23 has joined. 16:29:38 Hello! 16:30:19 helo 16:37:44 -!- MDude has joined. 17:22:28 Goodbye 17:22:29 -!- Taneb has quit (Quit: Leaving). 17:22:42 godby 17:23:45 tanebye 17:26:45 elliott: did you see my pun about the final countdown? 17:26:51 no 17:26:59 well i saw the pun 17:27:02 but not what it was in reply to 17:27:19 " THE FINAL COUNTDOWN WAS MADE BY SWEDES?????????????" 17:32:42 -!- ais523 has joined. 17:37:06 -!- pikhq_ has joined. 17:37:20 -!- pikhq has quit (Ping timeout: 244 seconds). 17:53:26 -!- MDude has quit (Ping timeout: 246 seconds). 17:54:08 -!- MDude has joined. 17:56:52 -!- zzo38 has joined. 18:01:39 -!- ogrom has joined. 18:16:29 source materials.gcf/hl2/materials/matsys_regressiontest/background.vtf http://i.imgur.com/HwK3D.png 18:17:03 hi cat 18:19:38 -!- monqy has joined. 18:20:47 @messages? 18:20:47 monqy: You have 4 new messages. '/msg lambdabot @messages' to read them. 18:20:57 -!- nortti_ has joined. 18:36:04 TIL: Scottish nationalists object to the term "Queen Elizabeth II" as it implies that there was a Queen Elizabeth I 18:36:11 well, some of them 18:40:34 -!- ogrom has quit (Ping timeout: 245 seconds). 18:47:36 Do you hate "miss" that much? 18:51:00 zzo38: what does your deadfish implememtstion in dc require from dc imppementation? I couldn't get it to work with my dc 18:53:36 It is GNU dc 18:54:03 Although maybe it could be modified to work with another one 18:55:12 ok... I use V7 dc 18:55:27 *6 19:02:47 "To exit, use `q' . C-c does not exit; it is used to abort macros that are looping, etc. (Currently this is not true; C-c does exit.)" GNU dc manual page 19:05:15 Hmm, looks like Minecraft's development is going ahead full-steam now Jeb and the Bukkit team are working on it. 19:05:22 I almost wish I hadn't tired of it. 19:05:32 Wait, s/almost// 19:11:24 Is there library for gopher and HTTP POST in Haskell? (People in #haskell channel answered the second part) 19:11:57 Phantom_Hoover: s/I /I / 19:12:55 zzo38: if there isn't, you could write one 19:13:10 ais523: How? I tried, but it doesn't work. 19:13:26 zzo38: same way as you write a library in any other language 19:14:15 ais523: he tried, but it doesn't work 19:14:40 I have written libraries in Haskell before, but I cannot get it to work with gopher 19:22:53 "The survey tested respondents’ knowledge of cookies, asking them to confirm if a number of statements about cookies were correct or not. Ou tof the sixteen statements only one was answered correctly by th emajority of respondents." 19:23:59 what was it? "The cookie monster eats cookies"? 19:24:05 it didn't say 19:24:14 I'm hoping it'll say later, this is a 31-page document 19:24:23 about how to comply with the new UK laws about cookies 19:24:47 elliott: this reminds me, your login screen should probably contain a note that logging in will set a cookie to record the fact that you're logged in 19:25:04 hmm, do anons get cookies set too? 19:25:04 why should it? 19:25:09 olsner: new UK laws about cookies 19:25:09 i'll wait for mediawiki to implement that 19:25:13 i doubt the law will stand 19:25:18 is the wiki hosted in the UK though? 19:25:22 yes 19:25:23 I think so 19:25:26 it doesn't matter, though 19:25:29 i'm in the uk 19:25:33 so i'm probably liable anyway 19:26:03 I think sweden has the same silly cookies law 19:26:18 the whole of the EU does, it's an EU-wide law that's being implemented by the individual member companies 19:26:44 -!- asiekierka_ has joined. 19:26:53 I don't personally find it silly, partly because I have all cookies on manual approval atm (apart from a few websites I use a lot and are set to always-approve, and some that use so many I had to set them to always-disaprove because I was bored of clicking through notifications) 19:27:03 -!- MoALTz has quit (Ping timeout: 250 seconds). 19:27:07 something that reduces the number of approvals I need would be nice 19:27:17 [20:25] i just installed kde 19:27:19 [20:25] what the FUCK 19:27:20 this could be fun :) 19:27:21 the decision to accept cookies or not has always been on the client side anyway 19:27:35 yes, but browsers accept them by default 19:27:59 the EU have been campaigning against anticompetitive or privacy-breaking defaults 19:28:01 But that isn't the government's job to fix 19:28:42 It may be good for them to campaign against anticompetitive or privacy-breaking defaults, but still, that doesn't mean they have to fix it by making a law against it 19:28:43 zzo38: I think you'll find it is the job to fix anticompetitive and privacy-breaking behaviour by corporations. 19:28:49 *job of the government 19:28:57 It has been suggested that the fact that a visitor has arrived at a webpag eshould be sufficient evidence that they consent to cookies being set o rinformation being accessed on their device. The key here is that the visito rshould understand that this is the case. It is important to note that it would b eextremely difficult to demonstrate compliance simply by showing that a use rvisited a particular site or was served a particular advertisement 19:28:58 unless it coul dalso be demonstrated that they were aware this would result in cookies bein gset. 19:28:59 In fact, regulating corporations is pretty much the definition of the convernment's job in a capitalist society. 19:29:04 *government's 19:29:11 Or, at least, the government should tell the people who install those browsers by default to fix it 19:29:21 Since they are the ones needed fixing 19:29:23 The government tells people to do things by passing laws. 19:29:49 -!- MoALTz has joined. 19:30:01 It isn't the job of the server to change the settings on the client 19:30:32 btw, I approve of the anti-cookie law partly because the same reasoning's being used on EULAs 19:30:40 (that people just click through EULAs without reading them, thus they have no legal force) 19:31:57 But, yes, the government should tell the people who sell computers to change those settings 19:32:23 And if they refuse they have to put a warning label on the box 19:32:26 -!- pikhq has joined. 19:32:38 -!- pikhq_ has quit (Ping timeout: 240 seconds). 19:33:07 Full ack. 19:33:28 elliott: you're /probably/ OK if it's just session cookies, not analytics 19:33:38 It's the browser manufacturers job. 19:33:58 ais523: I break the law pretty frequently anyway 19:34:12 mroman: well, it's not like browser managers can make all cookies prompt-by-default reasonably 19:34:19 elliott: ouch, seriously? 19:34:25 ais523: yes 19:34:26 it's pretty rare for me to intentionally break it 19:34:28 I know 19:34:34 elliott: True. 19:34:42 mroman: I think no browser vendor wants to be the first with the "confusing popup with lots of confusing settings" box that will have to pop up for every page load 19:34:45 mroman: it'd just make everyone use outlaw browsers :P 19:34:47 Which makes it also the governments job, sadly. 19:34:58 mroman: more importantly, very few browsers are UK-based 19:35:05 As it is responsible for the safety of its citizens. 19:35:17 anyway I don't object to the privay-based intent 19:35:21 but I think the execution is a little problematic 19:35:23 it's too technological 19:35:54 It should not be the browser manufacturer's job; it is the computer manufacturer's job to change the settings before selling the computer, or including a warning label on the computer. 19:36:11 zzo38: yes, that would accomplish precisely nothing 19:36:14 Warning labels are useless. 19:36:24 because everyone would just ignore the label, or download a browser as soon as they get it 19:36:58 Browsers are in a very good position to make demands actually. 19:37:04 Websites have to work with browsers. 19:37:26 They do also the other way, but that must not be. 19:37:59 well, there's already the browserchoice thing, which requires the default browser on Windows to be a menu presenting the five most popular Windows browsers in random order and asking the user to choose one 19:38:17 well, the websites have to work with IE6 and the other browsers have to work with those websites :) 19:38:19 Like firefox or opera? 19:38:25 They both suck at security. 19:38:45 opera is best for security!!1 19:38:48 mroman: what is secure briwser then? 19:39:00 mroman: well, browsers are not really in a good position to make demands 19:39:01 The one that allows nothing per default. 19:39:07 if you make a demand that inconveniences users 19:39:11 then the users will use another browser 19:39:12 And requires the user to load whitelists. 19:39:39 which are configfiles. 19:39:57 which say when browsing on what page, what the browser is allowed to do. 19:40:45 Well, yes that way would work. 19:43:34 http://codepad.org/sfsarUbh 19:43:38 ^- I want something like that. 19:44:00 and tab isolation. 19:44:04 COMPLETE tab isolation. 19:44:20 Just because I'm logged in on somesite doesn't mean that I should be logged in in any other tab. 19:44:41 Because if I want that, I would somehow tell my browser that (through such a configuration file) 19:44:50 you should use opera mini then, keep all your tabs on iceland :> 19:45:10 I like things like that too; be able to configure settings for each domain or even separate for subdomains whether inherit or not, and path and filenames too. 19:45:38 mroman: complete tab isolation=each tab runs on its own machine? 19:45:52 nortti_: Each tab has its own "browser context" 19:46:05 like its a different browser 19:46:12 Perhaps the UK government should sell computers that do not have any web browser program 19:46:12 that means 19:46:17 no cookie sharing between tabs 19:46:20 whatsoever. 19:46:56 mroman: I do agree it would be a good idea that you can have multiple sessions without cookie sharing. 19:47:15 I would want browsers to only work with such configuration files 19:47:25 which deny almost everything by default. 19:47:53 And siteowners may provide such a file 19:48:05 (like robots.txt or some mechanism like that) 19:48:27 The user then can view it, accept and adjust it. 19:48:49 they'll just say "for the best experience, please enable all features", and obviously most sites will be made so that nothing works unless you do exactly that 19:49:12 Yeah. 19:49:22 So? 19:49:31 What they should do is discourage HTTP and HTML 19:49:40 The user accepted it. 19:49:55 clearly 19:50:02 well, it will make your system suck (as in, give extra useless prompts) for everyone except the paranoid, and 99.99% of users are not paranoid 19:50:09 and he had the chance to tell the browser EXACTLY what to do. 19:50:42 -!- elliott has left ("this is stupid"). 19:50:48 :) 19:51:01 If you know your town 19:51:02 -!- coppro has left ("nooo come back"). 19:51:07 even if you're not paranoid 19:51:17 there are certain areas or streets you avoid. 19:51:20 For a good reason. 19:51:29 Why not adopt that behaviour to the internet. 19:51:49 they'll just say "for the best experience, please enable all features", and obviously most sites will be made so that nothing works unless you do exactly that <-- I have now found /two/ sites that cover the entire screen with a