Add WebKit bug to use a better PRNG

kgryte · kgryte · commit 573513811dac · 2016-11-27T15:02:02.000-08:00
diff --git a/docs/native_math_bugs.md b/docs/native_math_bugs.md
@@ -39,9 +39,9 @@
 * [V8 `Math.round` accuracy][@bug:v8:958]
 * [Observability of distinguishable NaNs][@bug:esdiscuss:2013-03-20]
 * [After 10 years, Mozilla updates `Math.random`][@bug:mozilla:322529]
+* [WebKit bug to use a better PRNG][@bug:webkit:151641]
 
 
-* [Webkit bug to use a better PRNG][25]
 * [Mobile Safari 32bit Math bug][26]
 * [Mozilla optimizations break commutativity][27]
 * [Mozilla debate on speed versus precision][28]
@@ -96,14 +96,14 @@
 [@bug:v8:958]: https://bugs.chromium.org/p/v8/issues/detail?id=958
 [@bug:esdiscuss:2013-03-20]: https://esdiscuss.org/topic/observability-of-nan-distinctions-is-this-a-concern
 [@bug:mozilla:322529]: https://bugzilla.mozilla.org/show_bug.cgi?id=322529
+[@bug:webkit:151641]: https://bugs.webkit.org/show_bug.cgi?id=151641
 
 
 [v8-issue-tracker]: https://bugs.chromium.org/p/v8/issues/list?can=1&q=math&colspec=ID%20Type%20Status%20Priority%20Owner%20Summary%20HW%20OS%20Component%20Stars&num=100&start=100
 [webkit-issue-tracker]: https://bugs.webkit.org/buglist.cgi?quicksearch=math
 [mozilla-issue-tracker]: https://bugzilla.mozilla.org/buglist.cgi?quicksearch=math
 
 
-[25]: https://bugs.webkit.org/show_bug.cgi?id=151641
 [26]: https://bugs.webkit.org/show_bug.cgi?id=40367
 [27]: https://bugzilla.mozilla.org/show_bug.cgi?id=969203#c8
 [28]: https://bugzilla.mozilla.org/show_bug.cgi?id=967709
diff --git a/docs/references/bugs.bib b/docs/references/bugs.bib
@@ -301,10 +301,19 @@ @misc{bug:esdiscuss:2013-03-20
 
 @misc{bug:mozilla:322529,
 	abstract = {},
-	keywords = {math, firefox, mozilla, chrome, random, rand},
+	keywords = {math, firefox, mozilla, random, rand},
 	notes = {},
 	title = {{Upgrade Math.random() to the better XorShift128+ algorithm}},
 	url = {https://bugzilla.mozilla.org/show_bug.cgi?id=322529},
 	year = {2006}
 }
 
+@misc{bug:webkit:151641,
+	abstract = {The GameRand-based RNG Safari/JSC uses is very weak. Furthermore, it only uses 32 bits of precision. I blogged about this here: http://jandemooij.nl/blog/2015/11/27/math-random-and-32-bit-precision/. V8 moved to a better RNG and we're switching the one in SpiderMonkey as well. JSC should probably do the same.},
+	keywords = {math, webkit, safari, random, rand},
+	notes = {See also https://jandemooij.nl/blog/2015/11/27/math-random-and-32-bit-precision/.},
+	title = {{Use a better RNG for Math.random()}},
+	url = {https://bugs.webkit.org/show_bug.cgi?id=151641},
+	year = {2015}
+}
+
