Recent comments in /f/singularity

ezelikman t1_j6kkch1 wrote

Here's another slightly longer TL;DR:

Humans solve hard problems by them down into parts and solving them part by part. We normally ask language models to solve algorithmic problems in one go (or if they revise their solutions, we expect them to revise everything). This has been known to be a problem for a while. It turns out, maybe unsurprisingly, that by asking language models to break problems down and then implementing subparts independently, we get way better results.

We do this by writing a programming language (basically, English with indentation plus a small amount of syntax for tests and references). We design an LLM-powered compiler around it to generate programs efficiently. We show it works on solving competitive coding problems, robotic task planning, and math theorem proving. We also show that it's decently robust - able to implement a bare-bones lisp compiler in a few dozen lines.

6

fjaoaoaoao t1_j6kitys wrote

I don’t think this is the approach to take. There’s so many possibilities of what could happen and how it could impact workers. Additionally, college is just college; while your major will impact your career significantly, it’s very common to change paths in your life.

That being said it’s good to stay abreast of more immediate trends and make smaller career adjustments based on that.

If you really want an answer to your OG question though, some form of entrepreneur will always be around ;)

1

ezelikman t1_j6kib8v wrote

>having a compiler LM that can reliably convert Parcel ( or something simmilar ) to actual code would be a massive win. Imagine coding in natural language psudocode

We made this available here!: https://github.com/ezelikman/parsel

And there's a notebook here: https://colab.research.google.com/github/ezelikman/parsel/blob/main/parsel.ipynb

Hopefully, there'll be a nicer IDE integration at some point in the nearish future!

3