Physics Derivation Graph Blog Posts

New content not on physicsderivationgraph.blogspot.com:

2026/03: Context for a Prompt for LLMs
2026/03: Sequence of Prompts for LLM to convert wikipedia or PDF content to Latex for Physics Derivation Graph
2026/03: Friction of Entering New Derivations
2026/03: Backlog grooming of derivations
2026/03: DigitalOcean initial configuration
2026/03: Exploring Claude code LLM from Anthropic on a VPS virtual private server
2026/03: Validation crisis in mathematical physics

Content copied from physicsderivationgraph.blogspot.com:

2026/01/website-unavailable:-potentially-caused-by-memory-leak-of-fwupd
2026/01/VPS-price-comparison-September-2024
2026/01/VPS-price-comparison-January-2026
2026/01/Oracle-cloud-configuration-for-Free-Tier
2026/01/Hetzner-VPS-initial-configuration-notes
2026/01/design-decisions-from-scratch
2025/12/website-unresponsive:-diagnostic-steps-and-blocking-the-AI-crawlers
2025/11/links-to-papers-on-Hilberts-Sixth-problem
2025/11/Learning-Lean
2025/11/finding-an-alternative-Neo4j-a-schema-for-SQL
2025/11/cost-benefit-analysis-of-Neo4j-database:-worth-$72-more-per-year
2025/11/a-single-step-fully-verified-using-SymPy-and-Lean
2025/10/resizing-to-smaller-VPS
2025/10/I-know-more-now-than-I-did-a-few-years-ago
2025/06/best-practices-for-use-of-LLMs
2025/05/requirements-generation
2025/05/arm64-and-amd64-docker-builds
2025/04/formal-evaluation-of-adding-one-in-Python
2025/04/criteria-for-an-impactful-and-efficient-prototype
2025/01/what-should-I-work-on-many-options-for-tasks-TODO
2025/01/using-Gemini-LLM-to-create-derivation-steps-using-inference-rules
2025/01/use-of-LLMs-could-make-the-Physics-Derivation-Graph-more-feasible
2025/01/troubleshooting-docker-and-podman-on-MacAirbook-M2
2025/01/spanning-the-topics-and-assumptions-of-Physics
2025/01/roles-use-cases-and-requirements
2025/01/mapping-out-topics-in-Physics
2025/01/another-use-case-for-the-Physics-Derivation-Graph
2025/01/analyzing-the-PDG-repo-using-Gemini
2025/01/a-sequence-of-prompts-to-get-an-LLM-to-provide-content-for-the-Physics-Derivation-Graph
2024/12/levels-of-software-quality
2024/12/Characterizing-complexity-of-software-and-social-systems
2024/09/unable-to-SSH-into-VPS-after-upgrade-of-Ubuntu-from-20-to-22-LTS
2024/09/Notes-from-Talks-at-Google-episode-485:-A-Philosophy-of-Software-Design-by-John-Ousterhout
2024/09/new-droplet-for-Ubuntu-24-LTS
2024/09/mentally-untangling-the-spaghetti-code
2024/05/notes-on-status-and-near-term-plans
2024/05/distinguishing-scalars-vectors-and-matrices-as-operators-or-symbols
2024/03/dichotomy-of-assumptions
2024/03/Derivations-CAS-Lean-and-Assumptions-in-Physics
2024/02/derivations-identities-and-other-categories-of-mathematical-physics
2024/01/Python-dependencies-visualization-using-pydeps
2023/12/LLM-that-includes-the-concept-of-inference-rules
2023/12/LLM-prompts-for-the-Physics-Derivation-Graph
2023/12/including-Lean-proofs-in-a-property-graph-data-structure
2023/12/example-interaction-with-ChatGPT-3.5-to-produce-a-Lean-proof
2023/12/best-practices-for-prompts-for-large-language-models---LLMs
2023/09/notes-from-Preposterous-Universe-podcast-episode-245
2023/08/HTML-arxiv-papers-semantic-tagging-and-formal-verification
2023/08/a-chain-of-custody-for-papers-in-arxiv-to-formal-proofs-in-Lean
2023/06/use-of-the-Physics-Derivation-Graph-is-driven-by-incentives-for-individuals
2023/06/Translating-between-Physics-Derivation-Graph-concepts-and-features-in-the-Lean-Theorem-prover
2023/06/summarization-information-retrieval-and-creative-synthesis
2023/06/software-for-numerical-calculations-of-derived-expressions-versus-implementation-of-an-algorithm
2023/06/relation-between-Inference-Rules-in-the-Physics-Derivation-Graph-and-Proofs-in-Lean
2023/06/OpenAIs-process-supervision-for-math-problems-and-relevance-to-the-Physics-Derivation-Graph
2023/06/molecular-dynamics-simulations-in-Lean
2023/06/historical-evolution-of-a-git-repo
2023/06/Finding-Derivations-of-Newtons-Law-of-Universal-Gravitation-online
2023/06/Coulombs-law-can-be-used-to-derive-Gausss-law-and-vice-versa
2023/06/computer-algebra-system-CAS-is-inadequate-for-the-Physics-Derivation-Graph-PDG
2023/06/chain-of-custody-for-formally-verified-software
2023/06/automating-entry-of-derivations-into-the-Physics-Derivation-Graph-website
2023/05/tracing-Python-in-JSON-based-workflow-is-untenable
2023/05/Omniscient-project-management
2023/04/intermittent-Internal-Server-Error-on-webpage---activity-log-of-diagnosis
2023/03/Physics-Informed-Neural-Networks-PINN-and-Deep-symbolic-regression-for-physics
2023/03/OpenModelica-on-Mac-using-Docker----command-line-and-GUI
2023/03/OpenModelica-jargon-dictionary
2023/03/Ansible
2023/02/Medical-knowledge-as-a-probabilistic-decision-tree
2022/12/MONTEREY-PHOENIX-model-checker
2022/12/MONTEREY-PHOENIX-grammar-keywords-and-common-patterns
2022/11/steps-I-took-to-add-a-picture-to-the-website-frontpage
2022/10/websites-for-learning-TLA+
2022/10/TLA+-comparison-with-other-formal-verification-software
2022/10/Relevance-of-TLA+-to-the-Physics-Derivation-Graph
2022/10/Major-rewrite-of-backend-and-frontend-possibly-on-new-domain
2022/10/Levels-of-reproducibility-and-repeatability-and-replication
2022/10/glossary-for-TLA+-and-PlusCal-jargon
2022/05/what-is-using-disk-space-on-the-web-server
2022/05/Searchable-Latex-semantic-enrichment-and-reconciling-variables-in-arxiv
2022/05/PDG-as-dedicated-website-and-PDG-as-a-service-and-PDG-as-an-overlay-for-arxiv
2022/05/observations-on-the-conversion-of-the-backend-from-JSON-to-property-graph-Neo4j
2022/05/Next-steps-once-math-expressions-are-tokenized
2022/03/Changing-from-JSON-to-property-graph-+-SQL-backend
2022/02/what-are-the-blockers-for-potential-contributors
2022/02/reference-resources-for-derivation-candidates---textbooks
2022/02/old-undated-project-goals
2022/02/old-log-entries-from-2014
2022/02/Lots-of-tasks-for-2022-what-are-the-priorities
2022/01/two-hours-to-manually-transcribe-three-typed-pages-of-math-into-150-lines-of-HTML+Latex
2021/10/periodic-renewal-of-https-letsencrypt-certificates
2021/08/troubleshooting-why-docker-compose-does-not-successfully-launch-locally
2021/08/Steps-to-convert-a-published-scientific-paper-into-the-Physics-Derivation-Graph
2021/08/spectrum-of-formalized-scientific-documentation
2021/08/searching-the-Physics-Derivation-Graph-database
2021/08/refocusing-the-motivation-for-the-Physics-Derivation-Graph
2021/08/Physics-Derivation-Graph-is-a-machine-oriented-controlled-natural-language
2021/08/goal:-create-exemplars-of-what-is-feasible-for-formalization-of-individual-scientific-documents
2021/08/domains-in-Physics-that-are-difficult-for-the-Physics-Derivation-Graph
2021/08/documenting-my-frequent-pivots
2021/08/consolidating-content-from-Physics-Derivation-Graph-websites
2021/08/comparison-of-Latex-versus-knowledge-management-efforts
2021/08/assessment-of-current-status-of-the-Physics-Derivation-Graph-and-plans-for-what-is-next
2021/08/acceptance-criteria-for-a-new-inference-rule
2021/07/roadmap-for-identifying-mathematical-variables-in-Latex-documents
2021/07/how-I-validate-changes-and-deploy-updates-to-derivationmap.net-website
2021/07/dhparam.pem-necessary-for-nginix-web-server
2021/05/what-would-create-a-tipping-point
2020/12/ordered-list-representation-in-RDF
2020/12/learning-web-ontology-language-OWL
2020/12/identifying-classes-in-the-Physics-Derivation-Graph-for-OWL-Web-Ontology-Language
2020/12/an-argument-in-support-of-RDF-instead-of-property-graphs
2020/11/log-analysis-of-nginx-access-using-Python-Pandas
2020/10/upgrading-Ubuntu-18.04-to-20.04-on-DigitalOcean-VPS-droplet
2020/09/vectors-in-SymPy-and-use-of-dot-cross-and-the-Laplacian
2020/09/use-the-inputs-and-inference-rule-to-generate-the-output
2020/09/ufw-allow-status-numbered-delete----managing-the-firewall
2020/09/text-to-Latex-to-SymPy-using-frequency-and-period-example
2020/09/summary-of-SymPy-hurdles-for-the-Physics-Derivation-Graph
2020/09/statements-I-believe-to-be-true
2020/09/representing-the-Laplace-operator-nabla-in-Latex-in-SymPy-using-Del
2020/09/problem-identification-for-vectors-and-my-current-responses
2020/09/Latex-symbols-that-are-operators---how-to-create-SymPy-placeholder
2020/09/expanding-the-list-of-Computer-Algebra-Systems-used-by-the-Physics-Derivation-Graph
2020/09/Evaluating-definite-integrals-for-humans-versus-SymPy-breaks-the-Latex-to-SymPy-mapping-of-steps
2020/08/where-to-invest-my-efforts-prioritization-depends-on-objective
2020/08/visualization-of-step-validation-271-steps-to-address
2020/08/transition-from-validation-of-concept-to-usable-by-other-people
2020/08/significant-challenges-feel-like-emotional-barriers-to-progress
2020/08/relation-of-inference-rules-to-axioms-and-proofs
2020/08/plan-of-record-for-parsing-Latex-expressions
2020/08/my-first-certificate-expiration
2020/08/linear-representation-of-a-directed-graph
2020/08/Latex-math-expressions-that-case-Sympys-Latex-parser-to-fail
2020/08/how-to-edit-the-SymPy-Latex-parser-and-rebuild-the-antlr-artifacts-for-a-pull-request
2020/08/disable-UFW-logging-to--var-log-syslog
2020/08/content-categories-and-keyword-linking---whats-the-relation-to-the-PDG
2020/08/a-web-based-GUI-for-drawing-graphs-with-latex
2020/07/troubleshooting-errors-with-ASTs-in-the-Physics-Derivation-Graph-SOLVED
2020/07/searching-Math-and-Physics-content
2020/07/reconsidering-the-size-of-the-leap-a-literature-search-for-related-efforts
2020/07/quantum-bra-ket-Dirac-notation-in-Sympy
2020/07/Physics-Derivation-Graph-as-Latex-package:-omdoc-and-sTeX
2020/07/parsing-.tex-on-arxiv-into-MathML
2020/07/options-if-Latex-is-the-basis
2020/07/online-digital-math-libraries-and-Physics-libraries
2020/07/Notes-from-CICM-2020---13th-Conference-on-Intelligent-Computer-Mathematics
2020/07/my-reaction-to-the-QED-manifesto
2020/07/my-plan-for-progress
2020/07/manual-translation-process-from-Latex-to-Sympy-for-Physics-Derivation-Graph
2020/07/LatexML-for-converting-Latex-math-to-Content-MathML
2020/07/keywords-for-the-project:-mathematical-physics-applied-physics-computational-science
2020/07/Increasing-levels-of-formality-in-a-trivial-physics-statement
2020/07/function-Latex-for-Sympy
2020/07/degrees-of-formalization-in-math
2020/07/converting-the-Physics-Derivation-Graph-backend-from-JSON-to-a-property-graph
2020/07/conferences-on-formalization-and-cataloging-math-and-physics
2020/07/barriers-to-implementing-formalization-in-mathematics
2020/07/assumptions-about-formalizing-Math-or-Physics-based-on-a-corpus-like-arxiv
2020/07/articles-that-claim-to-contain-derivations-but-are-inscrutable
2020/07/3D-visualization-of-graphs-is-beneficial
2020/06/the-role-of-a-lexer-and-parser
2020/06/parsing-latex-using-Sympy---what-works-and-what-does-not
2020/06/latex-to-sympy-and-sympy-to-latex
2020/06/docker---no-space-left-on-device
2020/06/connective-derivations
2020/06/a-grand-vision-for-bulk-.tex-analysis
2020/05/working-with-Sympy-symbols-extracted-from-a-Latex-expression
2020/05/why-web-interfaces-are-limited-in-search-capability
2020/05/what-does-comprehensive-mean-in-the-domain-of-Physics
2020/05/verifying-dimensions-checking-unit-conversions-and-using-constants
2020/05/timing-page-rendering-with-and-without-Sympy
2020/05/sympy-to-AST-using-latex
2020/05/sticking-with-the-basics-and-avoiding-dependencies
2020/05/set-theory-depends-on-logic-and-axioms-logic-depends-on-set-theory
2020/05/selecting-a-target-audience-for-the-Physics-Derivation-Graph
2020/05/replacing-symbols-in-a-Sympy-expression-and-generalizing-the-AST
2020/05/recurring-tasks
2020/05/proposal-for-analysis-of-math-used-in-a-subdomain-of-Physics-based-on-the-arXiv-corpus
2020/05/progression-of-the-interface-used-in-the-Physics-Derivation-Graph
2020/05/prioritizing-work-for-the-Physics-Derivation-Graph
2020/05/plan-for-parsing-math-latex-expressions-from-arxiv
2020/05/operators-syntax:-macros-instead-of-abstract-syntax-trees
2020/05/more-checks-to-perform-in-the-Physics-Derivation-Graph
2020/05/live-display-of-input
2020/05/literature-review-for-using-arXiv-as-a-corpus-for-analysis
2020/05/latex-is-for-rendering-presentation-and-does-not-provide-semantics
2020/05/inspecting-the-list-of-users-who-have-logged-in
2020/05/histogram-of-expression-lengths-in-bash
2020/05/grepping-nginx-logs-to-observe-user-behavior
2020/05/dynamically-build-latex-parser-grammar-based-on-symbols-used-in-the-Physics-Derivation-Graph
2020/05/d3js-for-hire-on-freelancer
2020/05/checking-dimensions-using-Sympy
2020/05/characterizing-Latex-content-in-arXiv.org-.tex-files
2020/05/categories-of-features-for-the-website
2020/04/why-implementing-a-single-feature-took-12-hours
2020/04/validating-that-a-user-is-human-by-validating-steps
2020/04/useful-git-commands
2020/04/table-or-property-graph
2020/04/schema-for-tables
2020/04/prioritization-of-tasks:-who-is-the-audience-Answer:-me-in-the-role-of-a-user
2020/04/priorities-for-transitioning-from-a-minimum-viable-product-to-a-alpha-version
2020/04/noteworthy-milestones-in-the-website-timeline
2020/04/notes-on-learning-redis
2020/04/milestones-on-the-path-to-a-live-website
2020/04/migrating-to-tables-in-version-8
2020/04/lesson-learned-about-triggers-for-when-to-save-and-commit-to-git-repo
2020/04/insertions-and-deletions-in-git-versus-time
2020/04/initial-setup-of-docker-and-docker-compose-on-digialocean
2020/04/docker-compose-version
2020/04/disable-DigitalOcean-default-gunicorn-and-nginx-start-docker-compose
2020/04/data-in-JSON-does-not-scale-to-multiple-users
2020/04/CSRF
2020/04/background-tasks---considering-celery+rabbitmq-rq-with-redis
2020/04/analyze-each-commit-in-a-repo
2020/04/analysis-of-web-logs-to-understand-how-users-use-the-website
2020/04/a-terrible-hack-to-get-JSON-into-a-database
2020/03/why-Im-excited-about-the-Physics-Derivation-Graph
2020/03/surveys-of-knowledge-graphs-and-historical-evolution
2020/03/notes-from-reading-A-Step-by-Step-Solution-Methodology-for-Mathematical-Expressions
2020/03/data-structure-continues-to-evolve
2020/03/avoiding-the-need-for-logins-in-the-Physics-Derivation-Graph-website
2020/02/type-hinting-and-linting-in-the-Docker-image
2020/02/Tools-for-project-maintenance
2020/02/todo-list-for-February-2020-completed
2020/02/similar-projects
2020/02/significant-changes-to-the-Physics-Derivation-Graph
2020/02/Integration-path-for-contributions
2020/02/from-Latex-to-Abstract-Syntax-Tree
2020/02/example-Latex-expressions-to-parse
2020/02/example-derivation-steps-for-a-CAS-or-theorem-prover-to-validate
2020/02/ASTs-for-Integrals
2019/12/when-to-use-a-dropdown-menu-versus-list-of-links-in-the-web-interface
2019/12/Using-OCaml-to-identify-equivalent-expressions
2019/12/Use-of-MathJax-for-expressions
2019/12/UML-to-Python-Flask-and-WTForms
2019/12/SQL-vs-CSV-vs-PKL-for-data-storage
2019/12/MVP-for-PDG-with-SQL
2019/12/mathematical-bases-for-inference-rules
2019/12/lesson-learned-for-model-view-controller:-form-workflows
2019/12/Automated-web-interface-testing
2019/12/abstract-syntax-trees-for-expressions
2019/08/updated-task-list-for-August-2019:-SQL-arxiv
2019/07/improving-efficiency-of-manually-entered-content
2019/06/SQL-schema
2019/05/task-list-for-SQL-and-Docker-and-Flask
2019/05/Flask-and-Docker
2018/08/SUVAT-lookup-table
2018/08/save-file-from-client-side-webpage
2018/08/Neo4j-for-the-Physics-Derivation-Graph
2018/08/connecting-Jupyter-and-Neo4j
2018/08/cleaning-up-the-code-using-pylint-and-flake8-and-bandit
2018/07/The-Physics-Derivation-Graph-is-for-workflow-management
2018/07/static-analysis-of-function-dependency-in-Python
2018/07/snapshot-of-milestones-for-the-Physics-Derivation-Graph
2018/07/relevant-posts-on-reddit
2018/07/Python:-convert-XML-to-dictionary
2018/07/Physics-of-Minecraft-derivation---the-graph-is-unwieldy
2018/07/Node.js-testing-input
2018/07/mathjax-for-github.io-site
2018/07/forums-to-contribute-to
2018/07/analyzing-the-text-of-Wikipedia-posts
2018/07/a-differnet-approach-to-generating-content-for-the-Physics-Derivation-Graph
2018/06/why-software-used-by-the-Physics-Derivation-Graph-is-open-source
2018/06/converting-the-old-derivations-into-the-new-folder-structure
2018/06/community-growth-and-diverging-interests
2018/06/building-a-docker-image-for-the-Physics-Derivation-Graph
2018/05/lots-of-channels-for-tracking-exploration
2018/05/limiting-my-effort-to-just-Latex-for-expressions
2017/08/validating-equivalent-and-transformed-expressions
2017/07/proprietary-code-and-data----interacting-with-commercial-projects
2017/07/Minimum-viable-product-for-the-Physics-Derivation-Graph
2017/07/MathML-is-probably-better-than-LaTeX-but-Im-lazy
2017/07/interactive-derivation-input-via-the-command-line
2017/07/finding-major-edges-of-the-Physics-Derivation-Graph
2017/07/finding-cranks-using-the-Physics-Derivation-Graph
2017/07/anatomy-of-the-file-per-expression-data-format-in-the-Physics-Derivation-Graph
2017/06/representing-inference-rules-as-both-LaTeX-and-Abstract-Syntax-Trees
2017/06/Realizing-my-value-for-the-Physics-Derivation-Graph
2017/06/not-getting-caught-in-the-details----identifying-priorities
2017/05/abstract-syntax-trees-and-inference-rules
2017/02/editing-Physics-Derivation-Graph-on-AWS-EC2-Ubuntu
2016/09/technology-the-Physics-Derivation-Graph-builds-on
2016/09/graph-visualization-isnt-a-requirement-for-the-Physics-Derivation-Graph
2016/06/Python-code-validation
2016/06/build-a-link-graph
2016/05/What-I-want-to-do-with-the-Physics-Derivation-Graph
2016/05/visualize-success-and-then-deliver-the-minimum-viable-product
2016/05/detecting-crackpots
2016/05/addressing-the-rendering-versus-verifiability-challenge
2016/03/change-of-mindset-to-improve-user-experience
2016/01/challenge-tasks-to-be-addressed-within-the-Physics-Derivation-Graph
2015/12/Using-EquationMap-for-content-entry
2015/12/Sage-as-a-candidate-Computer-Algebra-System-for-the-Physics-Derivation-Graph
2015/12/relations-between-famous-physics-equations
2015/12/increasing-flexibility-of-the-Physics-Derivation-Graph
2015/12/Im-stuck----I-dont-know-how-to-proceed
2015/12/I-want-to-be-able-to-do-Math-with-Latex-as-Input
2015/12/building-content-for-the-Physics-Derivation-Graph
2015/11/SQLite-on-Mac-and-in-Python
2015/11/read-only-static-page-web-1.0-versus-user-editable-dynamic-content-web-2.0
2015/11/moving-from-local-terminal-interface-with-CSV-to-web-interface-with-a-database-backend
2015/11/django-and-openshift
2015/10/timing-Latex-entry-on-Wacom-tablet
2015/10/heroku-on-mac
2015/10/django-on-Ubuntu
2015/09/The-PDG-is-hierarchical
2015/09/switching-between-different-Computer-Algebra-Systems
2015/09/Streamlining-the-current-PDG-process
2015/09/property-graph-representation-for-expressions
2015/09/Neo4j-on-Ubuntu-installation-notes
2015/09/major-fields-for-the-PDG-to-cover
2015/09/linear-storytelling-constrains-how-one-thinks
2015/09/jupyter-installation
2015/09/derivations-versus-identities
2015/09/converting-the-Physics-Derivation-Graph-from-CSV-to-a-property-graph
2015/09/autocomplete-and-variations

For content from 2012 to 2015 see physics_graph_notes.log.