IT

 

 

 

 

 

 

 






 







 


 

 

 

 

 

 

 

 






 







 


 

 

 

 

 

 

 






 







 


 

 

 

 

 

 

 






 







 


 

 

 

 

 

 

 

 

 

 

 

 

 

 






 







 


 

 

 

 

 

 

 

 

 

 






 







 


IT

 

 

AI  

 

 






 







 


 

 

 

 

 

 

 






 







 


 

 

 

 

 

 

 

 






 







 


 

Web  

 

 

PlayStation  

 

YouTuber  

 





 

 





 

 

 












Measuring GitHub Copilots Impact on Productivity  Communications of the ACM  

4users  
cacm.acm.org  


Code-completion systems offering suggestions to a developer in their integrated development environment (IDE) have become the most frequently used kind of programmer assistance.1 When generating whole snippets of code, they typically use a large language model (LLM) to predict what the user might type next (the completion) from the context of what they are working on at the moment (the prompt).2 T




 

2024/03/02 12:12
 



























10 Things Software Developers Should Learn about Learning  Communications of the ACM  

4users  
cacm.acm.org  


The dashed box on the left contains exactly the same information as the awkward textual description in the dashed box on the right. But if a developer only received one of the two to create an SQL database, they are likely to find the diagram easier than the text. We say that the text here has a higher extraneous cognitive load. When faced with a task that seems beyond a persons abilities, it is




 

2023/12/27 10:43
 













FoundationDB: A Distributed Key-Value Store  Communications of the ACM  

5users  
cacm.acm.org  


CACM Web Account Membership in ACM includes a subscription to Communications of the ACM (CACM), the computing industry's most trusted source for staying connected to the world of advanced computing. Sign In Sign Up FoundationDB is an open-source transactional key-value store created more than 10 years ago. It is one of the first systems to combine the flexibility and scalability of NoSQL architect




 

2023/07/04 08:50
 















The Premature Obituary of Programming  Communications of the ACM  

4users  
cacm.acm.org  


Deep learning (DL) has arrived, not only for natural language, speech, and image processing but also for coding, which I refer to as deep programming (DP). DP is used to detect similar programs, find relevant code, translate programs from one language to another, discover software defects, and to synthesize programs from a natural language description. The advent of large transformer language mode




 

2023/04/05 14:24
 



















The End of Programming  Communications of the ACM  

45users  
cacm.acm.org  


