!OHimLTKAXNbFrEoogf:matrix.org

Nix Milan

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

Load older messages


SenderMessageTime
22 May 2026
@telegram_73824637:t2bot.ioAndrea Ciceridite tvix?06:46:17
@telegram_73824637:t2bot.ioAndrea Ciceritvix prova a riscrivere in rust vari pezzi di nix (tipo l'evaluator, lo store, etc...) ma sono "solo" crate usabili in altri progetti che io sappia. Ed e' un progetto che ha anni oramai. Poi c'e' snix che e' piu' recente (da uno degli autori di tvix, ma anche gli altri credo che piu' o meno siano quelli) che prova a dare una cli simile a cppnix riusando i pezzi di tvix, non credo sia usabile ancora, l'ultima volta che guardai non lo era.06:48:22
@telegram_524811522:t2bot.ioTonio GelaPeccato speravo ci fosse un effort ufficiale nel tentate di migrare a Rust06:52:56
@telegram_176121111:t2bot.ioFrancescoIo mi ricordo di aver letto che in Lix c'era l'idea di riscrivere alcune parti in Rust, su Nix non so06:58:03
@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

Show newer messages


Back to Room ListRoom Version: 10