Archive


updated: 2025-05-16
  • go away unless I sent this to you, then stay (WIP) [dsp-4U8B]
  • TBD [dsp-0Y6J]
  • Vectorization Talk [dsp-4M8H]
  • Vectorized XTS [dsp-7B7W]
  • XTS [dsp-6K6O]
  • Working with the Garage Door Open [dsp-0H0E]
  • A Sad Story About the Meaning of 'Constant Time' [dsp-4S2I]
    Just when I was starting think I was getting the hang of this.
  • Linear Algebra Fundamentals [dsp-8M1W]
  • Notes from "Deep Learning", Goodfellow et al. [dsp-2B0B]
  • Zero Knowledge Notes on "Attention is All You Need" [dsp-2P7F]
    The paper that could write itself.
  • Message Digest V [dsp-5E7S]
  • Software Implementation of Modular Exponentiation, Using Advanced Vector Instructions Architectures [dsp-9X1T]
  • Why 52? [dsp-2O6M]
    Tracking the lineage of the 52-bit radix in OpenSSL's RSA implementation
  • Montgomery Multiplication [dsp-5U7X]
  • RSA mathematics deep-dive talk [dsp-5Q3M]
    RSA for the Impatient
  • The Chinese Remainder Theorem [dsp-6D8F]
  • RSA for the impatient [dsp-9F0P]
  • Zeros, Stacks, and Paranoia [dsp-7M4Z]
    A story about stacking keys and how to forget them.
  • About This Site [dsp-0031]
  • Hi, I'm dan [dsp-0029]
  • dan pittman [dsp-0001]
  • How to Pitch a Tent [dsp-0028]
    I used to have this friend Chris. Chris and I went to church camp together and he never came back.
  • TBCK [dsp-0027]
  • A refinement of Nietzsche's Discussion on Identity [dsp-0026]
  • Understanding Fibrations [dsp-0025]
    Come with me on a journey where ChatGPT tries to lead me off a mathematical cliff.
  • Alon Systems Biology Course Lecture Notes [dsp-6M3W]
  • Dan Pittman [dsp-0032]
    Engineer and Mathematician
  • Tell Me I'm Worthless [dsp-0024]
  • Aleph [dsp-0023]
    On syntax, semantics, and the discretizing force of language.
  • The Whale (2022) [dsp-0022]
  • The Lathe of Heaven [dsp-0021]
    A cautionary tale about infinite possibility.
  • W-Types, and how? [dsp-6I0N]
  • Fern's Joy [dsp-0020]
  • Thinking about Equality Philosophically [dsp-0019]
  • Propositional Resizing [dsp-9M7X]
  • Petri Nets, Graphs, and Concurrency [dsp-6K8G]
  • Coherence [dsp-2Q9P]
  • Internal ∞-Categorical Models of Dependent Type Theory [dsp-7Z0O]
    Towards 2LTT eating HoTT
  • Worship [dsp-0018]
    When God closes a door he opens a window for us to jump out of.
  • Vibin' [dsp-0017]
  • The Real Numbers, Propositionally [dsp-0016]
  • Using Emacs's org-mode As Your Zettelkasten [dsp-0015]
    And some editorializing on the foundations of mathematics...
  • Using Type-Level Programming in Rust to Make Safer Hardware Abstractions [dsp-0014]
  • Type Theory for The Working Rustacean [dsp-0033]
    Rust Belt Rust 2019
  • A Quiver of Telescopes [dsp-0013]
  • A Week of ECM [dsp-0012]
  • Proof Theory Impressionism: Blurring the Curry-Howard Line [dsp-0030]
    Strangeloop 2018
  • Why Functional Programming: My Emotions Laid Bare [dsp-0011]
  • On “The Strange and Twisted Life of Frankenstein” [dsp-0010]
  • On Profunctors, Abruptly [dsp-0009]
  • The Hauntology of Functional Programming [dsp-0008]
  • An Algebraic Data Type's Monad [dsp-0007]
  • Homotopy Type Theory Desiderata [dsp-0006]
  • Notes on existing as a leaf in a world of cars [dsp-0005]
  • On Descartes and Microservices [dsp-0004]
  • CRDTs, Bounds, SyncFree, and Invariants [dsp-0003]
  • Some Readings on Mixins [dsp-0002]

home | feed
© dan pittman.
I reserve the right to be wrong. Do with this what you will.