From predragp at andrew.cmu.edu  Thu Jan  7 13:01:38 2021
From: predragp at andrew.cmu.edu (Predrag Punosevac)
Date: Thu, 7 Jan 2021 13:01:38 -0500
Subject: auton login is giving me trouble
In-Reply-To: <CAOo6nw_QLggR-YYBs410Gx5R3CMqEhzUB3WKufBuTafGLAaGPw@mail.gmail.com>
References: <CAOo6nw99f5JjB5xxuqhffscGyf60uaQ_YoknVBGP9VZk8-MmQQ@mail.gmail.com>
 <CAEFFt-ETvnC2iOA+EPNyC5=0QQNttE+mtNh01vEA3q5Tg72Vow@mail.gmail.com>
 <CAOo6nw_QLggR-YYBs410Gx5R3CMqEhzUB3WKufBuTafGLAaGPw@mail.gmail.com>
Message-ID: <CAEFFt-GMcKz58F5j7X4ePFaaRdDcDGcn_u1FPh2rH-NNxpH+Ng@mail.gmail.com>

Hi Viraj,

Thank you so much for bringing this to my attention.  I am CC-ing users as
this is of wider interest. It appears that OpenVPN daemon has died on all
desktops over the night.  That renders 2 out of three gateways (bash and
lion) unusable. I just fixed them.

The probable cause of OpenVPN failure is a hiccup at the university
network. I see these things regularly but typically not on VPN gateway
machine. Unfortunately

When it doubt always try lop2.autonlab.org gateway first.  For people who
have Auton Lab desktops. Please log as a root (It will take a long time
since DNS is broken) and issue the following commands

systemctl restart openvpn-client at autonlab
mount -a





Cheers,
Predrag

On Thu, Jan 7, 2021 at 10:51 AM Viraj Mehta <virajm at cs.cmu.edu> wrote:

