can extract a procedure from open code we start by selecting a piece of code that we think might be shareable we apply the enzyme and we get a procedure and a call to it with all the necessary
parameters formal and actual
extract a procedure
can extract a procedure from open code we start by selecting a piece of code that we think might be shareable we apply the enzyme and we get a procedure and a call to it with all the necessary
parameters formal and actual
extract a procedure
given that the program is a database it's easy to create tools that operate on programs because we like biological metaphors we call these tools enzymes there is an IP a very useful enzyme that
program is a database
tools that operate on programs
existential opportunity for establishing a world ‘goodenough’ for humans to live in.
Our proposition is grounded in a detailed analysis of themanner in which the socio-econo-political system has evolved into a powerful control mechanismthat subsumes human minds, steers their will and automates their thinking.
Brave New World allright
serving to augment the autonomy of the first from the‘programming’ imposed by the second.
!- aspiration : emerging synthetic intelligence - serving to augment the autonomy of the human mind limiting? the "programming" imposed by the second
hree kinds of cognitive system—the human mind, social systemsand the emerging synthetic intelligence
!- kinds : cognitive systems - human mind - social systems - emerging synthetic intelligence
It will becomea distributed, synthetically intelligent agent in itself
internet distributed synthetically intelligent agent in itself
SkyNet
mediate theexecution of contracts, transactions, public interventions and all other change-establishing eventsmore reliably and more synergistically than any other technology or institution
mediate execution of - contracts - transactions - public interventions - change-establishing events
call to action
\It is not semantics but symmathesy mutua learning
we start from the bottom and build tools for people to adopt and then you grow the infrastructure
bottom grow infrastructure
subscribe to graph queries you can start there
send graph queries to each other
revising a larger vision we have this building block for a new infrastructure beyond itunes for papers and 00:43:30 yeah we start by just facilitating collaboration systems and then you can scale up by prioritizing decentralization and federation and we can publish to say databases like ceramic or the graph or so on and people 00:43:43 can subscribe to graph queries you can start there as opposed to every publishing into a single stream immediately to have people talk to each other i like this metaphor uh the way that we're working as opposed to starting from the top and saying
digital pensieve
inteerpersonal collaborationcommunities
some point we need some way to 00:43:05 understand which pieces of evidence are the same or similar which pieces of claims are similar or not
ssme as
middle layer between the sort of more structured knowledge graph that's more granular and the more coarse documents this kind of middle layer the 00:42:52 disco stuff could enable sort of communication across the systems
middle layer between more structure knowledge graph
propositional trails and prose narrstivge trails
translating between 00:42:03 user extendable grammars but also having a similar underlying idea seems like one promising way to enable this peer-to-peer thing to start people might be concerned about formality machine readability
extensible grammars
!- claim :can do lot more
avoid the one standard problem
make it generative self-hosted
bootstrappablle tinkerable exchangeable
we have a proven concept it's possible to write close to probes and create shareable discourse graphs as 00:41:12 a byproduct uh i think this opens up new pops the sustainable scalable authoring
!- proven concept : -possible to write close to prose - and create create - shareable rewumable
better then prose augmented prose = discourse graphs
hypermaps of meaning
opens up new paths to
sustainable scholar-powered authoring
enables you to sort of translate between those 00:41:00 this is a bigger promising design pattern
ery minimal ontology of questions and evidence and you can extend it in lo
minimal ontology
extending or personalizing grammar is crucial right many extensions were finer distinctions right we have different flavors of claims or different 00:40:34 flavors of evidence but you can also be collapsed together if you wanted to sort of translate to a different graph and this connects to this kind of concept of boundary objects from information science
extending and personalizing grammar
using it to find and access important ideas like later on they can use the more advanced features but uh just simply having the discourse graph as a way to structure right that model 00:40:22 is a way to structure it thinking
using to find and access important ideas
discourse graph to structure
fostering more careful and career thinking patterns was most of the time enough for people to adopt this they wanted to think in this way and the tool helps them to think in this way and 00:40:11 that's that's good
was wnough
some efforts to port this discourse graph to an html annotation standard for broader web publishing use
https://indylab-2022.fission.app/hyp/?annotation

https://www.strategicstructures.com/?p=1797#annotations:H0IylkuIEeyrzDeDqBGBzg
the way that the system knows how to translate the writing patterns into edges is through a grammar that is user customizable that essentially says 00:35:14 when i write something like this which is on the left i want you to save it and recognize it that this is a particular relationship right
user customizable grammar
recognize it as a particular type of relationship
upon which arbitratry interpretation can be triggereed affecting a shape of a neighbourhood as the individual deems to be fit or matching some plugout
if you force people to only think in terms of structured nodes 00:32:55 and edges for example it sort of kills the thinking process
for : why - we need composite nodes for units of expression?
force people to think in terms of structured nodes and edges
integrate that into the the document itself
scaling interpersonal synthesys
https://indylab-2022.fission.app/hyp?thought%20vectors

