writings on math, logic, philosophy and art

anarchism

Intelligence and freedom of thought

Authority and christianity

On non-authoritarian organizations

The concept of maturity as a means of societal control

Conformity is not the way

anarchy

Plato's Republic and anarchy

art

On Hokusai

capitalism

On Nazism

Ruling countries and corporations

The fairy tale and reality

On luxury goods

Servants

Authority and christianity

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

Which is better

category-theory

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

Good theories

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

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

Bash

Battling my ego

Haskell

Which is better

On Hokusai

Nothing to prove

Teacher

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

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

math

Nothing to prove

Is the world discrete or continuous

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

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

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

The concept of maturity as a means of societal control

Battling my ego

Conformity is not the way

What is addiction

Unity of thought

Society

Teacher

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

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

Plato's Republic and anarchy

Conformity is not the way

What is addiction

Is the world discrete or continuous

Unity of thought

Society

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

Bash

Haskell

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

The things you fear

Unity of thought

Society

Subscribe for updates

Powered by Buttondown.

Support the site