Benji Xie

icon indicating a website link http://www.benjixie.com icon indicating an email [email protected]

icon company Stanford University icon location Bay Area, CA icon location I design critical & equitable human-data interactions. Postdoc, Stanford HCI & GSE. 🔜 Univ. Denver CS. Prev: Stanford HAI, UW iSchool, MIT CS, Code.org.

Results 2 comments of Benji Xie

Incompetible with SDK v9

Solution offered by @Xoce51 also worked for me. Adding more keywords for visibility, b/c incompatibility was perplexing me for awhile! When trying to call `firebase.createUser()`, I got the following error:...

Request textDocument/completion failed.

also getting this error. actual result: UI shows my dafny code being verified without errors when errors are certainly present (as verified on rise4fun). expected: verification fails and errors, failures...