KeyKOS and EROS sites?

[Charlie Landau]

Are there new addresses for the material that used to be at
http://www.cis.upenn.edu/~KeyKOS and http://www.eros-os.org/ ?

[Mike Stay]

Here are the last snapshots archive.org got:
https://web.archive.org/web/20161117060659/http://www.cis.upenn.edu/~KeyKOS/
https://web.archive.org/web/20160915220641/http://www.eros-os.org/

> --
> You received this message because you are subscribed to the Google Groups "cap-talk" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to cap-talk+u...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/8b8cdcb2-004d-152a-9a68-78fde6ded389%40charlielandau.com.



--
Mike Stay - meta...@gmail.com
http://math.ucr.edu/~mike
https://reperiendi.wordpress.com

[Jonathan S. Shapiro]

I've got all of the material, but no goot place to put it.

Jonathan

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/CAKQgqTazMu97arwKa1eBiLANGFU%2BQOddpXcu1aBvFQd5Xi-qHA%40mail.gmail.com.

[Mark S. Miller]

Ok, I just purchased eros-os.net . How about we put it all there, including a snapshot of the old email archives?

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/CAAP%3D3QOqMweKHi%3DGHOck%3DxifYxypB3omU53kUfic%2BiXP_ju%3D0A%40mail.gmail.com.

--

  Cheers,
  --MarkM

[Jonathan S. Shapiro]

Charlie, MarkM

KeyKOS.org and KeyKOS.info are up to renew on the 19th. I'm not sure who currently holds KeyKOS.com?  Since I'm not maintaining a site, I'm inclined to let KeyKOS.info go. Would you have any interest in taking over keykos.org?

On Mon, Dec 13, 2021 at 1:27 PM Jonathan S. Shapiro <jonathan....@gmail.com> wrote:

[Jonathan S. Shapiro]

Since I still have eros-os.com and eros-os.org, I'm not sure we want to use a new and different domain. What we need is a place to put the content.

I'm not sure at this point how much of the old email archives are still recoverable. It has been more than 20 years since they started. Happy to look, and we'll certainly recover what we can.

The good news is: if we're trying to get the EROS and KeyKOS legacy docs up, everything can be done as a purely static site. In abstract it could be done using S3 as a backing store, but last time I looked S3 didn't allow tilde in a path, and the older email URLs all include "~mailman"

Jonathan

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/CAK5yZYhFcBYh_YhR7y-1QU_Hrm6RXavXDsmEp6u32VEncBoOJw%40mail.gmail.com.

[Matt Rice]

You had indicated using github, so I'm curious if there is a reason
not to use github-pages, then set up an alias record for the .com/org
for the github.io?
since it is all static it'd seem a plausible option

On Mon, Dec 13, 2021 at 10:43 PM Jonathan S. Shapiro

> To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/CAAP%3D3QOepU4QOJgOmL0-vZaNheYd%3DcovTo_SA%3DrOxHpNAxvN4Q%40mail.gmail.com.

[Mark S. Miller]

On Mon, Dec 13, 2021 at 2:43 PM Jonathan S. Shapiro <jonathan....@gmail.com> wrote:

Since I still have eros-os.com and eros-os.org, I'm not sure we want to use a new and different domain.

That is extraordinary good news! I only grabber eros-os.net because I assumed that we could no longer use eros-os.org . Awesome! The old links will work again!!!

 

What we need is a place to put the content.

What's required? Is it just static content?

 

I'm not sure at this point how much of the old email archives are still recoverable. It has been more than 20 years since they started. Happy to look, and we'll certainly recover what we can.

Anyone else have a copy?

 

The good news is: if we're trying to get the EROS and KeyKOS legacy docs up, everything can be done as a purely static site. In abstract it could be done using S3 as a backing store, but last time I looked S3 didn't allow tilde in a path, and the older email URLs all include "~mailman"

