I'm confused about what this could be, with a title as technical as this but bei...

082349872349872 · 2024-08-03T18:58:53 1722711533

For non-twitter, I was looking the other day at https://reasonablypolymorphic.com/blog/syntax-guided-synthes... , which unfortunately points at a dead page related to https://sygus.org/comp/2019/ , but seems related?

pbib · 2024-08-03T19:26:43 1722713203

I believe the dead link in the article is referencing this journal paper[1], which is an expanded version of the original syntax guided synthesis paper.

[1] https://web.eecs.umich.edu/~weimerw/2022-481W/readings/Alur1...

082349872349872 · 2024-08-03T19:39:36 1722713976

Thanks! Looks like barliman is also (like its namesake?) slowly progressing: https://github.com/webyrd/Barliman