[Nix-dev] Typing nix − funding campaign

[Domen Kožar]

Anyone who believes 500EUR/month is enough to survive in western Europe,
they should give it a shot :)

On Tue, Jan 17, 2017 at 2:01 PM, Théophane Hufschmitt <rg_nixos at regnat.ovh>
wrote:

> Hi everyone,
>
> Jonas told me that some people didn't understand the raise of the goal
> − it looked like "Hey, I can make money with this ! let's try to make
> even more !". I just want to clarify things a bit :
>
> The first goal was the strict legal minimum that I needed to get for
> the internship to be accepted. Now the fact is that this remains rather
> low (554.40€/month exactly), and clearly not enough to permit a comfortable
> living (I plan to take the necessary from my savings if needed, but
> that's just a safeguard and is clearly not optimal). So that's why I
> raised the goal. I apologize if felt roguish to some, there was no bad
> intention in it.
>
> Just to avoid miscomprehensions ;)
>
> --
> Théophane Hufschmitt
>
> Sun 15 Jan 17 − 09:31, Théophane Hufschmitt(rg_nixos at regnat.ovh) a écrit:
> > 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 --------------
An HTML attachment was scrubbed...
URL: <http://lists.science.uu.nl/pipermail/nix-dev/attachments/20170117/e4bf05e9/attachment.html>