Artyom Bologov
Artyom Bologov
Artyom Bologov
A blog of Artyom Bologov, programmer-poet, privacy freak, and eco-activist. Programming, art, F/L/OSS, and other random stuff.
Latest Posts
Read on the website: Lambda Calculus is extremely elegant, including in how it handles numbers. But this elegance often comes at the cost of understandability. This post goes through examples of arithmetics in Lambda Calculus to...
Read on the website: Lambda Calculus is extremely elegant, including in how it handles numbers. But this elegance often comes at the cost of understandability. This post goes through examples of arithmetics in Lambda Calculus to...
Read on the website: Optimizing Guile Scheme is not always obvious. This post is a collection of takeaways from optimizing a heavily numeric piece of code.
Read on the website: Optimizing Guile Scheme is not always obvious. This post is a collection of takeaways from optimizing a heavily numeric piece of code.
Read on the website: One can go Object-Oriented in C, and do so with decent success. Although it's definitely not quite the popular version of OOP everyone is conditioned to.
Read on the website: One can go Object-Oriented in C, and do so with decent success. Although it's definitely not quite the popular version of OOP everyone is conditioned to.
Read on the website: There are many things programmers believe about HTML that are not necessarily true. Here're some.
Read on the website: There are many things programmers believe about HTML that are not necessarily true. Here're some.
Read on the website: TUI is an ambiguous term, meaning either of 'terminal' or 'text' user interface. The difference is even more pronounced now, with chat interfaces and assistive tech. So let's stop calling TUIs 'text' and call them...
Read on the website: TUI is an ambiguous term, meaning either of 'terminal' or 'text' user interface. The difference is even more pronounced now, with chat interfaces and assistive tech. So let's stop calling TUIs 'text' and call them...
Read on the website: I switched to Surf because of habit switch from distracted kitchen sinks to focused app-like web browsing.
Read on the website: I switched to Surf because of habit switch from distracted kitchen sinks to focused app-like web browsing.
Read on the website: Lisp projects might be smaller and neater that other tech. But still, there are emergent patterns in any software. So here's an arbitrary list of design patterns I found in Lisp codebases.
Read on the website: Lisp projects might be smaller and neater that other tech. But still, there are emergent patterns in any software. So here's an arbitrary list of design patterns I found in Lisp codebases.
Read on the website: Lambda Calculus is a strong model for computation, but computing examples in it often feels off. In this post, I'm trying to understand how Lambda Calculus evaluation/reduction actually works.