What's worked in Computer Science: 1999 vs. 2015 (2015)
1–10 of 155 posts
Re: What's worked in Computer Science: 1999 vs. 2015 (2015)
#2The 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?
Re: What's worked in Computer Science: 1999 vs. 2015 (2015)
#3[deleted]
Re: What's worked in Computer Science: 1999 vs. 2015 (2015)
#4The link to "Microsoft's driver verification tool", which "has probably had more impact than all formal chip design tools combined", is broken. Does anyone know which tool this meant?
Re: What's worked in Computer Science: 1999 vs. 2015 (2015)
#5Fancy type systems have come a long way since then. (TypeScript, for example.)
Re: What's worked in Computer Science: 1999 vs. 2015 (2015)
#6Fascinating 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.
Re: What's worked in Computer Science: 1999 vs. 2015 (2015)
#7The link to "Microsoft's driver verification tool", which "has probably had more impact than all formal chip design tools combined", is broken. Does anyone know which tool this meant?
That link is archived here:
https://web.archive.org/web/20160416132849/http://research.m...
Re: What's worked in Computer Science: 1999 vs. 2015 (2015)
#8[deleted]
Re: What's worked in Computer Science: 1999 vs. 2015 (2015)
#9> Fancy type systems
We are taking steps to this direction. By adding optional typing to dynamic languages Python and JavaScript/TypeScript. And then type checker tools and local programming style guides are making using these maybe less optional, and more mandatory.
Re: What's worked in Computer Science: 1999 vs. 2015 (2015)
#10The link to "Microsoft's driver verification tool", which "has probably had more impact than all formal chip design tools combined", is broken. Does anyone know which tool this meant?
The document is still searchable: https://www.microsoft.com/en-us/research/wp-content/uploads/...