０７６萌ＳＮＳ
  • Login

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Linked video, minute 28

Download link

https://deflector.cathode.church/media_attachments/files/110/103/473/640/647/019/original/2c00414ba4f89cdd.png

Notices where this attachment appears

  1. Chris (50htz@cathode.church)'s status on Wednesday, 29-Mar-2023 08:29:37 JST Chris Chris

    Basically, you make types fuzzy by lifting Boolean logic to intervals through Enriched Category Theory
    https://www.youtube.com/live/ql_hrkv6g_g?feature=share

    In conversation Wednesday, 29-Mar-2023 08:29:37 JST from cathode.church permalink
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

０７６萌ＳＮＳ is a social network, courtesy of ０７６. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All ０７６萌ＳＮＳ content and data are available under the Creative Commons Attribution 3.0 license.