Posts

Showing posts from October, 2023

Antoni Tolwinski - Rushing October (Short Film)

Image
See also  Antoni Tolwinski - Higher Venture: A Surrealistic Brick Film . Subscribe to Antoni Tolwinski .

Toby Reviewing Carlo Rovelli's New Book Called White Holes

Image
See  White Holes By Carlo Rovelli : Subscribe to Tibees .

Steven Johnson - So You Think You Know How to Take Derivatives?

Image
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 .

Some More Rambling on Order Theory and Logic

Image
See Some Rambling on Order Theory and Logic  yesterday. See Daniel Tubbenhauer's Magma in A Nutshell (#3) talk he posted yesterday. Then later in the afternoon: See the video description: ... the battery in my phone ran flat. I was going on to say that it was a conversation with Ebbe Ellsborg that was the reason I was thinking about morphisms and categories when I made this representation framework. See also these Wikipedia pages: Automorphism   Group automorphism Group isomorphism problem Automorphism group See John Baez's Octonions :  The Fano plane The [much simpler] Cayley-Dickson Construction On Automorphisms, see Hurwitz's Automorphisms Theorem   And that is the reason why the answer to Life, The Universe and Everything is 42 , according to Baez, and I believe him!

Some Rambling on Order Theory and Logic

Image
This is a followup to yesterday's rambling:  Freya Holmér - Why Can't You Multiply Vectors? See  The Life and Letters of Lewis Carroll  (just below the photograph of George Macdonald and his daughter Lilly ): In November he gave a lecture at a meeting of the Ashmolean Society on "Where does the Day begin?" The problem, which was one he was very fond of propounding, may be thus stated: If a man could travel round the world so fast that the sun would be always directly above his head, and if he were to start travelling at midday on Tuesday, then in twenty-four hours he would return to his original point of departure, and would find that the day was now called Wednesday—at what point of his journey would the day change its name? The difficulty of answering this apparently simple question has cast a gloom over many a pleasant party. See  Partially ordered group : In  abstract algebra , a  partially ordered group  is a  group  ( G , +) equipped wi...

Terry Davis on Reality

Image
Wow, this is a good one. What a man! See  Terry Davis - "What do you use Internet Explorer for?" Subscribe to lmao .

Freya Holmér - Why Can't You Multiply Vectors?

Image
Subscribe to Freya Holmér . See  Magma - Computer Algebra System  and  Mathologer on Volume, Area and Topology . Metamaths on Negative Numbers Metamaths on Complex Numbers Metamaths on Category Theory Subscribe to Metamaths . Norman Wildberger on Modern Mathematics Subscribe to Insights in Mathematics . Katherine Stange Rethinking The Real Line See  Farey sequences . Subscribe to Proof of Concept . Videos I made yesterday, before I saw Freya's talk last night. The two pages I wrote:  On Tarski's Definition of Truth "Convention-T" . I made this yesterday talking about the conditions under which I wrote that Hindley-Milner Type Inference tutorial  https://prooftoys.org/ian-grant/hm/ .

LadyAda on The Raspberry Pi 5

Image
She explains why the enormous development cost of the RP1 bridge is worthwhile for Raspberry Pi, ... But I'd still be interested to hear where the costs were. Maybe membership of the PCI consortium is pro rata in the number of units you're likely to sell? Then she explains how they had to update the software installation instructions on the many hundreds of projects they maintain. Debian changed the way the Python installer works. Now it won't allow system-wide python code libraries to be installed without using the official Debian package manager. She also shows how to to navigate the half a million plus connectors listed on the DigiKey website, ... OMG, what an industry! Subscribe to Adafruit and see  https://www.adafruit.com/ .

YouTube Community Guidelines Strike

This is about the nude video I made which YouTube "removed", but which I can review as I do my training in art and nudity. But there's a problem, ... Subscribe to My Rumble Channel .

YouTube Community Guidelines

