Stories by lukastyrychtr

Esp-hal 1.0.0 beta announcement

Towards Practical Formal Verification for a General-Purpose OS in Rust

I learned to stop worrying and love the LLM

I Built a Deep Learning Library from Scratch Using Only Python, NumPy and Math

Fat Rand: How Many Lines Do You Need to Generate a Random Number?

Databending Part 2 – Hacking MP3s

Billion-Files File Systems (BfFS): A Comparison

Apple's macOS Unix certification is a lie

Path Canonicalization Is Unergonomic

Type Inference in Rust and C++

Automatic Server Reloading in Rust on Change: What Is Listenfd/Systemfd?

The Hunt for Error -22

Compile-Time Hex String Validation in Rust Using Const Evaluation

The RTen machine learning runtime – a 2024 retrospective

Conjuring a Linux distribution out of thin air

Designing a const `array:from_fn` in stable Rust

Optimizing a Rust GPU matmul kernel

A Novel Idea About `Functor` in Rust?

Safe relational database queries using the Rust type system

1
2
3
4
5
6
7
8
9
10