Leslie Lamport revolutionized how computers talk to each other. The Turing Award-winning computer scientist pioneered the field of distributed systems, where multiple components on different networks coordinate to achieve a common objective. (Internet searches, cloud computing and artificial intelligence all involve orchestrating legions of powerful computing machines to work together.) In the early 1980s, Lamport also created LaTeX, a document preparation system that provides sophisticated ways to typeset complex formulas and format scientific documents. In 1989, Lamport invented Paxos, a “consensus algorithm” that allows multiple computers to execute complex tasks; without it, modern computing could not exist. He’s also brought more attention to a handful of problems, giving them distinctive names like the bakery algorithm and the Byzantine Generals Problem. Lamport’s work since the 1990s has focused on “formal verification,” the use of mathematical proofs to verify the correctness of software and hardware systems. Notably, he created a “specification language” called TLA+ (for Temporal Logic of Actions), which employs the precise language of mathematics to prevent bugs and avoid design flaws.

Read more at Quanta Magazine: https://www.quantamagazine.org..../bringing-mathematic

- VISIT our Website: https://www.quantamagazine.org
- LIKE us on Facebook: https://www.facebook.com/QuantaNews
- FOLLOW us Twitter: https://twitter.com/QuantaMagazine

Quanta Magazine is an editorially independent publication supported by the Simons Foundation https://www.simonsfoundation.org/

#computerscience #math

The field of computer science summarised. Learn more at this video's sponsor https://brilliant.org/dos

Computer science is the subject that studies what computers can do and investigates the best ways you can solve the problems of the world with them. It is a huge field overlapping pure mathematics, engineering and many other scientific disciplines. In this video I summarise as much of the subject as I can and show how the areas are related to each other.

#computer #science #domainofscience you can buy this poster here:
North America: https://store.dftba.com/produc....ts/map-of-computer-s
Everywhere else: https://www.redbubble.com/people/dominicwalliman/works/27929629-map-of-computer-science?p=poster&finish=semi_gloss&size=small
French Version: https://www.redbubble.com/peop....le/dominicwalliman/w
Spanish Version: https://www.redbubble.com/peop....le/dominicwalliman/w
Get all my other posters here: https://www.redbubble.com/people/dominicwalliman

A couple of notes on this video:
1. Some people have commented that I should have included computer security alongside hacking, and I completely agree, that was an oversight on my part. Apologies to all the computer security professionals, and thanks for all the hard work!
2. I also failed to mention interpreters alongside compilers in the complier section. Again, I’m kicking myself because of course this is an important concept for people to hear about. Also the layers of languages being compiled to other languages is overly convoluted, in practice it is more simple than this. I guess I should have picked one simple example.
3. NP-complete problems are possible to solve, they just become very difficult to solve very quickly as they get bigger. When I said NP-complete and then "impossible to solve", I meant that the large NP-complete problems that industry is interested in solving were thought to be practically impossible to solve.

And free downloadable versions of this and the other posters here. If you want to print them out for educational purposes please do! https://www.flickr.com/photos/95869671@N08/

Thanks so much to my supporters on Patreon. If you enjoy my videos and would like to help me make more this is the best way and I appreciate it very much. https://www.patreon.com/domainofscience

I also write a series of children’s science books call Professor Astro Cat, these links are to the publisher, but they are available in all good bookshops around the world in 18 languages and counting:
Frontiers of Space (age 7+): http://nobrow.net/shop/profess....or-astro-cats-fronti
Atomic Adventure (age 7+): http://nobrow.net/shop/profess....or-astro-cats-atomic
Intergalactic Activity Book (age 7+): http://nobrow.net/shop/profess....or-astro-cats-interg
Solar System Book (age 3+, available in UK now, and rest of world in spring 2018): http://nobrow.net/shop/profess....or-astro-cats-solar-
Solar System App: http://www.minilabstudios.com/....apps/professor-astro
And the new Professor Astro Cat App: https://itunes.apple.com/us/ap....p/galactic-genius-wi

Find me on twitter, Instagram, and my website:
http://dominicwalliman.com
https://twitter.com/DominicWalliman
https://www.instagram.com/dominicwalliman
https://www.facebook.com/dominicwalliman

Learn Python basics in 1 hour! ⚡ This beginner-friendly tutorial will get you coding fast.

🚀 Want to dive deeper?
- Check out my Python mastery course: https://bit.ly/35BLHHP
- Subscribe for more Python tutorials like this: https://goo.gl/6PYaGF

📕 Get the FREE goodies:
- Python cheat sheet: http://bit.ly/2Gp80s6
- Python exercises for beginners: https://goo.gl/1XnQB1

✋ Stay connected:
- Twitter: https://twitter.com/moshhamedani
- Facebook: https://www.facebook.com/programmingwithmosh/
- Instagram: https://www.instagram.com/codewithmosh.official/
- LinkedIn: https://www.linkedin.com/school/codewithmosh/

⭐ My favorite Python books
- Python Crash Course: https://amzn.to/2GqMdjG
- Automate the Boring Stuff with Python: https://amzn.to/2N71d6S
- A Smarter Way to Learn Python: https://amzn.to/2UZa6lE
- Machine Learning for Absolute Beginners: https://amzn.to/2Gs0koL
- Hands-on Machine Learning with scikit-learn and TensorFlow: https://amzn.to/2IdUuJy

📖 TABLE OF CONTENT
0:00:00 Introduction
0:00:30 What You Can Do With Python
0:01:15 Your First Python Program
0:05:30 Variables
0:09:08 Receiving Input
0:10:48 Type Conversion
0:18:49 Strings
0:23:41 Arithmetic Operators
0:25:59 Operator Precedence
0:27:11 Comparison Operators
0:28:52 Logical Operators
0:31:06 If Statements
0:36:16 Exercise
0:41:42 While Loops
0:45:11 Lists
0:48:47 List Methods
0:52:16 For Loops
0:54:54 The range() Function
0:57:43 Tuples

#python #ai #machinelearning #webdevelopment

99% of all internet traffic – from this video to your Pokemon Go account to your family WhatsApp group – runs on a hidden network of undersea cables. Why should you care? Because modern life is increasingly dependent on those slinky subaquatic wires. And they get attacked by sharks from time to time.

SUGGEST A TOPIC
https://techvision.tv​​​

Imagery supplied via Getty Images

How The Internet Travels Across Oceans