Skip to content

Instantly share code, notes, and snippets.

@yonkeltron
yonkeltron / SketchSystems.spec
Created April 25, 2019 18:25
Facets DQM Billing EFT Match
Facets DQM Billing EFT Match
Idle*
Receive Claim from FODS -> Processing Claim
Processing Claim
Query FCTS for Candidate Matches*
Candidate Matches Found -> Generate XML
No Candidate Matches Found -> Undefined
Generate XML
Success -> SAP SOAP Call for Matched Provider
Failure -> Undefined
Propane
Idle*
configure -> Configuring
help -> Help
Configuring
Updating Packages
finished -> Configuring Certificates
failed -> Logging Error
Configuring Certificates
finished -> Indicating Success
Propane
Idle*
configure -> Configuring
help -> Help
error -> Logging Error
Configuring
Updating Packages
finished -> Configuring Certificates
failed -> Logging Error
Configuring Certificates
SK Action
Listening*
receive message -> Handling Message
Handling Message
Contractify*
passed contract -> Processing
failed contract -> Queue Error
Processing
finished -> Emitting Response
Queue Error
@yonkeltron
yonkeltron / SketchSystems.spec
Last active November 12, 2018 02:12
Skyline Action
Skyline Action
Listening
receive message -> Processing
Processing
finished processing -> Emitting
Emitting
finished emitting -> Tracing
Tracing
finished tracing -> Listening
@yonkeltron
yonkeltron / hello_world.mzn
Last active May 16, 2018 13:04
I fixed it!
int: nt = 10;
var 1..nt: solution;
constraint solution < nt;
solve satisfy;
output ["solution = ", show(solution)];
@yonkeltron
yonkeltron / mix.exs
Last active February 22, 2019 08:30
OpenTracing in Elixir with Otter
defmodule Ot.Mixfile do
use Mix.Project
def project do
[app: :ot,
version: "0.1.0",
elixir: "~> 1.4",
build_embedded: Mix.env == :prod,
start_permanent: Mix.env == :prod,
deps: deps()]
@yonkeltron
yonkeltron / keybase.md
Last active August 29, 2015 14:03
keybase.md

Keybase proof

I hereby claim:

  • I am yonkeltron on github.
  • I am yonkeltron (https://keybase.io/yonkeltron) on keybase.
  • I have a public key whose fingerprint is E4A0 88EA 4F96 67B4 BA02 E188 3B52 3876 5C66 9F7B

To claim this, I am signing this object:

checking build system type... x86_64-apple-darwin13.1.0
checking host system type... x86_64-apple-darwin13.1.0
loading site script './config.site'
loading build-specific script './config.site'
checking for pwd... /bin/pwd
checking whether builddir is srcdir... yes
checking for working aclocal... missing
checking for working autoconf... missing
checking for working automake... missing
checking for working autoheader... missing
n = 50000
Rehearsal ----------------------------------------------
vanilla 2.980000 0.940000 3.920000 ( 4.703619)
pipelined 0.820000 0.160000 0.980000 ( 0.976310)
hmapped 0.160000 0.000000 0.160000 ( 0.228029)
------------------------------------- total: 5.060000sec
user system total real
vanilla 3.000000 0.940000 3.940000 ( 4.718813)
pipelined 0.800000 0.140000 0.940000 ( 0.945136)