xandkar

On a quest for fault tolerant systems that refuse to die.

Weapons of choice: Rust, OCaml, and Erlang.

The coolest thing I've worked on was the late Helium blockchain.

lib

• beam_stats: collect detailed Erlang VM metrics and send to arbitrary, pluggable backends
• hope: Higher Order Programming in Erlang - a living experiment with uniform, composable abstractions
• stream: streams with parallel processing, lazy filtering and optimal random sampling
• contract: an embedded Design by contract DSL
• x-plane-data: X-Plane UDP data parser for Erlang
• google-authenticator-uri: Google Authenticator URI constructor
• RFC 4226 - HMAC-Based One-Time Password
• RFC 6238 - Time-Based One-Time Password
• RFC 5849 - OAuth 1 Protocol: server and storage independent library, supports eventual consistency via state-based CRDTs
• crdt: select, app-level, state-based CRDTs (used above)
• merkler: a Merkle tree implementation for Erlang

Of which beam_stats and hope are my go-to.

bin

• ma: mail archivist - pull from N IMAP accounts into 1 SQLite database
• phorg: idempotent photo/video file organizer (EXIF + hash --> filepath)
• barista: concurrent status bar with feed process monitoring, expirations, remote control and live reconfiguration (successor to pista)
• stamon: collection of various status data collectors/aggregators
• pista: event loop over N FIFOs, reading line streams and writing into N segments of your status buffer, with a TTL per segment
• pistactl: being inspired by ii, pista is minimal and calls for a convenience layer in practice, this is it
• gg: git of gits - discover, catalogue and compare all your git repos
• dups: duplicate file finder
• probe-me: TCP port probing microservice for lightweight perimeter monitoring
• git-analysis: exploratory analysis of a Git repository
• dropbox-conflicts: build a tree of conflict dependencies in your Droppbox directory
• tt: client and a crawler of twtxt (a P2P microblogging network

edu

• tiger.ml: Tiger front end in OCaml
• numerals: how do they even work?
• ShilovLinearAlgebra: concrete tests for (some) theorems presented in Shilov's Linear Algebra book
• Evolutionary Computation Exercises

env

BTW, I use Void with dwm, st, and a home-grown status bar.

nvim with CoC.

I gave VSCode and JetBrains an honest try - they're very nice, but feel like major degradations of ergonomics from my whole desktop being an integrated development environment.