https://www.drheap.org/index.html 2026-09-22T19:40:55.200Z https://www.drheap.org/courses/index.html 2026-09-22T19:40:55.198Z https://www.drheap.org/courses/computer-systems/references.html 2026-09-22T19:41:09.897Z https://www.drheap.org/courses/computer-networks/references.html 2026-09-22T19:41:09.924Z https://www.drheap.org/courses/computer-chips/references.html 2026-09-22T19:41:09.853Z https://www.drheap.org/author/index.html 2026-09-22T19:40:55.193Z https://www.drheap.org/author/frank-de-boer/index.html 2026-09-22T19:40:55.193Z https://www.drheap.org/articles/index.html 2026-09-22T19:40:55.192Z https://www.drheap.org/articles/2026/every-human-being-is-an-autonomous-system/index.html 2026-09-22T19:40:55.191Z https://www.drheap.org/articles/2024/on-invariance-and-inconsistency/index.html 2026-09-22T19:40:55.178Z https://www.drheap.org/articles/2023/correctness-of-two-sorting-algorithms/index.html 2026-09-22T19:40:55.157Z https://www.drheap.org/articles/2023/can-chatgpt-do-an-exam/index.html 2026-09-22T19:40:55.153Z https://www.drheap.org/about-hans-dieter-hiep/index.html 2026-09-22T19:40:55.145Z https://www.drheap.org/about/index.html 2026-09-22T19:40:55.145Z https://www.drheap.org/articles/2023/can-the-collatz-conjecture-be-proven-or-not/index.html 2026-09-22T19:40:55.154Z https://www.drheap.org/articles/2023/what-is-an-education/index.html 2026-09-22T19:40:55.176Z https://www.drheap.org/articles/2024/sound-and-complete-proof-system-for-separation-logic-part-1/index.html 2026-09-22T19:40:55.188Z https://www.drheap.org/articles/2026/the-internet-a-failed-mass-experiment/index.html 2026-09-22T19:40:55.192Z https://www.drheap.org/atom.html 2026-09-22T19:40:55.192Z https://www.drheap.org/author/hans-dieter-hiep/index.html 2026-09-22T19:40:55.193Z https://www.drheap.org/courses/computer-chips/index.html 2026-09-22T19:40:55.193Z https://www.drheap.org/courses/computer-networks/index.html 2026-09-22T19:40:55.195Z https://www.drheap.org/courses/computer-systems/index.html 2026-09-22T19:40:55.196Z https://www.drheap.org/courses/concepts-of-programming-languages/index.html 2026-09-22T19:40:55.197Z https://www.drheap.org/courses/program-correctness/index.html 2026-09-22T19:40:55.199Z