SneerClub

1012 readers

1 users here now

Hurling ordure at the TREACLES, especially those closely related to LessWrong.

AI-Industrial-Complex grift is fine as long as it sufficiently relates to the AI doom from the TREACLES. (Though TechTakes may be more suitable.)

This is sneer club, not debate club. Unless it's amusing debate.

[Especially don't debate the race scientists, if any sneak in - we ban and delete them as unsuitable for the server.]

founded 2 years ago

MODERATORS

[email protected]

Big Yud and the Methods of Compilation (nitter.net)

submitted 1 year ago by [email protected] to c/[email protected]

58 comments fedilink hide all child comments

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

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 5 points 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.