!oeFELgatfbdiAEkJAY:nixos.org

Nix Zürich

115 Members
https://zurich.nix.ug/ - ZHF 25.11 on 29-30 November 202527 Servers

Load older messages

SenderMessageTime
4 Mar 2024
@ners:nixos.devners
In reply to @mrcjk:matrix.org
I will be in meetings until about 5 PM, but 30 min earlier should be okay. We have an OWL (360° camera)
I can be there ~30 min earlier and bring the RØDE mics. :) 		15:39:04
@ners:nixos.devners
In reply to @mrcjk:matrix.org
I will be in meetings until about 5 PM, but 30 min earlier should be okay. We have an OWL (360° camera)
* I can be there ~30 min earlier and bring the usual RØDE mics and camera. :) 		15:39:27
@infinisil:matrix.orginfinisil ners: Nice :D 15:40:44
@infinisil:matrix.orginfinisilI won't bring my own mic/cam then :)15:40:49
@oldaq:matrix.orgPablo Escodebar
In reply to @infinisil:matrix.org
And if anybody has a request for the Nix Hour (ners, Marc Jakobi, Jeremy Stucki, Seán Murphy, Pablo Escodebar and others who are attending), let me know! You can also ask questions throughout, but it's sometimes good to have a dedicated topic :)
I’m totally into incremental builds 😘 		17:03:21
@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

Show newer messages

Back to Room ListRoom Version: 10