File size: 99,649 Bytes
1beb54a
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
---
tags:
- setfit
- sentence-transformers
- text-classification
- generated_from_setfit_trainer
widget:
- text: Untangle Solving problems with fuzzy constraints Untangle Solving problems
    with fuzzy constraints Szymon Kaliski Marcel Goethals Mike Kluev January 2023
    Have you ever needed to find a time for all your friends to meet for dinner or
    to create a seating plan for wedding guests These are examples of problems that
    require navigating a set of overlapping constraints you are only available on
    every other Tuesday or Thursday Chris will not show up if Ash is not there but
    Ash is in town only the last week of November and you really wanted to catch up
    with Chris We often work out problems like this with a pencil and paper experimenting
    until we find a solution but it feels like computers should be the perfect tool
    to help us In fact there are programming tools called theorem provers which are
    designed to solve exactly this class of problems They excel at helping experts
    work through fullyspecified problems with a clear solution Unfortunately we rarely
    have a formal understanding of our problems We come to understand them interactively
    by trying to find a solution In fact we often just need a solution that is good
    enough instead of one proven to be optimal We set out to experiment with interactive
    computerassistance for this type of thinking Untangle is a research prototype
    that helps you think through everyday constraint problems using your tablet stylus
    With Untangle you leave handdrawn marks on a page sketch out the representation
    of your problem introduce constraints graphically and browse through sets of possible
    solutions This work was presented as a part of our Programmable Ink talk at Strange
    Loop 2022 We welcome your feedback inkandswitch or helloinkandswitchcom Contents
    Thinking fuzziness and constraints Design principles Inspirations Logic programming
    Pattern matching Graphical production systems Realworld applications of logic
    programming Untangle Assignment problem Frequency assignment bids Coffee shop
    schedule Generative art Recursive rewrites Findings A smooth ramp from concrete
    to abstract helps form intuitions about the system Informal solving is most useful
    for certain kinds of problems Many problem representations look like tables Handdrawn
    input is well aligned with exploratory problemsolving Fuzziness and live feedback
    contribute to a conversational feel Shortcomings The system lacks clear semantics
    Turning ink into symbols is an unnecessary technical crutch Some parts of the
    system lack visibility Responses from the computer are underdesigned Small canvas
    artificially constrains the problem representation There is no way to explore
    the solution space Conclusions Thinking fuzziness and constraints Computers can
    be great at solving logic problems like the ones mentioned above as long as we
    can describe them in a formally correct and detailed way Special programming languages
    and techniques—theorem provers—exist and can calculate solutions for huge datasets
    These languages are most often used by mathematicians to help with proving formal
    theorems or by domain experts to aid in modeling large scale industrial production
    systems A Constraint satisfaction problem can be solved using logic programming
    techniques such as Satisfiability Modulo Theories SMT or Answer Set Programming
    ASP These programming languages are useful after we have encoded a problem in
    machinereadable form but first we must do the harder part fully understand the
    problem For this we often reach for pen and paper which allows us to think fuzzily
    and omit various levels of detail when problemsolving We can quickly sketch out
    the representation of the problem without worrying about absolute correctness
    For a sampling of realworld pen paper constraint problem representations have
    a look at How People Visually Represent Discrete Constraint Problems by Xu Zhu
    et al This project explores what it might look like if computers could support
    this style of earlystage thinking Untangle is specifically not a tool for solving
    artificial logic puzzles nor is it a tool for creating formal specifications for
    industrial systems Instead we are interested in a tool that can help us think
    through illdefined problems understand compromises and learn about what kind of
    questions to ask Untangle is a continuation of the threads highlighted in the
    thinking modeling and computers section of the Crosscut essay Mainly we want a
    tool in which we can sketch a dynamic representation of the problem at hand and
    have a conversation with it Design principles Keep focus on the problem not the
    implementationWe want a tool in which your focus remains on the problem at hand
    as much as possible rather than thinking about the correct way to encode it in
    a machinereadable way No errors undefined values or unknown parameters to fill
    inThe tool should never block freeze or become unresponsive even if the user creates
    invalid states such as errors or incomplete input A wrong answer is better than
    no answer Everything is visibleBoth the domain model and the constraints should
    always be visible and interactive Conversation with the material is be encouragedWe
    want an iterative approach to problem solving—one where observing leads to thinking
    which leads to acting which leads back to observing You should be able to intuit
    connections between various rules and constraints by wiggling them and seeing
    other things wobble We also adopted most of the design principles from Crosscut
    A tablet stylus can become dynamic pen paper The content of what you are working
    on is the most important thing You should not have to use an onscreen keyboard
    for programming This is a personal thinking space Untangle shares a lot of context
    with Crosscut a research project in which we explored an approach to building
    dynamic models by direct manipulation There is one important design difference
    from Crosscut using handdrawn strokes instead of vector graphics We believe there
    is something special about leaving distinctively human marks on the page with
    a stylus so we want to go back to handdrawn marks like with Inkbase but with an
    entirely different computational model Inspirations Logic programming Logic programming
    is an important paradigm in computer science It is based on formal logic and allows
    programmers to describe problems using declarative statements “every human is
    mortal” and ask questions based on these statements “X is human is X mortal” Some
    notable logic programming languages include Prolog one of the first logic programming
    languages widely used for theorem proving term rewriting automated planning Z3
    Theorem Prover a satisfiability modulo theories SMT solver that is targeted at
    software verification and program analysis Untangle uses Z3 as a library for solving
    Alloy Analyzer Alloy is a language for describing and exploring software models
    It has been used in a wide range of applications from finding holes in security
    mechanisms to designing telephone switching networks Of particular interest is
    Alloy’s IDE that visualizes a possible structure based on the constraints provided
    by the user Alloy Analyzer’s interactive solver visualization Pattern matching
    Untangle relies heavily on spatial queries—finding symbols on the page by their
    spatial relation to other known symbols—which were inspired by Regex a domainspecific
    language for describing search patterns in text Qualitative Spatial Reasoning
    a calculus which allows a machine to represent and reason about spatial entities
    without resorting to traditional quantitative techniques QSR is often used in
    GIS Geographic Information Systems for querying geographical data For more information
    on QSR check out A survey of qualitative spatial representations by Chen et al
    Graphical production systems Work on Untangle was also inspired by graphical production
    systems which use shape matching rules and graphical rewrites to describe computations
    Publications that guided our work Shape Grammars and the Generative Specification
    of Painting and Sculpture a seminal paper by Stiny and Gips introducing shape
    grammars New graphical reasoning models for understanding graphical interfaces
    a paper from Furnas introducing BICPICT a pixelrewriting graphical reasoning system
    Wave Function Collapse an approach for generating tile maps from a single example
    which influenced our thinking on using superposition as a mental model for working
    with multiple possible values Wave Function Collapse algorithm visualzation Figure
    by Maxim Gumin Realworld applications of logic programming Finally we were guided
    by various examples of using theorem provers for working through everyday problems
    How people visually represent discrete constraint problems Using linear programming
    GLPK for scheduling problems Tax planning with Z3 Theorem Prover A shared pinboard
    becomes a collaborative modeling tool to plan a dinner party Untangle We are now
    going to introduce Untangle a tool for working out realworld logic problems Assignment
    problem To explore the basic concepts of the tool we are going to look at an assignment
    problem imagine you are teaching a class it is the end of the semester and each
    student needs to submit a short paper about some topic You want students to grade
    each other so you have less work to do Let us see how Untangle can help us solve
    this problem This reallife problem comes from Joshua Horowitz thank you Josh In
    its most basic form Untangle allows you to automatically assign symbols to other
    symbols For example you can put Bob into a box by drawing an arrow between the
    text Bob and the box—Bob will now appear in pink inside the box A symbol is anything
    that appears on the canvas Symbols can be a single stroke or collections of strokes
    Assigning Bob to a box We can also assign multiple symbols to a box Untangle will
    now show that there are two possible assignments by showing two dots at the bottom
    of the screen We can scroll through the different solutions Bob and Eve Assigning
    multiple students to the same box There are six students in our class so we will
    write all of their names Instead of drawing six arrows we can use spatial queries
    to find elements on the canvas Using a spatial query to grab all of the student
    names Whenever we make a selection of symbols on the canvas a popup appears This
    popup suggests different spatial queries we can use to match our selection In
    this case it suggests that we could look for a vertical column of symbols starting
    with Bob Representation of a spatial query capturing a column of symbols starting
    with Bob We can place this query onto the canvas and use it as a shortcut to refer
    to all the symbols that match it The matching symbols are highlighted in the same
    color for additional visual feedback Untangle only ever places one symbol into
    each box Whenever there are multiple ways to assign symbols Untangle will generate
    multiple solutions but display only one The dots at the bottom of the screen indicate
    that there are alternative possible assignments We can get a sense of the different
    solutions by scrolling through them Solution switcher We want to assign a student
    to every other student so let us create an empty box next to every name Just like
    with the spatial query for a list of names we can create a query that simply looks
    for all boxes This generates all possible ways to assign one student to another
    one Using the all boxes query to assign every student to another student Currently
    students are sometimes assigned to grade themselves While students will surely
    be happy to do so as a teacher I would rather avoid this situation Let us add
    a rule that prevents students from grading themselves To do this we will add a
    third spatial query This query matches any box that has something to the left
    of it The question mark acts as a wildcard matching any symbol Using wildcard
    to capture something next to a box and make that something not equal to the contents
    of the box Finally we can draw an inequality constraint arrow This expresses that
    whatever ends up in the box cannot be the same as whatever symbol is on its left
    Bob can no longer grade Bob Inequality constraint Let us say we omitted a student
    when writing the original list of names Because we are using spatial queries to
    describe the column of student names we can easily extend the list Extending the
    student list with a new name The results update reactively It turns out that Bob
    and Claire have written papers about similar topics So it would be great if they
    grade each other We can ensure this by simply putting their names into the corresponding
    boxes and the system will adapt accordingly Forcing the assignment of Bob to Claire
    Again the system reacts with new results Frequency assignment bids To show a few
    more interesting properties of Untangle let us look at a different example—running
    frequency spectrum assignment bids The basic idea is that a specific radio frequency
    spectrum say 5G is divided into smaller parts and sold to various operators This
    reallife problem comes from William Taysom thank you William Let us start by modeling
    this problem There are three telephone companies telcos that are bidding on the
    frequency spectrum from 34 GHz to 42 GHz The spectrum is split into eight bands
    and the telcos can bid on individual bands Initial model of the spectrum assignment
    problem Just as in the student grading example we could use spatial queries to
    assign telcos randomly to bands in the spectrum Assigning operators to random
    bands of the available spectrum But this is not really how an auction works Instead
    telcos bid on a specific number of bands that they want to obtain For example
    Verizon might place a bid for four bands We can model this using a count modifier
    which limits the number of times a certain rule applies Using a count modifier
    to limit the assignment to four times Let us rearrange the canvas a bit and add
    some imaginary bids for each of the companies Modeling bids from all of the operators
    Some bands can be more valuable for example the middle bands often have less interference
    so a company may bit not just on a specific number of bands but also specific
    placement inside the spectrum To model this we can either draw an arrow directly
    to the specified band or simply drag a symbol in place We can guide the solver
    into a direction that we care about and it will respond immediately Constraining
    the solutionspace further by modeling bids on specific bands in the available
    spectrum The number of bids might not equal the number of available slots—an overconstrained
    system Using most solvers the result would be an error message that the constraints
    are unsatisfiable Instead of showing an error Untangle will attempt to generate
    a partially correct solution by ignoring some of the rules Arrows will turn red
    indicating that for the currently shown solution this rule is ignored Relaxing
    the overconstrained problem representation by ignoring some of the rules When
    having a conversation with the material hearing “no but what if…” is more encouraging
    than hearing just “no” The machine does not brake or scold at you for making a
    mistake but instead shows compromises and possible directions which in turn helps
    generate new ideas Finally companies sometimes bid specifically on a set of consecutive
    bands—rather than just bidding on four bands they want four bands in a row We
    can model this using a combination of spatial queries and counts Creating an assignment
    rule of four consecutive bands using a combination of spatial queries and count
    modifiers Coffee shop schedule In the following example we will show how to create
    a work schedule for a coffee shop An easy solution is to assign employees to random
    days but to make a good schedule everyone is happy with we need to consider employee
    availability To solve this problem we need to two dimensions First we list availability
    of the employees in the topleft corner For each day that an employee is available
    we draw an X For example Jim is available on Monday Wednesday and Friday In the
    bottom right we draw a simple empty schedule for the week Modeling the baristas
    availability Untangle has a special lookup spatial query that allows us to look
    up information in tablelike layouts In this case it matches columnrow pairs together
    whenever it finds an X Using the lookup spatial query on the availability table
    You can think of this as finding all the available people for each day Untangle
    will only generate solutions where the day and name are matched in the availability
    table Visualization of running the lookup spatial query We then create a spatial
    query to find all of the empty slots in the schedule using a something on left
    box on right query Spatial query using a wildcard symbol and a box to the right
    of it We only want to assign employees to days they are actually available To
    do this we bind the wildcard matches on days of the week We then use the names
    to fill in the boxes in the schedules Untangle will show us all possible schedules
    based employee availability Resulting coffee shop work schedules based on employee
    availability The proposed schedules often have people working two days in a row—something
    we might like to avoid We can set up a simple constraint to make sure no two boxes
    in a row hold the same value Constraining consecutive not to hold the same value
    It is worth noting that in this example technically all the information needed
    to solve the problem is already on the canvas However coming up with a valid solution
    still requires serious “System 2 level thinking shuffling around symbols in your
    head It feels great to have the system do this part for you System 1 System 2
    is a dichotomy introduced by Daniel Kahneman in Thinking Fast and Slow System
    1 describes fast intuitive loweffort thinking while System 2 is effortful and
    slow Generative art So far all the examples we looked at were about constraining
    the solution space—progressively going towards a small set of satisfying solutions
    This is only a one part of the problemsolving process which has two distinctive
    phases that feedback into each other—expanding and collapsing Expand and discover
    different possibilities then narrow scope and focus We can use Untangle’s primitives
    to force us to expand the possible solution space instead Let us illustrate this
    by recreating one of the most famous computer art pieces 10 PRINT 10 PRINT is
    a oneline Commodore 64 BASIC program that generates a visual pattern on the screen
    We can make a couple of boxes two symbols and fill all boxes Using spatial queries
    to fill all of the boxes with permutations of diagonal lines This already starts
    to look interesting but we can get to more compelling results by adding additional
    constraints Forcing more interesting results by applying inequality constraints
    And of course we can introduce additional symbols and keep exploring the solution
    space 10 PRINT variation using three symbols and two inequality constraints Recursive
    rewrites We can apply the rewrites recursively by flattening the pink results
    back onto the canvas and turning them into black ink This will in turn update
    the spatial queries and generate a new set of results New graphical reasoning
    models for understanding graphical interfaces is a seminal paper on using graphical
    rewrite rules for computation Progressively flattening solver results back onto
    the canvas to create basic 1D cellular automata Recursive rewrites can be used
    in a lot of interesting ways As an example below is a recreation of a logic gates
    demo from Inkbase We start by creating the symbols And the rules they follow Which
    shows us immediate feedback on the canvas We can then set up some logic gate networks
    and propagate the values through them by writing them onto the canvas to get to
    the final result A process of propagating values through two logic gate networks
    Findings We have used Untangle to solve the problems outlined above as we were
    building the prototype to test our assumptions and intuitions We also conducted
    several informal interviews with potential users with background in mathematics
    and logic programming Here are some reflections from that process A smooth ramp
    from concrete to abstract helps form intuitions about the system Symbols queries
    and arrows build up on each other Arrows are a reified way of moving a symbol
    into a box manually Spatial queries are a reified way of selecting things manually
    Combining the two is a reified way of drawing multiple arrows between multiple
    symbols “Reification” means giving a concrete representation to an abstract process
    In this sense each primitive is simply a way of expressing in more general terms
    what you could already do in an earlier step Gradually climbing this ladder of
    abstraction helps build intuition about how the system behaves Informal solving
    is most useful for certain kinds of problems There seem to be two dimensions of
    complexity for a given problem a problem can have relatively trivial constraints
    but many elements that need to be solved or can have a small number of elements
    but constraints that are difficult to satisfy There is a sweet spot where Untangle
    seems most useful The dataset must be small enough to be manually drawn but with
    constraints too complex to easily solve in your head If the dataset is large it
    takes too much effort to write it all down and the tablet screensize limits what
    can fit on the canvas If the set of constraints is simple enough to keep in your
    working memory you can often just solve the problem as you create its representation
    without additional help from the computer We found that the even a small number
    of overlapping constraints forces us to switch to effortful “System 2 thinking
    and this is where Untangle shines helping us think through a problem in an informal
    way Many problem representations look like tables The way we naturally represent
    assignment problems tends to drift toward using tables Examples of tablelike structures
    invented adhoc to represent specific problems Even though a structured approach—like
    a builtin table tool—might seem more appropriate to modeling these kinds of problems
    freeform input feels important The exact shape of the problem representation might
    not be clear initially and sketchiness facilitates finding it It feels good to
    build up to a table rather than being prematurely forced into one Another possibility
    is that the provided spatial queries column with symbol at top row with symbol
    at left table lookup etc encourage drawing problems in gridlike structures A rich
    area for future work would be adding more ways to query the canvas which could
    lead to more diverse representations Handdrawn input is well aligned with exploratory
    problemsolving One of our motivations for handdrawn input was to enable drawing
    symbols and elements that mapped closely to a particular problem domain For example
    you could draw chairs and tables for a seating arrangement In practice we rarely
    drew domain objects instead favoring symbols like names logos or even dashes and
    dots However handdrawn input still felt much more aesthetically fitting than the
    vector version we tried early on Early iteration of Untangle using vector graphics
    and artificial symbols At the lab we believe that the fidelity of the tool you
    use should be proportional to the maturity of the idea you are working on Being
    forced into crisp vector shapes for exploratory problems creates a cognitive dissonance
    between the fuzzy nascent problem in our head and the precise symbols on the canvas
    Fuzziness and live feedback contribute to a conversational feel Untangle was designed
    to get the user to a result as fast as possible Simply drawing a single arrow
    can generate multiple results To find a satisfying solution it is often not even
    necessary to add additional constraints Instead you can just scrub through proposed
    solutions to find one that makes sense If you find a satisfying solution you can
    simply stop working even if the results are underspecified In a similar vein if
    the solver cannot satisfy your constraints rather than showing an error message
    the system will attempt to ignore some constraints relaxing the problem statement
    to generate a technically incorrect solution The interface will highlight the
    arrows that were ignored to generate each solution In realworld contexts we often
    are not trying to find the globally optimal solution but rather just any reasonable
    one Spatial queries are also fuzzy We do not look for something “exactly 137px
    to the left” but “roughly to the left” This plays well with handdrawn aesthetics
    as you never create perfect sketches Additionally spatial queries highlight their
    matches directly on the canvas This has two advantages first it helps explain
    what the query is doing—even if you have no idea of the underlying formalism you
    can experimentally find out what is happening Secondly it makes it transparent
    when the imperfect matching algorithm does not work as expected You can always
    just wiggle your drawing a bit to get the system to recognize it Finally arrows
    point to and inside of queries rather than of connecting to ports This has a specific
    informal feel which meshes well with the fuzziness of other parts of the system
    and is distinctively different from the feel of things snapping into each other
    Shortcomings The system lacks clear semantics Untangle’s “language” is unspecified
    and not very composable The set of provided spatial queries is adhoc We created
    new queries for problems we were solving in the examples instead of building them
    up from first principles As a result we can solve the examples nicely queries
    are not composable or abstractable—you cannot combine to the left and to the top
    to create the lookup query used in the coffee shop schedule nor can you push the
    results from one query into another one to create reusable functionalities Additionally
    creating these queries purely by example can be quite tedious—especially when
    it comes to selecting wildcard configurations It seems clear it would be better
    to create a match by example then interactively refine it through direct manipulation
    One exciting piece of research in this direction is described in Perceptual Grouping
    Selection Assistance for Digital Sketching by David Lindlbauer et al Most importantly
    it is hard to intuit how the primitives behave beyond basic demos For example
    there is a subtle difference between constraining elements of the solution space
    and constraining elements of the match Careful thought is required to discern
    the difference Turning ink into symbols is an unnecessary technical crutch Untangle
    is a system for assigning candidate symbols to potential targets In our experience
    these symbols often consisted of many ink strokes such as for people’s names In
    order to assign these to a target we need to recognize those strokes as being
    part of a grouping Using a magic wand to group multiple strokes into a single
    symbol In past research we found that it was very difficult to reliably and unambiguously
    group ink strokes or to recognize repetitions For this project we simply sidestepped
    the problem with a command to create a symbol out of a group of strokes This was
    convenient for a research prototype but we feel this is unfortunate technical
    ceremony Similarly when creating a drawing we encourage users to reuse copies
    of the same target symbol to hint the solver system that those targets are related
    Sometimes copying objects can be a fast and intuitive thing to do Other times—especially
    when the shapes are simple—it feels more natural just to draw them again and have
    them match automatically The history of inferring specific user intent from ink
    gestures remains an open problem after many years of related work including work
    on shape recognition for drawing programs and back to early stylusbased text input
    systems such as Palm’s Graffiti Some parts of the system lack visibility A computing
    system should never leave a user feeling uncertain about whether the intent of
    the user has been understood In Untangle assignment arrows are freeform they can
    exist with or without valid sources and targets This meshes well with the fuzzy
    aesthetic but our implementation does not provide user feedback whether the arrow
    has actually connected the items on the canvas other than the updated solutions
    For this specific example it is easy to imagine how to improve this For example
    by color coding arrows and connected spatial queries the same way we do for query
    matches However color coding query components as well as their matches creased
    a visually noisy rainbow canvas Finding the right queues and feedback for a system
    like this is a subtle task There is a fundamental tension between maintaining
    a focus on the user’s input by avoiding unnecessary UI chrome and preventing confusion
    by providing sufficient feedback Responses from the computer are underdesigned
    In systems where users and computers collaborate it helps to distinguish between
    user input and computed responses In Untangle user input is always black and we
    use pink to distinguish computed results from userdrawn strokes We refer to this
    as the user voice vs the computer voice Throughout our research we often want
    the machine to respond and draw with us but what is the “correct” way to do so
    Because Untangle limits user input to a single color rendering results in pink
    makes the distinction immediately clear but we worry this would become problematic
    in a more fullfledged system We briefly explored rendering computed results using
    a different “pen” for example a stylized marker but that felt uncanny—the user’s
    input strokes redrawn exactly but with a different aesthetic Small canvas artificially
    constrains the problem representation In Untangle the relatively small screen
    size and lack of support for canvas features such as panning or zooming limits
    the amount of data and the complexity of the problems you can represent Drawing
    everything by hand also contributes to this limitation—it simply requires too
    much effort to draw hundreds of student names or create a staff calendar for an
    entire year We are interested in how the experience of Untangle would evolve as
    we explored larger scale problems or more complicated representations For example
    one future project we would love to see is “Untangle with external data” There
    is no way to explore the solution space One omission in this work is the limited
    ability to visualize the solution space Yes we can narrow down the solution space
    by reifying a result “Sam has to review Steve’s paper” or by adding constraints
    “the wildcard cannot be the same as the contents of the box next to it” but while
    Untangle allows you to “scrub” through results it only ever shows one result at
    a time In fact the solution space is not a homogeneous list there are recurring
    patterns It would be interesting to explore visualizations that revealed clusters
    or branches of candidate solutions that share similarities or how how different
    constraints “cut off” certain areas of the solution space Conclusions With this
    project we set out to discover what a nonbureaucratic theorem prover might look
    like The traditional programming interface to a theorem prover is both strict
    and formal Untangle shows a glimpse of a computational model with fuzziness at
    its core Being able to handwave at a problem and get to results—often on the first
    browse through the solution space—feels wonderful and is a stark contrast Spatial
    queries provide a way to create structure on top of a freeform drawing Instead
    of forcing problems prematurely into tabular form you can start sketching the
    problem however feels natural You then work with the system to query that diagram
    for a satisfying solution In some cases the final result may take the form of
    more traditional tabular data but we found that building up to it from a freeform
    drawing and not being constrained by it prematurely allowed us to explore our
    ideas more naturally The combination of symbols spatial queries and arrows provides
    a nice onramp for abstracting logic Rules can be built up out of simple examples
    gradually adding assignment arrows or replacing those arrows’ concrete sources
    and targets with spatial queries We feel this conceptual buildup is very promising
    and points at a possible way of solving the repetition problem described in the
    Crosscut essay Untangle is part of our “programmable ink” track of research continuing
    from previous projects Inkbase and Crosscut We remain optimistic about systems
    in which you directly manipulate the representation of the problem at hand and
    that remain alive and reactive This combination allows you to improvise and rely
    on intuitions instead of having to switch your thinking mode to one of effortful
    logical computation We see here an exciting glimpse of conversation with a dynamic
    medium—sketching at the speed of thought and collaborating with the machine We
    welcome your feedback inkandswitch or helloinkandswitchcom Thank you to everyone
    who offered feedback and guidance throughout the project Peter van Hardenberg
    James Lindenbaum Todd Matthews Kevin Lynagh Geoffrey Litt Scott Jenson Joshua
    Horowitz Patrick Dubroy William Taysom Daniel Krasner Ivan Reese Paul Shen Max
    Schoening
