Vlad's Tech Blog

2023

Jun 04

Mental Poker Part 2: Fluid Ledger

Apr 12

Notes on Documentation

Mar 14

Mental Poker Part 1: Cryptography

Feb 18

Mental Poker Part 0: An Overview

Jan 07

Notes on Advent of Code 2022

2022

Dec 01

Computability Part 9: LISP

Oct 14

Computability Part 8: Lambda Calculus

Sep 02

Computability Part 7: Machine Implementation Practicalities

Jul 31

Computability Part 6: Von Neumann Architecture

Jul 06

Computability Part 5: Elementary Cellular Automata

Jun 11

Computability Part 4: Conway's Game of Life

May 20

Computability Part 3: Tag Systems

Apr 03

Computability Part 2: Turing Machines

Feb 12

Computability Part 1: A Short History

2021

Dec 30

Dec 11

Nov 27

Notes on Software Lifecycle

Sep 24

Machine Learning on Azure - Part 3

Sep 17

Machine Learning on Azure - Part 2

Sep 10

Machine Learning on Azure - Part 1

Aug 12

Shipping a Feature

Jun 21

Data Engineering on Azure RTM

Mar 12

2020

Dec 29

Recommendations

Dec 10

Notes on Design Patterns

Nov 27

Changing Data Classification Through Processing

Nov 13

Data Quality Testing Patterns

Oct 08

Azure Data Engineering

Apr 27

Machine Learning at Scale

Mar 01

Azure Data Explorer

Feb 01

Self-Serve Analytics

Jan 19

Time and Complexity

2019

Dec 27

Dec 08

Notes on Data Engineering

Nov 18

Unit Testing 101

Oct 16

Programming with Types RTM

Sep 07

Higher Kinded Types: Monads

Sep 06

Higher Kinded Types: Functors

Aug 10

Common Algorithms

Jul 16

A Switchless State Machine

Apr 28

Programming with Types

2018

Dec 31

Nov 18

Notes on Encoding Text

Oct 13

Arithmetic Overflow and Underflow

Sep 09

Clean Code: Types

Jul 16

Implementing a Variant Type in C#

Jun 23

Apr 15

Feb 11

Jan 27

2017

Dec 30

Evens before Odds

Dec 10

Binary Relations

Nov 09

Notes on Unit Testing

Aug 13

Jul 20

Idris: Totality, Dependent Types, Proofs

Jul 10

Apr 07

Data Structures and Algorithms

Feb 25

A Heterogeneous Event Store

Feb 20

Memory Management