Madness enables you to easily run the same binary on NixOS and non-NixOS systems

A post-modern modal text editor.

Interactive tui for inspecting nix configs

NixOS/Nix configurations I use...

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

Print-friendly, minimalist CV page

A new type of shell

Secure and fast microVMs for serverless computing.

Production-Grade Container Scheduling and Management

List of Computer Science courses with video lectures.

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

eBPF-based Networking, Security, and Observability

Cross-platform Rust rewrite of the GNU coreutils

Papers from the computer science community to read and discuss.

Pretrain, finetune ANY AI model of ANY size on multiple GPUs, TPUs with zero code changes.

Faster way to switch between clusters and namespaces in kubectl

24 Lessons, 12 Weeks, Get Started as a Web Developer

Bootstrap Kubernetes the hard way. No scripts.

Fish-like autosuggestions for zsh

Fish shell like syntax highlighting for Zsh.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

General Resources for Competitive Programming

Papers for Bayesian-NN

Deep universal probabilistic programming with Python and PyTorch

Probabilistic Torch is library for deep generative models that extends PyTorch

🦀 Small exercises to get you used to reading and writing Rust code!

Notes on writing

Protein function prediction using a variational autoencoder

Course notes for CS228: Probabilistic Graphical Models.