News for hackers. Stuff that matters.

A comment on Discovering algorithms by enumerating terms in Haskell. Parent comment

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 ]