--- Log opened Wed Jul 30 00:00:31 2014 |
00:15 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has joined #code |
00:15 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
00:43 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
00:57 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
00:57 | | mode/#code [+o himi] by ChanServ |
01:07 | | [R] [rstamer@Nightstar-d7h8ki.org] has joined #code |
01:11 | | Derakon[AFK] is now known as Derakon |
01:56 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
02:09 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
02:09 | | mode/#code [+o himi] by ChanServ |
02:54 | | Attilla [uid13723@Nightstar-ed0oqj.irccloud.com] has quit [[NS] Quit: Connection closed for inactivity] |
03:51 | | Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has quit [Ping timeout: 121 seconds] |
04:01 | | VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has quit [[NS] Quit: Program Shutting down] |
04:16 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
04:18 | | Kindamoody[zZz] is now known as Kindamoody |
04:26 | | RchrdB [RichardB@Nightstar-qe9.aug.187.81.IP] has quit [Connection closed] |
04:29 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
04:29 | | mode/#code [+o himi] by ChanServ |
05:08 | | Derakon is now known as Derakon[AFK] |
05:39 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has quit [[NS] Quit: Leaving] |
06:06 | | macdjord|slep is now known as macdjord |
06:27 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
06:41 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
06:41 | | mode/#code [+o himi] by ChanServ |
07:14 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
07:25 | | celticminstrel [celticminst@Nightstar-6pf18d.dsl.bell.ca] has quit [[NS] Quit: And lo! The computer falls into a deep sleep, to awake again some other day!] |
07:27 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
07:27 | | mode/#code [+o himi] by ChanServ |
07:54 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
08:07 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
08:07 | | mode/#code [+o himi] by ChanServ |
08:19 | | Kindamoody is now known as Kindamoody|afk |
08:34 | | Attilla [uid13723@Nightstar-ed0oqj.irccloud.com] has joined #code |
08:40 | | thalass [thalass@Nightstar-ueen89.bigpond.net.au] has joined #code |
08:40 | | mode/#code [+o thalass] by ChanServ |
08:46 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
08:50 | | Attilla [uid13723@Nightstar-ed0oqj.irccloud.com] has quit [Connection closed] |
08:50 | | Attilla [uid13723@Nightstar-ed0oqj.irccloud.com] has joined #code |
08:59 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
08:59 | | mode/#code [+o himi] by ChanServ |
09:28 | | gnolam [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has joined #code |
09:28 | | mode/#code [+o gnolam] by ChanServ |
09:28 | | gnolam_ [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has quit [Ping timeout: 121 seconds] |
10:02 | | Orth- is now known as Reiver |
10:08 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
10:20 | | gnolam_ [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has joined #code |
10:20 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
10:20 | | mode/#code [+o himi] by ChanServ |
10:22 | | gnolam [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has quit [Ping timeout: 121 seconds] |
10:39 | | gnolam [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has joined #code |
10:39 | | mode/#code [+o gnolam] by ChanServ |
10:41 | | gnolam_ [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has quit [Ping timeout: 121 seconds] |
10:57 | | thalass [thalass@Nightstar-ueen89.bigpond.net.au] has quit [Operation timed out] |
11:24 | | VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has joined #code |
11:26 | | RchrdB [RichardB@Nightstar-qe9.aug.187.81.IP] has joined #code |
11:26 | | mode/#code [+o RchrdB] by ChanServ |
11:37 | | gnolam_ [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has joined #code |
11:39 | | gnolam [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has quit [Ping timeout: 121 seconds] |
12:32 | | gnolam [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has joined #code |
12:32 | | mode/#code [+o gnolam] by ChanServ |
12:33 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
12:35 | | gnolam_ [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has quit [Ping timeout: 121 seconds] |
12:47 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
12:47 | | mode/#code [+o himi] by ChanServ |
13:04 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
13:05 | | RchrdB [RichardB@Nightstar-qe9.aug.187.81.IP] has quit [Ping timeout: 121 seconds] |
13:14 | | Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has joined #code |
13:14 | | mode/#code [+o Checkmate] by ChanServ |
13:16 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
13:16 | | mode/#code [+o himi] by ChanServ |
13:35 | < VirusJTG> | any one around that is living some where in Europe and has a minute or two to do me a small favor that wouldn't mind a PM on the details? |
13:38 | < VirusJTG> | TW is assisting. ty |
13:48 | | ASCII [pink@Nightstar-rcj56n.dyn.optonline.net] has quit [Ping timeout: 121 seconds] |
14:03 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
14:17 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
14:17 | | mode/#code [+o himi] by ChanServ |
14:42 | | RchrdB [RichardB@Nightstar-952.jvr.168.194.IP] has joined #code |
14:42 | | mode/#code [+o RchrdB] by ChanServ |
14:46 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
14:59 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
14:59 | | mode/#code [+o himi] by ChanServ |
15:00 | | gnolam_ [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has joined #code |
15:02 | | gnolam [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has quit [Ping timeout: 121 seconds] |
15:05 | | Desktop_Caboose [IceChat9@Nightstar-ago7bl.abhsia.telus.net] has joined #code |
15:08 | | Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has quit [Ping timeout: 121 seconds] |
15:14 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
15:26 | | Vornucopia [NSwebIRC@Nightstar-k70f1n.ct.comcast.net] has joined #code |
15:27 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
15:27 | | mode/#code [+o himi] by ChanServ |
15:30 | | Vornucopia_ [NSwebIRC@Nightstar-k70f1n.ct.comcast.net] has joined #code |
15:30 | < Vornucopia_> | I have no idea if anything I said got through |
15:30 | | Vornucopia [NSwebIRC@Nightstar-k70f1n.ct.comcast.net] has quit [Ping timeout: 121 seconds] |
15:31 | < Vornucopia_> | Guess not. |
15:31 | < luke> | Not a word. |
15:31 | | gnolam [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has joined #code |
15:31 | | mode/#code [+o gnolam] by ChanServ |
15:31 | < Vornucopia_> | HTML befuddler: I have a page whose address includes several getvars: http://example.com/page?foo=bar&baz=quux |
15:32 | < Vornucopia_> | I wish to create a link on this page, which appends additional getvars to the link: http://example.com/page?foo=bar&baz=quux&monkey=pants ; I would vastly prefer if I don't need to include, or worse parse, the existing getvars to create the link |
15:33 | | gnolam_ [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has quit [Ping timeout: 121 seconds] |
15:34 | < Vornucopia_> | I know I can get the same page plus a fresh thing of getvars using ? at the start of the a link: <a href="?monkey=pants"> gives http://example.com/page?monkey=pants |
15:34 | < Vornucopia_> | But that replaces; I wish to append. |
15:35 | <@TheWatcher> | Don't think you can do that in straight-up html, I think you'l need to use javascript |
15:35 | < Vornucopia_> | no fun. |
15:36 | < Vornucopia_> | well, at least window.location has that in it for me. |
15:40 | < Vornucopia_> | righto, thank you |
15:40 | | Vornucopia_ [NSwebIRC@Nightstar-k70f1n.ct.comcast.net] has quit [[NS] Quit: Page closed] |
15:48 | | Checkmate [Z@Nightstar-ro94ms.balk.dk] has joined #code |
15:48 | | mode/#code [+o Checkmate] by ChanServ |
15:55 | | gnolam_ [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has joined #code |
15:58 | | gnolam [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has quit [Ping timeout: 121 seconds] |
16:01 | | celticminstrel [celticminst@Nightstar-6pf18d.dsl.bell.ca] has joined #code |
16:01 | | mode/#code [+o celticminstrel] by ChanServ |
16:25 | | RchrdB [RichardB@Nightstar-952.jvr.168.194.IP] has quit [Ping timeout: 121 seconds] |
16:39 | | gnolam [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has joined #code |
16:39 | | mode/#code [+o gnolam] by ChanServ |
16:40 | | gnolam_ [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has quit [Ping timeout: 121 seconds] |
16:42 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
16:54 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
16:54 | | mode/#code [+o himi] by ChanServ |
17:06 | | RchrdB [RichardB@Nightstar-952.jvr.168.194.IP] has joined #code |
17:06 | | mode/#code [+o RchrdB] by ChanServ |
17:44 | | celticminstrel [celticminst@Nightstar-6pf18d.dsl.bell.ca] has quit [Connection closed] |
17:46 | | celticminstrel [celticminst@Nightstar-6pf18d.dsl.bell.ca] has joined #code |
17:46 | | mode/#code [+o celticminstrel] by ChanServ |
17:50 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
17:55 | | Reiv [NSwebIRC@Nightstar-q8avec.kinect.net.nz] has quit [Ping timeout: 121 seconds] |
18:03 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
18:03 | | mode/#code [+o himi] by ChanServ |
18:29 | <@celticminstrel> | Stupid Atlassian. |
18:33 | | Syka [the@Nightstar-d16r4u.vividwireless.net.au] has quit [Connection closed] |
18:34 | | Syka [the@Nightstar-d16r4u.vividwireless.net.au] has joined #code |
18:40 | | celticminstrel [celticminst@Nightstar-6pf18d.dsl.bell.ca] has quit [Client exited] |
18:47 | | celticminstrel [celticminst@Nightstar-6pf18d.dsl.bell.ca] has joined #code |
18:47 | | mode/#code [+o celticminstrel] by ChanServ |
18:50 | | RchrdB [RichardB@Nightstar-952.jvr.168.194.IP] has quit [Ping timeout: 121 seconds] |
18:52 | | RchrdB [RichardB@Nightstar-952.jvr.168.194.IP] has joined #code |
18:52 | | mode/#code [+o RchrdB] by ChanServ |
18:55 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
19:04 | | celticminstrel is now known as celmin|busy |
19:09 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
19:09 | | mode/#code [+o himi] by ChanServ |
19:29 | | gnolam_ [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has joined #code |
19:32 | | gnolam [lenin@Nightstar-rhnl04.cust.bredbandsbolaget.se] has quit [Ping timeout: 121 seconds] |
19:45 | | celmin|busy is now known as celticminstrel |
19:45 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
19:46 | | Kindamoody|afk is now known as Kindamoody |
19:59 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
19:59 | | mode/#code [+o himi] by ChanServ |
20:44 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
20:44 | | gnolam_ is now known as gnolam |
20:44 | | mode/#code [+o gnolam] by ChanServ |
20:56 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
20:56 | | mode/#code [+o himi] by ChanServ |
21:01 | | RchrdB [RichardB@Nightstar-952.jvr.168.194.IP] has quit [Ping timeout: 121 seconds] |
21:12 | | Kindamoody is now known as Kindamoody[zZz] |
21:21 | | Akinator is now known as Reporter |
21:21 | | ErikMesoy is now known as Dino |
21:37 | | RchrdB [RichardB@Nightstar-qe9.aug.187.81.IP] has joined #code |
21:37 | | mode/#code [+o RchrdB] by ChanServ |
21:46 | | Dino is now known as ErikMesoy |
22:13 | | Checkmate [Z@Nightstar-ro94ms.balk.dk] has quit [Ping timeout: 121 seconds] |
22:13 | | Orthia [orthianz@Nightstar-s5d.ntf.224.119.IP] has quit [Ping timeout: 121 seconds] |
22:14 | | Orthia [orthianz@Nightstar-s5d.ntf.224.119.IP] has joined #code |
22:14 | | mode/#code [+o Orthia] by ChanServ |
22:22 | | Reiv [NSwebIRC@Nightstar-q8avec.kinect.net.nz] has joined #code |
22:22 | | mode/#code [+o Reiv] by ChanServ |
22:53 | | Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has joined #code |
22:53 | | mode/#code [+o Checkmate] by ChanServ |
22:56 | <&jerith> | I am writing a program that writes programs. |
22:57 | <&jerith> | This truly is the future. |
22:57 | | Vornicus [vorn@ServerAdministrator.Nightstar.Net] has joined #code |
22:57 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
23:00 | <@RchrdB> | jerith, a compiler or a macro? :) |
23:01 | <&jerith> | RchrdB: Code generator. |
23:01 | <&jerith> | https://github.com/jerith/ypotryll |
23:01 | <&jerith> | Specifically the code_gen dir in there at present. |
23:02 | <&jerith> | All the code generators I've written in the past have been exceedingly painful. |
23:02 | <@RchrdB> | so it's one of those things where you feed some kind of protocol description into a program that generates a library that (de)serializes that protocol? |
23:02 | <@RchrdB> | like the code generators in most Protobuf implementations, say |
23:02 | <&jerith> | Pretty much. |
23:02 | <&jerith> | This is a static spec, though. |
23:03 | <&jerith> | I only need to implement the one. |
23:03 | <@RchrdB> | Oh. Oh I see. |
23:03 | <@RchrdB> | Eh you're not alone there either. |
23:03 | <&jerith> | But it's quite big. I'm not going to do all that by hand. |
23:03 | <&jerith> | So far this is less painful the Java or Python code generators I've written. |
23:04 | <@RchrdB> | IIRC at least one HTTP server - Mongrel? - is implemented by feeding a formalization of the HTTP spec into a code generator, in order to get out a state machine that wouldn't have random parser bugs due to ad-hoc'ery. |
23:04 | <@RchrdB> | I think it's quite a good approach from the langsec perspective. |
23:07 | <&jerith> | RchrdB: That just moves the bugs into the spec. |
23:12 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Ping timeout: 121 seconds] |
23:20 | <@RchrdB> | jerith, I dispute the word "just" in that sentence. |
23:21 | <&jerith> | RchrdB: True. There's also plenty of space for bugs in the code generator.~ |
23:21 | <@RchrdB> | when you generate a parser instead of writing one ad-hoc, all your bugs go into either the spec, where they are much easier to see and fix, or the generator. |
23:22 | <&jerith> | RchrdB: This is a standard technique. |
23:23 | <&jerith> | You're basically writing a DSL for the spec. |
23:23 | <@RchrdB> | I believe that you can write generators that are correct or very nearly because some people have been writing code generators with formal correctness proofs lately |
23:23 | <&jerith> | I'm not writing one of those. :-P |
23:23 | <&McMartin> | I am generally pro-DSL |
23:23 | <&jerith> | Of course, the code I'm generating is pretty starightforward. |
23:24 | <&jerith> | *straightforward |
23:24 | <&McMartin> | 14:59 <@RchrdB> IIRC at least one HTTP server - Mongrel? - is implemented by |
23:24 | <&McMartin> | feeding a formalization of the HTTP spec into a code generator, |
23:24 | <&McMartin> | in order to get out a state machine that wouldn't have random |
23:24 | <&McMartin> | parser bugs due to ad-hoc'ery. |
23:24 | | Desktop_Caboose [IceChat9@Nightstar-ago7bl.abhsia.telus.net] has quit [[NS] Quit: home time] |
23:24 | <@RchrdB> | I appreciate that, but I'm willing to bet modestly that the difficulty of writing a correct implementation of a thing is correlated very strongly with the difficulty of proving one. |
23:24 | <&McMartin> | How is this different from having a bison parser for HTTP? |
23:24 | <&McMartin> | (SOrry for the horribly linebreak paste) |
23:25 | <@RchrdB> | McMartin, I think it was also the whole request-response state machine, not just the parsers. |
23:25 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code |
23:25 | | mode/#code [+o himi] by ChanServ |
23:25 | <@RchrdB> | possibly down to the networking and all |
23:25 | <&McMartin> | Ah |
23:26 | <@RchrdB> | also |
23:26 | <@RchrdB> | I have bought a laptop with a 3200x1800 screen and now I can't read text on anything else because it's too ugly. |
23:26 | <&jerith> | RchrdB: Bitmap fonts. |
23:26 | <@RchrdB> | Not good enough. |
23:27 | <&McMartin> | MEMS violin |
23:27 | <@RchrdB> | What? |
23:27 | <&McMartin> | It is a tiny violin so tiny we had to etch it into a chip. |
23:27 | <@RchrdB> | I just looked up 4k monitors on ebuyer because that'd be roughly the equivalent at "fill the desk size" and fffffuck they're expensive. |
23:27 | <@RchrdB> | Ah right of course. |
23:27 | <@RchrdB> | "Micro electro-mechanical systems"? |
23:28 | <&McMartin> | Yeah |
23:28 | <&McMartin> | They're neat. I'm not sure if they're fully practical, but they're neat |
23:28 | <&McMartin> | I'm also not sure how mainstream they are. Berkeley had a giant MEMS research project while I was an undergrad there so it seemed omnipresent |
23:28 | <@RchrdB> | I remember seeing a bunch of articles in IEE and IET magazines about them, like half a decade back. |
23:29 | <&McMartin> | It looks like they found their niche but they aren't omnipresent |
23:29 | <@RchrdB> | They were talking about a whole load of high-throughput medical applications, like being able to just put a droplet of blood onto the surface of a chip and have a MEMS that touches all the molecules to find out what's in it. |
23:30 | <&McMartin> | http://en.wikipedia.org/wiki/Bio-MEMS mentions "Point-of-care diagnostic chips" |
23:30 | <&McMartin> | But yeah, it seems like sensors and massive-scale switching networks are the applications |
23:31 | <@RchrdB> | oh, DLP projectors count |
23:31 | <@RchrdB> | with millions of tiny mirrors on tiny little armatures |
23:31 | <&McMartin> | Yep |
23:31 | <&McMartin> | OK, taking that back |
23:31 | <@RchrdB> | optical switching is cool as Hell |
23:31 | <&McMartin> | They *are* omnipresent but they're unobtrusive~ |
23:32 | <@RchrdB> | "yeah we COULD parse the IP packets and send them on to the next hop, or⦠we could just bounce them to their destination down at OSI layer 1." xD |
23:32 | <&McMartin> | micro-gyros and accelerometers are in like everything |
23:32 | <@RchrdB> | Dynamically-reconfigurable layer 1 switching FTW. |
23:33 | <&McMartin> | Also, I guess that means they *are* fully practical in their use cases >_> |
23:33 | <@RchrdB> | well |
23:34 | <~Vornicus> | arg, I need a real mousepad |
23:34 | <@RchrdB> | It doesn't sound like anyone has figured out how to make a MEMS sex toy yet, but we'll get there. |
23:34 | | * Vornicus hasn't used a mousepad in like a decade; optical mice have always just worked... not on this table they don't. |
23:34 | <@RchrdB> | I have great faith in humanity. |
23:35 | <&jerith> | Vornicus: I find a sheet of paper works well. |
23:35 | <@RchrdB> | Vornicus, fwiw, the best mousemat that I've ever used was a tablecloth. |
23:36 | <~Vornicus> | The paper moves too ;_; |
23:37 | <&jerith> | Vornicus: Stick it down. |
23:37 | <&jerith> | I find a book or something on one end works okay. |
23:38 | <&jerith> | Not long-term, but then long-term I use a table that doesn't hate mice. |
23:44 | <~Vornicus> | Welcome to cats |
23:44 | <~Vornicus> | er, mischan |
23:45 | <&McMartin> | HOW ARE YOU GENTLEMEN !! |
23:46 | | * McMartin is murdered by a volley of fragmentation clams hurled from offstage |
23:47 | | * jerith unmurders McMartin. |
23:50 | | himi [fow035@Nightstar-v37cpe.internode.on.net] has quit [Connection closed] |
--- Log closed Thu Jul 31 00:00:47 2014 |