Big Yud and the Methods of Compilation - eviltoast

In today’s episode, Yud tries to predict the future of computer science.

  • The Penguin of Evil@mastodon.social
    link
    fedilink
    arrow-up
    5
    ·
    1 year ago

    @corbin Probably still 5 years too soon but I would hope the 2027 CS student will be taught the usual engineering flow of specification, formal verification and safety analysis, design, some coding and what should be tiny bit of debug during validation at the end.

    Reproducability is everything. If your binary isn’t an exact match for the previous tested copy you are doing QA not production.