„Limbajul de programare Rust” – Aaron Turon de la Mozilla
Seria de seminarii Colocviul privind sistemele informatice (EE380) prezintă cercetările actuale în proiectarea, implementarea, analiza și utilizarea sistemelor informatice. Subiectele variază de la circuite integrate la sisteme de operare și limbaje de programare. Este gratuit și deschis publicului, cu prelegeri noi în fiecare săptămână.
Află mai multe: http://bit.ly/WinYX5
0:00 Introducere
4:26 Ce este controlul?
6:07 Abstracție cu costuri zero
7:15 Ce este siguranța?
11:10 Dar GC?
12:26 Soluția lui Rust
14:03 Mai mult la rugină decât la siguranță
19:56 Compilatorul impune mișcările
24:59 Alias
25:39 Referințe mutabile
26:09 Iterație eficientă
26:47 Ce se întâmplă dacă de la și până sunt egale?
31:01 Cursa de date
41:31 Verificarea siguranței firului
52:33 Abstracții sigure
56:22 Starea Ruginii
Cursuri interesante:
- Seminar Stanford – Vorbire profundă: Creșterea recunoașterii vocale de la capăt la capăt
- Seminar Stanford – Băutură din furtunul de incendiu: cum decodifică procesorul morii peste 30 de instrucțiuni pe ciclu
- Seminar Stanford – Analiza topologică a datelor: Cum a folosit Ayasdi TDA pentru a rezolva probleme complexe
- Seminar Stanford – Intel Software Guard Extensions
- Seminar Stanford – Cine deține viitorul, Jaron Lanier, Microsoft Research
- Seminar Stanford – Programarea ar trebui să fie mai mult decât codificare, Leslie Lamport de la Microsoft Research
- Seminar Stanford – Programare concatenative: de la fildeș la metal
- Seminar Stanford – Rețele definite de software la răscruce
- Seminar de la Stanford – NVIDIA GPU Computing: O călătorie de la jocurile pe computer la deep learning
- Seminar Stanford – Protocolul TLS 1.3