writings on math, logic, philosophy and art

anarchism

Intelligence and freedom of thought

Authority and christianity

capitalism

On nazism

Ruling countries and corporations

The fairy tale and reality

On luxury goods

Servants

Authority and christianity

On that quote about the heart and the brain

What is capitalism about

Capitalism and innovation

Questions I ask myself before buying something

Sick

Art under capitalism

Everything

On the law of diminishing returns

Mayday

Wealth and skill

On going back to the office

Why am I radical

Services

Elon and capitalism

category-theory

How does knowledge work: using logic to model real-world thinking

Good theories

cs

On Godel-related strong AI refutations

Hard things in computer science

Determinism and free will are compatible

On Godel's Second Incompleteness Theorem

economics

Ruling countries and corporations

The fairy tale and reality

On luxury goods

Servants

Capitalism and innovation

On the law of diminishing returns

Wealth and skill

On going back to the office

functional-programming

Why is functional programming awesome

Unix and Lambda

joke

Facts

What is capitalism about

Hard things in computer science

Mayday

Old tech

Elon and capitalism

We love opensource

Timezones

kant

Booknotes - The critique of pure reason

Deepest chapter of Kant's Critique

Where universality breaks: about Kant's triads and the dual to Laplace's demon

Antinomy

Kant's discovery

Kant's principle

logic

How does knowledge work: using logic to model real-world thinking

On the banality of evil

The concept of the self

The principle of triviality

On Godel-related strong AI refutations

mathematics

How does knowledge work: using logic to model real-world thinking

Science philosophy and mathematics

On Godel's Second Incompleteness Theorem

On dependent types

Good theories

personal

The case of "The case". Why did I spend 7 years writing a 27000-word novel

Instant gratification

On being self-critical

Doing things poorly

Writer's block

Roles

philosophy

Booknotes - The critique of pure reason

How does knowledge work: using logic to model real-world thinking

Epistemology for you all: Was Gettier a fraud?

On productivity

On the banality of evil

On the concept of myriad of things

On spirituality and society

The concept of the self

Positive nihilism

Deepest chapter of Kant's Critique

Kant vs Hume

Wittgenstein and Kierkegaard's last words

Facts

On systematic learning

Where universality breaks: about Kant's triads and the dual to Laplace's demon

Antinomy

Popper's argument

The principle of triviality

On dishonesty

On Godel-related strong AI refutations

Science philosophy and mathematics

Kant's discovery

Kant's principle

Intelligence and freedom of thought

Early and late Wittgenstein

Authority and christianity

Short history of modern philosophy

Occam's razor

Good theories

Determinism and free will are compatible

Feedback loops

Data

Good theories

programming

Why is vim awesome

Why is functional programming awesome

Structured programming: how to write proper if statements

Human technology: Text files

Hard things in computer science

1 + 1 and programming paradigms

On federated networks

On dependent types

Critical and non-critical functionalities

Old tech

Deep work in digital setting

Data

We love opensource

Timezones

Unix and Lambda

science

On Godel-related strong AI refutations

Science philosophy and mathematics

Good theories

Hard things in computer science

On Godel's Second Incompleteness Theorem

technology

Human technology: Text files

Capitalism and innovation

Critical and non-critical functionalities

wittgenstein

Wittgenstein and Kierkegaard's last words

Facts

Early and late Wittgenstein

zen

On productivity

On the concept of myriad of things

Positive nihilism

Instant gratification

On being self-critical

Everything

Win and lose

Roles