Articles
-
TrustLang v0.6.0
Wednesday, September 23, 2026 in Releases
About version 0.6.0Version 0.6.0 is a formalization stage: the language syntax and core algorithmic constructs are fixed, along with basic types and safety checks. It is also a prototype of the transpiler architecture and tooling (compiler, language …
-
If you think you know how "Expression" differs from "Statement", then most likely you are mistaken
Sunday, August 02, 2026 in Programming language design
I study the syntax of programming languages and try to separate fundamental regularities from historical accidents. One of such accidents is the almost ubiquitous use of the terms expression and statement when describing and classifying the syntax of …
-
Why C++ or Rust can never replace Python
Tuesday, July 28, 2026 in Language comparison
Articles analyzing the phenomenon of Python periodically appear on Habr — how one of the slowest programming languages became the king of neural networks, and the answer is always the same: thanks to a simple syntax and a developed ecosystem. But the …
-
The mechanism of the emergence of consciousness in finite state machines
Monday, July 13, 2026 in Theory of computation
A finite state machine is a mathematical model of computation: an abstract machine that at each moment of time is in exactly one of a finite set of states, and transitions between states occur in response to input signals (events) according to …
-
The Achilles' heel of C++ and the future r̶e̶ evolution
Friday, April 10, 2026 in Language comparison
Recently I published an opinion about a fundamental economic model of software development that does not contribute (and objectively should not contribute) to a mass transition from C/C++ to “safe” programming languages The economics of …
-
The economics of code safety, or why Rust is not needed
Saturday, April 04, 2026 in Language comparison
I read the article Parallelism with shared state in Rust and noticed that its general meaning can be expressed by the well-known phrase: “do what must be done, and what must not be done — do not do”. In other words, it is exactly the same …
-
C++ safety and Buridan's mice in IT
Thursday, April 02, 2026 in Language comparison
In IT there is a strange form of “informational inertia”: when a phrase once landed well on reality, became a quote, turned into a marker of “one of us” — and then continued to live on its own. Reality moved on, practices …
-
Generic programming in different languages
Tuesday, March 24, 2026 in Language comparison
Generic programming is a paradigm that allows describing algorithms and data structures in abstraction from concrete types. Despite the single concept, each language implements it in its own way: through templates, parametric polymorphism, type …
-
Getting rid of Segmentation fault errors due to stack overflow in C++
Wednesday, January 07, 2026 in Software safety
January 7 at 14:53 2026 Developing the idea of a trusted programming language, I came to the conclusion that, through restrictions of the syntax and the creation of corresponding checks in the static code analyzer, it is possible to protect against …
-
The main problem of using AI (Illusions of Intelligence) in software development
Thursday, December 11, 2025 in AI and IT processes
I am often struck by how technically literate people argue about whether LLMs have intelligence or whether it is just mathematical computations by a certain algorithm without the rudiments of reason. And what is most interesting, sometimes the …