code logs -> 2015 -> Wed, 25 Feb 2015< code.20150224.log - code.20150226.log >
--- Log opened Wed Feb 25 00:00:38 2015
00:14 McMartin [mcmartin@Nightstar-rpcdbf.sntcca.sbcglobal.net] has quit [Ping timeout: 121 seconds]
00:27 Thalass is now known as Thalass|omgame
00:27 Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has quit [Ping timeout: 121 seconds]
00:27
< simon_>
anyone into temporal logic / computational tree logic?
00:28
< simon_>
I'm trying to express something logical about an economic model
00:28
< simon_>
basically, I have this set of equations, a set of "exogenic/endogenic" variables
00:30
< simon_>
and through something I think is called "causal analysis", I can determine which order the model tries to predict the value of endogenic variables, which basically reduces to which order I determine them in equations, after which I can substitute variables and determine other endogenic variables by variable substitution.
00:31
< simon_>
e.g. if I have two equations with two endogenic variables (unknowns), I'll call them both "of the 0th order", but if I had had a third equation that depended on both of those endogenic variables and a third endogenic variable, it'd be of the 1st order.
00:32
< simon_>
then I might say "increasing variable X affects variable Y and Z simultaneously, which subsequently affects variable K"
00:33 Turaiel[Offline] is now known as Turaiel
00:33
< simon_>
my TA writes "âX => âY and âZ => âK", for example
00:33
< simon_>
but I feel the temptation to use temporal operators, even though, strictly speaking, I don't really know if it's a function of time or simply of the model's predictability.
00:34
< simon_>
I don't suppose temporal logic needs to speak of time-like time, but could really just speak of state-transition-like time...
00:39 Derakon[AFK] is now known as Derakon
00:42
< simon_>
what I had in mind was: A âX => (N âY and âZ) => (N âK)
00:43
< simon_>
...or something like that.
00:56 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [[NS] Quit: Leaving]
--- Log closed Wed Feb 25 01:03:00 2015
--- Log opened Wed Feb 25 01:03:09 2015
01:03 TheWatcher [chris@Nightstar-ksqup0.co.uk] has joined #code
01:03 Irssi: #code: Total of 38 nicks [16 ops, 0 halfops, 0 voices, 22 normal]
01:03 mode/#code [+o TheWatcher] by ChanServ
01:03 Irssi: Join to #code was synced in 39 secs
01:08
< simon_>
that should probably be A âX => (N âY) and (A âY => N âK)
01:10
< simon_>
err... for the case above, that'd be A âX => (N âY and âZ) and (A âY and âZ => N âK). never mind, just looking for excuses to do temporal logic. :)
01:42 Thalass|omgame is now known as Thalass
01:43 macdjord [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has joined #code
01:43 mode/#code [+o macdjord] by ChanServ
02:03 Tamber [tamber@furryhelix.co.uk] has quit [Ping timeout: 121 seconds]
02:06 Tamber [tamber@furryhelix.co.uk] has joined #code
02:06 mode/#code [+o Tamber] by ChanServ
02:37 JustSomeone [test@Nightstar-8ga.e2k.52.198.IP] has joined #code
02:42 JustSomeone [test@Nightstar-8ga.e2k.52.198.IP] has quit [Ping timeout: 121 seconds]
03:33 mac [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has joined #code
03:33 mode/#code [+o mac] by ChanServ
03:34 macdjord [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has quit [Ping timeout: 121 seconds]
03:47 mac [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has quit [Ping timeout: 121 seconds]
03:50 macdjord [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has joined #code
03:50 mode/#code [+o macdjord] by ChanServ
03:53 mac [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has joined #code
03:53 mode/#code [+o mac] by ChanServ
03:55 macdjord [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has quit [Ping timeout: 121 seconds]
03:56 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
03:56 mode/#code [+ao Derakon Derakon] by ChanServ
03:58 mac [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has quit [Ping timeout: 121 seconds]
04:02 macdjord [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has joined #code
04:02 mode/#code [+o macdjord] by ChanServ
04:06 macdjord [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has quit [Ping timeout: 121 seconds]
04:08 macdjord [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has joined #code
04:08 mode/#code [+o macdjord] by ChanServ
04:13 macdjord [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has quit [Ping timeout: 121 seconds]
04:14 Harlow [harlow@Nightstar-pq0497.il.comcast.net] has joined #code
04:15 macdjord [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has joined #code
04:16 mode/#code [+o macdjord] by ChanServ
04:16 McMartin [mcmartin@Nightstar-rpcdbf.sntcca.sbcglobal.net] has joined #code
04:17 mode/#code [+ao McMartin McMartin] by ChanServ
--- Log closed Wed Feb 25 05:02:04 2015
--- Log opened Wed Feb 25 05:02:09 2015
05:02 TheWatcher [chris@Nightstar-ksqup0.co.uk] has joined #code
05:02 Irssi: #code: Total of 42 nicks [17 ops, 0 halfops, 0 voices, 25 normal]
05:02 mode/#code [+o TheWatcher] by ChanServ
05:02 Irssi: Join to #code was synced in 35 secs
05:08 Turaiel is now known as Turaiel[Offline]
05:11 Derakon is now known as Derakon[AFK]
05:11 celticminstrel [celticminst@Nightstar-j5b.hci.93.65.IP] has quit [[NS] Quit: And lo! The computer falls into a deep sleep, to awake again some other day!]
05:13 Thalass is now known as Thalassleeeeeep
05:37 Vornicus [vorn@ServerAdministrator.Nightstar.Net] has quit [[NS] Quit: Leaving]
05:39 Vash [Vash@Nightstar-uhn82m.ct.comcast.net] has quit [[NS] Quit: Quit]
06:26 Harlow [harlow@Nightstar-pq0497.il.comcast.net] has quit [[NS] Quit: sleep]
06:33 himi [fow035@Nightstar-dm0.2ni.203.150.IP] has quit [Ping timeout: 121 seconds]
06:47 Kindamoody[zZz] is now known as Kindamoody
07:21 Harlow [harlow@Nightstar-pq0497.il.comcast.net] has joined #code
07:21 Harlow [harlow@Nightstar-pq0497.il.comcast.net] has quit [Connection closed]
07:25 Harlow [harlow@Nightstar-pq0497.il.comcast.net] has joined #code
08:15 VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has quit [Connection closed]
08:16 VirusJTG [VirusJTG@Nightstar-6i5vf7.sta.comporium.net] has joined #code
08:34
< AnnoDomini>
Is there any way to have an arbitrary element to occur after every table row in HTML?
08:35
< AnnoDomini>
What I want could be achieved with <tr><td colspan="X"></td></tr> but that breaks things (alternating colors, table searching).
08:35
< AnnoDomini>
I would like something like a "td-footer".
08:37 Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has joined #code
08:37 mode/#code [+o Checkmate] by ChanServ
08:37 AverageJoe [evil1@Nightstar-2ofrtr.ph.cox.net] has joined #code
08:54 Kindamoody is now known as Kindamoody|out
08:55 Harlow [harlow@Nightstar-pq0497.il.comcast.net] has quit [[NS] Quit: BED]
08:56 Orthia [orthianz@Nightstar-ghk.ovb.98.101.IP] has quit [Ping timeout: 121 seconds]
09:01 Orthia [orthianz@Nightstar-poga24.callplus.net.nz] has joined #code
09:01 mode/#code [+o Orthia] by ChanServ
09:09 Orthia [orthianz@Nightstar-poga24.callplus.net.nz] has quit [Ping timeout: 121 seconds]
09:14 Orthia [orthianz@Nightstar-ghk.ovb.98.101.IP] has joined #code
09:14 mode/#code [+o Orthia] by ChanServ
09:43
<@TheWatcher>
AnnoDomini: look into the <thead>, <tbody>, and <tfoot> elements: http://www.w3.org/TR/html5/tabular-data.html#the-tbody-element
09:44 AverageJoe [evil1@Nightstar-2ofrtr.ph.cox.net] has quit [[NS] Quit: Leaving]
09:48
<@TheWatcher>
(also, for the record, I would like to find whoever it was that suggested that tag omission was ever a good idea and demonstrate what happens when you bludgeon someone without end
09:48
<@TheWatcher>
)
09:49
< AnnoDomini>
tfoot isn't what I need, I think. I want to basically add a row under each row without that counting as a separate row, but part of the previous row.
09:50
<@TheWatcher>
Oh
09:50
<@TheWatcher>
Uh, yeah, can't suggest anything then, at least not until I've had more tea
10:51 Ogredude [quassel@Nightstar-dm1jvh.projectzenonline.com] has quit [Ping timeout: 121 seconds]
11:21 Ogredude [quassel@Nightstar-dm1jvh.projectzenonline.com] has joined #code
11:21 mode/#code [+o Ogredude] by ChanServ
12:37 Ogredude [quassel@Nightstar-dm1jvh.projectzenonline.com] has quit [Ping timeout: 121 seconds]
12:39 Ogredude [quassel@Nightstar-dm1jvh.projectzenonline.com] has joined #code
12:39 mode/#code [+o Ogredude] by ChanServ
12:42
< Tarinaky_>
https://www.kickstarter.com/projects/elite-pcs/the-pi-z0ne/
12:42
< Tarinaky_>
Someone should ask him to Square the Circle as a stretch goal, lol
12:51
<@gnolam>
<X-G> Reminds me of that getacoder.com post where "AlanT" wanted a program that could determine if another program terminates or not.
12:53 * TheWatcher eyes that project, facepalms.
12:53
<@TheWatcher>
Actually, no, that probably deserves a Picard-Riker Double-Facepalm.
12:54
< RchrdB>
Filing a kickstarter campaign is apparently less difficult than reading the wikipedia page about pi now.
12:58
<@TheWatcher>
And really, as far as mathematics pages on Wikipedia go, the page for Pi is pretty damned simple.
13:07 * AnnoDomini is inserting a million records into the test database, just to check what happens.
13:09 Thalassleeeeeep is now known as Thalass
13:10
<@TheWatcher>
One Meeellion Records *Dr Evil pinky*?
13:13
< RchrdB>
AnnoDomini: aiui, performance testing theory says don't do that - you want to do load tests with a) as much load as you anticipate the system ever receiving or, b) keep increasing it until it breaks. :)
13:15
< AnnoDomini>
This system will never have a million widgets. Hundreds, yes. Thousands, probably, eventually. Tens of thousands, maybe.
13:16
< AnnoDomini>
This thing will get decommissioned and replaced by something newer by the time it might have a million records.
13:18
< RchrdB>
"as much as you anticipate it ever receiving" is an acceptance test, "increase until it breaks" is a stress test
13:19
< RchrdB>
"one meeeeeeleeeeeeon records *Dr Evil pinky*" is just fun. :)
13:20
< AnnoDomini>
I want to know if it will run properly fast. There might be insufficient indices.
13:27 celticminstrel [celticminst@Nightstar-j5b.hci.93.65.IP] has joined #code
13:27 mode/#code [+o celticminstrel] by ChanServ
14:06 Ogredude [quassel@Nightstar-dm1jvh.projectzenonline.com] has quit [Ping timeout: 121 seconds]
14:07 Ogredude [quassel@Nightstar-dm1jvh.projectzenonline.com] has joined #code
14:07 mode/#code [+o Ogredude] by ChanServ
14:20
< AnnoDomini>
Almost done inserting...
14:30
< RchrdB>
If you have a target for write speed too, then tming inserting 1e6 rows could also tell you if you have *too many* indexes. :)
14:32
< RchrdB>
*timing
14:33
<@iospace>
oh son of a bitch
14:33
< RchrdB>
Yes?
14:33
<@iospace>
The wrong script got implemented yesterday >_<
14:33
< RchrdB>
iospace: present, can I help you/
14:35 macdjord [macdjord@Nightstar-r9vt2h.mc.videotron.ca] has quit [Ping timeout: 121 seconds]
14:36 Ogredude [quassel@Nightstar-dm1jvh.projectzenonline.com] has quit [Ping timeout: 121 seconds]
14:37 Ogredude [quassel@Nightstar-dm1jvh.projectzenonline.com] has joined #code
14:37 mode/#code [+o Ogredude] by ChanServ
14:46 Checkmate [Z@Nightstar-484uip.cust.comxnet.dk] has quit [Ping timeout: 121 seconds]
15:00 Thalass is now known as Thalass|boom
15:01
<@gnolam>
It works! I can't believe it! And they said imitation spectrophotometers weren't good enough...
15:18
<@gnolam>
Hmm. Everything is a bit blue though.
15:20
<@gnolam>
... but I'm getting the same blueness in other programs, so it's probably not my fault.
15:21 * gnolam puts it down to the age and condition of the instrument, moves on.
15:29
<@TheWatcher>
Maybe the instrument just needs cheering up?
15:30
<@gnolam>
... boo
15:30
<@gnolam>
Here I was thinking it was because the samples were coming at me at relativistic speeds.
15:30
<@TheWatcher>
That sounds a bit shifty to me.
15:31
<@gnolam>
Probably the work of my evil dopplerganger.
15:42 Thalass|boom is now known as Thalass
16:10 * Tarinaky_ swears profusely at regression errors of doom.
16:53 grindhold_ [quassel@Nightstar-0ona3l.cyan.servdiscount-customer.com] has quit [Ping timeout: 121 seconds]
17:07 Ogredude [quassel@Nightstar-dm1jvh.projectzenonline.com] has quit [Ping timeout: 121 seconds]
17:07 Ogredude [quassel@Nightstar-dm1jvh.projectzenonline.com] has joined #code
17:07 mode/#code [+o Ogredude] by ChanServ
17:36 Ogredude [quassel@Nightstar-dm1jvh.projectzenonline.com] has quit [Ping timeout: 121 seconds]
17:37 Ogredude [quassel@Nightstar-dm1jvh.projectzenonline.com] has joined #code
17:37 mode/#code [+o Ogredude] by ChanServ
17:50 Tsuri [Tsuri@Nightstar-nfd.rgo.82.41.IP] has joined #code
18:14 AnnoDomini [abudhabi@Nightstar-7nkq9k.de] has quit [Connection closed]
18:21 Ogredude [quassel@Nightstar-dm1jvh.projectzenonline.com] has quit [Ping timeout: 121 seconds]
18:22 Ogredude [quassel@Nightstar-dm1jvh.projectzenonline.com] has joined #code
18:22 mode/#code [+o Ogredude] by ChanServ
18:36 abudhabi [abudhabi@Nightstar-7nkq9k.de] has joined #code
19:20 Derakon[AFK] [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Ping timeout: 121 seconds]
19:44 Kindamoody|out is now known as Kindamoody
19:51
< RchrdB>
Golfing code to make it fit in a tweet is so exceedingly bad for the soul.
19:51 Derakon_ [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
20:23
< simon_>
hehe
20:37 Ogredude [quassel@Nightstar-dm1jvh.projectzenonline.com] has quit [Ping timeout: 121 seconds]
20:38 Ogredude [quassel@Nightstar-dm1jvh.projectzenonline.com] has joined #code
20:38 mode/#code [+o Ogredude] by ChanServ
20:56 Derakon_ [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Ping timeout: 121 seconds]
20:58 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
20:58 mode/#code [+ao Derakon Derakon] by ChanServ
21:02 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Connection closed]
21:02 chriswei__ [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
21:05 RchrdB [RichardB@Nightstar-v5j366.understood.systems] has quit [[NS] Quit: WeeChat 1.0.1]
21:06 RchrdB [RichardB@Nightstar-v5j366.understood.systems] has joined #code
21:07 chriswei__ [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Ping timeout: 121 seconds]
21:13 Tsuri [Tsuri@Nightstar-nfd.rgo.82.41.IP] has quit [Connection reset by peer]
21:13 Tsuri [Tsuri@Nightstar-nfd.rgo.82.41.IP] has joined #code
21:14 Tsuri [Tsuri@Nightstar-nfd.rgo.82.41.IP] has quit [[NS] Quit: ]
21:17 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
21:17 mode/#code [+ao Derakon Derakon] by ChanServ
21:19 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Operation timed out]
21:19 Derakon_ [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
21:24 Derakon_ [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Connection closed]
21:25 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
21:25 mode/#code [+ao Derakon Derakon] by ChanServ
21:30 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Ping timeout: 121 seconds]
21:31 Derakon_ [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
21:33 Derakon_ [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Operation timed out]
21:45 himi [fow035@Nightstar-v37cpe.internode.on.net] has joined #code
21:45 mode/#code [+o himi] by ChanServ
21:45 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
21:45 mode/#code [+ao Derakon Derakon] by ChanServ
21:50 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Ping timeout: 121 seconds]
21:52 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
21:52 mode/#code [+ao Derakon Derakon] by ChanServ
21:56 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Operation timed out]
22:04 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
22:04 mode/#code [+ao Derakon Derakon] by ChanServ
22:11 Derakon_ [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
22:11 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Connection closed]
22:15 * TheWatcher ughs as he tries to get his head back into code he last worked on in September last year
22:16 Irssi: #code: Total of 37 nicks [16 ops, 0 halfops, 0 voices, 21 normal]
22:16 Derakon_ [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Ping timeout: 121 seconds]
22:16 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
22:16 mode/#code [+ao Derakon Derakon] by ChanServ
22:20 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Connection closed]
22:20 Derakon_ [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
22:25 Derakon_ [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Ping timeout: 121 seconds]
22:27 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
22:27 mode/#code [+ao Derakon Derakon] by ChanServ
22:31 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Ping timeout: 121 seconds]
22:38 JustBob [justbob@Nightstar.Customer.Dissatisfaction.Administrator] has quit [Ping timeout: 121 seconds]
22:40 JustBob [justbob@ServerAdministrator.Nightstar.Net] has joined #code
22:40 mode/#code [+o JustBob] by ChanServ
22:43 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
22:43 mode/#code [+ao Derakon Derakon] by ChanServ
22:47 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Ping timeout: 121 seconds]
22:48 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
22:48 mode/#code [+ao Derakon Derakon] by ChanServ
22:50 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Connection closed]
22:55 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
22:55 mode/#code [+ao Derakon Derakon] by ChanServ
23:02 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Connection closed]
23:02 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
23:02 mode/#code [+ao Derakon Derakon] by ChanServ
23:05 Derakon_ [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
23:06 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Ping timeout: 121 seconds]
23:09 Derakon_ [chriswei@Nightstar-5fqf0m.ca.comcast.net] has quit [Ping timeout: 121 seconds]
23:13 Derakon [chriswei@Nightstar-5fqf0m.ca.comcast.net] has joined #code
23:13 mode/#code [+ao Derakon Derakon] by ChanServ
23:13 * TheWatcher applies duct tape to Derakon
23:17
<@TheWatcher>
Also, ffff. I had to go and /not/ document this very specific, complicated bit
23:20
<&McMartin>
You should always comment such sections with /* HA HA HA */
23:20
<@TheWatcher>
// Figure this out, future self, you fucker.
23:20
< JBeshir>
My favourite comment I ran into, in production code, was simply this:
23:20
< JBeshir>
// The code used to be here
23:21
< JBeshir>
I asked the only possible person who could have put it there what it meant.
23:21
< JBeshir>
They didn't remember.
23:21
< [R]>
JBeshir: such as function doAllTheWork() { /* The code used to be here */ }
23:21
< JBeshir>
It was in the middle of a 200 line function doing about 20 things.
23:21
< JBeshir>
(I think that function is dead now)
23:21
< JBeshir>
(If not, it's at least a lot less big)
23:33 Kindamoody is now known as Kindamoody[zZz]
23:43 orth [orthianz@Nightstar-6rq.n2t.148.118.IP] has joined #code
--- Log closed Thu Feb 26 00:00:37 2015
code logs -> 2015 -> Wed, 25 Feb 2015< code.20150224.log - code.20150226.log >

[ Latest log file ]