Feb. 27th, 2024

juan_gandhi: (Default)
Чота я притупил, доказывая, что для X=λx xSK, можно выразить комбинатор K = X(X(XX)), и пошел попросить jemini доказать. Тот такую несусветную чушь понес! Окей, пошел на chatGPT. Тот так красиво все это расписал. Только почему-то у меня не получалось. Он пишет
(λx xSK)SK = SKSK. Дальше я от него пытался добиться, с какого хуя такие подстановки. Не шмог. Он со мной соглашается, а лепит херню. Как поп на амвоне.

А я-то уже думал...

dybr

Feb. 27th, 2024 11:35 pm
juan_gandhi: (Default)

 In the morning Esteban from Bogota showed up on Slack, to help me with configs. We spent an hour, logging in to gcloud, finding the right instances for vault and postgres, etc. Then I started documenting it all, so that don't forget. Next step must be writing scripts, but that later. Ok. later.

We also had a Sprint Meeting, talked about bicycles, about Florida, and until what age a person can work as a programmer.

At half past one a guy called from a company that wants to hire me for a permanent position and a funny salary. I took a look at the position offered. "data engineer". Well, I'm not mentally disabled yet, am I? But I'm curious, am not I? So I decided to check them out. Oh, fuck them. Not interested. The guy was okay, but the standard questions... ("what's the difference between a class and a case class, etc" - kindergarten, in short). But the worst part is that what they do is selling ads. The recruiter had to tell me right away. I don't work in ads.

Another meeting at 3pm. Another "environment discussion", now there were three of them. Now I've learned that between the server and the client there's another layer, so-called NAG, some kind of filter. But it should not touch a JWS token, should it? It would have been weird if it did. I want to see its logs. And I have to learn how to filter these logs, to see what's coming in and what's getting out.

But that's not the main thing. They decided to explain to me how this server  works. Probably Jeremey told them that I don't know how the server works. Right, sure. I tried to patiently explain to them that this aspect does not interest me (I know the code); what I need is to take a look at the logs and to run the server in a test mode. As to running, they, in unison, tried to convince me that the server can only run after being deployed to production. I can't believe it. An alternative is to get the sources of the library I'm suspicious about, and add some unittests, to ping that library. Ok, maybe that's how it can be done.

But I don't believe them. Will try to launch the servers tomorrow. See, vault is available, postgres is available, what else is needed? And can't I run it from Intellij? E.g. in a debugger? We will see.

At times I feel like I should drop it all and just retire.

 

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
21222324252627
282930    

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 21st, 2025 08:38 pm
Powered by Dreamwidth Studios