Here are a few pan-and-zoom demonstrations that work with desktop browsers. Click, drag and wheel with mouse and see what happens next

Source code of demo is available on Github

Concept of discrete world

1. There is finite discrete world
2. World consists from objects
3. Every object is atomic or contains other objects
4. Every object is unique, that means:
5. No one part of object is shared with some other object
6. No object or its part contains itself (also in transitive manner)
7. World exists finite amount of time
8. Time consists from discrete clock ticks
9. Something could happen only at some clock tick
10. 'Something' is world state change: one object or one from its parts are created or removed

System concept

1. System consists from two parts: world and computer
2. Computer have fixed collection of laws describing possible state transitions
3. Laws are permitting only one transition per tick
4. World state change is happening only when laws are not violated.

Laws language

1. Rules that describe initial world state
2. Rules that describe state transitions
3. Every object have a reason to exist: by rule application or as a part of an initial state

This is spectral locus and sRGB gamut

Useful links: css4 color conversions oklab critics Ebner and Fairchild data set

This is demonstration of simple image processing on canvas:

This is React component embedded into markdown file:

The code

$$ \frac{n!}{k!(n-k)!} = \binom{n}{k} $$

is rendered as the formula

$\frac{n!}{k!(n-k)!} = \binom{n}{k}$

Always forget order in command arguments.

Syntax is: ln -s [file] [link location]

Tesseract is open-source OCR engine.

Install Tesseract

sudo dnf install tesseract

Install langpack

sudo dnf install tesseract-langpack-rus

Processing a file

tesseract ~/Pictures/document.png document.txt -l rus

Want to refresh my knowledge about Prolog. I am curious about is it possible to use Prolog for context-free string parsing? This task could help me to understand differences between Prolog and SMT solvers. I already implemented parser with Z3, I want to do the same with Prolog.