BlogHide Resteemsresteemeddana-edwards (74)in tauchain • 5 years agoTauchain: Analysis of Proof ExtractionRecently 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…resteemedstackin (78)in charlesfuchs • 5 years agosteemCreated with Sketch.❇️ BOUGHT 10,000+ STEEM POWER DELEGATION! 🤷♂️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…holabebe (52)in stocks • 5 years agoRhresteemedgodflesh (73)in philosophy • 6 years agoSome thoughts about Immanuel KantThree 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…resteemeddana-edwards (74)in tauchain • 6 years agoTauchain: The Automated Webslueth? The Sherlock Holmes Bot concept for discussionTauchain 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…resteemedstackin (78)in charlesfuchs • 6 years ago✴️ THROWBACK: STACKIN' FEATURED IN SIX FIGURE INCOME MAGAZINE!!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…resteemeddana-edwards (74)in tauchain • 6 years agoTML finally working (with Negation and optimization)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…resteemeddana-edwards (74)in life • 6 years agoManhood is an Environmentally Determined Socially Defined ConceptTo 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…resteemedsuperhaiko (35)in poem • 6 years agoPoem 1.28.19The ancient teacher said, “Don’t be afraid to lose your beauty. Be afraid to stop seeing beauty in others.” Haik Kocharianresteemedcraignow (71)in philosophy • 6 years agosteemCreated with Sketch.An infinite loopI 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…resteemedyouhavewings (58)in dropintheocean • 6 years agoThe Ambiguity of LifeThe 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…resteemeddana-edwards (74)in philosophy • 6 years agoDiscipline and Self Control; The Secret to Successful Living?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…resteemeddana-edwards (74)in tauchain • 6 years agoUnderstanding TML: Prolog -> Datalog -> TauThis 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…holabebe (52)in dtube • 6 years agoAA 100% risk involved! 100% entertainment!//Sometimes I use profanity in my videos, apologies. ▶️ DTube ▶️ IPFSresteemeddana-edwards (74)in philosophy • 6 years agoWeaponized belief and mass hysteriaAre 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…resteemeddana-edwards (74)in tauchain • 6 years agoThe Wide World of Scores and TauFrom 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…holabebe (52)in mining • 6 years agojjresteemeddana-edwards (74)in life • 6 years agoThe Market Society IV - Designer Babies, Intelligent Reproduction and The Market for DNA (Preview)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…resteemedstackin (78)in charlesfuchs • 6 years ago✴️ GOOGLE HOME: TURNING MY PLACE INTO A SMART OFFICE. 👨🏼💻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…resteemeddana-edwards (74)in life • 6 years agoStatus Competition, Virtue Signals and Moral Markets (preview post)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.…
.jpg)
