Re: [Nix-dev] List of companies using NixOS

2016-12-09 Thread Kosyrev Serge
Our company, Positive Technologies, uses dockerized Nix to compose fine-tuned environments for development of bare-metal security software. -- с уважениeм / respectfully, Косырев Сергей -- “Most deadly errors arise from obsolete assumptions.” -- Frank Herbert, Children of Dune _

Re: [Nix-dev] List of companies using NixOS

2016-12-09 Thread Azul
ADP uses nix on SLES12.3 to deploy the good things that are not available on suse. On 20 November 2016 at 18:55, zimbatm wrote: > Hi all, > > I am collecting a list of companies that are using NixOS. The idea is to > encourage adoption by validation. > > The list is over here: > https://www.red

Re: [Nix-dev] List of companies using NixOS

2016-12-09 Thread Adrien Devresse
The Human Brain Project (https://www.humanbrainproject.eu/) and The Blue Brain Project (http://bluebrain.epfl.ch/) uses NIX in its HPC to deploy our softwares on all our Supercomputers and our HPC computing clusters. This includes 3 of the most powerful machines in the TOP 500. That allows us to

Re: [Nix-dev] List of companies using NixOS

2016-12-08 Thread Roger Qiu
https://matrix.ai/ is using NixOS as a build system. On 21/11/2016 5:56 AM, "zimbatm" wrote: > Hi all, > > I am collecting a list of companies that are using NixOS. The idea is to > encourage adoption by validation. > > The list is over here: > https://www.reddit.com/r/NixOS/comments/5dz8fp/list_

Re: [Nix-dev] List of companies using NixOS

2016-12-08 Thread Vladimír Čunát
On 12/08/2016 02:06 PM, zimbatm wrote: > Thanks, added to the list. > > @vladimir: do you know what the Intel guys are using nix for? It would > be great to have them on the list. Verification of chip design. NixCon recording: https://www.youtube.com/watch?v=eA-pvrGxciA&index=9&list=PL_IxoDz1Nq2

Re: [Nix-dev] List of companies using NixOS (Sander van der Burg)

2016-12-08 Thread Sander van der Burg
www.dds.mil) I'd like to learn more about > others using Disnix/Hydra. > > -Tom > > Date: Wed, 7 Dec 2016 16:28:45 +0100 > From: Sander van der Burg > To: Vladim?r ?un?t > Cc: nix-dev > Subject: Re: [Nix-dev] List of companies using NixOS > Message-ID: >

Re: [Nix-dev] List of companies using NixOS

2016-12-08 Thread zimbatm
Thanks, added to the list. @vladimir: do you know what the Intel guys are using nix for? It would be great to have them on the list. On Wed, 7 Dec 2016 at 15:28 Sander van der Burg wrote: > At conference compass (http://conference-compass.com), we're using Hydra > (e.g. for mobile app builds an

Re: [Nix-dev] List of companies using NixOS (Sander van der Burg)

2016-12-08 Thread Oliver Charles
of Defense. (www.dds.mil) I'd like to learn more about > others using Disnix/Hydra. > > -Tom > > Date: Wed, 7 Dec 2016 16:28:45 +0100 > From: Sander van der Burg > To: Vladim?r ?un?t > Cc: nix-dev > Subject: Re: [Nix-dev] List of companies using NixOS > Message-ID:

Re: [Nix-dev] List of companies using NixOS (Sander van der Burg)

2016-12-07 Thread Thomas Bereknyei
: [Nix-dev] List of companies using NixOS Message-ID: Content-Type: text/plain; charset="utf-8" At conference compass (http://conference-compass.com), we're using Hydra (e.g. for mobile app builds and internal projects) as well as NixOps + Disnix for backend deployment. On We

Re: [Nix-dev] List of companies using NixOS

2016-12-07 Thread Sander van der Burg
At conference compass (http://conference-compass.com), we're using Hydra (e.g. for mobile app builds and internal projects) as well as NixOps + Disnix for backend deployment. On Wed, Dec 7, 2016 at 4:10 PM, Vladimír Čunát wrote: > There were some companies presenting at NixCon - from the top of

Re: [Nix-dev] List of companies using NixOS

2016-12-07 Thread Vladimír Čunát
There were some companies presenting at NixCon - from the top of my head: Intel, some hedge fund (@copumpkin) and surely some I don't recall ATM. --Vladimir ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/

Re: [Nix-dev] List of companies using NixOS

2016-11-27 Thread zimbatm
Thanks, added to the list. At some point I would like to make a survey to find out where the ecosystem could be improved. On Sun, 27 Nov 2016 at 12:57 Prime.vc | Danny Wilson wrote: > We use and code Nix, Disnix and NixOS at Prime.vc > > > On 20 Nov 2016, at 19:55, zimbatm wrote: > > Hi all, >

Re: [Nix-dev] List of companies using NixOS

2016-11-20 Thread Ryan Trinkle
My company, Obsidian Systems (https://obsidian.systems/), does consulting in Haskell and Nix/NixOS. On Sun, Nov 20, 2016 at 1:55 PM, zimbatm wrote: > Hi all, > > I am collecting a list of companies that are using NixOS. The idea is to > encourage adoption by validation. > > The list is over here

[Nix-dev] List of companies using NixOS

2016-11-20 Thread zimbatm
Hi all, I am collecting a list of companies that are using NixOS. The idea is to encourage adoption by validation. The list is over here: https://www.reddit.com/r/NixOS/comments/5dz8fp/list_of_companies_using_nixos/ If you don't feel like posting on Reddit just post here and I'll add them over t