> Sorry bout that. I've pasted the dump from ssh -v below. I'm not super
> familiar with the normal functioning of the SSH protocol but it seems like
> it's still finding the key I put on the server and I'm not sure why that's
> not enough to get in afterwards. Thanks for the help.
>
> Viraj
>
> OpenSSH_7.6p1 Ubuntu-4ubuntu0.3, OpenSSL 1.0.2n  7 Dec 2017
> debug1: Reading configuration data /home/viraj/.ssh/config
> debug1: /home/viraj/.ssh/config line 1: Applying options for auton
> debug1: Reading configuration data /etc/ssh/ssh_config
> debug1: /etc/ssh/ssh_config line 19: Applying options for *
> debug1: Connecting to bash.autonlab.org [128.2.177.47] port 22.
> debug1: Connection established.
> debug1: identity file /home/viraj/.ssh/id_rsa type 0
> debug1: key_load_public: No such file or directory
> debug1: identity file /home/viraj/.ssh/id_rsa-cert type -1
> debug1: Local version string SSH-2.0-OpenSSH_7.6p1 Ubuntu-4ubuntu0.3
> debug1: Remote protocol version 2.0, remote software version OpenSSH_7.4
> debug1: match: OpenSSH_7.4 pat OpenSSH* compat 0x04000000
> debug1: Authenticating to bash.autonlab.org:22 as 'virajm'
> debug1: SSH2_MSG_KEXINIT sent
> debug1: SSH2_MSG_KEXINIT received
> debug1: kex: algorithm: curve25519-sha256
> debug1: kex: host key algorithm: ecdsa-sha2-nistp256
> debug1: kex: server->client cipher: chacha20-poly1305 at openssh.com MAC:
> <implicit> compression: none
> debug1: kex: client->server cipher: chacha20-poly1305 at openssh.com MAC:
> <implicit> compression: none
> debug1: expecting SSH2_MSG_KEX_ECDH_REPLY
> debug1: Server host key: ecdsa-sha2-nistp256
> SHA256:Pf/uiR0Hzw9HpSNaf3/fRXon9gdXFes5KP7HEobNaW4
> debug1: Host 'bash.autonlab.org' is known and matches the ECDSA host key.
> debug1: Found key in /home/viraj/.ssh/known_hosts:2
> debug1: rekey after 134217728 blocks
> debug1: SSH2_MSG_NEWKEYS sent
> debug1: expecting SSH2_MSG_NEWKEYS
> debug1: SSH2_MSG_NEWKEYS received
> debug1: rekey after 134217728 blocks
> debug1: SSH2_MSG_EXT_INFO received
> debug1: kex_input_ext_info: server-sig-algs=<rsa-sha2-256,rsa-sha2-512>
> debug1: SSH2_MSG_SERVICE_ACCEPT received
> debug1: Authentications that can continue:
> publickey,gssapi-keyex,gssapi-with-mic,password
> debug1: Next authentication method: gssapi-keyex
> debug1: No valid Key exchange context
> debug1: Next authentication method: gssapi-with-mic
> debug1: Unspecified GSS failure.  Minor code may provide more information
> No Kerberos credentials available (default cache: FILE:/tmp/krb5cc_1000)
>
> debug1: Unspecified GSS failure.  Minor code may provide more information
> No Kerberos credentials available (default cache: FILE:/tmp/krb5cc_1000)
>
> debug1: Next authentication method: publickey
> debug1: Offering public key: RSA
> SHA256:C3kyuqLEyboBW4ZomyN7bOSyIhu3PPQThQylT2sTzaI /home/viraj/.ssh/id_rsa
> debug1: Authentications that can continue:
> publickey,gssapi-keyex,gssapi-with-mic,password
> debug1: Next authentication method: password
> virajm at bash.autonlab.org's password:
> debug1: Authentications that can continue:
> publickey,gssapi-keyex,gssapi-with-mic,password
> Permission denied, please try again.
> virajm at bash.autonlab.org's password:
> Connection closed by 128.2.177.47 port 22
>
> On Thu, Jan 7, 2021 at 9:36 AM Predrag Punosevac <predragp at andrew.cmu.edu>
> wrote:
>
>> The system was working as designed as recently as late last night. I will
>> check it in an hour again. However, you problem report or rather lack of it
>> doesn't give me much to  work with. Do you know how to use -v option and
>> increase verbosity of ssh?
>>
>> On Thu, Jan 7, 2021, 9:55 AM Viraj Mehta <virajm at cs.cmu.edu> wrote:
>>
>>> Hi Predrag,
>>>
>>> Hope you're well and happy new year. This morning I have been having a
>>> hard time logging into the cluster, as it seems to be ignoring the ssh keys
>>> I typically use and is also not accepting my password. Do you know why that
>>> might be happening? I haven't been doing anything atypical and definitely
>>> haven't messed with any ssh settings or configuration.
>>>
>>> Thanks,
>>> Viraj
>>>
>>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.srv.cs.cmu.edu/pipermail/autonlab-users/attachments/20210107/b4ac7021/attachment.html>

From awd at cs.cmu.edu  Mon Jan 18 13:26:35 2021
From: awd at cs.cmu.edu (Artur Dubrawski)
Date: Mon, 18 Jan 2021 13:26:35 -0500
Subject: Fwd: RI Ph.D. Thesis Proposal: Nicholas Gisolfi
In-Reply-To: <0509bd62ba8541f298bd4f6d9a2894d4@cmu.edu>
References: <0509bd62ba8541f298bd4f6d9a2894d4@cmu.edu>
Message-ID: <CAJvAoysMHf4N9JRwh0tcWypLg-pHOZECDLUF9tzqGFPeGzSHkw@mail.gmail.com>

Team,

Please consider attending a thesis proposal presentation by Nick (this
Tuesday, ie. tomorrow, 10am, see zoom link below).
This talk looks to be really fun to hear.

Cheers
Artur