Image
A couple of weeks ago they banned me from making comments for 12 hours because I had put too many links in my video descriptions. I guess this was their problem: That's, in one month, 10% of all the views in total over the past three years: But I wonder what it was people were looking at? These are the most popular posts on my blog over this period:

Eric Broug and Mohamad Aljanabi - Some Tilings in Islamic Art

Image
See  Chris Ford - Birdsong as Code . Subscribe to TED Ed . Constructing The Four Fold Geometric Patterns Correctly – Using the Traditional Method Constructing The Six Fold Pattern From Al Mustansiriya Madrasah in Baghdad Subscribe to  Mohamad Aljanabi .

Chris Ford - Birdsong as Code

Image
Zoomusicology (and musicology in general) studied by programming. See  Eric Broug - Some Tilings in Islamic Art . Subscribe to Strange Loop .

character in a crime drama who has something to hide

Image
She's great, isn't she?  Subscribe to gdiddlydog .

Terry Davis - "What do you use Internet Explorer for?"

Image
I should have mentioned  TempleOS in this post yesterday:  Devine Lu Linvega - An Approach to Computing and Sustainability Inspired from Permaculture . Subscribe to  @Davisanism . Terry Davis when he was homeless. He didn't hold elephants in particularly high esteem though: See  Terry A. Davis (December 15, 1969 – August 11, 2018)

Natalie Merchant - Sister Tilly (Official Video)

Image
It's dedicated to Joan Didion  (December 5, 1934 – December 23, 2021). Natalie Merchant is coming to London soon: November 3, 2023. Tickets still available . I can't afford it, but I might hang around and see if I can get a photo of her. Subscribe to  Natalie Merchant .

Mathologer on Volume, Area and Topology

Image
I found this very thought-provoking. There's a Brilliant course Calculus in A Nutshell , I think, which gives the traditional "rigourous" treatment of this. This video makes a great accompaniment. Subscribe to Mathologer . See  Aristotle on The Continuum : Aristotle's so-called "Minor Works" though most often attributed to people other than Aristotle himself, are all very interesting. See  Aristotle Minor Works - On Colours - On Things Heard - Physiognomics - On Plants - On Marvellous Things Heard - Mechanical Problems - On Indivisible Lines - The Situations and Names of  Winds - On Melissus, Xenophanes and Gorgias .

Letter From Bob Blackman, MP for Harrow East

Image
See  Andrew Bridgen MP on Trends in Excess Deaths : This is the reality TV version of "Yes, Minister". Fucking hilarious, isn't it?

Devine Lu Linvega - An Approach to Computing and Sustainability Inspired from Permaculture

Image
This is really, really interesting. There's a lot here, not just for vintage software buffs. Goes back to Alan Kay ( Smalltalk and The cuneiform tablets of 2015  available from https://archive.org/details/tr2015004_cuneiform ). "Smalltalk was made portable by having each “bag of bits,” called an “image,” that constituted an entire system also carry the microcode for each machine Smalltalk was to run on El . When an image was brought to a particular machine, the appropriate microcode was extracted and executed to create a Smalltalk virtual machine. All the rest of the “bag of bits” was completely machine independent." Even relatively modern systems like Moscow ML end up shipping compiled bytecode with the source. Kay continues: " This led to the somewhat interesting conclusion that one could store media as a “process” if the system that created it were carried along, and if the “microcode” for the system were also supplied. " and " Furthermore, if the “micr...

Cecilia Blomdahl - We Boarded a Ship to The Mainland (Svalbard ➡️ Tromsø, Northern Norway)

Image
Jonna Jinton recommended this: Subscribe to Cecilia Blomdahl .

Systems and Fungal Integration

Image
It was just a joke, but maybe there's some truth in it. See  After Skool - PANSPERMIA - Did Life Begin on Earth? Are Mushrooms USING US to Get to Space? These are some thoughts I had on computer architecture whilst looking at fungi in the woods here in North London. The discussion I refer to is this one:  Raspberry Pi - Introducing RP1: The silicon driving Raspberry Pi 5, designed in-house at Raspberry Pi . Web Of Life Trailer: Subscribe to Merlin Sheldrake . And a followup a few days later, ... See also  Talking About Computation  and  Prativha Raut on Natural Intelligence . Some thoughts after I first posted this:

