Synthesizing Loop-Free Programs with Rust and Z3

This post makes extensive use of math symbols, and uses MathJax.js to render them, therefore I recommend enabling JavaScript. Read more

Similar

Yoshua Wuyts: State Machines in Rust

Every now and then I like to think about topics that don't directly relate to my daily work. One of those topics has been parsers: back in January I wrote about byte-ordered stream parsing and how I think we can improve streaming parsing in Rust with a sm... (more…)

Read more »

Inbound and Outbound FFI – Possible Rust

Foreign Function Interfaces (FFI) are a core mechanism for enabling integration of new languages into existing codebases or building on existing libraries. That said, the term “FFI” is often overloaded in ways that may be unclear or ambiguous, and the are... (more…)

Read more »