Physics Derivation Graph Blog Posts

New content that is not on physicsderivationgraph.blogspot.com:

2026/07: linux virtual machine on DigitalOcean to run Googles Antigravity CLI agent
2026/07: mathlib storage use
2026/06: DNS misconfiguration
2026/06: relation between model and equations
2026/06: website unresponsive disk full docker
2026/04: What is REST and HATEOAS
2026/04: disk full on linux
2026/03: Backlog Grooming of Derivations
2026/03: Brainstorming a Review Mechanism
2026/03: Context for a Prompt for LLMs
2026/03: DigitalOcean initial configuration
2026/03: Exploring Claude code LLM from Anthropic on a VPS virtual private server
2026/03: Friction of Entering New Derivations
2026/03: Sequence of Prompts for LLM to convert wikipedia or PDF content to Latex for Physics Derivation Graph
2026/03: Validation crisis in mathematical physics

Content below is 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.