30

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
[-] dr2chase@ohai.social 4 points 1 year ago

@datarama @corbin The Go compiler requires reproducible builds based on a small set of well-defined inputs, if the LLM cannot give the same answer for the same question each time it is asked, then it is not compatible with use in the Go compiler. This includes optimizations -- the bits should be identical. #golang

[-] Evinceo@awful.systems 5 points 1 year ago

This reads like a PCJ comment, bravo. I'll do one for rust:

If an LLM cannot insult the user for having the tremerity to try and compile code, it's not compatible for use with the Rust compiler.

[-] dr2chase@ohai.social 2 points 1 year ago

@Evinceo PCJ? And (lack of) reproducibility really would be a problem for Go, the LLM would need to expose all its random seeds and not have any run-to-run varying algorithms within it. This is not a joke or snark, the bits have to match on recompilation.

[-] Evinceo@awful.systems 4 points 1 year ago

PCJ -> Programming Circlejerk.

I was wasn't expecting a serious treatment of this very silly idea, my mistake. I submit that it would cause enough difficult to diagnose bugs while just messing with it that you would never get into 'but are the builds reproducible' territory.

[-] dr2chase@ohai.social 2 points 1 year ago

@Evinceo there's code generation, and there's optimization decisions. Optimization problems often have the property that their correctness is easily checked, but choosing the best one is hard. Register allocation is the easy-to-understand example -- if modeled as graph coloring, an incorrectly colored graph is trivial to detect.

So, sadly, not silly enough.

load more comments (5 replies)
this post was submitted on 29 Oct 2023
30 points (100.0% liked)

SneerClub

983 readers
35 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 1 year ago
MODERATORS