George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software)
Date of stream 2 Nov 2019. Live-stream chat added as Subtitles/CC – English (Twitch Chat). Stream title: twitchcoq : pt 2, can we prove true is not false Video …
true implies false only for one time or once ever if we're talking about states and also iff false implies true after stating that true implies false. false will always come before true and if it were denoted by some distance but true and false and then state false <= true then it will always be that there is some canonical logarithmic singularity of chance that should show that there is a greater likely hood of whatever this state or thing is to be false than true if it were some deterministic quantized value that they wanted.
1:23:19 when it speaks about observing and not observing some specific scenario what it is referring to as far as I know is that it is speaking about observable and non observable operators acting on some functions such that if the difference of the order rearranged of two operators on some wave function is 0 then it means that the order we calculate what the out put value of what the operators individually on the wave function per say gives you and being able to calculate something from a given output or understanding the output without lets say imaginary numbers then it is known as observable meaning you can measure the output you got with an operator..,.sorry a better def is the hermitian conjugate where the order of this operator lets say the distance operator on a function will just give you the distance x * function and the order doesn't matter in a sense that some function f * x can be rearranged making it observable and a non observable thing is a momentum operator in physics in elementary particle physics which is denoted p = i(h_reduced_planck's_constant)d/dx obviously the 'd/dx' is the part that has to act on a function and if you did pf and then fp you realize that the pf gives you some value(f) but fp gives f(p) and it still has to act on something until you get an output value and even if you got an imaginary number out it would be considered also not observable because the idea that 3 meters * imaginary is an output doesnt mean anything to us but if you got 3 meters ok perfect observable and if you still get an output value where you still need to make f(p()) act on something then that is still considered and non obvservable…I know this is harder to explain but that's just literally the first fucking sentence sorry forgive me I tried to explain but if I code this it'll come out so pretty you'd be able to read it nicely.
No offense here, but everything I've learned about crypto and bitcoin in general in the past few years is The hard truth that most people find it very difficult to sustain profits trading bitcoin. But do not be put off, there are people that have started as amateurs and then gone on to become very successful bitcoin traders. There’s always going to be a fluctuation in the price of bitcoin due to its highly volatile and unpredictable nature even though chart says otherwise. So clearly there’s no point just hodling and waiting for bitcoin to skyrocket, what investors should be doing is accumulating and increasing stocks in their portfolio. Although most investors do this through dollar-cost averaging but smart investors increase their portfolio through trading. I trade on a regular basis using Billy Thompson's trade signals. I have used the services of many signal providers but none comes close to billy thompson. His signals are top-notch, accurate and simply put outstanding. I have been able to grow my portfolio from $150,000 to $300,000 in two weeks trading with his program and guidance. Billy Thompson can be reached easily through (Whatsapp +1 8326502023 or Telegram @Billythompsoninc ) for better knowledge about bitcoin trading and earning.
George is getting distracted all stream. Read http://us.metamath.org/downloads/metamath.pdf and be prepared for next stream tomorrow (maybe). Follow and subscribe https://www.twitch.tv/georgehotz for more live streams | Programming archive🡿 https://www.youtube.com/playlist?list=PLzFUMGbVxlQs5s-LNAyKgcq5SL28ZLLKC
3:15:15 True, I won't let that happen though remember no one is taking that paradise from me.
true implies false only for one time or once ever if we're talking about states and also iff false implies true after stating that true implies false.
false will always come before true and if it were denoted by some distance but true and false and then state false <= true then it will always be that there is some canonical logarithmic singularity of chance that should show that there is a greater likely hood of whatever this state or thing is to be false than true if it were some deterministic quantized value that they wanted.
1:23:19 when it speaks about observing and not observing some specific scenario what it is referring to as far as I know is that it is speaking about observable and non observable operators acting on some functions such that if the difference of the order rearranged of two operators on some wave function is 0 then it means that the order we calculate what the out put value of what the operators individually on the wave function per say gives you and being able to calculate something from a given output or understanding the output without lets say imaginary numbers then it is known as observable meaning you can measure the output you got with an operator..,.sorry a better def is the hermitian conjugate where the order of this operator lets say the distance operator on a function will just give you the distance x * function and the order doesn't matter in a sense that some function f * x can be rearranged making it observable and a non observable thing is a momentum operator in physics in elementary particle physics which is denoted
p = i(h_reduced_planck's_constant)d/dx obviously the 'd/dx' is the part that has to act on a function and if you did pf and then fp you realize that the pf gives you some value(f) but fp gives f(p) and it still has to act on something until you get an output value and even if you got an imaginary number out it would be considered also not observable because the idea that 3 meters * imaginary is an output doesnt mean anything to us but if you got 3 meters ok perfect observable and if you still get an output value where you still need to make f(p()) act on something then that is still considered and non obvservable…I know this is harder to explain but that's just literally the first fucking sentence sorry forgive me I tried to explain but if I code this it'll come out so pretty you'd be able to read it nicely.
can someone tell me what font George is using in the terminal
No offense here, but everything I've learned about crypto and bitcoin in general in the past few years is The hard truth that most people find it very difficult to sustain profits trading bitcoin. But do not be put off, there are people that have started as amateurs and then gone on to become very successful bitcoin traders. There’s always going to be a fluctuation in the price of bitcoin due to its highly volatile and unpredictable nature even though chart says otherwise. So clearly there’s no point just hodling and waiting for bitcoin to skyrocket, what investors should be doing is accumulating and increasing stocks in their portfolio. Although most investors do this through dollar-cost averaging but smart investors increase their portfolio through trading. I trade on a regular basis using Billy Thompson's trade signals. I have used the services of many signal providers but none comes close to billy thompson. His signals are top-notch, accurate and simply put outstanding. I have been able to grow my portfolio from $150,000 to $300,000 in two weeks trading with his program and guidance. Billy Thompson can be reached easily through (Whatsapp +1 8326502023 or Telegram @Billythompsoninc ) for better knowledge about bitcoin trading and earning.
he's damn right about bitcoin
1:38:50
Stoked for the Backspace Natural language programmer! The real transformer.
Marvellous Job, I really enjoyed it!, See this New Album 'Monish Jasbird – Death Blow', channel link http://www.youtube.com/channel/UCv_x5rlxirO-WKjLIyk6okQ?sub_confirmation=1 , you may like it 🙂
thanks for all the archives!
You're so rude, you eat with your mouth open and so dumb in your behavior
Hey dude!
making 4 hours programming to just say true is not false…well programming is so patience
f = x + c is metric preserving but not addition preserving for c != 0, since f(x+y) = c+x+y, f(x)+f(y)=2c+x+y.
I'm big fans of Geohot. If I had half of his talents in coding, I would be very cool.
MATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICS
I just receive 3000$ via my cash app from hacker Robinson +17605433523
metamath was great and watching you work in coq also.
Still waiting on a harness for my 1992 Subaru brat.
How does George make money to support himself?
Love your attitude and of course your music! Best wishes from Germany. <3
i left web & mobile dev because of your videos, now i wanna learn deep about programming, mathematics, statistics and computer
jebaited after last youtube stream
FeelsTerrible
Papers are pretty dry.
Can you make some video about some knowledge easy to understand 😀
fourth
First
Sup!!!
First