~lobsters | Bookmarks (4)
-
Planner programming blows my mind
Picat is a research language intended to combine logic programming, imperative programming, and constraint solving. I...
-
An RNG that runs in your brain
Humans are notoriously bad at coming up with random numbers. I wanted to be able to...
-
The World and the Machine
This is just a way of thinking about formal specification that I find really useful. The...