Linked video, minute 28
https://deflector.cathode.church/media_attachments/files/110/103/473/640/647/019/original/2c00414ba4f89cdd.png
お知らせ：０７６はゲーム開発スタジオとなる為、５月２日をもって０７６萌ＳＮＳ及び０７６萌Mitraのサービスを終了致します。諏訪子様は、新しいスタッフ専用ののMitraインスタンスで引き続きフォロー出来ます。
これまで０７６萌ＳＮＳ又は０７６萌Mitraをご利用頂き、誠に有難う御座いました。
https://deflector.cathode.church/media_attachments/files/110/103/473/640/647/019/original/2c00414ba4f89cdd.png
Notices where this attachment appears
-
Chris (50htz@cathode.church)'s status on Wednesday, 29-Mar-2023 08:29:37 JST 
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
０７６萌ＳＮＳ is a social network, courtesy of ０７６. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.
All ０７６萌ＳＮＳ content and data are available under the Creative Commons Attribution 3.0 license.