Nix Milan - Public Room Timeline - Matrix Static

	Nix Milan	110 Members
	https://milano.nix.pizza/	7 Servers

You have reached the beginning of time (for this room).

Sender	Message	Time
12 Jun 2025
gecko	Grazie comunque, mi hai dato degli indicatori utili!	12:12:35
David	in PureScript sia più agevole, o comunque senza bloatare l'espressione Eh ma infatti in quel caso l'espressione nix con la funzione da chiamare sarebbe in un altro file che consideri come un compilato e non tocchi più 😛	12:25:04
gecko	In reply to @aciceri:nixos.dev Opzioni in ordine sparso secondo me: scrivi un plugin che aggiunge una nuova builtin usi le IFD (soluzione piu' facile IMO, pero' devi accettare di avere IFD) scrivi l'helper in un linguaggio piu' maneggevole e poi la traspili in nix (per esempio usando purenix) patchi systemd permettendo di forzare il nome dell'interfaccia di rete (ok questa forse e' meglio di no) Forzare il nome dell'interfaccia di rete non posso, è un constraint di lunghezza che mette il kernel, systemd stabilisce solo la politica per scegliere il nome abbreviato. Certo potrei cambiare la funzione di hash in qualcosa supportato da `builtins.nix` (md5, sha1, sha256, sha512). Questo non sarebbe del tutto assurdo. Certo devo mantenermi la patch. IFD è forse quel che cercavo, mi sembra la versione meno sbatti di scriversi un plugin. Leggo che IFD è bannato in nixpkgs, ma non mi riguarda molto. Sarebbe letteralmente `gcc hash.c -o hash && ./hash long-interface-name`. Traspilare PureScript mi lascia un po' perplesso. Manipolare byte in nix è sbatti, non so quanto farlo in PureScript sia più agevole, o comunque senza bloatare l'espressione.	12:12:15
gecko	Sì però a quel punto probabilmente IFD è più efficiente `:P`. Compilo una volta, poi da lì e veloce e non devo far valutare robe arzigogolate a `nix`.	12:46:34
gecko	tbh patchare systemd non è una roba che escludo :D	12:47:19

Show newer messages

Back to Room ListRoom Version: 10