| 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 |
| jonringer | So, the headers allow for us to drop a bunch of "The options <foo> <bar> ..." "The package pkgs.<pkgname>" prose | 19:57:24 |
| jonringer | * Also, the headers allow for us to drop a bunch of "The options <foo> <bar> ..." "The package pkgs.<pkgname>" prose | 19:57:49 |
| jonringer | https://github.com/NixOS/nixpkgs/pull/156355 | 20:14:17 |
| 29 Jan 2022 |
|  Tobias Pankrath joined the room. | 09:16:00 |
 joepie91 🏳️🌈 | 
Download cheatsheet.png | 22:57:28 |
| joepie91 🏳️🌈 | I've finished my 'cheatsheet', I think | 22:57:35 |
