| *** willbarnard has joined #trustable | 06:48 | |
| *** spinglet has joined #trustable | 07:26 | |
| *** toscalix has joined #trustable | 07:52 | |
| *** johnward has joined #trustable | 08:53 | |
| *** shaunmooney has joined #trustable | 09:02 | |
| *** traveltissues_ has joined #trustable | 09:36 | |
| flatmush | STANDUP! Order: flatmush, Shaun, ikerperez | 09:45 |
|---|---|---|
| flatmush | ## Ben Brewer (flatmush) | 09:45 |
| flatmush | * Done | 09:45 |
| flatmush | - Catchup meeting | 09:45 |
| flatmush | - Look into SSH, SSL and systemd | 09:45 |
| flatmush | - Create branches for dropbear and openssh | 09:45 |
| flatmush | * Doing | 09:45 |
| flatmush | - Figure out how to apply SSL patch to openssh using buildstream | 09:45 |
| flatmush | - Add systemd to minimal distro (in a branch) | 09:45 |
| flatmush | ## Shaun Mooney (Shaun) | 09:45 |
| shaunmooney | * Done | 09:47 |
| shaunmooney | - Read through relevant parts of "Engineering a Safer World" book | 09:47 |
| shaunmooney | - Read through STPA handbook | 09:47 |
| shaunmooney | * Doing | 09:47 |
| shaunmooney | - Researching STPA for autonomous cars prior work | 09:47 |
| shaunmooney | - Creating functional control model for autonomous cars | 09:47 |
| shaunmooney | * Next | 09:47 |
| shaunmooney | - Install XSTAMPP and draw autonomous control model | 09:47 |
| shaunmooney | - Summarise STPA material | 09:47 |
| shaunmooney | - Explain autonomous car functional control model as an example | 09:47 |
| shaunmooney | * Issues | 09:47 |
| shaunmooney | - None | 09:47 |
| shaunmooney | ## Iker Perez ( ikerperez ) | 09:47 |
| ikerperez | * Done | 09:47 |
| ikerperez | - Install QEMU in the virtual machine | 09:47 |
| ikerperez | - Build the minimal distro in buildstream | 09:47 |
| ikerperez | - Add latency-measure to the minimal distro | 09:47 |
| ikerperez | * Doing | 09:47 |
| ikerperez | - Add latency-measure test totest-minimal-system | 09:47 |
| ikerperez | - Analyse the way the minimal distro uses buildstream | 09:47 |
| ikerperez | # Discussion | 09:47 |
| shaunmooney | _o_ | 09:47 |
| ikerperez | _O_ | 09:47 |
| paulwaters_ | _o_ | 09:47 |
| flatmush | STANDUP ENDS! | 09:48 |
| *** traveltissues_ has quit IRC | 09:58 | |
| *** traveltissues_ has joined #trustable | 09:59 | |
| *** traveltissues_ has quit IRC | 10:16 | |
| *** traveltissues_ has joined #trustable | 10:18 | |
| *** traveltissues_ has quit IRC | 10:46 | |
| *** traveltissues_ has joined #trustable | 10:48 | |
| *** shaunmooney has quit IRC | 12:04 | |
| *** shaunmooney has joined #trustable | 12:07 | |
| paulsherwood | shaunmooney: have you created a repo yet? | 14:02 |
| shaunmooney | paulsherwood: No not yet, just typing it up | 14:03 |
| shaunmooney | I can create the repo now if you want? | 14:03 |
| paulsherwood | by all means | 14:04 |
| * paulsherwood is pondering what we'd have by way of review process and CI | 14:04 | |
| shaunmooney | It's tricky because to begin with it's just documentation really | 14:05 |
| paulsherwood | we have lint on other documentation repos | 14:08 |
| locallycompact | need documentation CI bruv? | 14:10 |
| paulsherwood | locallycompact: do you have some ideas? | 14:11 |
| locallycompact | I maintain pandoc solutions of varying types that support latex, diagrams, R plots, deploys to HTML, pdf and slide options via gitlab | 14:11 |
| paulsherwood | ultimately the work needs to be passed into stampp, or some better equivalent for validating models | 14:12 |
| paulsherwood | locallycompact: interesting. can you point to examples of the diagrams? | 14:12 |
| locallycompact | anything this supports https://archives.haskell.org/projects.haskell.org/diagrams/ | 14:13 |
| locallycompact | for example https://archives.haskell.org/projects.haskell.org/diagrams/doc/quickstart.html#a-worked-example | 14:13 |
| locallycompact | also plots like https://tweag.github.io/HaskellR/ | 14:14 |
| locallycompact | That's waiting in the wings, that I will amend to this site: http://zenhaskell.gitlab.io/gitbook-template/ | 14:14 |
| locallycompact | write in markdown, deploy to html or pdf | 14:15 |
| locallycompact | I think I can also make it support mermaid to pdf, if you like | 14:16 |
| locallycompact | there's a pandoc filter for it but it's not in my docker | 14:16 |
| paulsherwood | i think currently shaunmooney believes that mermaid is not able to handle the diagram(s) he wants to create | 14:17 |
| shaunmooney | https://photos.app.goo.gl/vyNVHmpChTuPfb51A this is the diagram I am trying to draw | 14:18 |
| locallycompact | I thought that was the kind of thing mermaid did, which part is it missing? | 14:18 |
| shaunmooney | Maybe I should stick with it then. The two main problems I am having are the control diagrams are supposed to follow a top down approach i.e. the ordering top to bottom matters, and mermaid is putting things side by side when I try to put things into sub graphs, and the second problem is it looks awful | 14:21 |
| locallycompact | Diagrams might be worth it in the long run then | 14:23 |
| locallycompact | It will do quite precise things with arrows and composition of subdiagrams | 14:23 |
| locallycompact | https://archives.haskell.org/projects.haskell.org/diagrams/doc/manual.html | 14:23 |
| paulsherwood | shaunmooney: can you show me your latest wip source text? | 14:24 |
| * paulsherwood has wrangled a few mermaid diagrams | 14:25 | |
| shaunmooney | paulsherwood: This is how far I got then gave up with mermaid as it wasn't playing how I wanted | 14:27 |
| shaunmooney | https://paste.codethink.co.uk/?4946 | 14:27 |
| paulsherwood | shaunmooney: this is a public channel, best to use a public paste please | 14:28 |
| shaunmooney | paulsherwood: https://justpaste.it/58kij | 14:28 |
| paulsherwood | tvm | 14:29 |
| paulsherwood | that is pretty ugly, i have to say | 14:35 |
| paulsherwood | i think you're right, we need something better | 14:37 |
| locallycompact | what did they use in this handbook | 14:46 |
| locallycompact | maybe not generated | 14:46 |
| shaunmooney | Maybe just have to use something like inkscape and generate an image which is linked to in the markdown | 14:53 |
| paulsherwood | ideally not - we want to be able to diff diagrams if possible | 15:01 |
| locallycompact | maybe they did it in tikz | 15:01 |
| locallycompact | like http://www.texample.net/tikz/examples/poincare/ | 15:02 |
| *** spinglet has quit IRC | 15:29 | |
| shaunmooney | ditaa has given me a nicely rendered diagram in png (with a few small details I'm sure I can overcome) and the plain text input is nice and easy to read itself :) | 15:30 |
| shaunmooney | Have to dash now but will add it to the repo in the morning | 15:30 |
| *** shaunmooney has quit IRC | 15:34 | |
| *** willbarnard has quit IRC | 16:29 | |
| *** traveltissues_ has quit IRC | 16:39 | |
| *** toscalix has quit IRC | 16:39 | |
| *** ikerperez has quit IRC | 16:57 | |
| *** traveltissues_ has joined #trustable | 18:40 | |
| *** traveltissues_ has quit IRC | 20:29 | |
Generated by irclog2html.py 2.15.3 by Marius Gedminas - find it at mg.pov.lt!