[Nix-dev] Typing nix − funding campaign

[Rok Garbas]

Could you add you blog to this list -> https://github.com/NixOS/nixos-org-configurations/blob/master/nixos-org/planet-feeds.nix (Just send a PR)

Then blogs are here: http://planet.nixos.org


> On 28 March 2017 at 12:05 Maarten Hoogendoorn <maarten at moretea.nl> wrote:
> 
> 
> Good luck, and have fun ;)
> 
> 2017-03-28 11:45 GMT+02:00 Théophane Hufschmitt <rg_nixos at regnat.ovh>:
> 
> > Hi everyone,
> >
> > My internship has now started, and I'll try to post regular updates on
> > https://typing-nix.regnat.ovh/ as promised. So if you're interested,
> > just follow the rss :)
> >
> > > --
> > > Théophane Hufschmitt
> >
> > 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).
> > >
> >
> > _______________________________________________
> > 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

-- Rok Garbas, https://garbas.si