Ngày 13 tháng 1 năm 1934: Robin Milner, người tiên phong chứng minh định lý tự động từng đoạt giải thưởng Turing ra đời.
Robin Gorell Milner (Robin Gorell Milner) sinh ngày 13 tháng 1 năm 1934, là một nhà khoa học máy tính người Anh, được trao giải thưởng năm 1991 vì những đóng góp của ông theo ba hướng là máy chứng minh định lý tự động LCF, ngôn ngữ ML và lý thuyết tổng quát về truyền thông. và các hệ thống đồng thời CCS.Giải thưởng Turing hàng năm. Ông là thành viên của Hiệp hội Hoàng gia và là thành viên của ACM; Giải thưởng Milner của Hiệp hội Hoàng gia được đặt theo tên ông. Năm 2008, ông được bầu làm Thành viên nước ngoài của Học viện Kỹ thuật Quốc gia Hoa Kỳ vì “những đóng góp cơ bản cho khoa học máy tính, bao gồm sự phát triển của LCF, ML, CCS và phép tính”.
Milner sinh ra trong một gia đình quân nhân và học tại Đại học Eton trong những năm đầu đời. Sau đó, ông gia nhập Lực lượng Công binh Hoàng gia Anh và đạt cấp bậc Thiếu úy. Năm 1952, ông đăng ký học tại King’s College, Cambridge, tốt nghiệp năm 1957, và sau đó kiếm được tài sản đầu tiên với tư cách là một giáo viên, trước khi làm lập trình viên tại Ferranti. Kể từ đó, ông bước vào giới học thuật và liên tiếp làm việc tại Đại học Thành phố Luân Đôn, Đại học Swansea và Đại học Stanford.
Năm 1973, Milner trở lại Đại học Edinburgh, Vương quốc Anh, nơi ông đã phát triển ngôn ngữ lập trình chức năng, ML, và cùng với các đồng nghiệp của mình đã hoàn thành việc phát triển LCF. ML (Meta Language) là một ngôn ngữ lập trình chức năng hỗ trợ lập trình mệnh lệnh và được thiết kế để giúp tìm ra các chiến lược chứng minh trong các bộ chứng minh định lý LCF. Hai phương ngữ chính của gia đình ML ngày nay là Standard ML và Caml, ảnh hưởng đến các ngôn ngữ sau này như Haskell.
Trước khi rời Edinburgh, Robin Milner đã quyên góp cho Trường Tin học tại Đại học Edinburgh và thành lập Bài giảng Robin Milner hàng năm mang tên ông tại Trường Tin học tại Đại học Edinburgh, nơi mời các diễn giả là các học giả. đã có những đóng góp đáng kể cho khoa học máy tính lý thuyết. Năm 1995, Robin Milner trở lại trường cũ của mình, Đại học Cambridge, để giảng dạy và giữ chức vụ giám đốc Phòng thí nghiệm Máy tính Đại học Cambridge. Từ năm 2009, Milner trở lại Đại học Edinburgh với tư cách là Chủ tịch Khoa Khoa học Máy tính. Milner qua đời vì một cơn đau tim ở Cambridge, Anh, vào ngày 20 tháng 3 năm 2010, ở tuổi 76; vợ ông, Lucy, qua đời ngay trước ông.
13/01/2000: Bill Gates của Microsoft nhường chức CEO cho Steve Ballmer
Tháng 1 năm 2000, Bill Gates từ chức CEO của Microsoft và được kế nhiệm bởi Steve Ballmer, ông vẫn giữ chức Chủ tịch và tạo cho mình một vị trí mới là “Kiến trúc sư trưởng phần mềm” (Chief Software Architect). Vào tháng 6 năm 2006, Gates thông báo rằng ông đang chuyển công việc toàn thời gian của mình tại Microsoft thành một công việc bán thời gian, dần dần thay đổi trách nhiệm của mình. Gates từ chức chủ tịch Microsoft vào tháng 2 năm 2014, trong khi vẫn làm cố vấn kỹ thuật cho CEO mới được bổ nhiệm Satya Nadella.
Steve Ballmer, bạn học đại học của Gates, trở thành nhân viên thứ 24 của Microsoft vào ngày 11 tháng 6 năm 1980, giám đốc kinh doanh đầu tiên được Gates thuê. Lúc đầu, anh ấy có thể nhận được mức lương hàng năm là 50.000 đô la, bằng chính xác 1% vốn của công ty vào thời điểm đó. Khi Microsoft được thành lập vào năm 1981, Ballmer sở hữu 8% cổ phần. Ballmer là tỷ phú đầu tiên trên thế giới trở thành tỷ phú chỉ thông qua việc phân bổ vốn cổ phần từ Microsoft, và ông không phải là người sáng lập công ty cũng không phải họ hàng của mình (mà là bạn cùng lớp đại học).
Nhiệm kỳ và di sản của Ballmer với tư cách là nhân viên Microsoft phục vụ lâu nhất của Microsoft đã bị xáo trộn; kể từ khi ông từ chức vào năm 2014, công ty đã tăng gấp ba lần doanh thu và tăng gấp đôi lợi nhuận. điện thoại thông minh dưới dạng iPhone và Android. Ballmer cũng phản đối cộng đồng mã nguồn mở và phần mềm mã nguồn mở, tạo ra định kiến bằng cách lên tiếng gay gắt về các công ty và sản phẩm của đối thủ.
Người ta thường chỉ ra rằng trong nhiệm kỳ của Ballmer, Microsoft đã bỏ lỡ nhiều cơ hội kinh doanh, bao gồm cả điện thoại thông minh và máy tính bảng cảm ứng. Tính đến quý IV năm 2016, thị phần toàn cầu của Windows Phone chỉ là 0,3%. Doanh số của dòng máy tính bảng Microsoft Surface ra mắt năm 2012 rất ảm đạm; Ballmer cũng thừa nhận rằng việc phát triển Windows Vista là điều đáng tiếc nhất của ông, nhưng dường như Microsoft đã không rút kinh nghiệm từ Vista, và Windows 8 ra mắt năm 2012 vẫn bị nhiều phản hồi tiêu cực.đánh giá.
Vào tháng 8 năm 2013, Ballmer tiết lộ rằng ông sắp nghỉ hưu trong vòng một năm, khi đó giá cổ phiếu của Microsoft đã tăng 8%. lợi nhuận của công ty không làm gì cả Hiệu suất khá tốt, ngoài Apple, Microsoft là công ty có lợi nhuận cao nhất. Bạn nghĩ gì về những thành tựu của Microsoft trong giai đoạn từ 2000 đến 2014? Ballmer có đủ tốt không? Chào mừng bạn đến chia sẻ những hiểu biết của bạn trong khu vực bình luận.
Ngày 13 tháng 1 năm 2014: Google thâu tóm Nest
Nest Labs được thành lập vào năm 2010 bởi các cựu kỹ sư của Apple là Tony Fadell và Matt Rogers. Sản phẩm chủ lực đầu tiên của công ty là Nest Learning Thermostat, ra mắt vào năm 2011. Sản phẩm này có thể lập trình, tự học và sẵn sàng cho Wi-Fi; tiếp theo là thiết bị phát hiện khói và khí carbon monoxide vào tháng 10 năm 2013.
Đến cuối năm 2012, công ty đã nhanh chóng mở rộng quy mô với hơn 130 nhân viên. Vào ngày 13 tháng 1 năm 2014, Google đã công bố kế hoạch mua lại Nest Labs với giá 3,2 tỷ USD tiền mặt; Google đã hoàn tất việc mua lại vào ngày hôm sau, ngày 14 tháng 1 năm 2014. Kể từ đó, công ty đã hoạt động độc lập với các hoạt động kinh doanh khác của Google.
Vào tháng 8 năm 2015, Google thông báo rằng họ sẽ tái cấu trúc hoạt động kinh doanh của mình dưới một công ty mẹ mới, Alphabet và Nest sẽ được tách ra khỏi Google với tư cách là công ty con của công ty mẹ mới. Việc tổ chức lại dẫn đến việc Giám đốc điều hành Nest Tony Fadell thông báo trong một bài đăng trên blog vào tháng 6 năm 2016 rằng ông sẽ rời công ty mà ông đồng sáng lập với Matt Rogers để đảm nhận vai trò “cố vấn”. Phần lớn các vấn đề của Nest trong năm 2016 bắt nguồn từ thị trường hạn chế.
Theo Frank Gillet của Forrester Research, chỉ có 6% hộ gia đình ở Mỹ có các thiết bị được kết nối như thiết bị gia dụng, hệ thống giám sát gia đình, loa hoặc đèn chiếu sáng. Ông cũng dự đoán rằng đến năm 2021, tỷ lệ đó sẽ chỉ tăng lên 15%. Ngoài ra, 72% số người được hỏi trong cuộc khảo sát năm 2016 của PwC không kỳ vọng sẽ áp dụng công nghệ nhà thông minh trong vòng 2 đến 5 năm tới. Đến tháng 6 năm 2016, việc mua lại Nest được một số phương tiện truyền thông mô tả là “thảm họa” đối với Google.
Vào ngày 7 tháng 2 năm 2018, giám đốc phần cứng Rick Osterloh thông báo rằng Nest đã được sáp nhập trực tiếp vào bộ phận phần cứng của Google, cùng với các bộ phận như Google Home và Chromecast. Nó sẽ giữ lại trụ sở Palo Alto riêng biệt, nhưng Giám đốc điều hành Nest Marwan Fawaz từ nay về sau sẽ báo cáo với Osterloh về các kế hoạch tích hợp chặt chẽ hơn với các nền tảng và phần mềm của Google, chẳng hạn như Trợ lý Google, trong các sản phẩm trong tương lai. Ngay sau thông báo, đồng sáng lập kiêm giám đốc sản phẩm Matt Rogers đã công bố kế hoạch rời công ty. Vào tháng 7, Nest chính thức hợp nhất với nhóm Thiết bị Google Home do Rishi Chandra lãnh đạo; sau đó, trong bài phát biểu quan trọng về Google I/O năm 2019, Google đã thông báo rằng Google Nest hiện sẽ đóng vai trò là thương hiệu tích hợp cho tất cả các sản phẩm gia dụng của Google.
Ngày xửa ngày xưa, Amazon chưa tham gia thị trường nhà thông minh và Xiaomi ở phía bên kia đại dương chưa đặt ra hệ sinh thái Mijia, Nest là cánh quạt của ngành vào thời điểm đó, sau khi được Google mua lại, Nest là đã từng giảm từ một doanh nghiệp độc lập thành gần như bị bán bởi Alphabet, vì sự ra đời của thời đại trí tuệ nhân tạo, nó đã được kéo lên làm nhà cung cấp chính cho ngôi nhà thông minh của Google. Nest xấu số gần như là một mô hình thu nhỏ mà Google theo đuổi trên thị trường phần cứng vài năm trở lại đây, có thuật toán và AI mạnh mẽ nhưng có vẻ như sẽ không bao giờ đáp ứng được nhu cầu của người dùng; đứng sau Amazon trên diện rộng. Google sẽ làm gì tiếp theo? Hãy để thời gian chứng kiến câu trả lời cho câu hỏi này.
Lấy lịch sử làm tấm gương, chúng ta có thể biết được những thăng trầm. Kể từ khi khoa học máy tính phát triển, đã có rất nhiều sự kiện và nhân vật quan trọng.
