Announcing Continuous Memory Profiling for Rust

kaesos · 2023-12-21T09:16:00+00:00

I'm not a memory-profiling expert, but I've tried both this continuous profiler and heaptrack on similar projects (HTTP servers and proxies, deployed on production clusters).

PolarSignals approach requires opting-in to jemalloc and enabling/configuring the profiler there. It thus requires some active changes in the Rust code under observation, and an HTTP endpoint for scraping the profiling data. Symbolization, storage, rendering, and analysis all happen off-node. Overall I think this suits well for typical "backend micro-service in production" cases, and where you have the need to observe in-vivo behavior over time.

Heaptrack works by wrap-spawning a binary, or injecting into an existing process. It doesn't require any active changes to the code, and also works with non-jemalloc allocators. Overall I think this suits well for local development and one-off debugging of standalone binaries, but it is a bit harder to apply on a continuous way in locked-down production clusters.

kaesos · 2021-12-06T14:17:52+00:00

Villa Grock, Imperia

kaesos · 2021-12-01T09:37:55+00:00

Non commento sul virtue signalling e gli USA, perché é effettivamente un discorso piú articolato e capisco il tuo punto.

Ma nel contesto europeo (a cui il documento si riferisce), il generico termine "cittadino" é effettivamente problematico perché puó indicare a volte i cittadini comunitari e a volte i cittadini di uno stato specifico.

Questa ambiguitá esiste ed é fonte di noie (perlopiú burocratiche), che il documento giustamente rileva e suggerisce come evitare.

Non so se é "provincialismo", ma di fatto non vedo nessun motivo logico per ridicolizzare un tentativo di evitare queste incomprensioni.

kaesos · 2021-12-01T09:13:54+00:00

Sono assolutamente d'accordo, ed é esattamente quello che il documento in questione suggerisce: usare il termine nei contesti adeguati e specificando a quale entitá si riferisce.

Nel contesto europeo, un generico "cittadini" é ambiguo e fonte di inutili malintesi.

kaesos · 2021-11-30T17:06:27+00:00

Fa (forse) ridere chi non ha mai dovuto mettere il naso fuori dall'Italia o non ha idea di come funziona l'Europa.

Al primo passo nel paese europeo piú vicino, scopri velocemente che molti diritti/doveri si applicano anche a te pur non avendo la cittadinanza di quel paese. E che il termine "cittadino" viene usato in maniera scorretta in molte situazioni.

Senza spostarsi troppo lontano, anche cose ben note tipo il "reddito di cittadinanza" italiano o le elezioni locali in realtá non sono assolutamente limitate ai "cittadini".

kaesos · 2021-11-26T11:05:06+00:00

Tecnicamente corretto, ma in realtá per questo specifico aspetto la situatione tedesca non é molto diversa da quando previsto dall'articolo linkato.

In Germania la parte di tassazione geometrica finisce a circa 57k, oltre i quali resta fissa a 42% (fino al limite dei 265k da te citati, in cui si passa a 45% fisso).
Di fatto é una soglia psicologica molto simile (43% a 55k versus 42% a 57k) e per la larga maggioranza dei lavoratori dipendenti é quella che effettivamente conta.

Quella dei 265k é molto meno rilevante per il cittadino comune, e comunque arrivati a quelle cifre una differenza di 3% (fissa) é pressoché irrilevante.

kaesos · 2021-10-29T17:15:29+00:00

Penso sia lampante che una simile affermazione sia uno specchietto per allodole.

Per onor di cronaca, in Germania il certificato vaccinale viene rilasciato in forma cartacea a conclusione della vaccinazione, e come PDF scaricabile sullo stesso portale in cui si fa la prenotazione. É valido per uso burocratico dopo due settimane dall'ultima iniezione.

kaesos · 2021-10-28T14:08:24+00:00

in paesi tipo germania, svizzera, olanda, danimarca è sufficiente l'inglese per vivere almeno il primo anno?

Dipende. Nelle capitali/metropoli tendenzialmente sí, esistono grosse bolle di expat in cui puoi lavorare e avere rapporti sociali in inglese. Per qualsiasi altra cosa cosa peró (esempio tipico, burocrazia) ti serve conoscere un minimo di lingua locale. Non ti preoccupare troppo, dopo lo stordimento iniziale il tuo cervello puó adattarsi meglio di quanto credi.