Ah, I see. Not S3 then. Plenty of other options. Any likely problems we need to check other than tilda and "-mailman"?

 

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/CAAP%3D3QOepU4QOJgOmL0-vZaNheYd%3DcovTo_SA%3DrOxHpNAxvN4Q%40mail.gmail.com.

[Jonathan S. Shapiro]

On Mon, Dec 13, 2021 at 4:09 PM 'Mark S. Miller' via cap-talk <cap-...@googlegroups.com> wrote:

 

The good news is: if we're trying to get the EROS and KeyKOS legacy docs up, everything can be done as a purely static site. In abstract it could be done using S3 as a backing store, but last time I looked S3 didn't allow tilde in a path, and the older email URLs all include "~mailman"

Ah, I see. Not S3 then. Plenty of other options. Any likely problems we need to check other than tilda and "-mailman"?

Actually, it looks like the guidelines have changed. Tilde is no longer prohibited. It is identified as "to be avoided because many apps will require special handling". But the only app we care about here is HTTP service from a static site.

Does anybody currently have a static stie up that we could use as a test base? The case we need to handle is http:/domain/~mailman/blah.txt.   If we can make that work, we should be OK.

Though now that I think on it, S3 doesn't handle MIME types rationally. Is there some other S3-like service that does?

Jonathan 

[Kris Kowal]

Just verified. Tildes are in.

https://3rin.gs/~kris/hello.txt

--

You received this message because you are subscribed to the Google Groups "cap-talk" group.
To unsubscribe from this group and stop receiving emails from it, send an email to cap-talk+u...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/CAAP%3D3QOAvSrFYZ7x0tZ1n8CxFhyGLyEFvuaHjEQcrGguB972LQ%40mail.gmail.com.

[William ML Leslie]

Doesn't it? We serve up video and wav from s3, but those are from signed URLs rather than public buckets, so maybe there is magic there (but I doubt it).

The public-facing part of my personal website is a static google cloud website and it has no trouble serving up my resumé in pdf for download. I'm in the office rn, but can try whatever you like once I'm home.

Jonathan 

--
You received this message because you are subscribed to the Google Groups "cap-talk" group.
To unsubscribe from this group and stop receiving emails from it, send an email to cap-talk+u...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/CAAP%3D3QOAvSrFYZ7x0tZ1n8CxFhyGLyEFvuaHjEQcrGguB972LQ%40mail.gmail.com.

[Jonathan S. Shapiro]

On Mon, Dec 13, 2021 at 5:00 PM William ML Leslie <william.l...@gmail.com> wrote:

On Tue, 14 Dec 2021, 11:43 am Jonathan S. Shapiro, <jonathan....@gmail.com> wrote:

 

Though now that I think on it, S3 doesn't handle MIME types rationally. Is there some other S3-like service that does?

Doesn't it? We serve up video and wav from s3, but those are from signed URLs rather than public buckets, so maybe there is magic there (but I doubt it).

We've had a bunch of trouble exchanging image files published through S3. I'm not clear if its a problem on the receiving side, or S3 is dropping the file extension, or if the per-object MIME type metadata isn't getting set correctly. The fact that Kris got the ".txt" extension to work suggest that it isn't a problem with the extension. I've asked for clarification internally on what the actual problem was.

Jonathan 

[Valerio Bellizzomi]

Can I offer a server with 5TB redundant disk as storage ?

- Which ports do I need to open for access from outside?

- Which software do I need to install?

Valerio

[Charlie Landau]

I'd like to see keykos.org continue, and I'm willing to pay for the domain registration, but I'm hoping you guys can find a server to host the content.

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/CAAP%3D3QN81PmgKht%3DTgmdgOPUbf-zWdXihnBgyA5%3DByaMUapmiw%40mail.gmail.com.

[Mark S. Miller]

I think Valerio just volunteered one. Thanks Valerio!

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/5d0913d4-ec3b-02b3-8857-98e0ef052671%40charlielandau.com.

[Valerio Bellizzomi]

I need to know which ports to open and software to install.

[Charlie Landau]

