blog

# types

# phantom types

# module system

# making illegal states unrepresentable

# OCaml

# sockets

# pub/sub sockets

# proxied sockets

# ZMQ

# pmmd

# Raspberry Pi

# MirageOS

# reproducible builds

# user experience

# avoidance of JS

# robur.io

# web development

# visualizations

# interaction

# SVG

# CSS

# live instrument

# playing on images

# niseq tech

# functional reactive programming

# client/server

# effects

# intuitive interaction

# synchronization

# expansion/contraction workflow

# philosophy

# existence

# simulation hypothesis

# critique

# abstract art

# live instrument

# moving in time and space

# playing on images

# niseq tech

# web development

# internet actors

# powershift

# capitalism

# surveillance

# user experience

# avoidance of JS

# privacy