On Subtyping and Variance in Rust
1 Introduction Subtyping is a relationship between types, where a type S conforms to the type T’s interface and th...
Victor Farazdagi
Recent content on farazdagi.com
Latest posts
Typestate pattern in Rust
1 Introduction Rust’s type system is quite sophisticated, allowing for plethora of useful idioms. One of such idio...
SoK: Attestation Aggregation Algorithms
If you want to suggest sth, please, feel free to contribute to the ethresear.ch topic. 1. Background Let’s start f...
Practice Problem: Sparse Subgraph
0. Context This is a second practice problem on NP-Completeness proofs. The first one was Almost-SAT problem. 1. Problem...
Practice Problem: Almost-SAT
1. Problem Statement Consider the Almost-SAT problem defined as following: Input: A CNF formula $f$ with $n$ variables $...
Using SSH private keys securely when building Docker images
Use case: SSH keys required to access private GitHub repository Couple of days ago, I needed to build image for Ethereum...
Bitonic Sort in Go
0. Context This semester I’m enrolled in CSE6220: Into to HPC class, where Prof. Vuduc tries to make sure we have ...
Vim as Go language IDE
UPD: JetBrains has an amazing Golang IDE now! 0. Why? There are plugins for Sublime, IntelliJ IDEA, Komodo etc so why do...
REST and long-running jobs
Context Consider a situation when you need to create a resource and the operation takes long time to complete. Actually,...
Weighted Interval Scheduling
Sample Problem Some time ago when working on student and course management system for my client I needed to find out how...
About me
I’m a Rust Engineer on the ETL Team at Supabase, working on supabase/etl. Previous Work @WalletConnect Worked on t...