wbhart

35 ms·

241.
by wbhart 11y ago
Yeah I watched one of the recent vids where they presented the latest on WebAsm and I came to the same conclusion. I imagine it is worth looking into and interacting with those guys so that Julia isn't overlooked by them for the time b
242.
by wbhart 11y ago
I personally think Julia is technologically superior to a number of popular languages, with a voracious appetite for even more smarts. But you are right that this isn't necessarily enough. Based on what I've seen so far, I think J
243.
by wbhart 11y ago
I think it will be interesting to see what happens with WebAsm. If Julia targets this at some point (it is based on LLVM, so there is a chance of this), then I think it will start to look quite attractive for various use cases that it isn&#
244.
by wbhart 11y ago
In fact every integer k is the sum of nine cubes, and every multiple of 6 is the sum of four cubes. Your equation is just the equation x^3 + y^3 + (-z)^3 + w^3 = 6k where k = 0. The more general problem is known as Waring's problem. Fo
245.
by wbhart 11y ago
They certainly were. Bruce Berndt is one example of a mathematician who has spent an entire career proving the results found in Ramanujan's notebooks. He has written a number of very thick books showing methods of proof for all his res
246.
by wbhart 11y ago
You can use a Baillie-PSW test to efficiently test numbers for probable primality. There are currently no known counterexamples for this algorithm, so it gives a modest degree of certainty. However, Pari-GP has an APR-CL implementation, or
247.
by wbhart 11y ago
In Chrome, the minute hand didn't move anywhere near 10 minutes worth over 10 minutes of watching the mechanism. Are the gear mechanisms designed to accurately reproduce a real hour/minute clock, or is it just intended to be an ex
248.
Julia v0.4.0 Release Notes(github.com)
6 points by wbhart 11y ago|0 comments
249.
by wbhart 11y ago
I modified the description of the second benchmark to be a little clearer. I can see why you were wondering about Kronecker segmentation. By "univariate" we simply meant generic univariate rings, over other generic univariate ring
250.
by wbhart 11y ago
As another comparison, on a 3.1GHz Opteron 4386 we get 33s for the first benchmark. I'm told this is not particularly modern either, but it's at least a bit closer to what you were using.
251.
by wbhart 11y ago
It can certainly be done much faster, even on that CPU. We'll eventually get around to that. We have a lot of generic matrix stuff missing at present though, so that's the priority for now. There's also things like Puiseux se
252.
by wbhart 11y ago
I used to think Pari used recursive dense too, but I've recently been informed it is more of a recursive sparse format. This is essentially the same thing except that they have special zero objects in every polynomial ring, so that the
253.
by wbhart 11y ago
Avoiding dependent types wasn't due to a problem in Julia. Proper dependent types are essentially not something you want to mix with Jit compilation due to undecidability, at least not if you want to use bignums in your dependent value
254.
by wbhart 11y ago
As for your second question, do you mean how do you define algebraic number fields in Nemo, or in Pari/GP? For Nemo we document it in the Antic fields section of the manual.
255.
by wbhart 11y ago
Pari is not used for elements of algebraic number fields. We use Antic for that. I should point out we actually spent some time speeding up that particular benchmark. The others are much more raw. Having said that, we have an even faster wa
256.
by wbhart 11y ago
Just out of curiosity I tried adding a couple of lines of code to Nemo to force it to use its mul_ks for the first benchmark. This was actually way slower. I didn't look into why. That first benchmark is pretty dense, so it's not
257.
by wbhart 11y ago
I think the Julia people were right to remove "dependent" from the docs. Nowadays I say that Julia has a limited form of static dependent typing, which is to say it doesn't have dependent typing. When we first wrote Nemo in J
258.
by wbhart 11y ago
It was on a single core of an Opteron K10 6174 at 2.2GHz. I'm not sure what you mean by KS on the input. Nemo doesn't use KS on that benchmark (except possibly in Flint for the lowest level). This is comparable to what the other s
259.
by wbhart 11y ago
There's a little bit more information in Fredrik J's blog post: http://fredrikj.net/blog/2015/09/finding-nemo/
260.
by wbhart 11y ago
Is there any chance of doing DNA analysis on 3 million year old (presumably fossilised) bones? If in fact that is how old they are.
261.
by wbhart 11y ago
The domain name appears to be an anagram of Sony Pure Crime.
262.
by wbhart 11y ago
On the other hand, if by "specific group" you mean the algebraists who happen to use computers in their research, then yes, increasing the availability of Magma may help them to do better research, which may in turn increase their
263.
by wbhart 11y ago
One of the guiding principles of the academy is academic freedom, i.e. the freedom to pursue research in a free and protected way. So academics aren't inclined to embrace "control mechanisms". Prestige is the concentration of
264.
by wbhart 11y ago
Sagemath is a gargantuan project with hundreds of contributors from all over the world and tens of thousands of users. In fact, I suspect it is one of the largest open source projects out there. It is not in any danger of dying because &quo
265.
by wbhart 11y ago
I tried just that: "your work is simply not engendering confidence. If I were working for a sewerage works I'd recommend you for promotion, since what you are producing is more of the proverbial. By Friday things will have improve
266.
by wbhart 11y ago
The proof starts with two of the "string-art" lines, a line L1 (line Q'R' in the video) with parameter s and a line L2 (line QR in the video) with parameter t, and computes the intersection point P of these two lines. Ke
267.
by wbhart 11y ago
I just watched the first two sequences of videos and so far they have shown how to compute midpoints of lines and how to compute the coordinates of points on parabolic arcs given three arbitrary control points, including how to prove the id
268.
by wbhart 11y ago
Competence is certainly an important factor. Smaller economies are less able to spy competently. However, incompetent spycraft can become much more invasive, since you know it is happening and it affects you more noticeably.
269.
by wbhart 11y ago
In my opinion, all that is happening with these "anti-privacy laws" is that very old spying practices are becoming codified in law. Nothing will actually change. The spying is already happening, and has been for a long time.
270.
by wbhart 11y ago
It's odd to see the Netherlands referred to as previously being privacy conscious. Back in the mid 2000's I recall looking in the CIA Factbook and noting that the Netherlands intercepted more telephone calls and did more internet

More ›