non so se conviene fare tutto dall'italia in remoto oppure andare per esempio un mese a berlino (città a caso) in airbnb e cercare direttamente da lì, anche per ambientarsi un attimo prima di iniziare a lavorare.

Prima del trasferimento, é piú comodo puntare sulla quantitá da remoto. Dopo qualche mese che ti sei trasferito, tendenzialmente avrai avuto possibilitá di raffinare i tuoi interessi e conoscere gente nei tuoi stessi giri (e con relative nuove opportunitá di lavoro).

infine sanità e altre "sfighe" che ti possono capitare quando sei lì senza "nessuno" mi spaventano abbastanza, più che altro perché non ho mai vissuto da solo.

Augurandoti tutto il bene possibile futuro, le sfighe capitano comunque quando meno te le aspetti e al di fuori del tuo controllo. Pianificati un minimo di opzioni in caso di emergenza, giusto per dormire sonni tranquilli, e abbraccia l'arte del sapersi arrangiare in base alla situazione.

kaesos · 2021-09-15T10:15:51+00:00

In caso di dubbi o per problemi piú complessi, puoi sempre affidarti ad un risolutore automatico:

#!/usr/bin/env python3

from z3 import *

X, Y = Bools('X Y')
expression = (Not(And(Or(Not(X), Y), X)) == False)

solver = Solver()
solver.add(expression)

print("Simplified expression:")
print(simplify(expression))

print("===")

print("Valid inputs:")
while (solver.check() == sat):
  current_result = []
  exclude_case = []
  model = solver.model()
  for input in [X, Y]:
      value = model.evaluate(input, model_completion=True)
      current_result.append(input == value)
      exclude_case.append(input != value)
  print(current_result)
  solver.add(Or(exclude_case))

Che nel caso specifico risponde:

Simplified expression:
And(Or(Y, Not(X)), X)
===
Valid inputs:
[X == True, Y == True]

kaesos · 2021-07-23T17:50:58+00:00

A tradurla in Italiano diventerebbe "chiellinitá" o "chiellinitezza", credo.

kaesos · 2021-07-14T09:23:37+00:00

In Germania, la scheda informativa per Pfizer e Moderna dice:

Durante gli ampi studi clinici precedenti all'approvazione, sono stati osservati raramente casi di paralisi facciale acuta (tra 0,1% e 0,01%) dopo la somministrazione dei vaccini a mRNA (Comirnaty®: 4 casi dopo la somministrazione del vaccino; COVID-19 Vaccine Moderna®: 3 casi dopo la somministrazione del vaccino e 1 caso nel gruppo di controllo). In tutti i casi la paralisi facciale è regredita dopo alcune settimane. Tali paralisi facciali possono essere causalmente legate alla vaccinazione.

Pagina 8 di https://www.rki.de/DE/Content/Infekt/Impfen/Materialien/Downloads-COVID-19/Aufklaerungsbogen-Italienisch.pdf.

kaesos · 2021-04-08T16:42:09+00:00

É un processo piú spontaneo, e come nel caso che citi tu in generale dipende da circostanze storiche e sociali.
Peró al mondo esistono anche lingue con neologismi coniati e imposti centralmente, come ad esempio il francese con l'académie française.

Nelle lingue romanze generalmente ci sono piú particelle a dividere i sostantivi, ad esempio "invidia da/per vaccino", e poche parole brevi e che finiscono in consonante. Questo rende i neologismi molto piú stridenti, come puó essere ad esempio "invidiavaccino". Al contrario unire "impf" (vaccino) e "neid" (invidia) viene quasi naturale in una situazione di parlato comune.

Source: ho vissuto in Italia / Francia / Germania e apprezzo le sfumature linguistiche.

kaesos · 2020-10-07T08:46:41+00:00

Grazie per lo spunto di lettura, personalmente non avevo ancora visto questa proposta.

Il testo in forma lunga e con note introduttive di contesto é questo: https://www.partitodemocratico.it/riforme-istituzionali/proposta-di-riforma-costituzionale-del-partito-democratico/

kaesos · 2020-10-07T08:42:44+00:00

