I hereby claim:
- I am moleike on github.
- I am moleike (https://keybase.io/moleike) on keybase.
- I have a public key whose fingerprint is CDC4 894D F650 5812 3224 B997 C5CD DE66 C45A DD8F
To claim this, I am signing this object:
sealed trait Term | |
case class Const(name: String) extends Term | |
case class Var(name: String) extends Term | |
case class Atom(relation: String, terms: Term*) | |
sealed trait Clause | |
case class Rule(head: Atom, body: Atom*) extends Clause | |
case class Fact(atom: Atom) extends Clause | |
case class Query(name: String, atoms: Atom*) extends Clause |
{-# LANGUAGE DataKinds #-} | |
{-# LANGUAGE DeriveGeneric #-} | |
{-# LANGUAGE FlexibleContexts #-} | |
{-# LANGUAGE LambdaCase #-} | |
{-# LANGUAGE NamedFieldPuns #-} | |
{-# LANGUAGE OverloadedStrings #-} | |
{-# LANGUAGE QuasiQuotes #-} | |
{-# LANGUAGE RecordWildCards #-} | |
{-# LANGUAGE TypeOperators #-} |
I hereby claim:
To claim this, I am signing this object:
import io.finch._ | |
import io.finch.syntax._ | |
import shapeless._ | |
import scala.language.existentials | |
trait Route { | |
private object base extends Endpoint[HNil] { | |
def apply(input: Input): Endpoint.Result[HNil] = EndpointResult.NotMatched | |
} | |
Driver: | |
-Write the code according to the navigator's specification | |
-Listen intently to the navigators instructions | |
-Ask questions wherever there is a lack of clarity | |
-Offer alternative solutions if you disagree with the navigator | |
-Where there is disagreement, defer to the navigator. If their idea fails, get to failure quickly and move on | |
-Make sure code is clean | |
-Own the computer / keyboard | |
-Ignore larger issues and focus on the task at hand | |
-Trust the navigator - ultimately the navigator has the final say in what is written |
package main | |
import ( | |
"fmt" | |
"io" | |
"io/ioutil" | |
"net" | |
"os" | |
"strings" |
obj-m += tcp_svr_sample.o | |
all: | |
make -C /lib/modules/$(shell uname -r)/build M=$(PWD) modules | |
clean: | |
make -C /lib/modules/$(shell uname -r)/build M=$(PWD) clea |
input { | |
lumberjack { | |
# The port to listen on | |
port => 5043 | |
# The paths to your ssl cert and key | |
ssl_certificate => "/etc/pki/tls/certs/logstash-forwarder/logstash-forwarder.crt" | |
ssl_key => "/etc/pki/tls/private/logstash-forwarder/logstash-forwarder.key" | |
# default type, but this will already be set by logstash-forwarder anyways |