Skip to content

Instantly share code, notes, and snippets.

Kolja Dummann coolya

Block or report user

Report or block coolya

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@coolya
coolya / Fable.Compat.Helper.fs
Last active Feb 17, 2018
A simple wrapper for Giraffe html api that mimics the Fable.React api
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]
@coolya
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
@coolya
coolya / asserts.swift
Created Apr 30, 2016
assert operators
View asserts.swift
enum AssertOp {
case Equals
case NotEquals
}
enum SimpleAssertOp {
case NotNil
case Nil
}
@coolya
coolya / arduino.ino
Created Feb 27, 2016
Arduino sketch for homedata project
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
@coolya
coolya / gist:1fccef3591086bd7ba7d
Last active Aug 29, 2015
High Performance Loggin
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
{
You can’t perform that action at this time.