| *** iker has joined #trustable | 06:56 | |
| *** iker has quit IRC | 07:04 | |
| *** iker has joined #trustable | 07:06 | |
| * paulsherwood wonders what https://gitlab.com/trustable/overview/-/jobs/101178917 means | 07:15 | |
| paulsherwood | it's all very well having gitect in the pipelines, but without any meaningful error message it's not fit for its purpose | 07:16 |
|---|---|---|
| paulsherwood | iker: pls can you take a look at this? | 07:17 |
| *** weyfonk has joined #trustable | 07:18 | |
| iker | paulsherwood, The policy check needs a merge request to be successful | 07:25 |
| iker | That's probably the reason of the error | 07:25 |
| paulsherwood | then it's broken | 07:27 |
| paulsherwood | there's no point in giving me a failed ci just because i haven't created a mr | 07:27 |
| paulsherwood | failure of the pipeline suggests that i am somehow breaking policy just by pushing a branch, which must be incorrect | 07:33 |
| iker | I think that until there is not a merge request the necessary information for the merge request can't be provide or something similar. That's the way gitect works at the moment, however you could open a merge request with the WIP prefix to check if it is successful. | 07:33 |
| paulsherwood | pls raise an issue on gitect, then | 07:34 |
| iker | ok | 07:34 |
| *** toscalix has joined #trustable | 07:37 | |
| *** spinglet has joined #trustable | 07:39 | |
| iker | paulsherwood, I explained myself incorrectly. If there is not a merge request, the necessary information for the POLICY CHECK can't be provided, or something similar | 07:41 |
| paulsherwood | even so, as a user i create a branch... my ci shouldn't fail as a result of 'policy' with no guidance on what i need to do | 07:59 |
| *** ecclescake has joined #trustable | 08:43 | |
| *** shaunmooney has joined #trustable | 08:49 | |
| *** poppysingleton-h has joined #trustable | 09:34 | |
| *** spinglet has quit IRC | 09:35 | |
| *** poppysingleton-h is now known as spinglet | 09:35 | |
| flatmush | STANDUP! Order: flatmush, Shaun, iker, ctgriffiths | 09:45 |
| flatmush | ## Ben Brewer (flatmush) | 09:45 |
| flatmush | * Done | 09:45 |
| flatmush | - E-mail about git issues | 09:45 |
| flatmush | - Awaiting response | 09:45 |
| flatmush | - More junction stuff with freedesktop-sdk | 09:45 |
| flatmush | - freedesktop-sdk pkgconf patch. | 09:45 |
| flatmush | - Help ctgriffiths install Xubuntu | 09:45 |
| flatmush | * Doing | 09:45 |
| flatmush | - Finish off junctioning minimal-distro | 09:45 |
| flatmush | - Add ssh to test element of minimal-distro | 09:45 |
| flatmush | - Get tests running over ssh | 09:45 |
| flatmush | ## Shaun Mooney (Shaun) | 09:45 |
| shaunmooney | * Done | 09:45 |
| shaunmooney | - Studied STPA handbook in more detail | 09:45 |
| shaunmooney | * Doing | 09:45 |
| shaunmooney | - Getting STPA analysis presentable | 09:45 |
| shaunmooney | - Add control actions and do STPA for one part of the system (like brakes) | 09:45 |
| shaunmooney | - Working through primer | 09:45 |
| shaunmooney | * Next | 09:45 |
| shaunmooney | - AV STPA responsibilites and control actions | 09:45 |
| shaunmooney | * Issues | 09:45 |
| shaunmooney | - None | 09:45 |
| shaunmooney | ## Iker Perez ( iker ) | 09:45 |
| shaunmooney | Sorry wasn't thinking there, iker isn't here | 09:47 |
| ctgriffiths | ok | 09:47 |
| shaunmooney | ctgriffiths you should go next | 09:47 |
| ctgriffiths | ## Craig Griffiths (ctgriffiths) | 09:47 |
| ctgriffiths | * Done | 09:47 |
| ctgriffiths | - Start looking at what is required for ssh on the minimal image. | 09:47 |
| ctgriffiths | - Debugging build issues. | 09:47 |
| ctgriffiths | - benbrewer/freedesktop-sdk-junction successfully building on an | 09:47 |
| ctgriffiths | ubuntu VM | 09:47 |
| ctgriffiths | * Doing | 09:47 |
| ctgriffiths | - Work on ssh for minimal image and work out what can be junctioned | 09:47 |
| ctgriffiths | from freedesktop-sdk. | 09:47 |
| ctgriffiths | ## Discussion | 09:47 |
| shaunmooney | _o_ | 09:47 |
| ctgriffiths | _o_ | 09:47 |
| flatmush | STANDUP ENDS! | 09:48 |
| paulsherwood | shaunmooney: pls can you take a look at https://gitlab.com/trustable/overview/merge_requests/38 | 10:21 |
| * paulsherwood discovers https://www.sciencedirect.com/science/article/pii/S2214212616300850 | 10:25 | |
| * paulsherwood notices there are equations in it, and wonders if that might interest locallycompact | 10:26 | |
| shaunmooney | paulsherwood: other than a couple of small typos (which I've commented on the gitlab) looks good | 10:32 |
| locallycompact | paulsherwood: don't recognize those words | 10:34 |
| paulsherwood | locallycompact: :) | 10:37 |
| locallycompact | but I will tell you what is baffling me | 10:38 |
| paulsherwood | shaunmooney: what's wrong with "appears to be applicable"? we won't know unless/until we've tried it, i think? | 10:38 |
| paulsherwood | locallycompact: pls proceed... | 10:38 |
| shaunmooney | paulsherwood: sorry that was a poor comment. I've updated it. It currently says "appears to applicable" | 10:40 |
| shaunmooney | you missed out the word be | 10:40 |
| paulsherwood | shaunmooney: aha! thanks | 10:40 |
| locallycompact | Why, do the STPA crowd at MIT, and the category theory crowd at MIT who are working on composition of dynamical systems and control systems, explicitly referencing safety of autonomous vehicles and quote a safety project in conjunction with NASA, have zero cross citations between them. | 10:40 |
| locallycompact | https://arxiv.org/pdf/1803.05316.pdf | 10:40 |
| locallycompact | Do they know the other exists? | 10:40 |
| locallycompact | "We now have at least a basic idea of what goes into a proof of safety, say for autonomous | 10:41 |
| locallycompact | vehicles, or airplanes in the national airspace system. In fact, the underlying ideas of | 10:41 |
| locallycompact | this chapter came out of a project between MIT, Honeywell Inc., and NASA [SSV18]." | 10:41 |
| paulsherwood | perhaps they're somehow conflicting/competing? | 10:42 |
| paulsherwood | good question, though | 10:43 |
| persia | locallycompact: They probably don't know the other exists. The institution is large, and the primary means of cross-team collaboration is the chance that people pass each other in a specific very long corridor. | 10:43 |
| persia | https://en.wikipedia.org/wiki/Infinite_Corridor | 10:43 |
| paulsherwood | locallycompact: based on my own experience, maybe the mathematicians and the engineers are failing to understand each other? :) | 10:44 |
| locallycompact | :) | 10:45 |
| paulsherwood | i'm immediately blocked on that paper you've just mentioned, for example because it lobs in functor and monoid as if they were 'sesame street language' | 10:47 |
| paulsherwood | is there some dictionary for these terms, preferably with janet-and-john style examples? | 10:48 |
| locallycompact | They're algebraic terms though, there are colorful analogies and examples for monoid and functor abound, but they all allude to a precise algebraic definition | 11:00 |
| locallycompact | I could give you an actual primer and you can try and laymanize it | 11:03 |
| paulsherwood | hmmm | 11:06 |
| locallycompact | The introduction to chapter 7 is so strikingly similar | 11:13 |
| locallycompact | to what I believe I understand about STPA | 11:13 |
| locallycompact | "This ability to zoom in and see a single unit as being composed of others is important | 11:13 |
| locallycompact | for design. But at the end of the day, you eventually need to stop diving down and | 11:13 |
| locallycompact | simply use the properties of the components in front of you to prove properties of | 11:13 |
| locallycompact | the composed system. Your job is to design the system at a given level, taking the | 11:13 |
| locallycompact | component properties of lower-level systems as given" | 11:13 |
| locallycompact | "We will think of each component in terms of the relationship it maintains (through | 11:14 |
| locallycompact | time) between the changing values on its ports." | 11:14 |
| *** iker has quit IRC | 11:41 | |
| *** iker has joined #trustable | 11:43 | |
| *** ikerperez has joined #trustable | 13:56 | |
| *** iker has quit IRC | 13:59 | |
| *** ikerperez has quit IRC | 14:04 | |
| *** iker has joined #trustable | 14:04 | |
| *** iker has quit IRC | 14:58 | |
| *** spinglet has quit IRC | 16:00 | |
| *** shaunmooney has quit IRC | 16:01 | |
| *** toscalix has quit IRC | 16:14 | |
| *** ecclescake has quit IRC | 16:22 | |
Generated by irclog2html.py 2.15.3 by Marius Gedminas - find it at mg.pov.lt!