Home
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 talking about technical chalenges or consulting? Send me a message.
Current Work
Tlon Hosting — Haskell engineer developing platform automation and Kubernetes orchestration for Urbit hosting infrastructure. Come try out 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
Technical articles on programming languages, development tools, and computational biology.
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
JupyterWith: declarative, reproducible notebook environments
February 28, 2019Nix-based solution for reproducible Jupyter environments with multiple language kernels
Brownian-like deviation of neighboring cells in the early embryogenesis of the zebrafish
February 8, 2019Research paper on cell movement patterns during zebrafish embryonic development
Towards interactive data science in Haskell: Haskell in JupyterLab
January 23, 2019Setting up IHaskell kernel in JupyterLab for interactive Haskell data analysis
Running Haskell applications in clusters using Nix
April 17, 2018Deploying Haskell applications on HPC clusters using Nix and PRoot without root access
Haskell type classes: incidental non-examples
November 2, 2017Why some types like Set and Map don’t fit standard type classes and possible solutions
Haskell type classes: a compilation of laws
November 1, 2017Reference compilation of mathematical laws for Haskell’s core type classes
Cell trajectory clustering: towards the automated identification of morphogenetic fields in animal embryogenesis
February 24, 2017Algorithm for clustering embryonic cells using quantum mechanics-inspired path integrals