Prativha Raut on Natural Intelligence

Image
She used to call her channel Himalayan Heretic. The last I heard from her was when I was still in Costa Rica in 2021. See  Himalayan Heretic on The Kogi Worldview . Subscribe to Prativha Raut . Aluna The Movie Subscribe to Aluna The Movie . The really strange thing about this documentary is that it doesn't once mention coca. See  Talking About Computation .

Andreas Spiess on LoRa and Meshtastic

Image
See  https://austinmesh.org/  for an example of an area network. Subscribe to The Guy With A Swiss Accent . LoRa Nodes ith Arduino and Pi Pico boards: Subscribe to DroneBot Workshop .

Jahannah James at Gobleki Tepe

Image
Subscribe to Funny Olde World .

Commercial - Datastax Vector Database

Image
I don't know how hard this is compute, but this is the sort of idea that is behind the "web of influence" I described here:  Louis Rossmann on Sovereign Identity and Media Platforms . See  https://www.datastax.com/ .

Daniel Tubbenhauer on An Almost Incredible Algortihm

Image
He is hopefully going to be able to do a video explaining this algorithm. It's in Bojan Mohar's paper  A Linear Time Algorithm for Embedding Graphs in an Arbitrary Surface . See also Wendy Myrvold and William Kocay  Errors in graph embedding algorithms  and I. S. Filotti, Gary L. Miller and John Reif  On determining the genus of a graph in O(v^O(g)) steps (Preliminary Report) . Subscribe to VisualMath .

Talking About Computation

Image
Well, I can talk about it, but I don't class this as thinking really. See  Magma (algebra)  for a definition of groupoids. See  Magma - Computer Algebra System  and  https://prooftoys.org/ian-grant/hm/ . And I have just learned something really interesting about prooftoys from a github repo where it is said that the proof assistant is based on an implementation (called Q0 ) of Church's Simple Theory of Types by Professor Peter Andrews (CMU Emeretus). You can read about the ETPS (Educational Theorem Proving System) in  ETPS: A System to Help Students Write Formal Proofs .

Evan Czaplicki - The Economics of Programming Languages

Image
Magma has an interesting business model. See  Magma - Computer Algebra System . See elm - A delightful language for reliable web applications . Subscribe to Strange Loop .

Magma - Computer Algebra System

