People
Activity
    Niko Matsakis
    @nikomatsakis
    er, here I am
    sorry got distracted
    nikomatsakis @nikomatsakis wants another coffee first
    nikomatsakis @nikomatsakis waves
    Niko Matsakis
    @nikomatsakis
    shall we start/
    Tyler Mandry
    @tmandry
    :wave: yep
    Niko Matsakis
    @nikomatsakis
    link to dropbox paper doc
    ok anybody else want to add anything?
    guess not
    So, let's see:
    @scalexm can you add a few notes about the mentoring instructions you wrote up?
    I'm curious if you were able @scalexm to make any progress on that "first chalk integration" branch
    Niko Matsakis
    @nikomatsakis
    @tmandry re: your PR, so, I reprouced the failures
    but that was as far as I got
    Tyler Mandry
    @tmandry
    ok. Yeah, we should probably break it down and talk about why each additional thing was needed, handle it one at a time
    Niko Matsakis
    @nikomatsakis
    well
    I will maybe have some more time this week
    (maybe)
    Alexandre Martin
    @scalexm
    @nikomatsakis ok will update the paper; I didn’t start to work on the chalk integration branch yet, but there are a couple of holidays in France this week and I plan to take some time for that
    Niko Matsakis
    @nikomatsakis
    heh ok
    there is some cahnce I will poke on it
    but I will ping you if I do
    seems like we don't have a lot to say this week
    I do have a few micro-announcements
    Tyler Mandry
    @tmandry
    the only other thing I can think of is to split the world into "old traits solver and new traits solver" predicates_of queries
    Niko Matsakis
    @nikomatsakis
    @tmandry let me play a bit and see waht you did before we reach for that :)
    Tyler Mandry
    @tmandry
    yeah agreed :smiley:
    Niko Matsakis
    @nikomatsakis
    I guess a question is: do people feel like they have an idea what to do, that's the real question
    e.g., @tmandry, besides that PR, do you have a task in mind for this week?
    Tyler Mandry
    @tmandry
    @nikomatsakis well I have the GATs stuff, I implemented steps 1 and 2 out of 4 (pending some requested changes by @scalexm)
    Niko Matsakis
    @nikomatsakis
    @/all -- so, after all the problems with gitter (and for other, longer-standing reasons), I've been exploring alternate chat forums. One of the most promising seems to be Discord. Would y'all be interested in trying it out for the WG-traits chat?
    Tyler Mandry
    @tmandry
    So I can continue that, or if someone else wants to implement the remaining steps I would check the issue board
    Niko Matsakis
    @nikomatsakis
    if so, here is a link to register
    can wait till after this mtg though :)
    @tmandry ok great that's what I thought
    so also @sunjay is beginning this week, they and I will have to discuss a bit but we can do that after (I think they're busy right now anyhow)
    Niko Matsakis
    @nikomatsakis
    ok I'm going to adjourn this meeting then
    seems like we're not too chatty today :) that's fine
    @scalexm let me know how things go and I will do likewise
    meanwhile, I encourage you all to join discord :) link
    Tyler Mandry
    @tmandry
    Regarding Discord, I'm all for trying it out. Gitter has been a real pain lately
    Niko Matsakis
    @nikomatsakis
    c(onfirm)
    Aravind Gollakota
    @aravind-pg
    Ah super sorry, been very busy today, wasn't able to make the meeting
    Niko Matsakis
    @nikomatsakis
    no worries -- @aravind-pg join discord =)
    Sunjay Varma
    @sunjay
    Yes discord would be great
    Good idea!
    Tatsuyuki Ishi
    @ishitatsuyuki
    I'm fine with Discord if the Rust team is moving toward that
    However I'm tired of browser based apps :/
    Aaron Weiss
    @aatxe
    @ishitatsuyuki there's a Discord implementation for libpurple that should allow you to use the chat (but I think not voice chat) in a native app. :)
    Niko Matsakis
    @nikomatsakis

    Channel Not In Active Use

    We are currently talking over on Discord in the #wg-traits channel. This is an experiment, we may move again. =)