forked from robur/blog.robur.coop
180 lines
8.2 KiB
HTML
180 lines
8.2 KiB
HTML
|
<!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 blogIndex
|
||
|
|
</title>
|
||
|
|
<meta name="description" content="The famous root of the website">
|
||
|
|
<link type="text/css" rel="stylesheet" href="https://blog.robur.coop/css/hl.css">
|
||
|
|
<link type="text/css" rel="stylesheet" href="https://blog.robur.coop/css/style.css">
|
||
|
|
<script src="https://blog.robur.coop/js/hl.js"></script>
|
||
|
|
<link rel="alternate" type="application/rss+xml" href="https://blog.robur.coop/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 class="small-button rss" href="https://blog.robur.coop/feed.xml">RSS</a><p>The Robur blog.</p>
|
||
|
|
|
||
|
|
<h3>Essays and ramblings</h3>
|
||
|
|
|
||
|
|
<ol reversed class="list-articles"><li>
|
||
|
|
<div class="side">
|
||
|
|
<a href="https://reyn.ir/">
|
||
|
|
<img src="https://www.gravatar.com/avatar/54a15736b37879bc9708c1618a7cc130">
|
||
|
|
</a></div>
|
||
|
|
<div class="content">
|
||
|
|
<span class="date">2024-08-21</span>
|
||
|
|
<a href="https://blog.robur.coop/articles/2024-08-21-OpenVPN-and-MirageVPN.html">MirageVPN and OpenVPN</a><br />
|
||
|
|
<p>Discoveries made implementing MirageVPN, a OpenVPN-compatible VPN library</p>
|
||
|
|
<div class="bottom">
|
||
|
|
<ul class="tags-list"><li>MirageVPN</li><li>OpenVPN</li><li>security</li></ul>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</li><li>
|
||
|
|
<div class="side">
|
||
|
|
<a href="https://blog.osau.re">
|
||
|
|
<img src="https://www.gravatar.com/avatar/e243d18f97471424ca390e85820797ac">
|
||
|
|
</a></div>
|
||
|
|
<div class="content">
|
||
|
|
<span class="date">2024-08-15</span>
|
||
|
|
<a href="https://blog.robur.coop/articles/tar-release.html">The new Tar release, a retrospective</a><br />
|
||
|
|
<p>A little retrospective to the new Tar release and changes</p>
|
||
|
|
<div class="bottom">
|
||
|
|
<ul class="tags-list"><li>OCaml</li><li>Cstruct</li><li>functors</li></ul>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</li><li>
|
||
|
|
<div class="side">
|
||
|
|
<a href="https://blog.osau.re/">
|
||
|
|
<img src="https://www.gravatar.com/avatar/e243d18f97471424ca390e85820797ac">
|
||
|
|
</a></div>
|
||
|
|
<div class="content">
|
||
|
|
<span class="date">2024-06-24</span>
|
||
|
|
<a href="https://blog.robur.coop/articles/qubes-miragevpn.html">qubes-miragevpn, a MirageVPN client for QubesOS</a><br />
|
||
|
|
<p>A new OpenVPN client for QubesOS</p>
|
||
|
|
<div class="bottom">
|
||
|
|
<ul class="tags-list"><li>OCaml</li><li>vpn</li><li>unikernel</li><li>QubesOS</li></ul>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</li><li>
|
||
|
|
<div class="side">
|
||
|
|
<a href="https://hannes.robur.coop">
|
||
|
|
<img src="https://www.gravatar.com/avatar/25558b4457cf73159f5427fdf2b4a717">
|
||
|
|
</a></div>
|
||
|
|
<div class="content">
|
||
|
|
<span class="date">2024-06-17</span>
|
||
|
|
<a href="https://blog.robur.coop/articles/miragevpn-server.html">MirageVPN server</a><br />
|
||
|
|
<p>Announcement of our MirageVPN server.</p>
|
||
|
|
<div class="bottom">
|
||
|
|
<ul class="tags-list"><li>OCaml</li><li>MirageOS</li><li>cryptography</li><li>security</li><li>VPN</li></ul>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</li><li>
|
||
|
|
<div class="side">
|
||
|
|
<a href="https://hannes.robur.coop">
|
||
|
|
<img src="https://www.gravatar.com/avatar/25558b4457cf73159f5427fdf2b4a717">
|
||
|
|
</a></div>
|
||
|
|
<div class="content">
|
||
|
|
<span class="date">2024-04-16</span>
|
||
|
|
<a href="https://blog.robur.coop/articles/miragevpn-performance.html">Speeding up MirageVPN and use it in the wild</a><br />
|
||
|
|
<p>Performance engineering of MirageVPN, speeding it up by a factor of 25.</p>
|
||
|
|
<div class="bottom">
|
||
|
|
<ul class="tags-list"><li>OCaml</li><li>MirageOS</li><li>cryptography</li><li>security</li><li>VPN</li><li>performance</li></ul>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</li><li>
|
||
|
|
<div class="side">
|
||
|
|
<a href="https://reyn.ir/">
|
||
|
|
<img src="https://www.gravatar.com/avatar/54a15736b37879bc9708c1618a7cc130">
|
||
|
|
</a></div>
|
||
|
|
<div class="content">
|
||
|
|
<span class="date">2024-02-21</span>
|
||
|
|
<a href="https://blog.robur.coop/articles/gptar.html">GPTar</a><br />
|
||
|
|
<p>Hybrid GUID partition table and tar archive</p>
|
||
|
|
<div class="bottom">
|
||
|
|
<ul class="tags-list"><li>OCaml</li><li>gpt</li><li>tar</li><li>mbr</li><li>persistent storage</li></ul>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</li><li>
|
||
|
|
<div class="side">
|
||
|
|
<a href="https://hannes.robur.coop">
|
||
|
|
<img src="https://www.gravatar.com/avatar/25558b4457cf73159f5427fdf2b4a717">
|
||
|
|
</a></div>
|
||
|
|
<div class="content">
|
||
|
|
<span class="date">2024-02-13</span>
|
||
|
|
<a href="https://blog.robur.coop/articles/speeding-ec-string.html">Speeding elliptic curve cryptography</a><br />
|
||
|
|
<p>How we improved the performance of elliptic curves by only modifying the underlying byte array</p>
|
||
|
|
<div class="bottom">
|
||
|
|
<ul class="tags-list"><li>OCaml</li><li>MirageOS</li><li>cryptography</li><li>security</li></ul>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</li><li>
|
||
|
|
<div class="side">
|
||
|
|
<a href="https://blog.osau.re/">
|
||
|
|
<img src="https://www.gravatar.com/avatar/e243d18f97471424ca390e85820797ac">
|
||
|
|
</a></div>
|
||
|
|
<div class="content">
|
||
|
|
<span class="date">2024-02-11</span>
|
||
|
|
<a href="https://blog.robur.coop/articles/lwt_pause.html">Cooperation and Lwt.pause</a><br />
|
||
|
|
<p>A disgression about Lwt and Miou</p>
|
||
|
|
<div class="bottom">
|
||
|
|
<ul class="tags-list"><li>OCaml</li><li>Scheduler</li><li>Community</li><li>Unikernel</li><li>Git</li></ul>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</li><li>
|
||
|
|
<div class="side">
|
||
|
|
<a href="https://reyn.ir/">
|
||
|
|
<img src="https://www.gravatar.com/avatar/54a15736b37879bc9708c1618a7cc130">
|
||
|
|
</a></div>
|
||
|
|
<div class="content">
|
||
|
|
<span class="date">2024-02-03</span>
|
||
|
|
<a href="https://blog.robur.coop/articles/2024-02-03-python-str-repr.html">Python's `str.__repr__()`</a><br />
|
||
|
|
<p>Reimplementing Python string escaping in OCaml</p>
|
||
|
|
<div class="bottom">
|
||
|
|
<ul class="tags-list"><li>OCaml</li><li>Python</li><li>unicode</li></ul>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</li><li>
|
||
|
|
<div class="side">
|
||
|
|
<a href="https://hannes.robur.coop">
|
||
|
|
<img src="https://www.gravatar.com/avatar/25558b4457cf73159f5427fdf2b4a717">
|
||
|
|
</a></div>
|
||
|
|
<div class="content">
|
||
|
|
<span class="date">2023-11-20</span>
|
||
|
|
<a href="https://blog.robur.coop/articles/miragevpn-ncp.html">MirageVPN updated (AEAD, NCP)</a><br />
|
||
|
|
<p>How we resurrected MirageVPN from its bitrot state</p>
|
||
|
|
<div class="bottom">
|
||
|
|
<ul class="tags-list"><li>OCaml</li><li>MirageOS</li><li>VPN</li><li>security</li></ul>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</li><li>
|
||
|
|
<div class="side">
|
||
|
|
<a href="https://reyn.ir/">
|
||
|
|
<img src="https://www.gravatar.com/avatar/54a15736b37879bc9708c1618a7cc130">
|
||
|
|
</a></div>
|
||
|
|
<div class="content">
|
||
|
|
<span class="date">2023-11-14</span>
|
||
|
|
<a href="https://blog.robur.coop/articles/miragevpn.html">MirageVPN & tls-crypt-v2</a><br />
|
||
|
|
<p>How we implementated tls-crypt-v2 for miragevpn</p>
|
||
|
|
<div class="bottom">
|
||
|
|
<ul class="tags-list"><li>OCaml</li><li>MirageOS</li><li>VPN</li><li>security</li></ul>
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
</li></ol>
|
||
|
|
|
||
|
|
</main>
|
||
|
|
<footer>
|
||
|
|
<a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
|
||
|
|
<br />
|
||
|
|
</footer>
|
||
|
|
<script>hljs.highlightAll();</script>
|
||
|
|
</body>
|
||
|
|
</html>
|