!oeFELgatfbdiAEkJAY:nixos.org

Nix Zürich

115 Members
https://www.meetup.com/nix-zurich/ - ZHF Hackathon 25-26 Nov 202323 Servers

Load older messages


SenderMessageTime
4 Mar 2024
@infinisil:matrix.orginfinisil 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
@gefla:matrix.orgGerd FlaigGot 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:matrix.orgdas-gShall 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:nixos.devnersNeither, food and drinks will be graciously provided by our host. :)10:27:25
@ners:nixos.devnersI should put that in the meetup event.10:27:34
@infinisil:matrix.orginfinisil 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:nixos.devners Oh no! Hope you get better soon, infinisil 15:35:38
@mrcjk:matrix.orgMarc Jakobi😢 get well soon15:36:16
@ners:nixos.devnersCan we still pester you for reviews over Matrix? 😆15:37:08
@infinisil:matrix.orginfinisilI'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:matrix.orginfinisilSo I'll still host the Nix Hour today, but just online.. Way less fun, but rather safe than sorry16:14:20
@infinisil:matrix.orginfinisilOr maybe I'll just cancel it, it might be best to just rest and not strain myself16:17:59
@infinisil:matrix.orginfinisilAnyways I wish y'all a nice event!16:18:06
@ners:nixos.devners I’ll be there at about 18:15, got held up by work.  16:33:06
@jeremystucki:matrix.orgJeremy StuckiCan someone please open the door? It's locked and ringing the doorbells has no effect.17:03:58
@ners:nixos.devners Marc Jakobi  17:04:11
@jeremystucki:matrix.orgJeremy 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:matrix.orgArialdo MartiniHi 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:matrix.orgArialdo MartiniYesterday 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:matrix.orgArialdo 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:matrix.orgArialdo 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:nixos.devners
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:nixos.devners
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:nixos.devners *

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:nixos.devnersimage.png
Download image.png
15:11:28
@das-g:matrix.orgdas-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:nixos.devnersJust a meme. 🙃08:37:04
@ners:nixos.devners@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:nixos.devners * @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
@mjolnir:nixos.orgNixOS Moderation Botchanged room power levels.18:44:24

Show newer messages


Back to Room ListRoom Version: 10