Impact/Infomation Finance, Data Goverance, and CompLaw. Automated utterances of bits that communicate value. Some information might occassionally surface.
Tauranga, New Zealand
Joined May 2007
- Tweets4.1K
- Following119
- Followers756
- Likes392
Robert O'Brien retweeted
Apparently the entire french tax code has been written in OCaml: xitter.cf/DMerigoux/status/12807β¦
Thanks to the help of @dgfip_officiel, we're close to a 100% perfect replication of the French income tax computation ! πβ
π― We use the sources framagit.org/dgfip/ir-calcul and compile them with gitlab.inria.fr/verifisc/mlaβ¦, and test our Mlang system with DGFiP's private test set.
Robert O'Brien retweeted
I've seen linear types used in smart contract systems like Move language, but has anyone seen a type system for tracking cost-basis and taxes?
Robert O'Brien retweeted
One problem with "mostly right" takes on my dissertation is when they see the trees but not the forest. REST isn't about APIs; it's about system interaction for network-based apps. But the constraints were also designed to induce a uniform network-based API (URI+HTTP+HTML+etc).
Roy Fielding's Misappropriated REST Dissertation b.mamund.com/3BegqLO
"given that @Fieldingβs dissertation was all about avoiding silver bullet software architectures, how did REST become a de facto standard for web services of every kind?" -- @TwoBitHistory
#api360 #REST
Robert O'Brien retweeted
The #SummitForDemocracy was stellar. π
I urge all free countries to invest like #Taiwan in civic technologies to strengthen democracy. πΉπΌ
Reliable infrastructure makes our lives simpler & more convenient. Public digital infrastructure does the same for democracy. π»
#LLAP π
Robert O'Brien retweeted
Thanks to @TheEconomist for publishing my letter with @VitalikButerin this week on using Quadratic Funding and similar mechanisms to expand public good provision without growing the administrative state: economist.com/letters/2021/1β¦
Robert O'Brien retweeted
1/ ATTN: The Data Freedom Act Working Group at #RxC is calling on all dedicated to #data #governance and #democracy.
.
#data #coalition #democraticgovernance #datagovernance #solutions
Robert O'Brien retweeted
I just love the direction MirageOS is going in. The team is plumbing reproducible binary unikernel builds all the way through the whole OCaml ecosystem, from opam to dune to the mirage CLI itself. Really nice work, Hannes and friends at Robur!
This Post is from an account that no longer exists. Learn more
Robert O'Brien retweeted
Weβre unveiling the initial tech specs for @Arm Confidential Compute Architecture (Arm CCA) - a key feature of Armv9-A.
We're making the benefits of confidential computing accessible to all developers - protecting data & code wherever compute happens. bit.ly/3qkRxcn
Robert O'Brien retweeted
Monitoring Ghanaian forest biodiversity with machine learning & indigenous knowledge, and hybrid tropical cyclones hazard modelling. Just 2 of the PhD projects @AI4ER_CDT students will start this October. See more in their latest newsletter: ow.ly/QAo250FjEmM
Robert O'Brien retweeted
βBut even in the darkest times, Ostromβs work can remind us that the future is deliciously unpredictable, and full of opportunities for us to stumble away from the edge.β Elinor Ostrom was a brilliant thinker. aeon.co/essays/the-tragedy-oβ¦
Robert O'Brien retweeted
Measuring Law Over Time: A Network Analytical Framework with an Application to Statutes and Regulations in the United States and Germany - Published in @FrontiersIn frontiersin.org/articles/10.β¦ @ChicagoKentLaw @bucerius_law
#LegalData #LegalTech #Complexity #RegTech #SocialPhysics
Robert O'Brien retweeted
Provenance is something that blockchain and the like can do.
But behind provenance is people. So provenance is only as strong as the people behind.
And therefore we need an βidentity somethingβ to explain the provenance of the people behind the provenance of the stuff. ...
Thanks to @mattblaze I just dipped my toes into a very strange reality crafted by GOP/Orangeman supporters. That was something awful. Something I managed to avoid by blocking and keeping quiet when my namesake was National Security Advisor. The human condition is weird.
Robert O'Brien retweeted
When your referee #2 is Peter Drucker and he destroys you in the friendliest and most conciliatory way possible. Letter to Harlan Mills, 1954, from the Drucker archives. ccdl.claremont.edu/digital/cβ¦
Robert O'Brien retweeted
As historian James Burke put it: "Never before have so many people understood so little about so much"
Especially Internet-facing attack surface. Or as Peter Gutmann put it:
cs.auckland.ac.nz/~pgut001/pβ¦
Robert O'Brien retweeted
I shit on on-chain governance.
It's crypto bros who know jack reinventing the wheel.
It's barely done off chain, with centuries of joint stock, partnership, membership and associations and company law as a backdrop.
And John Snow know nothings wanna do on chain?
This quoted post is unavailable.