Skip to content

Piero Bosio Social Web Site Personale Logo Fediverso

Social Forum federato con il resto del mondo. Non contano le istanze, contano le persone

Nearly every disease that we understand is caused, in some way, by inflammation.

Uncategorized
34 9 0

Gli ultimi otto messaggi ricevuti dalla Federazione
Post suggeriti
  • 0 Votes
    1 Posts
    0 Views
    Ci voleva una donna per proporre qualcosa di tanto ovvio quanto intelligente. La presidente #MaiaSandu rilancia l’idea di un’unificazione fra #Moldova e #Romania - Euractiv Italia https://euractiv.it/section/allargamento-e-parternariati/news/la-presidente-maia-sandu-rilancia-lidea-di-ununificazione-fra-moldova-e-romania/ @attualita
  • 0 Votes
    1 Posts
    1 Views
    I've been using this exact distinction for a while now. Since Korean, my native language, has distinct terms for the system (<span lang="ko">런타임</span>), the point in time (<ruby lang="ko">實行時<rp>(</rp><rt>실행 시</rt><rp>)</rp></ruby>), and the duration (<ruby lang="ko">實行時間<rp>(</rp><rt>실행 시간</rt><rp>)</rp></ruby>), using a single spelling for all three in English always felt a bit blurry to me. This spelling convention helps bridge that gap and makes technical writing much more precise. Personally, I find the meaning as indicated by Google's style guide the most clear, combined with an explicit case for hyphenation: Runtime: use the system meaning. E.g. “the runtime was updated last week,” or “I'm using version 21 of the Java runtime.” Run-time: use the moment meaning, but only when used in the adjective position. E.g. “run-time instrumentation is useful for finding bugs.” Run time: use the duration meaning. E.g. “the run time was reduced by 5%,” or “a run time of five minutes is unacceptable.” In addition, when you want to use the moment meaning, but not as an adjective, this form should also be used. E.g. “typechecking happens at run time in our implementation.” —<cite>My Opinion on Run Time vs. Run-time vs. Runtime</cite> (by Bob Rubbens)
  • 0 Votes
    1 Posts
    0 Views
    Arabia Saudita chiude il proprio spazio aereo agli USA. Una mossa strategica che cambia gli equilibri del Medio Oriente e segnala una maggiore autonomia regionale.Mio articolohttps://www.corrierepl.it/2026/01/14/arabia-saudita-blocca-spazio-aereo-agli-usa/https://www.corrierepl.it/2026/01/14/arabia-saudita-blocca-spazio-aereo-agli-usa/
  • Apple Creator Studio apps’ icons fixed.

    Uncategorized
    1
    1
    0 Votes
    1 Posts
    1 Views
    Apple Creator Studio apps’ icons fixed.