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

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

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

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

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

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

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: >

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

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:

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

f Department 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 <svanderb...@gmail.com> > To: Vladim?r ?un?t <vcu...@gmail.com> > Cc: nix-dev <nix-dev

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

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.

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

f Department 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 <svanderb...@gmail.com> > To: Vladim?r ?un?t <vcu...@gmail.com> > Cc: nix-dev <nix-dev

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

t <vcu...@gmail.com> Cc: nix-dev <nix-dev@lists.science.uu.nl> Subject: Re: [Nix-dev] List of companies using NixOS Message-ID: <CA+nGxj2BT=T=j20xatrksuslcmbech7ja2xdtpyvlzua64l...@mail.gmail.com> Content-Type: text/plain; charset="utf-8" At conference compass (http://co

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

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

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

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

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

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

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

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. > >

[Nix-dev] List of companies using NixOS

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