Posts tagged rust

• Survey. An Introduction to OS-Level Verification with Asterinas and Verus  ‒ October 14, 2026
  A talk about verifying Linux compatible kernel written with Rust
• Functional IoT Meetup  ‒ January 30, 2016
  First meetup to talk about Functional programming on embedded device.
• Metasepi team meeting  ‒ January 5, 2014
  Let's prefetch Internet of Things (IoT) using functional language!