Hi. This is stereobooster's personal blog

I’m a software developer interested in UX, a11y, type systems, performance.

Github · Twitter


Definition as the system of meaning - we use symbols to communicate, to think, to store the information. Definition associate some symbol (word) with meaning (explained with other words, or conveyed by other means).

What is a Formal System?

Formal system A formal system is like a game in which tokens are manipulated according to rules in order to see what configurations can be obtained. Examples: chess, checkers, go, tic-tac-toe. Nonexamples: marbles, billiards, baseball. – What is a Formal System? A formal system consists of a language over some alphabet of symbols together with (axioms and) inference rules that distinguish some of the strings in the language as theorems.

How to create an ideal commenting system?

The first rule of the internet: Don’t read the comments. – Ralph Breaks the Internet First of all this is not a technological problem, the problem is sociological. People don’t follow the same patterns when they communicate online and offline when they talk to people who they know and people who they don’t know. Second part of the problem is that text is a poor medium for conversation.

Systematic approach to the job search

So far whenever I searched for a new job it was quite a chaotic process. And it was ok-ish most of the time, but recently it becomes harder and harder to find a job, maybe my requirements rose, maybe I started to search in a different segment.

Programming urban legends

Lisp is a functional language Something called “Pure LISP” never existed — McCarthy (1978) records that LISP had assignment and goto before it had conditional expressions and recursion — it started as a version of FORTRAN I to which these latter were added. LISP was not based on the lambda calculus, despite using the word “LAMBDA” to denote functions. At the time he invented LISP, McCarthy was aware of (Church 1941) but had not studied it… …Unfortunately, this gives the wrong binding rules for free variables (dynamic instead of lexicographic).

Except where otherwise noted, content on this site is licensed under Creative Commons Attribution-NonCommercial-ShareAlike 4.0