Victor Farazdagihttps://farazdagi.com/Recent content on farazdagi.comHugo -- gohugo.ioen-us© 2014-2026 Victor FarazdagiTue, 10 Feb 2026 00:00:00 +0000On Subtyping and Variance in Rusthttps://farazdagi.com/posts/2026-02-10-subtyping/Tue, 10 Feb 2026 00:00:00 +0000https://farazdagi.com/posts/2026-02-10-subtyping/ 1 Introduction Subtyping is a relationship between types, where a type S conforms to the type T’s interface and th...Typestate pattern in Rusthttps://farazdagi.com/posts/2024-04-07-typestate-pattern/Sun, 07 Apr 2024 00:00:00 +0000https://farazdagi.com/posts/2024-04-07-typestate-pattern/ 1 Introduction Rust’s type system is quite sophisticated, allowing for plethora of useful idioms. One of such idio...SoK: Attestation Aggregation Algorithmshttps://farazdagi.com/posts/2020-07-01-sok-attestations-aggregation/Wed, 01 Jul 2020 00:00:00 +0000https://farazdagi.com/posts/2020-07-01-sok-attestations-aggregation/ 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 Subgraphhttps://farazdagi.com/posts/2018-12-15-sparse-subgraph/Sat, 15 Dec 2018 12:00:00 +0000https://farazdagi.com/posts/2018-12-15-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-SAThttps://farazdagi.com/posts/2018-12-14-almost-sat-np-completeness/Fri, 14 Dec 2018 12:00:00 +0000https://farazdagi.com/posts/2018-12-14-almost-sat-np-completeness/ 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 imageshttps://farazdagi.com/posts/2016-09-18-ssh-private-keys-on-docker-build/Sun, 18 Sep 2016 12:00:00 +0000https://farazdagi.com/posts/2016-09-18-ssh-private-keys-on-docker-build/ Use case: SSH keys required to access private GitHub repository Couple of days ago, I needed to build image for Ethereum...Bitonic Sort in Gohttps://farazdagi.com/posts/2015-09-02-bitonic-sort-in-go/Wed, 02 Sep 2015 12:00:00 +0000https://farazdagi.com/posts/2015-09-02-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 IDEhttps://farazdagi.com/posts/2015-01-10-vim-as-golang-ide/Sat, 10 Jan 2015 12:00:00 +0000https://farazdagi.com/posts/2015-01-10-vim-as-golang-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 jobshttps://farazdagi.com/posts/2014-10-16-rest-long-running-jobs/Thu, 16 Oct 2014 12:00:00 +0000https://farazdagi.com/posts/2014-10-16-rest-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 Schedulinghttps://farazdagi.com/posts/2013-11-15-weighted-interval-scheduling/Fri, 15 Nov 2013 12:00:00 +0000https://farazdagi.com/posts/2013-11-15-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 mehttps://farazdagi.com/about/Mon, 01 Jan 0001 00:00:00 +0000https://farazdagi.com/about/ Interested in collaborating or have an exciting project in mind? Let’s connect! I’m a software engineer with over 10 yea...