Hirrolot’s Blog

I’m a 17 y/o software engineer, most known for my work on teloxide and advanced metaprogramming.

Over the last few years, I’ve been passionate about programming language design, type theory, formal logic, and related disciplines. Currently, I’m writing software for OpenIPC; my main programming languages are C99 and Rust.

Welcome to my blog!

GitHub · Twitter · Reddit · Telegram · RSS · Gmail