Adam Sampson's maths bookmarkshttps://bookmarks.offog.org/ats/mathsAdam Sampson2018-10-30T13:47:11Zdivcnst.dvi - divcnst-pldi94.pdfhttps://bookmarks.offog.org/edit?url=https%3A%2F%2Fgmplib.org%2F%7Etege%2Fdivcnst-pldi94.pdf2018-10-30T13:47:11ZThe paper that the RISC-V manual refers to on simulating integer division using integer multiplication.spigot: a command-line exact real calculatorhttps://bookmarks.offog.org/edit?url=https%3A%2F%2Fwww.chiark.greenend.org.uk%2F%7Esgtatham%2Fspigot%2F2017-12-10T15:14:10ZA calculator which "does not output any digit of the answer until it's sure that the digit is right, and it will keep generating digits until you tell it to stop." Which means it's great if you're after pi, but struggles with numbers like 0.Ways to implement computer algebra compactlyhttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fdl.acm.org%2Fcitation.cfm%3Fid%3D2110170.21101842016-03-01T23:07:37ZHow to write a very, very small computer algebra system. From the author of "Derive", "muMath", "Calculus Demon" and other pioneering examples of fitting very complicated things into tiny spaces.Theorem of the Dayhttps://bookmarks.offog.org/edit?url=http%3A%2F%2Ftheoremoftheday.org%2F2015-10-24T23:19:02ZAs it says. Some nice visualisations.Moonstick Co. - manual visual calculators for astronomy, timekeeping, and computationhttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fwww.moonstick.com%2F2015-06-29T20:47:01ZMakers of a range of slide rules and related devices, with copious explanation. Neat!Dr James B. Calverthttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fmysite.du.edu%2F%7Ejcalvert%2F2015-01-18T01:26:31ZA site about... everything. I think I got here via the comprehensive section on railway signalling, then got sucked into the tutorial on ancient Greek and the history of the telegraph.36-350, Statistical Computing, Fall 2013https://bookmarks.offog.org/edit?url=http%3A%2F%2Fwww.stat.cmu.edu%2F%7Ecshalizi%2Fstatcomp%2F13%2F2014-10-03T15:48:30ZProgramming course for people who know some statistics already.Floating Point Determinism - gafferongames.comhttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fgafferongames.com%2Fnetworking-for-game-programmers%2Ffloating-point-determinism%2F2014-10-03T15:45:02ZThis has some interesting comments from game developers on techniques for making FP deterministic.HAL :: [hal-00128124, version 5] The pitfalls of verifying floating-point computationshttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fhal.archives-ouvertes.fr%2Fhal-00128124%2Fen%2F2014-10-03T15:03:42ZLengthy study of what can go wrong with FP.Dropping In on Gottfried Leibniz—Stephen Wolfram Bloghttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fblog.stephenwolfram.com%2F2013%2F05%2Fdropping-in-on-gottfried-leibniz%2F2014-07-10T14:20:50ZA nice overview of Leibniz's contributions to computational thinking, with many photos of his notes.About - Project Eulerhttps://bookmarks.offog.org/edit?url=https%3A%2F%2Fprojecteuler.net%2F2014-04-28T13:52:08ZA graded series of maths problems for programmers to try out. Students looking for some programming problems might like to try this.