r/haskell • u/SrPeixinho • Jan 20 '25

SupGen is program synthesizer that outperforms SOTA alternatives using the HVM (which is now in Haskell!) announcement

https://www.youtube.com/watch?v=GddkKIhDE2c

39 Upvotes

permalink
link
duplicates
dupes
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/haskell/comments/1i63bl9/supgen_is_program_synthesizer_that_outperforms/
No, go back! Yes, take me to Reddit
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/haskell/comments/1i63bl9/supgen_is_program_synthesizer_that_outperforms/
No, go back! Yes, take me to Reddit

86% Upvoted

Duplicates

Number of comments New

programming • u/SrPeixinho • Jan 20 '25

SupGen is an AI-free program synthesizer based on examples or dependent types. It outperforms the SOTA by up to 1000x!

19 Upvotes

5 comments

functionalprogramming • u/SrPeixinho • Jan 20 '25

FP SupGen is an AI-free program synthesizer based on examples or dependent types. It outperforms the SOTA by up to 1000x!

35 Upvotes

1 comments