Viewing profile — cpatuzzo

I tried to write a programming language that compiles to SAT many years ago: https://sentient-lang.org/

A software implementation of Lee Sallows' Pangram Machine from his paper 'In Quest of Pangram'.

It's one thing to apologise, but there was no talk in the article about measures they're taking to prevent this happening again. I sincerely hope they're scrambling internally to p…

Hey everyone, I'm really flattered by everyone's interest in the language. I had no expectation of that when I worked on it. I'm happy to try and answer questions, though my memory…

>Neat, but not the most illuminating introductory demo. Agreed. It was the first one I made so it just happened to become the homepage. It'd probably be better served by one of the…

It's returning the empty set. You can click on the grid to cycle through some of the solutions. Also, there's an easter egg hidden in this example.