Posts

About Logic Interview with Urs Schreiber

Image
See  Assumptions of Physics - Symplectic Group and Uncertainty .  Subscribe to  About Logic .  Lawvere on the Dialectic of the Continuous and Discrete. Talk given at Nancy, France 26-29 July 2011. See Lawvere's 1966  The Category of Categories as a Foundation for Mathematics .  See Lawvere's  Cohesive Toposes and Cantor's 'iaufcer Einsen'  ( cf.  my "vague inkling" about cardinality in Frederic Schuller on Metric and Topological Spaces ) and  cohesive topos in nlab .  16:57 On structures and cohesion, with Lie groups as an example. See Anthony Bordg and Nicolò Cavalleri  Elements of Differential Geometry in Lean .  1:03:12 On applications to dynamical theory. See  Toposes of laws of motion in nlab  and this transcript of a 1997 lecture given in Montreal. 1:08:54  He goes back to talking about Frege and the idea, from correspondence with Peano, that certain atomic subsets have properties.  Subscribe t...

Global Economic Shitfuckery

Image
It can't go on like this folks. It doesn't matter if you're American, Chinese, Russian, whatever, you cannot have responsible Government if it depends upon the same money that thieves pass around amongst themselves.   See  https://www.patreon.com/michaelhudson  and  https://www.patreon.com/cw/LenaPetrova . Subscribe to Lena Petrova . 

Assumptions of Physics - Symplectic Group and Uncertainty

Image
This was on Saturday: see  Coordinate invariant measures/entropy . It's such a shame that the well-established experts can't talk about these things , because they're much more interesting than the stuff you read in textbooks. See  Frederic Schuller on Metric and Topological Spaces .  Subscribe to  Assumptions of Physics Research . See also  Entropy is not continuous in standard probability spaces .  Subscribe to Gabriele Carcassi . 

Wi-Wi 900 MHz Radio-synced Oscillators

Image
They can do position measurements with millimetre accuracy. So you will soon have surveillance cameras that can recreate 3D representations. You will also have very good sound systems for public spaces. Subscribe to Leve l2 Jeff .

Curious Marc at VCF Montreal

Image
See  Curious Marc - Apollo Comms . 1:25:00 Question about ISS frequencies: see  Curious Marc Fixing a US$33,000 HP 3GHz Signal Generator he Bought for US$150   Subscribe to Vintage Computer Federation .

Afshin Rattansi Interviewing Prof. Avi Shlaim

Image
Subscribe to  Afshin Rattansi's Going Underground .

Laura Pausini & Camila Cabello - Vivime (Live in Miami, May 16)

Image
Happy birthday Laura!!!   Subscribe to  Laura Pausini  y Camila Cabello .

Yoann Padioleau - Principia Softwarica: Plan 9 Code Explained

Image
  3:08 He's right, but once you know all that you should also be able to work out that most of it is needed only because the other bits are there, and there is no way that all that cruft should be running "in production". See  Artful Bytes - When to Use a RTOS . Subscribe to Plan 9 Foundation .

How to Create a Successful Open Source Project

Image
Subscribe to  FUTO .  If you're American you can build a 200TB NAS for your photos and backups out of trash you probably have lying around the house: Maybe FUTO will sponsor a project that allows you to contract out to be offsite backup for your friends.  Subscribe to  Level1Techs .  Or you can start downloading the whole web for your personal use,... Subscribe to  TechHut .