Generating self-enumerating pangrams with constraint solving on the Web
Show HN: Generating self-enumerating pangrams with constraint solving on the Web
Generating self-enumerating pangrams with constraint solving on the Web operates in show hn launch.
Profile
Through taking the excellent CSE 507 class at UW (Solver Aided Programming) I learned about Rosette, a Racket-based programming system that interfaces with SAT/SMT solvers.I applied Rosette to the problem of generating autogramic pangrams, aka self-enumerating pangrams: sentences that contain every letter of the alphabet AND describe themselves.The front end (NextJS/Vercel) passes constraints to a Dockerized Rosette program hosted on Cloud Run.Feedback and comments welcome! And Happy New Year!
As a business in show hn launch, Generating self-enumerating pangrams with constraint solving on the Web is listed here with the public details available about it.
It is recorded at the Show HN launch stage.
| Sector | Show HN launch |
|---|---|
| Stage | Show HN launch |
Website: www.autogramgenerator.com
Browse related
Create a free account