Closed almereyda closed 4 years ago
Keeping up with finitely scrollable GitHub issue pages, here comes this year's slice of the infamous link dump series. #30 #91 #172 #269 #312
@almereyda thanks for rolling it over to the new year!
How does this coalesce with our intuitions around conversations for action?
Very interesting thread, but I think not the same as CfA. CfA is a formalized protocol for coming to agreement (or explicitly failing to do so), and then following thru to performing and evaluating the agreed-upon actions. But it is only formalized for two agents. Doesn't work for more than two.
Would be interesting to try to formalize such a protocol between many people. Roberts Rules of Order might be a starting point. But might be too formal...
Keeping up with finitely scrollable GitHub issue pages, here comes this year's slice of the infamous link dump series. #30 #91 #172 #269 #312
Yes, thanks, we count on you to do it! :sweat_smile: Wow, first one in 2015, and here we are....
Did we know https://github.com/feramhq/transity#why-another-plain-text-accounting-tool already?
http://patterns.dataincubator.org/book/index.html via https://github.com/semantalytics/awesome-semantic-web also seems like a standing reference.
Did we know https://github.com/feramhq/transity#why-another-plain-text-accounting-tool already?
@almereyda I didn't, but it looks like it is basic REA, and could be easily represented in VF.
http://pospi.spadgos.com/2019/03/26/steps-toward-the-new-resource-economy/
(A report from the first Holochain intensive / unofficial ValueFlows festival.)
Bill McCarthy asks if anybody knows any of the people working on this project: https://otterserver.com/
(Which looks interesting...)
John Sowa's history of semantic languages, including RDF and its relatives: http://jfsowa.com/ikl/
Meta Content Framework (MCF) by R. V. Guha and Tim Bray in 1997. Guha had been an associate director of Cyc, where he implemented an early version of McCarthy’s theory of contexts for the Cyc microtheories. In 1995, Guha joined Apple, where he designed MCF as a simple subset of logic with a network representation. In 1997, he joined Netscape, where he collaborated with Bray to develop an XML-based version of MCF, which was later renamed RDF (Resource Description Framework).
Semantic web development, the original proposal submitted by Tim Berners-Lee in February 2000. Its central feature was the Semantic Web Logic Language (SWeLL) as a “unifying language for classical logic.” It proposed SWeLL as an “augmented language” designed to support “the power of KR systems.” As examples of the logics that SWeLL must support, the proposal cited KIF, KQML, Prolog, LOOM, semantic networks, higher-order logics, nonmonotonic logics, and context logics.
And lots of other historical goodies...
Digital Asset Open Sources its Smart Contract Language, DAML https://hub.digitalasset.com/hubfs/Press%20Releases/DAML_Open_Source_Press_Release_4.4.19.pdf
DAML is a functional programming language designed specifically for use in multi-party business processes, often referred to as smart contracts. DAML abstracts away the underlying complexities of blockchains and database technologies, allowing developers to focus on the logic of the applications they are building. This greatly reduces the time to market for new applications and allows for increased agility.
https://w3c.social/@hadleybeeman/101886808447077971
From July, #NHSX will mandate internationally recognised technology & data standards across the NHS—so that all systems can talk to each other. Every project developed in the NHS will be released as #opensource When starting a new digital project, NHS suppliers & commissioning orgs will have to show #NHSX that they meet these standards to get their funds.
Kanngieser, A., & Beuret, N. (2017). Refusing the World: Silence, Commoning, and the Anthropocene. South Atlantic Quarterly, 116(2), 363–380. doi:10.1215/00382876-3829456:
https://blog.heroku.com/json-schema-document-debug-apis
@fosterlynn is going to work on VF json schemas.
https://jeremydormitzer.com/blog/more-than-json-activitypub-and-json-ld/
In which our hero discovers the power of normalization and JSON-LD
I see a lot of complaints about json-ld in the fediverse. Does this mean people are not doing it right? Or does this mean ActivityPub is under-specified? Or something else? @elf-pavlik @fosterlynn
The opposite of JSON-LD? https://multiformats.io/
The self-describing aspects of the protocols have a few stipulations:
They MUST be in-band (with the value); not out-of-band (in context). They MUST avoid lock-in and promote extensibility. They MUST be compact and have a binary-packed representation. They MUST have a human-readable representation.
https://notabug.org/peers/forgefed
ForgeFed - Federation Protocol for Forge Services
ForgeFed is a federation protocol extending the W3C's ActivityPub protocol to provide a uniform server-to-server API for interoperability between networked version control services, with limited pub/sub access for messaging and notifications to and from the larger fediverse. It allows users of any ForgeFed-compliant service to interact with other ForgeFed-compliant forge services, without being a registered user of that foreign service, just as if they were. In this way, users that choose to self-host have the additional benefit/responsibility of fully controlling of their own authentication/identity and their own data.
All of the most common user interactions are supported such as: cloning/forking, merge-requests/patches, bug-reports/code-review, subscriptions/favorites with VCS-agnostic, service-agnostic, and client-agnostic genericity.
https://notabug.org/peers/forgefed/src/master/vocabulary
Project Hosting Federation Vocabulary Intro
This is a draft of a linked data / semantic web vocabulary for expressing information about version control repos and related technology such as issues and merge requests. It's meant to be used for decentralization of project hosting by making repo hosting platforms federate using ActivityPub.
The vocabulary here is going to be an extension to the ActivityStreams 2 vocabulary (to which ActivityPub is an existing core extension).
...is building a formally verified process language using robust mathematical principles to prevent errors, allow compositionality and ensure termination. In addition, the language is visual and allows one to inspect the flow of the program as it is executing. These properties make Statebox suitable for distributed systems, blockchains, workflow management systems, application orchestration and system architecture.
Their language and system is based on Petri Nets.
https://arxiv.org/pdf/1906.07629.pdf
A Petri net should be thought of as representing some sort of system. Tokens are resources, and places are containers that hold resources of a given type. Transitions are processes that convert resources from one type to another.
Easily mappable to VF...
https://p2pfoundation.net/wp-content/uploads/2019/06/AccountingForPlanetarySurvival_def.pdf
P2PF accounting for externalities, embracing REA, and a mention of VF.
Blog post from holochain including commitment to REA and VF.
Networks as a form of organization
Alas, it's a scanned copy, not a generated pdf, so I can't quote from it. But here's a screenshot:
And here's a lot more from the same author: http://woodypowell.com/research-interests#networks
Here's one I can quote from: http://woodypowell.com/wp-content/uploads/2018/03/The_SAGE_Handbook_of_Organizational_Institutionali..._-_Chapter_17_Networks_and_Institutions.pdf
Networks are relational; they reflect webs of affiliation. They have a temporal element: a network exists only as long as a relationship endures. Networks are conduits that channel the flow of ideas and information....
More from http://woodypowell.com/wp-content/uploads/2012/03/4_NetworksandEconomicLife.pdf
the following analyses of how networks influence economic activity: 1.) Networks represent informal relationships in the workplace and labor market that shape work-related outcomes. Social ties and economic exchange can be deeply interwoven, such that purposive activity becomes “entangled” with friendship, reputation and trust. 2.) Networks are formal exchanges, either in the form of asset pooling or resource provision, between two or more parties that entail ongoing interaction in order to derive value from the exchange. These more formal network relationships may be forged out of mutual need, but can also lead to interdependence and repeated interactions that reduce the need for formal control. 3.) Networks are a relational form of governance in which authority is broadly dispersed; such arrangements are more commonly associated with settings where both markets and environments change frequently and there is a premium on adaptability.
Let's get out of github: https://help.github.com/en/articles/github-and-trade-controls
Betreff: [AkG_Offene-Liste] open for pre-order: Value Theory: Is There Still Any Value in It? Revisiting Value and Valuation in a Globalising Digital World | Nova Science Publishers Von: "Prof. Dr. habil Peter Herrmann" An: AkG@listi.jpberlin.de Cc:
Sorry for cross-posting
Dear Colleagues, the book Value Theory: Is There Still Any Value in It? Revisiting Value and Valuation in a Globalising Digital World | Nova Science Publishers https://novapublishers.com/shop/value-theory-is-there-still-any-value-in-it-revisiting-value-and-valuation-in-a-globalising-digital-world/ is now moving further in the production phase and ready to be preordered for a special price by yourself or your library
Please, contact Tricia Worthington at
contribcopy.hub@novapublishers.com or ask your library to do so. You/the libraries can place pre-publication orders, obtaining (if ordered on my behalf) 20% reduction. Thank you for consideration, contacting as many libraries as possible. Best regards, Peter
PS: Endorsements: Catherine Mills; maitre de conférences honoraire à l'université paris 1 spécialiste d'economie de la protection sociale et directrice de la revue economie et politique? Right in the tradition of Paul Boccara, Herrmann’s book elaborates Marxist thinking in an innovative way. This allows to maintain the real meaning of the theory of value in its categorical perspective. But it also allows for an elaboration of the theory, geared to understanding the complexity of the crisis and the production of affluence and a new civilization for the entire humanity.
Hussein Solomon, Senior Professor, University of the Free State, South Africa We live in a world increasingly characterized by rapid technological innovation and tectonic social change. Increasingly phrases like “Fourth Industrial Revolution” has become common place in our vocabulary. Whilst globalization, digitalization and artificial intelligence is reshaping our world, do existing academic and policy constructs still hold relevance? In Peter Hermann’s authoritative and incisive book on Value theory, the author goes beyond existing Marxist political economy and indeed, most mainstream perspectives by evaluating Value theory from the perspective of contemporary shifts within capitalist modes of production. His conclusions pertaining to value being increasingly socialized, blurring the separation of the means of production, as well as growing concentration of wealth holds profound consequences for academics and policy-makers alike. Well-articulated, superbly argued, and thoroughly substantiated, this book sheds new light on the challenges confronting us in the twenty-first century.
Arno Tausch; Innsbruck University and Corvinus University, Budapest This important book by Peter Herrmann is a vital reading on the foundations of political economy and sociology. Well written and very suitable for the academic classroom. It offers many insights for the international analyst. ———————
Peter Herrmann
((Prof. Dr. habil. - HWR (Berlin, Germany). CU (Hungary), EURISPES (Italy), IASQ (The Netherlands), LSU (Russia), MPI-soc-law (Germany), NUI-M (Ireland), UEF (Finland)) Britzer Damm 76 12347 Berlin mob/WA +49 152 17011068 WeChat & Skype: peteresosc QQ: 2738027550 blog: www.esosc.eu
AkG Mailingliste JPBerlin - Mailbox und Politischer Provider AkG@listi.jpberlin.de https://listi.jpberlin.de/mailman/listinfo/akg
https://colet.space/slow-tech-movement/
Here in CoLET, we’ve been thinking about what would be the tech equivalent of going to an organic farm or picking up one’s CSA share? A tour of a server farm or an internship at Google? Likely not. That’d be more the equivalent of touring a slaughterhouse or some sort of Big Ag facility.
Understanding the deleterious effects of big tech, we need to cultivate new ways of producing and consuming technology that are better for our society and our planet. Where are the projects that are already doing (or attempting to do) this and how can we promote them? Most importantly, how do we do this in a way that — unlike much of the “foodie movement” — is about a radical restructuring of relations between producer and consumer? Because in the end, we don’t just want capitalism that is “bursting with flavor”; we want fresh, juicy, and local…….liberation.
Every product has a story
We help brands and retailers build customer trust through transparency. Using blockchain technology Provenance empowers shoppers to choose your product.
Not a business? See how Provenance works for shoppers
https://www.provenance.org/explore
As seen in the example projects of the seventh main focus trust in the German Prototype Fund.
The future of software, the end of apps, and why UX designers should care about type theory
Software is a profound technology with enormous potential, and we stifle this potential with an antiquated metaphor. That metaphor is the machine. Software is now organized into static machines called applications. These applications (“appliances” is a better word) come equipped with a fixed vocabulary of actions, speak no common language, and cannot be extended, composed, or combined with other applications except with enormous friction. By analogy, what we have is a railway system where the tracks in each region are of differing widths, forcing trains and their cargo to be totally disassembled and then reassembled to transport anything across the country.
Applications can and ultimately should be replaced by programming environments, explicitly recognized as such, in which the user interactively creates, executes, inspects and composes programs. In this model, interaction with the computer is fundamentally an act of creation, the creative act of programming, of assembling language to express ideas, access information, and automate tasks. And software presents an opportunity to help humanity harness and channel “our vast imaginations, humming away, charged with creative energy”.
We artificially limit the potential of this incredible technology by reserving a tiny, select group of people (programmers) to use its power build applications with largely fixed sets of actions (and we now put these machines on the internet too and call them “web applications”), and whose behaviors are not composable with other programs. Software let us escape the tyranny of the machine, yet we keep using it to build more prisons for our data and functionality!
The ‘software as machine’ view is so ingrained in people’s thinking that it’s hard to imagine organizing computing without some notion of applications. But let’s return to first principles. Why do people use computers? People use computers in order to do and express things, to communicate with each other, to create, and to experience and interact with what others have created. People write essays, create illustrations, organize and edit photographs, send messages to friends, play card games, watch movies, comment on news articles, and they do serious work too–analyze portfolios, create budgets and track expenses, find plane flights and hotels, automate tasks, and so on. But what is important, what truly matters to people is simply being able to perform these actions. That each of these actions presently take place in the context of some ‘application’ is not in any way essential. In fact, I hope you can start to see how unnatural it is that such stark boundaries exist between applications, and how lovely it would be if the functionality of our current applications could be seamlessly accessed and combined with other functions in whatever ways we imagine.
No one piece of software ‘does it all’, and so individuals and businesses looking to automate or partially automate various tasks are often put in the position of having to integrate functionality across multiple applications, which is often painful or flat out impossible.
The spreadsheet brought programming (in a limited fashion) to millions of people, and a more accessible environment could bring it to millions or billions more. Who are you, with your limited imagination, to place a ceiling on how accessible programming could be? Well, the world is what we make of it, and I want to make a world in which applications die off, programming is no longer the awkward, arcane and tedious process it often is today, and where the internet is used to transparently share, use, and compose functionality across the internet. Which brings me to my next point…
Food flows between counties in the United States
Food consumption and production are separated in space through flows of food along complex supply chains. These food supply chains are critical to our food security, making it important to evaluate them. However, detailed spatial information on food flows within countries is rare. The goal of this paper is to estimate food flows between all county pairs within the United States. To do this, we develop the Food Flow Model, a data-driven methodology to estimate spatially explicit food flows. The Food Flow Model integrates machine learning, network properties, production and consumption statistics, mass balance constraints, and linear programming. Specifically, we downscale empirical information on food flows between 132 Freight Analysis Framework locations (17 292 potential links) to the 3142 counties and county-equivalents of the United States (9869 022 potential links). Subnational food flow estimates can be used in future work to improve our understanding of vulnerabilities within a national food supply chain, determine critical infrastructures, and enable spatially detailed footprint assessments.
Those would be VF:Scenarios.
Altho I don't know where the machine learning and linear programming come in...
After there was recently some movement in the issues of https://git.fairkom.net/transcomm/transcomm-concept/ and within the comments of associated blog posts, it is appearing clearer that their design might find similarities in Value Flows. Lately another participant also posted https://github.com/researchstudio-sat/webofneeds
It is a research project written in Java that uses RDF ontologies to provide matching services for offer and need networks, apparently running since 2013 (GitHub Contributors, Paper: Beyond Data: Building a Web of Needs).
Their site has many links, to documentation, a paper, research websites, and a demo.
They maintain two RDF ontologies below https://w3id.org/won/
,
The core
ontology builds on LDP, therefore should be Solid-compatible.
It's nice to see how their interface appears quite feature complete to publish offers or requests, and includes geographical awareness plus a messaging system.
It had previously been referenced from https://github.com/valueflows/forum.valueflo.ws/issues/133#issuecomment-507039669, https://github.com/valueflows/valueflows/pull/503#issuecomment-502817140 and https://github.com/valueflows/valueflows/pull/503#issuecomment-502818333 by @bhaugen and @bshambaugh
Thanks yet again @almereyda for keeping us organized in our link dumps! I'm studying your links on this last one....
@almereyda we had a long email thread with Brent Shambaugh about Web of Needs when he was working on it.
Re
might find similarities in Value Flows.
Christian Huemer worked on WON at one point (according to that email thread) and he used to work with Bill McCarthy (and me) and knew REA. So might be more than coincidence, although I think also there are forced moves in these design spaces...
@almereyda I love Web of Needs! Have skimmed into their ontologies once or twice on the way past and always had a curiosity to see what implementations might look like.
What I find interesting personally is the idea of converting the vf:Intent
(and possibly vf:Commitment
) ontologies into WON data such that their matching nodes can be run against VF records kept in adjacent systems. I have also been reflecting on the need for such functionality in Scuttlebutt (CC @luandro), and it occurs to me that these record types would be good ways of representing open-ended or time-limited offers to a community. I'm relatively certain that the transactional integrity capabilities that SSB lacks which prohibit trustful vf:EconomicEvent
management are not required if the system is only used for vf:Intent
matching and the actual exchanges are handled off-platform.
And the conversation continues in https://github.com/researchstudio-sat/webofneeds/issues/3183#issuecomment-578509912, where @fkleedorfer
writes:
Also, we've been looking into valueflows again lately and it looks like it could ve a very good match for what we want to achieve, sort of, the next-higher up layer on top of WoN.
@pospi you can see the demonstrator on https://matchat.org (currently bugfixing after some refactoring - sorry about that). To see the RDF representation, there is a small link in the footer that toggles links to the RDF entities) - or you go to the list of all atoms: https://node.matchat.org/won/resource/atom
Brief intro to the model: The main entity in WoN is an atom, the medium of communication is a message. Atoms are created on WoN nodes by sending a CREATE message, which is an RDF dataset containing message metadata and the RDF content for the atom. Modifying and deleting also work with such messages (REPLACE and DELETE). Messages are appended to message logs that can be cryptographically verified (1 log per atom). When the owners of two atoms want to communicate, they first have to establish a connection (using CONNECT messages). These connections are part of each atom's data, so all connection-related information is present on both sides. Each connection has an append-only message log that holds all messages that have been exchanged via the connection. Within a connection, there is a protocol for making and accepting proposals (which yields an agreement) and for cancelling agreements. An agreement is simply a set of triples that both agents have provably agreed to. It can be addressed with a URI and independently computed by each participant by applying an algorithm to the message log. We've also implemented a connection to a Petri net interpreting engine that can be used to interpret agreed-upon event data in the context of an agreed-upon petri net to calculate the state of that petri net.
Connections are not made directly between atoms; rather, they are made between sockets of the atoms. A socket is just a specification of how atoms can make connections to other atoms (by specifying comptible sockets), max number of connections, etc., and what happens if a connection is established. In the demonstrator, most atoms have the ChatSocket and the HoldableSocket (the TTL representation is more interesting here). In the latter, you can see that a socket definition can specify an RDF property that will be generated in an atom's data whenever a connection is established with that socket. (For example, the HoldableSocket generates a [atom] hold:heldBy [persona-atom]
triple.
Matchers are independent agents that keep track of atoms and send hint messages whenever they see pairs of atoms that may want to establish a connection.
With these building blocks, I think it would be possible to represent the Intents in this flow with atoms, which do not need to be on the same WoN node, and maybe each has a 'conversation for action' socket or somesuch.
A matcher could find the two intents and send hint messages. The atoms might establish a connection. In that conversation, they can use WoN agreements to establish mutually agreed-upon data: first, the VF commitment, and then the VF economic event. It may be weird that the event also needs an agreement, but there is no way to know if an event has happened except both agents agreeing it has - that's why. In practice, maybe you'd want another event for when the tool is given back, and maybe there is another commitment for money and events for when the money transfer has happened.
Does this sound right to you?
@fkleedorfer Sounds like a lot of possibilities here. I'm still studying your model, but have a few responses.
I think it would be possible to represent the Intents in this flow with atoms,
That seems right.
The atoms might establish a connection. In that conversation, they can use WoN agreements to establish mutually agreed-upon data: first, the VF commitment, and then the VF economic event.
That seems right too. @pospi can respond with more detail than I can on the mutually agreed-upon data, but generally we don't have that defined in the VF vocabulary itself. In Holochain for example, that will happen, but using Holochain's facilities.
In practice, maybe you'd want another event for when the tool is given back, and maybe there is another commitment for money and events for when the money transfer has happened.
In VF, yes.
Just wanted to say that this is really interesting work (though I admit I wasn't able to find any listings hitting random locations in matchat.org so I never really got to see the output). I can definitely see a lot of parallels here, and it sounds to me as though your description of how this maps to VF is pretty spot on. It may even be worthwhile building our "Conversations for Action" module to fit these specs. It's also another nod for Holochain to open their conductor API up to allow scripting requests at the raw HTTP level (currently it's all POST to a JSONRPC socket).
I would be very interested in seeing the petri net components of this or reading more about them... especially if this can generate visual representations of resource flows?
On Sat, 1 Feb 2020 at 06:03, Lynn Foster notifications@github.com wrote:
@fkleedorfer https://github.com/fkleedorfer Sounds like a lot of possibilities here. I'm still studying your model, but have a few responses.
I think it would be possible to represent the Intents in this flow with atoms,
That seems right.
The atoms might establish a connection. In that conversation, they can use WoN agreements to establish mutually agreed-upon data: first, the VF commitment, and then the VF economic event.
That seems right too. @pospi https://github.com/pospi can respond with more detail than I can on the mutually agreed-upon data, but generally we don't have that defined in the VF vocabulary itself. In Holochain for example, that will happen, but using Holochain's facilities.
In practice, maybe you'd want another event for when the tool is given back, and maybe there is another commitment for money and events for when the money transfer has happened.
In VF, yes.
— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/valueflows/forum.valueflo.ws/issues/128?email_source=notifications&email_token=AADK2JCL5RUUJK76ZUVNHZLRAR7YVA5CNFSM4GTLSQNKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEKP2YTI#issuecomment-580889677, or unsubscribe https://github.com/notifications/unsubscribe-auth/AADK2JCZRRB2GPINWEZS53DRAR7YVANCNFSM4GTLSQNA .
-- writings http://pospi.spadgos.com/ | twitter https://twitter.com/pospigos | github https://github.com/pospi ← where to find me ValueFlows https://www.valueflo.ws/ | Holo-REA https://github.com/holo-rea/ ← things I'm working on
@pospi, to see the RDF representation of WoN atoms, connections, and messages:
The petri net thing is not automatically integrated in any of the 'use cases' in the demonstrator, but if you create a petri net with PIPE and save it as xml, you can send it to a communication partner with a message, then 'propose' that message, and when the partner accepts the proposal, the GUI will show the active states and possible transitions. petrinet-taxi.xml is a petrinet that we've been using. Don't be confused by the URIs it uses from https://w3id.org/won/process/taxi#
to identify the places and transitions - we did not actually make an ontology for that. However, that could be used to link the workflow to a richer model or some information for a process GUI. Alas, stepping through the process does not work in the current demonstrator, as there are some bugs now after a big refactoring, which we are in the process of fixing.
The general idea would be that a socket definition (=def of how you can connect to an atom) would somehow include a definition of the higher-level protocols that are supported by the socket. Those higher-level protocols could be linked to petri nets and ontologies (for example, for the taxi use case), and thus the GUIs would know which workflows should be made available to users, and maybe, at some point, also how to best represent state and possible transitions to the users.
@fkleedorfer
Alas, stepping through the process does not work in the current demonstrator, as there are some bugs now after a big refactoring, which we are in the process of fixing.
I would be really interested in stepping thru a petri net process if and when it's available. Also any other WoN petri net demos.
We have moved the ValueFlows organization from GitHub to https://lab.allmende.io/valueflows.
This issue has been closed here, and all further discussion on this issue can be done at
https://lab.allmende.io/valueflows/forum-valueflo-ws/-/issues/128.
If you have not done so, you are very welcome to register at https://lab.allmende.io and join the ValueFlows organization there.
Keeping up with finitely scrollable GitHub issue pages, here comes this year's slice of the infamous link dump series. #30 #91 #172 #269 #312
Starting with an article that reflects upon intents in online communities, in other words intentional communities, I'd like to direct your attention at
How does this coalesce with our intuitions around conversations for action?