Skip to content

Instantly share code, notes, and snippets.

View hiredman's full-sized avatar

Kevin Downey hiredman

View GitHub Profile
∵ turjan ~ ∴ rlwrap java -jar ~/.m2/repository/org/clojure/clojure/1.1.0/clojure-1.1.0.jar
Clojure 1.1.0
user=> (read-string "{(gensym) :foo (gensym) :bar}")
{(gensym) :foo, (gensym) :bar}
user=>
∵ turjan ~ ∴ rlwrap java -jar ~/.m2/repository/org/clojure/clojure/1.1.0/clojure-1.1.0.jar
Clojure 1.1.0
user=> (def FD65CA0F-4C7A-4EBE-A7FE-0ECD85524F45 "FD65CA0F-4C7A-4EBE-A7FE-0ECD85524F45")
#'user/FD65CA0F-4C7A-4EBE-A7FE-0ECD85524F45
user=> (defn CC7E2BD4-DB79-4EC6-9BA2-D6A3EDEBBC6A [] FD65CA0F-4C7A-4EBE-A7FE-0ECD85524F45)
#'user/CC7E2BD4-DB79-4EC6-9BA2-D6A3EDEBBC6A
user=> (CC7E2BD4-DB79-4EC6-9BA2-D6A3EDEBBC6A)
"FD65CA0F-4C7A-4EBE-A7FE-0ECD85524F45"
user=> (CC7E2BD4-DB79-4EC6-9BA2-D6A3EDEBBC6A)
"FD65CA0F-4C7A-4EBE-A7FE-0ECD85524F45"
(display-solutions
(run 10 (prove
'(¬ P)
'((⊃ (≡ L N) C)
(∨ (≡ L N) (⊃ P (¬ E)))
(⊃ (¬ E) C)
(¬ C))
nil)))
"
Proof 0:
(defun mp (s1 s2)
(when (and (listp s1)
(equal '⊃ (elt s1 0))
(equal s2 (elt s1 1)))
(elt s1 2)))
(defun mt (s1 s2)
(when (and (listp s1)
(equal '⊃ (elt s1 0))
(listp s2)
the problem is when you start nesting arrow forms, which is more common now that clojure has grown more arrow macros like as-> and cond->, how do you know the first expression passed to -> statically is the actual "head" when the code is run?
myself and many others have long passed locked themselves to a specific clojure-mode sha to avoid getting these crazy formatting changes. we have large clojure code bases and are not interested in reformatting all of it according to your whims. do you really intend this to be a community style guide or just a repo to trip up new clojure users that coworkers will have to tell them to ignore when they get a job in a clojure shop?
various headers and lines excised
Date: Wed, 04 Feb 2015 11:25:26 -0800
MIME-Version: 1.0
To: crccomplaints@atg.wa.gov
Subject: Re: 460160 : A notice from the Washington State Attorney General's
Office
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
documents that are a collection of links in google docs are, while easier to write than
documents elsewhere, very frustrating to use, if I want to read all the docs for every
link I have to:
1. click a link
2. wait for the little popup
3. find the link with my mouse to click on it
4. click outside the popup to make it go away
in github's wiki, given a page that is a list of links, if I hold down control for every
(def margin 30)
(def data
'(1 0 0 0 0 0 0 0 1 0 1 3 1 4 6 10 11 13 13 20 22 23 23 24 24 20))
(let [x (range (count data))
s (apply min x)
e (apply max x)]
(def x-min (- s 1))
(def x-max (+ e 1)))
#!/Users/hiredman/src/jdk9.hg/build/macosx-x86_64-normal-server-release/images/jdk/bin/java -server -Xmx32m -Xms32m -XX:+UseTLAB -XX:+DoEscapeAnalysis -XX:+AdjustConcurrency -XX:+UseThreadPriorities -XX:+AggressiveOpts -XX:+UseG1GC -jar /Users/hiredman/src/clojure/target/clojure-1.7.0-master-SNAPSHOT.jar
(println (java.util.Date.))
(let [pom-uber-jar (str "http://thelibraryofcongress.s3.amazonaws.com/"
"pomegranate-0.3.1-SNAPSHOT-jar-with-dependencies.jar")]
(.addURL @clojure.lang.Compiler/LOADER (java.net.URL. pom-uber-jar))
(require '[cemerick.pomegranate :as pom])
((resolve 'pom/add-dependencies)
:coordinates '[[props3t "0.0.4-SNAPSHOT"]]