🐳 Elastic Stack (ELK) on Docker, with preconfigured Security, Tools, Self-Monitoring, and Prometheus Metrics Exporters.

tapir, or Typed API descRiptions

An open and reliable container runtime

Открытое письмо специалистов IT-индустрии в защиту фигурантов «московского дела»

Golang DDD practice

Resources for learning and using recursion schemes.

PGo is a source to source compiler to compile PlusCal into Go lang

A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.

The repository for the Functional Scala workshop.

A Chinese version of MIT 6.824 (Distributed System)

How to merge multiple existing Go contexts

Golang implentation of paxos consensus algorithm

A set of exercises to prepare for Certified Kubernetes Application Developer exam by Cloud Native Computing Foundation

Training for Golang (go language)

A modular implementation of timely dataflow in Rust

📓Solutions to Introduction to Algorithms

Lightweight mobile-friendly Docker Swarm management UI

Zygo is a Lisp interpreter written in 100% Go. Central use case: dynamically compose Go struct trees in a zygo script, then invoke compiled Go functions on those trees. Makes Go reflection easy.

Lightning talk about TLA+ for Scala Exchange 2018

Challenges from Category Theory for Programmers

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

Arbitrary expression evaluation for golang

100 data puzzles for pandas, ranging from short and simple to super tricky (60% complete)

🍅 A Jekyll theme.