code logs -> 2014 -> Wed, 30 Jul 2014< code.20140729.log - code.20140731.log >
--- 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
code logs -> 2014 -> Wed, 30 Jul 2014< code.20140729.log - code.20140731.log >

[ Latest log file ]