-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.html
72 lines (51 loc) · 9.76 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta name="google-site-verification" content="yphqrnV7HMP4JyrgqxT0mg0Nkt7Pm0uJoVIcwYeII5A" />
<title>OCaml Labs</title>
<meta name="description" content="OCaml Labs is an initiative within the Cambridge Computer Laboratory started by Anil Madhavapeddy in 2011 to promote research, growth, and collaboration within the wider OCaml community.
">
<!-- todo: include this into main.css -->
<link rel="stylesheet" href="/css/font-awesome.css">
<!-- <link rel="stylesheet" href="/css/main.css"> -->
<style>
body { line-height: 1.6; font-weight: 400; /* font-family: Helvetica, Tahoma, Arial, STXihei, "华文细黑", "Microsoft YaHei", "微软雅黑", SimSun, "宋体", Heiti, "黑体", sans-serif; */ /* font-family: "Raleway", "HelveticaNeue", "Helvetica Neue", Helvetica, Arial, sans-serif; */ font-family: -apple-system-font,"Helvetica Neue","PingFang SC","Hiragino Sans GB","Microsoft YaHei",sans-serif; color: #222; }
a:link,a:visited,a:active,a:hover { text-decoration: underline; color: black;}
</style>
</head>
<body>
<div class="page-content">
<div class="container" style="vertical-align: center; padding: 10px">
<img width="100%" src="images/cambridge.jpg" />
<table border="0" width="100%" height="160px">
<tr>
<td rowspan=2 align="left" width="160px">
<img height="150px" src="images/OCamlLabsLogoCropped.png" />
</td>
<td align="left">
<span style="font-size: 200%; font-weight:bold;">OCaml Labs joins Tarides</span>
</td>
</tr>
</table>
<div style="margin-left: 20px; width:70%">
<p><em>27 January 2022</em></p>
<p>We are delighted to announce that <a href="https://anil.recoil.org/projects/ocamllabs">OCaml Labs</a> is joining <a href="https://tarides.com/">Tarides</a>. After successfully collaborating on many OCaml projects over the last four years, this alliance will combine the expertise of both groups and enable us to bring OCaml - one of the most advanced programming languages in the world - into mainstream use. Combining forces will accelerate OCaml development and its broader adoption. Furthermore, it will bring the security, portability and performance of OCaml to a large spectrum of use-cases: from academic endeavours such as formal methods and existing threats within cyber security, to real-world applications for climate change, sustainable agriculture, and even space exploration.</p>
<p>OCaml Labs’ existing responsibilities and open source commitments will migrate over to Tarides, and thanks to how closely the teams already work, business will continue without interruption to continuity or delivery. Gemma Gordon will step up as CEO of Tarides, and Thomas Gazagnaire will lead the technological vision and strategy as CTO. As Prof. Anil Madhavapeddy - founder of OCaml Labs and scientific advisor of Tarides - points out, “The cutting edge research we conducted at the University over the past decade has now migrated into mainline OCaml, and so the ongoing curation and development will now happen on a commercially supported basis. I’m excited to continue collaborating on research with Tarides from the University of Cambridge.” Tarides will continue the work started at OCaml Labs and invest in the growth, health, and development of OCaml alongside its wider use cases.</p>
<p>“I am honoured to have the incredible OCaml Labs team - the team who carefully designed and crafted Multicore OCaml - join Tarides”, says Dr. Thomas Gazagnaire, CTO of Tarides. “We share a similar view that a common plague affects the ever-growing software industry: namely the bad quality of software and the omnipresence of bugs. However, this is not a fatal flaw: tools developed by OCaml Labs over the years do not compromise on quality and allow dev teams to automatically fix at least 70% of <a href="https://msrc-blog.microsoft.com/2019/07/18/we-need-a-safer-systems-programming-language/">security bugs</a> and <a href="https://googleprojectzero.blogspot.com/p/0day.html">0-days security exploits</a>. Consequently, OCaml is a simple yet powerful language that can respond to the many challenges developers face today. Since Tarides’ inception we have envisioned a future where all OCaml applications are easily deployable as specialised, secure and energy-efficient MirageOS unikernels. This alliance is a step further in that direction.” Since OCaml is the language used to develop MirageOS, Tarides has continuously developed and maintained parts of the OCaml ecosystem since its creation. Our alliance with OCaml Labs makes this more evident: the MirageOS ecosystem critically depends on OCaml and the OCaml ecosystem benefits from innovations coming from the MirageOS project. Tarides is therefore fully committed to making the synergy between OCaml and MirageOS a success.</p>
<p>Several exciting projects are coming to a head this year. As Gazagnaire says, "2022 is the year of Multicore OCaml". The OCaml 5.0 release will support multicore and effects handlers, influencing every aspect of the language and its ecosystem. The update will significantly improve both performance and user experience whilst maintaining existing features that make OCaml the language of choice for building, for instance, verification software tools. Using the teams’ combined experience and zest for innovation, Tarides is looking to the future of the OCaml language and community with excitement. We will continue to push the boundaries of exploration whilst focusing on what's good for the community. Therefore, this alliance will complement the commercial offering of Tarides and contribute to Tarides' mission: empowering developers, communities and organisations to adopt OCaml as their primary programming experience by providing training, expertise and development services around the OCaml language.</p>
<p>“We are thrilled to be part of an organisation innovating in many areas around operating systems, distributed systems, and security with the Irmin distributed store and the MirageOS unikernel projects”, says Gemma Gordon, CEO of Tarides. “I am incredibly proud of the people OCaml Labs has collaborated with. We have been able to build a sustainable open-source community, with people from various backgrounds all collaborating together. It used to be that people would have to volunteer their time on OCaml, or work in academic research. We have created an additional funded path, one that has increased the diversity and innovation of our community. I’m excited to continue to be part of a group that brings the best minds together to solve the many problems the software industry faces today. I look forward to building a flourishing and sustainable commercial business with existing Tarides partners as well as developing new collaborative opportunities.”</p>
<p>This alliance brings the headcount of Tarides up to 60+ people, all working towards making OCaml the best language for any, and every project. Join our team: <a href="https://tarides.com/company">https://tarides.com/</a></p>
<h3>OCaml Labs</h3>
<p><i>OCaml Labs has been at the forefront of innovation in OCaml for nearly a decade. It was founded at the University of Cambridge by Prof. Anil Madhavapeddy in 2012, and developed into a spin-out consultancy company in 2016. OCaml Labs' mission was to push OCaml and functional programming forward as a platform, making it a more effective tool for all users (including large-scale industrial deployments) while at the same time growing the appeal of the language to broaden its applicability and popularity.</i></p>
<p><i>OCaml Labs has been instrumental in developing and maintaining the OCaml platform for OCaml usage at an industrial scale. OCaml Labs contributed to the development and maintenance of the <a href="https://opam.ocaml.org/">opam</a> package management ecosystem and of the OCaml community website, <a href="https://ocaml.org/">https://ocaml.org</a>. These sites act as hubs for the OCaml community to showcase the state-of-the-art and facilitate innovation. A new and improved version of the site has been released under beta this month. In addition, OCaml Labs' most significant (and technically complex) project, OCaml Multicore, will finally come to fruition this year. Work on this project began in 2014, followed by award-winning papers and presentations in 2020, and the announcement in late 2021 that Multicore will become part of the mainline OCaml compiler.</i></p>
<h3>Tarides</h3>
<p><i>Tarides is a tech start-up founded in Paris in 2018 by pioneers of programming languages and cloud computing. They develop a software infrastructure platform to deploy secure, distributed applications with strict resource constraints and low-latency performance requirements. This platform builds upon innovative and open-source projects such as MirageOS and Irmin and underpins mission-critical deployments such as the Tezos blockchain, Citrix XenServer or Docker for Desktop. In addition, Tarides uses unikernel technologies and applies the research done in programming languages to real-world systems to build safe and performant applications.</i></p>
<p><i>Tarides has been part of the Founder program of Station F in 2018. In addition, it got selected in France for the “Concours d’Innovation i-Lab” organised by the French Ministry of Higher Education, Research and Innovation in partnership with Bpifrance. This national contest awards company creation and innovative technologies. Tarides get awarded during the FIC 2020 fair (International Cybersecurity Forum), the leading European cybersecurity event. </i></p>
</div>
</div>
</div>
</body>
</html>