dan pittman :: archive

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]

Archive