| -----BEGIN RSA PRIVATE KEY----- | |
| MIIEpAIBAAKCAQEA8Q8ZcQ/hM8sL5/PqFqCxVAjCb8/aRcp/FMWv+C4k1CN8w00Z | |
| aHsFbJ16mSXhhM3vD3aLiz0c+W7CIjcvAZPSc0JJolPR4eISsznm5gjfZCj5iwp1 | |
| XMW81vPfxhgrCtD3Bs2l2WHLsYp/Ou7Rkj+JVHoBiGzOuvrfowFC/tycVweRre1F | |
| b9iVD1+j10YXeZxJ1pisDoXWRy+/TWvRf8NCfxBfjyObBLw5VJLk8NakDwHGPojQ | |
| c9d8ET+97qGw4XnIXXrBHS8iU8TD9Vk5ckKD3V/9cqi8jYrNTYYa/6rhJc3Hafgw | |
| 7peZaiesXPui1RgMu4PR/8MepnbY81nC8kMFoQIDAQABAoIBAQC1hB4vQbrdakbD | |
| 2apqcYQ1+AaZdVUx+mIo/RcddXmr+DDpSzQXtZMHD6oSijC/9OXPqf830MPxmxI5 | |
| +3283Ve6DK8vuZgwVDCqnq4ch4/Xdvc5WJ25RviEj8zv+KDomyN4DwCUqQxd2yEk | |
| +lH6ozdA0kI3PV+J8oDV2IxfJzXeXVGIS5zGZYGanYvc6MLeagFG3AHW8EJWFd9X |
| -----BEGIN DSA PRIVATE KEY----- | |
| MIIBugIBAAKBgQCYfXa+HV0Fl/CTNeOximEZt/xK960Tg3J8gKj0K2QqHoQgQbxk | |
| R7UTVADl03IoOJbDPhV6I0RS1JoEX1NWyPmCNrXOGIqfaO/jbEdNU1lYyrFaw4zI | |
| 38dJuFJY3IPfJoHxCJYB1a/N+dca3KjdXxlCxImM50Dd4Jc+H8UqCsTarQIVAN3b | |
| f7xVPqJoSwsBQUxGubHOyQeTAoGAfW/+RTlMo2z6P3WsUL0HQ0yrH5ns01CfwLqM | |
| /ME76IOVV4eT+Li1G34FymdCFF1PWG5VHBT190R/XxICoEliflBYMbKJL9o3Z9sD | |
| K3uG6+Z+5B5uCR5AY1ugT0EyuztCJpg0M2voxT0VQ4rLEYd5/rfnT7bejhxtqjzy | |
| CrhmxyoCgYBzdvNGjMNNVOvgm/wBEWYFQKixGNhMskph1MpTgYQLmXKXK5rOpufy | |
| P3cYzQheKxtG7Dk87hkAtuzv3kI7KsSqMErXowT67taEcgYMu57O/BFNMl4MLOsv | |
| DRGCekm8CdMiGBpmjIqKZrifJs4/CA3m3YYvPWA7n4O8RDrnBpDrvwIUL8f0zQjg |
Things we want to get done for the community along with bounties for each.
A project is done when a k8s kustomization is submitted to the gitops repo, and it is live and available for users to use. Also must have some kind of backup solution (hosted postgres with backup services is acceptable for a first pass)
| #! /usr/bin/env ruby | |
| # | |
| # Report code size by OCaml module in a native binary | |
| # | |
| require 'set' | |
| require 'getoptlong' | |
| class OCamlModule | |
| include Comparable |
| This can be used as a starting point for developing your own image e.g. for running MirageOS on an Pi3 | |
| You will need an arm64 / aarch64 cross compiler. You can use e.g. the cross compiler shipped by Ubuntu or get the toolchain of your choice for your OS. | |
| apt-get install gcc-aarch64-linux-gnu | |
| Now we setup the SD card. We need to create two partitions like shown below | |
| Device Boot Start End Sectors Size Id Type | |
| 2018-03-13-raspbian-stretch-lite.img1 8192 93802 85611 41,8M c W95 FAT32 (LBA) |
| type foo = [`B | `C | `D] | |
| let f (x : [`A | foo]) = | |
| match x with | |
| | `A -> true | |
| | #foo as x -> ignore (x :> foo); true |
| module Graph | |
| %default total | |
| Node : Type | |
| Node = Nat | |
| Adj : Type -> Type | |
| Adj a = List (a, Node) |
| import QuickCheck | |
| import Providers | |
| %language TypeProviders | |
| prop_RevRev : Eq a => List a -> Bool | |
| prop_RevRev xs = reverse (reverse xs) == xs | |
| stupid : List a -> List a |
| module VerifiedOption | |
| import Classes.Verified | |
| -- data Maybe a = Just a | Nothing | |
| data Option a = Some a | None | |
| -- Associativity | |
| -- (a <+> b) <+> c = a <+> (b <+> c) |
