mrkgnao

{-# LANGUAGE RecordWildCards, Arrows #-}

import Numeric
import Data.Char

import Control.Monad
import Data.Monoid ((<>))
import Data.List (nub, sort, reverse)

data RepeatBounds = RB

halgari

The question was asked why I (as a programmer who prefers dynamic languages) don't consider static types "worth it". Here
is a short list of what I would need from a type system for it to be truely useful to me: 

1) Full type inference. I would really prefer to be able to write: 

(defn concat-names [person]
  (assoc person :full-name (str (:first-name person)
                                (:second-name person))))

And have the compiler know that whatever type required and produced from this function was acceptible as long as the 

olivergeorge

(ns db-spec.core
  (:require [clojure.java.jdbc :as j]
            [clojure.spec :as s])
  (:import (java.sql Types)))

(defn db-tables-raw
  [db-spec {:keys [catalog schemaPattern tableNamePattern]}]
  (j/with-db-metadata [meta db-spec]
    (j/metadata-result
      (.getTables meta catalog schemaPattern tableNamePattern (into-array String ["TABLE"])))))

thibautsacreste

#!/usr/bin/env bash

# lists all unused AWS security groups.
# a group is considered unused if it's not attached to any network interface.
# requires aws-cli and jq.

# all groups
aws ec2 describe-security-groups \
  | jq --raw-output '.SecurityGroups[] | [.GroupName, .GroupId] | @tsv' \
  | sort > /tmp/sg.all

bishboria

These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

Deraen

(ns metosin.dates
  "Use this namespace to format dates and datetimes for user.
   Don't use for serializing or deserializing.
   Clojure side uses always Helsinki timezone.
   On Cljs side, uses the timezone of browser."
  #?(:cljs (:require goog.date.UtcDateTime
                     goog.date.Date
                     goog.i18n.DateTimeFormat))
  #?(:clj  (:import [org.joda.time DateTimeZone])))