---------- Forwarded message ---------
From: Suzanne Lyons Muth <lyonsmuth at cmu.edu>
Date: Mon, Jan 11, 2021 at 9:40 AM
Subject: RI Ph.D. Thesis Proposal: Nicholas Gisolfi
To: ri-people at lists.andrew.cmu.edu <ri-people at lists.andrew.cmu.edu>


Date:  19 January 2021
Time:  10:00 a.m. (ET)
Place: *Virtual Presentation*
https://cmu.zoom.us/j/96434017510?pwd=amJXYlFTUDAvMmp6NkprUUtxR0xoUT09
Type:  Ph.D. Thesis Proposal
Who:  Nicholas Gisolfi
Title:  Verification and Accreditation of Artificial Intelligence

Abstract:
This work involves formally verifying a trained model's adherence to
important design specifications for the purpose of model accreditation.
Accreditation of a trained model requires enumeration of the explicit
operational conditions under which the model is certified to meet all
necessary specifications.  By verifying model adherence to specifications
set by developers, we increase the trustworthiness of the model along the
dimensions that are most relevant to earning a developer's trust.  We argue
that this gives developers a tool to quantitatively define and formally
answer the fundamental question of ?should we trust this model?.

We intend to demonstrate utility of the framework with the verification of
a repertoire of design specifications on voting tree ensemble models for
classification.  Verification is posed as an instance of the Boolean
Satisfiability (SAT) problem.  Our novel SAT encoding yields disruptive
speed gains over related tree ensemble verification techniques, which
facilitates the verification of harder specifications on models of larger
scale than reported in literature.  It is possible to extend our framework
to other model classes and design specifications that are beyond our
current scope.

We show it is possible to use our framework to provide explanations for
model behavior.  We introduce a quantitative definition for
interpretability; a provably correct interpretation of a model is a causal
specification relating inputs to outputs that the model never violates.  We
demonstrate how we can mine data for a specific type of causal structure;
2D, axis-aligned range rules that offer candidate specifications for
verification.  These bounding box rules represent intelligible,
intermediate-level concepts that, pending verification, offer provably
correct summaries of model behavior.  In addition to explanations for
input-output behavior of a model, we demonstrate that it is possible to
provide explanations that diagnose discrepancies between what is observed
and what was prescribed; if the model violates a required specification, we
want to understand why.  We provide explanations by summarizing proofs of
unsatisfiability that accompany the certificates.  A minimized
unsatisfiable set comprises the literals and clauses implicated in a
logical contradiction.  These provide the basis for provably correct
explanations that are counterfactual and contrastive in nature.

We propose a few directions to further demonstrate and expand the utility
of our accreditation framework.  For a supervised radiation risk assessment
application, where safety is paramount, we propose verifying a suite of new
safety criteria that will increase domain-expert trust in the model's
predictions.  For selected clinical decision support applications, we
propose to diagnose the sources of systematic disagreements between
opinions of experts who annotate training data, and to assess the model's
adherence to common-sense-based expectations of its behavior.  We expect
these new capabilities to enhance adoption and effectiveness of artificial
intelligence applications to guide clinical decisions.

Thesis Committee Members:
Artur Dubrawski, Chair
Stephen Smith
Reid Simmons
Madalina Fiterau, University of Massachusetts Amherst

A copy of the thesis proposal document is available at:
https://cmu.box.com/s/gq9lumhvw7r0cnug3t9jnzrrb0jfcg5j
_______________________________________________
ri-people mailing list
ri-people at lists.andrew.cmu.edu
https://lists.andrew.cmu.edu/mailman/listinfo/ri-people
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.srv.cs.cmu.edu/pipermail/autonlab-users/attachments/20210118/b86ec843/attachment.html>

From ngisolfi at andrew.cmu.edu  Thu Jan 21 08:05:01 2021
From: ngisolfi at andrew.cmu.edu (Nicholas Gisolfi)
Date: Thu, 21 Jan 2021 08:05:01 -0500
Subject: [Lunch] Today @noon over zoom
Message-ID: <8AF758FE-0350-49D9-8A5D-3276CD0F07BD@andrew.cmu.edu>

