ocaml · tmattio · Apr 7, 2022 · Apr 6, 2022
diff --git a/data/rss/janestreet/research-internships-in-our-tools-and-compilers-group.md b/data/rss/janestreet/research-internships-in-our-tools-and-compilers-group.md
@@ -0,0 +1,14 @@
+---
+title: Research internships in our Tools and Compilers group
+description: We are excited to announce research internships in our Tools andCompilers
+  group.
+url: https://blog.janestreet.com/research-internships-tnc/
+date: 2022-03-04T00:00:00-00:00
+preview_image: https://blog.janestreet.com/research-internships-tnc/ResearchInternshipsTnC.png
+featured:
+---
+
+<p>We are excited to announce research internships in our Tools and
+Compilers group.</p>
+
+
diff --git a/data/rss/tarides/mirageos-4-released.md b/data/rss/tarides/mirageos-4-released.md
@@ -0,0 +1,21 @@
+---
+title: MirageOS 4 Released!
+description: "Tarides is delighted to announce that MirageOS 4 is finally released!
+  As core contributors to the project, we are proud to have been part of\u2026"
+url: https://tarides.com/blog/2022-03-29-mirageos-4-released
+date: 2022-03-29T00:00:00-00:00
+preview_image: https://tarides.com/static/393425633dfedffb8749b36f48537ebd/eee8e/desert_mirage.jpg
+featured:
+---
+
+<p>Tarides is delighted to announce that <a href="https://mirage.io">MirageOS 4</a> is finally released! As core contributors to the project, we are proud to have been part of the journey to 4.0.</p>
+<p>What is MirageOS?
+MirageOS is a library operating system that constructs unikernels for fast and secure network applications that work across a variety of cloud computing and mobile platforms. The goal of MirageOS is to give the individual control of their own data and take back control of their privacy.</p>
+<p>It achieves these goals in several ways, from securely deploying <a href="https://github.com/roburio/unipi">static website hosting</a> with <em>Let&rsquo;s Encrypt</em> certificate provisioning and a secure <a href="https://github.com/mirage/ptt">SMTP stack</a>, to ensuring data privacy with decentralised communication infrastructures like <a href="https://github.com/mirage/ocaml-matrix">Matrix</a>, <a href="https://github.com/roburio/openvpn">OpenVPN Servers</a>, and <a href="https://github.com/roburio/tlstunnel">TLS tunnels</a>, as well as using <a href="https://github.com/mirage/ocaml-dns">DNS(SEC) Servers</a> for better authentication.</p>
+<p>Over the years since its first release in 2013, the Mirage ecosystem has grown to include <a href="https://github.com/mirage/">hundreds of libraries</a> and service millions of daily users, along with several major commercial users that rely on MirageOS to keep their code secure. Examples of this include <a href="https://www.docker.com/blog/how-docker-desktop-networking-works-under-the-hood/">Docker Desktop&rsquo;s VPNkit</a>, the <a href="https://www.citrix.com/fr-fr/products/citrix-hypervisor/">Citrix Hypervisor</a>, as well as <a href="https://robur.io">Robur</a>, <a href="https://www.nitrokey.com/products/nethsm">Nitrokey</a>, and Tarides itself!</p>
+<p>What&rsquo;s in the New Release?
+The new release focuses on better integration with existing ecosystems. For example, it is now much easier to integrate with existing OCaml libraries, as MirageOS 4 is now using <code>dune</code> to build unikernels.</p>
+<p>There has also been a major change in how MirageOS compiles projects with the introduction of a new tool called <a href="https://github.com/ocamllabs/opam-monorepo"><code>opam-monorepo</code></a> that separates package management from building the resulting source code. The Opam plugin can create a lock file for project dependencies, download and extract dependency sources locally, and even set up a <a href="https://dune.readthedocs.io/en/stable/dune-files.html#dune-workspace-1">Dune workspace</a>, which then enables <code>dune build</code> to build everything simultaneously.</p>
+<p>The new release also adds systematic support for cross-compilation to all supported unikernel targets, meaning that libraries that use C stubs can now have those stubs seamlessly cross-compiled to a desired target.</p>
+<p>To find out more about the new release please read <a href="https://mirage.io/blog/announcing-mirage-40">the official release post on Mirage.io</a>.</p>
+<p>Keep an eye on <a href="https://mirage.io">mirage.io</a>'s blog over the next two weeks for more posts on the exciting new things that come with MirageOS 4.0, starting with &ldquo;Introduction to Build Contexts in MirageOS 4.0&rdquo; tomorrow!</p>
diff --git a/data/watch.yml b/data/watch.yml
@@ -6,7 +6,7 @@ watch:
   embed_path: /videos/embed/e1ee0fc0-50ef-4a1c-894a-17df181424cb
   thumbnail_path: /static/thumbnails/94ead657-79a0-4c10-8435-9e13906a6c44.jpg
   published_at: 2021-08-27T13:23:10.199Z
