https://www.codehistory.org/googleccf9344aba51b5c0.html 2026-09-29 weekly 0.8 https://www.codehistory.org/journal/ 2026-09-29 weekly 1.0 https://www.codehistory.org/research-desk/ 2026-09-29 weekly 1.0 https://www.codehistory.org/pioneer/douglas-engelbart/ 2026-09-29 weekly 1.0 https://www.codehistory.org/pioneer/grace-hopper/ 2026-09-29 weekly 1.0 https://www.codehistory.org/pioneer/ada-lovelace/ 2026-09-29 weekly 1.0 https://www.codehistory.org/modern-multi-agent-systems/ 2026-09-29 weekly 1.0 https://www.codehistory.org/formal-methods-verification/dafny-programs-proof-obligations-one-language/ 2026-09-29 weekly 1.0 https://www.codehistory.org/networks-internet-the-web/nsfnet-backbone-opened-internet-academia/ 2026-09-29 weekly 1.0 https://www.codehistory.org/search-information-retrieval-knowledge-systems/pagerank-rank-web-link-structure/ 2026-09-29 weekly 1.0 https://www.codehistory.org/networks-internet-the-web/bgp-routing-protocol-holds-internet-together/ 2026-09-29 weekly 1.0