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

Zero-Cost Abstractions in Rust

Last week, Ibrahim Dursun published an article about zero-cost abstractions in Rust. Unfortunately, except for a subpart of the article, this article did not reflect, in my own opinion, correctly what are zero-cost abstractions. (more…)

Read more »

Rust on Espressif Chips

It's been a while since my last post. I have some exciting news to share before going over the progress over the last nine months. I will be joining Espressif full time to work on Rust support for all of Espressif's chips, past, present and future! I am v... (more…)

Read more »