-  updated_at: 2022-03-14T17:01:00.084Z
+  updated_at: 2022-04-05T10:01:00.069Z
   language: English
   category: Science & Technology
 - name: A Case for Multi-Switch Constraints in OPAM
@@ -39,7 +39,7 @@ watch:
   embed_path: /videos/embed/9bb452d6-1829-4dac-a6a2-46b31050c931
   thumbnail_path: /static/thumbnails/6a0a8291-4626-4820-8071-904b3c508345.jpg
   published_at: 2021-08-27T11:23:36.000Z
-  updated_at: 2022-03-14T18:01:00.379Z
+  updated_at: 2022-03-18T10:01:00.299Z
   language: English
   category: Science & Technology
 - name: A Proposal for Non-Intrusive Namespaces in OCaml
@@ -101,7 +101,7 @@ watch:
   embed_path: /videos/embed/629b89a8-bbd5-490d-98b0-d0c740912b02
   thumbnail_path: /static/thumbnails/41212c84-36d6-44fa-b884-2ced79505929.jpg
   published_at: 2021-08-27T10:18:38.000Z
-  updated_at: 2022-02-25T16:01:00.106Z
+  updated_at: 2022-04-05T11:01:00.043Z
   language: English
   category: Science & Technology
 - name: An LLVM backend for OCaml
@@ -152,7 +152,7 @@ watch:
   embed_path: /videos/embed/8dc2d8d3-c140-4c3d-a8fe-a6fcf6fba988
   thumbnail_path: /static/thumbnails/390cd7dd-4578-4162-bae0-6c218cb5ebde.jpg
   published_at: 2021-08-31T08:39:55.774Z
-  updated_at: 2021-12-16T02:02:00.084Z
+  updated_at: 2022-04-05T23:01:00.060Z
   language: English
   category: Misc
 - name: Biocaml - the OCaml bioinformatics library
@@ -210,7 +210,7 @@ watch:
   embed_path: /videos/embed/92309d92-8cbf-4545-980c-209c96e42a79
   thumbnail_path: /static/thumbnails/db29d3bf-784c-47f1-bf90-f13fd2a9d530.jpg
   published_at: 2021-08-27T10:33:38.000Z
-  updated_at: 2021-12-23T06:02:00.255Z
+  updated_at: 2022-04-04T13:01:00.070Z
   language: English
   category: Science & Technology
 - name: Digodoc and Docs
@@ -258,7 +258,7 @@ watch:
   embed_path: /videos/embed/74ece0a8-380f-4e2a-bef5-c6bb9092be89
   thumbnail_path: /static/thumbnails/d48bf7bb-8c46-4d49-a3a6-734bf339343b.jpg
   published_at: 2021-08-27T14:41:07.000Z
-  updated_at: 2022-03-15T07:01:00.096Z
+  updated_at: 2022-04-05T09:01:00.075Z
   language: English
   category: Science & Technology
 - name: Experiments in Generic Programming
@@ -278,7 +278,7 @@ watch:
   embed_path: /videos/embed/74b32dae-11c6-4713-be1b-946260196e50
   thumbnail_path: /static/thumbnails/a2042ab9-9025-421a-9eae-176462ac594b.jpg
   published_at: 2021-08-31T08:30:23.211Z
-  updated_at: 2022-03-14T18:01:00.527Z
+  updated_at: 2022-04-02T13:01:00.378Z
   language: English
   category: Misc
 - name: Github Pull Requests for OCaml development - a field report
@@ -442,7 +442,7 @@ watch:
   embed_path: /videos/embed/d3b2b31e-1739-406e-8de7-d5f21bc01836
   thumbnail_path: /static/thumbnails/93a6e9ac-2266-408a-81e7-1ebf239233f8.jpg
   published_at: 2021-08-27T15:10:17.000Z
-  updated_at: 2021-12-21T13:02:00.082Z
+  updated_at: 2022-03-15T19:01:00.068Z
   language: English
   category: Science & Technology
 - name: Multicore OCaml
@@ -453,7 +453,7 @@ watch:
   embed_path: /videos/embed/490b5363-01b6-45d8-9b7e-c883a20026a1
   thumbnail_path: /static/thumbnails/07162af4-06f9-4d3c-954a-4c35dc87fd21.jpg
   published_at: 2021-10-03T21:59:49.549Z
