Monday, January 20, 2025

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

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
-
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Show HN: Gat – Version large files with Git, without an LFS server https://ift.tt/Nl4r1Fo

Show HN: Gat – Version large files with Git, without an LFS server Hi HN, I built Gat because I wanted one thing from data versioning: check...