Here's an error message from when I went and broke the program deliberately: aotearoa-exe: src/Lib.hs:(181,1)-(192,47): Non-exhaustive patterns in function deobfuscate Imagine a contract or legislative IDE giving you a similar warning: you left a major scenario unaddressed!
-
-
So far I've blurted out a great deal of techno-enthusiasm. But what does this mean for society, for users, for customers, for citizens? Once there exists source code for laws and contracts, there will be a proper Github for legal. Not just PDFs and .docx – those are warez.
1 reply 1 retweet 6 likes -
Once you can download the source code of legislation and run it, you can see how laws – current and proposed – affect you, your neighbours, your constituents, your society. You can write unit tests. How might a change in the law help or hurt certain segments of the population?
3 replies 4 retweets 9 likes -
In fact, a smart contract could automatically adjust its behaviour according to the constraints imposed by relevant legislation and regulations. That's a key building block in the
@mattereum vision for an Internet of Agreements, the@xalgorithms vision for an Internet of Rules.4 replies 3 retweets 6 likes -
Smart legislation can also forward chain - references in plurilateral/multilateral legislation (e.g. trade agreement) can point to the nationally ratified equivalent + any other rules. This can help to solve what is referred to as the "spaghetti bowl" of international agmts.
1 reply 2 retweets 5 likes -
Replying to @craigaatkinson @mengwong and
Could you expand on what you mean by "smart legislation" & "forward chain"? Is the idea that the international treaty wld somehow refer to the national legislation that implements it? In what sense wld the national legislation be "smart" & how does that relate to refs to treaty??
3 replies 0 retweets 2 likes -
Replying to @mattwadd @craigaatkinson and
Connected maybe? By the by, I wrote a paper on the complicated mess of multilateralism and how that intersects with domestic legislation a few years back. Never published though, because Brexit happened...it is a constant shifting sand. Legislation as code is perfect for it.
3 replies 1 retweet 5 likes -
Replying to @BrigetteMetzler @mattwadd and
Maybe if we think of data as ‘things’ we will get better at linkdata... While we think of data purely as information we miss the ability to connect & embody it into reality. Ie: Thomas was alone...
2 replies 0 retweets 5 likes -
Replying to @craigthomler @mattwadd and
I had to pause and understand what you meant (wait, you mean people don't think of data as things?), but now I think you've hit the nail on the head.
1 reply 0 retweets 2 likes -
Replying to @BrigetteMetzler @craigthomler and
Yes, and data standards allow for the things to be organized and functional (for the purposes of execution).
1 reply 0 retweets 1 like
Right! We are continuing to make great progress with http://models.accordproject.org if people are looking for a modern/lightweight schema language and runtime. Apache2 under the @linuxfoundation
-
-
Replying to @danielselman @craigaatkinson and
this is lovely to see. However - if I ask 'what's the problem we're trying to solve?', it's not actually that we don't have standards. It is that we have data that don't align. Those datasets are driven by gov. They need gov standards or linksets gov will use. HMW achieve that?
2 replies 0 retweets 1 like -
Replying to @BrigetteMetzler @craigaatkinson and
The problem is 90% human, but our current schema languages don’t make it easy to publish and reuse/extend business schema. Concerto allows anyone to publish a schema to a URL where it can then be imported or extended by others.
1 reply 0 retweets 0 likes - 15 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.