https://www.hillelwayne.com/post/ 2024-07-15T00:00:00+00:00 https://www.hillelwayne.com/projects/ https://www.hillelwayne.com/consulting/ https://www.hillelwayne.com/open-invite/ https://www.hillelwayne.com/about/ https://www.hillelwayne.com/books/ https://www.hillelwayne.com/post/toolbox-languages/ 2024-07-15T00:00:00+00:00 https://www.hillelwayne.com/post/composing-tla/ 2024-06-17T00:00:00+00:00 https://www.hillelwayne.com/talks/ese/ddd/ 2024-05-29T00:00:00+00:00 https://www.hillelwayne.com/comments/software-friction/ 2024-05-14T00:00:00+00:00 https://www.hillelwayne.com/post/software-friction/ 2024-05-01T00:00:00+00:00 https://www.hillelwayne.com/post/alloy-facts/ 2024-04-10T00:00:00+00:00 https://www.hillelwayne.com/post/tale-of-daniel/ 2024-04-01T00:00:00+00:00 https://www.hillelwayne.com/comments/graph-types/ 2024-03-18T00:00:00+00:00 https://www.hillelwayne.com/post/graph-types/ 2024-03-02T00:00:00+00:00 https://www.hillelwayne.com/post/picat/ 2024-02-20T00:00:00+00:00 https://www.hillelwayne.com/post/randomness/ 2024-01-22T00:00:00+00:00 https://www.hillelwayne.com/post/world-vs-machine/ 2024-01-04T00:00:00+00:00 https://www.hillelwayne.com/post/strangeloop-23/ 2023-12-05T00:00:00+00:00 https://www.hillelwayne.com/post/lsp/ 2023-11-07T00:00:00+00:00 https://www.hillelwayne.com/post/ahk-scripts-project/ 2023-08-21T00:00:00+00:00 https://www.hillelwayne.com/post/problems-with-the-4doc-model/ 2023-07-05T00:00:00+00:00 https://www.hillelwayne.com/talks/crossover-project/ 2023-05-24T00:00:00+00:00 https://www.hillelwayne.com/post/ahk-v2/ 2023-05-03T00:00:00+00:00 https://www.hillelwayne.com/post/graphing-tla/ 2023-04-17T00:00:00+00:00 https://www.hillelwayne.com/tipjar/windows-01/ 2023-04-15T00:00:00+00:00 https://www.hillelwayne.com/post/weird-things-you-can-buy/ 2023-04-01T00:00:00+00:00 https://www.hillelwayne.com/post/indiana-pi-bill/ 2023-03-14T00:00:00+00:00 https://www.hillelwayne.com/post/task-runner-neovim/ 2023-03-13T00:00:00+00:00 https://www.hillelwayne.com/tipjar/vim-02/ 2023-03-01T00:00:00+00:00 https://www.hillelwayne.com/post/np-hard/ 2023-02-20T00:00:00+00:00 https://www.hillelwayne.com/tipjar/git-01/ 2023-02-07T00:00:00+00:00 https://www.hillelwayne.com/post/complexity-constraints/ 2023-01-23T00:00:00+00:00 https://www.hillelwayne.com/post/lpl/ 2022-11-16T00:00:00+00:00 https://www.hillelwayne.com/talks/ese/ 2022-11-04T00:00:00+00:00 https://www.hillelwayne.com/post/strangeloop-22/ 2022-11-02T00:00:00+00:00 https://www.hillelwayne.com/tipjar/ahk-01/ 2022-09-30T00:00:00+00:00 https://www.hillelwayne.com/post/safety-and-liveness/ 2022-09-06T00:00:00+00:00 https://www.hillelwayne.com/tipjar/py-02/ 2022-09-01T00:00:00+00:00 https://www.hillelwayne.com/post/software-mimicry/ 2022-08-29T00:00:00+00:00 https://www.hillelwayne.com/tipjar/py-01/ 2022-08-23T00:00:00+00:00 https://www.hillelwayne.com/tipjar/vim-01/ 2022-08-19T00:00:00+00:00 https://www.hillelwayne.com/tipjar/ps-01/ 2022-08-18T00:00:00+00:00 https://www.hillelwayne.com/post/python-abc/ 2022-07-31T00:00:00+00:00 https://www.hillelwayne.com/post/learntla/ 2022-07-01T00:00:00+00:00 https://www.hillelwayne.com/post/microscopy/ 2022-04-01T00:00:00+00:00 https://www.hillelwayne.com/post/haitus/ 2022-02-13T00:00:00+00:00 https://www.hillelwayne.com/post/tla-adt/ 2021-12-13T00:00:00+00:00 https://www.hillelwayne.com/post/alloy6/ 2021-11-29T00:00:00+00:00 https://www.hillelwayne.com/post/sudoku/ 2021-10-10T00:00:00+00:00 https://www.hillelwayne.com/post/refinement/ 2021-07-13T00:00:00+00:00 https://www.hillelwayne.com/post/cross-branch-testing/ 2021-06-28T00:00:00+00:00 https://www.hillelwayne.com/post/cleverness/ 2021-06-06T00:00:00+00:00 https://www.hillelwayne.com/talks/esolangs/ 2021-05-16T00:00:00+00:00 https://www.hillelwayne.com/post/spec-composition/ 2021-04-18T00:00:00+00:00 https://www.hillelwayne.com/post/linked-lists/ 2021-03-28T00:00:00+00:00 https://www.hillelwayne.com/post/action-properties/ 2021-02-25T00:00:00+00:00 https://www.hillelwayne.com/post/what-we-can-learn/ 2021-01-22T00:00:00+00:00 https://www.hillelwayne.com/post/we-are-not-special/ 2021-01-20T00:00:00+00:00 https://www.hillelwayne.com/post/are-we-really-engineers/ 2021-01-18T00:00:00+00:00 https://www.hillelwayne.com/post/always-more-history/ 2020-12-08T00:00:00+00:00 https://www.hillelwayne.com/post/queueing-prism/ 2020-11-02T00:00:00+00:00 https://www.hillelwayne.com/post/flossing/ 2020-10-28T00:00:00+00:00 https://www.hillelwayne.com/post/tla-golang/ 2020-09-25T00:00:00+00:00 https://www.hillelwayne.com/post/decision-table-patterns/ 2020-09-09T00:00:00+00:00 https://www.hillelwayne.com/post/j-notation/ 2020-08-14T00:00:00+00:00 https://www.hillelwayne.com/post/cheatsheets/ 2020-07-24T00:00:00+00:00 https://www.hillelwayne.com/post/frink/ 2020-07-10T00:00:00+00:00 https://www.hillelwayne.com/post/fairness/ 2020-07-03T00:00:00+00:00 https://www.hillelwayne.com/post/property-testing-complex-inputs/ 2020-06-19T00:00:00+00:00 https://www.hillelwayne.com/post/constructive/ 2020-05-18T00:00:00+00:00 https://www.hillelwayne.com/post/ahk/ 2020-05-12T00:00:00+00:00 https://www.hillelwayne.com/post/learning-a-language/ 2020-04-27T00:00:00+00:00 https://www.hillelwayne.com/post/alloydocs/ 2020-04-13T00:00:00+00:00 https://www.hillelwayne.com/post/influential-dead-languages/ 2020-03-25T00:00:00+00:00 https://www.hillelwayne.com/post/this-is-how-science-happens/ 2020-03-09T00:00:00+00:00 https://www.hillelwayne.com/post/feature-interaction/ 2020-02-05T00:00:00+00:00 https://www.hillelwayne.com/post/business-case-formal-methods/ 2020-01-22T00:00:00+00:00 https://www.hillelwayne.com/post/hyperproperties/ 2020-01-13T00:00:00+00:00 https://www.hillelwayne.com/post/talk-fast/ 2019-10-28T00:00:00+00:00 https://www.hillelwayne.com/post/formally-modeling-migrations/ 2019-10-09T00:00:00+00:00 https://www.hillelwayne.com/negatypes/ 2019-09-26T00:00:00+00:00 https://www.hillelwayne.com/post/performance-matters/ 2019-08-07T00:00:00+00:00 https://www.hillelwayne.com/requirements/ 2019-07-15T00:00:00+00:00 https://www.hillelwayne.com/talks/software-history/ 2019-07-09T00:00:00+00:00 https://www.hillelwayne.com/post/prism/ 2019-06-17T00:00:00+00:00 https://www.hillelwayne.com/post/intermediate-vim/ 2019-05-31T00:00:00+00:00 https://www.hillelwayne.com/post/alan-kay/ 2019-05-22T00:00:00+00:00 https://www.hillelwayne.com/post/adversaries/ 2019-05-05T00:00:00+00:00 https://www.hillelwayne.com/talks/what-we-know-we-dont-know/ 2019-04-28T00:00:00+00:00 https://www.hillelwayne.com/post/contract-examples/ 2019-04-08T00:00:00+00:00 https://www.hillelwayne.com/post/metamorphic-testing/ 2019-03-25T00:00:00+00:00 https://www.hillelwayne.com/post/using-formal-methods/ 2019-03-11T00:00:00+00:00 https://www.hillelwayne.com/post/knights-knaves/ 2019-02-11T00:00:00+00:00 https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 2019-01-21T00:00:00+00:00 https://www.hillelwayne.com/post/stamping-on-eventstream/ 2019-01-02T00:00:00+00:00 https://www.hillelwayne.com/talks/distributed-systems-tlaplus/ 2018-12-11T00:00:00+00:00 https://www.hillelwayne.com/post/a-better-interview/ 2018-12-08T00:00:00+00:00 https://www.hillelwayne.com/post/tla-messages/ 2018-10-31T00:00:00+00:00 https://www.hillelwayne.com/post/practical-tla/ 2018-10-18T00:00:00+00:00 https://www.hillelwayne.com/post/minizinc-2/ 2018-09-30T00:00:00+00:00 https://www.hillelwayne.com/post/minizinc/ 2018-09-24T00:00:00+00:00 https://www.hillelwayne.com/post/divide-by-zero/ 2018-08-10T00:00:00+00:00 https://www.hillelwayne.com/post/augmenting-agile/ 2018-07-30T00:00:00+00:00 https://www.hillelwayne.com/post/decision-tables/ 2018-07-09T00:00:00+00:00 https://www.hillelwayne.com/formally-specifying-uis/ 2018-06-11T00:00:00+00:00 https://www.hillelwayne.com/post/raw-materials/ 2018-05-27T00:00:00+00:00 https://www.hillelwayne.com/talks/beyond-unit-tests/ 2018-05-14T00:00:00+00:00 https://www.hillelwayne.com/post/theorem-prover-showdown/ 2018-04-25T00:00:00+00:00 https://www.hillelwayne.com/post/equals-as-assignment/ 2018-04-10T00:00:00+00:00 https://www.hillelwayne.com/post/a-bunch-of-tests/ 2018-04-02T00:00:00+00:00 https://www.hillelwayne.com/post/nix/ 2018-03-16T00:00:00+00:00 https://www.hillelwayne.com/post/list-of-tla-examples/ 2018-03-08T00:00:00+00:00 https://www.hillelwayne.com/post/monad-tutorials/ 2018-03-05T00:00:00+00:00 https://www.hillelwayne.com/post/the-problem-with-apls/ 2018-02-19T00:00:00+00:00 https://www.hillelwayne.com/post/reasoning-about-systems/ 2018-02-13T00:00:00+00:00 https://www.hillelwayne.com/post/tla-redux/ 2018-02-12T00:00:00+00:00 https://www.hillelwayne.com/post/thinking-the-unthinkable/ 2018-02-09T00:00:00+00:00 https://www.hillelwayne.com/post/teaching-leaky-abstractions/ 2018-01-30T00:00:00+00:00 https://www.hillelwayne.com/post/important-women-in-cs/ 2018-01-26T00:00:00+00:00 https://www.hillelwayne.com/alloy-randomizer/ 2018-01-15T00:00:00+00:00 https://www.hillelwayne.com/post/the-best-se-paper/ 2018-01-12T00:00:00+00:00 https://www.hillelwayne.com/post/vim-macro-trickz/ 2017-12-26T00:00:00+00:00 https://www.hillelwayne.com/post/pbt-contracts/ 2017-12-17T00:00:00+00:00 https://www.hillelwayne.com/post/right-tool/ 2017-12-10T00:00:00+00:00 https://www.hillelwayne.com/post/what-comments/ 2017-12-05T00:40:32-06:00 https://www.hillelwayne.com/post/box-diagrams/ 2017-12-03T00:00:00+00:00 https://www.hillelwayne.com/post/contracts/ 2017-11-27T00:00:00+00:00 https://www.hillelwayne.com/burn-rate-j/ 2017-11-21T00:00:00+00:00 https://www.hillelwayne.com/post/why-tdd-isnt-crap/ 2017-10-30T00:00:00+00:00 https://www.hillelwayne.com/post/unit-tests-are-not-tests/ 2017-10-26T00:00:00+00:00 https://www.hillelwayne.com/handwriting-j/ 2017-10-10T00:00:00+00:00 https://www.hillelwayne.com/post/uncle-bob/ 2017-10-05T00:00:00+00:00 https://www.hillelwayne.com/talks/tackling-concurrency-tlaplus/ 2017-09-28T00:00:00+00:00 https://www.hillelwayne.com/post/persuasive-examples/ 2017-08-29T00:00:00+00:00 https://www.hillelwayne.com/post/how-do-we-trust-science-code/ 2017-08-14T00:00:00+00:00 https://www.hillelwayne.com/post/hypothesis-oracles/ 2017-07-21T09:00:00-05:00 https://www.hillelwayne.com/post/skepticism/ 2017-06-09T00:00:00+00:00 https://www.hillelwayne.com/post/modeling-deployments/ 2017-05-30T11:48:17-05:00 https://www.hillelwayne.com/post/python-doctests/ 2017-02-16T00:00:00+00:00 https://www.hillelwayne.com/post/falsehoods-programmers-believe-about-dogs/ 2017-02-01T07:59:42-08:00 https://www.hillelwayne.com/10x/ 2017-01-24T12:37:25-06:00 https://www.hillelwayne.com/hate-your-tools/ 2016-12-27T19:48:18-06:00 https://www.hillelwayne.com/tipjar/ 2023-04-15T00:00:00+00:00 https://www.hillelwayne.com/tags/alloy/ 2024-04-10T00:00:00+00:00 https://www.hillelwayne.com/categories/april-cools/ 2024-04-01T00:00:00+00:00 0 https://www.hillelwayne.com/tags/april-cools/ 2024-04-01T00:00:00+00:00 0 https://www.hillelwayne.com/tags/architecture/ 2017-12-03T00:00:00+00:00 0 https://www.hillelwayne.com/tags/augmentation/ 2023-05-03T00:00:00+00:00 0 https://www.hillelwayne.com/tags/autohotkey/ 2024-07-15T00:00:00+00:00 0 https://www.hillelwayne.com/tags/bad-ideas/ 2017-12-05T00:40:32-06:00 0 https://www.hillelwayne.com/tags/blub-studies/ 2021-12-13T00:00:00+00:00 https://www.hillelwayne.com/categories/ 2024-04-01T00:00:00+00:00 0 https://www.hillelwayne.com/tags/challenge/ 2018-04-25T00:00:00+00:00 0 https://www.hillelwayne.com/comments/ 2024-05-14T00:00:00+00:00 0 https://www.hillelwayne.com/categories/comments/ 2024-05-14T00:00:00+00:00 0 https://www.hillelwayne.com/tags/commission/ 2018-03-16T00:00:00+00:00 0 https://www.hillelwayne.com/tags/companies/ 2018-12-08T00:00:00+00:00 0 https://www.hillelwayne.com/tags/computer-science/ 2024-03-02T00:00:00+00:00 0 https://www.hillelwayne.com/tags/constraint-solving/ 2024-02-20T00:00:00+00:00 0 https://www.hillelwayne.com/tags/consulting/ 2020-01-22T00:00:00+00:00 0 https://www.hillelwayne.com/tags/contracts/ 2019-04-08T00:00:00+00:00 0 https://www.hillelwayne.com/tags/crankery/ 2023-03-14T00:00:00+00:00 0 https://www.hillelwayne.com/tags/crimes/ 2023-04-17T00:00:00+00:00 0 https://www.hillelwayne.com/tags/culture/ 2018-04-25T00:00:00+00:00 0 https://www.hillelwayne.com/tags/decision-tables/ 2020-09-09T00:00:00+00:00 https://www.hillelwayne.com/tags/documentation/ 2023-07-05T00:00:00+00:00 0 https://www.hillelwayne.com/tags/education/ 2020-04-27T00:00:00+00:00 0 https://www.hillelwayne.com/tags/eiffel/ 2017-11-27T00:00:00+00:00 0 https://www.hillelwayne.com/tags/engineering/ 2019-07-15T00:00:00+00:00 0 https://www.hillelwayne.com/tags/essay/ 2019-08-07T00:00:00+00:00 0 https://www.hillelwayne.com/tags/experimental/ 2021-10-10T00:00:00+00:00 0 https://www.hillelwayne.com/tags/favorites/ 2021-01-20T00:00:00+00:00 https://www.hillelwayne.com/tags/feature-interaction/ 2020-02-05T00:00:00+00:00 0 https://www.hillelwayne.com/tags/formal-methods/ 2024-06-17T00:00:00+00:00 https://www.hillelwayne.com/tags/fringetech/ 2020-07-10T00:00:00+00:00 0 https://www.hillelwayne.com/tags/frink/ 2024-07-15T00:00:00+00:00 0 https://www.hillelwayne.com/tags/go/ 2020-09-25T00:00:00+00:00 0 https://www.hillelwayne.com/tags/grambling/ 2017-10-26T00:00:00+00:00 0 https://www.hillelwayne.com/tags/graphs/ 2024-03-02T00:00:00+00:00 0 https://www.hillelwayne.com/tags/great-slate/ 2018-03-16T00:00:00+00:00 0 https://www.hillelwayne.com/tags/halfbakery/ 2017-12-05T00:40:32-06:00 0 https://www.hillelwayne.com/tags/hiatus/ 2022-02-13T00:00:00+00:00 0 https://www.hillelwayne.com/ 2024-07-15T00:00:00+00:00 0 https://www.hillelwayne.com/tags/history/ 2023-03-14T00:00:00+00:00 https://www.hillelwayne.com/tags/humor/ 2018-03-05T00:00:00+00:00 0 https://www.hillelwayne.com/tags/hypothesis/ 2020-06-19T00:00:00+00:00 0 https://www.hillelwayne.com/tags/interviewing/ 2018-12-08T00:00:00+00:00 0 https://www.hillelwayne.com/tags/interviews/ 2024-03-02T00:00:00+00:00 0 https://www.hillelwayne.com/tags/j/ 2024-07-15T00:00:00+00:00 0 https://www.hillelwayne.com/tags/javascript/ 2020-12-08T00:00:00+00:00 0 https://www.hillelwayne.com/tags/knacks/ 2024-01-22T00:00:00+00:00 0 https://www.hillelwayne.com/tags/latex/ 2020-07-24T00:00:00+00:00 0 https://www.hillelwayne.com/tags/list/ 2020-03-25T00:00:00+00:00 0 https://www.hillelwayne.com/tags/logic/ 2019-02-11T00:00:00+00:00 0 https://www.hillelwayne.com/tags/ltl/ 2021-04-18T00:00:00+00:00 0 https://www.hillelwayne.com/tags/lua/ 2023-03-13T00:00:00+00:00 0 https://www.hillelwayne.com/categories/math/ 2023-03-14T00:00:00+00:00 0 https://www.hillelwayne.com/tags/math/ 2024-01-22T00:00:00+00:00 0 https://www.hillelwayne.com/tags/meta/ 2022-02-13T00:00:00+00:00 0 https://www.hillelwayne.com/tags/minizinc/ 2018-09-30T00:00:00+00:00 0 https://www.hillelwayne.com/tags/neovim-only/ 2022-08-19T00:00:00+00:00 0 https://www.hillelwayne.com/tags/newsletter/ 2023-03-14T00:00:00+00:00 0 https://www.hillelwayne.com/tags/niche-language-demos/ 2024-02-20T00:00:00+00:00 0 https://www.hillelwayne.com/tags/notation/ 2017-12-03T00:00:00+00:00 0 https://www.hillelwayne.com/tags/oop/ 2019-05-22T00:00:00+00:00 0 https://www.hillelwayne.com/tags/opinion/ 2020-10-28T00:00:00+00:00 0 https://www.hillelwayne.com/tags/prism/ 2020-11-02T00:00:00+00:00 https://www.hillelwayne.com/page/ 0 https://www.hillelwayne.com/tags/pbt/ 2020-06-19T00:00:00+00:00 0 https://www.hillelwayne.com/tags/picat/ 2024-07-15T00:00:00+00:00 0 https://www.hillelwayne.com/tags/postmortem/ 2018-04-25T00:00:00+00:00 0 https://www.hillelwayne.com/tags/powershell/ 2022-08-18T00:00:00+00:00 0 https://www.hillelwayne.com/tags/practices/ 2024-07-15T00:00:00+00:00 0 https://www.hillelwayne.com/categories/programming/ 2024-07-15T00:00:00+00:00 0 https://www.hillelwayne.com/tags/programming/ 2017-01-24T12:37:25-06:00 0 https://www.hillelwayne.com/tags/projects/ 2023-08-21T00:00:00+00:00 0 https://www.hillelwayne.com/tags/python/ 2023-04-17T00:00:00+00:00 0 https://www.hillelwayne.com/tags/raku/ 2024-07-15T00:00:00+00:00 0 https://www.hillelwayne.com/tags/rambling/ 2017-10-26T00:00:00+00:00 0 https://www.hillelwayne.com/tags/rant/ 2023-05-03T00:00:00+00:00 0 https://www.hillelwayne.com/tags/rants/ 2023-07-05T00:00:00+00:00 0 https://www.hillelwayne.com/tags/release/ 2022-07-01T00:00:00+00:00 0 https://www.hillelwayne.com/tags/requirements/ 2019-07-15T00:00:00+00:00 0 https://www.hillelwayne.com/tags/research/ 2020-03-09T00:00:00+00:00 0 https://www.hillelwayne.com/tags/responses/ 2018-02-09T00:00:00+00:00 0 https://www.hillelwayne.com/tags/sat/ 2023-02-20T00:00:00+00:00 0 https://www.hillelwayne.com/tags/science/ 2020-03-09T00:00:00+00:00 0 https://www.hillelwayne.com/tags/short/ 2019-08-07T00:00:00+00:00 0 https://www.hillelwayne.com/tags/society/ 2020-03-09T00:00:00+00:00 0 https://www.hillelwayne.com/tags/software-engineering/ 2022-08-29T00:00:00+00:00 0 https://www.hillelwayne.com/tags/specification/ 2019-01-21T00:00:00+00:00 0 https://www.hillelwayne.com/tags/stamp/ 2019-01-02T00:00:00+00:00 0 https://www.hillelwayne.com/tags/state-machines/ 2018-06-11T00:00:00+00:00 0 https://www.hillelwayne.com/tags/systems/ 2019-01-02T00:00:00+00:00 0 https://www.hillelwayne.com/tags/tla+/ 2024-06-17T00:00:00+00:00 https://www.hillelwayne.com/tags/ 2024-04-10T00:00:00+00:00 0 https://www.hillelwayne.com/talks/ 2024-05-29T00:00:00+00:00 0 https://www.hillelwayne.com/tags/talks/ 2019-10-28T00:00:00+00:00 0 https://www.hillelwayne.com/tags/teaching/ 2023-11-07T00:00:00+00:00 0 https://www.hillelwayne.com/tags/techniques/ 2024-06-17T00:00:00+00:00 0 https://www.hillelwayne.com/tags/terms/ 2024-05-01T00:00:00+00:00 0 https://www.hillelwayne.com/tags/testing/ 2021-06-28T00:00:00+00:00 0 https://www.hillelwayne.com/tags/crossover-project/ 2021-01-22T00:00:00+00:00 https://www.hillelwayne.com/tags/theorycrafting/ 2024-01-04T00:00:00+00:00 https://www.hillelwayne.com/tip_tags/ 0 https://www.hillelwayne.com/categories/tipjar/ 2023-04-15T00:00:00+00:00 0 https://www.hillelwayne.com/categories/tips/ 2022-08-18T00:00:00+00:00 0 https://www.hillelwayne.com/tags/tooling/ 2023-03-13T00:00:00+00:00 0 https://www.hillelwayne.com/tags/tutorial/ 2019-10-09T00:00:00+00:00 0 https://www.hillelwayne.com/tags/ux/ui/ 2020-05-12T00:00:00+00:00 0 https://www.hillelwayne.com/tags/vim/ 2023-03-13T00:00:00+00:00 0 https://www.hillelwayne.com/tags/wittgenstein/ 2017-12-10T00:00:00+00:00 0 https://www.hillelwayne.com/tags/workshops/ 2020-07-24T00:00:00+00:00 0