12 Apr 2024 |
| nphardass joined the room. | 11:25:18 |
14 Apr 2024 |
| sumew joined the room. | 15:49:18 |
15 Apr 2024 |
| valencik changed their profile picture. | 12:31:42 |
16 Apr 2024 |
| wu_lynx joined the room. | 15:44:28 |
| jackkoenig changed their profile picture. | 20:29:15 |
| andy.czerwonka joined the room. | 23:17:41 |
17 Apr 2024 |
| ashwin1899 joined the room. | 07:25:43 |
18 Apr 2024 |
| mzuehlke joined the room. | 06:39:00 |
| emperorf joined the room. | 13:18:36 |
| zanpreston joined the room. | 15:57:31 |
19 Apr 2024 |
| rodney0 changed their profile picture. | 17:05:50 |
22 Apr 2024 |
| renghen joined the room. | 10:02:42 |
24 Apr 2024 |
| digitalmechanic joined the room. | 10:26:55 |
25 Apr 2024 |
| oyvindberg joined the room. | 20:48:50 |
| Michael D changed their profile picture. | 20:57:05 |
26 Apr 2024 |
| bjornregnell joined the room. | 11:40:45 |
27 Apr 2024 |
| cobra8151 joined the room. | 09:53:05 |
30 Apr 2024 |
| .gersondev changed their display name from gersondev to .gersondev. | 09:45:02 |
| toniogela changed their profile picture. | 10:09:24 |
2 May 2024 |
| vt19110882 joined the room. | 19:18:52 |
4 May 2024 |
| severian_au changed their display name from severian to severian_au. | 02:39:04 |
6 May 2024 |
| mrsauceman joined the room. | 16:37:16 |
7 May 2024 |
| VMetals changed their display name from water_underscore to VMetals. | 07:02:00 |
| mvillafuerte joined the room. | 13:46:29 |
8 May 2024 |
sethtisue | is there an administrator here who could set the flag on this server so that it comes up in server discovery? | 18:32:40 |
sethtisue | ![Screenshot_2024-05-08_at_10.26.00_AM.png](https://matrix.org/_matrix/media/r0/thumbnail/t2bot.io/111551eaef02cbfec6bf1db05cad05637f41f21b1788275924202946560?height=360&method=scale&width=360) Download Screenshot_2024-05-08_at_10.26.00_AM.png | 18:32:59 |
sethtisue | Typelevel recently made their server discoverable, so if I search "Scala" these are now the top 2 hits: | 18:33:00 |
sethtisue | would be good IMO to have Scalameta server show up too | 18:33:07 |
sethtisue | you can also add an image banner, as the screenshot shows 🙂 | 18:33:27 |
9 May 2024 |
Tomasz Godzik | We don't have enough people/activity for that, It needs at least 1000 members | 14:06:59 |