Тёмный

Type Theory for Busy Engineers - Niko Matsakis 

Rust Nederland (RustNL)
Подписаться 3,1 тыс.
Просмотров 4,2 тыс.
50% 1
ВидеоПоделитьсяСкачатьДобавить в

Follow Niko on:
twitter: / nikomatsakis
github: github.com/nikomatsakis
This talk was given at RustNL 2024, in Delft, The Netherlands.
Playlist of other talks from RustNL 2024: • RustNL 2024
Want to come to RustWeek 2025 in-person? go to 2025.rustnl.org

Наука

Опубликовано:

 

3 июн 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 4   
@julesoscar8921
@julesoscar8921 21 день назад
43:09 we need this
@johanngambolputty5351
@johanngambolputty5351 20 дней назад
Has this been reuploaded?
@adampaul7905
@adampaul7905 20 дней назад
Why are you not just do a compiler of Coq to Rust ? You are pretty much already doing it by implement a macro to write inference rule. To have to learn this DSL to describe Inference rule doesn't seem optimal at all... Even if I understand the goal to have a crate in Rus to do it.
@AatifSyedyp
@AatifSyedyp 20 дней назад
This is addressed at 44:00
Далее
Async Rust in Embedded Systems with Embassy - Dario Nieuwenhuis
36:16
Async Rust in Embedded Systems with Embassy - Dario Nieuwenhuis
Просмотров 1,8 тыс.
Compression Carcinized: Implementing zlib in Rust - Folkert de Vries
36:06
Compression Carcinized: Implementing zlib in Rust - Folkert de Vries
Просмотров 1 тыс.
Вечный ДВИГАТЕЛЬ!⚙️ #shorts
00:27
Вечный ДВИГАТЕЛЬ!⚙️ #shorts
Просмотров 956 тыс.
Враг ФБР номер 1. Почему его не могли поймать 17 лет? | ФАЙБ
51:29
Враг ФБР номер 1. Почему его не могли поймать 17 лет? | ФАЙБ
Просмотров 267 тыс.
Мы никогда не были так напуганы!
00:15
Мы никогда не были так напуганы!
Просмотров 1,6 млн
⚡️ МАССИРОВАННАЯ стрельба в Дагестане. Путину стоит задуматься о ситуации на Кавказе
18:00
⚡️ МАССИРОВАННАЯ стрельба в Дагестане. Путину стоит задуматься о ситуации на Кавказе
Просмотров 239 тыс.
Postcard: An Unreasonably Effective Tool for Machine to Machine Communication - James Munns
39:01
Postcard: An Unreasonably Effective Tool for Machine to Machine Communication - James Munns
Просмотров 2,2 тыс.
Nicholas Matsakis - Rust 2024 and beyond
33:48
Nicholas Matsakis - Rust 2024 and beyond
Просмотров 10 тыс.
GOSIM 2024 Europe APP & WEB Ben Wishovich: Make Web UI Easy with Leptos
33:30
GOSIM 2024 Europe APP & WEB Ben Wishovich: Make Web UI Easy with Leptos
Просмотров 327
Arc in the Linux Kernel - Alice Ryhl
32:47
Arc in the Linux Kernel - Alice Ryhl
Просмотров 2,3 тыс.
Xilem: Let's Build High Performance Rust UI - Raph Levien
41:47
Xilem: Let's Build High Performance Rust UI - Raph Levien
Просмотров 3,7 тыс.
Type Theory for the Working Rustacean - Dan Pittman
19:24
Type Theory for the Working Rustacean - Dan Pittman
Просмотров 16 тыс.
HTMX Sucks
25:16
HTMX Sucks
Просмотров 101 тыс.
Jonathan Blow on why C++ is a bad language for games
13:45
Jonathan Blow on why C++ is a bad language for games
Просмотров 32 тыс.
Why It (Mostly) Doesn't Matter How You Code In Rust
22:57
Why It (Mostly) Doesn't Matter How You Code In Rust
Просмотров 11 тыс.
Carl Kadie - 9 Rules for Creating (...) Data Structures - Rust Linz
34:42
Carl Kadie - 9 Rules for Creating (...) Data Structures - Rust Linz
Просмотров 8 тыс.
РАБОТА НАД СИСТЕМОЙ!! Apple выпустила iOS 18 Beta 2 на Айфон! Что нового? Можно ли ставить?!
8:22
РАБОТА НАД СИСТЕМОЙ!! Apple выпустила iOS 18 Beta 2 на Айфон! Что нового? Можно ли ставить?!
Просмотров 20 тыс.
iOS 18 vs Samsung, Xiaomi,Tecno, Android
0:54
iOS 18 vs Samsung, Xiaomi,Tecno, Android
Просмотров 80 тыс.
Каждый владелец СТАРОГО iPhone такой🤡
0:41
Каждый владелец СТАРОГО iPhone такой🤡
Просмотров 18 тыс.
🍎Почему Джобс ненавидел рекламу айпада?
0:38
🍎Почему Джобс ненавидел рекламу айпада?
Просмотров 48 тыс.
Купил этот ваш VR.
37:21
Купил этот ваш VR.
Просмотров 293 тыс.
Лицемерная экология Apple. Деньги важнее планеты?
14:14
Лицемерная экология Apple. Деньги важнее планеты?
Просмотров 28 тыс.
Почему ноль в розетке не бьется током? #электроника #электричество
0:30
Почему ноль в розетке не бьется током? #электроника #электричество
Просмотров 21 тыс.