https://siedentop.dev/tags/rust/ Recent content in Rust on Posts about Software Development Hugo en-us Thu, 19 May 2022 00:15:35 -0700 https://siedentop.dev/posts/rust-z3/ Thu, 19 May 2022 00:15:35 -0700 https://siedentop.dev/posts/rust-z3/ <h1 id="a-translation-of-a-z3-example-from-python-to-rust">A translation of a Z3 example from Python to Rust</h1> <p>This post is a translation of a Z3 example from Python to Rust. It is not very inspired: Please read the original Python article <a href="https://www.javiercasas.com/articles/sat-solver-scheduler">1</a> for more background. However, at the bottom of this page, I provide a few more links and resources with a few notes.</p> <p>The Z3 crate does not have any examples, so it makes it a bit tough to get started. I found one <a href="https://www.javiercasas.com/articles/sat-solver-scheduler">article</a> that explains how to use Z3 for scheduling tasks in Python.</p> https://siedentop.dev/posts/rust-reputation/ Mon, 19 Oct 2020 20:27:31 -0700 https://siedentop.dev/posts/rust-reputation/ <p>Last week there were two posts on the reputation of C++. In a noble effort, <a href="https://twitter.com/jpakkane">Jussi Pakkanen</a> showcased <a href="https://nibblestew.blogspot.com/2020/10/does-c-still-deserve-bad-rap-it-has-had.html">modern C++</a>. Nothing fancy, just clean and readable code. Unfortunately, around ten years after C++11, the news that simple (and safe) C++ code is now the default has not spread everywhere.</p> <p><a href="https://twitter.com/jmoiron">Jason Moiron</a> answered with Go code doing the same (<a href="http://jmoiron.net/blog/cpp-deserves-its-bad-reputation">article</a>). Both programs find the ten most common words in all <em>txt</em> files, which can be recursively found in the current directory.</p>