Feb. 14th, 2024

juan_gandhi: (Default)

Started the day at almost 11AM. Bad, bad! Ok, so, I mostly studied the code, was looking for a solution for one of the Jira cases. Eventually I found that the solution was implemented about five years ago, not in our modules, but in the one that we actually use. And all this must work. And if in doubt, let's look at the logs. Wrote it all in Jira.

BTW, Brian, in whose place I was hired, he sent me a connect request on linkedin, I approved it immediately, and we discussed this topic. He also thinks that the product has more of an archeological value, although it's just 5-7 years old. And it's kind of advanced. Monads, Kleisli, algebras.

All these algebras are coming from cats project, which has improved a lot in the last years, and now it looks like new buildings on top of old ruins. That is, when you read that the turn an algebra into Kleisli, it's kind of funny. We actually deal with two decompositions of the same monad into pairs of adjoints, one pair is initial, another is terminal. The fact that this rather exotic area of knowledge is casually used by the people whom I don't believe that they know what adjoint functors or just functors are. But the very fact! As a result, this pretty categorically-pure code is, in their cats frameworked, mixed with total nonsense... Well, see, they never heard of natural transformations, they call them a "parameterized pattern". OMG... Well, whatever. As long as it works, what can I do about it. Nothing. Cats people know me as an enemy of their science.

So, we agreed with Brian that all this code is like new buildings in Rome, all built on top of ancient ruins. If you were in Rome, you know what I'm talking about. And Brian loves Rome, he even has a XIX century guide (some kind of cicceroni wrote it?) Etc. Interesting, eh.

At 12 noon we had a meeting, a "sprint post-mortem". The main event of the last two weeks, judging by the table, is My Arrival. Well, I'm impressed, of course.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

September 2025

S M T W T F S
 1 2345 6
78 9 10 111213
14 151617 181920
212223 24252627
28 2930    

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 30th, 2025 09:05 am
Powered by Dreamwidth Studios