This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
user=> (require '[clojure.spec :as s]) | |
nil | |
user=> (s/def ::big #(< 10 %)) | |
:user/big | |
user=> (s/valid? ::big 10) | |
false | |
user=> (s/valid? ::big 100) | |
true | |
user=> (s/def ::big-or-even (s/or ::big even?)) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Elastic search version | |
curl 'localhost:9200' | |
# List all indices | |
$ curl 'localhost:9200/_cat/indices?v' | |
# this shows the status | |
# e.g: | |
# health status index pri rep docs.count docs.deleted store.size pri.store.size | |
# close .kibana | |
# green open resources-index 3 0 20416 0 7.7mb 7.7mb |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
https://owensd.io/?p=1156&utm_source=dlvr.it&utm_medium=twitter |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
On the criteria to be used in decomposing systems into modules – David Parnas | |
http://sunnyday.mit.edu/16.355/parnas-criteria.html | |
A Note On Distributed Computing – Jim Waldo, Geoff Wyant, Ann Wollrath, Sam Kendall | |
http://web.cs.wpi.edu/~cs3013/a11/Papers/Waldo_NoteOnDistributedComputing.pdf | |
The Next 700 Programming Languages – P. J. Landin | |
http://thecorememory.com/Next_700.pdf | |
Can Programming Be Liberated from the von Neumann Style? – John Backus |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(ns prisoners.core) | |
;; | |
;; Clojure experiment on 100 prisoners problem. | |
;; | |
;; See https://en.wikipedia.org/wiki/100_prisoners_problem | |
;; | |
(defn best-tries | |
"Returns the infinite sequence of drawers contents a prisoner will get. |
OlderNewer