Ivan Ivanchuk Small blog about software.
How to deploy with Rultor and not shoot yourself in the leg

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...

Continue...
2023-03-19

Hands off the state of the object

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...

Continue...
2023-03-17

How to develop un-analyzable PL

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...

Continue...
2023-02-27

How to get into Coq?

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....

Continue...
2023-02-24

Previous Page: 3 / 4 Next