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](https://paste.osau.re), [bob](https://bob.osau.re), and his [blog](https://blog.osau.re).
+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.
diff --git a/team/current_members/hannes.md b/team/current_members/hannes.html similarity index 83% rename from team/current_members/hannes.md rename to team/current_members/hannes.html index f895751..d352261 100644 --- a/team/current_members/hannes.md +++ b/team/current_members/hannes.html @@ -4,4 +4,4 @@ website: https://hannes.robur.coop ---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.
-Hannes did his PhD in computer science about formal verification of imperative code (using a higher-order separation logic and the theorem prover Coq). Hannes co-authored not-quite-so-broken TLS, a TLS implementation from the ground up in OCaml, and contributes to the MirageOS project as a core team member. He is working on various projects, including opam signing and [netsem](https://github.com/rems-project/netsem), an executable formal model of TCP/IP which can act as a test validator.
+Hannes did his PhD in computer science about formal verification of imperative code (using a higher-order separation logic and the theorem prover Coq). Hannes co-authored not-quite-so-broken TLS, a TLS implementation from the ground up in OCaml, and contributes to the MirageOS project as a core team member. He is working on various projects, including opam signing and netsem, an executable formal model of TCP/IP which can act as a test validator.
diff --git a/team/current_members/rand.md b/team/current_members/rand.html similarity index 100% rename from team/current_members/rand.md rename to team/current_members/rand.html diff --git a/team/current_members/reynir.md b/team/current_members/reynir.html similarity index 76% rename from team/current_members/reynir.md rename to team/current_members/reynir.html index d8d3846..cfebcfb 100644 --- a/team/current_members/reynir.md +++ b/team/current_members/reynir.html @@ -4,4 +4,4 @@ website: https://reynir.dk/ ---Reynir goes foraging, sniffing and picking interesting plants found in nature, cycling with one, two or more wheels, and knits now and then. Based in Århus, Denmark he goes winterbathing in the cold sea.
-Reynir studied computer science at Aarhus University with an interest in programming languages and formal verification. After some years working in industry with heterogenous unix systems followed by two years of various volunteer work he joined Robur in 2020. He is still heavily involved as a developer and system administrator in [data.coop](https://data.coop/), an association that collectively owns and run servers offering digital services for their members.
+Reynir studied computer science at Aarhus University with an interest in programming languages and formal verification. After some years working in industry with heterogenous unix systems followed by two years of various volunteer work he joined Robur in 2020. He is still heavily involved as a developer and system administrator in data.coop, an association that collectively owns and run servers offering digital services for their members.
diff --git a/team/former_members/joe.md b/team/former_members/joe.html similarity index 100% rename from team/former_members/joe.md rename to team/former_members/joe.html diff --git a/team/former_members/martin.md b/team/former_members/martin.html similarity index 100% rename from team/former_members/martin.md rename to team/former_members/martin.html diff --git a/team/former_members/mindy.md b/team/former_members/mindy.html similarity index 100% rename from team/former_members/mindy.md rename to team/former_members/mindy.html diff --git a/team/former_members/stefanie.md b/team/former_members/stefanie.html similarity index 100% rename from team/former_members/stefanie.md rename to team/former_members/stefanie.html