5 Nov 29 George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software) by Nathanael Kuvalis Articles Blog Tags: ADAS, advanced, assist, autonomous, BUS, cabana, CAN, cars, chffr, comma, comma.ai, driver, driving, eon, Explorer, geohot, george, georgehotz, giraffe, github, hotz, livecoding, openpilot, panda, pedal, periscope, programming, self, System, twitch, twitter, yt:cc=on Previous: Software Tutorial – Infineon XMC1000 Microcontrollers w/ Keil MDK 5 and DAVE Next: Cough | Home Remedies For Cough | How To Get Rid Of A Cough Related posts Java Tutorial – 14 – Overriding January 17, 2020 Nathanael Kuvalis 5 Meet the LOOP Marine Bundle by Current-USA January 17, 2020 Nathanael Kuvalis 13 Zoho Projects – The complete project management software January 17, 2020 Nathanael Kuvalis 6 Journey to Programming – From Java to React January 17, 2020 Nathanael Kuvalis 0 What a Japanese Childcare Centre is Like January 16, 2020 Nathanael Kuvalis 100 Java Tutorial – 01 – Introduction to Java January 16, 2020 Nathanael Kuvalis 1 About The Author Nathanael Kuvalis 29 Comments Endeavor 42 says: November 2, 2019 at 10:22 pm First Reply ProgrammingWithSid says: November 2, 2019 at 10:22 pm Sup!!! Reply MuhamaD BosS says: November 2, 2019 at 10:22 pm First Reply commaai archive says: November 2, 2019 at 10:25 pm 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 Reply diakov says: November 2, 2019 at 10:37 pm fourth Reply ThanhPT says: November 2, 2019 at 10:43 pm Can you make some video about some knowledge easy to understand 😀 Reply Kenbomp says: November 2, 2019 at 10:46 pm Papers are pretty dry. Reply Jacek says: November 2, 2019 at 10:51 pm jebaited after last youtube stream FeelsTerrible Reply Saeid Rasoli says: November 2, 2019 at 10:58 pm i left web & mobile dev because of your videos, now i wanna learn deep about programming, mathematics, statistics and computer Reply Wtf_my_names_already_taken says: November 2, 2019 at 11:21 pm Love your attitude and of course your music! Best wishes from Germany. <3 Reply Sreten Jocić says: November 2, 2019 at 11:44 pm How does George make money to support himself? Reply soro soro says: November 3, 2019 at 12:03 am Still waiting on a harness for my 1992 Subaru brat. Reply mrlithium says: November 3, 2019 at 12:22 am metamath was great and watching you work in coq also. Reply José RF Junior says: November 3, 2019 at 6:07 am MATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICSMATHEMATICS Reply Jiahang Wu says: November 3, 2019 at 7:16 am I'm big fans of Geohot. If I had half of his talents in coding, I would be very cool. Reply benito345678 says: November 3, 2019 at 10:25 am 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. Reply Zxcah vuujm says: November 3, 2019 at 12:30 pm making 4 hours programming to just say true is not false…well programming is so patience Reply M Rusli says: November 3, 2019 at 1:06 pm Hey dude! Reply Xenomorph says: November 3, 2019 at 2:52 pm You're so rude, you eat with your mouth open and so dumb in your behavior Reply Panerakis says: November 3, 2019 at 3:31 pm thanks for all the archives! Reply Monish Kumar says: November 3, 2019 at 4:55 pm Marvellous Job, I really enjoyed it!, See this New Album 'Monish Jasbird – Death Blow', channel link www.youtube.com/channel/UCv_x5rlxirO-WKjLIyk6okQ?sub_confirmation=1 , you may like it 🙂 Reply Andrew Nakas says: November 3, 2019 at 9:29 pm Stoked for the Backspace Natural language programmer! The real transformer. Reply Jordan Diaz says: November 3, 2019 at 10:10 pm 1:38:50 Reply Dominic Dannies says: November 3, 2019 at 10:12 pm he's damn right about bitcoin Reply Samin Chowdhury says: November 4, 2019 at 12:20 am can someone tell me what font George is using in the terminal Reply Súper Saiyan 5 says: November 4, 2019 at 12:29 am 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. Reply Súper Saiyan 5 says: November 4, 2019 at 1:16 am 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. Reply Súper Saiyan 5 says: November 4, 2019 at 2:29 am 3:15:15 True, I won't let that happen though remember no one is taking that paradise from me. Reply 佐藤幸志朗 says: November 4, 2019 at 1:07 pm George is GOD!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! Reply Leave a Reply Cancel reply Your email address will not be published. Required fields are marked *Comment Name * Email * Save my name, email, and website in this browser for the next time I comment.