cpatuzzo

6 ms·

1.
by cpatuzzo 1y ago
I tried to write a programming language that compiles to SAT many years ago: https://sentient-lang.org/
2.
Pangram Machine(github.com)
1 points by cpatuzzo 2y ago|1 comments
3.
by cpatuzzo 2y ago
A software implementation of Lee Sallows' Pangram Machine from his paper 'In Quest of Pangram'.
4.
by cpatuzzo 5y ago
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 put some safeguards in place. Yes, it's b
5.
GameDev Notes 1: Taking the Plunge(tuzz.tech)
3 points by cpatuzzo 6y ago|0 comments
6.
A Snake Egg Puzzle Solver(github.com)
2 points by cpatuzzo 7y ago|0 comments
7.
Pair Programming in Sentient(tuzz.tech)
3 points by cpatuzzo 7y ago|0 comments
8.
Grappling with Infinity in Constraint Solvers(tuzz.tech)
62 points by cpatuzzo 7y ago|5 comments
9.
Building a Commentary Sidebar in React(tuzz.tech)
8 points by cpatuzzo 7y ago|0 comments
10.
Searching for Palindromic Superpermutations(tuzz.tech)
9 points by cpatuzzo 7y ago|0 comments
11.
How Bash Completion Works(tuzz.tech)
299 points by cpatuzzo 7y ago|47 comments
12.
by cpatuzzo 7y ago
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's a bit fuzzy now. I think the reason f
13.
by cpatuzzo 7y ago
>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 others. >I still don't see how/where i
14.
by cpatuzzo 7y ago
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.
15.
Solving the GCHQ Christmas Puzzle with Sentient(makercasts.org)
3 points by cpatuzzo 10y ago|0 comments
16.
Reducing Boolean Satisfiability to the Witness(makercasts.org)
1 points by cpatuzzo 10y ago|0 comments
17.
Three-Colour Numbers(tuzz.github.io)
1 points by cpatuzzo 11y ago|0 comments