marsam

Create new droplet:

$ pip install -U ansible dopy
$ ansible-playbook newdroplet.yml

marsam

[Adblock Plus 2.0]
! Version: 20140217
! Title: Custom blocklist
! Expires: 5 days
! Homepage: https://gist.github.com/marsam/9061301
! Redirect:

animeultima.tv##div#mini-announcement
animeultima.tv##div#right-content-hp
animeultima.tv##div.notice

marsam

#!/usr/bin/env python
# -*- coding: utf-8 -*-

# See: http://xkcd.com/1335/
#
# Usage:
#   $ python xkcd_now.py
#   $ convert -delay 10 -loop 0 *.png animation.gif

from __future__ import print_function

marsam

# -*- mode: ruby -*-
# vi: set ft=ruby :

VAGRANTFILE_API_VERSION = "2"
Vagrant.configure(VAGRANTFILE_API_VERSION) do |c|
  c.vm.box = "thoughtpolice/nixos-13.10"
  c.vm.provider "virtualbox" do |vb|
    vb.gui = false; vb.memory = 4096; vb.cpus = 2
    vb.customize ["modifyvm", :id, "--natdnshostresolver1", "on"]
  end

marsam

If you want a take-home tag line for DTLs, here you go:

A dependently-typed language is one where the type system is the same as the language itself.

This means that types are first-class objects. You can pass them as arguments. You can return them as return values.

In a function signature, you may give names for all your arguments. For example: index : (n : Nat) -> List Int -> Int.

The names are brought into scope inside the type. This means that arbitrary values may end up living "inside the types". A "better" version of the type above might be index : (n : Nat) -> Vect n Int -> Int. Here, we use Vect instead of List -- the difference is that a Vect n A is known to have exactly n elements of type A. (In constrast, a List A might have fewer or more than n elements).

marsam

#!/bin/bash

# load resources
xrdb -merge .Xresources

#xsetroot -solid '#222'&
# map caps lock as extra escape
xmodmap -e 'clear Lock' -e 'keycode 0x42 = Escape'&
# start clipboard manager
parcellite&

marsam

# -*- mode: ruby -*-
# vi: set ft=ruby :

CADVISOR_ARGS = %w{--volume=/var/run:/var/run:rw
                   --volume=/sys/fs/cgroup/:/sys/fs/cgroup:ro
                   --volume=/var/lib/docker/:/var/lib/docker:ro
                   --publish=8080:8080
                   --detach=true
                   }.join(" ")

marsam

#!/usr/bin/env bash
#
# TODO:
#   - Use tc/netem: http://linux.die.net/man/8/tc

set -eo pipefail

typeset config="$HOME/.shitdone.conf"
typeset iptables_bkp="$HOME/shitdone.iptables.rules"

marsam

2014-07-31 13:28:40	xyh	hi firends, I have designed a new functional programming language called cicada ::    https://bitbucket.org/cicada-language/cicada
2014-07-31 13:29:04	dlowe	xyh: you seem to be in the wrong channel.
2014-07-31 13:30:14	xyh	I just want to do some propagandas
2014-07-31 13:30:53	Xach	xyh: Rude. Go away.
2014-07-31 13:31:13	<--	arenz (~arenz@185.44.132.2) has quit (Ping timeout: 256 seconds)
2014-07-31 13:31:22	-->	nug700 (~nug700@184-98-169-112.phnx.qwest.net) has joined #lisp
2014-07-31 13:31:56	xyh	why? I love lisp and it have it's root in lisp
2014-07-31 13:32:14	<--	nipra (~nipra@103.245.12.228) has quit (Ping timeout: 272 seconds)
2014-07-31 13:34:46	Xach	xyh: This channel is for Common Lisp, not advertising new languages.
2014-07-31 13:35:56	xyh	Xach: what if I could port my lang to a CL VM ?

marsam

# Maintainer: Mario Rodas <marsam@users.noreply.github.com>

pkgname=ats-anairiats-svn
_svnname=ats-anairiats
pkgver=r3461
pkgrel=1
pkgdesc="Statically typed programming language"
url="http://www.ats-lang.org"
arch=('i686' 'x86_64')
license=('GPL3')