Curt Jaimungal talking to Ivette Fuentes and Roger Penrose About Experiments in Gravity and Quantum Physics
Get link
Facebook
X
Pinterest
Email
Other Apps
My Comments:
47:40 Roger Penrose says we see gravitational fields. Don't we infer those fields from observations we make of massive objects? And whatever apparatus we use to make these observations, whether that apparatus is our own eye, or maybe a flea's eye, then that apparatus must be located at some point and be in some definite state in order to make the inference possible. I just don't get the fuss about why we never see massive objects in superposition states. What would that even mean? Because of this cognitive disability of mine I find it impossible to make any sense of what most theoretical physicists say. 50:48 The "fact" that dark matter is most of the stuff in the Universe is another inference from exactly those observations of the behaviour of visible matter in gravitational fields. Most reasonable people, I think, would just conclude that we do not have a good model for the behaviour of visible matter at large scales. [a few hours later this appeared]
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