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

[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
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

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

[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.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 there.
>
> Cheers,
> z
>
> ___
> 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

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

[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 have a high degree on tuning in our software stack, 
to get highly reproduisible scientific environments through all our
platforms, and to help to garantee we can reproduce our scientifics
results presented in our publications.

Regards,
Adrien

Le 08/12/2016 à 21:22, Vladimír Čunát a écrit :
> 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=9=PL_IxoDz1Nq2Y7mIxMZ28mVtjRbbnlVdmy
>
>
>
>
> ___
> nix-dev mailing list
> nix-dev@lists.science.uu.nl
> http://lists.science.uu.nl/mailman/listinfo/nix-dev




signature.asc
Description: OpenPGP digital signature
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

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

[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_of_
> companies_using_nixos/
>
> If you don't feel like posting on Reddit just post here and I'll add them
> over there.
>
> Cheers,
> z
>
> ___
> 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

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

[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=9=PL_IxoDz1Nq2Y7mIxMZ28mVtjRbbnlVdmy




smime.p7s
Description: S/MIME Cryptographic Signature
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

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

[Sander van der Burg]

I have covered some aspects of our company use cases in two of my
presentations:

- Deploying microservices with Disnix (includes a few slides on how our
backend infrastructure is organized and deployed with Disnix):
http://www.slideshare.net/sandervanderburg/deploying-microservices-with-disnix
- Building mobile apps with Nix:
http://www.slideshare.net/sandervanderburg/building-mobile-apps-with-the-nix-package-manager

On Wed, Dec 7, 2016 at 9:14 PM, Thomas Bereknyei <tombe...@gmail.com> wrote:

> I'm investigating using NixOS/NixOps/Disnix for quick prototypes as part
> of 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@lists.science.uu.nl>
> Subject: Re: [Nix-dev] List of companies using NixOS
> Message-ID:
> <CA+nGxj2BT=T=J20XatrKSUsLcMbeCh7Ja2XDTPyvLZUa64LcEg@mail.
> gmail.com>
> 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 Wed, Dec 7, 2016 at 4:10 PM, Vladim?r ?un?t <vcu...@gmail.com> wrote:
>
> > 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/nix-dev
> >
>
> ___
> 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

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

[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 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 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/nix-dev
>
>
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

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

[Oliver Charles]

We use Nix at https://circuithub.com/ for builds using Hydra, and deploying
the build binaries to our Heroku servers.

- Ollie

On Wed, Dec 7, 2016 at 9:15 PM Thomas Bereknyei <tombe...@gmail.com> wrote:

> I'm investigating using NixOS/NixOps/Disnix for quick prototypes as part
> of 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@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://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 <vcu...@gmail.com> wrote:
>
> > 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/nix-dev
> >
> ___
> 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

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

[Thomas Bereknyei]

I'm investigating using NixOS/NixOps/Disnix for quick prototypes as part of
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@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://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 <vcu...@gmail.com> wrote:

> 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/nix-dev
>
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

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

[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 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/nix-dev
>
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

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

[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/nix-dev

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

[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,
>
> 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 there.
>
> Cheers,
> z
>
> ___
> 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

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

[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:
> 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 there.
>
> Cheers,
> z
>
> ___
> 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