gosim china 2024 - gregory terzian: solving concurrency with (in-)formal methods in servo
Published 13 days ago • 238 plays • Length 38:16Download video MP4
Download video MP3
Similar videos
-
37:43
gosim china 2024 - wouter geraedts: how rust makes open source embedded drivers easy
-
32:53
gosim china 2024 - jonathan schwender: porting servo to openharmony
-
24:26
gosim china 2024 - philipp oppermann：zero-copy message passing across languages using apache arrow
-
28:09
gosim china 2024 - yuyuan yuan: implementing zenoh with rust for v2v,autonomous systems,and robotics
-
46:58
gosim china 2024 - josh triplett: fireside chat
-
3:27:33
gosim china 2024 -santiago pastorino and jack huey：contributing to the rust compiler
-
31:21
gosim china 2024 - german ros ：leveraging carla to create end-to-end autonomous driving solutions
-
31:02
matrix live s10e05 — a multi-platform client fully in rust
-
3:00
find us by gauzy
-
23:07
gosim china 2024 - ryohsuke mitsudome：introduction to autoware open ad kit
-
17:38
gosim china 2024-musab gultekin：functionary: using tools with llms
-
31:02
gosim china 2024 - sébastien crozet: rapier - advancing distributed physics simulation
-
36:22
gosim china 2024 - german ros sanchez: the role of open-source simulation in embodied ai
-
28:37
gosim china 2024 - ming cen: task modeling for functional unmanned vehicles
-
17:19
gosim china 2024 - ed page: making your contribution as a maintainer successful
-
32:30
gosim china 2024 - qiao dan: typical use of rust in trading systems
-
26:02
gosim china 2024 -tiago manczak-rust in embedded systems: from innovation to production
-
23:37
gosim china 2024 - julien loudet: eclipse zenoh - communication backbone for ai use-cases
-
42:47
gosim china 2024 - drummond reed: global acceptance network - decentralized digital trust at scale
-
40:03
gosim china 2024 -feiyu chen ：patterns in optimizing triton kernels for reduction ops