GitHub.com
tcp/443 tcp/80
Open service 2606:50c0:8001::153:80 · learn.bmh.io
2026-02-07 19:22
HTTP/1.1 200 OK
Connection: close
Content-Length: 5333
Server: GitHub.com
Content-Type: text/html; charset=utf-8
Last-Modified: Wed, 04 Feb 2026 06:37:29 GMT
Access-Control-Allow-Origin: *
ETag: "6982e929-14d5"
expires: Sat, 07 Feb 2026 19:32:21 GMT
Cache-Control: max-age=600
x-proxy-cache: MISS
X-GitHub-Request-Id: FEBE:2EE033:F968EE:11F3891:698790ED
Accept-Ranges: bytes
Date: Sat, 07 Feb 2026 19:22:21 GMT
Via: 1.1 varnish
Age: 0
X-Served-By: cache-lga21947-LGA
X-Cache: HIT
X-Cache-Hits: 1
X-Timer: S1770492142.926886,VS0,VE1
Vary: Accept-Encoding
X-Fastly-Request-ID: 59a8045cd72da3d5e046355e8bd8e4f96b45f242
Page title: Topic Index | Learning Repository
<!DOCTYPE html>
<html lang="en-US">
<head>
<meta charset="UTF-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<!-- Begin Jekyll SEO tag v2.8.0 -->
<title>Topic Index | Learning Repository</title>
<meta name="generator" content="Jekyll v4.4.1" />
<meta property="og:title" content="Topic Index" />
<meta property="og:locale" content="en_US" />
<meta name="description" content="A personal knowledge base for learning various topics" />
<meta property="og:description" content="A personal knowledge base for learning various topics" />
<link rel="canonical" href="/learn/" />
<meta property="og:url" content="/learn/" />
<meta property="og:site_name" content="Learning Repository" />
<meta property="og:type" content="website" />
<meta name="twitter:card" content="summary" />
<meta property="twitter:title" content="Topic Index" />
<script type="application/ld+json">
{"@context":"https://schema.org","@type":"WebSite","description":"A personal knowledge base for learning various topics","headline":"Topic Index","name":"Learning Repository","url":"/learn/"}</script>
<!-- End Jekyll SEO tag -->
<link rel="stylesheet" href="/learn/assets/css/style.css?v=">
<!--[if lt IE 9]>
<script src="https://cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv.min.js"></script>
<![endif]-->
<!-- start custom head snippets, customize with your own _includes/head-custom.html file -->
<!-- Setup Google Analytics -->
<!-- You can set your favicon here -->
<!-- link rel="shortcut icon" type="image/x-icon" href="/learn/favicon.ico" -->
<!-- end custom head snippets -->
</head>
<body>
<div class="wrapper">
<header>
<h1><a href="/learn/">Learning Repository</a></h1>
<p>A personal knowledge base for learning various topics</p>
</header>
<section>
<h1 id="topic-index">Topic Index</h1>
<p>A complete listing of all topics organized by domain.</p>
<h2 id="formal-methods--verification">Formal Methods & Verification</h2>
<p><em>Mathematical approaches to proving software correctness</em></p>
<ul>
<li><a href="topics/formal-methods/index.md">Formal Methods Overview</a></li>
</ul>
<h2 id="distributed-systems-theory">Distributed Systems Theory</h2>
<p><em>Principles underlying systems that span multiple machines</em></p>
<ul>
<li><a href="topics/distributed-systems/index.md">Distributed Systems Overview</a></li>
</ul>
<h2 id="aiml">AI/ML</h2>
<p><em>Large language models, multi-agent systems, and alignment</em></p>
<ul>
<li><a href="topics/ai-ml/index.md">AI/ML Overview</a></li>
</ul>
<h2 id="advanced-systems-programming">Advanced Systems Programming</h2>
<p><em>Low-level programming, performance, and systems design</em></p>
<ul>
<li><a href="topics/systems-programming/index.md">Systems Programming Overview</a></li>
</ul>
<h2 id="type-theory--programming-language-design">Type Theory & Programming Language Design</h2>
<p><em>Foundations of type systems and language design</em></p>
<ul>
<li><a href="topics/type-theory/index.md">Type Theory Overview</a></li>
</ul>
<h2 id="game-design--programming">Game Design & Programming</h2>
<p><em>Game mechanics, engines, and interactive systems</em></p>
<ul>
<li><a href="topics/game-design/index.md">Game Design Overview</a></li>
</ul>
<h2 id="explanatory-writing">Explanatory Writing</h2>
<p><em>Technical communication and knowledge transfer</em></p>
<ul>
<li><a href="topics/explanatory-writing/index.md">Explanatory Writing Overview</a></li>
</ul>
<h2 id="infrastructure--platform-engineering">Infrastructure & Platform Engineering</h2>
<p><em>Building and operating production systems</em></p>
<ul>
<li><a href="topics/infrastructure/index.md">Infrastructure Overview</a></li>
</ul>
<h2 id="cognitive-science--learning-theory">Cognitive Science & Learning Theory</h2>
<p><em>How minds work and how we learn</em></p>
<ul>
<li><a href="topics/cognitive-science/index.md">Cognit
Open service 185.199.111.153:80 · learn.bmh.io
2026-02-07 19:22
HTTP/1.1 200 OK
Connection: close
Content-Length: 5333
Server: GitHub.com
Content-Type: text/html; charset=utf-8
Last-Modified: Wed, 04 Feb 2026 06:37:29 GMT
Access-Control-Allow-Origin: *
ETag: "6982e929-14d5"
expires: Sat, 07 Feb 2026 19:32:21 GMT
Cache-Control: max-age=600
x-proxy-cache: MISS
X-GitHub-Request-Id: AC38:2A416B:115EBDF:119D268:698790ED
Accept-Ranges: bytes
Age: 0
Date: Sat, 07 Feb 2026 19:22:21 GMT
Via: 1.1 varnish
X-Served-By: cache-fra-eddf8230062-FRA
X-Cache: MISS
X-Cache-Hits: 0
X-Timer: S1770492142.726822,VS0,VE128
Vary: Accept-Encoding
X-Fastly-Request-ID: 37bde8681b72e6390f15c8b00194c1ded3dea970
Page title: Topic Index | Learning Repository
<!DOCTYPE html>
<html lang="en-US">
<head>
<meta charset="UTF-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<!-- Begin Jekyll SEO tag v2.8.0 -->
<title>Topic Index | Learning Repository</title>
<meta name="generator" content="Jekyll v4.4.1" />
<meta property="og:title" content="Topic Index" />
<meta property="og:locale" content="en_US" />
<meta name="description" content="A personal knowledge base for learning various topics" />
<meta property="og:description" content="A personal knowledge base for learning various topics" />
<link rel="canonical" href="/learn/" />
<meta property="og:url" content="/learn/" />
<meta property="og:site_name" content="Learning Repository" />
<meta property="og:type" content="website" />
<meta name="twitter:card" content="summary" />
<meta property="twitter:title" content="Topic Index" />
<script type="application/ld+json">
{"@context":"https://schema.org","@type":"WebSite","description":"A personal knowledge base for learning various topics","headline":"Topic Index","name":"Learning Repository","url":"/learn/"}</script>
<!-- End Jekyll SEO tag -->
<link rel="stylesheet" href="/learn/assets/css/style.css?v=">
<!--[if lt IE 9]>
<script src="https://cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv.min.js"></script>
<![endif]-->
<!-- start custom head snippets, customize with your own _includes/head-custom.html file -->
<!-- Setup Google Analytics -->
<!-- You can set your favicon here -->
<!-- link rel="shortcut icon" type="image/x-icon" href="/learn/favicon.ico" -->
<!-- end custom head snippets -->
</head>
<body>
<div class="wrapper">
<header>
<h1><a href="/learn/">Learning Repository</a></h1>
<p>A personal knowledge base for learning various topics</p>
</header>
<section>
<h1 id="topic-index">Topic Index</h1>
<p>A complete listing of all topics organized by domain.</p>
<h2 id="formal-methods--verification">Formal Methods & Verification</h2>
<p><em>Mathematical approaches to proving software correctness</em></p>
<ul>
<li><a href="topics/formal-methods/index.md">Formal Methods Overview</a></li>
</ul>
<h2 id="distributed-systems-theory">Distributed Systems Theory</h2>
<p><em>Principles underlying systems that span multiple machines</em></p>
<ul>
<li><a href="topics/distributed-systems/index.md">Distributed Systems Overview</a></li>
</ul>
<h2 id="aiml">AI/ML</h2>
<p><em>Large language models, multi-agent systems, and alignment</em></p>
<ul>
<li><a href="topics/ai-ml/index.md">AI/ML Overview</a></li>
</ul>
<h2 id="advanced-systems-programming">Advanced Systems Programming</h2>
<p><em>Low-level programming, performance, and systems design</em></p>
<ul>
<li><a href="topics/systems-programming/index.md">Systems Programming Overview</a></li>
</ul>
<h2 id="type-theory--programming-language-design">Type Theory & Programming Language Design</h2>
<p><em>Foundations of type systems and language design</em></p>
<ul>
<li><a href="topics/type-theory/index.md">Type Theory Overview</a></li>
</ul>
<h2 id="game-design--programming">Game Design & Programming</h2>
<p><em>Game mechanics, engines, and interactive systems</em></p>
<ul>
<li><a href="topics/game-design/index.md">Game Design Overview</a></li>
</ul>
<h2 id="explanatory-writing">Explanatory Writing</h2>
<p><em>Technical communication and knowledge transfer</em></p>
<ul>
<li><a href="topics/explanatory-writing/index.md">Explanatory Writing Overview</a></li>
</ul>
<h2 id="infrastructure--platform-engineering">Infrastructure & Platform Engineering</h2>
<p><em>Building and operating production systems</em></p>
<ul>
<li><a href="topics/infrastructure/index.md">Infrastructure Overview</a></li>
</ul>
<h2 id="cognitive-science--learning-theory">Cognitive Science & Learning Theory</h2>
<p><em>How minds work and how we learn</em></p>
<ul>
<li><a href="topics/cognitive-science/index.md">Cognit
Open service 185.199.109.153:443 · learn.bmh.io
2026-02-04 06:29
HTTP/1.1 404 Not Found
Connection: close
Content-Length: 9115
Server: GitHub.com
Content-Type: text/html; charset=utf-8
ETag: "697d069f-239b"
Content-Security-Policy: default-src 'none'; style-src 'unsafe-inline'; img-src data:; connect-src 'self'
X-GitHub-Request-Id: C6F3:124766:A24A4D:AC10F3:6982E736
Accept-Ranges: bytes
Age: 0
Date: Wed, 04 Feb 2026 06:29:14 GMT
Via: 1.1 varnish
X-Served-By: cache-yyz4529-YYZ
X-Cache: MISS
X-Cache-Hits: 0
X-Timer: S1770186555.537275,VS0,VE23
Vary: Accept-Encoding
X-Fastly-Request-ID: 75f308c338ab7a86581a77b17fd2e404a2274bc2
Page title: Site not found · GitHub Pages
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-type" content="text/html; charset=utf-8">
<meta http-equiv="Content-Security-Policy" content="default-src 'none'; style-src 'unsafe-inline'; img-src data:; connect-src 'self'">
<title>Site not found · GitHub Pages</title>
<style type="text/css" media="screen">
body {
background-color: #f1f1f1;
margin: 0;
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
}
.container { margin: 50px auto 40px auto; width: 600px; text-align: center; }
a { color: #4183c4; text-decoration: none; }
a:hover { text-decoration: underline; }
h1 { width: 800px; position:relative; left: -100px; letter-spacing: -1px; line-height: 60px; font-size: 60px; font-weight: 100; margin: 0px 0 50px 0; text-shadow: 0 1px 0 #fff; }
p { color: rgba(0, 0, 0, 0.5); margin: 20px 0; line-height: 1.6; }
ul { list-style: none; margin: 25px 0; padding: 0; }
li { display: table-cell; font-weight: bold; width: 1%; }
.logo { display: inline-block; margin-top: 35px; }
.logo-img-2x { display: none; }
@media
only screen and (-webkit-min-device-pixel-ratio: 2),
only screen and ( min--moz-device-pixel-ratio: 2),
only screen and ( -o-min-device-pixel-ratio: 2/1),
only screen and ( min-device-pixel-ratio: 2),
only screen and ( min-resolution: 192dpi),
only screen and ( min-resolution: 2dppx) {
.logo-img-1x { display: none; }
.logo-img-2x { display: inline-block; }
}
#suggestions {
margin-top: 35px;
color: #ccc;
}
#suggestions a {
color: #666666;
font-weight: 200;
font-size: 14px;
margin: 0 10px;
}
</style>
</head>
<body>
<div class="container">
<h1>404</h1>
<p><strong>There isn't a GitHub Pages site here.</strong></p>
<p>
If you're trying to publish one,
<a href="https://help.github.com/pages/">read the full documentation</a>
to learn how to set up <strong>GitHub Pages</strong>
for your repository, organization, or user account.
</p>
<div id="suggestions">
<a href="https://githubstatus.com">GitHub Status</a> —
<a href="https://twitter.com/githubstatus">@githubstatus</a>
</div>
<a href="/" class="logo logo-img-1x">
<img width="32" height="32" title="" alt="" src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACAAAAAgCAYAAABzenr0AAAAGXRFWHRTb2Z0d2FyZQBBZG9iZSBJbWFnZVJlYWR5ccllPAAAAyRpVFh0WE1MOmNvbS5hZG9iZS54bXAAAAAAADw/eHBhY2tldCBiZWdpbj0i77u/IiBpZD0iVzVNME1wQ2VoaUh6cmVTek5UY3prYzlkIj8+IDx4OnhtcG1ldGEgeG1sbnM6eD0iYWRvYmU6bnM6bWV0YS8iIHg6eG1wdGs9IkFkb2JlIFhNUCBDb3JlIDUuMy1jMDExIDY2LjE0NTY2MSwgMjAxMi8wMi8wNi0xNDo1NjoyNyAgICAgICAgIj4gPHJkZjpSREYgeG1sbnM6cmRmPSJodHRwOi8vd3d3LnczLm9yZy8xOTk5LzAyLzIyLXJkZi1zeW50YXgtbnMjIj4gPHJkZjpEZXNjcmlwdGlvbiByZGY6YWJvdXQ9IiIgeG1sbnM6eG1wPSJodHRwOi8vbnMuYWRvYmUuY29tL3hhcC8xLjAvIiB4bWxuczp4bXBNTT0iaHR0cDovL25zLmFkb2JlLmNvbS94YXAvMS4wL21tLyIgeG1sbnM6c3RSZWY9Imh0dHA6Ly9ucy5hZG9iZS5jb20veGFwLzEuMC9zVHlwZS9SZXNvdXJjZVJlZiMiIHhtcDpDcmVhdG9yVG9vbD0iQWRvYmUgUGhvdG9zaG9wIENTNiAoTWFjaW50b3NoKSIgeG1wTU06SW5zdGFuY2VJRD0ieG1wLmlpZDpFMTZCRDY3REIzRjAxMUUyQUQzREIxQzRENUFFNUM5NiIgeG1wTU06RG9jdW1lbnRJRD0ieG1wLmRpZDpFMTZCRDY3RUIzRjAxMUUyQUQzREIxQzRENUFFNUM5NiI+IDx4bXBNTTpEZXJpdmVkRnJvbSBzdFJlZjppbnN0YW5jZUlEPSJ4bXAuaWlkOkUxNkJENjdCQjNGMDExRTJBRDNEQjFDNEQ1QUU1Qzk2IiBzdFJlZjpkb2N1bWVudElEPSJ4bXAuZGlkOkUxNkJENjdDQjNGMDExRTJBRDNEQjFDNEQ1QUU1Qzk2Ii8+IDwvcmRmOkRlc2NyaXB0aW9uPiA8L3JkZjpSREY+IDwveDp4bXBtZXRhPiA8P3hwYWNrZXQgZW5kPSJyIj8+SM9MCAAAA+5JREFUeNrEV11Ik1EY3s4+ddOp29Q5b0opCgKFsoKoi5Kg6CIhuwi6zLJLoYLopq4qsKKgi4i6CYIoU/q5iDAKs6syoS76IRWtyJ+p7cdt7sf1PGOD+e0c3dygAx/67ZzzPM95/877GYdHRg3ZjMXFxepQKNS6sLCwJxqNNuFpiMfjVs4ZjUa/pmmjeD6VlJS8NpvNT4QQ7mxwjSsJiEQim/1+/9lgMHgIr5ohuxG1WCw9Vqv1clFR0dCqBODElV6v90ogEDjGdYbVjXhpaendioqK07CIR7ZAqE49PT09BPL2PMgTByQGsYiZlQD4uMXtdr+JxWINhgINYhGT2MsKgMrm2dnZXgRXhaHAg5