TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Most Influential Papers in Computer Science History

335 点作者 jonbaer4 个月前

43 条评论

sovietswag4 个月前
Communicating Sequential Processes (Hoare), The Next 700 Programming Languages (Landin), As We May Think (Bush), Can Programming Be Liberated from the von Neumann Style (Backus)<p>And this seems to be a cool course: <a href="https:&#x2F;&#x2F;canvas.harvard.edu&#x2F;courses&#x2F;34992&#x2F;assignments&#x2F;syllabus" rel="nofollow">https:&#x2F;&#x2F;canvas.harvard.edu&#x2F;courses&#x2F;34992&#x2F;assignments&#x2F;syllabu...</a> &gt; This course examines papers every computer scientist should have read, from the 1930s to the present. It is meant to be a synthesizing experience for advanced students in computer science: a way for them to see the field as a whole, not through a survey, but by reliving the experience of its creation. The idea is to create a unified view of the field of computer science, for students who already know something about it, by replaying its entire evolution at an accelerated frame rate.
评论 #42803767 未加载
serviceberry4 个月前
I actually found this to be an odd mix. Are we selecting papers that had an influence on computer science (as in, the theory of computation), or that had an impact on technology? Or are we just using CS as a catch-all for &quot;all things computer&quot;?<p>The Turing paper is foundational for CS, but without it, would the technology have evolved differently? Probably not. Most software engineers have not read it. Conversely, the IP standard is a technological cornerstone, but there&#x27;s hardly any science in it. It&#x27;s just a specification of a fairly simple protocol that you need to know when doing almost anything network-adjacent.
评论 #42801501 未加载
cs7024 个月前
Great list of papers.<p>I&#x27;ve read five of of the seven papers on the list. The two I haven&#x27;t read are Cerf and Kahn&#x27;s, and Berner-Lee&#x27;s.<p>Turing&#x27;s paper on computability was particularly hard to follow, for me, because he used these gothic-font upper-chase characters to name all sorts of objects, and all those characters looked kinda the same to me! I had to use auxiliary materials to be able to make my way through the paper. Today, I would recommend reading it with Charles Petzold&#x27;s easy-to-follow book on the paper: <a href="https:&#x2F;&#x2F;www.amazon.com&#x2F;Annotated-Turing-Through-Historic-Computability&#x2F;dp&#x2F;0470229055" rel="nofollow">https:&#x2F;&#x2F;www.amazon.com&#x2F;Annotated-Turing-Through-Historic-Com...</a><p>Cook&#x27;s paper on NP-completeness was also hard to follow (again, for me). As with Turing&#x27;s paper, I had to use auxiliary materials to make my way. Today, I would recommend reading instead an introductory book on computational complexity that works through Cook&#x27;s proof.<p>Shannon&#x27;s paper is a work of art, clearly articulated and beautifully written. It&#x27;s just not casual reading, to put it mildly.<p>Brin and Page&#x27;s paper, and Codd&#x27;s paper, are not hard to follow, at least as I remember them, but understanding Brin and Page&#x27;s work requires some knowledge of Linear Algebra.<p>Thank you for sharing this on HN.
评论 #42801030 未加载
评论 #42800378 未加载
vitus4 个月前
Oh man, if you think Shannon&#x27;s A Mathematical Theory of Communication is his most foundational contribution to computer science, you haven&#x27;t seen his master&#x27;s thesis from a decade prior.<p><a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;A_Symbolic_Analysis_of_Relay_and_Switching_Circuits" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;A_Symbolic_Analysis_of_Relay_a...</a><p>He outlined how you could use switching elements in circuits (read: transistors) to define boolean logic.<p>(That&#x27;s not to downplay the importance of, well, establishing the foundations of the entire field of information theory.)
Tainnor4 个月前
&gt; He sketches out a hypothetical “Turing Machine,” proving that, if something is computable at all, a machine (in principle) can handle it.<p>That&#x27;s not what Turing proved. Instead, what he proved in his paper was that there are some problems which aren&#x27;t solvable by Turing Machines (and therefore presumably by any machine). That&#x27;s the <i>Entscheidungsproblem</i> (decision problem) referenced in the title.<p>What TFA references is the so-called Church-Turing-Thesis, which is exactly that, a thesis. It can&#x27;t really be proven although we have very strong reason to believe it given that in almost 100 years nobody has found a system of computation more powerful than Turing Machines.
评论 #42801011 未加载
评论 #42801625 未加载
gundegy_man4 个月前
Nice work!<p>I was actually doing something similar on my own, so I might recommend some papers<p>- RSA: A Method for Obtaining Digital Signatures and Public-Key Cryptosystems (1978)<p>- PageRank: The PageRank Citation Ranking: Bringing Order to the Web (1999)<p>- MapReduce: MapReduce: simplified data processing on large clusters (2008)<p>- Bitcoin: Bitcoin: A Peer-to-Peer Electronic Cash System (2008)<p>- BackProp: Learning representations by back-propagating errors (1986)<p>- Hoare Logic: An Axiomatic Basis for Computer Programming (1969)
评论 #42817804 未加载
udev40964 个月前
Where&#x27;s the infamous &quot;Evolution of Unix time-sharing systems&quot; by Dennis Ritchie?<p><a href="https:&#x2F;&#x2F;www.bell-labs.com&#x2F;usr&#x2F;dmr&#x2F;www&#x2F;cacm.pdf" rel="nofollow">https:&#x2F;&#x2F;www.bell-labs.com&#x2F;usr&#x2F;dmr&#x2F;www&#x2F;cacm.pdf</a>
评论 #42805237 未加载
kleiba4 个月前
Since everyone likes chiming in with their own additions to the list, here&#x27;s mine:<p>While Cook was the first to introduce NP-completeness, Karp&#x27;s paper presenting 21 problems that could be reduced polynomially to 3SAT was also an enormeous cornerstone that helped kick off a more general interest in Cook&#x27;s theory.<p><a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Karp%27s_21_NP-complete_problems" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Karp%27s_21_NP-complete_proble...</a>
twothreeone4 个月前
Diffie, Whitfield; Hellman, Martin E. (November 1976). &quot;New Directions in Cryptography&quot; ???
mwn4 个月前
It&#x27;s not papers but I would give special mention to Why Software Is Eating the World by Marc Andreessen and Amazon&#x27;s original 1997 letter to shareholders.<p>&quot;Companies in every industry need to assume that a software revolution is coming. This includes even industries that are software-based today.&quot;<p><a href="https:&#x2F;&#x2F;a16z.com&#x2F;why-software-is-eating-the-world&#x2F;" rel="nofollow">https:&#x2F;&#x2F;a16z.com&#x2F;why-software-is-eating-the-world&#x2F;</a><p>&quot;But this is Day 1 for the Internet and, if we execute well, for Amazon.com.&quot;<p><a href="https:&#x2F;&#x2F;www.aboutamazon.com&#x2F;news&#x2F;company-news&#x2F;amazons-original-1997-letter-to-shareholders" rel="nofollow">https:&#x2F;&#x2F;www.aboutamazon.com&#x2F;news&#x2F;company-news&#x2F;amazons-origin...</a>
0x7f14 个月前
Just wrote a blog about the explosion of papers titled after Attention Is All You Need [1]. Also figured out the name probably didn’t originate from one of the authors.<p>[1]<a href="https:&#x2F;&#x2F;open.substack.com&#x2F;pub&#x2F;0x7f1&#x2F;p&#x2F;is-all-you-need-is-all-you-need?r=h4ewo&amp;utm_medium=ios" rel="nofollow">https:&#x2F;&#x2F;open.substack.com&#x2F;pub&#x2F;0x7f1&#x2F;p&#x2F;is-all-you-need-is-all...</a>
AdieuToLogic4 个月前
Here&#x27;s another foundational paper:<p>Hewitt, Carl; Bishop, Peter; Steiger, Richard (1973). &quot;A Universal Modular Actor Formalism for Artificial Intelligence&quot;. IJCAI.<p><a href="https:&#x2F;&#x2F;www.ijcai.org&#x2F;Proceedings&#x2F;73&#x2F;Papers&#x2F;027B.pdf" rel="nofollow">https:&#x2F;&#x2F;www.ijcai.org&#x2F;Proceedings&#x2F;73&#x2F;Papers&#x2F;027B.pdf</a>
high_na_euv4 个月前
&gt;Go To Statement Considered Harmful” (1968) – Edsger Dijkstra<p>This is outdated and does not apply to modern goto.<p>It is often misunderstood which causes people to avoid goto even when it is very valid, even better than alternatives solution
评论 #42802412 未加载
评论 #42802338 未加载
amirhirsch4 个月前
Definitely missing from this list:<p>J. Cooley and J. Tukey, “An Algorithm for the Machine Calculation of Complex Fourier Series,” 1965
kriro4 个月前
Solid list. Two that influenced me personally were:<p>Wolpert, D. H., &amp; Macready, W. G. (1997). No free lunch theorems for optimization. IEEE transactions on evolutionary computation, 1(1), 67-82.<p>And the corresponding search paper. Got me started in search and optimization (and Prolog).<p>Licklider, J. C. (1960). Man-computer symbiosis. IRE transactions on human factors in electronics, (1), 4-11.<p>More of a philosophical outlook but the thought of man-computer symbiosis instead of &quot;computer solves it&quot; has stuck with me (and is quite relevant in this day and age).
selcuka4 个月前
I would also add J. Ziv and A. Lempel, &quot;A Universal Algorithm for Sequential Data Compression&quot;, 1977 [1]. LZ (Lempel-Ziv) is the foundation of many data compression algorithms that are still in use today.<p>[1] <a href="https:&#x2F;&#x2F;courses.cs.duke.edu&#x2F;spring03&#x2F;cps296.5&#x2F;papers&#x2F;ziv_lempel_1977_universal_algorithm.pdf" rel="nofollow">https:&#x2F;&#x2F;courses.cs.duke.edu&#x2F;spring03&#x2F;cps296.5&#x2F;papers&#x2F;ziv_lem...</a>
Upvoter334 个月前
Love this, agree w&#x2F; all.<p>Probably just needs to be a bigger list.<p>Unix paper.<p>Hinton on deep learning (pick one).<p>Map Reduce + GFS from Google.<p>Paxos from dist systems.<p>PGP paper; RSA paper
评论 #42800436 未加载
评论 #42801075 未加载
评论 #42802674 未加载
FranchuFranchu4 个月前
It would be interesting to see the opposite of this; which papers are really interesting and look useful, but did not end up having a significant impact?
评论 #42800308 未加载
评论 #42800831 未加载
评论 #42803565 未加载
rcpt4 个月前
I think AlexNet was more influential than Attention is All You Need
评论 #42801765 未加载
lvl1554 个月前
I read Shannon’s paper every year and it gives me new insights every single time. It transcends computer science. And Claude was one of the coolest “nerds” I’ve met.
anthk4 个月前
<a href="http:&#x2F;&#x2F;www-formal.stanford.edu&#x2F;jmc&#x2F;recursive.html" rel="nofollow">http:&#x2F;&#x2F;www-formal.stanford.edu&#x2F;jmc&#x2F;recursive.html</a><p><a href="https:&#x2F;&#x2F;paulgraham.com&#x2F;rootsoflisp.html" rel="nofollow">https:&#x2F;&#x2F;paulgraham.com&#x2F;rootsoflisp.html</a><p>This is the arch-rival of Unix+C, and also one of his best CS friends (GNU Emacs it&#x27;s still there, and it was widely used on Unixen, among reusing GNU (Unix clone) tools).
jldugger4 个月前
If this is up your alley, Ideas That Created the Future[1] has like 40 more, decent introductions to their ideas, and provides a sort of thematic throughline from Aristotle to the modern computer science.<p>[1]: <a href="https:&#x2F;&#x2F;mitpress.mit.edu&#x2F;9780262045308&#x2F;ideas-that-created-the-future&#x2F;" rel="nofollow">https:&#x2F;&#x2F;mitpress.mit.edu&#x2F;9780262045308&#x2F;ideas-that-created-th...</a>
ripe4 个月前
Ivan Sutherland&#x27;s 1963 PhD thesis really was seminal for the graphical user interface.<p>&quot;Sketchpad: A Man-machine Graphical Communication System.&quot;
baq4 个月前
The Part-Time Parliament by Leslie Lamport, written in such a style it is its own complementary material. (This is the Paxos paper.)
评论 #42802881 未加载
hanche4 个月前
I guess if we all add our favourite papers, we’ll end up with a very long list indeed. My own additions: As we may think by Vannevar Bush, and then something on Project Xanadu. There doesn’t seem to be any foundational paper on the latter, but there is Ted Nelson’s book Literary Machines.
wslh4 个月前
I wonder how someone could make such a list and completely ignore cryptography. No, it is not enough to mention NP-completeness.
评论 #42804185 未加载
评论 #42800545 未加载
generationP4 个月前
For pratical purposes, perhaps this:<p>Andrew Tridgell and Paul Mackerras, <i>The rsync algorithm</i>, June 1996, <a href="https:&#x2F;&#x2F;www.andrew.cmu.edu&#x2F;course&#x2F;15-749&#x2F;READINGS&#x2F;required&#x2F;cas&#x2F;tridgell96.pdf" rel="nofollow">https:&#x2F;&#x2F;www.andrew.cmu.edu&#x2F;course&#x2F;15-749&#x2F;READINGS&#x2F;required&#x2F;c...</a>
654 个月前
Surprised the Bitcoin paper isn&#x27;t on here.
评论 #42803092 未加载
评论 #42800263 未加载
dtaht4 个月前
I´m pretty fond of ¨Ending the anomaly¨: <a href="https:&#x2F;&#x2F;www.usenix.org&#x2F;system&#x2F;files&#x2F;conference&#x2F;atc17&#x2F;atc17-hoiland-jorgensen.pdf" rel="nofollow">https:&#x2F;&#x2F;www.usenix.org&#x2F;system&#x2F;files&#x2F;conference&#x2F;atc17&#x2F;atc17-h...</a>
loph4 个月前
Ken Thompson&#x27;s talk (later a paper) &quot;reflections on trusting trust.&quot;<p><a href="https:&#x2F;&#x2F;dl.acm.org&#x2F;doi&#x2F;pdf&#x2F;10.1145&#x2F;358198.358210" rel="nofollow">https:&#x2F;&#x2F;dl.acm.org&#x2F;doi&#x2F;pdf&#x2F;10.1145&#x2F;358198.358210</a>
ahartmetz4 个月前
Especially the Codd paper (what if Codd had died in World War 2?) makes me wonder: What are the non-obvious (kind of arbitrary even) yet extremely helpful concepts that no one has thought of or that didn&#x27;t find the resonance that they should have?
评论 #42803281 未加载
jmgimeno4 个月前
&quot;The UNIX TimeSharing System&quot;, by Dennis M. Ritchie and Ken Thompson.
sho_hn4 个月前
Nice list!<p>I would add &quot;On the Criteria to Be Used in Decomposing Systems into Modules&quot; (1972, ~7800 citations) by Parnas, though more software engineering than computer science in a strict sense.
lccerina4 个月前
Not a single woman? No Barbara Liskov - Programming with abstract data types? No Grace Hopper - The education of a computer? No Frances Allen - Program optimization?
评论 #42803258 未加载
评论 #42803459 未加载
评论 #42804068 未加载
mianos4 个月前
I went with some cynicism. But completely wrong. These are it. Most every one recognisable as the root of many things we do.
评论 #42799711 未加载
pasttense014 个月前
Nothing earlier than 1936? For example George Boole&#x27;s boolean arithmetic or Charles Babbage&#x27;s computers?
ggm4 个月前
Louis Pouzin&#x27;s work underpins&#x2F;predates much of Cerf&#x2F;Kahn.<p>I think the also ran list should be in the main list.
turingbook4 个月前
See also the book or the course by Harry R. Lewis at Harvard:<p>- Ideas That Created the Future <a href="https:&#x2F;&#x2F;www.amazon.com&#x2F;Ideas-That-Created-Future-Computer&#x2F;dp&#x2F;0262045303" rel="nofollow">https:&#x2F;&#x2F;www.amazon.com&#x2F;Ideas-That-Created-Future-Computer&#x2F;dp...</a><p>- &quot;Classics of CS&quot; <a href="https:&#x2F;&#x2F;canvas.harvard.edu&#x2F;courses&#x2F;34992&#x2F;assignments&#x2F;syllabus" rel="nofollow">https:&#x2F;&#x2F;canvas.harvard.edu&#x2F;courses&#x2F;34992&#x2F;assignments&#x2F;syllabu...</a>
daitangio4 个月前
I suggest to add at least Hoare CSP and something about quick sort
评论 #42802197 未加载
igtztorrero4 个月前
Please add Satoshi Nakamoto, for Bitcoin and the money revolution
评论 #42802347 未加载
jdougan4 个月前
J.C.R. Licklider, &quot;Man-Computer Symbiosis&quot; from 1960.
anthk4 个月前
Lambda calculus and Lisp are missing.
badgersnake4 个月前
I thought we were going to get through without any LLM bullshit, but no, they snuck it in at the end.
评论 #42804091 未加载