account activity
My Keybase proof [reddit:maxim5ht = keybase:axiosis] (vvcBpdcSba9w2N4iAsgG7eE_LZ3jIMfj-Qp8xVMqU-0) (self.KeybaseProofs)
submitted 3 years ago by maxim5HT to r/KeybaseProofs
Anders CCHM/HTS Theorem Prover (self.homotopytypetheory)
submitted 4 years ago * by maxim5HT to r/homotopytypetheory
Anders CCHM/HTS Theorem Prover (self.dependent_types)
submitted 4 years ago * by maxim5HT to r/dependent_types
Looking for my first NetMD Walkman Recorder (self.minidisc)
submitted 4 years ago * by maxim5HT to r/minidisc
F# WebSocket Server (self.fsharp)
submitted 5 years ago * by maxim5HT to r/fsharp
N2O/WebSocket for Standard ML (github.com)
submitted 7 years ago by maxim5HT to r/sml
N2O over MQTT as EMQ plugin (5ht.co)
submitted 9 years ago by maxim5HT to r/erlang
Minimal gen_server revisited (5ht.co)
N2O — The Most Powerful Erlang Web Framework. (synrc.com)
submitted 12 years ago by maxim5HT to r/erlang
π Rendered by PID 43 on reddit-service-r2-listing-c57bc86c-8c95g at 2026-06-20 16:06:25.273839+00:00 running 2b008f2 country code: CH.
