jsfpdn

I’m a computer science student at Masaryk University doing my master’s in theoretical computer science and writing a thesis about Sentential Decision Diagrams implemented in Rust. I have bachelor’s in mathematical computer science where my thesis focused on similarity search techniques and optimizing similarity search index based in metric spaces. I focus on compilers, parallel programming, distributed systems, functional programming and algorithm & data structure design. I write code mainly in Go, Rust and Zig.

You can reach me at jsfpdn at gmail dot com, on GitHub or LinkedIn.

Some things I am (or was) working on:

• Regatta – helping out with the development of a globally distributed key-value database for the edge (source code, helm chart)
• sdd-rs – bottom-up sentential decision diagram compiler written in Rust.
• MH-Tree – similarity search index structure in metric spaces which was the main focus of my bachelor’s thesis
• yatlc – toy compiler backed by LLVM for a small imperative language
• Feedforward neural network recognizing handwritten digits with 89% accuracy. Written in Rust from scratch with no dependencies

Some of my presentations:

• Compile-Time Function Evaluation – how compile-time function evaluation can be implemented in a compiler, examples in C++ and Zig
• Dynamicity of MH-Trees (or a shorter version) – presentation for my bachelor’s thesis defence
• Introduction to fuzz testing in Go
• Writing linters in Go
• Pebble: LSM-Based Storage in Go