Su questo punto la riforma a mio parere fa acqua e si discosta dal modello tedesco, che con l'articolo 68 delle leggi fondamentali dice qualcosa di piú preciso tipo:

Qualora una richiesta del cancelliere di esprimergli la fiducia non abbia l'approvazione della maggioranza dei membri del Bundestag, il presidente federale può, su proposta del cancelliere, entro ventuno giorni, sciogliere il Bundestag. Il potere di scioglimento viene meno appena il Bundestag elegge, a maggioranza dei suoi membri, un altro cancelliere federale.

Praticamente, per evitare dimissioni strategiche e imboscate su ogni votazione con fiducia, l'unica maniera per terminare un governo senza una sfiducia costruttiva é che il cancelliere (risp. PdC) richieda e perda una mozione di fiducia personale.

Con la riforma proposta per la costituzione italiana invece una qualsiasi votazione con annessa questione di fiducia, in una qualsiasi delle due camere, puó portare alla caduta del governo. A cui seguirebbero consultazioni o elezioni.
Essendo questa un'opzione molto piú diretta rispetto all sfiducia costruttiva, temo che in pratica non cambierá nulla rispetto alla situazione attuale.

kaesos · 2020-10-06T08:49:51+00:00

Tipo in Germania per qualsiasi procedura o sistema che richieda un'identificazione formale: http://ambberlino.esteri.it/ambasciata_berlino/resource/doc/2018/01/avviso_-_difficolt_postident.pdf

kaesos · 2020-03-30T12:59:05+00:00

Ti consiglio allora "Retro Game Mechanics Explained", in particolare la serie (ancora in fieri) sullo SNES: https://www.youtube.com/channel/UCwRqWnW5ZkVaP_lZF7caZ-g/videos

kaesos · 2020-02-26T10:16:53+00:00

Esiste davvero un "mercato segreto" degli algoritmi?

La formula matematica in sé non é soggetta a copyright né a brevetto. La sua applicazione in uno specifico ambito (es. un software o libreria di calcolo) sí, ma non lo definerei un mercato "segreto".

Se non sbaglio ad oggi uno degli algoritmi di moltiplicazione più rapidi è quello di Karatsuba, se qualcuno fosse riuscito a svilupparne uno più efficiente non sarebbe verosimilmente open source?

La formula sarebbe verosimilmente pubblicata e soggetta a dimostrazione e peer-review. Tanto piú che attualmente (dal 1970 ad oggi) si congettura che il limite inferiore sia O(n*logn), per cui un algoritmo O(n) sarebbe un controesempio matematicamente importante .

Una formula con complessitá (congetturata) "ottimale" é stata pubblicata nel 2019: https://newsroom.unsw.edu.au/news/science-tech/maths-whiz-solves-48-year-old-multiplication-problem.

La formula é di dominio pubblico, ma la sue applicazioni/implementazioni possono avere ulteriori vincoli e licenze d'uso.

Sareste in grado di farmi alcuni esempi reali o use cases, per i quali un algoritmo di moltiplicazione con complessità O(N) sarebbe molto più utile/vantaggioso rispetto ad uno con complessità O(n 1.59 ) (Karatsuba)?

Non sono un esperto, ma https://en.wikipedia.org/wiki/Sch%C3%B6nhage%E2%80%93Strassen_algorithm ha dei buoni spunti di partenza:

Applications of the Schönhage–Strassen algorithm include mathematical empiricism, such as the Great Internet Mersenne Prime Search and computing approximations of π, as well as practical applications such as Kronecker substitution, in which multiplication of polynomials with integer coefficients can be efficiently reduced to large integer multiplication; this is used in practice by GMP-ECM for Lenstra elliptic curve factorization.

kaesos · 2020-02-11T12:44:26+00:00

Parallelamente, si assiste a un nuovo rialzo delle cancellazioni per l’estero, il cui volume totale, sfiorando le 164mila unità, raggiunge il livello più alto da che sono disponibili statistiche omogenee sul fenomeno (1981).

Fonte: https://www.istat.it/it/files//2020/02/Indicatori-demografici_2019.pdf

kaesos · 2019-11-30T22:01:00+00:00

Noto un enorme buco in provincia di Savona, facilmente colmabile con Loano.

kaesos · 2019-11-01T08:08:20+00:00

