The Eternal Doorman

The directors should be kicking themselves for not contracting these two as consultants:   Subscribe to Deepfocuslens . Subscribe to Karolina Żebrowska .

It's going to be a rough day tomorrow, ...   Subscribe to Marina del Pilar .

It cost them US$175,000 to make this. Subscribe to Luc Forsyth . Another interview she did: Subscribe to ScreenFish .

I still hear this here in Bolivia every few days,... It's the way the music business works it's not a government/industry psy-op. She filmed this herself on her phone:  See  Fredrik Nordvall Forsberg on Linear Logic .  Subscribe to  Gente Music .  She sang a song with Shakira in Madrid too,... Subscribe to Shakira . 

See Roche Biochemical Pathways - A legacy in scientific education . I used to work at the University of Cambridge Computer Laboratory, where it was my job to maintain the software on people's personal computers. In order to stay sane I spent most of my spare time at the gym or cycling. I used to have an A2 printout of this poster on my wall. I loved it because it was presented as a kind of circuit. You could imagine simulating cellular metabolism on a computer by modelling reaction rates, concentrations etc. in π-calculus and plotting the physical evolution of the system in terms of some series of, what? Graphs of concentrations, temperatures, and reaction-rates? But they would have to be spatially represented somehow, ... how would you do that? How would you know what these processes you had modelled were actually doing physically? When you think about it this way, you actually find that you are asking yourself "How did they produce this abstraction?" What materials did...

It's good to see it abbreviated like this because then you can go to Proofs and Types and get all the details and it makes a lot more sense. Corresponding to these choices of what rules to allow in sequent calculi there is set of type theories, but the whole scheme is not clear to me.  It's a generalisation of the Curry Howard correspondence. Maybe this is what  The algebras of graph rewriting by Nicolas Behr, Vincent Danos, Ilias Garnier and Tobias Heindel is about? See  Martin Elsman - Deriving a Kronecker-Free Functional Quantum Simulator . Also, Dana Scott thought Martín Escardó's work on predicative formalisations of mathematics (e.g. Predicative Aspects of Order Theory in Univalent Foundations by Tom de Jong and Martín Hötzel Escardó) was important because they're in some strong sense invariant under such transformations of the proof system. See  About Logic - Interview with Dana Scott . And what about the type schemes associated with concurrent contin...

Hordes of Israelis led by Narco Rubio.  Subscribe to Reason2Resist . 

My comment : Ideas are like chaff, I suppose.  Aristotle wrote something like "And thinking in itself deals with that which is best in itself, and that which is thinking in the fullest sense with that which is best in the fullest sense. And thought thinks on itself because it shares the nature of the object of thought; for it becomes an object of thought in coming into contact with and thinking its objects, so that thought and object of thought are the same. For that which is capable of receiving the object of thought, i.e. the essence, is thought. But it is active when it possesses this object. Therefore the possession rather than the receptivity is the divine element which thought seems to contain, and the act of contemplation is what is most pleasant and best." Aristotle probably wrote a lot more than this guy Dzogchen did but that's the idea he started with, I think. Solid chaff! 🙂 See  James Cussen interviewing Cognitive Neuroscientist Peter Tse . Subscribe to Saman...

It's interesting how he describes the origin of humanity's  technological urge : "It hasn't rained for a while, let's try throwing another baby into the volcano, ..." See his books  The Neural Basis of Free Will Criterial Causation  and  Free Imagination: The deep roots of creativity, freedom and meaning in the human brain and mind . 47:03 Interesting bit about neural correlates of intention and the ideas of Schopenhauer's The World as Will and Representation . 1:00:33 On sovereignty of imagination. The television documentary series  The Century of the Self  was a 2002 production for the BBC by Adam Curtis. It's crazy shit. The U.S. Department of Justice sued Standard Oil under the Sherman Act for running an illegal monopoly in 1906. In 1908, after Congress blocked the use of Secret Service agents to fight crime and corruption through financial investigation the FBI was set up . Then in 1910 "they" (who knows?) set up the Federal Reserve in...