| *** laurenceurhegyi has quit IRC | 07:22 | |
| *** ctbruce has joined #trustable | 07:32 | |
| *** laurenceurhegyi has joined #trustable | 07:40 | |
| *** laurenceurhegyi has quit IRC | 08:13 | |
| *** laurenceurhegyi has joined #trustable | 08:18 | |
| ChrisPolin | It appears OpenControl is still alive and well, they're having an OpenControl gathering in Washington DC. Might be useful to stream into if it's feasible. | 08:47 |
|---|---|---|
| paulsherwood | cool! | 08:55 |
| ChrisPolin | Just reading more about it now, it may be a small meeting for those involved, rather than a conference-type event. The discussions are all public (https://github.com/opencontrol/discuss/issues/8), I'll read a bit more about it now. | 08:57 |
| paulsherwood | gatecrashing would still be worth a try | 08:59 |
| paulsherwood | and in any case, to be involved, people need to *get* involved | 08:59 |
| ChrisPolin | I agree. Going to chance my arm and give Josh McKenty a shout. | 09:00 |
| * paulsherwood thinks Josh will be supportive | 09:02 | |
| ChrisPolin | He strikes me as the sort. | 09:03 |
| *** laurenceurhegyi has quit IRC | 09:11 | |
| ChrisPolin | https://www.surveymonkey.com/r/CSV29MP | 09:15 |
| *** locallycompact has joined #trustable | 09:18 | |
| *** laurenceurhegyi has joined #trustable | 09:32 | |
| *** faybrocklebank has joined #trustable | 09:48 | |
| paulsherwood | what's A&A ? | 09:48 |
| ChrisPolin | Good question. | 09:49 |
| ChrisPolin | lol I'm going to assume it's not Alcoholics Anonymous (thanks google). | 09:50 |
| *** jmacs has quit IRC | 09:56 | |
| *** jmac has joined #trustable | 09:59 | |
| leeming | maybe they do use opencontrol for alcoholics anon? they need to control their urges | 10:01 |
| leeming | locallycompact, what was the name of that lawyer logic book you found? | 10:02 |
| leeming | I have a logician friend that thought it sounded interesting | 10:02 |
| *** jmac is now known as jmacs | 10:03 | |
| locallycompact | leeming, https://www.amazon.co.uk/Deontic-Systems-Cambridge-Introductions-Philosophy/dp/0521139902/ref=sr_1_1?ie=UTF8&qid=1474538922&sr=8-1&keywords=deontic+logic+and+legal+systems | 10:08 |
| leeming | cheers | 10:10 |
| jmacs | We have a copy of that here now, don't we? | 10:12 |
| locallycompact | we do | 10:12 |
| jmacs | Um, fsvo 'here' | 10:12 |
| leeming | jmacs, just wanted to the amazon link/title to share with a friend. I was telling him about this project and he seemed quite interested | 10:22 |
| leeming | I've pointed him towards our documentation /gitlab | 10:22 |
| leeming | unsure on likelihood of contributions as he is busy with PhD, but he might lurk | 10:23 |
| leeming | logic/ontologies PhD | 10:23 |
| ChrisPolin | He may relish the opportunity to shower his head for a bit with something else. | 10:23 |
| leeming | ChrisPolin, you underestimate logicians | 10:24 |
| ChrisPolin | Haha perhaps so. | 10:24 |
| * paulsherwood guessess authentication and authorisation | 10:57 | |
| jmacs | I don't really understand the A&A thing | 11:10 |
| *** laurenceurhegyi has quit IRC | 11:51 | |
| *** laurenceurhegyi has joined #trustable | 12:47 | |
| *** laurenceurhegyi has quit IRC | 13:35 | |
| *** laurenceurhegyi has joined #trustable | 13:41 | |
| leeming | ARGH! | 14:59 |
| jmacs | ARGH? | 14:59 |
| leeming | well a good argh, but ARGH wtf!? | 14:59 |
| * leeming finally got something working | 15:00 | |
| leeming | I knew /lib and /lib64 was a thing | 15:00 |
| leeming | didn't realise /lib32 also | 15:00 |
| leeming | so to get something to work, I had to state all three | 15:00 |
| * leeming sigh | 15:00 | |
| leeming | something = bubblewrap | 15:01 |
| *** ctbruce has quit IRC | 16:12 | |
| *** locallycompact has quit IRC | 17:00 | |
| *** laurenceurhegyi has quit IRC | 17:23 | |
| *** faybrocklebank has quit IRC | 21:36 | |
| *** leeming has quit IRC | 21:37 | |
| *** paulsherwood has quit IRC | 21:37 | |
| *** pedroalvarez has quit IRC | 21:37 | |
| *** ctgriffiths has quit IRC | 21:37 | |
| *** mdunford has quit IRC | 21:37 | |
| *** jmacs has quit IRC | 21:37 | |
| *** ChrisPolin has quit IRC | 21:37 | |
| *** dabukalam has quit IRC | 21:37 | |
| *** persia has quit IRC | 21:37 | |
| *** jmacs has joined #trustable | 21:38 | |
| *** dabukalam has joined #trustable | 21:38 | |
| *** ChrisPolin has joined #trustable | 21:38 | |
| *** ctgriffiths has joined #trustable | 21:38 | |
| *** mdunford has joined #trustable | 21:38 | |
| *** paulsherwood has joined #trustable | 21:38 | |
| *** persia has joined #trustable | 21:38 | |
| *** pedroalvarez has joined #trustable | 21:38 | |
| *** niven.freenode.net sets mode: +o pedroalvarez | 21:38 | |
| *** faybrocklebank has joined #trustable | 21:40 | |
| *** leeming has joined #trustable | 21:41 | |
| *** mdunford has quit IRC | 23:31 | |
Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!