Image
This is an interesting project at the University of Sydney. It's a typed programming language for calculating constructions in abstract algebra. See  http://magma.maths.usyd.edu.au/magma/  and Daniel Tubbenhauer's lectures (which are public, I believe, see  https://sites.google.com/view/magma-mondays/ ). You can use Magma on-line at  http://magma.maths.usyd.edu.au/calc/  and there's a nice little 10-page introduction to the system at  http://magma.maths.usyd.edu.au/magma/pdf/first.pdf . The term  magma is apparently another name for groupoid which is the most general abstract algebraic structure consisting of a set closed under a single binary operator. Magma does type inference and the types include the algebraic structures of the elements, so for example Type(Sqrt(-1)); yields FldComElt . Subscribe to VisualMath .

Natasha's Parents' House in Russia Is Flooded

Image
Oh dear! It's waist-deep! I wonder whether they have the same poor land-management that they have in the north? Once soil becomes depleted of organic matter it loses it's ability to soak up rainfall and the result is flooding and then droughts in the dry season. And there is a story here about the highly dubious local elections in Primorsky Krai . Subscribe to Natasha's Adventures .

Maggie Revisiting the Texas Chainsaw Massacre (1974)

Image
I think Maggie, Louis Rossmann and Rachel Blevins all live in Austin, TX. Subscribe to DeepFocusLens .

Rachel Blevins on the Jewish Voice for Peace US Capitol Protests and Others Around The World

Image
Subscribe to Rachel Blevins .

Aurora Sings Nordic Duet With Herself

Image
 It's really beautiful. Subscribe to Aurora Stuff .

Louis Rossman on The Perils of Owning A Samsung Phone Purchased in Mexico

Image
I managed to use my Mexican SIM in the states for a few months, but there was no US provider who could sell me a SIM that would work in that phone. Now it seems Samsung are in on it. Subscribe to Louis Rossmann .

Emily Hopkinson Composing Scores for Games Using Weird Instruments (And Her Harp)

Image
I think her sounds fitted the games. But why people like playing those games, ... that says something about the real world, I reckon. I have no idea what it says though. Subscribe to Emily Hopkinson .

Laura Pausini and Family

Image
See this post on LPFC .

Raspberry Pi - Introducing RP1: The silicon driving Raspberry Pi 5, designed in-house at Raspberry Pi

Image
16:42 People talking about RP1 and PCIe priority. That bus is so complicated that you lose the ability to do real-time guarantees.. Maybe I'm wrong, but I am not a member of the PCI Consortium, so I don't have access to the specifications. Subscribe to Raspberry Pi .

Louis Rossmann on Sovereign Identity and Media Platforms

Image
See  Maki Kato Talking About Verifiable Credentials at VCF East  and  my comment : This is cool. There are a lot of different ways to go forward from here too. One is to be able to handle credit for content creators. Everyone who uses social media, even if they are not themselves content creators, is doing useful work just by paying attention to content creators and integrating the different expressions of ideas that those content creators produce. A system which identifies content creators at a level above the particular platform they use is an essential component of any system that does this. The higher-level system that can be built on top of this identification produces a kind of web of influence, with currents of ideas of that circulate and are developed within it. These vector flows of influence are the basis for any proper system of recommendation which can provide a rational basis for recommending new sources of content, and one that is not so easily subverted by ...

Maggie Reviewing Killers of The Flower Moon

Image
She says she's not made up her mind completely about this, and then goes on to talk about it in a way that totally makes you not want to miss it! Subscribe to DeepfocusLens . She does a much better job than this trailer!!! Subscribe to Paramount Pictures . Elias Gold "Native REACTION to 'Killers of the Flower Moon' Teaser" Subscribe to Native Media Theory . CBS Sunday Morning "Making of" ... Subscribe to CBS Sunday Morning .

Falun Gong

Image
See  https://www.faluninfo.net  and  Peaceful Resistance : The Chinese Embassy is at number 50 Portland Place, and the RIBA is opposite:

Joan Baez and Karen O'Connor - Q&A With Lana Del Rey

Image
See  CBS Interview With Joan Baez  and  How Joan Baez Got to Meet Lana Del Rey . Subscribe to The Movie Report .

Craig Murray Interrogated for An Hour by Scottish Counter-terrorism Police at Glasgow Airport

Image
Subscribe to Lee Camp . The questions "50:50", roughly about his support for Assange, and the other half about his support for Hamas and Hezbollah. See this piece in The National :  Craig Murray: I was detained under terror laws after Palestine protest : There has been speculation that Murray was detained because of a tweet he posted the day before he flew back from Iceland, which read: “I have always viscerally opposed war. I have dedicated my life to conflict resolution and reconciliation. “But in the coming Gaza genocide, every act of armed resistance by Hamas and Hezbollah will have my support. “If that is a crime, send me back to jail.” It is a crime  under the Terrorism Act to express support  – even “moral support or approval” – for a proscribed terrorist organisation such as Hamas. Murray said the tweet did not come up during questioning. Police Scotland was approached for comment.  

Andrew Bridgen and Dr David Lloyd Interviewed About Excess Deaths

Image
See  Andrew Bridgen MP on Trends in Excess Deaths . I can't believe this guy David Lloyd is for real. He doesn't seem to care to care what anybody thinks. Why would someone agree to an interview if that's their attitude? Is this some kind of charade? [He's bought into the "mRNA vaccines are going to save the world" story. See Big Pharma Investment Intertia ] Subscribe to GBNews .

