From 4df1eb30534984731d1ea2bcf4e3598389582df4 Mon Sep 17 00:00:00 2001 From: Canopy bot Date: Mon, 21 Nov 2022 15:14:42 +0000 Subject: [PATCH] updated from main (commit 9e73d88b06d7293f24737c4559a201b61e95c3c1) --- About Us/Team | 4 +++- atom | 6 ++++-- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/About Us/Team b/About Us/Team index 081163b..ad89d86 100644 --- a/About Us/Team +++ b/About Us/Team @@ -1,5 +1,5 @@ -Team

Team

Published: 2019-09-10 (last updated: 2022-11-10)

Robur is a software development cooperative specializing in robust and secure digital infrastructure written in OCaml.

+Team

Team

Published: 2019-09-10 (last updated: 2022-11-20)

Robur is a software development cooperative specializing in robust and secure digital infrastructure written in OCaml.

Current members

Hannes

Hannes enjoys living in Berlin, Germany. Until end of 2017, he used to be a research associate at the University of Cambridge in the rems project. He enjoys to write code, and also traveling and repairing his recumbent bicycle, and being a barista.

@@ -16,6 +16,8 @@ He is still heavily involved as a developer and system administrator in He's worked fullstack with with OCaml and Scala since university - working on a varied set of things like entity clustering, entity merging, custom data visualizations, service oriented architecture, PostgreSQL, Elasticsearch, natural language parsing, Linux, server management.