Is there any progress on this? It sounds like it would take some work to use Valerio's server. Any other options?

GitHub could host the EROS web site, and the code if desired.

Not sure if KeyKOS would qualify for a free account on GitHub since it is not open source.

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/69fb1c91-eaab-46b2-a8a2-b6e6f35b2482n%40googlegroups.com.

[Valerio Bellizzomi]

Since then I have received no reply on my question.

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/eed1be10-8138-c719-1681-49db5562ac3a%40charlielandau.com.

[Mark S. Miller]

I thought KeyKOS is now open source? Or is there anything other than a naming distinction between KeyKOS and GuardOS?

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/eed1be10-8138-c719-1681-49db5562ac3a%40charlielandau.com.

[Mark S. Miller]

Someone, please answer Valerio's questions and help out with this. Thanks!

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/CAKqWSW6qFts28FMJxUbMep9J8%2B5BWNZjnDvarp4dn7T8Cu_7Ow%40mail.gmail.com.

[Mike Stay]

On Fri, Dec 17, 2021 at 12:29 PM Valerio Bellizzomi
<vbell...@gmail.com> wrote:
>
> I need to know which ports to open

Presumably 443 for HTTPS and 22 for SSH.

> and software to install.

nginx has overtaken apache as the most popular web server.
https://kinsta.com/blog/nginx-vs-apache/

(This assumes that the content is all static and all that's needed is
an HTTP server that points at a directory.)

[Valerio Bellizzomi]

I will be installing Ubuntu Hirsute on the server.

The following is a list of what I need to put the server to work:

- ports to open to the internet;

- web server configuration (nginx or apache2 at your choice); in case of HTTPS I will be using Letsencrypt certificates;

- where to grab the content for the web server directory;

- possibly a home page file of your choice (index.html) with images of your choice and links.

thanks.

[Bill Frantz]

On 1/7/22 at 5:13 PM, cap-...@googlegroups.com ('Mark S.

Miller' via cap-talk) wrote:

>I thought KeyKOS is now open source? Or is there anything other than a
>naming distinction between KeyKOS and GuardOS?

I think that GuardOS was just the C code. The code that was best
tested, and used for the early benchmarks, hosting IBM's CMS,
etc. was the Assembler code. If there is a conflict between what
the C code says and what the Assembler code says, it is likely
that the Assembler code is the correct version. A number of the
features mentioned as being in KeyKOS were only in the Assembler
version. I believe that KeyTXF (the transaction processing
subsystem) was in this category.

Cheers - Bill

-------------------------------------------------------------------------
Bill Frantz | The first thing you need when | Periwinkle
(408)348-7900 | using a perimeter defense is a | 150
Rivermead Rd #235
www.pwpconsult.com | perimeter. |
Peterborough, NH 03458

[Charlie Landau]

Ideally, we'll want to configure the server, and the DNS entries for
keykos.org and eros-os.org, so that these go to two separate sites.

[Valerio Bellizzomi]

tomorrow I will start installing OS on the server, I have only one server thus at your choice pick eros-os or keykos to be hosted here, later I will provide you the public IP address of the server so that you can configure the DNS record.

[Charlie Landau]

I'd prefer that Valerio host keykos, since eros-os could be hosted on GitHub. If people are OK with that, I can set up eros-os with a free account on GitHub, but the only content I have would be gleaned from https://web.archive.org/web/20160915220641/http://www.eros-os.org/

--

You received this message because you are subscribed to the Google Groups "cap-talk" group.
To unsubscribe from this group and stop receiving emails from it, send an email to cap-talk+u...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/219874b8-2cbe-4572-bea3-ac710c3d1a44n%40googlegroups.com.

[Mark S. Miller]

What would really like to see happen, if possible, is for eros-os.org to be restored in such a way that links to old archived email messages become unbroken and accurate. Al least for e-lang and cap-talk.

As to which is hosted where, I don't much care as long as it happens in a way that is likely to stay up.

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/94e2cdaa-a9c0-0b4c-22cb-d6e3f8382ac5%40charlielandau.com.

[Charlie Landau]

A web site hosted on GitHub has a URL of HTTP://<project>.github.io, but you can set the DNS entry for eros-os.org to redirect to that.

For example, http://www.capros.org is up and running and now hosted on GitHub.

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/CAK-_AD4m%2BfphoYwrm5SyqjMD_9rCezRZMqubf8PEmJoqNBOZtQ%40mail.gmail.com.

[Charlie Landau]

On 12/13/21 2:40 PM, Jonathan S. Shapiro wrote:

KeyKOS.org and KeyKOS.info are up to renew on the 19th. I'm not sure who currently holds KeyKOS.com?  Since I'm not maintaining a site, I'm inclined to let KeyKOS.info go. Would you have any interest in taking over keykos.org?

It looks like someone renewed keykos.org. Who was it? Thank you.

As far as I'm concerned, we only need one domain, and keykos.com and keykos.info can go.

Here is the Whois record for keykos.org:

Domain Name: KEYKOS.ORG
Registry Domain ID: D154941127-LROR
Registrar WHOIS Server: whois.google.com
Registrar URL: https://domains.google.com
Updated Date: 2021-12-20T12:46:23Z
Creation Date: 2008-12-20T04:52:02Z
Registry Expiry Date: 2022-12-20T04:52:02Z
Registrar Registration Expiration Date:
Registrar: Google LLC
Registrar IANA ID: 895
Registrar Abuse Contact Email: 
Registrar Abuse Contact Phone: +1.8772376466
Reseller:
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registrant Organization: Contact Privacy Inc. Customer 124723840
Registrant State/Province: ON
Registrant Country: CA
Name Server: NS-CLOUD-C1.GOOGLEDOMAINS.COM
Name Server: NS-CLOUD-C2.GOOGLEDOMAINS.COM
Name Server: NS-CLOUD-C4.GOOGLEDOMAINS.COM
Name Server: NS-CLOUD-C3.GOOGLEDOMAINS.COM
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/)