-  updated_at: 2022-01-26T12:01:00.271Z
+  updated_at: 2022-03-24T11:01:00.203Z
   language: English
   category: Misc
 - name: Nullable Type Inference
@@ -508,7 +508,7 @@ watch:
   embed_path: /videos/embed/0fee79e8-715a-400b-bfcc-34c3610f4890
   thumbnail_path: /static/thumbnails/596f39a9-8654-4922-8bec-6e7ac5dcc319.jpg
   published_at: 2020-08-28T00:00:00.000Z
-  updated_at: 2022-02-11T17:01:00.074Z
+  updated_at: 2022-03-29T07:01:00.072Z
   language: English
   category: Misc
 - name: 'OCaml-CI : A Zero-Configuration CI'
@@ -605,7 +605,7 @@ watch:
   embed_path: /videos/embed/f3829e4b-e2cd-443e-8502-f406e893fe5f
   thumbnail_path: /static/thumbnails/ad30ffbb-ea91-4afd-b186-bc0af61c1430.jpg
   published_at: 2022-03-15T10:47:05.608Z
-  updated_at: 2022-03-15T10:47:05.609Z
+  updated_at: 2022-04-01T16:01:00.092Z
   language: English
   category: Misc
 - name: 'Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs'
@@ -616,7 +616,7 @@ watch:
   embed_path: /videos/embed/c0d591e0-91c9-4eaa-a4d7-c4f514de0a57
   thumbnail_path: /static/thumbnails/b1a67c0a-2eb9-4c9d-97ce-b4dc039da59b.jpg
   published_at: 2021-08-27T10:36:13.000Z
-  updated_at: 2022-01-04T09:01:00.058Z
+  updated_at: 2022-03-21T18:01:00.065Z
   language: English
   category: Science & Technology
 - name: Parallelising your OCaml Code with Multicore OCaml
@@ -629,7 +629,7 @@ watch:
   embed_path: /videos/embed/ce20839e-4bfc-4d74-925b-485a6b052ddf
   thumbnail_path: /static/thumbnails/30bc6019-ecab-40e5-a7b6-c294ac9a7344.jpg
   published_at: 2020-08-28T00:00:00.000Z
-  updated_at: 2022-02-22T14:01:00.074Z
+  updated_at: 2022-03-24T11:01:00.067Z
   language: Unknown
   category: Misc
 - name: Persistent Networking with Irmin and MirageOS
@@ -758,7 +758,7 @@ watch:
   embed_path: /videos/embed/0e2070fd-798b-47f7-8e69-ef75e967e516
   thumbnail_path: /static/thumbnails/4fd6a51f-686c-4f6f-8026-83692304b432.jpg
   published_at: 2020-08-28T00:00:00.000Z
-  updated_at: 2022-02-24T21:01:00.066Z
+  updated_at: 2022-03-15T16:01:00.072Z
   language: English
   category: Science & Technology
 - name: Study of OCaml programs' memory behaviour
@@ -814,7 +814,7 @@ watch:
   embed_path: /videos/embed/b04b10c1-b924-4f58-8aa9-4527dcc11d8a
   thumbnail_path: /static/thumbnails/9feccd59-f677-4be6-bcf4-a07977ef5b29.jpg
   published_at: 2021-10-03T22:49:54.276Z
-  updated_at: 2021-10-03T22:50:14.266Z
+  updated_at: 2022-04-02T10:01:00.291Z
   language: English
   category: Misc
 - name: The State of OCaml
@@ -873,7 +873,7 @@ watch:
   embed_path: /videos/embed/2acebff9-25fa-4733-83cc-620a65b12251
   thumbnail_path: /static/thumbnails/c877a501-c705-44f7-8826-e7ce846a5e42.jpg
   published_at: 2020-08-28T00:00:00.000Z
-  updated_at: 2022-03-08T08:01:00.092Z
+  updated_at: 2022-03-18T10:01:00.067Z
   language: English
   category: Misc
 - name: Towards A Debugger for Native Code OCaml
@@ -934,7 +934,7 @@ watch:
   embed_path: /videos/embed/b967996a-3dab-415f-8e51-d8908361b2b2
   thumbnail_path: /static/thumbnails/d7e64359-41c9-47d5-8f6d-9953db6555b3.jpg
   published_at: 2021-10-08T23:45:42.515Z
-  updated_at: 2021-10-08T23:47:55.929Z
+  updated_at: 2022-03-22T21:01:00.080Z
   language: English
   category: Misc
 - name: Wibbily Wobbly Timey Camly