2023-11-13 18:15:09 +00:00
|
|
|
<!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>
|
2024-10-29 11:07:07 +00:00
|
|
|
Robur's blog - Index
|
2023-11-13 18:15:09 +00:00
|
|
|
</title>
|
|
|
|
|
<meta name="description" content="The famous root of the website">
|
2024-10-29 11:07:07 +00:00
|
|
|
<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">
|
2023-11-13 18:15:09 +00:00
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
<header>
|
|
|
|
|
<h1>blog.robur.coop</h1>
|
|
|
|
|
<blockquote>
|
|
|
|
|
The <strong>Robur</strong> cooperative blog.
|
|
|
|
|
</blockquote>
|
|
|
|
|
</header>
|
2024-10-29 11:07:07 +00:00
|
|
|
<main><a class="small-button rss" href="/feed.xml">RSS</a><p>The Robur blog.</p>
|
2023-11-13 18:15:09 +00:00
|
|
|
|
|
|
|
|
<h3>Essays and ramblings</h3>
|
|
|
|
|
|
|
|
|
|
<ol reversed class="list-articles"><li>
|
2024-10-29 11:07:07 +00:00
|
|
|
<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-10-29</span>
|
|
|
|
|
<a href="/articles/2024-10-29-ptt.html">Postes, télégraphes et téléphones, next steps</a><br />
|
|
|
|
|
<p>An update of our email stack</p>
|
|
|
|
|
<div class="bottom">
|
|
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-SMTP">SMTP</a></li><li><a href="/tags.html#tag-emails">emails</a></li><li><a href="/tags.html#tag-mailing-lists">mailing-lists</a></li></ul>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
2024-10-29 11:19:24 +00:00
|
|
|
</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-10-28</span>
|
|
|
|
|
<a href="/articles/gptar-update.html">GPTar (update)</a><br />
|
|
|
|
|
<p>libarchive vs hybrid GUID partition table and GNU tar volume header</p>
|
|
|
|
|
<div class="bottom">
|
|
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-OCaml">OCaml</a></li><li><a href="/tags.html#tag-gpt">gpt</a></li><li><a href="/tags.html#tag-tar">tar</a></li><li><a href="/tags.html#tag-mbr">mbr</a></li><li><a href="/tags.html#tag-persistent storage">persistent storage</a></li></ul>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
2024-10-29 11:07:07 +00:00
|
|
|
</li><li>
|
2024-10-25 10:04:17 +00:00
|
|
|
<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-10-25</span>
|
2024-10-29 11:07:07 +00:00
|
|
|
<a href="/articles/dnsvizor01.html">Meet DNSvizor: run your own DHCP and DNS MirageOS unikernel</a><br />
|
2024-10-25 10:04:17 +00:00
|
|
|
<p>The NGI-funded DNSvizor provides core network services on your network; DNS resolution and DHCP.</p>
|
|
|
|
|
<div class="bottom">
|
2024-10-29 11:07:07 +00:00
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-OCaml">OCaml</a></li><li><a href="/tags.html#tag-MirageOS">MirageOS</a></li><li><a href="/tags.html#tag-DNSvizor">DNSvizor</a></li></ul>
|
2024-10-25 10:04:17 +00:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</li><li>
|
2024-10-22 10:26:12 +00:00
|
|
|
<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-10-22</span>
|
2024-10-29 11:07:07 +00:00
|
|
|
<a href="/articles/arguments.html">Runtime arguments in MirageOS</a><br />
|
2024-10-22 10:26:12 +00:00
|
|
|
<p>The history of runtime arguments to a MirageOS unikernel</p>
|
|
|
|
|
<div class="bottom">
|
2024-10-29 11:07:07 +00:00
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-OCaml">OCaml</a></li><li><a href="/tags.html#tag-MirageOS">MirageOS</a></li></ul>
|
2024-10-22 10:26:12 +00:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</li><li>
|
2024-10-21 11:44:35 +00:00
|
|
|
<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-10-21</span>
|
2024-10-29 11:07:07 +00:00
|
|
|
<a href="/articles/finances.html">How has robur financially been doing since 2018?</a><br />
|
2024-10-21 11:44:35 +00:00
|
|
|
<p>How we organise as a collective, and why we're doing that.</p>
|
|
|
|
|
<div class="bottom">
|
2024-10-29 11:07:07 +00:00
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-finances">finances</a></li><li><a href="/tags.html#tag-cooperative">cooperative</a></li></ul>
|
2024-10-21 11:44:35 +00:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</li><li>
|
2024-08-22 07:58:14 +00:00
|
|
|
<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>
|
2024-10-29 11:07:07 +00:00
|
|
|
<a href="/articles/2024-08-21-OpenVPN-and-MirageVPN.html">MirageVPN and OpenVPN</a><br />
|
2024-08-22 07:58:14 +00:00
|
|
|
<p>Discoveries made implementing MirageVPN, a OpenVPN-compatible VPN library</p>
|
|
|
|
|
<div class="bottom">
|
2024-10-29 11:07:07 +00:00
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-MirageVPN">MirageVPN</a></li><li><a href="/tags.html#tag-OpenVPN">OpenVPN</a></li><li><a href="/tags.html#tag-security">security</a></li></ul>
|
2024-08-22 07:58:14 +00:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</li><li>
|
2024-06-26 14:02:41 +00:00
|
|
|
<div class="side">
|
2024-08-15 19:03:16 +00:00
|
|
|
<a href="https://blog.osau.re">
|
|
|
|
|
<img src="https://www.gravatar.com/avatar/e243d18f97471424ca390e85820797ac">
|
2024-06-26 14:02:41 +00:00
|
|
|
</a></div>
|
|
|
|
|
<div class="content">
|
2024-08-15 19:03:16 +00:00
|
|
|
<span class="date">2024-08-15</span>
|
2024-10-29 11:07:07 +00:00
|
|
|
<a href="/articles/tar-release.html">The new Tar release, a retrospective</a><br />
|
2024-08-15 19:03:16 +00:00
|
|
|
<p>A little retrospective to the new Tar release and changes</p>
|
2024-06-26 14:02:41 +00:00
|
|
|
<div class="bottom">
|
2024-10-29 11:07:07 +00:00
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-OCaml">OCaml</a></li><li><a href="/tags.html#tag-Cstruct">Cstruct</a></li><li><a href="/tags.html#tag-functors">functors</a></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-06-26</span>
|
|
|
|
|
<a href="/articles/miragevpn-testing.html">Testing MirageVPN against OpenVPN™</a><br />
|
|
|
|
|
<p>Some notes about how we test MirageVPN against OpenVPN™</p>
|
|
|
|
|
<div class="bottom">
|
|
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-OCaml">OCaml</a></li><li><a href="/tags.html#tag-MirageOS">MirageOS</a></li><li><a href="/tags.html#tag-cryptography">cryptography</a></li><li><a href="/tags.html#tag-security">security</a></li><li><a href="/tags.html#tag-testing">testing</a></li><li><a href="/tags.html#tag-vpn">vpn</a></li></ul>
|
2024-06-26 14:02:41 +00:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</li><li>
|
2024-06-24 10:40:22 +00:00
|
|
|
<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>
|
2024-10-29 11:07:07 +00:00
|
|
|
<a href="/articles/qubes-miragevpn.html">qubes-miragevpn, a MirageVPN client for QubesOS</a><br />
|
2024-06-24 10:40:22 +00:00
|
|
|
<p>A new OpenVPN client for QubesOS</p>
|
|
|
|
|
<div class="bottom">
|
2024-10-29 11:07:07 +00:00
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-OCaml">OCaml</a></li><li><a href="/tags.html#tag-vpn">vpn</a></li><li><a href="/tags.html#tag-unikernel">unikernel</a></li><li><a href="/tags.html#tag-QubesOS">QubesOS</a></li></ul>
|
2024-06-24 10:40:22 +00:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</li><li>
|
2024-06-17 14:17:28 +00:00
|
|
|
<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>
|
2024-10-29 11:07:07 +00:00
|
|
|
<a href="/articles/miragevpn-server.html">MirageVPN server</a><br />
|
2024-06-18 19:29:48 +00:00
|
|
|
<p>Announcement of our MirageVPN server.</p>
|
2024-06-17 14:17:28 +00:00
|
|
|
<div class="bottom">
|
2024-10-29 11:07:07 +00:00
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-OCaml">OCaml</a></li><li><a href="/tags.html#tag-MirageOS">MirageOS</a></li><li><a href="/tags.html#tag-cryptography">cryptography</a></li><li><a href="/tags.html#tag-security">security</a></li><li><a href="/tags.html#tag-VPN">VPN</a></li></ul>
|
2024-06-17 14:17:28 +00:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</li><li>
|
2024-06-10 11:44:59 +00:00
|
|
|
<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>
|
2024-10-29 11:07:07 +00:00
|
|
|
<a href="/articles/miragevpn-performance.html">Speeding up MirageVPN and use it in the wild</a><br />
|
2024-06-10 11:44:59 +00:00
|
|
|
<p>Performance engineering of MirageVPN, speeding it up by a factor of 25.</p>
|
|
|
|
|
<div class="bottom">
|
2024-10-29 11:07:07 +00:00
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-OCaml">OCaml</a></li><li><a href="/tags.html#tag-MirageOS">MirageOS</a></li><li><a href="/tags.html#tag-cryptography">cryptography</a></li><li><a href="/tags.html#tag-security">security</a></li><li><a href="/tags.html#tag-VPN">VPN</a></li><li><a href="/tags.html#tag-performance">performance</a></li></ul>
|
2024-06-10 11:44:59 +00:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</li><li>
|
2024-02-21 10:51:21 +00:00
|
|
|
<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>
|
2024-10-29 11:07:07 +00:00
|
|
|
<a href="/articles/gptar.html">GPTar</a><br />
|
2024-02-21 10:51:21 +00:00
|
|
|
<p>Hybrid GUID partition table and tar archive</p>
|
|
|
|
|
<div class="bottom">
|
2024-10-29 11:07:07 +00:00
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-OCaml">OCaml</a></li><li><a href="/tags.html#tag-gpt">gpt</a></li><li><a href="/tags.html#tag-tar">tar</a></li><li><a href="/tags.html#tag-mbr">mbr</a></li><li><a href="/tags.html#tag-persistent storage">persistent storage</a></li></ul>
|
2024-02-21 10:51:21 +00:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</li><li>
|
2024-02-13 15:37:37 +00:00
|
|
|
<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>
|
2024-10-29 11:07:07 +00:00
|
|
|
<a href="/articles/speeding-ec-string.html">Speeding elliptic curve cryptography</a><br />
|
2024-02-13 15:37:37 +00:00
|
|
|
<p>How we improved the performance of elliptic curves by only modifying the underlying byte array</p>
|
|
|
|
|
<div class="bottom">
|
2024-10-29 11:07:07 +00:00
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-OCaml">OCaml</a></li><li><a href="/tags.html#tag-MirageOS">MirageOS</a></li><li><a href="/tags.html#tag-cryptography">cryptography</a></li><li><a href="/tags.html#tag-security">security</a></li></ul>
|
2024-02-13 15:37:37 +00:00
|
|
|
</div>
|
|
|
|
|
</div>
|
2024-02-21 09:45:43 +00:00
|
|
|
</li><li>
|
|
|
|
|
<div class="side">
|
2024-10-16 09:48:56 +00:00
|
|
|
<a href="https://blog.osau.re/">
|
|
|
|
|
<img src="https://www.gravatar.com/avatar/e243d18f97471424ca390e85820797ac">
|
2024-02-21 09:45:43 +00:00
|
|
|
</a></div>
|
|
|
|
|
<div class="content">
|
|
|
|
|
<span class="date">2024-02-11</span>
|
2024-10-29 11:07:07 +00:00
|
|
|
<a href="/articles/lwt_pause.html">Cooperation and Lwt.pause</a><br />
|
2024-02-21 09:45:43 +00:00
|
|
|
<p>A disgression about Lwt and Miou</p>
|
|
|
|
|
<div class="bottom">
|
2024-10-29 11:07:07 +00:00
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-OCaml">OCaml</a></li><li><a href="/tags.html#tag-Scheduler">Scheduler</a></li><li><a href="/tags.html#tag-Community">Community</a></li><li><a href="/tags.html#tag-Unikernel">Unikernel</a></li><li><a href="/tags.html#tag-Git">Git</a></li></ul>
|
2024-02-21 09:45:43 +00:00
|
|
|
</div>
|
|
|
|
|
</div>
|
2024-02-13 15:37:37 +00:00
|
|
|
</li><li>
|
2024-02-13 14:44:32 +00:00
|
|
|
<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>
|
2024-10-29 11:07:07 +00:00
|
|
|
<a href="/articles/2024-02-03-python-str-repr.html">Python's `str.__repr__()`</a><br />
|
2024-02-13 14:44:32 +00:00
|
|
|
<p>Reimplementing Python string escaping in OCaml</p>
|
|
|
|
|
<div class="bottom">
|
2024-10-29 11:07:07 +00:00
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-OCaml">OCaml</a></li><li><a href="/tags.html#tag-Python">Python</a></li><li><a href="/tags.html#tag-unicode">unicode</a></li></ul>
|
2024-02-13 14:44:32 +00:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</li><li>
|
2023-11-20 14:06:31 +00:00
|
|
|
<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>
|
2024-10-29 11:07:07 +00:00
|
|
|
<a href="/articles/miragevpn-ncp.html">MirageVPN updated (AEAD, NCP)</a><br />
|
2023-11-20 14:06:31 +00:00
|
|
|
<p>How we resurrected MirageVPN from its bitrot state</p>
|
|
|
|
|
<div class="bottom">
|
2024-10-29 11:07:07 +00:00
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-OCaml">OCaml</a></li><li><a href="/tags.html#tag-MirageOS">MirageOS</a></li><li><a href="/tags.html#tag-VPN">VPN</a></li><li><a href="/tags.html#tag-security">security</a></li></ul>
|
2023-11-20 14:06:31 +00:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</li><li>
|
2023-11-13 18:15:09 +00:00
|
|
|
<div class="side">
|
|
|
|
|
<a href="https://reyn.ir/">
|
|
|
|
|
<img src="https://www.gravatar.com/avatar/54a15736b37879bc9708c1618a7cc130">
|
|
|
|
|
</a></div>
|
|
|
|
|
<div class="content">
|
2023-11-15 10:06:12 +00:00
|
|
|
<span class="date">2023-11-14</span>
|
2024-10-29 11:07:07 +00:00
|
|
|
<a href="/articles/miragevpn.html">MirageVPN & tls-crypt-v2</a><br />
|
2023-11-13 18:15:09 +00:00
|
|
|
<p>How we implementated tls-crypt-v2 for miragevpn</p>
|
|
|
|
|
<div class="bottom">
|
2024-10-29 11:07:07 +00:00
|
|
|
<ul class="tags-list"><li><a href="/tags.html#tag-OCaml">OCaml</a></li><li><a href="/tags.html#tag-MirageOS">MirageOS</a></li><li><a href="/tags.html#tag-VPN">VPN</a></li><li><a href="/tags.html#tag-security">security</a></li></ul>
|
2023-11-13 18:15:09 +00:00
|
|
|
</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>
|
