Ben

Two different nginx approaches: https://www.digitalocean.com/community/questions/nginx-same-root-folder-for-multiple-website-different-robots-txt https://stackoverflow.com/questions/26308779/nginx-different-robots-txt-for-alternate-domain

For now I'm going to hold off on fixing what might not actually be an issue. If the Google index doesn't include allofphysics.com then a separate robots.txt might be relevant.

This would be computationally expensive in terms of queries, since every keystroke triggers a search of the PDG database to compare the symbols entered so far against existing expressions in...

The same functionality is needed for user search - https://github.com/allofphysicsgraph/proofofconcept/issues/238

filtered out bots and crawlers using the User Agent string ```python with open('logs_as_of_2024-09-02/nginx_access.log') as file_handle: file_content = file_handle.readlines() list_of_dicts = [] for this_line in file_content: list_of_dicts.append(eval(this_line.strip())) df = pandas.DataFrame(list_of_dicts) df['time']...

"Drop-in replacement for Neo4j graph database with full Cypher and Bolt compatibility." has open-source and free repos: - - 4 years old? No entry on wikipedia Not much traffic on...

GraphDB -- not free; not open source

OrientDB - open source and free:

Titan - Aimed at multi-node scalability

Gremlin query language with TinkerPop database