| 2 Jan 2022 |
|  zuckerberg joined the room. | 03:57:40 |
|  wackbyte joined the room. | 16:11:11 |
| 4 Jan 2022 |
|  net-mist joined the room. | 16:24:50 |
| 7 Jan 2022 |
|  papojari🇪🇺🇩🇪 left the room. | 10:15:58 |
| 8 Jan 2022 |
|  Zurdo joined the room. | 18:55:26 |
| 12 Jan 2022 |
|  Winter (she/her) joined the room. | 11:56:32 |
| 13 Jan 2022 |
|  NixOS Moderation Bot unbanned  David Arnold (blaggacao). | 18:43:04 |
| 14 Jan 2022 |
|  Chinchilla Washington changed their display name from Rev. CornWallace III (novus ordo seclorum) to coilWinder. | 04:40:43 |
| Chinchilla Washington changed their display name from coilWinder to CoilWinder (novus ordo seclorum). | 04:42:50 |
| 16 Jan 2022 |
| Zurdo left the room. | 16:33:36 |
| 19 Jan 2022 |
|  jake :: Stateless -> Farm joined the room. | 14:42:04 |
| 20 Jan 2022 |
|  andi- left the room. | 00:11:47 |
| 23 Jan 2022 |
 asymmetric | does anyone else think we should remove the "natural deduction" proof from the nixpkgs manual? | 11:50:10 |
| asymmetric | i don't think it really belongs to the main body of a technical manual | 11:50:31 |
| asymmetric | it would be good as an appendix, perhaps | 11:50:37 |
| asymmetric | * does anyone else think we should remove the "natural deduction" from the nixpkgs manual? | 11:57:41 |
| asymmetric | * does anyone else think we should remove the "natural deduction" proof from the nixpkgs manual? | 11:57:49 |
| asymmetric | * does anyone else think we should remove the natural deduction proof from the nixpkgs manual? | 11:58:06 |
 chreekat | Agreed. I've always struggled with that whole section | 12:37:24 |
| asymmetric | Yeah it’s like to rewrite it | 13:16:01 |
| asymmetric | * Yeah I’d like to rewrite it | 13:16:10 |
 toonn | What section is this? | 13:16:59 |
| chreekat | The one linked right above, https://nixos.org/manual/nixpkgs/unstable/#ssec-stdenv-dependencies | 15:17:09 |
 jonringer | I was thinking of adding subsections to the release notes, how do people feel about:
- Backward Incompatibilities
- Changes
- Deprecations
- Removals
...
| 19:23:30 |
| Winter (she/her) | What would be the line between changes and removals? Like, would an option’s type or semantics changing be considered a change? | 19:31:32 |
| jonringer |
type: yes. semantics: depends? | 19:35:14 |
| jonringer |
What would be the line between changes and removals?
Change:
- `services.thelounge.private` was removed in favor of `services.thelounge.public`, to follow with upstream changes.
Removal:
- The MoinMoin wiki engine (`services.moinmoin`) has been removed, because Python 2 is being retired from nixpkgs.
| 19:36:41 |
| jonringer | I'll do an example PR | 19:38:37 |
| Winter (she/her) | Ah you mean like that, got it. | 19:54:25 |
| Winter (she/her) | As long as we explicitly define what should go where then I definitely agree with this change :) | 19:54:52 |
