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

Computer Science

The documentation about computer science topics:

compilers
os kernels like linux

© 2026