[Nix-dev] Typing nix − funding campaign

[zimbatm]

Thanks everyone! I'm impressed by how fast that went.

On Sat, 14 Jan 2017 at 20:27 Domen Kožar <domen at dev.si> wrote:

> It's funded :) Congratz!
>
> On Fri, Jan 13, 2017 at 10:56 AM, Théophane Hufschmitt <
> rg_nixos at regnat.ovh> wrote:
>
> Thu 12 Jan 17 − 14:13, Théophane Hufschmitt(rg_nixos at regnat.ovh) a écrit:
> > Hi,
> >
> > I am Théophane Hufschmitt, a french master degree CS student, and I
> > wish to start a six month length internship on giving nix a type
> > system.
> >
> > Numtide offered to fund a part of the internship, but we still need
> > some help for me to be able to start it.
> >
> > The goal of the internship is to design (and implement) a type system
> > for nix in order to be able to statically get some guaranties about
> > the well-foundness of the nixpkgs repo (or any nix expression), in
> > complement to hydra or travis tests which may let some inconsistencies
> > pass − especially on nixos module system which is way harder to test.
> >
> > Providing nix with a proper type system is a long running issue (see
> > https://github.com/NixOS/nix/issues/14), and I think a huge
> > opportunity for nix to improve its awesomeness.
> >
> > The crowdfunding campaign (and a slightly more detailled description of
> > the project) is open at https://www.gofundme.com/typing-nix, and you
> > are all invited to donate.
> >
> > Of course, I'll be happy to answer any question, by mail or on
> > irc/matrix (I am regnat[m] on freenode).
> >
> > --
> > Théophane Hufschmitt
>
> Already one half of the required funding has been reached in less than
> one day. A big thanks to all the donators !
>
> For everyone else, there is still at lot of place if you want to be a
> part of this, so don't hesitate ;)
>
> --
> Théophane Hufschmitt
>
> _______________________________________________
> nix-dev mailing list
> nix-dev at lists.science.uu.nl
> http://lists.science.uu.nl/mailman/listinfo/nix-dev
>
>
> _______________________________________________
> nix-dev mailing list
> nix-dev at lists.science.uu.nl
> http://lists.science.uu.nl/mailman/listinfo/nix-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.science.uu.nl/pipermail/nix-dev/attachments/20170114/ee5d097d/attachment.html>