Deschide articolul original într-un tab nou Schimbarea acestei opțiuni se aplică imediat și reîncarcă pagina.
LECTURA
Înapoi la articole →

Roberto Tonino

www.robertotonino.com/feed.xml
Vizitează site-ul

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 6

  1. What do you need to be a good people leader? (or, A fool believing he's saying something smart)

    (Roberto Tonino)

    An opinionated take on my experience of being a people leader for 1 year.

  2. Book review: Hyperion

    (Roberto Tonino)

    Review of the book Hyperion by Dan Simmons.

  3. Problems with scaling

    (Roberto Tonino)

    Tale of a back and forth with Linux configs and Claude

  4. Stages of adoption

    (Roberto Tonino)

    One day, you stumble on a new methodology/tool.

  5. Run-time verification of web applications

    (Roberto Tonino)

    This report summarizes the paper “A formal approach for run-time verification of web applications using scope-extended LTL”.

  6. Values

    (Roberto Tonino)

    Talking about my values.