Home
Juan Raphael Diaz Simões
Senior Software Engineer & Research Scientist
I build distributed systems at Tlon, engineering the infrastructure that makes Urbit accessible to users. With 8+ years in tech companies and 5+ in academia, I work across practical engineering and rigorous science.
What I Do
🚀 Platform Engineering — Haskell engineer developing Urbit hosting platform at Tlon, focusing on Kubernetes orchestration and distributed system automation.
📚 Research & Teaching — Former lecturer at Tashkent State Dental Institute and Turin Polytechnic University, developing curriculum connecting computational thinking with medical and engineering applications.
✍️ Technical Consulting — Former Tweag senior consultant and technical blog editor, delivering performance engineering solutions across multiple industries.
Background
PhD in Complex Systems Science from Paris-Saclay University, where I developed LineageFlow—software for analyzing embryonic development.
Published researcher in computational biology with work featured in Physical Biology and international conferences.
Explore: Professional CV • Open Source Projects • Technical Writing • Education
Technical Writing
Programming & Research
Technical articles covering programming languages, development tools, performance optimization, and computational biology. Insights from professional software development and academic research.
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
Focus: Programming languages, development tools, performance engineering • Insights from consulting and research