Author: zakilive

30
Sep
2024

Kotlin Progress

Here i will share Kotlin progress about technical things. So for windows i was doing it, here…

25
May
2024

Protected: First Order Logic

There is no excerpt because this is a protected post.

18
Feb
2024

JML – Java Modelling Language and KeY Prover

JML (Java Modeling Language) provides several keywords and constructs to specify properties of Java programs. Here are…

25
Sep
2023

Infrastructure as Code – GitOps, GitSecOps

https://www.linkedin.com/learning/gitops-foundations/cicd-with-gitops?autoSkip=true&resume=false&u=103775466 https://www.linkedin.com/learning/gitops-foundations/gitops-practices-in-action-iac-and-continuous-deployment?autoplay=true&resume=false&u=103775466 https://www.linkedin.com/learning/gitops-foundations/gitops-use-cases?autoplay=true&resume=false&u=103775466

25
Sep
2023

Back to OJs, Security

Back to OJ again, Hacker rank and leetcode journey begins . Some curated guidelines Hacker rank security…

22
Aug
2023

QT Can Be Used With Visual Studio

https://www.qt.io/courses/getting-started-with-qt-vs-tools?hsLang=en