robur/blog.robur.coop
4
0
Fork 1
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions

remove tags subdirectory (leftover from yocaml1)

Browse source
This commit is contained in:
Hannes Mehnert 2024-10-28 19:01:00 +01:00
parent ef7d2a697c
commit 86958a6648
22 changed files with 0 additions and 902 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

41
tags/community.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-community"><h3>
<span>community</span>
1 entry</h3>
<ul><li><a href="/articles/lwt_pause.html">Cooperation and Lwt.pause</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/cryptography.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-cryptography"><h3>
<span>cryptography</span>
3 entries</h3>
<ul><li><a href="/articles/miragevpn-server.html">MirageVPN server</a></li><li><a href="/articles/miragevpn-performance.html">Speeding up MirageVPN and use it in the wild</a></li><li><a href="/articles/speeding-ec-string.html">Speeding elliptic curve cryptography</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/cstruct.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-cstruct"><h3>
<span>cstruct</span>
1 entry</h3>
<ul><li><a href="/articles/tar-release.html">The new Tar release, a retrospective</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/functors.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-functors"><h3>
<span>functors</span>
1 entry</h3>
<ul><li><a href="/articles/tar-release.html">The new Tar release, a retrospective</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/git.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-git"><h3>
<span>git</span>
1 entry</h3>
<ul><li><a href="/articles/lwt_pause.html">Cooperation and Lwt.pause</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/gpt.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-gpt"><h3>
<span>gpt</span>
1 entry</h3>
<ul><li><a href="/articles/gptar.html">GPTar</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/mbr.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-mbr"><h3>
<span>mbr</span>
1 entry</h3>
<ul><li><a href="/articles/gptar.html">GPTar</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/mirageos.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-mirageos"><h3>
<span>mirageos</span>
5 entries</h3>
<ul><li><a href="/articles/miragevpn-server.html">MirageVPN server</a></li><li><a href="/articles/miragevpn-performance.html">Speeding up MirageVPN and use it in the wild</a></li><li><a href="/articles/speeding-ec-string.html">Speeding elliptic curve cryptography</a></li><li><a href="/articles/miragevpn-ncp.html">MirageVPN updated (AEAD, NCP)</a></li><li><a href="/articles/miragevpn.html">MirageVPN &amp; tls-crypt-v2</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/miragevpn.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-miragevpn"><h3>
<span>miragevpn</span>
1 entry</h3>
<ul><li><a href="/articles/2024-08-21-OpenVPN-and-MirageVPN.html">MirageVPN and OpenVPN</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/ocaml.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-ocaml"><h3>
<span>ocaml</span>
10 entries</h3>
<ul><li><a href="/articles/tar-release.html">The new Tar release, a retrospective</a></li><li><a href="/articles/qubes-miragevpn.html">qubes-miragevpn, a MirageVPN client for QubesOS</a></li><li><a href="/articles/miragevpn-server.html">MirageVPN server</a></li><li><a href="/articles/miragevpn-performance.html">Speeding up MirageVPN and use it in the wild</a></li><li><a href="/articles/gptar.html">GPTar</a></li><li><a href="/articles/speeding-ec-string.html">Speeding elliptic curve cryptography</a></li><li><a href="/articles/lwt_pause.html">Cooperation and Lwt.pause</a></li><li><a href="/articles/2024-02-03-python-str-repr.html">Python&apos;s `str.__repr__()`</a></li><li><a href="/articles/miragevpn-ncp.html">MirageVPN updated (AEAD, NCP)</a></li><li><a href="/articles/miragevpn.html">MirageVPN &amp; tls-crypt-v2</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/openvpn.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-openvpn"><h3>
<span>openvpn</span>
1 entry</h3>
<ul><li><a href="/articles/2024-08-21-OpenVPN-and-MirageVPN.html">MirageVPN and OpenVPN</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/performance.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-performance"><h3>
<span>performance</span>
1 entry</h3>
<ul><li><a href="/articles/miragevpn-performance.html">Speeding up MirageVPN and use it in the wild</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/persistent storage.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-persistent storage"><h3>
<span>persistent storage</span>
1 entry</h3>
<ul><li><a href="/articles/gptar.html">GPTar</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/python.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-python"><h3>
<span>python</span>
1 entry</h3>
<ul><li><a href="/articles/2024-02-03-python-str-repr.html">Python&apos;s `str.__repr__()`</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/qubesos.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-qubesos"><h3>
<span>qubesos</span>
1 entry</h3>
<ul><li><a href="/articles/qubes-miragevpn.html">qubes-miragevpn, a MirageVPN client for QubesOS</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/scheduler.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-scheduler"><h3>
<span>scheduler</span>
1 entry</h3>
<ul><li><a href="/articles/lwt_pause.html">Cooperation and Lwt.pause</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/security.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-security"><h3>
<span>security</span>
6 entries</h3>
<ul><li><a href="/articles/2024-08-21-OpenVPN-and-MirageVPN.html">MirageVPN and OpenVPN</a></li><li><a href="/articles/miragevpn-server.html">MirageVPN server</a></li><li><a href="/articles/miragevpn-performance.html">Speeding up MirageVPN and use it in the wild</a></li><li><a href="/articles/speeding-ec-string.html">Speeding elliptic curve cryptography</a></li><li><a href="/articles/miragevpn-ncp.html">MirageVPN updated (AEAD, NCP)</a></li><li><a href="/articles/miragevpn.html">MirageVPN &amp; tls-crypt-v2</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/tar.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-tar"><h3>
<span>tar</span>
1 entry</h3>
<ul><li><a href="/articles/gptar.html">GPTar</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/testing.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/mirageos.html">mirageos (6)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/vpn.html">vpn (6)</a></li><li><a href="/tags/cryptography.html">cryptography (4)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/testing.html">testing (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-testing"><h3>
<span>testing</span>
1 entry</h3>
<ul><li><a href="/articles/miragevpn-testing.html">Testing MirageVPN against OpenVPN™</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/unicode.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-unicode"><h3>
<span>unicode</span>
1 entry</h3>
<ul><li><a href="/articles/2024-02-03-python-str-repr.html">Python&apos;s `str.__repr__()`</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/unikernel.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-unikernel"><h3>
<span>unikernel</span>
2 entries</h3>
<ul><li><a href="/articles/qubes-miragevpn.html">qubes-miragevpn, a MirageVPN client for QubesOS</a></li><li><a href="/articles/lwt_pause.html">Cooperation and Lwt.pause</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>

