13 Feb 2023 |
SethTisue#7418 | adding mdoc support or something comparable to Scaladoc, 3 and/or 2, would make a great project for somebody. it's actually pretty lame that we don't have checking for the code snippets in the stdlib | 21:34:16 |
SethTisue#7418 | really? how? | 21:35:06 |
velvetbaldmime#6377 | The scala docs website doesn't allow me to link to sections, but compiling snippets I believe has been around for a while: https://docs.scala-lang.org/scala3/guides/scaladoc/snippet-compiler.html#snippet-includes
When I say "compling snippets" I mean the snippets in the markdown that Scaladoc renders as the static website | 21:36:29 |
SethTisue#7418 | TIL... perhaps not for the first time (YIF, TILA) | 21:39:05 |
makingthematrix#9466 | https://www.videoscribe.co/en/
Its main purpose is short educational videos, but I use it both for making slides and animations which I use in talks. | 23:38:06 |
18 Feb 2023 |
| Paweł changed their display name from Paweł to pawlik#7669. | 23:50:53 |
| Paweł changed their display name from pawlik#7669 to Paweł. | 23:50:55 |
23 Feb 2023 |
| Porcelain#5671 changed their display name from YinXiran to Porcelain#5671. | 13:51:21 |
| Porcelain#5671 changed their profile picture. | 13:51:27 |
11 Mar 2023 |
| slow.brain joined the room. | 03:03:43 |
16 Mar 2023 |
| zebos#7602 changed their profile picture. | 08:34:03 |
18 Mar 2023 |
| jasonAlex() changed their display name from jasonAlex() to jasonAlex()#9080. | 16:28:42 |
| jasonAlex() changed their display name from jasonAlex()#9080 to jasonAlex(). | 16:28:43 |
19 Mar 2023 |
| Potatoe[F[_]] changed their display name from Potatoe[F[_]] to Potatoe[F[_]]#8651. | 15:57:36 |
| Potatoe[F[_]] changed their display name from Potatoe[F[_]]#8651 to Potatoe[F[_]]. | 15:57:40 |
2 Apr 2023 |
| actionmarcel#5496 changed their display name from actionmarcel to actionmarcel#5496. | 12:35:28 |
28 Apr 2023 |
| zebos#7602 changed their profile picture. | 04:46:21 |
5 May 2023 |
| zebos#7602 changed their profile picture. | 00:41:47 |
7 May 2023 |
| Potatoe[F[_]] changed their display name from Potatoe[F[_]] to Potatoe[F[_]]#8651. | 13:54:44 |
| Potatoe[F[_]] changed their display name from Potatoe[F[_]]#8651 to Potatoe[F[_]]. | 13:54:49 |
11 May 2023 |
| zebos#7602 changed their profile picture. | 04:54:24 |
| Potatoe[F[_]] changed their display name from Potatoe[F[_]] to Potatoe[F[_]]#8651. | 08:57:53 |
| Potatoe[F[_]] changed their display name from Potatoe[F[_]]#8651 to Potatoe[F[_]]. | 08:57:56 |
12 May 2023 |
| jaacko.torus#8796 changed their display name from jaackotorus to jaacko.torus#8796. | 23:21:41 |
| jaacko.torus#8796 changed their profile picture. | 23:21:52 |
18 May 2023 |
SethTisue#7418 | please share on #links instead (I think more people will see it there) | 00:48:47 |
SethTisue#7418 | cool post btw | 03:51:21 |
19 May 2023 |
| Majestic changed their display name from Majestic to Majestic#1066. | 12:55:38 |
| Majestic changed their display name from Majestic#1066 to Majestic. | 12:55:48 |
29 May 2023 |
| Σrror#7727 changed their display name from Σrror to Σrror#7727. | 17:39:12 |