Статьи
-
TrustLang v0.6.0
23.09.2026 в Релизы
О версии 0.6.0Версия 0.6.0 — этап формализации: зафиксированы синтаксис языка и основные алгоритмические конструкции, отработаны базовые типы и проверки безопасности. Это также прототип архитектуры компилятора-транспилятора и инструментов …
-
Если вы думаете, что знаете, чем отличается «Expression» от «Statement», то, скорее всего, вы ошибаетесь
02.08.2026 в Дизайн языков программирования
Я занимаюсь изучением синтаксиса языков программирования и пытаюсь отделить фундаментальные закономерности от исторических случайностей. Одна из таких случайностей - почти повсеместное использование терминов выражение (expression) и инструкция …
-
Почему C++ или Rust никогда не смогут заменить Python
28.07.2026 в Сравнение языков
На Хабре периодически появляются статьи с анализом феномена Python - как один из самых медленных языков программирования стал королём нейросетей, и ответ всегда один: за счёт простого синтаксиса и развитой экосистемы. Но экосистема у C++ значительно …
-
Механизм возникновения сознания у конечных автоматов
13.07.2026 в Теория вычислений
Конечный автомат - это математическая модель вычислений: абстрактная машина, которая в каждый момент времени находится ровно в одном из конечного множества состояний, а переходы между состояниями происходят в ответ на входные сигналы (события) по …
-
Ахиллесова пята C++ и будущая р̶е эволюция
10.04.2026 в Сравнение языков
Недавно я опубликовал мнение о фундаментальной экономической модели разработки ПО, которая не способствует (и объективно не должна способствовать) массовому переходу с C/C++ на «безопасные» языки программирования Экономика безопасности кода или …
-
Экономика безопасности кода или почему Rust не нужен
04.04.2026 в Сравнение языков
Прочитал статью Параллелизм с общим состоянием в Rust и обратил внимание, что её общий смысл можно выразить известной фразой: “делай как нужно, а как не нужно, делать не нужно”. Другими словами, это точно такой же совет, какой можно дать …
-
Безопасность С++ и буридановы мыши в ИТ
02.04.2026 в Сравнение языков
В ИТ есть странная форма «информационной инерции»: когда фраза однажды удачно легла на реальность, стала цитатой, превратилась в маркер «своего» - и дальше продолжила жить сама по себе. Реальность уехала, практики сменились, инструменты стали …
-
Обобщённое программирование в разных языках
24.03.2026 в Сравнение языков
Обобщённое программирование (generic programming) - парадигма, позволяющая описывать алгоритмы и структуры данных в абстракции от конкретных типов. Несмотря на единую концепцию, каждый язык реализует её по-своему: через шаблоны, параметрический …
-
Избавляемся от ошибок Segmentation fault из-за переполнения стека в С++
07.01.2026 в Безопасность ПО
7 января в 14:53 2026 Fetching Title#4teb Развивая идею доверенного языка программирования я пришел к выводу, что за счет ограничений синтаксиса и создания соответствующих проверок в статическом анализаторе кода, можно защититься практически ото всех …
-
Главная проблема использования ИИ (Иллюзии Интеллекта) при разработке ПО
11.12.2025 в ИИ и ИТ-процессы
Меня часто поражает, как технически грамотные люди спорят, есть ли у LLM интеллект или это всего лишь математические вычисления по определенному алгоритму без зачатков разума. И что самое интересное, иногда оппонентами в споре за наличие интеллекта у …