- text: Harnessing the Medici Effect for More Profound Web3 Impact CARBON Copy Front
    PageFeatures ReFi Data ProjectsBuildersTokensLandscapeImpact DashboardOpportunitiesKnowledge
    Content NewslettersThe ReFi WeeklyLearnWeb3 Fundraising Guide for Nigerian NGOs
    Resources OnChain Grant DirectoryGitcoin Grants CanvasThe Regen AtlasThe Climate
    Capital StackCCN Metrics GardenX List of ReFi ProjectsAboutSubmit News OpinionHarnessing
    the Medici Effect for More Profound Web3 ImpactHow we have strayed off the path
    of originality and how to get back on itBy Trinity Morphy May 21st 2024In this
    piece Trinity Morphy takes inspiration from a recent event to look at why originality
    has been so difficult to attain in the Web3 impact space and how a phenomenon
    called the Medici Effect can get us back on trackI had the privilege of attending
    a Green Pill Nigeria Impact Tour event two weeks ago In his talk Izzy the lead
    at Green Pill Nigeria pointed out the troubling trend of imitation in the impact
    space Each cycle he said seems to be filled with recycled project ideas It has
    become customary for Project XYZ to emerge with a seemingly novel concept only
    to be quickly followed by Project ABC essentially a copycat with a new bell or
    whistleThis lack of originality especially in Web3 impact is not just a hurdle
    its a roadblock For instance other effective ways exist to utilise impact NFTs
    apart from sequestering carbon or planting new trees Yet we keep seeing new projects
    based on the same idea but with a more exciting descriptionHow can we actively
    encourage a shift from simple recycling to genuine originality The Medici Effect
    that the most innovative ideas happen when you combine concepts from different
    fields offers insight By looking beyond the impact field we can unlock the potential
    for more impactful solutionsWhy we recycle ideas and why originality is so importantpictwittercomsRtpkwgMGk—
    OwockiΞth owocki May 17 2024Reduced risk and familiarity Humans naturally gravitate
    towards familiarity Replicating a successful project offers security by minimising
    the uncertainty of venturing into something completely new Its like following
    a wellworn path instead of forging one through the wildernessAccess to funding
    Investors and funding institutions are more likely to back sectors with a proven
    track record of projects A copycat project can point to the success of the original
    and argue that it can replicate that success with its own twistBandwagon effect
    When a project becomes popular others aim to capitalise on the hype and user base
    On the surface launching a copycat project appears easier as does the marketing
    that goes with itAvoiding mistakes A successful project has already learned what
    works and what does not Emulation enables new projects to sidestep those pitfalls
    and concentrate on innovationOriginality is crucial to tackling our social and
    ecological problems It allows us to see things differently question assumptions
    and uncover new possibilities This fresh perspective can lead to new solutions
    we would not have considered otherwise It empowers us to challenge outdated or
    dysfunctional systems and propose solutions that address their shortcomings from
    the ground up Original thinking enables us to recognise the potential in underutilised
    resources and address problems at their roots not simply treat their symptomsEasier
    said than done of course We need to look to the Medici Effect for a roadmapThe
    Medici Effect and Web3 impactThe Medici Effect states that the most original and
    extraordinary ideas occur when you combine concepts from different fields disciplines
    or cultures It was discovered by Frans Johansson and shared in a book of the same
    name A majority of the ideas in this section are borrowed from the book and modified
    to fit Web3 impactSome examples of great products that have stemmed from the Medici
    Effect include Silvi reforestation Web3 M3tering Protocol renewable energy distribution
    Web3 Gitcoin fundraising Web3 and Toucan Protocol voluntary carbon markets Web3Heres
    how we can get better at using the Medici Effect to our advantageDismantle the
    barrier between Web3 and other fieldsFirst we must be willing to break the associative
    barriers that exist between Web3 and other fields How do we do this Through exposure
    to a diverse set of cultures Culture in this context extends beyond geographic
    boundaries to encompass ethnic class professional and organisational differences
    By immersing ourselves in these diverse backgrounds we can unlock a more open
    and questioning mindset and challenge our assumptionsWe also need to embrace broad
    selfeducation Traditional education often compartmentalises knowledge but selfdirected
    exploration across disciplines expands what is possible Without it our thinking
    is limited and we inadvertently stifle creativity Selfeducation empowers us to
    discover unexpected connections and envision how concepts in other fields can
    combine to create groundbreaking Web3 impact solutionsCombine random conceptsIntersectional
    ideas are groundbreaking because the concepts involved are so different and the
    combinations so unusual that no one would have thought them possible Take the
    inspiration for this article as an example It happened after I came across an
    X account named Cozomo de Medici I was not thinking about Web3 impact or the Medici
    Effect That Is how random combinations work You have no control over it It just
    comes Rather than leaving luck to do the work we can continuously stimulate our
    brains to keep producing these random combinations How do we achieve thisNurturing
    our curiosity By obsessing over new ideas approaches and perspectives we enhance
    our brains ability to blend random concepts In the foreword of Exploring MycoFi
    Scott Morris pointed to Emmett Jeffs relentless fascination with mushrooms and
    mycelial networks and how it led to the creation of MycoFi a novel cryptoeconomic
    model inspired by the structure of mycelial networksInteracting with diverse groups
    of people Engage a diverse group of people and we will be presented with a diverse
    set of perspectives Interacting with such groups can spark unexpected connections
    For example a conversation between a Web3 enthusiast and a custodian of tradition
    might lead to an idea to preserve cultural heritage using blockchainThese are
    what create the conditions for the next phaseIgnite and evaluate an explosion
    of ideasThe strongest correlation between quality and quantity of ideas is in
    fact the number of ideas Do you know how many ideas you can get by simply combining
    concepts from environmental science with Web3 concepts A LOT That is why it irks
    me when I see so many projects centering on carbon credit tokenisation when there
    are so many ideas yet to be explored The question here is once these ideas start
    flooding in how do we handle themFirstly capture as many ideas as we can Keep
    track of all the ideas our brains generate and set a target to reach before evaluating
    their feasibility Secondly we need to take our time evaluating because our minds
    will quickly judge the value of an idea by comparing it to what is already known
    to work Its important that we evaluate each idea as sincerely as the next whether
    its gamifying traditional classroom learning or eradicating open defecation in
    underserved communitiesComing up with great ideas does not guarantee innovation
    however We must make those ideas happenMake intersectional ideas happenThe paradox
    of innovation at the intersection of fields is rooted in the symbiotic relationship
    between ideas and failures the more ideas we explore the higher the rate of failure
    Far from being a negative consequence failures are a vital part of the innovation
    journey We learn and grow through them so that we can do better the next time
    Not acting for fear of failure robs us of this crucial phaseDaring to try ideas
    opens us to a world of invaluable insights that help us refine our approach identify
    weaknesses and ultimately discover the path to a truly groundbreaking solution
    In my interview with Christwin of Switch Electric and M3tering Protocol he shared
    a fascinating story about the early days of his solution The first model they
    tried unexpectedly incentivised the consumer to overload the solar infrastructure
    leading to severe component wear and tear and attracting steep maintenance costs
    This was a significant failure but it led to research that brought about the idea
    of building M3tering Protocol on blockchain to track consumption and ensure transparencySince
    failures are inevitable we can allocate specific resources for testing each new
    idea and minimising the potential for catastrophic failure This allows for rapid
    iteration where we can learn from each attempt refine our approach and move on
    to the next experiment with valuable insights Do Not forget to document everything
    along the way and share the results within the team This knowledge base becomes
    a valuable resource for future projects because it prevents the same mistakes
    and accelerates future breakthroughs We saw this in the transition from Gitcoin
    10 and Gitcoin 20We also need to stay motivated along the way because the path
    to ingenuity is rarely linear There will be setbacks and failures that make us
    question our actions Staying motivated requires keeping the longterm vision in
    mind and focusing on the positive impact our work can bring to the world We need
    to celebrate all wins big and small whether its successfully completing a pilot
    project achieving a user engagement milestone or receiving positive feedback from
    a target community This reinforces our belief and helps us pushing forward despite
    the inevitable setbacksConclusionThe Web3 impact space has potential to change
    the way we tackle the worlds most pressing challenges Were not getting there however
    if we keep recycling the same old ideas Originality is the key if we are to truly
    unleash Web3 impact We must look beyond our own siloes break down barriers and
    ignite curiosity across a variety of fields to spark the kind of breakthrough
    ideas that will move the needleAnd when those ideas do come we must not shy away
    from failure and its valuable lessons Nature exemplifies this beautifully a butterflys
    struggle to escape its chrysalis is anything but pleasant Still this phase is
    necessary for the butterfly to strengthen its muscles expand its wings and ultimately
    fly Embrace the journey celebrate even the smallest wins and surround yourself
    with a supportive network Together we can embrace the power of the Medici Effect
    to create a better future for ourselves and the planetThis article represents
    the opinion of the authors and does not necessarily reflect the editorial stance
    of CARBON CopyCopyright © 2025 CARBON CopyToken data provided by CoinGeckoFront
    PageFeaturesLearnReFi ProjectsAboutSubmit News
