My name is Tannr. I am the co-founder of Khalani. Khalani is building an automated reasoning network (sort of like the web if you replaced servers with interoperable reasoning machines and static content with semantically rich, machine readable representations of knowledge). Our goal is to build a global network of automated problem solving machines accessible by any application or human being; a proper fusion of statistical AI and modernized “expert systems” (if expert systems could communicate and understand one another).
Since some of our goals for the system include properties that can only be implemented with a blockchain, we are also a blockchain company. Personally, I consider this fact an implementation detail; imagine how odd it would be if every company that used a SQL database identified itself as a “SQL company”. Kind of odd. What is far more important for me are the properties that a blockchain has more generally. That is: common knowledge, permissionless coordination between untrusted parties, disintermediation, and verifiability.
Anyway, my interests are:
- Computer aided reasoning
- Mathematics foundations
- Programming language design
- Philosophy (mathematics, consciousness, and ethics)
- Decentralized technology (including blockchain technology)
- Open science (citizen science)
- Gerontology, systems medicine and peptides
- Economics
By the way, I have not read the AoCP books featured in my photograph. They are only there to make me look smarter & simultaneously remind me that I wasn’t smart enough to get through volume 1 in my free time. I hope to have a new photo of myself some day, but it won’t be soon. If you’re interested, here is a picture of my new bookshelves. Like AoCP, many of these books remain unread 🙂.
