Hacker News Reader

IMO this is such an 'obvious' idea once you think about it that it will eventually happen.

The law will go from written natural language to executable computer programs (formal languages).

However a change of this mangnitude cannot happen quickly, (and might even be impossible to do peacefully).

Abusing the "software is eating the world" analogy, we ain't seen nothing yet. Software is just barely opening its mouth.

View on HN

There is no floating point representation for 'gross', 'egregious', or 'blatant'. At least not one that will be suitable in all cases.

Yes but you can do a what-if analysis based on the parameter $degree being equal to 'gross', 'egregious' or 'blatant'.

Right on. Consider whether forcing someone to unlock their smartphone should constitute compelled self-incrimination. This is a problem that US courts have flip-flopped on. [0] How would an SMT solver derive answer? It can't. You'd need a general AI.

Even ignoring the subtleties of the real world that the ̶l̶a̶w̶ edit legal system must cope with, nuts-and-bolts legal concepts like mens rea can't be mapped to algebraic expressions.

[0] https://arstechnica.com/tech-policy/2020/06/indiana-supreme-...

but the law is not the judge

Reply on news.ycombinator.com