[Nix-dev] Typing nix − funding campaign

[Théophane Hufschmitt]

Thanks everyone, this is amazing (and went amazingly fast !)

I'll raise the goal − as I said, this goal was just the legal minimum
for me to be allowed to do it, but don't worry, I'll do it regardless of
how the rest of the campaign goes.

So don't stop advertising this ;)

-- 
Théophane Hufschmitt

Sat 14 Jan 17 − 22:23, zimbatm(zimbatm at zimbatm.com) a écrit:
> 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 --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <http://lists.science.uu.nl/pipermail/nix-dev/attachments/20170115/efb88ef8/attachment-0001.sig>