[Jonathan S. Shapiro]

It was me, because nobody responded. I had hoped someone would take it over.

At one point I hoped to get keykos.com because of existing links, but I think it’s now moot. Let proceed with keykos.org. 

Jonathan

--

You received this message because you are subscribed to the Google Groups "cap-talk" group.
To unsubscribe from this group and stop receiving emails from it, send an email to cap-talk+u...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/60e7b8cf-449f-3160-7f04-8aa004a00801%40charlielandau.com.

[Jonathan A Rees]

As long as we're talking about site archiving ... waterken.com is
featured prominently at erights.org, but seems to be defunct.

Fortunately it is available from archive.org, but it would be nice if
the old URLs still worked. Short of that maybe erights.org could be
updated to point to archive.org.

Jonathan

[William ML Leslie]

On Sun, 23 Jan 2022, 10:18 am Jonathan A Rees, <j...@mumble.net> wrote:

As long as we're talking about site archiving ... waterken.com is
featured prominently at erights.org, but seems to be defunct.

Fortunately it is available from archive.org, but it would be nice if
the old URLs still worked. Short of that maybe erights.org could be
updated to point to archive.org.

Jonathan

It is also available at http://waterken.sourceforge.net/

Sometimes I have trouble finding that.

Random thought: what prevents us from standardising yurls? Are there any known security issues? Does anyone have a protocol for key rotation?

[Terry Hayes]

An interesting and recently proposed protocol for establishing and rotating keys is KERI.  (http://keri.one). I think it might fit into the waterken model, where the KERI anchor would form the YURL.

Terry

--

You received this message because you are subscribed to the Google Groups "cap-talk" group.
To unsubscribe from this group and stop receiving emails from it, send an email to cap-talk+u...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/cap-talk/CAHgd1hFDhH7GcrJSxwhj9STUpHVHN5NE_GFO5VdHBwSXfct4qg%40mail.gmail.com.