Hi Everyone,

Let?s get back into the swing of lab lunches in 2021!  Same time, same link.

https://cmu.zoom.us/j/96391712304?pwd=WGhzSy9kWnNpc3haZjd5bmVXV291QT09 <https://cmu.zoom.us/j/96391712304?pwd=WGhzSy9kWnNpc3haZjd5bmVXV291QT09>

We hope to see you there!

- Nick
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.srv.cs.cmu.edu/pipermail/autonlab-users/attachments/20210121/cd43a743/attachment.html>

From awd at cs.cmu.edu  Fri Jan 22 09:16:40 2021
From: awd at cs.cmu.edu (Artur Dubrawski)
Date: Fri, 22 Jan 2021 09:16:40 -0500
Subject: Fwd: Celebrating the 2020 Alumni Awards Honorees
In-Reply-To: <76c3d458-b660-463b-a732-703acbfc399d@dfw1s10mta325.xt.local>
References: <76c3d458-b660-463b-a732-703acbfc399d@dfw1s10mta325.xt.local>
Message-ID: <CAJvAoyvVqkM2+hvoChbbg2g18zQ8LBiKWM-CwWh=m0Hd7A0h9A@mail.gmail.com>

Team,

Our own Emily Kennedy has been recognized as Outstanding Recent CMU
Alumna of 2020. Find below the link to the video of the ceremony.

Congrats Emily!

Artur

---------- Forwarded message ---------
From: Carnegie Mellon University Alumni Association <
alumni-awards at connect.cmu.edu>
Date: Thu, Jan 21, 2021 at 3:00 PM
Subject: Celebrating the 2020 Alumni Awards Honorees
To: <awd at andrew.cmu.edu>


In this new year, we continue to celebrate those CMU alumni who are
innovators, problem solvers and change-makers
Dear Artur,

In this new year, we continue to celebrate those CMU alumni who are
innovators, problem solvers and change-makers. In December, we honored 11
CMU alumni who are making a difference at the 2020 CMU Alumni Awards.

Alumni, students, faculty, staff, parents and friends came together to
celebrate their contributions and achievements and to inspire a new
generation of Tartans. Watch the honoree videos from the event and their
inspirational remarks.
Watch the Awards Video
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de9dee00f9148a74a3ae6b3229e2186974da948b34450a6f94a1919582b160f79b4b287c3c317c0c73cc6910e44de0a0513>
Starting today, you can *nominate a Tartan for the 2021 CMU Alumni Awards.*
Whether they serve their community or have excelled in their careers, you
can celebrate their contributions with an Alumni Awards nomination
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de9a39585bfec3811144bc7bc6f41eea302795f53a19bbe4c545753840c218710315fb260df525a225c8bc361377c1bb4c3>
.

Learn how each of the 2020 honorees is shaping a brighter future
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de9639859f0045873111e3dd78e566b3558f9e70730750eaa04bea6d65a6559da9170552aa7955b238a0575fe12b61088e2>
.
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de99cc0ebef4f6064ff0e9135282c3e7df743c13dee7b7c66775ec717f5b464278784453e02f9479920fd289732c4a3a7f2>
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de93a3afaa0e8fd29920ce29637cdf68c404f2fd09f2fe3403156e5f478b30c1b28b94ac5d594ae349c1e77eab6940462bf>
[image: Paula Wagner (CFA 1969)]
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de93a3afaa0e8fd29920ce29637cdf68c404f2fd09f2fe3403156e5f478b30c1b28b94ac5d594ae349c1e77eab6940462bf>

*Paula Wagner
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de99da5a707ed73322f4b1e3a96dfa7807ba3ac8f1b603170613ef6f41fd4a8b6fdcafe2789c8d39de6f6aaa4eb388124fe>*
(CFA 1969)

