ai algorithms art assembly autism biology business ccnmtl compliance control systems cooking cplusplus cryptography cs data databases datastructures devops diet distributed systems django ebpf economics electronics elixir elm emacs erlang ethics finance functional golang guitar hardware htmx ideas javascript kubernetes legal linguistics linux machine learning math medicine meta mlops music netherlands networking neuroscience nixos papers personal philosophy physics politics productivity psychology python quantum quotes reference resilience roc rust science security slang spokehub sre synthesizers sysadmin systems tabsweep terraform til ubiquiti uk vegan wasm webrtc whisky yubikey zig

Software Foundations

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.

The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a “proof script” for the Coq proof assistant.

The exposition is intended for a broad range of readers, from advanced undergraduates to PhD students and researchers. No specific background in logic or programming languages is assumed, though a degree of mathematical maturity is helpful. A one-semester course can expect to cover Logical Foundations plus most of Programming Language Foundations or Verified Functional Algorithms, or selections from both.

cs functional papers

“Pining for GPG to try”

sysadmin yubikey

building kubernetes clusters with kops and terraform

kubernetes

ryane/kubernetes-aws-vpc-kops-terraform: Code for Deploy Kubernetes in an Existing AWS VPC with Kops and Terraform blog post

kubernetes

kops/aws.md at master � kubernetes/kops

kubernetes

kelseyhightower/standalone-kubelet-tutorial: Standalone Kubelet Tutorial

kubernetes

gravitational/workshop: Docker and Kubernetes Training by Gravitational

kubernetes

Kubernetes By Example

kubernetes

postgres reads

distributed systems

how to measure retention

math

Job Queues in Go - OpsDash

golang

Command-line-text-processing/gnu_awk.md

linux sysadmin

esl/Pyrlang: An Erlang node implemented in Python using gevent library, striving to be compatible with both Python 2 and Python 3

erlang python

Phoenix websockets under a microscope

elixir javascript

Using smart cards and hardware tokens with Secure Shell

linux yubikey

Understanding SOLID Principles: Interface Segregation Principle

golang

Elm to PureScript cheatsheet

elm functional javascript

Linux Inside

assembly hardware linux

C++ Tips of the Week

cplusplus

An Engineers Guide to Cloud Capacity Planning

devops sysadmin

Go tools and gitlab continuous integration

devops golang

Log20: Fully automated optimal placement of log printing statements under specified overhead threshold

devops papers sysadmin

Display and Edit Google Map in Elm

elm

Heavy hitters via cluster-preserving clustering

cs distributed systems papers

Stargazer: understanding the π-calculus, visually

cs distributed systems

Elm with web workers

elm

Idempotency Keys with Postgres

distributed systems

Intermittent Fasting Promotes White Adipose Browning and Decreases Obesity by Shaping the Gut

biology diet papers

Bazel Golang Hello World

devops golang

Turning Corners into Cameras

cs papers physics

Understanding Consensus

distributed systems

Eventually Consistent: A Mobile-First Distributed System

distributed systems

thelabnyc/wagtail_blog: A wordpress like blog app implemented in wagtail

django

intelsdi-x/snap: The open telemetry framework

devops sysadmin

Enriching Log Messages Using Go Contexts | Cockroach Labs

golang

travisjeffery/jocko: Kafka implemented in Golang with built-in coordination (No ZK dep, single binary install)

distributed systems golang

hypebeast/micro-auth: A microservice that makes adding authentication with Google and Github to your application easy.

golang

Glances - An Eye on your system

sysadmin

Self-organizing Maps in Go | Machine Learning Explorations

golang

Valhalla Articles - Functional Options Pattern in Go

golang

ponzu-cms/ponzu: Headless CMS with automatic JSON API. Featuring auto-HTTPS from Let’s Encrypt, HTTP/2 Server Push, and flexible server framework written in Go.

golang

Sparta: AWS Lambda framework for Go

golang

learn you an elm

elm functional

Deprecated Linux networking commands and their replacements

linux sysadmin

Build an Image Recognition API with Go and TensorFlow

golang

davecheney/httpstat: It’s like curl -v, with colours.

golang

Django, ELB health checks and continuous delivery

devops django

volume monitoring in kubernetes with prometheus

kubernetes

two-way data binding with vuex and vue.js

javascript

Time-Out: Elixir State Machines versus Servers

elixir erlang