!OHimLTKAXNbFrEoogf:matrix.org

Nix Milan

126 Members
https://milano.nix.pizza/10 Servers

Load older messages


SenderMessageTime
24 May 2026
@telegram_98204228:t2bot.ioAlessandro 🤔➖☀️🖌ahah bravo, ci sto lavorando giusto ora! avevo da imbiancare un paio di cose prima09:28:30
@telegram_98204228:t2bot.ioAlessandro 🤔➖☀️🖌 urca, ho un follow up sulla questione di devenv di ieri. non l'avevo notato, ma dato che ieri si parlava di avere mkElmDerivation nel flake e ci si chiedeva cosa facesse lì, io ho detto "è un refuso", ma non era vero. Questo il codice:

{
  inputs = {
    nixpkgs.url = "github:cachix/devenv-nixpkgs/rolling";
    devenv.url = "github:cachix/devenv";
    mkElmDerivation.url = "github:jeslie0/mkElmDerivation";
  };

  outputs = {
    self,
    nixpkgs,
    devenv,
    ...
  } @ inputs: let
    system = "x86_64-linux";
    pkgs = nixpkgs.legacyPackages.${system};
    shell = devenv.lib.mkShell {
      inherit inputs pkgs;
      modules = [
        ./devenv.nix
        {devenv.root = toString ./.;}
      ];
    };
  in {
    devShells.${system}.default = shell;
    packages.${system} = {
      inherit (shell.config.outputs) game;
    };
  };
}
no, c'è un inherit inputs che viene passato alla mkShell del flake! quindi è questo mkElmDerivation che viene passato, non quello nel devenv.lock, e quindi direi che lo stesso vale per nixpkgs
10:25:41
@telegram_98204228:t2bot.ioAlessandro 🤔➖☀️🖌 quindi mi verrebbe da pensare che "comanda il flake", per usare i termini di @gecko4242 - e potenzialmente vuol dire build non riproducibili, o sbaglio? 10:26:53
@telegram_41776856:t2bot.ioMarco Turchettola build e' sempre riproducibile, perche' chiunque usi la tua flake/devenv ha nixpkga pinnato. la questione era sul doppio nixpkgs. Hai provato a toglere gli inherit e vedere che succede, perche' anche se li passi, non e' detto che siano usati, e quando vengono effettivamente usati. Io mi aspetto che vengano usati unicamente per il bootstrap del devenv. poi devenv usera' i suoi pin immagino.11:02:10
@telegram_98204228:t2bot.ioAlessandro 🤔➖☀️🖌sì, perdonami, non riproducibile nel senso di discrepanti tra quello che fai in dev con devenv e quello che va nel sistema col flake pinnato. mo provo11:10:43
@telegram_98204228:t2bot.ioAlessandro 🤔➖☀️🖌(una prova che potrei fare è anche banalmente di usare due versioni di nixpkgs diverse e vedere se qualcosa che da una parte va, dall'altra si spacca)11:11:13
@telegram_524811522:t2bot.ioTonio GelaÈ difficile rendersi conto della versione di nixpkgs iniettata secondo me. Io toglierei il pin di nixpkgs dal dev env e vedrei se l'evaluation funziona tanto per cominciare11:15:10
@telegram_524811522:t2bot.ioTonio Gela Cmq ci servirebbe un posto in cui salvare un elenco dei topic affrontati volta per volta. O come diceva @gecko4242 un elenco di tool consigliati/provati da qualche parte. Nel subdomain nostro del sito di nix possiamo mettere roba? 11:17:22
@telegram_98204228:t2bot.ioAlessandro 🤔➖☀️🖌 @toniogela https://www.luogoideale.org/sagome/ ma devo ancora sistemare la UI (chiederò a claude che non ho tempo) 11:20:06
@telegram_98204228:t2bot.ioAlessandro 🤔➖☀️🖌 c'è nix pizza che credo si possa usare come preferiamo, no @andreaciceri ? 11:20:55
@telegram_524811522:t2bot.ioTonio GelaEcco, lui11:23:46
@telegram_906592699:t2bot.ioAlex0Kinda late to the party ma volevo andarci anch'io11:25:21
@telegram_524811522:t2bot.ioTonio GelaDopo ieri ho creato un gruppo per raccogliere quelli di noi che vogliono andare, per organizzarci e condividere 1 (o più) airbnb a Cracovia11:28:39
@telegram_524811522:t2bot.ioTonio Gela Per chi fosse interessato a organizzarsi insieme: https://t.me/nixcon2026fromMilan 11:30:44
@telegram_7189191315:t2bot.iogeckoimage.png
Download image.png
18:43:34
@telegram_7189191315:t2bot.iogecko A quanto pare S3 di hetzner fa schifo anche con niks3, for some reason @x71c9 18:43:53
@telegram_32436951:t2bot.ioDavidgarage self hosted: - ✅ performance (la tua, che hai fatto il setup) - ✅ numero di problemi (ne avevi uno, ora ne hai tre, ma tanto ti piace risolverli) - ✅ egress gratis (finché non ti picchiano i coinquilini perché massacri l'upload)20:46:58
@telegram_32436951:t2bot.ioDavid* garage self hosted: - ✅ performance (la tua, che hai fatto il setup) - ✅ numero di problemi (ne avevi uno, ora ne hai tre, ma tanto ti piace risolverli) - ✅ egress gratis (finché non ti picchiano i coinquilini perché massacri l'upload) - ✅ supporto tecnico diretto!20:47:25
25 May 2026
@telegram_7189191315:t2bot.iogeckoCome si chiama la versione di nix coi tipi retrocompatibile con nix normale?11:39:27
@telegram_98204228:t2bot.ioAlessandro 🤔➖☀️🖌nickel? ma non so se è retrocompatibile11:59:01
@telegram_98204228:t2bot.ioAlessandro 🤔➖☀️🖌anzi non penso11:59:05
@telegram_98204228:t2bot.ioAlessandro 🤔➖☀️🖌 https://nickel-lang.org/ 11:59:21
@funzen:matrix.orgfunzen set a profile picture.12:39:23
@telegram_176121111:t2bot.ioFrancescoNo Nickel non è retrocompatibile13:46:17
@telegram_176121111:t2bot.ioFrancesco L'unico progetto in quel campo che conosco è https://github.com/ryanrasti/typenix ma è un language server/type checker esterno a Nix 13:47:08
@telegram_176121111:t2bot.ioFrancesco Ah e anche questo https://github.com/JRMurr/tix 14:11:11
@telegram_32436951:t2bot.ioDavidin diversi hanno provato a tipare nix ma nixpkgs ha troppi pattern in cui genera roba dinamicamente e escono tipi troppo ampi per servire a qualcosa14:19:05
@telegram_41776856:t2bot.ioMarco TurchettoDiciamo che se per tipare nix devi eseguire il tuo codice nix, non vale la pena14:36:35
@telegram_7189191315:t2bot.iogeckoBeh se devi valutarlo non è malissimo dai. Alla fine non ci vuole tantissimo tempo a runnarlo.16:02:59
@telegram_7189191315:t2bot.iogecko > Parses and type-checks all 42,298 nixpkgs files in 13 seconds without crashing -- and where types exist or can be automatically
inferred by TypeScript, they're correct.


A cazzo duro proprio
16:04:31

Show newer messages


Back to Room ListRoom Version: 10