Thanks everyone! I'm impressed by how fast that went. On Sat, 14 Jan 2017 at 20:27 Domen Kožar <do...@dev.si> wrote:
> It's funded :) Congratz! > > On Fri, Jan 13, 2017 at 10:56 AM, Théophane Hufschmitt < > rg_ni...@regnat.ovh> wrote: > > Thu 12 Jan 17 − 14:13, Théophane Hufschmitt(rg_ni...@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@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > > > _______________________________________________ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev >
_______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev