jpitz

62 ms·

271.
by jpitz 10y ago
It is appropriate that Lamport's tool is being used to prove the correctness to an improvement of Lamport's algorithm.
272.
by jpitz 10y ago
Lamport can probably claim to summarize it as well as anyone: http://research.microsoft.com/en-us/um/people/lamport/pubs/l...
273.
by jpitz 10y ago
You only need surround one character.
274.
by jpitz 10y ago
In all of the suburban and urban areas I've lived in and near, it has been the case. In the rural area I live now, my options are crappy satellite or expensive 4g. /anecdote
275.
by jpitz 10y ago
Because urban dwellers have choice when it comes to selecting an isp.
276.
by jpitz 10y ago
Riemann comes with collection clients as well
277.
by jpitz 10y ago
Yes but the documentation is still pretty spotty.
278.
by jpitz 10y ago
You'd need to store chilled water or something similar in order to do that....
279.
by jpitz 10y ago
Bytanzine - perturb return values. Perhaps looking at the kinds of transformations that mutation testing frameworks perform would be informative?
280.
by jpitz 10y ago
Yep, I've owned 2. Both used, both sold, in good running condition, when they were ten years old. Neither required expensive maintenance. Neither was in the shop, other than for an underbody shield which got damaged by debris. Anecdote
281.
by jpitz 10y ago
It lacks the ability to track changes, but BBQ http://browsebyquery.sourceforge.net/ can query JVM and CLR programs - and holy crap is that useful when you need it. Speaking of tracking changes at the method level, does any
282.
by jpitz 10y ago
Maybe this would help you: https://wiki.postgresql.org/wiki/PgNotificationHelper
283.
by jpitz 11y ago
For non-clustered indices, yes.
284.
by jpitz 11y ago
Can anyone who attended the course comment on the quality? This looks very promising to me.
285.
by jpitz 11y ago
Subclassing isn't evil. Subclassing which violates Liskov Substitution, now I'm listening.
286.
by jpitz 11y ago
EBS is certainly capable of implementing the shared storage that the database requires, and the quorum driver for wolfpack ought to implementable without a physical scsi device backing it.
287.
by jpitz 11y ago
They support Postgres, Microsoft SQL Server, Redshift, and Oracle I believe.
288.
by jpitz 11y ago
I'm talking about their continuing education requirement: > Patrol Officers are trained in the classroom and on the Police Department range. Officers attend 24 hours of instruction each year, according to standards and on topics set
289.
by jpitz 11y ago
They are mandated 24 hours of instruction per year. As a foster parent in Ohio, I was required to attend 40 hours of continuing education per year. 24 doesn't seem like much.
290.
by jpitz 11y ago
In the example for sf_proximity_count, you state the view covers a 5 minute sliding window, but the WHERE clause does not reference clock_timestamp(). Is 5 minutes an implicit default?
291.
by jpitz 11y ago
Generating capacity isn't the only concern. Distribution capacity is another issue. Thankfully, the vast majority of the projected 30% increase in consumption will not coincide with summertime peak ( air conditioning ) loads, but it ma
292.
by jpitz 11y ago
Hence "consumer-grade"
293.
by jpitz 11y ago
Power factor advantage in what way? I would think a large battery charging device would only lower a household's power factor.
294.
by jpitz 11y ago
You cant do that, without a large effort in music education or ensembles of all electronic instruments implementing this feature. Everyone else will be out of tune. Edit: you could do it, but you'd better implement it on a feedback sys
295.
by jpitz 12y ago
You may want to move Delphi out of the list of dynamically typed languages. It is just as strongly typed as C# or Java.
296.
by jpitz 12y ago
> My instinct here is to write the query in such a way that even if pg changes in the future, or if I migrate to an almost compatible alternative tomorrow, it should work the same way. I agree, but, to nitpick, if transaction semantics c
297.
by jpitz 12y ago
I have actually authored systems at big and small companies in: C# VB Pascal Java Python Ruby JavaScript My point was not that big companies don't use languages other than Java. My point was that the tired cliche of Java dominating at
298.
by jpitz 12y ago
Just because its tired, doesn't mean it isn't true.
299.
by jpitz 12y ago
The transaction is implict - in fact, I don't know of a way to do this outside the scope of a transaction. Is there?
300.
by jpitz 12y ago
Should be a transaction. I bet if you could a way to corrupt data on safe hardware with this query and a power-plug test, the pg developers would treat it as a high-priority bug.

More ›