- Libraries - Haskell.org

Re: intent to enable 2fa requirement for github.com/haskell org
by Carter Schonwald 25 Mar '20

25 Mar '20

Duncan, David, please figure out 2fa tools that work for you and enable them, https://github.com/tadfisher/pass-otp https://github.com/solokeys/solo https://github.com/herrjemand/awesome-webauthn#hardware-authenticators https://1password.com/ https://keepass.info/download.html if you are having trouble figuring out tools you're comfortable using, please share with us those constraints we can help you! im here to help (and i'm delaying enabling another day or two to provide help to some active contributors who are having their own difficulties setitng up this stuff) On Wed, Mar 18, 2020 at 6:16 PM Duncan Coutts <duncan(a)dcoutts.me.uk> 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 > >

1 0

Export functions on Natural in Numeric.Natural
by Zemyla 22 Mar '20

22 Mar '20

Functions in GHC.Natural like naturalToWordMaybe and minusNaturalMaybe are extremely useful, especially when trying to write provably total functions, and I wish they were available in a Safe module like Numeric.Natural. I also want a total function that does the following: -- This function turns an Integer n into a pair of -- (fromInteger (abs n), fromInteger (signum n)). integerToNaturalSign :: Integer -> (Natural, Int) #if 0 -- This is the reference version, except for the fact that numeric literals don't exist yet -- when GHC.Natural is being defined, and fromInteger isn't actually total. integerToNaturalSign n = case compare n 0 of LT -> (fromInteger (negate n), -1) EQ -> (0, 0) GT -> (fromInteger n, 1) #elif !defined(MIN_VERSION_integer_gmp) -- This is like the reference version, except using the newtype wrapper and MagicHash. integerToNaturalSign n = case compare n (intToInteger# 0#) of LT -> (Natural (negateInteger n), I# (-1#)) EQ -> (Natural n, I# 0#) GT -> (Natural n, I# 1#) #else -- We take advantage of the GMP functions and constructors. integerToNaturalSign (Jn# bn) = (bigNatToNatural bn, I# (-1#)) integerToNaturalSign (S# i#) = case isTrue# (i# <# 0#) of True -> (NatS# (int2Word# (negateInt# i#)), I# (-1#)) _ -> (NatS# (int2Word# i#), I# (i# ># 0#)) integerToNaturalSign (Jp# bn) = (bigNatToNatural bn, I# 1#) #endif

2 3

Alternative instance for Const
by chessai . 22 Mar '20

22 Mar '20

We already have instance Monoid m => Applicative (Const m) we could easily add instance Monoid m => Alternative (Const m) where empty = coerce mempty (<|>) = coerce (<>) which trivially satisfies left/right identity and associativity. I propose we add this instance to base.

5 5

Re: intent to enable 2fa requirement for github.com/haskell org
by Carter Schonwald 19 Mar '20

19 Mar '20

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 <duncan(a)dcoutts.me.uk> 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 <duncan(a)dcoutts.me.uk> > 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? > > > > >

3 3

Re: intent to enable 2fa requirement for github.com/haskell org
by Carter Schonwald 18 Mar '20

18 Mar '20

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 <duncan(a)dcoutts.me.uk> 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 > >

1 0

intent to enable 2fa requirement for github.com/haskell org
by Carter Schonwald 18 Mar '20

18 Mar '20

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

6 7

New CLC co-chairs, New maintainers of `base`
by chessai . 13 Mar '20

13 Mar '20

As you know from previous announcements, Edward Kmett is stepping down as CLC Chair, and Ryan Scott is stepping down from the CLC altogether. They are both also stepping down as co-maintainers of base. Carter Schonwald and myself, chessai, will be the new CLC co-chair and co-maintainers of base. Thank you again to Edward and Ryan for all of their accomplishments and hard work. Carter and I look forward to serving this wonderful community.

1 0

Fwd: [nushio3/cmaes] Make work under ghc 8.6.3 (#3)
by dominic＠steinitz.org 07 Mar '20

07 Mar '20

I should have attached this. Dominic Steinitz dominic(a)steinitz.org http://idontgetoutmuch.org Twitter: @idontgetoutmuch > Begin forwarded message: > > From: Masahiro Sakai <notifications(a)github.com> > Subject: Re: [nushio3/cmaes] Make work under ghc 8.6.3 (#3) > Date: 1 March 2020 at 02:05:26 GMT > To: nushio3/cmaes <cmaes(a)noreply.github.com> > Cc: idontgetoutmuch <dominic(a)steinitz.org>, Author <author(a)noreply.github.com> > Reply-To: nushio3/cmaes <reply+AAL2POK6HTHVOLJEQ7ZGOCF4M34WNEVBNHHBVVURWQ(a)reply.github.com> > > The author @nushio3 <https://github.com/nushio3> passed away in 2019 and cannot merge this pull request. > It might be better to work on your fork, and possibly to take over ownership of the package on Hackage if you want to continue maintaining. > > — > You are receiving this because you authored the thread. > Reply to this email directly, view it on GitHub <https://github.com/nushio3/cmaes/pull/3?email_source=notifications&email_to…>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAL2POOVBEDDCQULWJGRXNDRF…>. >

1 0

Fwd: [nushio3/cmaes] Make work under ghc 8.6.3 (#3)
by dominic＠steinitz.org 07 Mar '20

07 Mar '20

The owner of https://hackage.haskell.org/package/cmaes has sadly passed away - see below. May I request ownership is transferred to me https://hackage.haskell.org/user/DominicSteinitz. Many thanks Dominic Steinitz dominic(a)steinitz.org http://idontgetoutmuch.org Twitter: @idontgetoutmuch PS > TakayukiMuranushi is part of the following groups: > > Maintainers for Paraiso > Maintainers for authoring > Maintainers for binary-search > Maintainers for citation-resolve > Maintainers for cmaes > Maintainers for doctest-prop > Maintainers for dynamic-object > Maintainers for embeddock-example > Maintainers for embeddock > Maintainers for formura > Maintainers for typelevel-tensor > Maintainers for unicode-show

1 0

Improved interface to UArray
by Zemyla 03 Mar '20

03 Mar '20

It's currently hard to describe that a type should be usable with UArray or IOUArray, and almost impossible to describe without QualifiedConstraints that it should be usable with STUArray. And it's actually impossible to use GeneralizedNewtypeDeriving to derive new instances of IArray or MArray. It also means that it's difficult to keep the three sets of instances in sync. Therefore, there should be (taking inspiration from primitive) a class that describes types which can be used in unboxed arrays. It'd be something along the lines of: class Unboxed e where unsafeNewUArray :: Int# -> e -> State# s -> (# State# s, MutableByteArray# s #) unsafeNewUArray_ :: Const (Int# -> State# s -> (# State# s, MutableByteArray# s #)) e unsafeReadUArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, e #) unsafeWriteUArray :: MutableByteArray# s -> Int# -> e -> State# s -> State# s unsafeIndexUArray :: ByteArray# -> Int# -> e And then the instances for UArray, STUArray, and IOUArray would be: instance Unboxed e => IArray UArray e where ... instance Unboxed e => MArray IOUArray e IO where ... instance Unboxed e => MArray (STUArray s) e (ST s) where ... Incidentally, this also means it'd be less effort to add instances like Unboxed CInt, Unboxed a => Unboxed (Complex a), and Unboxed Ordering.

3 6