People from tweag.io offered to fund the rest of the campaign, which is now complete. Thanks to all the supporters !
The internship will begin in march, and as promised, I'll send a link to a blog where I'll regularly report on my progress. Cheers everyone -- Théophane Hufschmitt Tue 17 Jan 17 − 14:04, Domen Kožar(do...@dev.si) a écrit: > 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_ni...@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_ni...@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(zimb...@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 <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 > > > > > > > > > > >
signature.asc
Description: PGP signature
_______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev