Stories by lukastyrychtr

Teaching Rust in 5 Days

A Mastodon Client for PalmOS

Using Kani to Validate Security Boundaries in AWS Firecracker

The car data hype – no need to worry?

From Hidden Bee to Rhadamanthys – The Evolution of Custom Executable Formats

Tclip: A Pastebin for Your Tailnet

The case for Nushell

The Myth of Google's Plus

Bare Metal Space Invaders

Exploring the Rust compiler benchmark suite

Learning async Rust with entirely too many web servers

Let's Build a Cargo Compatible Build Tool – Part 1

How to improve Rust compiler’s CI in 2023

A failed experiment with Rust static dispatch

Turbocharging Rust Code Verification

Dependency Injection in Swift Using Property Wrappers

Building a Rust Workspace with Bazel

Distributing Lamport’s bakery with Automerge, and a touch of TLA+

Not-so-casual Performance Optimization in Python

Totality

3
4
5
6
7
8
9
10
11
12