[image: Alumni Achievement Award]
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de9c8e5abd1b8f4ac1ebcd50368b8b875206cb1147e85cc2c6030273a6f08adec712784f2ef3a2060bdbf3b9f36a7e68c81>
[image: Anirudh Koul (SCS 2012)]
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de9c8e5abd1b8f4ac1ebcd50368b8b875206cb1147e85cc2c6030273a6f08adec712784f2ef3a2060bdbf3b9f36a7e68c81>

*Anirudh Koul
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de998f5cbd11e5cb69b1f83e50f7b745217bf0f32ce6f047788eb8724df2b04682b96eef1a85fe545486fe9f89f2952de59>*
(SCS 2012)

[image: Michael McElroy (CFA 1990)]
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de9c8e5abd1b8f4ac1ebcd50368b8b875206cb1147e85cc2c6030273a6f08adec712784f2ef3a2060bdbf3b9f36a7e68c81>

*Michael McElroy
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de93a2a1eb4114cc30843b41ec94e0cbd3a5477b6f0ce8e8e7acc5556f2dd1426dd846ba924610bf58a5cdc53d076e47c33>*
(CFA 1990)
[image: Prashanth Mekala (ENG 1999, HNZ 2016)]
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de9c8e5abd1b8f4ac1ebcd50368b8b875206cb1147e85cc2c6030273a6f08adec712784f2ef3a2060bdbf3b9f36a7e68c81>

*Prashanth Mekala
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de9536a1a7007d6431b6b5d829a72b539709e8d6e7c9fdaf90755f0d7405adfc62499f164e9ef8d5442f4a139459ef84605>*
(ENG 1999, HNZ 2016)

[image: Manuela M. Veloso (SCS 1989, 1992)]
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de9c8e5abd1b8f4ac1ebcd50368b8b875206cb1147e85cc2c6030273a6f08adec712784f2ef3a2060bdbf3b9f36a7e68c81>

*Manuela M. Veloso
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de92ecce621caf625a8abf9c84a3912b1d7ac519b698e2f76e2c9b14a494043629efdd0bb9f8473573f003754e0e6c1223b>*
(SCS 1989, 1992)
[image: Alumni Service Award]
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de98df667ef2158307781a051b431a388eedae74ac3e3bbd58d83ea625b27052780808d01c902e870bae6a2fde12c7bf0cc>
[image: Paul Gerlach (CFA 1967, 1968, 1972)]
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de98df667ef2158307781a051b431a388eedae74ac3e3bbd58d83ea625b27052780808d01c902e870bae6a2fde12c7bf0cc>

*Paul Gerlach
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de9308802f9c6aeee00abd972d5107cb50cb2aedd71d24c635ddf5eb275eb6f28bb0ec05a35a62decaba5d0b1c1ab8ea8d3>*
(CFA 1967, 1968, 1972)

[image: Katherine Kohatsu (ENG 1997, TPR 2005)]
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de98df667ef2158307781a051b431a388eedae74ac3e3bbd58d83ea625b27052780808d01c902e870bae6a2fde12c7bf0cc>

*Katherine Kohatsu
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de98afe532988e49e807ac2ce677b84e334de6194818caafd6f8eba3bd8ae7e7bd6493daf161b4062dfe6cb0cf67fd93da9>*
(ENG 1997, TPR 2005)
[image: Jack McGrath (TPR 1961)]
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de98df667ef2158307781a051b431a388eedae74ac3e3bbd58d83ea625b27052780808d01c902e870bae6a2fde12c7bf0cc>

*Jack McGrath
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de913a28f8cdce9a8e3ebe50e2a50b6839c089607786ec84ba143131a1300aa4316db26cdcf560839f56d76dae350565254>*
(TPR 1961)

[image: Don Michel (ENG 1990)]
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de98df667ef2158307781a051b431a388eedae74ac3e3bbd58d83ea625b27052780808d01c902e870bae6a2fde12c7bf0cc>

