The Eternal Doorman

13:13 How do you define volume in an infinite dimensional phase space on a finite whiteboard ?  1:05:39 I enjoyed listening to this discussion. Thanks to everyone who took part.  I was thinking about causal sets as modeling those second countable collections of empirically verifiable statements. That may not be how Sorkin sees it though! See  Geometry from order: causal sets .  Subscribe to  Assumptions of Physics .  See also this discussion with Urs Schreiber on Gauge fields and configuration spaces at 44:33 . The earlier discussion he referred to on differential geometry and compact spaces is at 17:05 . He's saying that you do not want to restrict physics to describing only compact spaces. But you do want to restrict observations to compact spaces. At 26:03 you can get a coherent notion of field configuration spaces in a topos. 35:10 Lawvere started out in physics, but then he asked "What is a vector space, really?" and within a decade wrote a paper...

It does configuration by WebUSB to download the firmware onto the modules, but I'm sure that's all encrypted too. See  Ian Clarke Answering Questions About Freenet  and  Wi-Wi 900 MHz Radio-synced Oscillators  so that you can use a distributed computation to authenticate messages. See  Ian Clarke on Freenet .  Subscribe to  Taylor and Amy Show .  Tomaz has made a 10Gb/s router and fiber optic cable is pretty cheap: from 10 cents per meter. So you are all set to help each other with offsite backups now: see How to Create a Successful Open Source Project FUTO - Immich Demonstration and Technical Talk FUTO FUBS Subscribe to  Tomaž Zaman .

Duality is not just good, it's the good!   Codensity monads  though,... See William Lawvere's remarks on the semi-lattice construction of Set in  About Logic Interview with Urs Schreiber .  52:21 In case you're like me and don't remember what an ultrafilter  on a set is: Filters are dual to ideals .  Subscribe to  Topos Institute .  Daniela Petrisan - Operations on languages and Codensity monads Talk given at  Simons Institute in November 2016: Given some operation on languages, a natural question to ask is what is the corresponding operation at the level of recognisers. For example, the concatenation of two languages recognized by monoids M and N, respectively, is recognized by the Schutzenberger product of M and N....  See  The Schützenberger product for syntactic spaces  by Mai Gehrke, Daniela Petrisan and Luca Reggio.  See also  https://www.irif.fr/~petrisan/  and  The Vietoris monad and weak distrib...

Using LLVM IR:  https://github.com/SheafificationOfG/QueenJewels . He did another one about groupoid models but it has lots of annoying video clips which make it a bit hard to follow, but it's still interesting.  Here's the one on equality, which you might want to watch first:  But you might want to watch this one first: See  About Logic Interview with Urs Schreiber  and  Vladimir Voevodsky - What if Current Foundations of Mathematics are Inconsistent .  Subscribe to  Sheafification of G . 

This gives a far better idea of the background to the problems that lead to the current situation. See  Amilcar Zenteno on Some of What's Happened in Bolivia Since the General Election Last Year .  Subscribe to  Gonzalo Chavez Alvarez . 

Talk given at the Institute of Advanced Studies at Princeton in 2010. It's good that some people were allowed to talk about this. See  About Logic Interview with Urs Schreiber  and in particular Lawvere's  Cohesive Toposes and Cantor's 'iaufcer Einsen' .  The answer is to use a plurality of formal systems and a plurality of formal translations between those systems. Then the provable sentences are not vulnerable to such accidental coincidences of interpretation which are constructed by diagonalisations such the Gödel sentences. This is just a greatest fixpoint. Unfortunately it depends upon mathematicians and logicians actually speaking to one another.  See  An Excellent Talk about Computability and Hilbert's Entscheidungsproblem .  Subscribe to  Institute of Advanced Studies .  Talk at the he IMU in September 2016, a year before he died.  "... it came out, as a result of practical work on formalization we just discovered that the law o...

It's a balanced summary of information and a lot better than most of the so-called reporting I've seen so far. Subscribe to  10Centavos . 

I don't understand why they need to do this. Get it in-print:  https://membership.theonion.com/ . Subscribe to The Onion . 

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 .