Top all-time · #12319
Alex Polozov
Personal blog · alexpolozov.com/blogaiprogramming
Alex Polozov's personal blog at alexpolozov.com covers ai and programming. Since 2018, 6 different Hacker News readers have linked it 6 times, most often “Program Synthesis in 2017-18”. It is still writing: the last post was on 2025-11-06, and you can follow it by feed.
Too few sampled comments (3) to say how often HN recommends it.?
Why HN links it
HN readers link this 2018 program synthesis post as an overview of the field and a starting point, and it points to a survey of further references. Commenters also cite its summaries as background.
Summarised by Claude from a sample of 3 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Alex Polozov is a researcher in AI for software engineering and program synthesis.
Most-linked posts?
- Program Synthesis in 2017-185 people · 5 mentions · first linked 2018-07-17
What Hacker News says?
Hi,this blog post is a good starting point: https://alexpolozov.com/blog/program-synthesis-2018/ Among other documents, it links to this extensive survey: https://www.microsoft.com/en-us/research/wp-content/uploads/... All the best!
Comment linking /blog/program-synthesis-2018/
on “Modern SAT solvers: fast, neat and underused”Submitted Program Synthesis in 2017-18 as a story · 98 points
HN discussionIt's a very lively field. Lots of groups working on it. Last year, the big 3 PL conferences (PLDI, POPL, OOPSLA) all had tracks dedicated to it. A few years ago, Armando (my advisor and the professor of this course) taught a weekend seminar on the nitty-gritty internals of how his tool, Sketch, works ---- and had commercial users flying in. Most recent summaries off the top of my head: https://alexpolozov.com/blog/p…
Comment linking /blog/program-synthesis-2018/
on “Introduction To Program Synthesis (2018)”Submitted Program Synthesis in 2017-18 as a story · 3 points
HN discussionHere is a survey: https://alexpolozov.com/blog/program-synthesis-2018/
Comment linking /blog/program-synthesis-2018/
on “Ask HN: What's the Future of Program Synthesis?”Submitted Reflection as a story · 1 points
HN discussion