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

iPhone shots of a cold Amsterdam

Uncategorized
1 1 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)
  • @evan where is your moustache?!?!

    Uncategorized
    2
    0 Votes
    2 Posts
    0 Views
    @ruisan https://evanp.me/2026/01/03/new-year-new-me/
  • 0 Votes
    96 Posts
    11 Views
    @stefano yes, and time will tell if trust can be restored, because position of the owners seems not that clear. Why did they put the @&€@! at the leading position ? Would he have continued to put pressure on his own teams and have them leave ? Didn’t anybody detect a management crisis ? Didn’t they mesure the risks of having such leadership? Did they put him on purpose to reduce costs by having people quit the company? I knew people who were complete dictators, putting pressure on teams. I crossed their way, I felt their whip on my developer skin. With complete satisfaction from the top management. Having someone putting pressure being a very virile signal, it makes them absolutely happy. Power is a drug that often leads to a sadistic satisfaction of ruining people’s life. People reading this post will have their own exhibit to show to the jurors.