Docs
Blog
Practical

Docs Menu

Docs home

Mathematics

category theory

Preliminaries
- Simplifications
- Diagram chasing:
Definitions of categories
- Natural transformations
Adjunctions
Monads
Universal properties
- Representable functors
Theorems
- Yoneda lemma
Kan extensions
Notions

lattice and domains

Introduction
the ordered structures
Adjunction between lattice and topology
Applications: program analysis
Applications: program semantics
Applications: logical systems
References

algebraic topology

Definitions of topological spaces

dynamical systems 1

Introduction

phase space

weather prediction
personal transportation
free will vs determinism

reductionist top-down approach in management
dynamic systems approach in management

emergence

type theory

Definitions of types

Computer Science

Build systems

Definition of build systems
- node operations and edge creation

A build system with explicit graph
practical issues

MLIR compilers

Dialects: languages in MLIR
transforming dialects
- C++ API
- Scala API
References and further reading

Philosophy and art

The will and enjoyment

Zižek's enjoyment
- Summary and review of the book
Schopenhauer's will

dynamic systems
language systems
Methodology
- Logic vs. Dialectics

Daoism: ancient self-organizing

Introduction
the art of technical eco-centricism

art and architecture

the art of neoliberalism
user interface

Neoliberalism

the art of neoliberalism

Experimental

algebraic topology

This article introduces basics of algebraic topology, focusing on the algebraic side.

Definitions of topological spaces

lattice and domains

dynamical systems 1

© 2026