From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from tb-mx0.topicbox.com (localhost.local [127.0.0.1]) by tb-mx0.topicbox.com (Postfix) with ESMTP id 654D71067677 for <9fans@9fans.net>; Mon, 23 Dec 2019 00:26:27 -0500 (EST) (envelope-from mycroftiv@sphericalharmony.com) Received: from tb-mx0.topicbox.com (localhost [127.0.0.1]) by tb-mx0.topicbox.com (Authentication Milter) with ESMTP id AB4F5851D06; Mon, 23 Dec 2019 00:26:27 -0500 ARC-Seal: i=1; a=rsa-sha256; cv=none; d=topicbox.com; s=arcseal; t= 1577078787; b=E4vLN3fwiVdPMAkQG8EtK7gbMihft8ir+c/9HzcxmE8fNdiyiy OCRqWuqBQbN1QruVaffRKwBJMmRAOPPsl0ShzCZGr3WMtu4MICfxuWzNATmOlYCC Vh2ZV50TsWhgQYYP+WgFpv5ho26qr1GkdKIvFrbQmeuL9c1jjYqjF2fvuhTRjwma IV3HaIGOZrXnZOxf7PdyPGMXR9fYVrXk4nFLs9VroQbpBQTQCsnKygvtNt9QAIKD 6aIkVEVJ/uNmXnE1bVgCGVIOe5vhOej02/QukAxIlwlPIG8c0AQMK8F0Y+lTamTL P+peUiTxGMEo2oRz3Ms8MNs+F2xZDVSPlZXg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d= topicbox.com; h=from:message-id:date:to:subject:mime-version :content-type:content-transfer-encoding; s=arcseal; t= 1577078787; bh=nhR29Cw+kruGKvm1nvzbyU0M11/NgZSGvqQV9XLDqTs=; b=M AhPjp8tUjKGuiecKTLjOyeV0mhKb8dl9EqE1b4XzaqFZlj1KnzWJ+x7CC0Af+e9v ZlPwmgB2SguFxeaJG2RgmukwB6VODltfh7Bnv9TfzKDJq+j2zGOGUQkFrQZ3LMr9 520hcr1g7pd3TdtgHJUUpgmqLVcP45fw9vY3TLx3ykmF0cD4zTH2iy4KAvtZz7FR 7mX7eVK0Y8fzyivFfyILzvgCNt0UyBCaXE6zjMyguVQ5o3WX7mkTQv8tk/XBKN0M +BHAeVsDBU3WRDYr14kL4Dq53O5xcgke30OAPhz1mlM2Ij6b44BvZDVb5AlL+W53 sQPqfiWrCjWih960Yku6w== ARC-Authentication-Results: i=1; tb-mx0.topicbox.com; arc=none (no signatures found); dkim=pass (2048-bit rsa key sha256) header.d=sphericalharmony-com.20150623.gappssmtp.com header.i=@sphericalharmony-com.20150623.gappssmtp.com header.b=HLpcM1th header.a=rsa-sha256 header.s=20150623 x-bits=2048; dmarc=none policy.published-domain-policy=none policy.applied-disposition=none policy.evaluated-disposition=none (p=none,d=none,d.eval=none) policy.policy-from=p header.from=sphericalharmony.com; iprev=pass smtp.remote-ip=209.85.166.178 (mail-il1-f178.google.com); spf=none smtp.mailfrom=mycroftiv@sphericalharmony.com smtp.helo=mail-il1-f178.google.com; x-aligned-from=pass (Address match); x-google-dkim=pass (2048-bit rsa key) header.d=1e100.net header.i=@1e100.net header.b=P9SL5Sn2; x-ptr=pass smtp.helo=mail-il1-f178.google.com policy.ptr=mail-il1-f178.google.com; x-return-mx=pass header.domain=sphericalharmony.com policy.is_org=yes (MX Record found); x-return-mx=pass smtp.domain=sphericalharmony.com policy.is_org=yes (MX Record found); x-tls=pass smtp.version=TLSv1.2 smtp.cipher=ECDHE-RSA-AES256-GCM-SHA384 smtp.bits=256/256; x-vs=clean score=0 state=0 Authentication-Results: tb-mx0.topicbox.com; arc=none (no signatures found); dkim=pass (2048-bit rsa key sha256) header.d=sphericalharmony-com.20150623.gappssmtp.com header.i=@sphericalharmony-com.20150623.gappssmtp.com header.b=HLpcM1th header.a=rsa-sha256 header.s=20150623 x-bits=2048; dmarc=none policy.published-domain-policy=none policy.applied-disposition=none policy.evaluated-disposition=none (p=none,d=none,d.eval=none) policy.policy-from=p header.from=sphericalharmony.com; iprev=pass smtp.remote-ip=209.85.166.178 (mail-il1-f178.google.com); spf=none smtp.mailfrom=mycroftiv@sphericalharmony.com smtp.helo=mail-il1-f178.google.com; x-aligned-from=pass (Address match); x-google-dkim=pass (2048-bit rsa key) header.d=1e100.net header.i=@1e100.net header.b=P9SL5Sn2; x-ptr=pass smtp.helo=mail-il1-f178.google.com policy.ptr=mail-il1-f178.google.com; x-return-mx=pass header.domain=sphericalharmony.com policy.is_org=yes (MX Record found); x-return-mx=pass smtp.domain=sphericalharmony.com policy.is_org=yes (MX Record found); x-tls=pass smtp.version=TLSv1.2 smtp.cipher=ECDHE-RSA-AES256-GCM-SHA384 smtp.bits=256/256; x-vs=clean score=0 state=0 X-ME-VSCause: gggruggvucftvghtrhhoucdtuddrgedufedrvdduledgkedtucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdggtfgfnhhsuhgsshgtrhhisggvpdfu rfetoffkrfgpnffqhgenuceurghilhhouhhtmecufedttdenucenucfjughrpefhkfffvf fugggtgfesthejjedttddtvdenucfhrhhomhepmhihtghrohhfthhivhesshhphhgvrhhi tggrlhhhrghrmhhonhihrdgtohhmnecuffhomhgrihhnpeelghhrihgutghhrghnrdhorh hgnecukfhppedvtdelrdekhedrudeiiedrudejkedpieeirddukeelrddufeejrddufedv necurfgrrhgrmhepihhnvghtpedvtdelrdekhedrudeiiedrudejkedphhgvlhhopehmrg hilhdqihhluddqfhdujeekrdhgohhoghhlvgdrtghomhdpmhgrihhlfhhrohhmpeeomhih tghrohhfthhivhesshhphhgvrhhitggrlhhhrghrmhhonhihrdgtohhmqecuuffkkgfgpe ehieegjeenucevlhhushhtvghrufhiiigvpedt X-ME-VSCategory: clean Received-SPF: none (sphericalharmony.com: No applicable sender policy available) receiver=tb-mx0.topicbox.com; identity=mailfrom; envelope-from="mycroftiv@sphericalharmony.com"; helo=mail-il1-f178.google.com; client-ip=209.85.166.178 Received: from mail-il1-f178.google.com (mail-il1-f178.google.com [209.85.166.178]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by tb-mx0.topicbox.com (Postfix) with ESMTPS for <9fans@9fans.net>; Mon, 23 Dec 2019 00:26:26 -0500 (EST) (envelope-from mycroftiv@sphericalharmony.com) Received: by mail-il1-f178.google.com with SMTP id s15so13115924iln.1 for <9fans@9fans.net>; Sun, 22 Dec 2019 21:26:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sphericalharmony-com.20150623.gappssmtp.com; s=20150623; h=from:message-id:date:to:subject:mime-version :content-transfer-encoding; bh=nhR29Cw+kruGKvm1nvzbyU0M11/NgZSGvqQV9XLDqTs=; b=HLpcM1th8aUwy1FZM+EWLh49nbZvJ+cJNNsy8IL7sQif/BAyCH9fS5z4gp+mdRuEXR R8YKCj9ARjYo1gdux/Yu9dYpvaS1qqHyYvLvtBICASen7uy5wdoig5ANMmHs9wbw09sm hWChwhojd6ecX876LorgAYAXNlllxfYpSERmH4JmmUJFSqZ71vf2e70MZfBINWMuAQRK LHqTMY9t6QclQlsAK5+cIkv6wFpbGo+PIjiD0zHVM+EDzj6/9sZTgvS4QBM6S8RRSHSe cy2rhA/inTS+BAsOiJJiJBDX2gi4/CjQXu8+KRvr3MwPTbCmC6qoOqDbHkkau9v5hGyI S1SA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:message-id:date:to:subject:mime-version :content-transfer-encoding; bh=nhR29Cw+kruGKvm1nvzbyU0M11/NgZSGvqQV9XLDqTs=; b=P9SL5Sn2PG/7/ZYUXgex12CyuGPMue+SvflqWQP43PTnQp3xpG694YQvXI//RTqpuB qluHvzyvyQgQy01xBjkY2p5ISOWx9H/cIrbZkSgXfQlNVW6SrOPNoGub67mnb6TPa5ps 60cuDMhpnX1QSzlAgxy1waTY3LNz1gvbR/Yrn86CWVNNOncvDIQP14ghd70G8RkXT1Cl C9+m6j4/a0+3Cqi0B6APNgJEQeL9HinH3lKNTNW0J9CqiQPsS91jKceNGfHBw/Ekk4vu 0LjNCCuLyXMVN4WOJtpU32TZbtyqYFGTxlzqn/9+TnYF8i3KGEIX7p7wz2SqoCWB58BM LOHQ== X-Gm-Message-State: APjAAAWpQaEzzBKpqk7mZAwAuTr8IIE4RxF+HErXPgQ9zrZb4kW7evYp waMBDjwFDURByev9xy/lpiGc+c0xZPg= X-Google-Smtp-Source: APXvYqz8zWRRbYe71EpF2i83BDIrsOZxDtkfeNZE6QIlZRv0BhLLM2eqY5nWMf5WWoRBtcVeBkBAiw== X-Received: by 2002:a92:1d11:: with SMTP id d17mr23723999ild.86.1577078785874; Sun, 22 Dec 2019 21:26:25 -0800 (PST) Received: from opti.home (66-189-137-132.dhcp.mdsn.wi.charter.com. [66.189.137.132]) by smtp.gmail.com with ESMTPSA id y62sm8715538ilk.32.2019.12.22.21.26.25 for <9fans@9fans.net> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sun, 22 Dec 2019 21:26:25 -0800 (PST) From: mycroftiv@sphericalharmony.com X-Google-Original-From: glenda@sphericalharmony.com Message-ID: <4EE061CDD06A49CCFFA12A2CB470F3B4@sphericalharmony.com> Date: Sun, 22 Dec 2019 22:31:13 -0600 To: 9fans@9fans.net Subject: Purplechess, hypercubes, ultrafilters and more - ANTS 5.64 MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Topicbox-Policy-Reasoning: allow: sender is a member Topicbox-Message-UUID: c6f5d63a-2544-11ea-8404-89c6c2b184ba This is the latest - and perhaps final - release in the series of Advanced Namespace Tools live/install iso images based on 9front. It is both a seriously intentioned attempt to create the best version of the Plan 9 operating system, and an intentionally absurdist attempt to break the walls separating reality and fiction with the power of Plan 9 namespaces and the philosophy of infinitary mathematical objects. https://files.9gridchan.org/9ants5.64.iso.gz https://doc.9gridchan.org/blog/191221.hypercubic.release I could write a lot about all the ways Ants tries to extend Plan 9, and real-world systems built on its features, but the real reason to download this iso is that it is a strange and unique artistic creation full of unusual code and writing and creative work that represents a lifetime spent pursuing the mathematical structure of how human minds synthesize language and experience into a collective fantasy, and how we can use the axiomatic principles of the set theory of the higher infinite - large cardinal axioms and forcing principles - to bring the stories that we choose to experience into reality. The indeterminacy of the power set axiom in set theory means that we can move our elbows unpredictably. The amount of unpredictable elbow motions and bicycle rides and songs about infinite-armed octopo-teas painting fateballs floating on the breeze that went on in 2019 and are manifested in this software release are of a cardinality so large that even the Limit Club Berkeley Cardinals that are inconsistent with ZFC and might show that Hugh Woodin's Ultimate L program, and inner model theory in general, can't reach beyond extendible cardinals - even an ultrapower on their fixed-point is probably not adequate to embed a model of how wild and fun 2019 was. Anyway, I want to code constructive ultrafilters and figure out the type-theoretic measurable cardinal, and I'm expecting to be so busy with that I'm not going to be continuing running a flaky half-fork of the whole operating system any more. I will continue to support my software and provide updates in some fashion, and share new work, but this is most likely the final ants iso image in this format. I think its pretty cool and despite all the nonsense I like to talk, you might find some nice things in it. The purplechess game at least is hopefully fun and accessible. There's a whole sidestory about how it was intended to transmit a message to Deng ZiQi to try to preserve the spirit of the counterculture, and I hired a mermaid to help, but you don't need to worry about that to enjoy the game. Well, that's all for now. I'm actually a pretty normal and reasonable person in some aspects, the bipolar manic delusional fictions are fun but I'm not trapped inside them, I can operate in ordinary reality. If someone has an interest in substantive code discussions or something along those lines, I can drop out of the Phase IV headspace as needed. peace and glenda-love, mycroftiv