Reliable software: An interview with Jon Gjengset

Поделиться
HTML-код
  • Опубликовано: 30 дек 2024
  • НаукаНаука

Комментарии • 8

  • @vasfvitor
    @vasfvitor 4 дня назад +3

    timestamp from tim's website:
    ----
    Highlights
    A partial list:
    0:11:01: Porting an existing code base to Rust - A three step process
    0:15:04: Fuzz testing
    0:18:00: Property testing
    0:26:00 Concolic execution
    1:03:00 Chaos testing
    1:06:36 Kani model checker
    1:07:17 Loom, Turmoil
    1:07:51 Mutation testing with Cargo Mutants
    1:33:45 Working with stakeholders
    1:44:33 Open source sustainability
    1:46:02 Taking on dependencies, case of serde-yaml

  • @desuburinga
    @desuburinga 16 часов назад

    Great interview, do more of these and please improve the audio quality a little bit. If there are faces it will be even better!

  • @learning_rust
    @learning_rust 6 дней назад

    What a treat! Always fascinating to listen and learn! 👍🎉

  • @vasfvitor
    @vasfvitor 4 дня назад

    this is great!

  • @andherium
    @andherium 5 дней назад +1

    someone please add timestamps.

  • @TinoFabienne
    @TinoFabienne 5 дней назад +1

    Thanks for the analysis! Just a quick off-topic question: I have a SafePal wallet with USDT, and I have the seed phrase. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). How can I transfer them to Binance?

  • @vinylwarmth
    @vinylwarmth 5 дней назад +1

    The audio quality stinks. About 15min in and close to giving up 😢

  • @pktr2320
    @pktr2320 5 дней назад +2

    I wish I could listen to it. He is very knowledgeable, but his speaking style makes it very difficult to endure for more than 10'. I wish he stops trying to sound like a native speaker. At some point it becomes ridiculous.