Why you’d be better off using QuickCheck when porting to Rust

https://www.youtube.com/watch?v=P4iyEX-4kYI RustFest 2016: For about half a year I’ve been doing a Rust port of a CPU emulator library written in C. This talk will tell you why on earth someone would want to do that, and why the effort likely would have failed without the use of QuickCheck, which has enabled me to thoroughly … Continue reading Why you’d be better off using QuickCheck when porting to Rust

LLVM Coroutines

https://www.youtube.com/watch?v=Ztr8QvMhqmQ Though invented long time ago in 1957, coroutines are getting popular in this century. More and more languages adopt them to deal with lazily produced sequences and to simplify asynchronous programming. However, until recently, coroutines in high level languages were distinctly not a zero-overhead abstraction. We are rectifying that by adding coroutine support to … Continue reading LLVM Coroutines

Subtyping in Rust and Clarke’s Third Law

  https://www.youtube.com/watch?v=fI4RG_uq-WU& “Any sufficiently advanced technology is indistinguishable from magic.” – Arthur C Clarke This is a talk about magic. In particular: Rust has subtyping, but it may not be in the place where you thought it was. My primary goal is to explain that metaphorical sleight-of-hand, in two parts. My secondary goal is to … Continue reading Subtyping in Rust and Clarke’s Third Law