I will not follow where the path may lead, but I will go where there is no path, and I will leave a trail. —Muriel Strode, from the poem Wind-Wafted Wild Flowers, 1903
My name is Joel Reymont and I'm a software developer living in Kyiv, Ukraine. I have 30+ years of software development experience and I'm proficient with Rust, OCaml, Haskell, Erlang, Lisp and other languages.
My last project was writing a compiler for Ghidra’s Sleigh language, in Zig.
I'm available for contract work and I always get the job done, on time and on budget!
I'm working on Habu, a language for ergonomic reverse engineering.
Have questions? Reach out and let's talk !
Making OCaml recursive modules convenient
Jane St posted about recursive OCaml modules from recursive signatures a while ago. module rec Even : sig type t = Zero | Succ of Odd.t end = Even and Odd : sig type t = Succ of Even.t end = Odd You cannot have functions inside recursive modules defined this way which is really
Habu, a language for ergonomic reverse engineering
I'm working on a brand-new language and suite of tools for reverse engineering that I named Habu. I'd like to make my reverse engineering as ergonomic as possible and hope that others will find it useful too! Habu will help with implementing * Processor modules * Emulation * Symbolic
Configuring Jujitsu (jj)
This is my Jujitsu (jj) repo config template. I usually symlink it to .jj/repo/config.toml and check it in. I then jj sync && jj evolve where using git I would git pull --rebase. And jj is lovely... but for having to jj b s master -r