This guy is trying to set up a CI/CD pipeline. Please don’t distract him. Update! I was saved by Rultor today! Today @rultors saved a lot of time for me just by not letting me merge branches pic.twitter.com/pJTpEpdwI7— Ivan Ivanchuk (@L3r8y) March 24, 2023 This blog post is an addition...

How often do you see the creation of an object through configuration? What does that mean? Right, we have a mutable state of the object. Of course, this does not happen without the involvement of setters. What’s wrong with setters, you may ask. Well, absolutely everything! The fact that, for...

So, today I want to tell you how you should develop a programming language that will never surrender to a static analyzer. After all, we all know that static analysis is bad, quality control is for those who cannot write clean code, and all unit tests should be written by...

First of all, this is a guide for macOS users. I’m sorry: I am physically unable to create a manual for other operating systems. Disclaimer – I hope you know what homebrew is. First step We have to install coq on our machine. Best way to do it – opam....