Re: intent to enable 2fa requirement for github.com/haskell org
Awesome! After talking with several folks, feedback has been that best practices are to make sure the notice is a week before hand. So what I’ll do is personally reach out to those who aren’t 2fa enabled in the Haskell gh org (and haven’t commented on this thread )and ask them to enable 2fa on their GitHub account. Perhaps I should attach a 2fa options explainer ! I’ll look at folks responses and if everyone active has made the switch over, I’ll look to do a transition next Monday or Tuesday. Be well! (Nyc and many other places are pretty strange right now :/ ) -Carter On Wed, Mar 18, 2020 at 7:42 PM Duncan Coutts wrote: > On Wed, 2020-03-18 at 19:05 -0400, Carter Schonwald wrote: > > No. You don’t. You can use a yubi key and or a totp tool like google > > Authenticator or 1Password etc. no phones required > > It took me a while, but I have successfully managed to turn 2FA back > into 1FA. > > In case it helps anyone else, generate your 2FA response with > > $ oathtool --totp -b $the-2fa-secret > > Where $the-2fa-secret is the code github gives you after the recovery > codes (initially shown as a barcode, but they'll give you the actual > code if you click the link). > > > On Wed, Mar 18, 2020 at 6:16 PM Duncan Coutts > wrote: > > > On Wed, 2020-03-18 at 14:46 -0400, Carter Schonwald wrote: > > > > hey everyone, because so much important stuff for the community, it > > > > makes sense to add 2fa required for the org, are there any good > > > > reasons to either wait to do this, or not do it? Feedback welcome! > > > > > > I think I might get cut off. > > > > > > Is it not still the case that github's 2fa needs a program running on a > > > mobile phone, or an SMS-capable mobile phone? Is there any support for > > > normal tools running on a normal Linux machine? > > > > > ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Re: intent to enable 2fa requirement for github.com/haskell org
No. You don’t. You can use a yubi key and or a totp tool like google Authenticator or 1Password etc. no phones required On Wed, Mar 18, 2020 at 6:16 PM Duncan Coutts wrote: > On Wed, 2020-03-18 at 14:46 -0400, Carter Schonwald wrote: > > hey everyone, because so much important stuff for the community, it > > makes sense to add 2fa required for the org, are there any good > > reasons to either wait to do this, or not do it? Feedback welcome! > > I think I might get cut off. > > Is it not still the case that github's 2fa needs a program running on a > mobile phone, or an SMS-capable mobile phone? Is there any support for > normal tools running on a normal Linux machine? > > (I think last time I tried to use the SMS route, it refused to send SMS > messages to my landline, despite the fact that I can receive them) > > > Duncan > > ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Re: intent to enable 2fa requirement for github.com/haskell org
true, otoh, 2fa in various usable forms has been widely available for years, and we can reonboard people pretty easily. Its critical haskell infra and to the best of my knowledge, current 2fa tooling is pretty accessible to everyone globally. If someone has specific issues we can address them as they arise! On Wed, Mar 18, 2020 at 3:45 PM David Feuer wrote: > That's not a lot of lead time. > > On Wed, Mar 18, 2020, 2:47 PM Carter Schonwald > wrote: > >> hey everyone, because so much important stuff for the community, it makes >> sense to add 2fa required for the org, are there any good reasons to either >> wait to do this, or not do it? Feedback welcome! >> >> (if theres no objections i'll do it friday or this weekend, so theres >> some lead time for anyone who's not setup for that yet) >> >> Best wishes and great health to all >> -carter >> ___ >> Libraries mailing list >> librar...@haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries >> > ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Re: intent to enable 2fa requirement for github.com/haskell org
That's not a lot of lead time. On Wed, Mar 18, 2020, 2:47 PM Carter Schonwald wrote: > hey everyone, because so much important stuff for the community, it makes > sense to add 2fa required for the org, are there any good reasons to either > wait to do this, or not do it? Feedback welcome! > > (if theres no objections i'll do it friday or this weekend, so theres some > lead time for anyone who's not setup for that yet) > > Best wishes and great health to all > -carter > ___ > Libraries mailing list > librar...@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries > ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Re: Getting the inferred types of TH's UnboundVarEs
I mean if `insert :: a -> Container a -> Container a`, and I call it with `[e| insert 5 True |]`, the quote will fail. The goal here is to generate `Fn f` patterns in the property lambda whenever the `UnboundVarE` is a function. For example, today if I am given this: [e| law "length/map" (length as == length (map f as)) |] the generated code will be property $ \as f -> length as === length (map f as) when I would prefer to generate property $ \as (Fn f) -> length as === length (map f as) which will have significantly better UX. I'm willing to write a bad typechecker for `Exp`s, but really hoping I won't have to. Thanks! On Wed, Mar 18, 2020 at 1:04 AM Matthew Pickering < matthewtpicker...@gmail.com> wrote: > Good morning Sandy, thanks for your email. > > I don't think that GHC will typecheck the quote until you splice it > in. What exactly do you mean that it fails if `b` is replaced with > something different? > > What are you hoping to do with this information? > > This reminds me a bit of the `qTypecheck` action I have implemented on > another branch - > https://gitlab.haskell.org/ghc/ghc/issues/17565#note_242199 > > Cheers, > > Matt > > On Wed, Mar 18, 2020 at 1:56 AM Sandy Maguire > wrote: > > > > Hi all, > > > > I'm writing some TH code that should generate property tests. For > example, the expression: > > > > $(generate [e| law "idempotent" (insert a (insert a b) == insert a b) |]) > > > > should generate the code > > > > property $ \a b -> insert a (insert a b) === insert a b > > > > I do this by looking for UnboundVarEs in the Exp returned by the [e| > quote, and binding them in a lambda. All of this works. > > > > However, now I'm trying to get the inferred types of `a` and `b` in the > above. GHC clearly is typechecking the quote, since it will fail if I > replace `b` with something nonsensical. Is there some existent way to get > the inferred type of an UnboundVarE --- ideally without reimplementing the > typechecker? > > > > Thanks! > > Sandy > > ___ > > ghc-devs mailing list > > ghc-devs@haskell.org > > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
intent to enable 2fa requirement for github.com/haskell org
hey everyone, because so much important stuff for the community, it makes sense to add 2fa required for the org, are there any good reasons to either wait to do this, or not do it? Feedback welcome! (if theres no objections i'll do it friday or this weekend, so theres some lead time for anyone who's not setup for that yet) Best wishes and great health to all -carter ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Re: Getting the inferred types of TH's UnboundVarEs
Good morning Sandy, thanks for your email. I don't think that GHC will typecheck the quote until you splice it in. What exactly do you mean that it fails if `b` is replaced with something different? What are you hoping to do with this information? This reminds me a bit of the `qTypecheck` action I have implemented on another branch - https://gitlab.haskell.org/ghc/ghc/issues/17565#note_242199 Cheers, Matt On Wed, Mar 18, 2020 at 1:56 AM Sandy Maguire wrote: > > Hi all, > > I'm writing some TH code that should generate property tests. For example, > the expression: > > $(generate [e| law "idempotent" (insert a (insert a b) == insert a b) |]) > > should generate the code > > property $ \a b -> insert a (insert a b) === insert a b > > I do this by looking for UnboundVarEs in the Exp returned by the [e| quote, > and binding them in a lambda. All of this works. > > However, now I'm trying to get the inferred types of `a` and `b` in the > above. GHC clearly is typechecking the quote, since it will fail if I replace > `b` with something nonsensical. Is there some existent way to get the > inferred type of an UnboundVarE --- ideally without reimplementing the > typechecker? > > Thanks! > Sandy > ___ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs