We are excited to announce research internships in our Tools and +Compilers group.
+ + diff --git a/data/rss/tarides/mirageos-4-released.md b/data/rss/tarides/mirageos-4-released.md new file mode 100644 index 0000000000..b9e86a8702 --- /dev/null +++ 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: +--- + +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 the journey to 4.0.
+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.
+It achieves these goals in several ways, from securely deploying static website hosting with Let’s Encrypt certificate provisioning and a secure SMTP stack, to ensuring data privacy with decentralised communication infrastructures like Matrix, OpenVPN Servers, and TLS tunnels, as well as using DNS(SEC) Servers for better authentication.
+Over the years since its first release in 2013, the Mirage ecosystem has grown to include hundreds of libraries 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 Docker Desktop’s VPNkit, the Citrix Hypervisor, as well as Robur, Nitrokey, and Tarides itself!
+What’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 dune to build unikernels.
There has also been a major change in how MirageOS compiles projects with the introduction of a new tool called opam-monorepo 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 Dune workspace, which then enables dune build to build everything simultaneously.
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.
+To find out more about the new release please read the official release post on Mirage.io.
+Keep an eye on mirage.io's blog over the next two weeks for more posts on the exciting new things that come with MirageOS 4.0, starting with “Introduction to Build Contexts in MirageOS 4.0” tomorrow!
diff --git a/data/watch.yml b/data/watch.yml index 5572d632fc..3a8181d511 100644 --- 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-03T15: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-03-24T11:01:00.146Z 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-03-16T02:01:00.395Z 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-03-16T02:01:00.075Z 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-03-27T07:01:00.080Z 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