edom.web.id

Discontinued content

All of these are work in progress, not yet well-documented. A library for making sound and my notes about it. I also have a library for making DNS servers.

Komentar saya tentang kejadian di dunia.

Daftar kegiatan saya

musing

skin

Mathematics

I discourage reading these writings of mine. I thought I was going to be a mathematician, but I changed my mind. These texts contain mistakes and unfinished work left in confusing state, and I expect you to not understand them.

A common theme of these writings is the restatement of existing mathematical concepts using type theory and non-standard analysis. There are drafts for category theory, differential calculus, logic, computation theory, computation model, and unary algebra.