| 2 Apr 2018 |
| 16:57:01 |  ShalokShalom | Matrix is capable to show bridged IRC channels, not all? |
| 3 Apr 2018 |
| 00:46:40 |  rizary_ | yep seems like that |
| 4 Apr 2018 |
| 05:36:07 | ShalokShalom | I just looks different, because there are so much of them integrated ^-^ |
| 8 Apr 2018 |
| 22:25:03 | |  @scitesy:matrix.org joined the room. |
| 9 Apr 2018 |
| 18:24:36 | | @scitesy:matrix.org left the room. |
| 12 Apr 2018 |
| 16:56:36 | |  el_tejon joined the room. |
| 16 Apr 2018 |
| 21:30:37 | |  alextroshkin joined the room. |
| 21:32:02 | | alextroshkin set a profile picture. |
| 18 Apr 2018 |
| 19:15:44 | | @scitesy:matrix.org joined the room. |
| 20 Apr 2018 |
| 05:37:32 | | @scitesy:matrix.org left the room. |
| 28 Apr 2018 |
| 12:22:48 | |  @sgoody:matrix.org joined the room. |
| 10 Jun 2018 |
| 04:50:34 | | @scitesy:matrix.org joined the room. |
| 11:26:38 | | @scitesy:matrix.org left the room. |
| 18 Jun 2018 |
| 02:59:48 | | @scitesy:matrix.org joined the room. |
| 26 Jun 2018 |
| 01:51:25 | | @scitesy:matrix.org left the room. |
| 3 Jul 2018 |
| 22:01:08 | | @scitesy:matrix.org joined the room. |
| 16 Jul 2018 |
| 04:16:29 | | @scitesy:matrix.org left the room. |
| 18 Jul 2018 |
| 01:40:35 | |  chaiapodi joined the room. |
| 21 Jul 2018 |
| 03:39:28 | | chaiapodi left the room. |
| 24 Jul 2018 |
| 03:34:09 | | chaiapodi joined the room. |
| 30 Aug 2018 |
| 03:01:58 | |  morranr joined the room. |
| 3 Sep 2018 |
| 17:45:43 | | morranr left the room. |
| 18:22:33 | el_tejon | Redacted or Malformed Event |
| 8 Sep 2018 |
| 18:14:20 | |  @morranr:morr.us joined the room. |
| 11 Sep 2018 |
| 00:53:35 | |  chaiapodis joined the room. |
| 4 Nov 2018 |
| 13:55:36 | |  vimvigor joined the room. |
| 11 Dec 2018 |
| 10:13:50 | |  kalloc joined the room. |
| 12 Dec 2018 |
| 04:26:10 | vimvigor | So far so good on listening/watching this video about F* -> Verified Effectful Programming in F* - Catalin Hritcu: https://www.youtube.com/watch?v=SPCko8ACB0M |
| 13 Dec 2018 |
| 15:04:34 | | @morranr:morr.us left the room. |
| 29 Dec 2018 |
| 01:26:43 | |  chantisnake joined the room. |
