!OHimLTKAXNbFrEoogf:matrix.org

Nix Milan

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

Load older messages


SenderMessageTime
22 May 2026
@telegram_176121111:t2bot.ioFrancesco https://lix.systems/about/
> Plans include a gradual, piecewise introduction of the memory-safe Rust programming language – to both supplement and replace sections of the current C++ codebase.
07:00:35
@telegram_73824637:t2bot.ioAndrea Cicerimi sa che ci vorra' ancora un po'
Download mi sa che ci vorra' ancora un po'
07:11:49
@telegram_524811522:t2bot.ioTonio GelaVolevo bullarmi portando questo porta laptop finito domani, ma immagino lo vedrete la prossima volta
Download Volevo bullarmi portando questo porta laptop finito domani, ma immagino lo vedrete la prossima volta
16:17:38
@telegram_7581646006:t2bot.ioEdoardo PiccolottoSTUPENDO!!!16:18:47
23 May 2026
@telegram_487847968:t2bot.ioLorenzo AjoOggi al meet-up non aspettatemi, arriverΓ² verso le 1106:37:17
@telegram_73824637:t2bot.ioAndrea CiceriUrca, lasciane un po' anche per noi!06:43:01
@telegram_73824637:t2bot.ioAndrea Ciceri(Era così il meme?)06:43:16
@telegram_73824637:t2bot.ioAndrea Ciceri https://github.com/denful/nest
Visto ora sfogliando reddit in treno
06:44:07
@telegram_73824637:t2bot.ioAndrea CiceriCredo che la sovra ingegnerizzazione delle proprie config nixos non abbia limite06:44:50
@telegram_98204228:t2bot.ioAlessandro πŸ€”βž–β˜€οΈπŸ–ŒCiao, arriverΓ² un pochino tardi07:12:14
@telegram_98204228:t2bot.ioAlessandro πŸ€”βž–β˜€οΈπŸ–ŒNon aspettatemo07:12:22
@telegram_73824637:t2bot.ioAndrea Ciceri9:20 sono davanti07:14:05
@telegram_73824637:t2bot.ioAndrea CiceriAltri in anticipo?07:14:13
@telegram_524811522:t2bot.ioTonio GelaWhich one,?07:16:57
@telegram_524811522:t2bot.ioTonio GelaIo arrivo per le 10 circa07:17:19
@telegram_8031225159:t2bot.ioLucaRedacted or Malformed Event07:23:21
@telegram_8556022534:t2bot.ioDragos IArrivo in 2 minuti07:30:42
@telegram_98204228:t2bot.ioAlessandro πŸ€”βž–β˜€οΈπŸ–ŒIo sono qui fuori08:11:21
@telegram_98204228:t2bot.ioAlessandro πŸ€”βž–β˜€οΈπŸ–ŒMi aprite plssss08:11:35
@telegram_162863318:t2bot.ioZ. joined the room.12:15:54
@telegram_524811522:t2bot.ioTonio Gela Ciao, esiste un gruppo Telegram di gente che sta cercando di organizzare una conferenza italiana sulla programmazione funzionale. Se siete interessati, magari anche ad organizzare questo Γ¨ il gruppo: https://t.me/+g9nYl0qKNAQzNTM8 12:44:32
@telegram_53326276:t2bot.ioArialdo MartiniTonio santo subito!12:48:05
@telegram_98204228:t2bot.ioAlessandro πŸ€”βž–β˜€οΈπŸ–Œ @andreaciceri questo https://github.com/antirez/ds4 15:12:08
24 May 2026
@telegram_524811522:t2bot.ioTonio Gela La vera domanda emersa ieri Γ¨ quando @akiross pubblica quel giochino in Elm? 05:58:07
@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

Show newer messages


Back to Room ListRoom Version: 10