Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

CS294: Program Synthesis for Everyone

people.eecs.berkeley.edu

Post reply on HN
Print view View original

1–10 of 24 posts

Re: CS294: Program Synthesis for Everyone

#3

Post by tikhonj »

Oh hey, I actually took this class. Funny to see it linked on HN. It was easily the single most valuable class I took in undergrad.

There's definitely a lot of useful information there, but I'm not sure how well it's organized because the course website wasn't designed to stand on its own.

Re: CS294: Program Synthesis for Everyone

#4

Post by quantumtremor »

tikhonj wrote: post #3

Oh hey, I actually took this class. Funny to see it linked on HN. It was easily the single most valuable class I took in undergrad. There's definitely a lot of useful information there, but I'm not sure how well it's organized because the course website wasn't designed to stand on its own.

Unfortunately Ras Bodik is no longer at Berkeley, so it's unlikely it'll be offered again.

Re: CS294: Program Synthesis for Everyone

#8

Post by theoh »

echelon wrote: post #6

I'm not familiar with this discipline. What might this subject matter be used for? Is this related to ML in a broader sense?

It's about making tools that help with the structural aspects of generating code. It's not part of machine learning, but rather it's very much about symbolic/analytic/logical production of code based on a specification of some sort.
Post reply on HN