mguinada / clj_spec_playground.clj

Created July 7, 2017 09:38 — forked from ghoseb/clj_spec_playground.clj

Examples of Clojure's new clojure.spec library

	(ns clj-spec-playground
	(:require [clojure.string :as str]
	[clojure.spec :as s]
	[clojure.test.check.generators :as gen]))

	;;; examples of clojure.spec being used like a gradual/dependently typed system.

	(defn make-user
	"Create a map of inputs after splitting name."
	([name email]

mguinada / workstation.md

Created June 18, 2017 14:46 — forked from noopkat/workstation.md

Computers

13" Macbook Pro 3.3 GHz i7 (late 2016)
Microsoft Surface Book (2016)

Peripherals

mguinada / set-game.clj

Created May 10, 2017 09:18 — forked from cgrand/set-game.clj

the SET game in clojure.spec

	;; the SET game in clojure.spec
	;; inspired by https://github.com/jgrodziski/set-game

	(require '[clojure.spec :as s])

	(s/def ::shape #{:oval :diamond :squiggle})
	(s/def ::color #{:red :purple :green})
	(s/def ::value #{1 2 3})
	(s/def ::shading #{:solid :striped :outline})
	(s/def ::card (s/keys :req [::shape ::color ::value ::shading]))

mguinada / ssl_puma.sh

Created November 30, 2016 13:46 — forked from tadast/ssl_puma.sh

localhost SSL with puma


	# 1) Create your private key (any password will do, we remove it below)

	$ cd ~/.ssh
	$ openssl genrsa -des3 -out server.orig.key 2048


	# 2) Remove the password

	$ openssl rsa -in server.orig.key -out server.key

mguinada / gist:dfd0c7b361d54582508f52b882d27c32

Created April 3, 2016 15:21 — forked from terjesb/gist:4257641

iTerm2 emacs 24.2.1 -nw with paredit on OS X 10.8 Norwegian layout

	iTerm2 emacs 24.2.1 -nw with paredit on OS X 10.8 Norwegian layout

	Left Command is my Meta.
	Left Alt used for inputting special characters.
	Caps Lock is mapped to Control.

	 > System Preferences > Keyboard > Keyboard > Special: Caps Lock: ^ Control
	iTerm > Preferences > Keys: Left Command key mapped to Right Option
	iTerm > Preferences > Profiles > Keys: Right option acts as: +Esc

mguinada / 00_destructuring.md

Created November 29, 2015 01:16 — forked from john2x/00_destructuring.md

Clojure Destructuring Tutorial and Cheat Sheet

(Related blog post)

Simply put, destructuring in Clojure is a way extract values from a datastructure and bind them to symbols, without having to explicitly traverse the datstructure. It allows for elegant and concise Clojure code.

Vectors

mguinada / standalone_rom_sql.rb

Last active August 29, 2015 14:25 — forked from xaviershay/standalone_rom_sql.rb

Standalone script to play around with ROM. http://rom-rb.org/

	# Standalone script to try http://rom-rb.org/ with a database

	require 'bundler/inline'

	gemfile do
	source 'https://rubygems.org'
	gem 'rom'
	gem 'rom-sql'
	gem 'rom-rails'
	gem 'activemodel'

mguinada / clojure-relational-algebra.clj

Last active August 29, 2015 14:25 — forked from ninjudd/clojure-relational-algebra.clj

	;; Examples from: http://www.databasteknik.se/webbkursen/relalg-lecture/index.html

	(def employees (table connection-info :employees))
	(def departments (table connection-info :departments))


	;;== Projection ==

	;; SELECT salary FROM employees
	@(project employees #{:salary})

mguinada / gist:c955ece23c90b035f7f3

Last active August 29, 2015 14:25 — forked from cs224/gist:3066392

	(ns mynamespace.dt
	(:use clojure.set)

	(:use [datomic.api :only [q db] :as d])
	(:use clojure.pprint)
	)

	;;; http://www.lshift.net/blog/2010/08/21/some-relational-algebra-with-datatypes-in-clojure-12

	(defrecord Supplier [number name status city])

mguinada / index.html

Last active August 29, 2015 14:20 — forked from noncrab/index.html

	<html>
	<head>
	<script src="out/goog/base.js" type="text/javascript"></script>
	<script src="hello_world.js" type="text/javascript"></script>
	<script type="text/javascript">goog.require("hello_world.core");</script>
	</head>
	<body>
	</body>
	<script type="text/javascript">hello_world.core.run()</script>
	</html>

Miguel Guinada mguinada

Computers

Peripherals

Clojure Destructuring Tutorial and Cheat Sheet

Vectors