David Wagner @[email protected]

Currently learning Nix, aiming to replace our docker dev image (which we merely use as a chroot) as well as a robotics-oriented pkgsrc fork for Linux you've probably never heard of.

I even dream about replacing our Yocto distribution with something like NixOs...

If I am to present Nix as a serious alternative to our current solution, I need at the very least to show ROS (a robotics framework) packages.

Thoughts, tutorials and boosts welcome

Une fois n'est pas coutume, de la promo pour mon employeur, EasyMile, qui recrute sur #Toulouse:
http://www.easymile.com/#Careers
https://www.welcometothejungle.co/companies/easymile

On recrute des devs #C++, des roboticiens, des devs "frontend", des devs "backend" et autres, le tout sur des environements logiciels motivants et en constante évolution.

Please ping me if you're interested in/know something about using #Nix as a replacement for #Yocto. Boosts welcome ( @samae, @scolobb ?)

Software development stuff I'm the most happy I learned about in the past 10y: git, haskell and now #nix :)

For now, I'm almost through the manual and I began playing with #nix. I struggled to get clang 7 tools to land in my PATH using nix-env but I learned quite a lot along the way.

I found 2 attempts at packaging ROS but they seem incomplete and/or abandoned. I'll try reusing them. ROS is quite a pain to package...

Currently learning Nix, aiming to replace our docker dev image (which we merely use as a chroot) as well as a robotics-oriented pkgsrc fork for Linux you've probably never heard of.

I even dream about replacing our Yocto distribution with something like NixOs...

If I am to present Nix as a serious alternative to our current solution, I need at the very least to show ROS (a robotics framework) packages.

Thoughts, tutorials and boosts welcome

@EnercoopMIPY Bonjour (je suis très heureux de vous voir sur Mastodon !)

J'ai un souci avec enedis: depuis plus d'une semaine, leur espace "particuliers" est en maintenance quasi permanente (j'ai seulement réussi à y accéder ce matin). Ils ne répondent pas non plus aux questions relatives à ce problème via le formulaire de contact.
Peut-être avez-vous plus de poids pour leur demander des explications ?

Si besoin, je peux vous envoyer mon numéro d'abonné enercoop par message privé.

@bcarpinetty bienvenue sur Mastodon :)

Ma conf au #CdL2018 est en ligne :) https://www.youtube.com/watch?v=b560vzOTnto
Je suis preneur de tout retour sur le fond et la forme :)

@nitot au #CdL2018, vous avez parlé de Qwant Maps et j'ai cru comprendre qu'il était déjà disponible - j'ai dû mal comprendre. Est-ce qu'il y a déjà une date de sortie ou une estimation ?

J'ai hâte de voir ça :)