I'm a 19 y/o software engineer and computer science enthusiast most known for my work on Teloxide and Metalang99. My interests range over systems programming, backend engineering, compilers, type theory, functional programming, and related stuff. I occasionally publish posts, participate in conferences, and do open-source. I mainly write code in C, OCaml, Rust, and Golang.

Welcome to my blog!

Calculus of Constructions in 60 Lines of Ocaml
Solving SAT via Positive Supercompilation
Fueled Evaluation for Decidable Type Checking
Compiler Development: Rust or OCaml?
How to Keep Lambda Calculus Simple
Higher-Order Polymorphic Lambda Calculus (Fω)
How to Implement Dependent Types in 80 Lines of Code
Barebones Lambda Cube in OCaml
Rust Is Hard, Or: The Misery of Mainstream Programming
Pretty-Printable Enumerations in Pure C
Why Static Languages Suffer From Complexity
What's the Point of the C Preprocessor, Actually?
Macros on Steroids, Or: How Can Pure C Benefit From Metaprogramming
Extend Your Language, Don't Alter It
Compiling Algebraic Data Types in Pure C99
Expression-Oriented Programming in C: The FMT Macro
Compile-Time Introspection of Sum Types in Pure C99
Unleashing Sum Types in Pure C99
Асинхронщина в Rust: Стандартная библиотека и async/.await
Полное руководство по CMake. Часть третья: Тестирование и пакетирование
Полное руководство по CMake. Часть вторая: Система сборки
Полное руководство по CMake. Часть первая: Синтаксис