I hereby claim:
- I am dredozubov on github.
- I am dredozubov (https://keybase.io/dredozubov) on keybase.
- I have a public key whose fingerprint is BE35 6E9A C674 F0B3 D7FD DC70 BD61 53F7 848F 63C9
To claim this, I am signing this object:
class R | |
def initialize(a, b) | |
@a = a | |
@b = b | |
end | |
attr_accessor :a, :b | |
end | |
def id(x) |
Debugger entered--Lisp error: (quit) | |
signal(quit nil) | |
(condition-case err (run-hooks (quote proof-shell-extend-queue-hook)) ((error quit) (proof-detach-queue) (signal (car err) (cdr err)))) | |
proof-extend-queue(6031 ((#<overlay from 6008 to 6031 in *company-coq-tutorial*> ("Require Import Omega.") proof-done-advancing nil))) | |
(let ((startpos (proof-queue-or-locked-end)) (lastpos (nth 2 (car semis))) (vanillas (proof-semis-to-vanillas semis displayflags))) (proof-script-delete-secondary-spans startpos lastpos) (proof-extend-queue lastpos vanillas)) | |
proof-assert-semis(((cmd "Require Import Omega." 6031)) nil) | |
(let ((semis (save-excursion (skip-chars-backward " \n" (proof-queue-or-locked-end)) (proof-segment-up-to-using-cache (point))))) (if (eq (quote unclosed-comment) (car semis)) (setq semis (cdr semis))) (if (null semis) (error "I can't find any complete commands to process!")) (run-hooks (quote proof-assert-command-hook)) (proof-assert-semis semis displayflags)) | |
proof-assert-until-point() | |
(sav |
#docker | |
function docker-start () { | |
VM=$1 /Applications/Docker/Docker\ Quickstart\ Terminal.app/Contents/Resources/Scripts/start.sh | |
} | |
function docker-restart () { | |
docker-machine restart $1 | |
local command="docker-machine env $1" | |
echo "reloading docker env" | |
eval $command |
{-# LANGUAGE DataKinds #-} | |
{-# LANGUAGE GADTs #-} | |
{-# LANGUAGE KindSignatures #-} | |
data Metric = Meter Double | Kilometer Double deriving Show | |
addMetric :: Metric -> Metric -> Metric | |
addMetric (Meter x) (Meter y) = Meter (x + y) | |
addMetric (Kilometer x) (Kilometer y) = Kilometer (x + y) | |
addMetric (Meter x) (Kilometer y) = Kilometer ((x + y * 1000) / 1000) |
#lib/tasks/missing_indexes.rb | |
namespace :db do | |
desc 'find missing foreign key indexes' | |
task :missing_fk do | |
find_missing_fk | |
end | |
def find_missing_fk | |
c = ActiveRecord::Base.connection | |
c.tables.collect do |t| |
require 'virtus' | |
require 'factory_girl' | |
class Foo | |
include Virtus.model(strict: true, mass_assignment: true) | |
attribute :bar, String | |
## but this works: | |
# attribute :bar, String, default: '' | |
end |
I hereby claim:
To claim this, I am signing this object:
sieve :: [Integer] | |
sieve = map curNum $ iterate sieve' ([2..], \_ -> False) | |
where curNum = head . fst | |
isDiv' y x = x `mod` y /= 0 | |
sieve' ((x:xs), f) = let f' z = \y -> (f z) || (isDiv' z y) | |
in (filter f xs, f' x) |
[6] pry(main)> class Foo | |
[6] pry(main)* def self.m | |
[6] pry(main)* 'm' | |
[6] pry(main)* end | |
[6] pry(main)* end | |
=> nil | |
[8] pry(main)> module Bar | |
[8] pry(main)* def self.included klass | |
[8] pry(main)* klass.instance_eval do | |
[8] pry(main)* def m |
#!/bin/bash | |
# node.js using PPA (for statsd) | |
sudo apt-get install -y python-software-properties | |
sudo apt-add-repository ppa:chris-lea/node.js | |
sudo apt-get update | |
sudo apt-get install -y nodejs npm | |
# Install git to get statsd | |
sudo apt-get install -y git |