dredozubov

class R
  def initialize(a, b)
    @a = a
    @b = b
  end

  attr_accessor :a, :b
end

def id(x)

dredozubov

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

dredozubov

#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

dredozubov

{-# 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)

dredozubov

#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|

dredozubov

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

dredozubov

Keybase proof

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:

dredozubov

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)

dredozubov

[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

dredozubov

#!/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