*Don Michel
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de929e89b51fc8b0bd3d14177791b041dfc39de9cebd3f28c71d913414cef9aeb2db74ea9c7cd491fc21f995b8d4ccf470c>*
(ENG 1990)
[image: Outstanding Recent Alumna Award]
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de9d2e93a412cb026dd9b30ae7679d37da47b84ed5d5a49444d7b5fbc5b3f75a63ce20a1738b157704eb6a6850c5e676f97>
[image: Emily Kennedy (DC 2012)]
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de9d2e93a412cb026dd9b30ae7679d37da47b84ed5d5a49444d7b5fbc5b3f75a63ce20a1738b157704eb6a6850c5e676f97>

*Emily Kennedy
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de939be7547886c39b3a216664c11d70f2eaaeb9811891727bf98e787527ee1b61febe701f5bb3be9e3f22d3b656061123a>*
(DC 2012)

[image: Student Engagement Award]
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de99d47173c789439ac1f60e6ed1c5369252d14b94ec1242896e0151532acd9330e172bb535c50257ee2721230fa71759d0>
[image: Cory Bird (MCS 2019)]
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de99d47173c789439ac1f60e6ed1c5369252d14b94ec1242896e0151532acd9330e172bb535c50257ee2721230fa71759d0>

*Cory Bird
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de9f6f57415655a7094e1c120ca7ea822b180e4c869ebe6ed5d93f7de264e69742fa1dafe1b2894c350e13e2ce0994487d4>*
(MCS 2019)


This email was sent by:
*Carnegie Mellon University*
5000 Forbes Ave, Pittsburgh, PA, 15213 US

Manage Subscriptions
<http://click.connect.cmu.edu/?qs=6d82bb710edd6de94c8f5e7b34bc5dda8e4f59674054440b7d4fc17aebb1945eca1d42ac4651a1d9c27b6257dcd66e23267160ae0e502bfdca7148f03eea5248>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.srv.cs.cmu.edu/pipermail/autonlab-users/attachments/20210122/fbb5f23b/attachment-0001.html>

From ngisolfi at cs.cmu.edu  Thu Jan 28 10:31:02 2021
From: ngisolfi at cs.cmu.edu (Nick Gisolfi)
Date: Thu, 28 Jan 2021 10:31:02 -0500
Subject: [Lunch] Today @noon over zoom
Message-ID: <D1A7B376-59BB-4A53-AF90-106F80B5C200@cs.cmu.edu>

https://cmu.zoom.us/j/96391712304?pwd=WGhzSy9kWnNpc3haZjd5bmVXV291QT09 <https://cmu.zoom.us/j/96391712304?pwd=WGhzSy9kWnNpc3haZjd5bmVXV291QT09>

We hope to see you there!

- Nick
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.srv.cs.cmu.edu/pipermail/autonlab-users/attachments/20210128/aeda7022/attachment.html>

From predragp at andrew.cmu.edu  Sun Jan 31 18:03:17 2021
From: predragp at andrew.cmu.edu (Predrag Punosevac)
Date: Sun, 31 Jan 2021 18:03:17 -0500
Subject: Main file server temp down
Message-ID: <CAEFFt-Eog8XuKWpM91ykrtEnPTiQkE3YV++KHorhrY6i0k2fRw@mail.gmail.com>

Dear Autonians,

The main file server Gaia is temporary down. I applied security patches and
updates across all the FreeBSD file servers and jail hosts (6 in total) and
rebooted them. Unfortunately, GAIA was running ZFS scrubbing and didn't
come back. In my experience, once the scrubbing finishes (hopefully in an
hour or two) it should automatically come back online. I apologize for any
inconvenience but servers need some regular maintenance to be able to run.

On an unrelated note, I had to reboot GPU2 which was crashed by runaway
scripts. As you probably know Python is not designed for scientific
computing and has a global interpreter lock (GIL) which makes multithreaded
programming almost impossible. Our users just like all other people who are
using Python for scientific computing keep spawning process in order to
fake multithreading as a result we have regular server reboots/crashes.

Cheers,
Predrag
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.srv.cs.cmu.edu/pipermail/autonlab-users/attachments/20210131/c9c61cdc/attachment.html>