Kolja Dummann coolya

## Fable.Compat.Helper.fs
module Giraffe.Fable.Compat.Helper

open Giraffe.GiraffeViewEngine

let inline private domEl a b c = tag a b c
let inline private voidEl a b = voidTag a b

//todo: check value and emit attr or not
let inline private boolAttr (key: string) (value: bool) = attr key (string value)
let inline private floatAttr (key: string) (value: float) = attr key (string value)

## error.txt
/root/.nuget/packages/fsharp.net.sdk/1.0.5/build/FSharp.NET.Core.Sdk.targets(23,31): error MSB4022: The result "" of evaluating the value "$(FscTaskAssemblyPath)" of the "AssemblyFile" attribute in element <UsingTask> is not valid. [/builds/rubecula/frontend/frontend/birdvoices.fsproj]

## todo.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                coolya
                / todo.md
            
            
              Created Feb 1, 2017
            
              
                install cvc4
              
          
      View todo.md
  
    
    Download and extract http://cvc4.cs.nyu.edu/builds/misc/cvc4-1.4.1-prerelease-2016-01-03.tar.gz
run:
  xcode-select --install
  brew install libantlr3c boost

In the dicretory where you extracted the archive run
  ./configure


## asserts.swift
enum AssertOp {
    case Equals
    case NotEquals
}

enum SimpleAssertOp {
    case NotNil
    case Nil
}

## arduino.ino
#include <SparkFunBME280.h>
#include <Adafruit_HDC1000.h>

#include <avr/sleep.h>
#include <avr/power.h>
#include <avr/wdt.h>

BME280 bme;
Adafruit_HDC1000 hdc = Adafruit_HDC1000();

## 1_smime-clients.md

      
              3 files
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                coolya
                / 1_smime-clients.md
            
            
              Last active Aug 29, 2015
                — forked from rmoriz/1_smime-clients.md
            
          
      View 1_smime-clients.md
  
    
Mail Clients (MUA) with S/MIME Support
Desktop

Microsoft Outlook http://office.microsoft.com/en-us/outlook-help/get-a-digital-id-HP010355070.aspx?CTT=5&origin=HP010356428
Apple Mail http://support.apple.com/kb/PH4939
Mozilla Thunderbird http://kb.mozillazine.org/Installing_an_SMIME_certificate


## gist:d86edab543fc1459a5cd
/source/gnupg(master)» git summary                                                                                                                                                                                                                         [19:05:52]

 project  : gnupg
 repo age : 17 years
 active   : 1976 days
 commits  : 4673
 files    : 891
 authors  :
  3025	Werner Koch             64.7%
  1197	David Shaw              25.6%

## gist:4c86d42abab1ae20997c
traceroute opscode-omnibus-packages.s3.amazonaws.com                                                                                                                                                                                                     [17:25:42]
traceroute to s3-1-w.amazonaws.com (54.231.1.217), 64 hops max, 52 byte packets
 1  192.168.1.1 (192.168.1.1)  1.110 ms  0.935 ms  0.755 ms
 2  87.186.224.48 (87.186.224.48)  21.486 ms  22.678 ms  21.190 ms
 3  217.0.75.106 (217.0.75.106)  22.370 ms  88.930 ms  140.463 ms
 4  f-ed4-i.f.de.net.dtag.de (62.154.15.10)  24.636 ms  25.471 ms  135.240 ms
 5  80.156.161.46 (80.156.161.46)  25.866 ms  25.925 ms  135.329 ms
 6  ae-6.r20.frnkge04.de.bb.gin.ntt.net (129.250.6.248)  24.870 ms  124.842 ms
    ae-1.r21.frnkge03.de.bb.gin.ntt.net (129.250.6.216)  33.385 ms
 7  ae-3.r23.nycmny01.us.bb.gin.ntt.net (129.250.3.180)  111.264 ms

## gist:e9a6aea90eb4bc84474f
wget  https://opscode-omnibus-packages.s3.amazonaws.com/debian/6/x86_64/chef_11.16.4-1_amd64.deb                                                                                                                                                         [17:22:03]
--2014-10-24 17:22:04--  https://opscode-omnibus-packages.s3.amazonaws.com/debian/6/x86_64/chef_11.16.4-1_amd64.deb
Resolving opscode-omnibus-packages.s3.amazonaws.com... 54.231.16.25
Connecting to opscode-omnibus-packages.s3.amazonaws.com|54.231.16.25|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 31437864 (30M) [application/x-debian-package]
Saving to: 'chef_11.16.4-1_amd64.deb'

100%[======================================================================================================================================================================================================================================>] 31,437,864  2.27MB/s   in 21s

## gist:1fccef3591086bd7ba7d
using logv.http;
using logv.ws.core;
using System;
using System.Collections.Concurrent;
using System.Threading.Tasks;
using MongoDB.Bson;
using logv.ws.core.data;

namespace logv.host
{