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

科技回声

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

GitHubTwitter

首页

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

资源链接

HackerNews API原版 HackerNewsNext.js

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

What's worked in Computer Science: 1999 vs. 2015 (2015)

159 点作者 not_a_boat大约 1 年前

21 条评论

stevefan1999大约 1 年前
I would like to suggest that the classical taxonomy of RISC&#x2F;CISC dichotomy is basically non-existent nowadays -- namely because both sides have influenced each other. It is well known that CISC has taken a lot of inspirations from RISC designs (such as having a lot more registers in x64), and RISC designs also taken some inspirations from CISC (such as having SIMD&#x2F;vectorization units). In other words, the line between RISC and CISC has been very fine lately.<p>Also, at the end of the day, they all turned into μops. If I remember Jim Keller correctly, ARM and x86, they are basically the same in the back nowadays, its just the frontend and their decoding units are different. And that&#x27;s why he strongly suggested AMD to also adapt Zen design with ARM ISA during his tenure there, oh I think it is called K12.<p>I think there is another blurry line between superscalar and VLIW architecture, too.
评论 #39718685 未加载
评论 #39720357 未加载
评论 #39722416 未加载
评论 #39762941 未加载
评论 #39720020 未加载
评论 #39721448 未加载
评论 #39739730 未加载
评论 #39718964 未加载
silvestrov大约 1 年前
I&#x27;d say that &quot;<i>pure</i> Functional programming&quot; has become a no.<p>But &quot;Functional programming approach&quot; has been subsumed into existing programming languages, e.g. records in Java. You get most of the benefit of FP while keeping all of the other good stuf from an imperative language.
评论 #39720242 未加载
评论 #39718887 未加载
评论 #39719272 未加载
评论 #39727981 未加载
评论 #39719514 未加载
oconnor663大约 1 年前
&gt; Lampson further remarks that to do parallel programming, what you need to do is put all your parallelism into a little box and then have a wizard go write the code in that box. Not much has changed since 2009.<p>I would like to see a reevaluation of this take with respect to Rust. When we&#x27;re talking about Rust&#x27;s safety features, we usually focus on memory safety, because that has the biggest impact on security. But there are lots of memory safe languages, and I think it&#x27;s actually Rust&#x27;s thread safety features that are the most unique. (Lots of shared type system machinery between both sets of features.)
ipython大约 1 年前
Fascinating about how ARM has made tremendous strides in the “high end” market since 2015. I would argue that I would categorize RISC as a “yes” with its absolute dominance on mobile and now moving into data center not to mention all the embedded use cases.
评论 #39718435 未加载
评论 #39719413 未加载
评论 #39719363 未加载
sampo大约 1 年前
&gt; Fancy type systems<p>We are taking steps to this direction. By adding optional typing to dynamic languages Python and JavaScript&#x2F;TypeScript. And then type checker tools and local programming style guides are making using these maybe less optional, and more mandatory.
评论 #39720070 未加载
评论 #39718358 未加载
评论 #39720177 未加载
评论 #39727738 未加载
tptacek大约 1 年前
Good &#x27;jcranmer on the RISC-CISC thing:<p><a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=39481940">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=39481940</a>
评论 #39733768 未加载
jayd16大约 1 年前
I guess from some sense, all web apps and all GUI apps using the GPU are using parallelism. That&#x27;s almost everything. Those are both leveraging shared-nothing type architectures so you can think in a single thread and apply it to concurrent work loads for parallelism.<p>Does that not count? What would satisfy this category?
评论 #39723499 未加载
keybored大约 1 年前
<p><pre><code> Yes Maybe Firefox Reader Mode CSS</code></pre>
评论 #39719708 未加载
IshKebab大约 1 年前
Interesting how much has changed since 2015. Apple&#x27;s M chips have made RISC is a clear yes now. Rust has a pretty fancy type system. Not Haskell-fancy but still. Functional programming is pretty much an expected feature now.
评论 #39718828 未加载
评论 #39727765 未加载
devjab大约 1 年前
The phone networks and basic infrastructure for the internet in many countries wouldn’t work without Erlang. Which is functional… but maybe that doesn’t count?
评论 #39718736 未加载
simne大约 1 年前
&gt; That Intel ceded the low end of the market might seem ironic considering Intel&#x27;s origins, but they&#x27;ve always been aggressive about moving upmarket<p>Will see. Intel after 2023 is not like before 2023, when it lost its dominance to AMD and partially to Nvidia and ARM (Apple-M2).<p>Now lowest end CPUs become RISC-V and ARM pushing to become one of leaders.<p>x86 is strong, but who knows, how long it could dominate under pressure.<p>And if we count not desktops but all personal devices, ARM is already won (on just smartphones, now more ARM CPUs than people on Earth, and Data Centers share of ARM CPUs growing).<p>Only one final thing I could copypaste from &quot;X-files&quot; - &quot;truth is out of there&quot;.
评论 #39722756 未加载
skybrian大约 1 年前
Fancy type systems have come a long way since then. (TypeScript, for example.)
评论 #39718639 未加载
blt大约 1 年前
The link to &quot;Microsoft&#x27;s driver verification tool&quot;, which &quot;has probably had more impact than all formal chip design tools combined&quot;, is broken. Does anyone know which tool this meant?
评论 #39718207 未加载
评论 #39718173 未加载
dang大约 1 年前
Related:<p><i>What&#x27;s worked in Computer Science (2015)</i> - <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=15796515">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=15796515</a> - Nov 2017 (62 comments)<p><i>What&#x27;s Worked in Computer Science</i> - <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10623600">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10623600</a> - Nov 2015 (63 comments)
hosh大约 1 年前
Do GPUs and TPUs for AI count towards parallelism?
评论 #39719445 未加载
评论 #39718527 未加载
aleign大约 1 年前
What is &quot;capabilities&quot; supposed to mean?
评论 #39718246 未加载
评论 #39726529 未加载
评论 #39720504 未加载
Byamarro大约 1 年前
&quot;Fancy type systems&quot; What about TypeScript? I&#x27;ve literally implemented snake game using types alone, it&#x27;s quite powerful.
xorvoid大约 1 年前
Fancy Type Systems is indeed vague, but I’d disagree with No in 2024. They are slowly winning. Definitely a Maybe to a Yes. E.g. Rust is hugely popular&#x2F;successful and has brought a much more sophisticated type system to system programming.
Legend2440大约 1 年前
Neural networks:<p>1999 - No<p>2015 - Not really<p>2024 - Yes?
评论 #39719397 未加载
Divver大约 1 年前
I wish this was updated for 2024<p>His RISC being “No” most would agree is somewhat incorrect though it seemed correct back in 2015.<p>But it kinda goes to show how these yes&#x2F;maybe&#x2F;no things can evolve unexpectedly over time and not be to taken as gospel that will stand the test of time.
sys_64738大约 1 年前
Formal Methods was for people who didn&#x27;t want to write any code.
评论 #39718649 未加载