Authentication-Results: mail-b.sr.ht; dkim=pass header.d=gmail.com header.i=@gmail.com
Received: from mail-ed1-f44.google.com (mail-ed1-f44.google.com [209.85.208.44])
	by mail-b.sr.ht (Postfix) with ESMTPS id 5338811F00B
	for <~badt/leet@lists.sr.ht>; Sat, 24 Jul 2021 07:59:07 +0000 (UTC)
Received: by mail-ed1-f44.google.com with SMTP id b7so4602564edu.3
        for <~badt/leet@lists.sr.ht>; Sat, 24 Jul 2021 00:59:07 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20161025;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc;
        bh=X7aOUvW2rMP9RxzW9f/XlAyhJUcKU1P9+HA0psk0CWE=;
        b=jZVhEx8dQ+REhgeTagjBl+y09MSO1iptGh9GjBKbLLEdBwVNai0IvPMbKC+lBGiAKB
         TgcnAPJy+G7cmRylU9F1I+SPdgMvfmMmwlrvLlliLxK8OEcpdrJql8KjAXOGoPlv54pn
         1598/wdjUpJlFH22B0a7mnFQIyngXpO8dWxrKwpUcCf8EloZ6i3wx66Pyq3zGdEoje7/
         1VHogNrDnAx37pmj/MezSyWB4l1mdOb3/i5ebCUAmYsbMexXJQfzWhmP4zGSpsWphjOV
         F1IxzCkiTFudlzWFR3VXenDjD+Bxr4H5K9GnW+OGD5GGoBJ8VF0HkFm6ymSXcOwVxnQ0
         fxwA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:mime-version:in-reply-to:references:from:date
         :message-id:subject:to:cc;
        bh=X7aOUvW2rMP9RxzW9f/XlAyhJUcKU1P9+HA0psk0CWE=;
        b=cqVXmllmHgg9NMpU4lC2v3mt2mpUqNX3REm3L7Bs9uhXWWB5bYKt5VPObgAnRizrWT
         vAvSHX48dQScmIOD4sBagC/a6DEzxxUCXhuSTNSrNvnYyTCU4hYztG8BCMbrdwQEKI23
         C1fFeFXZ7B7htIngXx3wYnbqJLuY20hTUzuCzBusj0M9pw+D3gRP5skA7vPXUI2qD6+3
         vv9PLxq1jsnaMtsdf/k9OBMjLX6EfODU95wgAhr1UfHLOaeOXaWQyC0nH08iC6lLUTMR
         nZRE/wgC/Qt5TCECCswKEmUafZ37HFt8ntCLkE4shIpPM46SUw0p8CvFWv2eFjShDlPd
         G7HA==
X-Gm-Message-State: AOAM5332FBixyCYfrZA+oraQzQBHvRi452/2QCCQi0ueZi6kK2FhiE+O
	h2IevfJwbsZM7zDJKJRgVM4FJHtQ3N2KmIW0Ho8=
X-Google-Smtp-Source: ABdhPJwHYDDY1xkAvO3GgqMma3cWYFFg9s0h/OE2pwIqfh0k3ntHohPusvryzXbCbnFoyKjohINguorOioTlHHU5j+s=
X-Received: by 2002:aa7:dbc8:: with SMTP id v8mr9774856edt.242.1627113546070;
 Sat, 24 Jul 2021 00:59:06 -0700 (PDT)
MIME-Version: 1.0
Received: by 2002:a54:2105:0:0:0:0:0 with HTTP; Sat, 24 Jul 2021 00:59:05
 -0700 (PDT)
In-Reply-To: <264EDF4D-D9A6-4036-B22F-20CCAF9626CE@aletheia.icu>
References: <264EDF4D-D9A6-4036-B22F-20CCAF9626CE@aletheia.icu>
From: Hirrolot <hirrolot@gmail.com>
Date: Sat, 24 Jul 2021 13:59:05 +0600
Message-ID: <CA+g-_mprubiExnwiqTH_E61T+tcVtVi2J7C3C+BSS7D-jM_Oaw@mail.gmail.com>
Subject: Re: Why logos of all things?
To: Ian P Badtrousers <badt@aletheia.icu>
Cc: ~badt/leet@lists.sr.ht
Content-Type: text/plain; charset="UTF-8"

> The idea is that we can scale this up to much more complicated systems
and public spaces. I.e. this would allow us to compute whole bodies of
judicial texts like civil and criminal codes.

Wow, basically, Logus can be perceived as a formal language for people's
communication and knowledge transfer, can't it?