- text: 5 DeSci projects disrupting scientific research and development  Crypto Altruism
    0 Skip to Content BLOG CATEGORIES DAOs EDUCATION ENVIRONMENT REFI EQUITY INCLUSION
    FINANCIAL INCLUSION DEFI NFTs PHILANTHROPY SCIENCE DESCI SOCIAL IMPACT SUPPLY
    CHAIN COMMENTARY PODCASTS CRYPTO ALTRUISM PODCAST THE WEB3 NONPROFIT IMPACT ON
    OPTIMISM INFOGRAPHICS RESOURCES BECOME A CRYPTO CHARITY DONATING CRYPTO LEVERAGING
    AI AT YOUR NONPROFIT ABOUT US WHO WE ARE TRANSPARENCY AFFILIATE PARTNERSHIPS CONTACT
    SUPPORT US Open Menu Close Menu Open Menu Close Menu BLOG CATEGORIES DAOs EDUCATION
    ENVIRONMENT REFI EQUITY INCLUSION FINANCIAL INCLUSION DEFI NFTs PHILANTHROPY SCIENCE
    DESCI SOCIAL IMPACT SUPPLY CHAIN COMMENTARY PODCASTS CRYPTO ALTRUISM PODCAST THE
    WEB3 NONPROFIT IMPACT ON OPTIMISM INFOGRAPHICS RESOURCES BECOME A CRYPTO CHARITY
    DONATING CRYPTO LEVERAGING AI AT YOUR NONPROFIT ABOUT US WHO WE ARE TRANSPARENCY
    AFFILIATE PARTNERSHIPS CONTACT SUPPORT US BLOG Folder CATEGORIES Back DAOs EDUCATION
    ENVIRONMENT REFI EQUITY INCLUSION FINANCIAL INCLUSION DEFI NFTs PHILANTHROPY SCIENCE
    DESCI SOCIAL IMPACT SUPPLY CHAIN COMMENTARY Folder PODCASTS Back CRYPTO ALTRUISM
    PODCAST THE WEB3 NONPROFIT IMPACT ON OPTIMISM INFOGRAPHICS Folder RESOURCES Back
    BECOME A CRYPTO CHARITY DONATING CRYPTO LEVERAGING AI AT YOUR NONPROFIT Folder
    ABOUT US Back WHO WE ARE TRANSPARENCY AFFILIATE PARTNERSHIPS CONTACT SUPPORT US
    5 DeSci projects disrupting scientific research and development Project HighlightsScienceDAOs
    Mar 30 Written By Drew Simon 2021 was the year of decentralization and this momentum
    has only increased into 2022 Not only have we seen incredible growth in the decentralized
    finance DeFi space but we have also seen the emergence of social impact DAOs decentralized
    media platforms decentralized VC funds and more recently the emergence of a new
    field  Decentralized Science or DeSci In short “the decentralized science DeSci
    movement aims to harness new technologies such as blockchain and ‘Web3’ to address
    some important research pain points silos and bottlenecks” Whereas scientific
    research has long been viewed as overly bureaucratic and disjointed the DeSci
    movement aims to improve this by using blockchain to offer greater transparency
    and to take on the “profit hungry intermediaries” such as scientific journals
    that have dominated the traditional research spaceFor some resources on DeSci
    I recommend you check out the following articlesDeSci an opportunity to decentralize
    scientific research and publicationA Guide to DeSci the Latest Web3 MovementCall
    to join the decentralized science movementFor this blog post we will be highlighting
    5 DeSci projects that are leading the way and positively disrupting scientific
    research and development1 VitaDAOOne of the best examples of DeSci in action is
    VitaDAO a Decentralized Autonomous Organization DAO focused on funding longevity
    research in “an open and democratic manner” Specifically they are focused on the
    decentralization of drug development focused on the extension of human life and
    healthspan They fund earlystage research with the goal of turning the research
    into biotech companiesVitaDAO is government by holders of VITA tokens which can
    either be purchased or earned through contributions of work or intellectual property
    With over 4000 members and 9M in funding raised to support scientific research
    VitaDAO has proven that the DeSci movement is no laughing matterCheck out some
    of their featured projects here2 SCINETThe SCINET platform which is built on blockchain
    enables retail and institutional investors to securely invest in scientific research
    and technology directly In addition to funding promising scientific research they
    also offer a “blockchainpowered” cloud laboratory for researchers a rigorous decentralized
    peer review process and enable researches to document their IP on an immutable
    blockchain3 AntidoteDAOAntidoteDAO is a decentralized community focused on funding
    cancer research and other cancer initiatives Their ecosystem includes a governance
    token and NFT collection which both enable individuals to vote on where to allocate
    funds In addition to providing funding to charities supporting cancer research
    and cancer patients a core focus of the DAO is on providing 100K seed fund grants
    to cancer research teams Research projects are first reviewed by the DAO’s Medical
    Advisory team and then put to the community for a vote Fun fact we have an upcoming
    podcast episode with AntidoteDAO that when available will be published HERE Crypto
    Altruism uses Ledger to keep its assets safeYou’ve probably heard the phrase “not
    your keys not your coins” By choosing a hard wallet like the Nano S Plus to store
    your crypto you can rest assured that the keys and the crypto are truly yoursGet
    your Ledger Nano S Plus now by clicking HERE or on the image below 4 LabDAOLabDAO
    is an emerging organization which is dedicated to operating a communityrun network
    of wet and dry labs with the goal of advancing scientific research and development
    A wet lab is one focused on analysing drugs chemicals and other biological matter
    whereas a dry lab is one focused on applied or computational mathematical analysis
    LabDAO is a relatively new project that is still in its infancy but has a promising
    mission and strong community of support around it 5 MoleculeMolecule is a decentralized
    scientific research funding platform that operates as a marketplace for researchers
    seeking out funding and individuals looking to invest in scientific research projects
    They are “connecting leading researchers to funding by turning intellectual property
    and its development into a liquid and easily investable asset”Researchers can
    list their research projects on the Molecule marketplace as a means to engage
    with potential investors and to secure funding for their project Molecule currently
    has over 250 research projects listed on their marketplace over 4500 DAO community
    members and 3 “Bio DAOs” with over 10M in funding in their network According to
    Molecule “The future of life science research will be driven by open liquid markets
    for intellectual property powered by web3 technology”We cover more amazing DeSci
    projects in our more recent postTen more DeSci projects disrupting scientific
    research development and knowledge sharing Buy me a coffee Send a tip in ETH cryptoaltruismethLike
    what you are reading Consider contributing to Crypto Altruism so we can continue
    putting out great content that shines a light on the good being done in the crypto
    and blockchain community SUPPORT CRYPTO ALTRUISM Please note we make use of affiliate
    marketing to provide readers with referrals to high quality and relevant products
    and services DeScidecentralizationscienceblockchainlists Drew Simon Previous Previous
    Crypto Altruism Podcast Episode 39 AntidoteDAO Decentralized funding of cancer
    research and charitable initiatives Next Next Crypto Altruism Podcast Episode
    38 Using NFTs to empower content creators and help kids learn ft Susie Jaramillo
    CONTENTBLOGPODCASTINFOGRAPHICSCURATED LISTS ABOUTABOUTSUPPORT USCONTACTDISCLAIMERPRIVACY
    POLICY Buy me a coffee ETHERC20 cryptoaltruismeth 0xac5C0105914F3afb363699996C9914f193aeDD4A
    Sign up for our monthly newsletter Thank you © Crypto Altruism 2023 FOLLOW
