Sender | Message | Time |
---|---|---|
5 Oct 2025 | ||
Ciao ragazzi, ho visto che ieri c'è stato un meetup, scusatemi per non aver partecipato, sto finendo alcune cose per la mia imminente discussione di tesi, al prossimo meetup parteciperò sicuramente | 12:12:01 | |
Su cos'è la tesi? | 12:12:53 | |
Massì tranquillo | 12:12:23 | |
Sostanze psicoattive basically, figo | 12:20:24 | |
tante notti insonni | 12:20:50 | |
però lo scopo è generalizzare l'esperimento anche su sostanze come cocaina o alcol | 12:18:58 | |
dopo aver misurato i dati avevo riportato un record errato | 12:17:06 | |
si, però per stare nei tempi ho dovuto assumere più caffè al giorno (mantenendo sempre un tempo minimo di 4 ore tra una misurazione e la successiva) | 12:30:57 | |
si... | 12:20:35 | |
Con la caffeina immagino anche se penso che si potesse usare del timing specifico in modo tale che tu possa dormire un minimo decentemente ahaha | 12:28:30 | |
Io devo farmi rinnovare il piano terapeutico siccome assumo psicostimolanti | 12:21:47 | |
Intendevo la tipologia, e che sostanze riesci a rilevare da che tipologia di misurazione etc | 12:17:46 | |
miei dati, frequenza cardiaca ecc.. | 12:16:40 | |
nella tesi abbiamo usato solo la caffeina essendo l'unica sostanza "legale" che potevo assumere | 12:18:30 | |
In reply to Luca EngineerDa che dati? | 12:16:17 | |
e al tempo stesso ho studiato python e java per formulare degli algoritmi | 12:33:24 | |
Dato che ieri mi avete bullizzato a fare le cose con moduli e opzioni me li sto un po' guardando. Ma volevo spratichirmi un po' in una roba isolata prima di provarla dentro alla config di NixOS. https://nix.dev/tutorials/module-system/deep-dive.html#evaluating-modules | 13:09:30 | |
Cosa cercavi? | 13:07:38 | |
Download image.jpeg | 12:59:04 | |
Classic | 12:59:04 | |
se vuoi fare due prove "dentro nixos ma fuori dalle tue configurazioni" puoi anche usare nixos-shell | 13:17:42 | |
Per ora sto usando nixos-option | 13:20:24 | |
Comunque un paio di assertion in più non farebbero male, prima di capire i submodule ho fatto una roba simile:type = types.listOf (types.attrsOf { A = types.int; B = types.str; }); Fuochi d'artificio. | 13:21:40 | |
ah si questo esce principalmente perché, anche se di validità completamente generale, il module system nasce dentro nixos e dentro nixpkgs, quindi si porta dietro una serie di pattern "nixos-iani" | 13:16:44 | |
In C++ avevamo un problema simile con i template (template<typename T> potevi mettere qualsiasi tipo e le cose esplodevano tardissimo in errori incomprensibile). Per non cambiare i template in maniera radicale ma avere comunque possibilità di esprimere costraint abbiam messo i concept , che son poi delle assert sul tipo. Nei posti importanti una assert ina ci starebbe. | 13:28:04 | |
non che non ci abbiano provato! | 13:28:17 | |
Se solo Nix fosse tipizzato | 13:24:47 | |
ciao gente, sto provando a scrivere un flake per un pacchetto Python ma sto impazzendo
peccato che la sezione nel file ci sia... | 13:49:20 | |
In reply to geckoUser mode linux è un altro bel tool ma ricordo che non è proprio lineare usarlo in container (devi permettere ptrace, avere shm montato in modo diverso da come te lo monta docker e altri problemi assortiti), poi ovviamente ci sono millemila modi, come anche lkl che usa il kernel linux come libreria (il modulo di creazione delle immagini di nixos usa cptofs per copiare i file nell'immagine finale). Alla fine tutto è partito dalla curiosità di tirare su nixos da nix statico e null'altro (e poi provare a renderlo utile per qualcosa) e l'ambiente virtualizzato di guestfish è un buon "nulla cosmico" da cui partire 😂 | 14:05:29 | |
In reply to DavidEh lo, è un problema molto complicato. Io sono interessato a Snix perché dato che valuta Nix tramite un bytecode interpreter ho pensato che si potesse implementare un linguaggio tipizzato simile a Nickel (https://github.com/tweag/nickel) che ha come target di compilazione quel bytecode | 13:48:38 |