I my previous blog post, I documented how one might proceed to compute the number of digits of an integer quickly. E.g., given the integer 999, you want 3 but given the integer 1000, you want 4. It is effectively … Read more
The Burali-Forti argument in HoTT/UF → A while ago, my former student Chuangjie Xu and I computed an integer using a sheaf topos. For that purpose, we developed our mathematics constructively, we formalized our mathematics in Martin-Löf type theory, in … Read more
Edge computing is defined by Wikipedia as: “A distributed computing paradigm that brings computation and data storage closer to the location where it is needed, to improve response times and save bandwidth.”. A summary of the first few lines can … Read more