Connect with us

Servers computers

The Man Who Revolutionized Computer Science With Math

Published

on

The Man Who Revolutionized Computer Science With Math



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-mathematical-perfection-to-software-20220516/

– 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/

Advertisement

#computerscience #math .

source

Continue Reading
Advertisement
31 Comments

31 Comments

  1. @3lm.kw7

    October 15, 2024 at 8:38 pm

    I came from jesuse century 😁

  2. @rahulisgreat4911

    October 15, 2024 at 8:38 pm

    Epic man

  3. @tommyls4357

    October 15, 2024 at 8:38 pm

    "A Distributed System is one in which your computer can be rendered useless by the failure of a computer that you didn't even know existed". Hehe, so well said. I am going to have to find a longer interview of him.

  4. @sketchionic6356

    October 15, 2024 at 8:38 pm

    What we learn: Even programmers can be happy.

  5. @samuelrojas3766

    October 15, 2024 at 8:38 pm

    How do you even write a proof that an algorithm work? Lol

  6. @AmirLal-k2l

    October 15, 2024 at 8:38 pm

    i have a theory for a matrix system where you design incubator pods to create immortality by having two bodies one body that is grown via a method similar to cloning and the main body that is grown in the incubator pod and a cloud network to store the data to recyle both bodies so you exist in the real world in your 2nd body but ur backed up on the incubator matrix to prevent death and if the incubator is destroyed you have a digital body in the matrix and you regrow a new incubator body and with this you can cycle thru bodies or even create a new version of super humanity where the new bodies are bio engineered and thru out the eons the bodies continue to evolve a sort of paddle to evolution

  7. @SurveyFox

    October 15, 2024 at 8:38 pm

    walter white

  8. @muhammadsuri8763

    October 15, 2024 at 8:38 pm

    Impressive!

  9. @paulgibby6932

    October 15, 2024 at 8:38 pm

    1:50 My mentor who got me into programming from being an English major, said, "Don't worry. All you have to be able to do is think straight". That helped.

  10. @TALENTTAREMWA

    October 15, 2024 at 8:38 pm

    kale moore videoks

  11. @saurabhpandey6166

    October 15, 2024 at 8:38 pm

    Great video

  12. @prateekmanta2097

    October 15, 2024 at 8:38 pm

    Damn I am proud of myself to able to relate to this guy…
    It’s not that difficult though I am recently studying High Level design. It helped me understand most of what he said !

  13. @antwanwimberly1729

    October 15, 2024 at 8:38 pm

    Computer Science is lífe!!

  14. @hardeep_negi

    October 15, 2024 at 8:38 pm

    Man is the youngest in the elderly people joke aside great man👍🏻

  15. @Justanormalperson13

    October 15, 2024 at 8:38 pm

    I really love this dude ngl and he is really inspiring for me.

  16. @philetaranma4918

    October 15, 2024 at 8:38 pm

    I came here after watching TikTok

  17. @Mr_hinch

    October 15, 2024 at 8:38 pm

    No wonder I find programming simple…

  18. @xyz--12353

    October 15, 2024 at 8:38 pm

    I was always weak in math past years but when i started to learn programing unfortunately i become loving maths but i don't even quiet good enough at al types of maths .

  19. @SnakeEngine

    October 15, 2024 at 8:38 pm

    Yeah man, that's the spririt!

  20. @generalhimeko2639

    October 15, 2024 at 8:38 pm

    Bullshit…i have found people who couldnt solve shit but know every function, keyword and statement in java, JavaScript…. although, yes after you have learned math, syllogism is quite ez but you can learn math and do any kind of math but dogshit in solving real world prob….and i learn Aristotelian philosophy and syllogism bfore math …ik it doesnt make any sense but it is what it is..and school is structured to make ppl so dogshit in applying to think creatively

  21. @arielelbaz8218

    October 15, 2024 at 8:38 pm

    What a great man!

  22. @vinaykumarsingh5360

    October 15, 2024 at 8:38 pm

    How can someone use it 100 % brain capacity at this old age discover something remarkable. I thought cognitive skills decreases by age .

  23. @Kicm2Kicm2

    October 15, 2024 at 8:38 pm

    Kouini fortrat

  24. @nguyenmanh466

    October 15, 2024 at 8:38 pm

    Ah, I remember the Lamport logical clock in distributed system. What a legend!

  25. @Kicm2Kicm2

    October 15, 2024 at 8:38 pm

    I grew UP scared of math CS and CI 6202 CS and computer

  26. @Kicm2Kicm2

    October 15, 2024 at 8:38 pm

    Kouini transistors

  27. @leoxplr

    October 15, 2024 at 8:38 pm

    Although I didn't understand everything Mr. Lamport said, it was still fascinating to hear.

  28. @SuccessMindset2180

    October 15, 2024 at 8:38 pm

    Computer science requires some math proficiency

  29. @MartaWilkowska-h8f

    October 15, 2024 at 8:38 pm

    "Coding is to Programming, what typing is to writing". I am amazed at such a simple description by Leslie Lamport.

  30. @steve6012

    October 15, 2024 at 8:38 pm

    True title of this is ridiculous. Fundamental Algorithms (knuth vol I) is full of mathematical analysis

  31. @QuantaScienceChannel

    October 15, 2024 at 8:38 pm

    Read the written interview by Sheon Han in Quanta Magazine: https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517