Big Pharma Investment Intertia

Image
They started an investment juggernaught that they can't stop, ... so they had to go on with "the programme", ... See  Andrew Bridgen MP on Trends in Excess Deaths  and Joel Smalley's Substack piece:  COVID-19: the virus is the government You get what you vote for.  (But did anyone actually vote for Boris Johnson? I suppose I should look it up some time.) Subscribe to Dr John Campbell .

John Campbell on Public Support for MPs Who Represent Their Constituents

Image
I concur. I didn't make it as far as the public gallery, so I didn't realise it was behind a glass screen. Presumably that's to foil abseiling lesbian counterattacks? See  Andrew Bridgen MP on Trends in Excess Deaths .

Raspberry Pi 5 Digital Representation

Image
This is interesting. See  Hackaday Podcast . It's hard to know from that discussion what aspects of that 50 GFlops image pipeline are programmable and what are fixed by the hardware. I can imagine all sorts of applications where you would want stuff-processing very different from ordinary video/still imaging. For example a large array of wide angle sky cameras to image pockets of atmospheric moisture, clouds, aircraft, drones, incoming asteroids and space junk. Subscribe to Raspberry Pi . See the video description for links.

PJ Harvey - Prayer At The Gate (Live At Manchester Albert Hall - 3 Oct 2023)

Image
Subscribe to  @__stal__ .

Philosophy Overdose on David Chalmers

Image
Subscribe to Serious Science . My comment: It depends upon whether you believe consciousness really exists. If you do then it's irreducible and the problem goes away. If you don't then you have a career ahead of you. The more interesting problem in consciousness studies is what is it that narrows conscious experience to the extent that we start to believe that it is produced by the (human and other animal) brain. There sometimes seems to be a force in the modern world that separates consciousness into individual beings. This is not a natural force but it seems to be produced by human activity of a certain unhealthy (i.e. unwholesome) kind. I think there are physiological explanations that take in the health of society as a whole, including the whole ecosystem in which we live. I think that ecosystem in many places is itself in an unhealthy state. In Sweden this sort of approach to public health is taken seriously, and it works. Subscribe to Jonna Jinton . I once had an opportun...

Poetry on the 113

Image

Andrew Bridgen MP on Trends in Excess Deaths

Image
See  https://hansard.parliament.uk/commons/2023-10-20/debates/69C5A514-9A04-4ED7-B56B-61A3D40E3226/TrendsInExcessDeaths . Subscribe to John Campbell Teaching . The public gallery was full, ... Andrew Bridgen and others in PArliament Square afterwards:

Chrissie Mayr is Growing A Penis!

Image
... With a little boy attached, ... Subscribe to Chrissie Mayr .

Gala Wilkie - Peace is Every Breath by Thich Nhat Hanh, Read Aloud with Comments

Image
Subscribe to  Gala Wilkie .

Nargis Alegria - Awake masculine! Why are you not protecting us, the planet from injustice?! Where are you?!

Image
We've no balls maam! Sorry to disappoint! Subscribe to Nargis Alegria . Maybe that explains Jonna Jinton's mountain river vibe she describes here: Expect a few more earthquakes and loads of dead children, ... Subscribe to  Jonna Jinton .

John Campbell Interviewing Andrew Bridgen, MP on Tomorrow's Excess Deaths Debate in Parliament

Image
Starts at 2:30pm. Contact your MP via  https://members.parliament.uk/members/Commons  and ask them to take seriously the fact that tens of thousands of people have died around the UK this year and the matter deserves very serious consideration by Parliament. .Subscribe to Dr John Campbell .

Maki Kato Talking About Verifiable Credentials at VCF East

