On Thu, 20 Sep 2012, Stephen Pollei wrote:
> If it says it might be prime it's
> about a 50% 50% split if it's correct.
According to Wolfram, it's 75/25; so a positive result after 10 iterations
leaves about a one-in-a-million chance of being composite (more precisely,
one in 1048576).
> multi me
On Tue, 31 Mar 2009, Jon Lang wrote:
> Another issue: what happens if conditional code mutates a junction
> that it filtered? For example:
>
> $x = any (-5 .. 5);
> if $x > 0 { $x++ };
>
> At this point, which of the following does $x equal?
>
> any(-4 .. 6) # the original junction get
On Mon, 30 Mar 2009, Mark J. Reed wrote:
> > ( $a <= any(-1,+1) <= $b ) == ( $a <= any(-1,+1) && any(-1,+1) <= $b
> > )
>
> Clearly, the RHS is true for $a == $b == 0, but I'm not sure the LHS
> shouldn't also be. Isn't it just syntactic sugar for the RHS?
I suspect not. Rather I think th
On Fri, 20 Feb 2009, Timothy S. Nelson wrote:
> On Thu, 19 Feb 2009, Martin D Kealey wrote:
> > Rather, let's have immutable time "values", and methods which return other
> > "values" where various computations (*1) have been applied. Provide
> > constructors which take the Y/M/D/h/m/s/dst_now/dst_
I wrote:
> > In the general case, if your language has both pure and impure
> > functions, proving (at compile time) that something is not impure is an
> > NP-complete problem.
On Mon, 16 Feb 2009, Mark Biggar wrote:
> Worse it's equivalent to the halting problem (I.e., not solvable).
Quite corre
On Sun, 6 Aug 2006, chromatic wrote:
> If my code depends on the undefinedness of certain symbols, and those symbols
> may or may not appear in some namespace somewhere due to something totally
> unrelated to my code, I have a problem.
Ah. I thought we were considering the namespace which the lang
On Sun, 6 Aug 2006, chromatic wrote:
> > Any reason to treat HLL namespaces differently from classes, at
> > least in respect of being an inheritance hierachy?
> Preventative measures against future additions to 'parrot' breaking
> your code without your knowledge. It's the same reason many langu