You must be logged in to post a comment Login

Leave a Reply

Servers computers

New Home Backup Server (Dell T640 with 18 20TB Disks)

Published

on

New Home Backup Server (Dell T640 with 18 20TB Disks)



In this video I create a new backup server from a Dell EMC PowerEdge T640 with 18x 20TB Seagate Exos refurbished drives. Also there’s some more ranting about backups in general. But idk, there are chapters so you can skip to whatever. And it’s not technically a server, in that it doesn’t serve files. It’s really more of a client that takes files from other servers and holds onto them. But I call it a backup server because hardware-wise it’s a server. Anywho, that’s the description. It’s probably not optimal for the YouTube algorithm, but hey, I’m not an influencer even though I have a TikTok account that I don’t use.

Update: https://www.youtube.com/watch?v=Secv5P01k2M&t=5195

00:00 Intro
02:08 The Drives
03:30 The Data & Other Backups
05:40 RAID & Data Loss
10:00 IcyDock ExpressCage
13:23 Fan Noise
18:30 Caddies, Trays, or Sleds.. Whatever
28:27 Booting & Array Creation
33:50 Array Build Status and Drive Stats
36:43 OS SSDs and T640 Internals
58:20 Lengthy Conclusion (Backups Rant.. again)
1:10:20 Outro .

source

Continue Reading

Servers computers

How to Configure iDRAC9 at Initial Setup of Your Dell PowerEdge Server

Published

on

How to Configure iDRAC9 at Initial Setup of Your Dell PowerEdge Server



For more information on the configuration of an iDRAC 9 please visit our knowledge base: http://www.dell.com/support/article/SLN306877

During the initial startup of your new Dell Server, you have to configure the iDRAC to be able to manage your Dell PowerEdge server remotely. In this video you will learn how to configure the iDRAC9 of your Server for the first time.
The iDRAC 9 is configured with a default IP which you can change during the initial setup.
You can access the iDRAC via a dedicated Network Card or the LAN on Motherboard after it is configured.

🔴 For more helpful tutorials, tips and tricks for Dell EMC Products, subscribe to our channel: http://www.youtube.com/DellEnterpriseSupport?sub_confirmation=1

Want to know more about iDRAC, check out this Playlist:

Advertisement

📺 Find our latest Video here:

📖 You can find our Knowledgebase filled with helpful articles here:
https://dell.to/2mgVTVj

💻 Need help? Contact our Support

Community Forums: http://www.dell.com/community
Twitter: http://www.twitter.com/DellCaresPRO
Facebook: https://www.facebook.com/DellEMCSupport/
Other Contact Options: http://www.dell.com/contact .

source

Advertisement
Continue Reading

Servers computers

Now Available in Lenovo ThinkSystem SR645 Rack Servers

Published

on

Now Available in Lenovo ThinkSystem SR645 Rack Servers



Lenovo is excited to deliver AMD EPYC™ processors with AMD 3D V-Cache™ technology in its ThinkSystem SR645 rack servers. These new systems feature expanded L3 cache designed for technical computing workloads—helping customers get new products to market faster than ever before.  

Discover more: https://www.amd.com/en/events/epyc

*See claims information in video endnotes.

***

Advertisement

Subscribe: http://bit.ly/Subscribe_to_AMD
Like us on Facebook: http://bit.ly/AMD_on_Facebook
Follow us on Twitter: http://bit.ly/AMD_On_Twitter
Follow us on Twitch: http://Twitch.tv/AMD
Follow us on LinkedIn: http://bit.ly/AMD_on_Linkedin
Follow us on Instagram: http://bit.ly/AMD_on_Instagram

©2022 Advanced Micro Devices, Inc. AMD, the AMD Arrow Logo, and combinations thereof are trademarks of Advanced Micro Devices, Inc. in the United States and other jurisdictions. Other names are for informational purposes only and may be trademarks of their respective owners. .

source

Continue Reading

Servers computers

Best Public Bedrock SMP Server to Join!

Published

on

Best Public Bedrock SMP Server to Join!



Best Public Bedrock SMP Server to Join!
Come join this Minecraft Valatic SMP on Java or Bedrock on any device! Join this active server with your friends or by yourself for completely free!

Server IP ➤ play.valatic.net
Bedrock PORT ➤ 19132
SMP Store (HUGE SALE) ➤ https://store.valatic.net
Use code BLUEJAY to save on your purchase! Purchase crate-keys, ranks, and more on the Valatic store.
SMP Discord Server ► https://discord.gg/valatic

