Stories by lukastyrychtr

Hooking Go from Rust – Hitchhiker’s Guide to the Go-Laxy

Using the Kani Rust Verifier on Tokio Bytes

Rust Linux Kernel Development

Proc macro support in rust-analyzer for nightly rustc versions

Paper Review: Safe, Flexible Aliasing with Deferred Borrows

A Blocking Syscall

Fixing the Next Thousand Deadlocks

How to Put 30 Languages into 1.1MB

Futuristic Rust: context emulation, part 2

Elegant and Performant Recursion in Rust

Async let – A new concurrency primitive?

Unsafe Syntax

Almost Rules

Procedural Macros Part II

Using the Kani Rust Verifier on a Firecracker Example

Supporting GPU-Accelerated Machine Learning with Kubernetes and Nix

The last two years in Miri

Many Modes: A GATs Pattern

Complexity

Release-plz: release Rust packages from CI

10
11
12
13
14
15
16
17
18
19