| 19 Dec 2019 |
| 11:15:56 |  murphy | Although Kotlin is pretty similar to F# in that is allows combining functional and object-oriented concepts freely. |
| 11:17:30 |  zerotrustzone | Yes, I have noticed the similarities there. |
| 11:19:10 | murphy | Heck, the insight that OOP is not the right solution for everything is even reaching the C++ and Java communities – C++11 and Java 8 have lambda expressions now, it took only four decades to take over the concept from LISP ;-) |
| 11:19:47 | zerotrustzone | Yes, yes, I have read about it. |
| 11:20:13 | zerotrustzone | Don't want (probably) to make money as professional developer though, I'm just playing with it in my free time. |
| 11:20:43 | zerotrustzone | And now I have a vacation (I have angina & I'm on antibiotics), so there's a lot of time to read / play. |
| 11:21:54 | murphy | Ouch, I hope you get well soon, even though I wouldn't want to cut short your play time :-P |
| 11:22:48 | zerotrustzone | Thanks, I'm just sick, tired and overworked - and here are the consequences of my hectic lifestyle, I should expect that. |
| 11:41:23 | murphy | Concerning encrypted messengers, I wonder why no system uses something like PGP's web of trust to verify identity keys. Or maybe there is such a system and I just don't know it. |
| 11:43:13 | murphy | But I think with a central directory of public keys and many connections between the communicating parties, verifying keys using signatures from already trusted parties should work quite well. |
| 11:45:33 | murphy | At least it would get rid of the problem that, in Matrix for example, you have to manually verify every combination of keys between all the devices each party is using just to fully secure a one-on-one chat. For two persons who each use, say, a smartphone, a work computer and a home computer, that's already quite annoying. |
| 16:22:37 | |  gadrev joined the room. |
| 23:05:43 | |  nicola joined the room. |
| 20 Dec 2019 |
| 12:22:55 | |  duquedeturing joined the room. |
| 24 Dec 2019 |
| 14:38:19 | |  stefan joined the room. |
| 20:14:53 | |  damnesia joined the room. |
| 26 Dec 2019 |
| 13:18:45 | |  jason joined the room. |
| 13:38:25 | |  michail joined the room. |
| 27 Dec 2019 |
| 09:49:35 | |  antoine joined the room. |
| 31 Dec 2019 |
| 01:42:57 | |  kunigunde joined the room. |
| 4 Jan 2020 |
| 00:53:07 | | damnesia changed their profile picture. |
| 07:08:59 | | damnesia changed their profile picture. |
| 7 Jan 2020 |
| 11:13:55 | |  friedrich joined the room. |
| 17:27:52 | |  alexandros joined the room. |
| 21:22:18 | |  mateo joined the room. |
| 8 Jan 2020 |
| 23:40:27 | |  frederike joined the room. |
| 11 Jan 2020 |
| 22:24:42 | |  olaf joined the room. |
| 16 Jan 2020 |
| 19:25:15 | |  hopar joined the room. |
| 24 Jan 2020 |
| 05:23:14 | | damnesia removed their profile picture. |
| 05:33:24 | | damnesia set a profile picture. |
