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