Author: zakilive

21
Feb
2024

Protected: First Order Logic

There is no excerpt because this is a protected post.

18
Feb
2024

Protected: JML – Java Modelling Language and KeY Prover

There is no excerpt because this is a protected post.

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

16
Jun
2023

enum vs const int vs constexpr