Discovering algorithms by enumerating terms in Haskell

Re:Discovering algorithms by enumerating terms in Haskell by 082349872349872 on Saturday August 03, 2024 @02:58PM (#41148479)

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?

[ Parent | on HN ]

Re:Discovering algorithms by enumerating terms in Haskell by pbib on Saturday August 03, 2024 @03:26PM (#41148655)

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...

[ Parent | on HN ]

Re:Discovering algorithms by enumerating terms in Haskell by 082349872349872 on Saturday August 03, 2024 @03:39PM (#41148719)

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

[ Parent | on HN ]