Skip to main content

Dan Connolly

Dan Connolly 's Public Library

about 17 hours ago

Yet another Python formatter https://t.co/F5HqVoxoOz

  • In an analogy to programming languages, the Referer header makes the HTTP protocol like a dynamically scoped language, where the callee gets access to the caller's scope, rather than like a lexically scoped language which implements an encapsulation boundary between callee and caller. In the web-key design, this necessary encapsulation boundary is salvaged by exploiting a quirk in HTTP's implementation of dynamic scoping.

  • Dynamic languages are popular in large part because programmers can keep types latent in the code, with type checking done imperfectly (yet often more quickly and expressively) in the programmers’ heads and unit tests

  • hg bookmark -r default master

  • gem install github_cli

  • To search for files in /target_directory and all its sub-directories, that have been modified in the last 2 days:
  • $ find /target_directory -type f -mtime -2
Mar 25, 15

;; /usr/share/doc/cl-quicklisp/README.Debian

;(load #p"/usr/share/cl-quicklisp/quicklisp.lisp")
;(quicklisp-quickstart:install)
(load "/home/connolly/quicklisp/setup.lisp")

(ql:quickload :cl-ppcre)
(ql:quickload :cl-unicode)

(require :cl-ppcre)
(asdf:load-system :cl-ppcre)
(asdf:oos 'asdf:load-op :cl-ppcre-unicode)
"\\p"

(cl-ppcre:scan "\\s" (format t "hi~Cthere" #\return))

(ql:quickload :cl-unicode)
(cl-ppcre:scan "\\p{Space}" (format t "hi~Cthere" #\return))

  • the subclass should not have more authority than the superclass
  • the subclass should not have more authority than the superclass
Mar 25, 15

blogging platform built on racket

Mar 25, 15

"Medium proves that ty­pog­ra­phy can be used as a tool of eco­nomic lever­age and control." http://t.co/TdeEjY0nqp (umm.... learn to use <title>?)

Mar 25, 15

Wow, @loop_recur's tutorial videos on coyoneda, F-algebras, natural transformations, probabilities: http://t.co/4k1U2uJmrQ #Haskell

I started watching the stuff on F-Algebras...

1 - 20 of 7686 Next › Last »
20 items/page

Diigo is about better ways to research, share and collaborate on information. Learn more »

Join Diigo