- text: A Short History of BiDirectional Links Home The Garden Essays Notes Patterns
    Smidgeons Talks Podcasts Library Antilibrary Now About The Garden Essays Notes
    Patterns Smidgeons Talks Podcasts Library Now About Essays evergreen A Short History
    of BiDirectional Links Seventy years ago we dreamed up links that would allow
    us to create twoway contextual conversations Why do not we use them on the web
    Design Digital Gardening The Web Web Development Planted almost 5 years ago Last
    tended about 4 years ago Table of Contents Bidirectional links are not new Bidirection
    Linking in Personal Digital Gardens Building Your Own BiDirectionals BiDirectional
    Linking with WebMentions Table of Contents Bidirectional links are not new Bidirection
    Linking in Personal Digital Gardens Building Your Own BiDirectionals BiDirectional
    Linking with WebMentions With the recent rise of Roam Research the idea of bidirectional
    linking is having a bit of a moment We are all very used to the monodirectional
    link the World Wide Web is built around They act as oneway pointers we follow
    in a linear sequence While we can link to any site the destination page has not
    a clue we have done so We set up all these singledirection paths trying to signal
    relevance and context only to have the other side completely ignore our efforts
    Our monolinks are trying to establish relationships in vain We are starting to
    look around our monolinked environment and wonder why it is so hard to surface
    relevant contextual relationships Manually interlinking content takes an awful
    lot of human curation and effort Efforts we should probably slog off onto our
    systems Enter the bidirectional link A bidirectional link has social awareness
    it knows about other pages or ‘nodes’ that point to it and can make them visible
    to people This means we get a twoway conversation flowing between our web locations
    Bidirectional links are not new The idea of the bidirectional link goes back to
    194580ya when Vannevar Bush dreamed up the Memex machine Vannevar outlined this
    hypothetical gadget in an essay in The Atlantic called As We May Think He wanted
    a system capable of “associative indexing… whereby any item may be caused at will
    to select immediately and automatically another… so that numerous items have been
    thus joined together to form a trail” This essay turned out to be a foundational
    document for the ideologies that directly led to both the internet and the Web
    Yes those are two entirely separate pieces of technology Vannevar was one of the
    key movers and shakers rallying folks to help build the original internet infrastructure
    He corraled folks at MIT the US Department of Defence the National Science Foundation
    and various research labs like the Standford Lincoln Lab Bell Labs the RAND Corporation
    and Xerox PARC to get involved Walter Isaacson The Innovators How a Group of Hackers
    Geniuses and Geeks Created the Digital Revolution London Simon Schuster 201510ya
    Suffice to say the guy was driven by a belief that enabling people to connect
    information and share knowledge would expand the scope of human understanding
    The Memex was one idea of how that might manifest in material form Vannevar even
    created a small informative diagram of this deskbound vision Marketing chops 101
    Vannevar’s evocative description of the Memex is especially impressive given that
    digital computers had only come into existence 5 years earlier Most were still
    the domain of large military operations like Bletchley Park and were seen as inconveniently
    large calculators Implementing a wildly interactive computational personal knowledge
    base was not much of an option So the idea went into hiberation and did not resurface
    until the idea of personal computing began blooming in the sixties and seventies
    Ted Nelson an unlikely film director and sociologist stumbled into a series of
    computing lectures and began to imagine how graphical interfaces might reinvent
    the way we write and connect ideas He took inspiration directly from Vannevar’s
    essay and in 196560ya when he coined the term hypertext to describe his vision
    for a sprawling network of interlinking information Nelson planned to implement
    these hypertextual dreams in his perpetuallyimminent Project Xanadu If you have
    some time this is quite the internet history rabbit hole to run down Ted Nelson
    is on another level The Xanadu project was a hypertext system that imagined that
    every sentence block and page would be part of a vast bidirectionally linked network
    A design mockup of how Project Xanadu might visually connect pieces of text across
    multiple documents You would be able to trace information back to its origin the
    way current web links do But you would also be able to see who had referenced
    remixed and expanded off that original The full Pattern Language of Project Xanadu
    expands far beyond just bidirectional links to include features like Transclusions
    but we will not dive into it all here Suffice it to say Xanadu did not pan out
    Instead we got the less fancy but far more real and useable World Wide Web that
    currently does not support bidirectionals on an infrastructure level While Sir
    Tim Berner’s Lee wrote himself a note debating their pros and cons back in 199926ya
    there is an obvious design issue with letting twoway connections flow freely around
    the web If every site that linked to yours was visible on your page and you had
    no control over who could and could not link to you it is not hard to imagine
    the Trollish implications… Figuring out how we might filter moderate and set permissions
    around link visibility turned into quite the challenge The design details grew
    complex It became clear implementing the Web with simpler monodirectional links
    was the right thing to do given that its creators wanted universal adoption Lots
    of people are still mad about it Let us not venture too far down that historical
    wormhole The TLDR is technology is hard Until Xanadu ships and we are all immersed
    in the universe of multilinked versioncontrolled nodes of remixable microcontent
    that somehow solves the problems of permissions and moderation there are still
    plenty of ways we can resurrect the possibility of bidirectional links on the
    web Bidirection Linking in Personal Digital Gardens Most of the design issues
    with adding bidirectional links to the global web were related to moderation and
    permissions However adding them within the bounds of a single website with one
    author sidesteps that problem There is been a flurry of interest around bidirectionals
    among people involved in the Digital Gardening movement Much of this was originally
    sparked by Andy Matuschak’s notes Go have a good browse through them Andys linked
    notes stack on top of one another allowing you to browse to new notes while previous
    notes are still visible There is plenty to admire here It should be noted Andy
    is an experienced developer and interaction designer and these notes should not
    be taken as the standard expectation for the rest of us normal plebby internet
    citizens But the key part of this system that creates interlinked context is the
    “Links to this Note” section at the bottom of each post Anytime Andy links to
    another one of their notes on the site it will pop up as a related note at the
    bottom of the page This is the bidirectional dream It gives us a way to navigate
    through these ideas in exploratory mode rather than navigating a hierarchy of
    categories on a main index page Since it is all contained within a singleauthor
    site our SpammishTrollrisk factor is at a comfortable zero This is mildly tangential
    but I love how the topic of bidirectional links makes fully visible our “websites
    are locations” and “websites are containers” conceptual metaphors with “inside”
    and “outside” links Building Your Own BiDirectionals That is all very cool but
    how are you supposed to build bidirectionals into your own site Thankfully setting
    up your own public gardening bidirectional Memex does not involve Xanadu One fantastic
    option for nondevelopers is based around a personal wiki system called TiddlyWiki
    AnneLaure Le Cunff wrote up an easytofollow guide to getting your own up and running
    For those of us here for the hypercustomised overengineered JavaScript solution
    that would be me the Gatsbyjs community has a number of active gardening enthusiasts
    building themes and plugins I built mine using Aengus McMillin’s gatsbythemebrain
    Aengus has documented the theme well and it is not too challenging to implement
    as long as you are comfortable in JavaScript and React I also curate a list of
    tools for Digital Gardening on this Github repo BiDirectional Linking with WebMentions
    While I argued that Webwide bidirectional links are unlikely to happen at a global
    scale there is a way you can add bidirectionals to your personal website that
    picks up on references anywhere on the web WebMentions are a piece of web infrastructure
    the IndieWeb community has done a lot of work to advocate for The W3C gave the
    specification recommendation status in 20178ya The system notifies a URL whenever
    that site is mentioned elsewhere on the web You are then able to show that mention
    and its contents on your site It is essentially an optin bidirectional linking
    system Plenty of folks have written useful guides on how to add these to your
    site Here is one for any static site one for Gatsby one for Nextjs There is a
    whole list of implementation examples on the IndieWeb Wiki you can look through
    5 Backlinks A Brief History Ethos of the Digital Garden A newly revived philosophy
    for publishing personal knowledge on the web Digital Gardening for NonTechnical
    Folks How to build a digital garden without touching code Transclusion and Transcopyright
    Dreams The lost permissioning and copyright system of the Web The Pattern Language
    of Project Xanadu Project Xanadu as a pattern language rather than a failed software
    project A MetaTour of This Site A video tour through how I build the old version
    of this site Mentions around the webCarlos Sanmartín Bustosmentioned in En busca
    de enlaces bidireccionalesJune 24 2024Una de las cosas que echo en falta al haber
    pasado el blog a un sitio estático son los links bidireccionales No tanto los
    links que provengan de fuera que hoy en día van a ser mínimos como los links internos
    que permiten explorar el blog por ejemplo para avanzar hacia el futurAngsuman
    Chakrabortymentioned January 07 2023A Short History of BiDirectional Links CypherNewsmentioned
    January 04 2023 Hacker News A short history of bidirectional links 2020 hackernews
    HN Front Pagementioned January 04 2023A Short History of BiDirectional Links L
    C newsycombinatorcomitemid342447…Winson Tangmentioned January 04 2023A short history
    of bidirectional links 2020 Hacker Newsmentioned January 04 2023A short history
    of bidirectional links 2020 Patrick Durusau  White Person on White Supremacymentioned
    May 18 2022codexeditor I Have lost the tweet where I saw this mentioned earlier
    today I like the Web Mentions idea esp if we could use XPath to point to less
    than the page level Thoughts Show 3 more Want to stay up to date Subscribe via
    RSS Feed © 2025 Maggie Appleton The Garden Essays About Notes Now Patterns Podcasts
    Talks Smidgeons Colophon Library
