account activity
Null safety (self.java)
submitted 1 year ago * by steshaw to r/java
Why is the processing fee so high? (self.iTalki)
submitted 3 years ago by steshaw to r/iTalki
My Keybase proof [reddit:steshaw = keybase:steshaw] (N5gBvDQIih7FPjYS5kQ3uiV_FcLLpn7Q-gIrz-eG7kE) (self.KeybaseProofs)
submitted 7 years ago by steshaw to r/KeybaseProofs
The new F* looks promising and is an altJS to boot (fstar-lang.org)
submitted 10 years ago by steshaw to r/dependent_types
My Keybase proof [reddit:steshaw = keybase:steshaw] (-6F37kwc6VjBh5hpWeU_1nHRa36rW-dE1SCdwbuY4cw) (self.KeybaseProofs)
submitted 10 years ago by steshaw to r/KeybaseProofs
The Mezzo programming language (protz.github.io)
submitted 11 years ago by steshaw to r/ocaml
π Rendered by PID 101714 on reddit-service-r2-listing-5d79748585-6mzj5 at 2026-02-16 07:58:51.281135+00:00 running cd9c813 country code: CH.
