Tags: blog | c# | energy-efficiency | pyo3 | python | rust | smt


blog

Rubber duck debugging & Rust impl Iterator

c#

Comparing Regex performance in Rust and C#

energy-efficiency

Energy efficiency research: heat pump dryers

pyo3

Returning mixed compound types from Rust with PyO3

MessagePack and PyO3

python

Solving Einstein’s Problem with SMT

Returning mixed compound types from Rust with PyO3

MessagePack and PyO3

GZip encoding and decoding in Python

Tests and PyO3

Parquet in Rust

Of course, sir, it’s a cheese shop!

fsspec with adl

rust

Understanding warp

Statefulness in Rust, part 1

Chrono + Serde in Rust

Comparing Regex performance in Rust and C#

Adding build time into your Rust package

Rubber duck debugging & Rust impl Iterator

Stateful website with Rocket

Arc<Mutex<_>> in Rust</a>

Returning mixed compound types from Rust with PyO3

Benchmarkng MsgPack vs JSON in Rust

MessagePack and PyO3

GZip encoding and decoding in Python

GZip encoding and decoding in Rust

HTTP requests in Rust

Simple C library with Rust

Adding a Nushell command

Debugging Rust compilation (in WSL)

Regex in Rust

JSON in Rust with serde

Parquet in Rust: Reading the Schema

Name parsing in Rust

Tests and PyO3

Parquet in Rust

Of course, sir, it’s a cheese shop!

smt

Solving Einstein’s Problem with SMT