- text: Part 1 Introduction to Responsible Technology by goodbot MediumOpen in appSign
    upSign inWriteSign upSign inPart 1 Introduction to Responsible TechnologygoodbotFollow11
    min read·Aug 3 2023ListenShareIntroductionIn late 2022 the GoodBot team  consisting
    of a group of sociallyminded professionals working in law technology and policy
     came together to develop a snapshot of Canada’s current Responsible Technology
    landscape This is a space that to date had been heavily defined by voices from
    the United States Our goal is to understand the Canadian ecosystem’s current composition
    capacity and direction particularly how technology impacts Canadians what issues
    are of focus in research and programming and how the policy landscape is evolving
    at the provincial national and international levelsTechnology is revolutionizing
    everything from healthcare to education to law to climate science and government
    but is also associated with a wide range of risks and harms making responsible
    technology governance a critical priority for governments nonprofits and marketsNew
    visions clear policy frameworks effective implementation methods and multistakeholder
    oversight bodies are needed to navigate this landscape It also requires public
    interestfocused strategic collaboration that includeslongterm research on harmsmore
    transparency and collaborative efforts with technology companies to strengthen
    safetyeffective mechanisms to hold companies accountable when they fail to act
    in response to harminvestment in public interest technology and philosophies that
    prioritize healthy technology ecosystemsunderstanding the leverage points and
    incentive systems that contribute to these outcomes andthe development of the
    critical capacities needed to meet this momentWe know from the last two decades
    that when technology tools and platforms become deeply embedded in institutions
    like media and education before they are regulated they become harder to govern
    This reality has led to escalating and lasting harm in a number of areas The pressing
    question now is how to forge a new direction recognizing the immediate need to
    take actionThis is the introduction to a research project on Canada’s Responsible
    Technology landscape GoodBot’s goal with this research is threefoldTo understand
    the current landscape and priorities of Canada’s Responsible Technology ecosystem
    including the who what where and howTo highlight gaps and opportunities within
    this ecosystem that can help Canada develop a more robust impactful and collaborative
    approach and agenda andTo understand what role GoodBot can play in advancing Responsible
    Technology at home and around the worldWhat is Responsible TechnologyResponsible
    Technology acts as an umbrella for a range of approaches and terms that all focus
    on different issues or specific intervention points in technology and business
    life cycles It includes concepts such as ethical tech humane tech tech stewardship
    and public interest tech all of which are connected and overlap but which also
    center on different locus of influence These and other terms will be explored
    in Part 1 of our seriesResponsible Technology is a relatively new framing that
    includes a wide range of issues related to technology Some issues  like privacy
    and freedom of expression  are longstanding cornerstones of the most established
    technology nonprofits in the country while conversations on Generative AI risks
    are relatively new Yet technology and AI ethics have been around for decades with
    themes prominent among academic labs human rights defenders peacebuilders and
    in other convening spaces What has changed is the scale and pace of technology
    and the amplification of new risks and narratives surrounding technology harms
    These have created a growing awareness of the need for safetyfocused design and
    research at the outset meaningful oversight of technology companies and effective
    accountability mechanisms when companies fail to act in the public interestMany
    technology tools and businesses currently fail to meet even a vague understanding
    of Responsible Technology This is especially true for small to medium technology
    companies who focus on survival and leave proactive assessment and harm mitigation
    as an afterthought if they get any attention at all Others have social impact
    strategies that are completely detached from their business modelFew companies
    start with the goal of causing harm but unintended consequences can arise due
    to a lack of intentional consideration capacity and unanticipated and conflicting
    priorities Additionally as products scale seemingly harmless matters can lead
    to real harm as user bases grow use cases expand and incentive structures change
    The explosive emergence of generative AI has made it even more clear that left
    unaddressed these structural factors risk widening the gap between privatized
    profit and socialized riskIn spite of these growing concerns several Big Tech
    companies have chosen to lay off large segments of their Trust and Safety teams
    seeing them as cost centers that add undesirable operational complexity Even when
    companies have Trust and Safety teams in place they are often pitted against product
    teams The result is companies that increasingly seek to automate these decisions
    which frequently and disproportionately impact minority communities including
    human rights defendersSome companies have begun sharing Transparency Reports which
    is a move in the right direction However there are no agreed standards or metrics
    against which to assess companies’ commitment to social sustainability nor is
    there any external oversight These factors lead to the possibility of ‘tech washing’
    and cherrypicking data that provide the appearance of taking action but in ways
    that lack substantive effect or because new harmMoreover even companies that have
    the desire to act responsibly can lose sight of their original goals when they
    face demands for outsized returns from investors  including venture capitalists
    and private equity investors  which can place them at odds with decisions that
    are in the public interestIn this context a wide range of social harms and externalities
    have arisen  many of which are unintentional  and which includeBiased Unaccountable
    Untransparent AutomationBias in untransparent algorithms that discriminate against
    marginalized groupsDisruption of the workforce by generative AI in almost all
    professional sectorsBig Tech DominationBig Tech market domination to control value
    chains through predatory pricing terms and acquisitionsNonconsensual selling of
    personal data to and from thirdparty data brokersAddiction Mental HealthThe use
    of dark patterns to drive engagement and addiction in gaming and social mediaThe
    decline of attention spans at a population level in the last 20 yearsThe decline
    in mental health and body image especially among youth leading to self harm and
    deathHarassment Violence ExtremismIncitement to radicalization extremism and even
    genocideTrolling doxing and harassment including targeting women trans and BIPOC
    peopleBad ActorsTargeted and opportunistic disinformation and microtargeting to
    undermine democraciesScams to steal millions from people through generative AI
    or with crypto hacksTrafficking of women and girls on the dark web and in mainstream
    platformsThis is by no means a comprehensive list In response Responsible Technology
    advocates have advanced efforts in recent years to understand the wide array of
    externalities impacting different levels of society These initiatives variously
    aim to understand harms and causes increase public awareness and engagement incentivize
    governments to enact new laws and enforce existing ones and create solutions that
    lead to safer and more responsible technologyenabled environmentsAdditionally
    a new wave of government and nonprofit investigations and litigation aims to clarify
    technology companies’ responsibilities and identify leverage points to incentivize
    responsibility These efforts have had some successes but are often too incremental
    and underresourced to keep paceThe scale and complexity of issues arising from
    technology are unprecedented Canada needs a clear Responsible Technology agenda
    and sufficient investment to move toward a technological future defined by healthy
    people businesses markets societies and democraciesThe Asymmetry Sustainability
    GapA key barrier facing Responsible Technology advocates  including journalists
    academics tech nonprofits technologists tech ethics experts policymakers and citizens
     in addressing technology harms is an existing and growing set of asymmetrical
    disadvantages when compared to the companies and sectors responsible for harmThese
    disadvantages manifest in many forms including limited access to talent data sets
    algorithms infrastructure information internal research and audits knowledge and
    resources It shows up in access to capital restrictions on how capital can be
    used and comparatively robust ethical requirements It is further exacerbated by
    companies’ anticompetition tactics to buy out underprice feature bundle and otherwise
    aggressively quash any disruptors who may be able to offer healthier alternativesAdditionally
    asymmetries show up when comparing the inputs and outcomes around harm It is 
    for example  much less resource intensive to create campaigns to disseminate
    disinformation on vaccines  than it is to undo the damage caused by this disinformation
    This reality places a societal premium on considering what effective oversight
    governance and accountability of technology look like but also raises the need
    to balance corrective actions with Freedom of Expression FoE norms The global
    nature of many technology platforms means that US norms are effectively imposed
    on Canada and other countries Yet Canada has its own unique and wellestablished
    interpretations of fundamental freedoms that should be considered and protected
    in the face of technological changeCanada’s Responsible Technology ecosystem is
    small and underresourced compared to its US counterparts and at this time there
    are few prominent ecosystemlevel organizations that are wellpositioned to guide
    a Responsible Technology community and strategy Yet to effectively influence outcomes
    Responsible Technology advocates need to work together including by establishing
    new governance innovationsA critical factor in the Canadian context is that much
    of the funding to date has focused on understanding symptoms and immediate causes
    rather than underlying structural issues and incentive systems at play Some of
    this is a product of new and emerging organizations with limited track records
    while other issues arise from inadequate and restrictive funding and opportunities
    Some organizations only work on technology matters at a project level rather than
    a mission level Such factors are important to understanding the limitations on
    Canada’s capacity and sustainability Our sixth report will explore Canada’s nonprofit
    capacity in more depthAn additional barrier is that there are no obvious market
    solutions to address many of the problems that arise from technology For example
    while technology has led to unprecedented online harassment of women people of
    color and LGBTQ communities companies offer limited solutions aimed at limiting
    harassmentThis reality is exacerbated by the fact that markets recently rewarded
    technology companies for cuts that significantly depleted their Trust Safety teams
    even when it occurred at a time of high salience around the risks posed by technology
    platformsLack of coordination is also a factor among tech companies For example
    some companies argue that if they do not employ harmful tactics such as polarizing
    content or algorithms to attract attention they will lose out to rivals who will
    These realities point to an increasing need for sectors to collaborate toward
    reducing harm and promoting public interestIndeed in areas where companies have
    invested more material resources  including to address extremism and protect
    children  even Big Tech lacks the bandwidth to address the complex range of issues
    on its own making collaboration essential Within the tech sector new multistakeholder
    initiatives such as Global Internet Forum to Counter Terrorism and the Tech Coalition
    have been launched in an effort by technology platforms  and include human rights
    advocates governments and researchers  who work collectively to reduce extremism
    and child sexual abuse material online respectively Such issues are even more
    challenging for smaller platforms and startups that lack internal resources to
    respond to emerging and unanticipated issuesUltimately while technology companies
    contribute many benefits to society they also contribute significant problems
    that neither society the markets nor they are presently able to solve They often
    lack incentives to prevent and address problems up front and even when they want
    to do the right thing investor incentives can derail their decisions There are
    limited market incentives to address challenges created by businesses and market
    competition Moreover our governance institutions operate in ways that are incompatible
    with the fastmoving pace of technology which presently tend to focus on harm to
    individuals instead of on harm to society These factors together mean that we
    are in a situation that is by definition unsustainable We need collective action
    to address these risks including through responsible resources capacities frameworks
    budgets and policiesCanada’s Policy LandscapeWhile several technologyfocused bills
    are in development Canada’s current policy landscape is far behind the advances
    of the last 20 years This is also true of many other countries that currently
    lack the policies capacities institutions and enforcement mechanisms needed to
    govern a rapidly evolving technology environment Furthermore research shows that
    even where effective policies are in place underresourced enforcement mechanisms
    such as antitrust hamper the ability of governments to enforce existing laws In
    this context the role of civil society organizations is particularly importantWhile
    the policy landscape is expected to evolve rapidly we do not know what effect
    these policies will have or how coherent they will be across jurisdictions and
    issues Canada has introduced many bills for consideration but few have passed
    and all leave much to be desired In the intervening time legal firms and the Privacy
    Commissioner have advanced litigation  with a particular focus on privacy and
    antitrust  to hold technology companies accountableCivil society organizations
    often lack consensus on addressing key issues For instance Online Harms advocates
    support stricter content moderation to tackle harassment extremism and child exploitation
    In Canada some lean towards Freedom of Expression while others recognize the need
    to address such harms but fear that wellintentioned policies could inadvertently
    suppress the voices of vulnerable communities Balancing these competing rights
    is complex Responding to emerging issues and harms that affect us all requires
    better public engagement This includes open and inclusive dialogue transparent
    consultation processes and effective accountability mechanisms to navigate these
    complexities and to help uphold and balance a range of fundamental Canadian rightsIndeed
    there are no ‘right’ answers but rather ‘different tradeoffs’ Moreover there are
    ways to escape such polarity traps which can easily become politicized resulting
    in deadlock Even among nonprofit organizations such as the ones that are seemingly
    at odds on online harms for example both largely agree that passing comprehensive
    privacy frameworks would mark an important victory and achievementYet even if
    we achieve effective regulation and enforcement addressing entrenched asymmetries
     especially those caused by Big Tech  requires a collective agenda and roadmap
    What is clear is that our current institutions lack the capacity and resilience
    needed to address the challenge we faceAs Canadians we have an opportunity to
    draw upon the values that make us strong as we reimagine our relationship with
    technology Ideas such as Indigenous approaches to data sovereignty collaboration
    and multiculturalism have much to teach us about how to navigate these complex
    issues This moment presents an opportunity to rethink and localize the who how
    and why of technology governance This is both a daunting and an exciting challengeOpenSourcing
    GoodBot’s ResearchFor GoodBot our first step is to practice our open principles
    by sharing what we have learned We hope that this research can lay the groundwork
    for building a Canadian coalition to support its nascent and necessary Responsible
    Technology movementGetting to impact requires understanding Canada’s existing
    capacity understanding the systemic issues at play exploring moral and policy
    considerations surfacing current and emerging asymmetries of power and exploring
    how AI is upending companies and industries It also requires a collective strategy
    and targeted action focused on moving toward responsibilityThese documents are
    intended to act as a primer for anyone seeking to make an impact in addressing
    critical priorities facing Canada and the world While our early research may initially
    be of more value to nonprofits and academics and should be considered a WorkinProgress
    we aspire to a future where solutionsoriented multistakeholder collaboration is
    a new norm Our research will be broken into two partsPart 1 is a Canadian Responsible
    Technology Landscape that explores common terms civil society stakeholders current
    and emerging policies and litigation and how asymmetries of power manifestPart
    2 reviews the results of a survey conducted key observations on the current and
    emerging landscape and critical reflections on how to strengthen interdisciplinary
    collaboration among nonprofit organizations academia the tech sector and governmentIn
    an ideal world this work will lead to highlevel consultations and strategies developed
    in collaboration with other ecosystem organizations motivated to move this conversation
    forwardCanada as a Global Leader in Responsible TechDespite and perhaps because
    of the wide array of challenges Canada has an opportunity to become a global leader
    in developing deploying and governing technology in socially sustainable ways
    Getting there requires an urgent focus on strengthening national capabilities
    by investing in strategic and systemsfocused multistakeholder mechanismsIndeed
    organized effectively Canadian civil society represents critical and untapped
    assets to help meet this moment There is also a need to strengthen citizen education
    advance responsible policy and oversight create technical solutions to advance
    the public interest introduce responsible technology certifiers and respond to
    systemic factors that lead to harmful outcomes Canadians can no longer afford
    to wait The time to engage is nowVersion 10 July 2023 Written by Renee BlackFollowWritten
    by goodbot3 Followers·1 FollowingFollowNo responses yetHelpStatusAboutCareersPressBlogPrivacyRulesTermsText
    to speech