To join the Public Minecraft Valatic SMP, watch the ENTIRE VIDEO for the server ip and port. Also, leave all your questions in the comments and I’ll do my best to answer!

The Public Minecraft Valatic SMP is just like the Dream smp and Lifesteal smp and you can join on Minecraft java, bedrock, or pocket edition. You can join anytime for completely free with your friends, or make some on the SMP! The server has an active, growing player base, exciting events, awesome server features, professional staff, and the world map is always expanding so you can explore! You can make friends with other players on the server at the spawn, or smp clubhouse too! There is even a server shop to get awesome items that support the Valatic SMP so it can keep the server running! On the Valatic SMP you can travel to many server locations, build cities, explore land, and even start governments or massive server wars! There are even different game modes on the server like Minecraft Lifesteal SMP, Earth SMP, and One Block! The possibilities on the Public Minecraft Valatic SMP are endless so join now and get started!

Advertisement

If you enjoyed the video then subscribe so I can make more just like it!

This server is a 1.18-1.19.2 Minecraft server and nothing else. Consider Subscribing.
#smp #join #public #java #bedrock #valatic .

source

Continue Reading

Servers computers

Computer Security | Types of Computer Security | Cybersecurity Course | Edureka

Published

on

Computer Security | Types of Computer Security | Cybersecurity Course | Edureka



🔵Edureka Cyber Security Masters Program: https://bit.ly/3pfHHIN
🔥Edureka CompTIA Security+ Certification Training: https://bit.ly/3nxeVRl
This Edureka video gives an introduction to Computer Security and the types of computer security. Also, it teaches you various ways to secure your computer devices. Topics covered in this video includes:

1. What is Computer security?
2. Goals of Computer security
3. What to secure?- Types of computer security
4. Potential losses due to cyber attacks
5. How to secure?

🔵CyberSecurity Certification Training : https://www.edureka.co/cybersecurity-certification-training

Subscribe to our channel to get video updates. Hit the subscribe button above.

Advertisement

————————————-

About Edureka Cyber Security Training

Cybersecurity is the combination of processes, practices, and technologies designed to protect networks, computers, programs, data and information from attack, damage or unauthorized access.

Edureka’s Cybersecurity Certification Course will help you in learning about the basic concepts of Cybersecurity along with the methodologies that must be practiced ensuring information security of an organization. Starting from the Ground level Security Essentials, this course will lead you through Cryptography, Computer Networks & Security, Application Security, Data & Endpoint Security, idAM (Identity & Access Management), Cloud Security, Cyber-Attacks and various security practices for businesses.

Advertisement

————————————————

Why Learn Cyber Security?

Cybersecurity is the gathering of advances that procedures and practices expected to ensure systems, PCs, projects and information from assault, harm or unapproved get to. In a processing setting, security incorporates both cybersecurity and physical security, it is imperative since cyberattackers can without much of a stretch take and obliterate the profoundly grouped data of governments, defense offices and banks for which the results are huge so it is essential to have an appropriate innovation which an avoid digital wrongdoings.

—————————————————

Advertisement

Objectives of Edureka Cyber Security Course

This course is designed to cover a holistic & a wide variety of foundational topics of the cybersecurity domain which will be helpful to lead freshers as well as IT professional having 1 to 2 years of experience, into the next level of choice such as ethical hacking/ audit & compliance / GRC/ Security Architecture and so on
This course focuses mainly on the basics concepts of Cyber Security
In this course, we are going to deal with Ground level security essentials cryptography, computer networks & security, application security, data & endpoint security, idAM (identity & access management), cloud security, cyber-attacks and various security practices for businesses
This course will be your first step towards learning Cyber Security

————————————–

Who Should go for this Training?

Advertisement

Anyone having the zeal to learn innovative technologies can take up this course. Especially, students and professionals aspiring to make a career in the Cybersecurity technology. However, Cybersecurity Certification Course is best suited for the below mentioned profiles:-
Networking Professionals
Linux Administrators

———————————————–

For more information, Please write back to us at sales@edureka.co or call us at IND: 9606058406 / US: 18338555775 (toll free).

Instagram: https://www.instagram.com/edureka_learning/
Facebook: https://www.facebook.com/edurekaIN/
Twitter: https://twitter.com/edurekain
LinkedIn: https://www.linkedin.com/company/edureka .

source

Advertisement
Continue Reading

Servers computers

Computershare: More Than a Job

Published

on

Computershare: More Than a Job



At Computershare, we don’t just offer jobs, we offer careers. From a learning and development program that gives team members the chance to learn from the industry’s best, to a casual working environment, a total benefits package and tuition reimbursement, we know that looking after our people ensures success for them, for us and for our clients. If you’re looking for more than a job, learn more about us at www.computershare.com/mycareer. .

source

Continue Reading

Trending

Copyright © 2024 WordupNews.com