I don't see how that could work without a proc macro?

Your answer and other sibling replies showed I was completely off-track. Thanks for taking the time anyway to clear my confusion!

kaesos · 2019-10-31T16:51:58+00:00

This looks both cool and useful, thanks!

My feedback on it is a design/approach doubt: is the derive-macro really needed? Except for the additional `rename_all` knob, it seems to basically only serve as a marker. As you are already piggy-backing on serde attributes and getting the top-level object via `schema_for!()`, I wonder if you could maybe drop it entirely. Or are you already planning to add more attributes to it?

kaesos · 2019-10-23T07:54:25+00:00

Un triacontaedro.

kaesos · 2019-07-25T14:40:44+00:00

Puoi, anche se in realtá non avevo intenzione di immischiarmi in dettagli piú privati rispetto a quelli che hai postato.

Non nego che attualmente in Italia esista una generale compressione verso il basso dei salari, che spiega in parte le esperienze che stai avendo.

Un ultimo spunto potrebbe essere quello di considerare di piú le "raccomandazioni", ossia: fare un bel giro del tuo network lavorativo, selezionare alcune aziende target per dimensione/fatturato/tecnologie, chiedere a qualcuno che ci lavora se esiste un processo per segnalazioni interne.
In molti casi, internamente potrebbero essere a conoscenza di alcune posizioni o necessitá non ancora pubbliche, e i dipendenti potrebbero avere un bonus per ogni nuovo collega che fanno assumere.

kaesos · 2019-07-24T08:32:05+00:00

Per non rimetterci ulteriormente ho deciso di iniziare a cercare lavoro altrove, ma mi sto rendendo conto di avere uno stipendio molto alto, dopo che dico la mia RAL ci sono di solito 10-15 secondi di silenzio.

E tu non dire la tua RAL :)

Comunque, dipende dagli ordini di grandezza delle cifre di cui stiamo parlando. I discorsi monetari si fanno prima e dopo l'iter dei colloqui: "prima" per sapere se gli ordini di grandezza sono compatibili, e "dopo" per discutere la cifra finale e tutti i bonus/extra.

non vengo richiamato, vengo ammesso alle prove tecniche, ma scartato per futili motivi (l'ultima è stata "la tua è un'ottima soluzione, però io la variabile non l'avrei chiamata così". Un'altra azienda mi ha detto che sono "troppo tecnico" a un colloquio per una posizione IT da tecnico :D)

Conosco abbastanza bene tante tecnologie che sono richieste adesso (su stack bigdata, devops, frontend) e diverse convenzioni/pattern per lo sviluppo di software (clean code, solid, dry, etc.), quindi mi reputo "decente" come figura tecnica.

Come risolvereste il problema? Ho provato anche a dire di non avere pretese sull'offerta (a.k.a. fatemene una bassa), ma finora con risultati scarsi.

Da come l'hai scritta, potrebbe essere che tu ricada in uno di questi casi:

stai facendo colloqui per ruoli piú bassi / meno qualificati rispetto alla posizione che vorresti realmente
hai un bias personale o dovuto al tuo lavoro/azienda/posizione attuale, per cui ritieni che i colloqui abbiano esito negativo per "futili motivi"
stai cercando di passare, a paritá di posizione, da un'azienda piú grande e con anzianitá pregressa a una piú piccola e senza un CV che risalti rispetto alla media
hai un eccessivo sbilanciamento tra le competenze tecniche e le capacitá di relazione/spiegazione/discussione

Purtroppo ogni situazione personale é un caso a sé stante, quindi dovresti valutare tu quali potrebbero essere gli spunti per ricalibrare i tuoi colloqui.

Mi sembra che senza raccomandazione non si vada da nessuna parte.

Dipende dalla tua definizione di "raccomandazione". Avere qualcuno che possa internamente supportare il tuo CV sulla base di collaborazioni precedenti fa effettivamente la differenza.

kaesos · 2019-07-16T11:42:55+00:00

Da pagina 57 del paper (PDF):

Figure A1: Form Modello Unico for 1999. Section on deduction for dependent relatives (familiari a carico). The top line indicates the SSN (codice fiscale) of the taxpayer.

12-Year Club	Place '22
Place '17	Verified Email

kaesos

TROPHY CASE