!- claim : Trailmarks are but thought vectors in concept space
you're looking for papers but really what you care about is what's in them the ideas the claims the arguments the theories the findings and the discourse relations between the 00:05:08 right support opposition replication lines of evidence lines of contradiction right these kinds of things
!- care about : - ideas - claims - arguments - theories - findings - support - opposition - replication - lines of - evidence - contradiction
!-,missed out : concepts. mutual learning Symmathesy
!- concept : discourse relationships
plurality of minds
these indexing systems work with what they have the data 00:05:59 structure is what's at issue similarly um we have entire industry of system review tools and processes that are essentially dedicated to working against the underlying data structure they are sort of like we've got these 00:06:12 papers and we need to work our way around it so we have all these processes for screening for data extraction to get to the thing we actually care about and then we don't share anybody else and everybody has to start from scratch next time
instead of scaling synthesys wasting human effort at scale
theory is evidence problem solutions they're not first-class citizens
core conjecture of this line of work is that it's not just about the tools it's not just about our motivation it's about the infrastructure it's about the unit of analysis right why why does google scholar work
accelerating scientific discovery by lowering barriers to 00:00:42 user-generated synthesis of scientific literature which will include discussing how scholarly practices could be transformed
individual-generated synthesis
discourse-graph = creates context of justification
!- for : value prop - MindGraph - indyvidual-generated learning paths creating contexts for discovery - using TrailMarks as thought vectors in concept space - represented as MindGraph - !- for : - better, faster comprehension - ingesting, digesting, relating - piecemeal collation curation of associative memory - incorporating trailmarks for discouse graph
!- for : value prop : Trail\Marks & Hypothesis - write to think, weaving articulate associative complexes on the margin
f feeding its slave to the trap data you have this sense that um of fighting against uh the infrastructure
feeding its slave to the trap data
fighting against the infrastructure
"If one is to stand on the shoulders of giants, one must first climb up their backs"
"the greater the body of knowledge, the harder this climb becomes"
Ben Jones 2009
"Enslaved to the Trapped Data"
synthesis is actually really hard
!- claim : synthesis is hard
risk wasting our time on questions that are trivial impossible misframed one of my favorite phrases is you can't play 20 questions with nature and win
!- exhortation : - ignore synthesis at our (collective) peril
!- phrase : can't play 20 questions with nature and win
a recent nobel prize winner who credited some of her key inspirations to a masterful survey of the literature in a handbook chapter of economic developmental economics and 00:02:11 it really laid out some key problems in the field that she was able to sort of connect with her expertise and experimental methods
!- about : finding the right question
giving insight into here are some of the gaps here are where we should be going next um driving progress forward
!- for : literature review - giving insights - gaps - directions - driving progress forward
key intuition is that you create a new innovative conceptual whole that's greater than the sum of the parts of things that you're integrating
!- key intuition : synthesis - remove barriers to effective synthesis - ask better questions, faster
!- examples : synthesis - theory - model - design spaces - lit/systems - lit/system review
so what i mean by synthesis it's probably an intuitive concept but some examples include theories models design spaces and very good systematic or literature reviews
!- concept : synthesis
goal is to remove various defective synthesis
!- goal : remove barrier to synthesis - so any scientist can ask better questions faster
update on what i talked about in the previous talk which was linked in the chat
previous talk
it’s a challenge to get users to input metadata in a consistent way
invite them to reflect in the structure what they wite down their intent/salience/focus of attention
let them say what they mean and mean what they say
is limited by its inability to be queried and updated.
violent agreement
How can we build upon implicit metadata for a frictionless user experience?
great approach in the question
Research Grant Application
neat, alligned, synnergic
physical systems can be completely deterministic and yet still be inherently unpredictable
!- claim : inherent unpredictability of some completely deterministic physical systems

As a graduate student in Chihiro Hayashi's laboratory at Kyoto University, Yoshisuke Ueda was experimenting with analog computers and noticed, on November 27, 1961, what he called "randomly transitional phenomena". Yet his advisor did not agree with his conclusions at the time, and did not allow him to report his findings until 1970
randomly transitional phenomena
Bret Victor - The Humane Representation of Thought

"You can’t play twenty questions with nature and win"
https://hyp.is/H3qfdAfFEe20jmdwti3vnA/www.finedictionary.com/bon%20mot
Newell
scientific progress may not even be tractable without adequatesynthesis (as theory), even with advanced methods and data
especially necessary for problems where it is difficult orimpossible to construct decisive experimental tests
impossible to construct experimental tests
Synthesis maybe supported by and manifested in a variety of forms, such as a theory, an effective systematic or inte-grative literature review, a causal model, a cogent research proposal or problem formulation, or model ofa design space, among others.
!- manifested, supported : synthesis - theory - effective systematic/integrative literature review - causal model - cogent research proposal - problem formulation
Effective synthesis generates new knowledge, integrating relevant theories, concepts, claims, andevidence into novel conceptual wholes [Strike and Posner, 1983, Blake and Pratt, 2006].
!- concept : effective synthesis
To advance science, scientists must synthesize what is currently known and unknown
synthesize known and unknown
!- rhymes with : Engelbart @ Google - "Who is doing the job of organizing the Web's Frontier" - the edge of knowl'edge
WordNet # (n) bon mot a clever remark
Pseudonymous Credibility without public identity.
Hypothesis Community Guidelines
To create a highlight (visible only to you), select text and then select the Highlight button.