The end of classical computer science is coming, and most of us are dinosaurs waiting for the meteor to hit. I came of age in the 1980s, programming personal computers such as the Commodore VIC-20 and Apple ][e at home. Going on to study computer science (CS) in college and ultimately getting a Ph.D. at Berkeley, the bulk of my professional training was rooted in what I will call classical CS: p




 

2022/12/22 10:11
 

















 











The Pushback Effects of Race, Ethnicity, Gender, and Age in Code Review  Communications of the ACM  

3users  
cacm.acm.org  


Tech companies are often criticized for a lack of diversity in their engineering workforce. In recent years, such companies have improved engineering workforce diversity through hiring and retention efforts, according to publicly available diversity reports.a However, we know little about the day-to-day, on-the-job experiences of traditionally underrepresented engineers once they join an organizat




 

2022/06/29 10:06
 













The Go Programming Language and Environment  Communications of the ACM  

10users  
cacm.acm.org  


Go is a programming language created at Google in late 2007 and released as open source in November 2009. Since then, it has operated as a public project, with contributions from thousands of individuals and dozens of companies. Go has become a popular language for building cloud infrastructure: Docker, a Linux container manager, and Kubernetes, a container deployment system, are core cloud techno




 

2022/04/27 10:16
 





 











Deep Learning for AI  Communications of the ACM  

12users  
cacm.acm.org  


How can neural networks learn the rich internal representations required for difficult tasks such as recognizing objects or understanding language? Yoshua Bengio, Yann LeCun, and Geoffrey Hinton are recipients of the 2018 ACM A.M. Turing Award for breakthroughs that have made deep neural networks a critical component of computing. Research on artificial neural networks was motivated by the observa




 

2021/07/16 11:37
 













 











The 10 Best Practices for Remote Software Engineering  

4users  
cacm.acm.org  


By Vanessa Sochat Communications of the ACM, May 2021, Vol. 64 No. 5, Pages 32-36 10.1145/3459613 Comments At face value, when we think of developer productivity we might think of effectiveness in time management, communication, and task completion.14 Although we are drawn to personal workflow or time management tools, and learning secrets to improving our productivity, ironically this quest for t



 

2021/04/27 09:49
 





 











Understanding Deep Learning (Still) Requires Rethinking Generalization  Communications of the ACM  

5users  
cacm.acm.org  


CACM Web Account Membership in ACM includes a subscription to Communications of the ACM (CACM), the computing industry's most trusted source for staying connected to the world of advanced computing. Sign In Sign Up Despite their massive size, successful deep artificial neural networks can exhibit a remarkably small gap between training and test performance. Conventional wisdom attributes small gen




 

2021/02/26 20:07
 



 











A Second Conversation with Werner Vogels  Communications of the ACM  

11users  
cacm.acm.org  


CACM Web Account Membership in ACM includes a subscription to Communications of the ACM (CACM), the computing industry's most trusted source for staying connected to the world of advanced computing. Sign In Sign Up When I joined Amazon in 1998, the company had a single U.S.-based website selling only books and running a monolithic C application on five servers, a handful of Berkeley DBs for key/va




 

2021/02/26 20:07
 









 











50 Years of Pascal  Communications of the ACM  

4users  
cacm.acm.org  


The Pascal programming language creator Niklaus Wirth reflects on its origin, spread, and further development. In the early 1960s, the languages Fortran (John Backus, IBM) for scientific, and Cobol (Jean Sammet, IBM, and DoD) for commercial applications dominated. Programs were written on paper, then punched on cards, and one waited a day for the results. Programming languages were recognized as e




 

2021/02/24 14:34
 













Debugging Incidents in Googles Distributed Systems  Communications of the ACM  

7users  
cacm.acm.org  


CACM Web Account Membership in ACM includes a subscription to Communications of the ACM (CACM), the computing industry's most trusted source for staying connected to the world of advanced computing. Sign In Sign Up Google has published two books about Site Reliability Engineering (SRE) principles, best practices, and practical applications.1,2 In the heat of the moment when handling a production i




 

2020/09/26 14:08
 



 











Scaling Static Analyses at Facebook  Communications of the ACM  

3users  
cacm.acm.org  


Static analysis tools are programs that examine, and attempt to draw conclusions about, the source of other programs without running them. At Facebook, we have been investing in advanced static analysis tools that employ reasoning techniques similar to those from program verification. The tools we describe in this article (Infer and Zoncolan) target issues related to crashes and to the security of




 

2019/07/29 20:24
 



 











A Look at the Design of Lua  Communications of the ACM  

4users  
cacm.acm.org  


Lua is a scripting language developed at the Pontifical Catholic University of Rio de Janeiro (PUC-Rio) that has come to be the leading scripting language for video games worldwide.3,7 It is also used extensively in embedded devices like set-top boxes and TVs and in other applications like Adobe Photoshop Lightroom and Wikipedia.14 Its first version was released in 1993. The current version, Lua 5




 

2018/10/30 16:36
 













A Programmable Programming Language  Communications of the ACM  

10users  
cacm.acm.org  


In the ideal world, software developers would analyze each problem in the language of its domain and then articulate solutions in matching terms. They could thus easily communicate with domain experts and separate problem-specific ideas from the details of general-purpose languages and specific program design decisions. Back to Top Key InsightsLanguage-oriented programming is an emerging software-




 

2018/02/23 09:37
 





 











A Large-Scale Study of Programming Languages and Code Quality in Github  Communications of the ACM  

5users  
cacm.acm.org  


CACM Web Account Membership in ACM includes a subscription to Communications of the ACM (CACM), the computing industry's most trusted source for staying connected to the world of advanced computing. Sign In Sign Up What is the effect of programming languages on software quality? This question has been a topic of much debate for a very long time. In this study, we gather a very large data set from




 

2017/09/30 19:48
 











 











Database Decay and What To Do About It  Communications of the ACM  

5users  
cacm.acm.org  


The traditional wisdom for designing database schemas is to use a design tool (typically based on a UML or ER model) to construct an initial data model for ones data. When one is satisfied with the result, the tool will automatically construct a collection of 3rd normal form relations for the model.  Then, applications are coded against this relational schema.  When business circumstances change




 

2016/11/20 16:54
 



 











Sex as an Algorithm  Communications of the ACM  

4users  
cacm.acm.org  


Look around you, and you will be stunned by the work of evolution. According to Nobel Laureate Jacques Monod, a strange thing about evolution is that all educated persons think they understand it fairly well, and yet very fewif any, one may grumbleactually do. Understanding evolution is essential: Nothing in biology makes sense except in the light of evolution, famously said the eminent 20th c




 

2016/11/14 16:26
 





 











Apache Spark  Communications of the ACM  

5users  
cacm.acm.org  


This open source computing framework unifies streaming, batch, and interactive big data workloads to unlock new applications. Analyses performed using Spark of brain activity in a larval zebrafish: embedding dynamics of whole-brain activity into lower-dimensional trajectories. The growth of data volumes in industry and research poses tremendous opportunities, as well as tremendous computational ch




 

2016/11/01 20:21
 













Why Google Stores Billions of Lines of Code in a Single Repository  

57users  
cacm.acm.org  


Early Google employees decided to work with a shared codebase managed through a centralized source control system. This approach has served Google well for more than 16 years, and today the vast majority of Googles software assets continues to be stored in a single, shared repository. Meanwhile, the number of Google software developers has steadily increased, and the size of the Google codebase h




 

2016/06/29 02:38
 









 











New News Aggregator Apps  Communications of the ACM  

6users  
cacm.acm.org  


How apps like Inkl and SmartNews are overcoming the challenges of aggregation to win over content publishers and users alike. Inkl CEO Gautam Mishra describes his company's news app as the "Spotify of news." News aggregators are services that pull together online content in one place for ease of viewing on mobile devices. Until recently, the market for news aggregator apps has been dominated by Go




 

2015/09/15 11:18
 



 











Programming the Quantum Future  Communications of the ACM  

3users  
cacm.acm.org  


The earliest computers, like the ENIAC, were rare and heroically difficult to program. That difficulty stemmed from the requirement that algorithms be expressed in a vocabulary suited to the particular hardware available, ranging from function tables for the ENIAC to more conventional arithmetic and movement operations on later machines. Introduction of symbolic programming languages, exemplifie




 

2015/08/23 22:41
 



 











How Amazon Web Services Uses Formal Methods  Communications of the ACM  

11users  
cacm.acm.org  


Since 2011, engineers at Amazon Web Services (AWS) have used formal specification and model checking to help solve difficult design problems in critical systems. Here, we describe our motivation and experience, what has worked well in our problem domain, and what has not. When discussing personal experience we refer to the authors by their initials. At AWS we strive to build services that are simp




 

2015/03/30 02:30
 











 











Whats the Best Way to Teach Computer Science to Beginners?  Communications of the ACM  

10users  
cacm.acm.org  


The Communications Web site, http://cacm.acm.org, features more than a dozen bloggers in the BLOG@CACM community. In each issue of Communications, we'll publish selected posts or excerpts. twitter Follow us on Twitter at http://twitter.com/blogCACM http://cacm.acm.org/blogs/blog-cacm Mark Guzdial questions the practice of teaching programming to new CS students by having them practice programming




 

2015/02/16 11:48
 





 











Python Is Now the Most Popular Introductory Teaching Language at Top ­U.S. ­Universities  

25users  
cacm.acm.org  


Here are the edits made to this table after its initial publication on 2014-07-07, thanks to reader-submitted corrections: Added Columbia ENGI E1006 (Python), since a current student emailed me about it. Here's an excerpt: "Very few people are required to take the Matlab course [1005] (mostly just a few specific engineering majors), whereas all CS majors, and all engineers in general have to take



 

2014/07/08 07:27
 











 











Formally Verified Mathematics  Communications of the ACM  

3users  
cacm.acm.org  


With the help of computational proof assistants, formal verification could become the new standard for rigor in mathematics. From the point of view of the foundations of mathematics, one of the most significant advances in mathematical logic around the turn of the 20th century was the realization that ordinary mathematical arguments can be represented in formal axiomatic systems in such a way thei




 

2014/04/09 07:44
 













Data Science Workflow: Overview and Challenges  Communications of the ACM  

4users  
cacm.acm.org  


CACM Web Account Membership in ACM includes a subscription to Communications of the ACM (CACM), the computing industry's most trusted source for staying connected to the world of advanced computing. Sign In Sign Up During my Ph.D., I created tools for people who write programs to obtain insights from data. Millions of professionals in fields ranging from science, engineering, business, finance, pu




 

2013/11/13 08:54
 













The Tail at Scale  

3users  
cacm.acm.org  


Need Access? Please select one of the options below for access to premium content and features. Create a Web Account If you are already an ACM member, Communications subscriber, or Digital Library subscriber, please set up a web account to access premium content on this site. Create a Web Account Join the ACM Become a member to take full advantage of ACM's outstanding computing information resourc



 

2013/01/31 07:28
 









 








 




























 

Communications of the ACM  Communications of the ACM  

 



j

k

l

e

o
 
 
















 









 

















 









 









 







Pro



 




 






App Storeからダウンロード
Google Playで手に入れよう


Copyright © 2005-2024 Hatena. All Rights Reserved.
 





x