On: No signs of AI payoff outside the tech sector

If only there were a law compiler that could tell you if your legal argument was valid.

People have tried that for parts of the law that are very objective, like tax law. Hammurabi was one such project:

https://mpoulshock.github.io/hammurabi/

Here I was thinking this meant the DEC originated text game

catala lang?