https://www.drheap.org/m/index.html 2026-11-12T22:23:19.758Z https://www.drheap.org/m/000/the-critical-state-of-cyberspace/index.html 2026-11-12T22:23:19.756Z https://www.drheap.org/m/000/starting-a-new-position-at-amazon-web-services/index.html 2026-11-12T22:23:19.756Z https://www.drheap.org/m/000/rise-in-cognitive-disability-among-younger-people/index.html 2026-11-12T22:23:19.756Z https://www.drheap.org/m/000/our-article-in-formal-methods-in-system-design/index.html 2026-11-12T22:23:19.756Z https://www.drheap.org/m/000/libraries-as-decentralised-information-centres/index.html 2026-11-12T22:23:19.756Z https://www.drheap.org/m/000/bibliotheken-aan-de-basis-van-een-publiek-europees-internet/index.html 2026-11-12T22:23:19.756Z https://www.drheap.org/m/000/ai-generated-svg-images/index.html 2026-11-12T22:23:19.755Z https://www.drheap.org/m/000/a-video-explaining-the-right-to-repair/index.html 2026-11-12T22:23:19.755Z https://www.drheap.org/m/000/a-proof-system-first-introduced-in-my-phd-thesis/index.html 2026-11-12T22:23:19.755Z https://www.drheap.org/index.html 2026-11-12T22:23:19.754Z https://www.drheap.org/courses/index.html 2026-11-12T22:23:19.753Z https://www.drheap.org/courses/computer-systems/references.html 2026-11-12T22:23:35.505Z https://www.drheap.org/courses/computer-networks/references.html 2026-11-12T22:23:35.532Z https://www.drheap.org/courses/computer-chips/references.html 2026-11-12T22:23:35.462Z https://www.drheap.org/author/index.html 2026-11-12T22:23:19.748Z https://www.drheap.org/author/frank-de-boer/index.html 2026-11-12T22:23:19.748Z https://www.drheap.org/articles/index.html 2026-11-12T22:23:19.747Z https://www.drheap.org/articles/2026/every-human-being-is-an-autonomous-system/index.html 2026-11-12T22:23:19.745Z https://www.drheap.org/articles/2024/on-invariance-and-inconsistency/index.html 2026-11-12T22:23:19.734Z https://www.drheap.org/articles/2023/correctness-of-two-sorting-algorithms/index.html 2026-11-12T22:23:19.713Z https://www.drheap.org/articles/2023/can-chatgpt-do-an-exam/index.html 2026-11-12T22:23:19.710Z https://www.drheap.org/about-hans-dieter-hiep/index.html 2026-11-12T22:23:19.705Z https://www.drheap.org/about/index.html 2026-11-12T22:23:19.705Z https://www.drheap.org/articles/2023/can-the-collatz-conjecture-be-proven-or-not/index.html 2026-11-12T22:23:19.711Z https://www.drheap.org/articles/2023/what-is-an-education/index.html 2026-11-12T22:23:19.731Z https://www.drheap.org/articles/2024/sound-and-complete-proof-system-for-separation-logic-part-1/index.html 2026-11-12T22:23:19.743Z https://www.drheap.org/articles/2026/the-internet-a-failed-mass-experiment/index.html 2026-11-12T22:23:19.747Z https://www.drheap.org/atom.html 2026-11-12T22:23:19.747Z https://www.drheap.org/author/hans-dieter-hiep/index.html 2026-11-12T22:23:19.748Z https://www.drheap.org/courses/computer-chips/index.html 2026-11-12T22:23:19.748Z https://www.drheap.org/courses/computer-networks/index.html 2026-11-12T22:23:19.750Z https://www.drheap.org/courses/computer-systems/index.html 2026-11-12T22:23:19.751Z https://www.drheap.org/courses/concepts-of-programming-languages/index.html 2026-11-12T22:23:19.752Z https://www.drheap.org/courses/program-correctness/index.html 2026-11-12T22:23:19.754Z https://www.drheap.org/m/000/a-back-up-plan-for-when-the-internet-is-unavailable/index.html 2026-11-12T22:23:19.755Z https://www.drheap.org/m/000/a-review-of-a-claimed-proof-of-the-collatz-conjecture/index.html 2026-11-12T22:23:19.755Z https://www.drheap.org/m/000/ai-and-the-autoformalization-of-mathematics/index.html 2026-11-12T22:23:19.755Z https://www.drheap.org/m/000/all-your-brains-are-belong-to-us/index.html 2026-11-12T22:23:19.755Z https://www.drheap.org/m/000/ictac-2024-first-call-for-papers/index.html 2026-11-12T22:23:19.756Z https://www.drheap.org/m/000/one-incorrect-pointer-dereference/index.html 2026-11-12T22:23:19.756Z https://www.drheap.org/m/000/program-correctness-is-a-difficult-subject/index.html 2026-11-12T22:23:19.756Z https://www.drheap.org/m/000/russia-cut-off-mobile-internet-in-moscow/index.html 2026-11-12T22:23:19.756Z https://www.drheap.org/m/000/starting-a-new-position-at-nlnet-foundation/index.html 2026-11-12T22:23:19.756Z https://www.drheap.org/m/000/what-a-leak-of-3-5-billion-whatsapp-accounts-shows/index.html 2026-11-12T22:23:19.758Z