A Dumb Introduction to z3 using Rust

Exploring the world of constraint solvers with very simple examples. Read more

Similar

TiKV Rust Client – 0.1 release

We're pleased to announce the 0.1 release of the TiKV Rust client. TiKV is a distributed key-value store. TiKV is powerful, mature, and widely used as part of TiDB (a 'NewSQL' database). It is open source and written in Rust. However, up until now it has ... (more…)

Read more »

Why Zig When There is C++, D, and Rust?

If Zig code doesn’t look like it’s jumping away to call a function, then it isn’t. This means you can be sure that the following code calls only foo() and then bar(), and this is guaranteed without needing to know the types of anything: (more…)

Read more »

Implementing Rust’s Dbg in Python

Rust has an amazing dbg macro that lets you quickly set up an expression printer that will also put in the source line. It also returns the value of the expression so you can even easily inline the printing when you want to! (more…)

Read more »