3 ms·
I'm confused about what this could be, with a title as technical as this but being posted somewhere with the signal:noise of Twitter, also where I can't view it
by treyd 2y ago
I'm confused about what this could be, with a title as technical as this but being posted somewhere with the signal:noise of Twitter, also where I can't view it.
- 082349872349872 2y agoFor non-twitter, I was looking the other day at https://reasonablypolymorphic.com/blog/syntax-guided-synthesis/index.html https://reasonablypolymorphic.com/blog/syntax-guided-synthes... , which unfortunately points at a dead page related to https://sygus.org/comp/2019/ https://sygus.org/comp/2019/ , but seems related?
- pbib 2y agoI 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/Alur13.pdf https://web.eecs.umich.edu/~weimerw/2022-481W/readings/Alur1...
- 082349872349872 2y agoThanks! Looks like barliman is also (like its namesake?) slowly progressing: https://github.com/webyrd/Barliman https://github.com/webyrd/Barliman