#turingaward — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #turingaward, aggregated by home.social.
-
🥇 Oh, the Turing Award, the Nobel Prize of computing, now celebrates two pioneers of quantum science! 🧙♂️💡 But wait, what's this? A quest to access ACM's website feels like solving a quantum puzzle itself—thanks to the mighty #Cloudflare, blocking us mere mortals from basking in the glow of this news. 🔒💥
https://amturing.acm.org #TuringAward #QuantumScience #ACM #ComputingNews #HackerNews #ngated -
Turing Award Honors Bennett and Brassard for Quantum Information Science
#HackerNews #TuringAward #Bennett #Brassard #QuantumInformation #Science
-
Turing Award Honors Bennett and Brassard for Quantum Information Science
#HackerNews #TuringAward #Bennett #Brassard #QuantumInformation #Science
-
Turing Award Honors Bennett and Brassard for Quantum Information Science
#HackerNews #TuringAward #Bennett #Brassard #QuantumInformation #Science
-
Turing Award Honors Bennett and Brassard for Quantum Information Science
#HackerNews #TuringAward #Bennett #Brassard #QuantumInformation #Science
-
Turing Award Honors Bennett and Brassard for Quantum Information Science
#HackerNews #TuringAward #Bennett #Brassard #QuantumInformation #Science
-
Anunciado el #TuringAward. Ha sido para Charles H. Bennett y Gilles Brassard por su trabajo en información #cuantica y #criptografia cuántica. Informática del futuro ? https://amturing.acm.org/
-
Anunciado el #TuringAward. Ha sido para Charles H. Bennett y Gilles Brassard por su trabajo en información #cuantica y #criptografia cuántica. Informática del futuro ? https://amturing.acm.org/
-
Anunciado el #TuringAward. Ha sido para Charles H. Bennett y Gilles Brassard por su trabajo en información #cuantica y #criptografia cuántica. Informática del futuro ? https://amturing.acm.org/
-
“Current #EncryptionTechnology relies on complex mathematical combinations, but many #scientists believe that the arrival of #QuantumComputers will make this insecure.
By contrast, #Bennett and #Brassard's theory - known as #BB84 - shows that any attempt to hack or copy their #quantum #encryption #key changes the very behaviour of its elements, making replication impossible.”
#TuringAward / #computing <https://bbc.com/news/articles/c7474004g01o>
-
“Current #EncryptionTechnology relies on complex mathematical combinations, but many #scientists believe that the arrival of #QuantumComputers will make this insecure.
By contrast, #Bennett and #Brassard's theory - known as #BB84 - shows that any attempt to hack or copy their #quantum #encryption #key changes the very behaviour of its elements, making replication impossible.”
#TuringAward / #computing <https://bbc.com/news/articles/c7474004g01o>
-
“Current #EncryptionTechnology relies on complex mathematical combinations, but many #scientists believe that the arrival of #QuantumComputers will make this insecure.
By contrast, #Bennett and #Brassard's theory - known as #BB84 - shows that any attempt to hack or copy their #quantum #encryption #key changes the very behaviour of its elements, making replication impossible.”
#TuringAward / #computing <https://bbc.com/news/articles/c7474004g01o>
-
“Current #EncryptionTechnology relies on complex mathematical combinations, but many #scientists believe that the arrival of #QuantumComputers will make this insecure.
By contrast, #Bennett and #Brassard's theory - known as #BB84 - shows that any attempt to hack or copy their #quantum #encryption #key changes the very behaviour of its elements, making replication impossible.”
#TuringAward / #computing <https://bbc.com/news/articles/c7474004g01o>
-
“Current #EncryptionTechnology relies on complex mathematical combinations, but many #scientists believe that the arrival of #QuantumComputers will make this insecure.
By contrast, #Bennett and #Brassard's theory - known as #BB84 - shows that any attempt to hack or copy their #quantum #encryption #key changes the very behaviour of its elements, making replication impossible.”
#TuringAward / #computing <https://bbc.com/news/articles/c7474004g01o>
-
Hey, just heard that Montreal's Gilles Brassard is co-winner of the #TuringAward for his 1970s work on launching the foundations of quantum computing.
It was an entertaining interview on BBC radio. Very Montréalais guy.
He was great in his reaction to "you and your American colleague should meet up to celebrate in Puerto Rico"
He was adamant that that's impossible as long as the little dictator is in power, he's not setting foot in that country.
He needs additional prizes.
-
"Bennett and Brassard have [...] been named the winners of the A.M. Turing Award, one of the highest honors in computing, for “their essential role in establishing the foundations of quantum information science and transforming secure communication and computing.” The award comes with a $1 million prize."
https://www.quantamagazine.org/quantum-cryptography-pioneers-win-turing-award-20260318/
-
🥳🎉 Congrats to the 2025 Turing Award winner for quantum information science! Too bad the real mystery here is how anyone will read about it when the website is locked tighter than a quantum computer's error correction. 🔒🔍👩💻
https://awards.acm.org/about/2025-turing #TuringAward #QuantumScience #ErrorCorrection #TechNews #Celebration #HackerNews #ngated -
2025 Turing award given for quantum information science
https://awards.acm.org/about/2025-turing
#HackerNews #TuringAward #QuantumInformation #ScienceInnovation #FutureTech
-
2025 Turing award given for quantum information science
https://awards.acm.org/about/2025-turing
#HackerNews #TuringAward #QuantumInformation #ScienceInnovation #FutureTech
-
Oh wow, that’s cool! I’ve always really admired Gilles Brassard in particular!
-
Turing Award winner and former Oxford professor Tony Hoare passed away
https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html
#HackerNews #TuringAward #TonyHoare #RIP #OxfordProfessor #ComputerScience
-
AI’s next race is energy-efficient architectures, top scientist says
The next phase of global AI competition will hinge less on who can scale today’s transformer models the…
#NewsBeep #News #Artificialintelligence #AI #ArtificialIntelligence #AU #Australia #Block4 #ChatGPT #China #Chipswars #DeepSeek #H200 #JenniferChayes #LLMs #Nvidia #ShawPrize #Technology #TuringAward #UnitedStates
https://www.newsbeep.com/au/455544/ -
'Yann LeCun is a Turing Award recipient and a top AI researcher...He believes that the industry’s current obsession with large language models is wrong-headed and will ultimately fail to solve many pressing problems'
#genAI #technology #TuringAward
https://www.technologyreview.com/2026/01/22/1131661/yann-lecuns-new-venture-ami-labs/
-
Algorithm optimization pro tip: if you add a dynamic delay to the maximum interval required for the largest input you encounter, you can implement every algorithm as O(1).
I'm off to writing my #TuringAward acceptance speech.
🦾
-
Lịch sử truyền miệng của Barbara Liskov, nhà khoa học máy tính nổi tiếng, người đoạt giải Turing, đã được công bố. Tìm hiểu về cuộc đời và những đóng góp quan trọng của bà cho khoa học máy tính và lập trình hướng đối tượng.
#BarbaraLiskov #KhoaHocMayTinh #LichSu #LapTrinh #TuringAward
#ComputerScience #OralHistory #Programminghttps://www.reddit.com/r/programming/comments/1o1i5bx/barbara_liskov_oral_history/
-
Beyond the Nobel Prizes Is a World of Scientific Awards - Nobels are awarded in only three scientific categories, but other awards honor researcher... - https://www.nytimes.com/2025/10/05/science/awards-prizes-non-nobels.html #laskeralbertandmaryfoundation #awardsdecorationsandhonors #engineeringandengineers #scienceandtechnology #medicineandhealth #wolffoundation #mathematics #turingaward #nobelprizes #research
-
Beyond the Nobel Prizes Is a World of Scientific Awards - Nobels are awarded in only three scientific categories, but other awards honor researcher... - https://www.nytimes.com/2025/10/05/science/awards-prizes-non-nobels.html #laskeralbertandmaryfoundation #awardsdecorationsandhonors #engineeringandengineers #scienceandtechnology #medicineandhealth #wolffoundation #mathematics #turingaward #nobelprizes #research
-
Beyond the Nobel Prizes Is a World of Scientific Awards - Nobels are awarded in only three scientific categories, but other awards honor researcher... - https://www.nytimes.com/2025/10/05/science/awards-prizes-non-nobels.html #laskeralbertandmaryfoundation #awardsdecorationsandhonors #engineeringandengineers #scienceandtechnology #medicineandhealth #wolffoundation #mathematics #turingaward #nobelprizes #research
-
Beyond the Nobel Prizes Is a World of Scientific Awards - Nobels are awarded in only three scientific categories, but other awards honor researcher... - https://www.nytimes.com/2025/10/05/science/awards-prizes-non-nobels.html #laskeralbertandmaryfoundation #awardsdecorationsandhonors #engineeringandengineers #scienceandtechnology #medicineandhealth #wolffoundation #mathematics #turingaward #nobelprizes #research
-
Beyond the Nobel Prizes Is a World of Scientific Awards - Nobels are awarded in only three scientific categories, but other awards honor researcher... - https://www.nytimes.com/2025/10/05/science/awards-prizes-non-nobels.html #laskeralbertandmaryfoundation #awardsdecorationsandhonors #engineeringandengineers #scienceandtechnology #medicineandhealth #wolffoundation #mathematics #turingaward #nobelprizes #research
-
✨ Spark Session is back again on 9/16 at #HLF25!
In these fast-paced plenary talks, laureates share insights from their groundbreaking research and spark new ideas:
- Jeffrey Dean (#ACMPrize in Computing) & David Patterson (#ACMTuringAward): Shaping AI’s Impact to Help Billions
- Leslie G. Valiant (#ACMTuringAward): Education and EducabilityDon’t miss this chance to be inspired.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/ -
✨ Spark Session is back again on 9/16 at #HLF25!
In these fast-paced plenary talks, laureates share insights from their groundbreaking research and spark new ideas:
- Jeffrey Dean (#ACMPrize in Computing) & David Patterson (#ACMTuringAward): Shaping AI’s Impact to Help Billions
- Leslie G. Valiant (#ACMTuringAward): Education and EducabilityDon’t miss this chance to be inspired.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/ -
✨ Spark Session is back again on 9/16 at #HLF25!
In these fast-paced plenary talks, laureates share insights from their groundbreaking research and spark new ideas:
- Jeffrey Dean (#ACMPrize in Computing) & David Patterson (#ACMTuringAward): Shaping AI’s Impact to Help Billions
- Leslie G. Valiant (#ACMTuringAward): Education and EducabilityDon’t miss this chance to be inspired.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/ -
✨ Spark Session is back again on 9/16 at #HLF25!
In these fast-paced plenary talks, laureates share insights from their groundbreaking research and spark new ideas:
- Jeffrey Dean (#ACMPrize in Computing) & David Patterson (#ACMTuringAward): Shaping AI’s Impact to Help Billions
- Leslie G. Valiant (#ACMTuringAward): Education and EducabilityDon’t miss this chance to be inspired.
🔗 https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/ -
Get ready for the #HLF25 Spark Session on September 15! 🌟
Hear short plenary "spark talks" from leading laureates—featuring ACM A.M. Turing Laureate Richard Sutton, ACM Prize recipients Sanjeev Arora and David Silver, alongside other computing and mathematics greats.Don’t miss this chance to see big ideas in action.
Livestream available: https://www.heidelberg-laureate-forum.org/forum/12th-hlf-2025/program-12th-hlf-2025/ -
I cannot get enough of our shared Vulgar Technobabble that we #ComputerScientists speak. Even #ACM #TuringAward winning blokes speak this way.🤣
Interviewer—What is a good way to understand what #ModelChecking is and what it does?
#AllenEmerson—[staring intently at his toes] Well, uh, in "layman's terms", model checking is an algorithmic method of verifying correctness of nominally finite state systems, uh, against a specification that's typically given in temporal logic. Uh, if the model checker, the model checking tool that's been implemented, uh, returns "yes", then the system is correct. If it, uh, returns "no", the specification is violated, and a counterexample is produced.
Sure, we get it; it is but #SoftwareVerification in so many words. But does a "layman" get it?
-
I cannot get enough of our shared Vulgar Technobabble that we #ComputerScientists speak. Even #ACM #TuringAward winning blokes speak this way.🤣
Interviewer—What is a good way to understand what #ModelChecking is and what it does?
#AllenEmerson—[staring intently at his toes] Well, uh, in "layman's terms", model checking is an algorithmic method of verifying correctness of nominally finite state systems, uh, against a specification that's typically given in temporal logic. Uh, if the model checker, the model checking tool that's been implemented, uh, returns "yes", then the system is correct. If it, uh, returns "no", the specification is violated, and a counterexample is produced.
Sure, we get it; it is but #SoftwareVerification in so many words. But does a "layman" get it?
-
I cannot get enough of our shared Vulgar Technobabble that we #ComputerScientists speak. Even #ACM #TuringAward winning blokes speak this way.🤣
Interviewer—What is a good way to understand what #ModelChecking is and what it does?
#AllenEmerson—[staring intently at his toes] Well, uh, in "layman's terms", model checking is an algorithmic method of verifying correctness of nominally finite state systems, uh, against a specification that's typically given in temporal logic. Uh, if the model checker, the model checking tool that's been implemented, uh, returns "yes", then the system is correct. If it, uh, returns "no", the specification is violated, and a counterexample is produced.
Sure, we get it; it is but #SoftwareVerification in so many words. But does a "layman" get it?
-
I cannot get enough of our shared Vulgar Technobabble that we #ComputerScientists speak. Even #ACM #TuringAward winning blokes speak this way.🤣
Interviewer—What is a good way to understand what #ModelChecking is and what it does?
#AllenEmerson—[staring intently at his toes] Well, uh, in "layman's terms", model checking is an algorithmic method of verifying correctness of nominally finite state systems, uh, against a specification that's typically given in temporal logic. Uh, if the model checker, the model checking tool that's been implemented, uh, returns "yes", then the system is correct. If it, uh, returns "no", the specification is violated, and a counterexample is produced.
Sure, we get it; it is but #SoftwareVerification in so many words. But does a "layman" get it?
-
I cannot get enough of our shared Vulgar Technobabble that we #ComputerScientists speak. Even #ACM #TuringAward winning blokes speak this way.🤣
Interviewer—What is a good way to understand what #ModelChecking is and what it does?
#AllenEmerson—[staring intently at his toes] Well, uh, in "layman's terms", model checking is an algorithmic method of verifying correctness of nominally finite state systems, uh, against a specification that's typically given in temporal logic. Uh, if the model checker, the model checking tool that's been implemented, uh, returns "yes", then the system is correct. If it, uh, returns "no", the specification is violated, and a counterexample is produced.
Sure, we get it; it is but #SoftwareVerification in so many words. But does a "layman" get it?
-
🤖✨ "Jürgen Schmidhuber: The Unsung #Maestro of AI"—or, as we like to call it, "The Guy Who Didn't Get the Turing Award." It's a whirlwind of #AI jargon and self-congratulatory pats on the back, perfect for those who enjoy a side of 🚀 with their deep learning alphabet soup. 😂👨🎤
http://www.jazzyear.com/article_info.html?id=1352 #TuringAward #DeepLearning #Innovation #Humor #HackerNews #ngated -
Jürgen Schmidhuber：the Father of Generative AI Without Turing Award
http://www.jazzyear.com/article_info.html?id=1352
#HackerNews #JürgenSchmidhuber #GenerativeAI #TuringAward #AIResearch #MachineLearning
-
El #TuringAward 2024 se ha otorgado a Andrew Barto y Richard Sutton, por su trabajo en aprendizaje por refuerzo para la #IA ( #AI ) . Una extensa trayectoria, desde los 80 están trabajando en el tema, que les avalan . https://efe.com/cultura/2025-03-05/inteligencia-artificial-premio-turing/
-
#TuringAward: Gewinner sehen KI-Entwicklung kritisch | heise online https://www.heise.de/news/Turing-Award-Gewinner-warnen-vor-aktuellen-KI-Entwicklungen-10306408.html #ArtificialIntelligence
-
Wonderful news for Edmonton's AI mage Rich Sutton, for the University of Alberta, and for AMII, the Alberta Machine Intelligence Institute. I've had a couple of chances over the years to interview Rich and his colleagues, and tour their labs. Their work on reinforcement learning - far more interesting than LLM - has made Edmonton a real AI centre of excellence. Meeting him is the closest I'll ever come to meeting Gandalf. https://www.ualberta.ca/en/folio/2025/03/computing-science-professor-wins-turing-award.html #yeg #Edmonton #ualberta #TuringAward #Turing #AI
-
Congratulations to Andrew G. Barto and Richard S. Sutton for winning the ACM Turing award!
https://awards.acm.org/about/2024-turing
#ACM #TuringAward #compsci #ComputerScience #AI #ML #MachineLearning
-
News writer for @theverge, Jess Weatherbed writes "Two trailblazing scientists who today received this year’s Turing Award for creating fundamental artificial intelligence training techniques are using the spotlight to shine concern on the dangers of rushing AI models out for public consumption."
Read more:
https://flip.it/f.PR_S -
Turing Award Goes to A.I. Pioneers Andrew Barto and Richard Sutton https://www.byteseu.com/800989/ #AI #AndrewBarto #ArtificialIntelligence #ChatGPT #ComputersAndTheInternet #Etzioni #Oren #Research #RichardSutton #TuringAward #UniversityOfMassachusettsAmherst
