Tuesday, January 21, 2025

Show HN: SupGen, an model-free program synthesizer by examples / dependent types https://ift.tt/xtbYiCq

Show HN: SupGen, an model-free program synthesizer by examples / dependent types https://www.youtube.com/watch?v=bEP88ucXga January 21, 2025 at 12:33AM

No comments:

Post a Comment

Show HN: Pocket2Linkding – Migrate from Mozilla Pocket to Linkding https://ift.tt/IwYJfju

Show HN: Pocket2Linkding – Migrate from Mozilla Pocket to Linkding With the Mozilla Pocket shutdown coming up in about two weeks, I thought ...