Juan Raphael Diaz Simões
Senior Software Engineer
I work as a platform engineer at Tlon, developing Haskell-based infrastructure for Urbit hosting on Kubernetes. I bring together software engineering with a foundation in physics, mathematics, and statistics.
Interested in Haskell, infrastructure, performance, or technical consulting? Send me a message.
Current Work
Tlon Hosting — Haskell engineer developing platform automation and Kubernetes orchestration for Urbit hosting infrastructure. Come try out the platform! Find me on Urbit as ~hardel-topmet.
Previous — Senior consultant at Tweag, working on performance engineering and technical architecture. Lecturer at Tashkent State Dental Institute teaching biophysics and informatics.
Research Background
PhD in Complex Systems Science from Paris-Saclay University. Developed LineageFlow, software for computational analysis of embryonic development. Published in Physical Biology and conference proceedings.
Notes
Generalized effective numbers and entropies
Working notes on generalized effective numbers, Hill numbers, and related entropies.
Recent Writing
Introducing WireCat, a GHC plugin for writing typed categorical wiring diagrams with proc notation
Summarizing multicore usage using entropy
January 2, 2023Python script using entropy and effective numbers to display multicore CPU usage in status bars
Arrows, through a different lens
April 15, 2021Using profunctor optics with Arrow-based workflows for better composability
Code is engineering, types are science
March 5, 2020Exploring deduction, induction, and abduction in software development through Peirce’s theory
Locating performance bottlenecks in large Haskell codebases
January 31, 2020Manual cost center profiling technique achieving 100x speedups in production systems
Other Texts
Padre Levedo
June 11, 2026Uma homenagem a este santíssimo homem, com alguns desvios sobre minha vida