Spends much of his time with his daughter and doing experimental art with his video synthesizer niseq, of course written using pure FRP in OCaml (:

Can be found at https://r7p5.earth/.

+

dinosaure

+

Dinosaure wants the majority of its services to be unikernels in OCaml. A big reader of RFCs, it implements protocols and formats in OCaml. He has been participating in MirageOS for quite some time and continues to promote its use and develop usable unikernels such as paste.osau.re, bob, and his blog.

Former members

Stefanie

Stefanie is an infrastructure software engineer and a researcher.

diff --git a/atom b/atom index 8efa45f..e893272 100644 --- a/atom +++ b/atom @@ -1,4 +1,4 @@ -urn:uuid:8167ecfe-9676-11e7-8dc1-68f728e7bbbcrobur2022-11-17T12:59:08-00:002021-11-16T15:06:35-00:00<p>In 2021 we in <a href="https://robur.coop/">Robur</a> have been working towards easing deployment of reproducible mirage applications. The work has been funded by the European Union under the <a href="https://pointer.ngi.eu/">Next Generation Internet (NGI Pointer) initiative</a>. The result is <a href="https://builds.robur.coop">online</a>.</p> +urn:uuid:8167ecfe-9676-11e7-8dc1-68f728e7bbbcrobur2022-11-21T15:13:41-00:002021-11-16T15:06:35-00:00<p>In 2021 we in <a href="https://robur.coop/">Robur</a> have been working towards easing deployment of reproducible mirage applications. The work has been funded by the European Union under the <a href="https://pointer.ngi.eu/">Next Generation Internet (NGI Pointer) initiative</a>. The result is <a href="https://builds.robur.coop">online</a>.</p> <p>The overall goal is to push MirageOS into production in a trustworthy way. We worked on reproducible builds for <a href="https://opam.ocaml.org">Opam</a> packages and <a href="https://mirageos.org">MirageOS</a> - with the infrastructure being reproducible itself. Reproducible builds are crucial for supply chain security - everyone can reproduce the exact same binary (by using the same sources and environment), without reproducible builds we would not publish binaries.</p> <p>Reproducible builds are also great for fleet management: by inspecting the hash of the binary that is executed, we can figure out which versions of which libraries are in the unikernel - and suggest updates if newer builds are available or if a used library has a security flaw -- <code>albatross-client-local update my-unikernel</code> is everything needed for an update.</p> <p>Several ready-to-use MirageOS unikernels are built on a daily basis - ranging from <a href="https://builds.robur.coop/job/dns-primary-git/">authoritative DNS servers</a> (<a href="https://builds.robur.coop/job/dns-secondary/">secondary</a>, <a href="https://builds.robur.coop/job/dns-letsencrypt-secondary/">let's encrypt DNS solver</a>), <a href="https://builds.robur.coop/job/dnsvizor/">DNS-and-DHCP service (similar to dnsmasq)</a>, <a href="https://builds.robur.coop/job/tlstunnel/">TLS reverse proxy</a>, <a href="https://builds.robur.coop/job/unipi/">Unipi - a web server that delivers content from a git repository</a>, <a href="https://builds.robur.coop/job/dns-resolver/">DNS resolver</a>, <a href="https://builds.robur.coop/job/caldav/">CalDAV server</a>, and of course your own MirageOS unikernel.</p> @@ -374,6 +374,8 @@ He is still heavily involved as a developer and system administrator in <a hr <p>He's worked fullstack with with OCaml and Scala since university - working on a varied set of things like entity clustering, entity merging, custom data visualizations, service oriented architecture, PostgreSQL, Elasticsearch, natural language parsing, Linux, server management.</p> <p>Spends much of his time with his daughter and doing experimental art with his video synthesizer <code>niseq</code>, of course written using pure FRP in OCaml (:</p> <p>Can be found at <a href="https://r7p5.earth/">https://r7p5.earth/</a>.</p> +<h3>dinosaure</h3> +<p>Dinosaure wants the majority of its services to be unikernels in OCaml. A big reader of RFCs, it implements protocols and formats in OCaml. He has been participating in MirageOS for quite some time and continues to promote its use and develop usable unikernels such as <a href="https://paste.osau.re">paste.osau.re</a>, <a href="https://bob.osau.re">bob</a>, and his <a href="https://blog.osau.re">blog</a>.</p> <h2>Former members</h2> <h3>Stefanie</h3> <p>Stefanie is an infrastructure software engineer and a researcher.</p> @@ -393,7 +395,7 @@ He is still heavily involved as a developer and system administrator in <a hr <p>Joe has a background in penetration testing, protocol design, applied cryptography, and architectural IT security system design for customers, especially in the banking, insurance, and pension fund sectors. He has been consulting on BPAY integration in Australia, and conducting web and network security assessments for customers throughout the world.</p> <p>Lately he has spent the last couple of years writing OCaml and has been working with IT security, dev-ops and automated deployment for customers specializing in Enterprise Resource Planning, Internet of Things, and medical technology.</p> <p>In his spare time he dabbles in research into similar topics and serialization frameworks, in addition to the enjoyable pursuit of tabletop roleplaying and social interactions in smoky pubs - two disciplines that he excels in, but that have somehow not been of particular interest to paying customers (yet).</p> -urn:uuid:a4887de7-8629-5578-836f-d31b51fe75aaTeam2022-11-10T16:46:33-00:00canopy2019-09-10T19:40:14-00:00<p>Twice a year the Robur team meet with others from the OCaml and MirageOS community at a week long hack retreat in Marrakesh, Morocco.</p> +urn:uuid:a4887de7-8629-5578-836f-d31b51fe75aaTeam2022-11-20T13:38:10-00:00canopy2019-09-10T19:40:14-00:00<p>Twice a year the Robur team meet with others from the OCaml and MirageOS community at a week long hack retreat in Marrakesh, Morocco.</p> <p>We use these times to discuss and learn about new developments in the MirageOS ecosystem and meet in person about our Robur projects. And of course we have fun whilst we are at it!</p> <p>The retreats are held in a hostel in the center of the city, which we wholly rent out for the period, with food provided. If you are interested in participating in the next retreat please <a href="http://retreat.mirage.io/">see the MirageOS site</a> for more details and sign-up method.</p> urn:uuid:a4887de7-8629-5578-836f-d31b51fe75aaRetreats2019-09-10T21:40:09-00:00canopy2019-09-10T19:40:14-00:00<h1>Collaborations</h1>