All blogs / Lisp / Clojure / Scheme
dissoc
- Posts
- 63 from 16 Aug 2013 to 7 Jul 2026
- Posting
- now and then (2 in the last year)
- Kind
- personal blog
- Feed
- https://blog.ambrosebs.com/atom.xml
2026 1
2025 2
2024 1
2022 9
2020 4
2019 2
2018 16
- The Road to Typed Clojure 1.0: Part 1
- The Road to Typed Clojure 1.0: Part 1
- A Typed-Macro Writer’s Toolkit
- A Typed-Macro Writer’s Toolkit
- Leaning on a Garbage Collector A Little Too Hard
- Leaning on a Garbage Collector A Little Too Hard
- How to generate specs for your Clojure project
- How to generate specs for your Clojure project
- Who doesn't want unsound type systems?
- Who doesn't want unsound type systems?
- Macros across boundaries
- Are unsound type systems wrong?
- Are unsound type systems wrong?
- Macros across boundaries
- How I create Automatic Annotation Tools (Quals defense)
- How I create Automatic Annotation Tools (Quals defense)
2016 6
2015 2
2013 20
- Typed DOM interactions with Typed Clojurescript: Part 1
- Typed DOM interactions with Typed Clojurescript: Part 1
- Typed Clojurescript Playground
- Typed Clojurescript Playground
- Typed Clojure prevents Null Pointer Exceptions
- Typed Clojure prevents Null Pointer Exceptions
- Red/Black tree rebalancing invariants (with plain maps)
- Red/Black tree rebalancing invariants (with plain maps)
- The link between CinC and Typed Clojure
- The link between CinC and Typed Clojure
- Funding full-time development on Typed Clojure{Script}
- Crowdfunding full-time development on Typed Clojure and Clojurescript
- Simple local reasoning with assertions
- Simple local reasoning with assertions
- Using core.typed at the REPL
- Using polymorphic higher-order functions
- Using polymorphic higher-order functions
- Using core.typed at the REPL
- Invariants via immutability
- Invariants via immutability