metrics:
- accuracy
pipeline_tag: text-classification
library_name: setfit
inference: false
base_model: sentence-transformers/paraphrase-mpnet-base-v2
model-index:
- name: SetFit with sentence-transformers/paraphrase-mpnet-base-v2
  results:
  - task:
      type: text-classification
      name: Text Classification
    dataset:
      name: Unknown
      type: unknown
      split: test
    metrics:
    - type: accuracy
      value: 0.5517241379310345
      name: Accuracy
---

# SetFit with sentence-transformers/paraphrase-mpnet-base-v2

This is a [SetFit](https://github.com/huggingface/setfit) model that can be used for Text Classification. This SetFit model uses [sentence-transformers/paraphrase-mpnet-base-v2](https://huggingface.co/sentence-transformers/paraphrase-mpnet-base-v2) as the Sentence Transformer embedding model. A MultiOutputClassifier instance is used for classification.

The model has been trained using an efficient few-shot learning technique that involves:

1. Fine-tuning a [Sentence Transformer](https://www.sbert.net) with contrastive learning.
2. Training a classification head with features from the fine-tuned Sentence Transformer.

## Model Details

### Model Description
- **Model Type:** SetFit
- **Sentence Transformer body:** [sentence-transformers/paraphrase-mpnet-base-v2](https://huggingface.co/sentence-transformers/paraphrase-mpnet-base-v2)
- **Classification head:** a MultiOutputClassifier instance
- **Maximum Sequence Length:** 512 tokens
<!-- - **Number of Classes:** Unknown -->
<!-- - **Training Dataset:** [Unknown](https://huggingface.co/datasets/unknown) -->
<!-- - **Language:** Unknown -->
<!-- - **License:** Unknown -->

### Model Sources

- **Repository:** [SetFit on GitHub](https://github.com/huggingface/setfit)
- **Paper:** [Efficient Few-Shot Learning Without Prompts](https://arxiv.org/abs/2209.11055)
- **Blogpost:** [SetFit: Efficient Few-Shot Learning Without Prompts](https://huggingface.co/blog/setfit)

## Evaluation

### Metrics
| Label   | Accuracy |
|:--------|:---------|
| **all** | 0.5517   |

## Uses

### Direct Use for Inference

First install the SetFit library:

```bash
pip install setfit
```

Then you can load this model and run inference.

```python
from setfit import SetFitModel

# Download from the 🤗 Hub
model = SetFitModel.from_pretrained("praisethefool/human_tech-fields-multilabelclassifier")
# Run inference
preds = model("5 DeSci projects disrupting scientific research and development — Crypto Altruism 0 Skip to Content BLOG CATEGORIES DAOs EDUCATION ENVIRONMENT REFI EQUITY INCLUSION FINANCIAL INCLUSION DEFI NFTs PHILANTHROPY SCIENCE DESCI SOCIAL IMPACT SUPPLY CHAIN COMMENTARY PODCASTS CRYPTO ALTRUISM PODCAST THE WEB3 NONPROFIT IMPACT ON OPTIMISM INFOGRAPHICS RESOURCES BECOME A CRYPTO CHARITY DONATING CRYPTO LEVERAGING AI AT YOUR NONPROFIT ABOUT US WHO WE ARE TRANSPARENCY AFFILIATE PARTNERSHIPS CONTACT SUPPORT US Open Menu Close Menu Open Menu Close Menu BLOG CATEGORIES DAOs EDUCATION ENVIRONMENT REFI EQUITY INCLUSION FINANCIAL INCLUSION DEFI NFTs PHILANTHROPY SCIENCE DESCI SOCIAL IMPACT SUPPLY CHAIN COMMENTARY PODCASTS CRYPTO ALTRUISM PODCAST THE WEB3 NONPROFIT IMPACT ON OPTIMISM INFOGRAPHICS RESOURCES BECOME A CRYPTO CHARITY DONATING CRYPTO LEVERAGING AI AT YOUR NONPROFIT ABOUT US WHO WE ARE TRANSPARENCY AFFILIATE PARTNERSHIPS CONTACT SUPPORT US BLOG Folder CATEGORIES Back DAOs EDUCATION ENVIRONMENT REFI EQUITY INCLUSION FINANCIAL INCLUSION DEFI NFTs PHILANTHROPY SCIENCE DESCI SOCIAL IMPACT SUPPLY CHAIN COMMENTARY Folder PODCASTS Back CRYPTO ALTRUISM PODCAST THE WEB3 NONPROFIT IMPACT ON OPTIMISM INFOGRAPHICS Folder RESOURCES Back BECOME A CRYPTO CHARITY DONATING CRYPTO LEVERAGING AI AT YOUR NONPROFIT Folder ABOUT US Back WHO WE ARE TRANSPARENCY AFFILIATE PARTNERSHIPS CONTACT SUPPORT US 5 DeSci projects disrupting scientific research and development Project HighlightsScienceDAOs Mar 30 Written By Drew Simon 2021 was the year of decentralization and this momentum has only increased into 2022 Not only have we seen incredible growth in the decentralized finance DeFi space but we have also seen the emergence of social impact DAOs decentralized media platforms decentralized VC funds and more recently the emergence of a new field – Decentralized Science or DeSci In short “the decentralized science DeSci movement aims to harness new technologies such as blockchain and ‘Web3’ to address some important research pain points silos and bottlenecks” Whereas scientific research has long been viewed as overly bureaucratic and disjointed the DeSci movement aims to improve this by using blockchain to offer greater transparency and to take on the “profit hungry intermediaries” such as scientific journals that have dominated the traditional research spaceFor some resources on DeSci I recommend you check out the following articlesDeSci an opportunity to decentralize scientific research and publicationA Guide to DeSci the Latest Web3 MovementCall to join the decentralized science movementFor this blog post we will be highlighting 5 DeSci projects that are leading the way and positively disrupting scientific research and development1 VitaDAOOne of the best examples of DeSci in action is VitaDAO a Decentralized Autonomous Organization DAO focused on funding longevity research in “an open and democratic manner” Specifically they are focused on the decentralization of drug development focused on the extension of human life and healthspan They fund earlystage research with the goal of turning the research into biotech companiesVitaDAO is government by holders of VITA tokens which can either be purchased or earned through contributions of work or intellectual property With over 4000 members and 9M in funding raised to support scientific research VitaDAO has proven that the DeSci movement is no laughing matterCheck out some of their featured projects here2 SCINETThe SCINET platform which is built on blockchain enables retail and institutional investors to securely invest in scientific research and technology directly In addition to funding promising scientific research they also offer a “blockchainpowered” cloud laboratory for researchers a rigorous decentralized peer review process and enable researches to document their IP on an immutable blockchain3 AntidoteDAOAntidoteDAO is a decentralized community focused on funding cancer research and other cancer initiatives Their ecosystem includes a governance token and NFT collection which both enable individuals to vote on where to allocate funds In addition to providing funding to charities supporting cancer research and cancer patients a core focus of the DAO is on providing 100K seed fund grants to cancer research teams Research projects are first reviewed by the DAO’s Medical Advisory team and then put to the community for a vote Fun fact we have an upcoming podcast episode with AntidoteDAO that when available will be published HERE Crypto Altruism uses Ledger to keep its assets safeYou’ve probably heard the phrase “not your keys not your coins” By choosing a hard wallet like the Nano S Plus to store your crypto you can rest assured that the keys and the crypto are truly yoursGet your Ledger Nano S Plus now by clicking HERE or on the image below 4 LabDAOLabDAO is an emerging organization which is dedicated to operating a communityrun network of wet and dry labs with the goal of advancing scientific research and development A wet lab is one focused on analysing drugs chemicals and other biological matter whereas a dry lab is one focused on applied or computational mathematical analysis LabDAO is a relatively new project that is still in its infancy but has a promising mission and strong community of support around it 5 MoleculeMolecule is a decentralized scientific research funding platform that operates as a marketplace for researchers seeking out funding and individuals looking to invest in scientific research projects They are “connecting leading researchers to funding by turning intellectual property and its development into a liquid and easily investable asset”Researchers can list their research projects on the Molecule marketplace as a means to engage with potential investors and to secure funding for their project Molecule currently has over 250 research projects listed on their marketplace over 4500 DAO community members and 3 “Bio DAOs” with over 10M in funding in their network According to Molecule “The future of life science research will be driven by open liquid markets for intellectual property powered by web3 technology”We cover more amazing DeSci projects in our more recent postTen more DeSci projects disrupting scientific research development and knowledge sharing Buy me a coffee Send a tip in ETH cryptoaltruismethLike what you are reading Consider contributing to Crypto Altruism so we can continue putting out great content that shines a light on the good being done in the crypto and blockchain community SUPPORT CRYPTO ALTRUISM Please note we make use of affiliate marketing to provide readers with referrals to high quality and relevant products and services DeScidecentralizationscienceblockchainlists Drew Simon Previous Previous Crypto Altruism Podcast Episode 39 AntidoteDAO Decentralized funding of cancer research and charitable initiatives Next Next Crypto Altruism Podcast Episode 38 Using NFTs to empower content creators and help kids learn ft Susie Jaramillo CONTENTBLOGPODCASTINFOGRAPHICSCURATED LISTS ABOUTABOUTSUPPORT USCONTACTDISCLAIMERPRIVACY POLICY Buy me a coffee ETHERC20 cryptoaltruismeth 0xac5C0105914F3afb363699996C9914f193aeDD4A Sign up for our monthly newsletter Thank you © Crypto Altruism 2023 FOLLOW")
```

<!--
### Downstream Use

*List how someone could finetune this model on their own dataset.*
-->

<!--
### Out-of-Scope Use

*List how the model may foreseeably be misused and address what users ought not to do with the model.*
-->

<!--
## Bias, Risks and Limitations

*What are the known or foreseeable issues stemming from this model? You could also flag here known failure cases or weaknesses of the model.*
-->

<!--
### Recommendations

*What are recommendations with respect to the foreseeable issues? For example, filtering explicit content.*
-->

## Training Details

### Training Set Metrics
| Training set | Min | Median    | Max   |
|:-------------|:----|:----------|:------|
| Word count   | 20  | 2568.9241 | 13352 |

### Training Hyperparameters
- batch_size: (8, 8)
- num_epochs: (1, 1)
- max_steps: -1
- sampling_strategy: oversampling
- body_learning_rate: (2e-05, 1e-05)
- head_learning_rate: 0.01
- loss: CosineSimilarityLoss
- distance_metric: cosine_distance
- margin: 0.25
- end_to_end: False
- use_amp: True
- warmup_proportion: 0.1
- l2_weight: 0.01
- seed: 42
- evaluation_strategy: steps
- eval_max_steps: -1
- load_best_model_at_end: True

### Training Results
| Epoch  | Step | Training Loss | Validation Loss |
|:------:|:----:|:-------------:|:---------------:|
| 0.0017 | 1    | 0.2236        | -               |
| 0.0694 | 40   | -             | 0.1379          |
| 0.0868 | 50   | 0.1722        | -               |
| 0.1389 | 80   | -             | 0.1440          |
| 0.1736 | 100  | 0.0536        | -               |
| 0.2083 | 120  | -             | 0.1412          |
| 0.2604 | 150  | 0.0293        | -               |
| 0.2778 | 160  | -             | 0.1343          |
| 0.3472 | 200  | 0.0234        | 0.1406          |
| 0.4167 | 240  | -             | 0.1266          |
| 0.4340 | 250  | 0.0176        | -               |
| 0.4861 | 280  | -             | 0.1118          |
| 0.5208 | 300  | 0.0193        | -               |
| 0.5556 | 320  | -             | 0.1095          |
| 0.6076 | 350  | 0.0162        | -               |
| 0.625  | 360  | -             | 0.0926          |
| 0.6944 | 400  | 0.0223        | 0.0995          |
| 0.7639 | 440  | -             | 0.0923          |
| 0.7812 | 450  | 0.018         | -               |
| 0.8333 | 480  | -             | 0.0814          |
| 0.8681 | 500  | 0.0045        | -               |
| 0.9028 | 520  | -             | 0.0801          |
| 0.9549 | 550  | 0.0074        | -               |
| 0.9722 | 560  | -             | 0.0794          |

### Framework Versions
- Python: 3.11.12
- SetFit: 1.1.2
- Sentence Transformers: 3.4.1
- Transformers: 4.51.3
- PyTorch: 2.6.0+cu124
- Datasets: 3.5.1
- Tokenizers: 0.21.1

## Citation

### BibTeX
```bibtex
@article{https://doi.org/10.48550/arxiv.2209.11055,
    doi = {10.48550/ARXIV.2209.11055},
    url = {https://arxiv.org/abs/2209.11055},
    author = {Tunstall, Lewis and Reimers, Nils and Jo, Unso Eun Seo and Bates, Luke and Korat, Daniel and Wasserblat, Moshe and Pereg, Oren},
    keywords = {Computation and Language (cs.CL), FOS: Computer and information sciences, FOS: Computer and information sciences},
    title = {Efficient Few-Shot Learning Without Prompts},
    publisher = {arXiv},
    year = {2022},
    copyright = {Creative Commons Attribution 4.0 International}
}
```

<!--
## Glossary

*Clearly define terms in order to be accessible across audiences.*
-->

<!--
## Model Card Authors

*Lists the people who create the model card, providing recognition and accountability for the detailed work that goes into its construction.*
-->

<!--
## Model Card Contact

*Provides a way for people who have updates to the Model Card, suggestions, or questions, to contact the Model Card authors.*
-->