There's a story about this spiral way of writing the whole numbers. I think it's called "the Ulam spiral" after a guy called Stanislaw Ulam who was sitting a math lecture one day, and it was a bit boring, so he wasn't really listening. He just started with your first spiral of the numbers 1,2,3,4,5,... going around the central point and spiraling outwards. Then he shaded in the prime numbers and he noticed something, which is that there were several diagonal lines on a kind of diamond-shaped grid pattern, which had far more primes on them than all the others. So he wrote down a recursive formula for those lines and they allowed him to find a lot of prime numbers very quickly, because the prime numbers were more dense on those lines than they are on the number line. Check "Ulam spiral" on Wikipedia to see some computer drawings. There's also a version with a triangular spiral with vertical lines of primes that was discovered earlier. And there are hexagonal ones too.
A derivative is linearisation, and differential calculus is essentially linear algebra, ... See Freya Holmér - Why Can't You Multiply Vectors? and Freya Holmér on Continuity of Splines . See also the MIT OCW page: Matrix Calculus For Machine Learning And Beyond (Alan Edelman, Steven G. Johnson) Subscribe to The Julia Programming Language . Alan Edelman talking about expressing mathematics as computer code. The idea is that you can use computer languages to communicate mathematical ideas precisely to other people. See my comments about functional programming languages here: https://prooftoys.org/ian-grant/hm/ Subscribe to TEDx Talks .
Listening to Freya Holmér last night I started to get glimmers of an idea I had long ago about how to represent vector spaces in computational processes using this recursive abstract type : abstype 'a point = POINT of {getx : 'a vector, diff : 'a point -> 'a point, move : 'a point -> 'a point, scale : 'a -> 'a point, proj : 'a point -> 'a} with fun new i (op +) (op -) (op * ) dot = let fun self x = POINT {getx = x, move = fn (POINT pr) => (self (x + (#getx pr))), diff = fn (POINT pr) => self (x - (#getx pr)), scale = fn i => (self (x * i)), proj = fn (POINT pr) => ...
I think this is the first time they've actually publicly announced anything about this project. See these posts: Eron Woolf on Why Open Source is Failing Matt Mikhailov and Vincent McKibbon on The Problem with Open Hardware Jason Kridner talking About BeagleBoard.org and Software Development . See these places: https://danielc.dev/rk/ https://github.com/petabyt/rk https://github.com/futo-org/ret See also https://pine64.org/devices/pinebook_pro/ . Subscribe to FUTO . See https://github.com/nir9/low-level-learning-resources/tree/master/setups/debian . Subscribe to Nir Lichtman . If you're looking for a cool init process, try https://ctx.graphics/terminal/ . See Artful Bytes - When to Use a RTOS and How to Create a Successful Open Source Project .
Comments
Post a Comment