Instantly share code, notes, and snippets.

View 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)
View 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]
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
View asserts.swift
enum AssertOp {
case Equals
case NotEquals
}
enum SimpleAssertOp {
case NotNil
case Nil
}
View 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();
View 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%
View 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
View 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
View 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
{