| 4 Mar 2024 |
infinisil | Pablo Escodebar: Good idea! I opened https://github.com/tweag/nix-hour/issues/66 to collect things to cover, feel free to comment if something is missing :) | 17:44:39 |
Gerd Flaig | Got an eng review at 21:00, so can't join in person this time. :/ Good thing you're streaming. :) | 20:10:46 |
| 5 Mar 2024 |
das-g | Shall people bring their own food or will the social part of the event be in a restaurant or is the plan to go to a restaurant afterwards for dinner? | 09:51:48 |
ners | Neither, food and drinks will be graciously provided by our host. :) | 10:27:25 |
ners | I should put that in the meetup event. | 10:27:34 |
infinisil | ners: Marc Jakobi: I'm afraid I'm might be getting sick, and I'd rather not risk infecting others, so I'm afraid I won't join after all 😥 | 15:35:15 |
ners | Oh no! Hope you get better soon, infinisil | 15:35:38 |
Marc Jakobi | 😢 get well soon | 15:36:16 |
ners | Can we still pester you for reviews over Matrix? 😆 | 15:37:08 |
infinisil | I'm not very sick just yet, and it might not be anything in fact (though I had close contact with a sick person like 4 days ago and now I have a sore throat..) | 16:13:06 |
infinisil | So I'll still host the Nix Hour today, but just online.. Way less fun, but rather safe than sorry | 16:14:20 |
infinisil | Or maybe I'll just cancel it, it might be best to just rest and not strain myself | 16:17:59 |
infinisil | Anyways I wish y'all a nice event! | 16:18:06 |
ners | I’ll be there at about 18:15, got held up by work. | 16:33:06 |
Jeremy Stucki | Can someone please open the door? It's locked and ringing the doorbells has no effect. | 17:03:58 |
ners | Marc Jakobi | 17:04:11 |
Jeremy Stucki | Hi guys, this is the package I'd like to get packaged:
https://github.com/NixOS/nixpkgs/issues/249155
Related issue:
https://github.com/NixOS/nixpkgs/issues/273668 | 17:28:57 |
| 6 Mar 2024 |
Arialdo Martini | Hi folks. I really enjoyed the session together. As a person only working on Linux, Haskell and Nix exclusively in my free time (because work condemned me to awfully old technologies) I found you all really impressive and inspiring. Very energizing. Thank you! | 08:23:43 |
Arialdo Martini | Yesterday you mentioned a way to use ghc to output the AST parsed from a Haskell source code. Would you be so kind to remind me again? | 09:49:32 |
Arialdo Martini | In particular: I'm exploring the meaning of the jargon from type theory "above the arrow", "below the arrow" , "to the left of the arrow" when talking about forall and the fat arrow => | 09:51:56 |
Arialdo Martini | * In particular: I'm exploring the meaning of the jargon from type theory "above the arrow", "below the arrow" , "to the left of the arrow" when talking about forall and the fat arrow => which I understand has to do with the position of forall in the syntax tree. | 09:52:29 |
ners | In reply to @arialdo:matrix.org Yesterday you mentioned a way to use ghc to output the AST parsed from a Haskell source code. Would you be so kind to remind me again? I remember talking about TH as a way to generate an AST that is then injected at the call-site.
To see the various intermediate representations that GHC generates in its various pipelines, you can use dump flags: https://downloads.haskell.org/ghc/latest/docs/users_guide/debugging.html
| 10:02:14 |
ners | In reply to @arialdo:matrix.org Yesterday you mentioned a way to use ghc to output the AST parsed from a Haskell source code. Would you be so kind to remind me again? * I remember talking about TH as a way to generate an AST that is then injected at the call-site.
To see the various intermediate representations that GHC generates in its various pipelines, you can pass it dump flags: https://downloads.haskell.org/ghc/latest/docs/users_guide/debugging.html
| 10:02:19 |
ners | * I remember talking about TH as a way to generate an AST that is then injected at the call-site.
To see the various intermediate representations that GHC generates in its various pipelines, you can pass it dump flags: https://downloads.haskell.org/ghc/latest/docs/users_guide/debugging.html
In particular see section 5.13.1.1 for the AST.
| 10:02:59 |
ners |  Download image.png | 15:11:28 |
das-g | In reply to @ners:nixos.dev sent an image. Is that an invitation to the next Nix Zürich meetup, or just a shitpost. 🤔 | 20:48:13 |
| 8 Mar 2024 |
ners | Just a meme. 🙃 | 08:37:04 |
ners | @room I got confirmation for our next venue, just need to pick the date. Shall I aim for late March (3️⃣) or early April (4️⃣)? | 09:12:37 |
ners | * @room I got confirmation for the next venue we can use for a meetup, just need to pick the date. Shall I aim for late March (3️⃣) or early April (4️⃣)? | 09:20:57 |
| 14 Mar 2024 |
| NixOS Moderation Botchanged room power levels. | 18:44:24 |