The following are the features that I worked on implementing as part of Google Summer of Code 2016
Sets up a Revision History page to OSEM using which displays a list of changes made to conferences and their associated resources.
LiquidHaskell is a correctness-checking system that brings refinement types to Haskell. The current implementation parses type signatures and other specifications from special comments in Haskell source code. The majority of user issues - crashes and unclear error messages - trace back to this portion of the codebase, hampering widespread adoption. I propose to replace this with a system that encodes refinement types in Haskell's type system, achieving code reuse and deeper integration with GHC.
Turing has a large community of people who use Slack: mentors, teachers, guests, students, and alumni. Members should be mindful of other people's involvement in the Turing Slack community. Many mentors and guests are in different time zones, and most students need their sleep when they can get it (see: night owls or early birds). Please be aware of your local time and other users' local time when you are sending a message that will notify other members of the message. Most users have phone and/or email notifications (@channel (see below) and direct message) turned on.
Almost never. Especially in the community channel. Here are things to ask yourself before you send out a message using @channel:
Authors: Daniel Smith, David Eads (SIG API Machinery co-leads)
Last edit: Feb 23
Status: RELEASED
We have observed a lot of confusion in the community around the general topic of ThirdPartyResources (TPRs) and apiserver aggregation (AA). We want to
Implements https://github.com/kubernetes/community/blob/master/contributors/design-proposals/aggregated-api-servers.md.
It provides
Generic library for building a Kubernetes aggregated API server.
This library contains code to create Kubernetes aggregation server complete with delegated authentication and authorization,
kubectl compatible discovery information, optional admission chain, and versioned types. It's first comsumers are
k8s.io/kubernetes, k8s.io/kubernetes/cmd/kube-aggregator, and github.com/kubernetes-incubator/service-catalog.
Scheme, typing, encoding, decoding, and conversion packages for Kubernetes and Kubernetes-like API objects.
This library is a shared dependency for servers and clients to work with Kubernetes API infrastructure without direct
type dependencies. It's first comsumers are k8s.io/kubernetes, k8s.io/client-go, and k8s.io/apiserver.
CoreOS continues to build and introduce projects, products, and teams that make customers successful with Kubernetes. Join us through this next phase of growth of the company as we continue our mission to secure the internet through rapid adoption of an enterprise ready Kubernetes we call CoreOS Tectonic.
Positions are available in a variety of locations. Project
Highlighted roles below; additional roles in Sales, Project Management, IT, Marketing, and Customer Success.
| #!/bin/bash -ex | |
| rm -rf cache.new | |
| if [ ! -d cache ]; then | |
| mkdir cache.new | |
| pushd cache.new | |
| for repo in $(ls -1 ../kubernetes/staging/src/k8s.io); do | |
| git clone git@github.com:kubernetes/${repo}.git | |
| done | |
| popd |
