Recently Ohad made significant progress in Github by implementing a proof extraction which allows negation. This is something I didn't even think was possible but apparently the code is beginning to work.

I've noticed that the value of my Steem Power has been somewhat "sucky" lately so I decided to buy 10,000+ Delegation for the rest of the year. 📅 By looking at my stats, I tend to upvote over

From $450 yearly to 14k in just 8 years! watch more here:

Three are Kant's main writings: Critique of Pure Reason, Critique of Practical Mind, and Critique of Judgment.Criticism for Kant means revealing the last achievable basis of human knowledge and the essence

Tauchain progress and the automation of Websluething Recently there has been major progress with TML. Ohad has released an optimized and fully functioning meta language which can be used to define new

What's up STACKERS! This sure does bring back memories... It was when I was featured in Six-Figure Income Magazine that was published in 2001. 😳 Yeah, that was a young "STACKIN" at the age of

Ohad has just updated Github and we can see that TML finally works. Now that TML is successfully deployed on Github the next step from what I can see is Futamura projection. The good news also is that

Goals If you are goal oriented then you know how important that word "goal" is. If you are not yet goal oriented then maybe this blog post can help inspire a new mindset. How do you define successful

To be an individual and be respected as an individual in my opinion is the highest form of respect. Higher than to merely be a man or a woman, or to fit into a racial stereotype in order to win respect.

The ancient teacher said, “Don’t be afraid to lose your beauty. Be afraid to stop seeing beauty in others.” Haik Kocharian

I don't work for the government, the government works for me. An infinite loop is a human mind that keeps asking itself questions. acceptance is LIFE and denial is DEATH, for perfect balance... read more

The word ambiguous is an adjective that relates to something and has more than one meaning or possibility. In other words, what is being said or done can be interpreted or understood in more than one way.

This post will explore some concepts behind logic programming. In Ohad's examples on Github he has as inputs his logic programs. For the most part all logic programs work the same way and the initial syntax

hello there, Happy new years. name is victor. i'm just documenting my Crypto journey Topics: my 2 gpu mining rig from 2015, still working helping people is not always the right thing to do. -bull runs

Are Religion and Science at War? Jeremy Bentham [Public domain] Some people I communicate with are aligned with the understanding that secular society is superior in some way to religious society. There

From Metrics and Sentiment to Scores Tauchain is a project in development by the sagacious Ohad Asor. Ohad Asor is a mathematician and programming prodigy who designed TML. TML is a meta language which

Topics: my 2 gpu mining rig from 2015, still working helping people is not always the right thing to do. -bull runs can make you delusional..happened to me :)) Useful Referrals:! IPHY7A ( get into FPGA

The Market Society IV - Designer Babies, Intelligent Reproduction and The Market for DNA By now you have heard of the controversy around gene editing. A scientist in China has controversially edited the

What's up STACKERS! It's been a very busy month for your boy Charles Fuchs. If you've seen my posts lately, I've been trying out tons of new "Smart" gadgets. 🖥️ There is so many companies trying

What if status competitions are everywhere? Society for example promotes rankings. Children are a ranked academically world wide. Beauty is ranked in pageants. Intelligence is ranked in IQ tests. Goodness