Image
April 14, 2023. I remember thinking "That's interesting!" when I first saw this, ... You might wonder, as I did, what the "sov" in did:sov means:  https://sovrin.org/ . 36:00  "That hard drive and the S100 bus, ..." 43:12 "Question on attestation, ..." I would be interested in a system where one could apply Aumann's Agreement Theorem to the attestors. So the space of subjects becomes a network of attestations. That network would have different aspects that would emerge naturally from the grass-roots consensus that Aumann's theorem proves will emerge. This could be a substitute for election of officials to offices by public vote. Offices and the people who hold them would simply emerge from all the ongoing economic activity. See Stuart Kauffman on which laws of Nature are fundamental below. See also one of my better weather reports:  Ian Grant's Weather Report 7/17/22  and look at what Ian Hubert, Freya Holmér and the people behin...

Louis Rossmann's "Dear John" Letter to NYC

Image
Ouch! Subscribe to Louis Rossmann . Subscribe to Lana Del Rey .

Hiroshi Sugimoto at The Hayward

Image
 I've never heard anyone talk about photography like this before. See  Hiroshi Sugimoto 11 Oct 2023 –⁠ 7 Jan 2024 . 今日も素敵な1日を〜☀️ pic.twitter.com/u5FcCDtJFy — 檜山沙耶 (@sayahiyama_1027) October 18, 2023

Laura Dern and Kyle MacLachlan talk David Lynch and Geurilla Marketing of Inland Empire

Image
I didn't know that video was so crucial, ... Subscribe to  @bravenewhollywood . Fucking David Lynch with a Fucking Real Cow! Subscribe to  @trilamb . Laura Dern / Grace Zabriskie (Ita) in Inland Empire Subscribe to  @HolografixFinn . When you watch the film you would never guess that this is how he wrote the script: Subscribe to  @LeahXylona . See  Commercial: OpenSpace - 3D Imaging Usng only a Mobile Phone and 360° Video Camera .

Cursed Murphy Versus The Resistance - The Bells of Hell

Image
I was just wondering about the sentence of Symour Hersh a few days ago:  Israel bought 1,000 much smaller, GPS-guided bunker busters in 2021.  And thinking about hospitals , ... And this seemed to sum it up better than I ever could: Subscribe to Cursed Murphy vs The Resistance .

Anastasia in Tech - Photonic Learning Systems

Image
This is a branch of analog computing, isn't it? And on the future of OpenAI's chip design project: Subscribe to Anastasia in Tech .

Lana Del Rey - Art Deco and A Change of Latitude

Image
Chrysler Building Spire 2010 by James Maher . She posted something on her InstaGram about money. I missed this when it appeared in June, but it reminds me of Bolivia now. Art Deco Old Money Swan Song Subscribe to Lana Del Rey .

Wally Brown on The Significance of A Solar Eclipse

Image
He also gives a hint about what code talking is. Subscribe to Navajo Traditional Teachings .

Commercial: OpenSpace - 3D Imaging Usng only a Mobile Phone and 360° Video Camera

Image
This is great. You can scan your street and let the children redesign it on a gaming platform, adding trees and painting the houses. Then you could use projectors to paint the actual houses in the night-time and all go outside and talk about how you can make it actually happen. See  Sci-Fi Series - Dynamo Dream. Episode 1: Salad Mug . See  https://www.openspace.ai/get-a-demo . The results, ... Episode 2: Episode 3 is not to be underestimated either, ... See  Coca Politics in Bolivia  and  Lana Del Rey - Art Deco and A Change of Latitude . Subscribe to  Ian Hubert.

Manuel Defango III's State of The Intersection Address

Image
Subscribe to Griftcast .

Message From Stella Assange

Image
Requesting that anyone who has any information about plans at any time to spy-on or harm Julian Assange to step forward and speak up now. It is only a lack of evidence before the courts that keeps the extradition case live. See  Roger Waters After Visiting Julian Assange in Belmarsh Prison Two Weeks Ago Subscribe to Don't Extradite Julian Assange .