dissoc
Optimizing syntax-quote
Infinite rest
Functional Collections and Arity Exceptions
Test-asserting Threads
Growing macros
Future Memory Leaks
Unrolling every-pred and some-fn
A Significant clojure.test Enhancement
Fun ways to break your Macros
Instrumenting Clojure protocols
Developing Clojure patches with Pull Requests
Spec2 experience
What are types in Clojure?
Responsive blog layout
The Road to Typed Clojure 1.0: Part 1
A Typed-Macro Writer’s Toolkit
Leaning on a Garbage Collector A Little Too Hard
How to generate specs for your Clojure project
Who doesn't want unsound type systems?
Macros across boundaries
Are unsound type systems wrong?
How I create Automatic Annotation Tools (Quals defense)
Automatic Annotations: Inferring Function Types
Basics of automatic annotations
Introducing Automatic Annotations
Gradual typing for Clojure
Typed DOM interactions with Typed Clojurescript: Part 1
Typed Clojurescript Playground
Typed Clojure prevents Null Pointer Exceptions
Red/Black tree rebalancing invariants (with plain maps)
The link between CinC and Typed Clojure
Funding full-time development on Typed Clojure{Script}
Simple local reasoning with assertions
Using core.typed at the REPL
Using polymorphic higher-order functions
Invariants via immutability