Sean's Blog

Rust

November 14, 2025
Edit on GitHub

Rust is a statically and strongly typed systems programming language that enforces memory safety (without a garbage collector) through its ownership and borrowing model, while still being efficient in the ballpark of C or C++.

In safe Rust, the compiler prevents entire classes of bugs common in C, such as use-after-free and most data races. It also forces explicit handling of optional values via Option instead of allowing null references. While this shifts many potential failures from runtime to compile time (in contrast with dynamic languages like Python or unsafe manual memory management in C) - Rust does not eliminate logic errors, panics or higher-level concurrency issues like deadlocks. These properties are the reason Rust has made its way into the Linux kernel.

Rust also shines through its ergnomic package manager cargo that provides a smooth developer UX. The only real downside of Rust is its inherent complexity and at times verbose / ugly syntax.

Great introduction: https://fasterthanli.me/articles/a-half-hour-to-learn-rust

HTTP Server

Machine Learning

GUI

PDF Extraction

Concurrency

  • cineyma: Erlang inspired OTP-style actor framework
  • asupersync: Async runtime for Rust where correctness is structural: region-owned tasks, cancel-correct protocols, capability-gated effects, and deterministic replay testing

Coding Agents

References

#coding