41
tags/vpn.html
View file

@ -1,41 +0,0 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>
Robur's blog
</title>
<meta name="description" content="blog.robur.coop">
<link type="text/css" rel="stylesheet" href="../css/hl.css">
<link type="text/css" rel="stylesheet" href="../css/style.css">
<script src="../js/hl.js"></script>
<link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
</head>
<body>
<header>
<h1>blog.robur.coop</h1>
<blockquote>
The <strong>Robur</strong> cooperative blog.
</blockquote>
</header>
<main><a href="/index.html">Back to index</a>
<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
<div class="tag-box" id="tag-vpn"><h3>
<span>vpn</span>
5 entries</h3>
<ul><li><a href="/articles/qubes-miragevpn.html">qubes-miragevpn, a MirageVPN client for QubesOS</a></li><li><a href="/articles/miragevpn-server.html">MirageVPN server</a></li><li><a href="/articles/miragevpn-performance.html">Speeding up MirageVPN and use it in the wild</a></li><li><a href="/articles/miragevpn-ncp.html">MirageVPN updated (AEAD, NCP)</a></li><li><a href="/articles/miragevpn.html">MirageVPN &amp; tls-crypt-v2</a></li></ul>
</div>
</main>
<footer>
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
<br />
</footer>
<script>hljs.highlightAll();</script>
</body>
</html>