corpus.blog
41554 blogs · [ { "id": "01a0876f-4aa1-7213-a80d-0ac1b113f062", "title": "The Decade that Art Died", "url": "https://dpitt.me/forest/dsp-2T7C.html", "published_at": "2026-05-15T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b178da9a", "title": "With All Sincerity", "url": "https://dpitt.me/forest/dsp-8K0M.html", "published_at": "2025-11-13T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b1e10bac", "title": "A Quiet (Personal) Revolution", "url": "https://dpitt.me/forest/dsp-4U8B.html", "published_at": "2025-05-16T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b225a9e2", "title": "Vectorization Talk", "url": "https://dpitt.me/forest/dsp-4M8H.html", "published_at": "2025-04-11T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b31be1b0", "title": "Vectorized XTS", "url": "https://dpitt.me/forest/dsp-7B7W.html", "published_at": "2025-03-14T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b34fe8aa", "title": "XTS", "url": "https://dpitt.me/forest/dsp-6K6O.html", "published_at": "2025-03-12T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b3c171c9", "title": "Working with the Garage Door Open", "url": "https://dpitt.me/forest/dsp-0H0E.html", "published_at": "2025-03-12T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b47bc23b", "title": "A Sad Story About the Meaning of 'Constant Time'", "url": "https://dpitt.me/forest/dsp-4S2I.html", "published_at": "2024-10-07T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b4f3a6cb", "title": "Linear Algebra Fundamentals", "url": "https://dpitt.me/forest/dsp-8M1W.html", "published_at": "2024-06-03T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b4f3bba2", "title": "Notes from \"Deep Learning\", Goodfellow et al.", "url": "https://dpitt.me/forest/dsp-2B0B.html", "published_at": "2024-06-03T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b5e6e4f6", "title": "Zero Knowledge Notes on \"Attention is All You Need\"", "url": "https://dpitt.me/forest/dsp-2P7F.html", "published_at": "2024-05-17T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b6360f2e", "title": "Message Digest V", "url": "https://dpitt.me/forest/dsp-5E7S.html", "published_at": "2024-05-01T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b70705fb", "title": "Software Implementation of Modular Exponentiation, Using Advanced Vector Instructions Architectures", "url": "https://dpitt.me/forest/dsp-9X1T.html", "published_at": "2024-04-16T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b7096bb2", "title": "Why 52?", "url": "https://dpitt.me/forest/dsp-2O6M.html", "published_at": "2024-04-16T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b746e7cf", "title": "Montgomery Multiplication", "url": "https://dpitt.me/forest/dsp-5U7X.html", "published_at": "2024-03-13T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b7af1231", "title": "RSA mathematics deep-dive talk", "url": "https://dpitt.me/forest/dsp-5Q3M.html", "published_at": "2024-03-09T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b88c64aa", "title": "The Chinese Remainder Theorem", "url": "https://dpitt.me/forest/dsp-6D8F.html", "published_at": "2024-02-02T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b8e0dda9", "title": "RSA for the impatient", "url": "https://dpitt.me/forest/dsp-9F0P.html", "published_at": "2024-01-31T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b91a2c1f", "title": "Zeros, Stacks, and Paranoia", "url": "https://dpitt.me/forest/dsp-7M4Z.html", "published_at": "2024-01-12T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1b95ac49a", "title": "About This Site", "url": "https://dpitt.me/forest/dsp-0031.html", "published_at": "2024-01-04T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1ba15df96", "title": "Hi, I'm dan", "url": "https://dpitt.me/forest/dsp-0029.html", "published_at": "2024-01-03T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1ba859a6a", "title": "dan pittman", "url": "https://dpitt.me/index.html", "published_at": "2024-01-03T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1bb743b79", "title": "How to Pitch a Tent", "url": "https://dpitt.me/forest/dsp-0028.html", "published_at": "2023-10-24T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1bc046c86", "title": "TBCK", "url": "https://dpitt.me/forest/dsp-0027.html", "published_at": "2023-09-16T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1bcebde4a", "title": "A refinement of Nietzsche's Discussion on Identity", "url": "https://dpitt.me/forest/dsp-0026.html", "published_at": "2023-06-18T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1bd1628a6", "title": "Understanding Fibrations", "url": "https://dpitt.me/forest/dsp-0025.html", "published_at": "2023-05-24T00:00:00+00:00" }, { "id": "01a0876f-4aa1-7213-a80d-0ac1be056c5a", "title": "Alon Systems Biology Course Lecture Notes", "url": "https://dpitt.me/forest/dsp-6M3W.html", "published_at": "2023-03-18T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c0881242874", "title": "Dan Pittman", "url": "https://dpitt.me/forest/dsp-0032.html", "published_at": "2023-03-08T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c0881d73062", "title": "Tell Me I'm Worthless", "url": "https://dpitt.me/forest/dsp-0024.html", "published_at": "2023-02-12T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c08828c632f", "title": "Aleph", "url": "https://dpitt.me/forest/dsp-0023.html", "published_at": "2023-01-13T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c0883623b24", "title": "The Whale (2022)", "url": "https://dpitt.me/forest/dsp-0022.html", "published_at": "2023-01-09T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c08838260a1", "title": "The Lathe of Heaven", "url": "https://dpitt.me/forest/dsp-0021.html", "published_at": "2023-01-03T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c088398ec05", "title": "W-Types, and how?", "url": "https://dpitt.me/forest/dsp-6I0N.html", "published_at": "2022-09-20T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c0883deaf2a", "title": "Fern's Joy", "url": "https://dpitt.me/forest/dsp-0020.html", "published_at": "2022-02-14T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c08849e6060", "title": "Thinking about Equality Philosophically", "url": "https://dpitt.me/forest/dsp-0019.html", "published_at": "2021-03-27T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c088526d243", "title": "Propositional Resizing", "url": "https://dpitt.me/forest/dsp-9M7X.html", "published_at": "2021-02-19T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c0885e70b1f", "title": "Petri Nets, Graphs, and Concurrency", "url": "https://dpitt.me/forest/dsp-6K8G.html", "published_at": "2021-02-03T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c0886c3fa44", "title": "Coherence", "url": "https://dpitt.me/forest/dsp-2Q9P.html", "published_at": "2020-11-11T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c08877c674a", "title": "Internal ∞-Categorical Models of Dependent Type Theory", "url": "https://dpitt.me/forest/dsp-7Z0O.html", "published_at": "2020-09-14T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c088792293f", "title": "Worship", "url": "https://dpitt.me/forest/dsp-0018.html", "published_at": "2020-08-28T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c08886ab1a7", "title": "Vibin'", "url": "https://dpitt.me/forest/dsp-0017.html", "published_at": "2020-07-31T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c0888ae55c6", "title": "The Real Numbers, Propositionally", "url": "https://dpitt.me/forest/dsp-0016.html", "published_at": "2020-07-01T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c08893f9af1", "title": "Using Emacs's org-mode As Your Zettelkasten", "url": "https://dpitt.me/forest/dsp-0015.html", "published_at": "2020-03-25T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c088a1636bb", "title": "Using Type-Level Programming in Rust to Make Safer Hardware Abstractions", "url": "https://dpitt.me/forest/dsp-0014.html", "published_at": "2019-10-25T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c088abbc357", "title": "Type Theory for The Working Rustacean", "url": "https://dpitt.me/forest/dsp-0033.html", "published_at": "2019-10-19T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c088b4d3628", "title": "A Quiver of Telescopes", "url": "https://dpitt.me/forest/dsp-0013.html", "published_at": "2019-09-16T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c088be5b2b0", "title": "A Week of ECM", "url": "https://dpitt.me/forest/dsp-0012.html", "published_at": "2019-05-28T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c088c2481ec", "title": "Proof Theory Impressionism: Blurring the Curry-Howard Line", "url": "https://dpitt.me/forest/dsp-0030.html", "published_at": "2019-03-17T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c088cf9f627", "title": "Why Functional Programming: My Emotions Laid Bare", "url": "https://dpitt.me/forest/dsp-0011.html", "published_at": "2018-06-04T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c088dde0a6a", "title": "On “The Strange and Twisted Life of Frankenstein”", "url": "https://dpitt.me/forest/dsp-0010.html", "published_at": "2018-02-22T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c088e2bb830", "title": "On Profunctors, Abruptly", "url": "https://dpitt.me/forest/dsp-0009.html", "published_at": "2018-02-15T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c088e33160a", "title": "The Hauntology of Functional Programming", "url": "https://dpitt.me/forest/dsp-0008.html", "published_at": "2017-08-27T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c088e4d0085", "title": "An Algebraic Data Type's Monad", "url": "https://dpitt.me/forest/dsp-0007.html", "published_at": "2017-08-02T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c088f45df9d", "title": "Homotopy Type Theory Desiderata", "url": "https://dpitt.me/forest/dsp-0006.html", "published_at": "2017-05-23T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c088f5b56c1", "title": "Notes on existing as a leaf in a world of cars", "url": "https://dpitt.me/forest/dsp-0005.html", "published_at": "2016-10-12T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c088fbae2ce", "title": "On Descartes and Microservices", "url": "https://dpitt.me/forest/dsp-0004.html", "published_at": "2016-05-06T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c0890b3d722", "title": "CRDTs, Bounds, SyncFree, and Invariants", "url": "https://dpitt.me/forest/dsp-0003.html", "published_at": "2015-02-02T00:00:00+00:00" }, { "id": "01a0876f-4aa2-722a-a9ac-3c089160d6b6", "title": "Some Readings on Mixins", "url": "https://dpitt.me/forest/dsp-0002.html", "published_at": "2014-05-27T00:00:00+00:00" } ] posts Claim your blog
Back to dpitt.me
Blog · corpus.blog/blogs/dpitt.me/posts

dpitt.me

dpitt.me

2026

The Decade that Art Diedoriginal ↗
15 May 2026

2025

With All Sincerityoriginal ↗
13 Nov 2025
A Quiet (Personal) Revolutionoriginal ↗
16 May 2025
Vectorization Talkoriginal ↗
11 Apr 2025
Vectorized XTSoriginal ↗
14 Mar 2025
XTSoriginal ↗
12 Mar 2025
Working with the Garage Door Openoriginal ↗
12 Mar 2025

2024

A Sad Story About the Meaning of 'Constant Time'original ↗
7 Oct 2024
Linear Algebra Fundamentalsoriginal ↗
3 Jun 2024
Notes from "Deep Learning", Goodfellow et al.original ↗
3 Jun 2024
Zero Knowledge Notes on "Attention is All You Need"original ↗
17 May 2024
Message Digest Voriginal ↗
1 May 2024
Software Implementation of Modular Exponentiation, Using Advanced Vector Instructions Architecturesoriginal ↗
16 Apr 2024
Why 52?original ↗
16 Apr 2024
Montgomery Multiplicationoriginal ↗
13 Mar 2024
RSA mathematics deep-dive talkoriginal ↗
9 Mar 2024
The Chinese Remainder Theoremoriginal ↗
2 Feb 2024
RSA for the impatientoriginal ↗
31 Jan 2024
Zeros, Stacks, and Paranoiaoriginal ↗
12 Jan 2024
About This Siteoriginal ↗
4 Jan 2024
Hi, I'm danoriginal ↗
3 Jan 2024
dan pittmanoriginal ↗
3 Jan 2024

2023

How to Pitch a Tentoriginal ↗
24 Oct 2023
TBCKoriginal ↗
16 Sept 2023
A refinement of Nietzsche's Discussion on Identityoriginal ↗
18 Jun 2023
Understanding Fibrationsoriginal ↗
24 May 2023
Alon Systems Biology Course Lecture Notesoriginal ↗
18 Mar 2023
Dan Pittmanoriginal ↗
8 Mar 2023
Tell Me I'm Worthlessoriginal ↗
12 Feb 2023
Alephoriginal ↗
13 Jan 2023
The Whale (2022)original ↗
9 Jan 2023
The Lathe of Heavenoriginal ↗
3 Jan 2023

2022

W-Types, and how?original ↗
20 Sept 2022
Fern's Joyoriginal ↗
14 Feb 2022

2021

Thinking about Equality Philosophicallyoriginal ↗
27 Mar 2021
Propositional Resizingoriginal ↗
19 Feb 2021
Petri Nets, Graphs, and Concurrencyoriginal ↗
3 Feb 2021

2020

Coherenceoriginal ↗
11 Nov 2020
Internal ∞-Categorical Models of Dependent Type Theoryoriginal ↗
14 Sept 2020
Worshiporiginal ↗
28 Aug 2020
Vibin'original ↗
31 Jul 2020
The Real Numbers, Propositionallyoriginal ↗
1 Jul 2020
Using Emacs's org-mode As Your Zettelkastenoriginal ↗
25 Mar 2020

2019

Using Type-Level Programming in Rust to Make Safer Hardware Abstractionsoriginal ↗
25 Oct 2019
Type Theory for The Working Rustaceanoriginal ↗
19 Oct 2019
A Quiver of Telescopesoriginal ↗
16 Sept 2019
A Week of ECMoriginal ↗
28 May 2019
Proof Theory Impressionism: Blurring the Curry-Howard Lineoriginal ↗
17 Mar 2019

2018

Why Functional Programming: My Emotions Laid Bareoriginal ↗
4 Jun 2018
On “The Strange and Twisted Life of Frankenstein”original ↗
22 Feb 2018
On Profunctors, Abruptlyoriginal ↗
15 Feb 2018

2017

The Hauntology of Functional Programmingoriginal ↗
27 Aug 2017
An Algebraic Data Type's Monadoriginal ↗
2 Aug 2017
Homotopy Type Theory Desiderataoriginal ↗
23 May 2017

2016

Notes on existing as a leaf in a world of carsoriginal ↗
12 Oct 2016
On Descartes and Microservicesoriginal ↗
6 May 2016

2015

CRDTs, Bounds, SyncFree, and Invariantsoriginal ↗
2 Feb 2015

2014

Some Readings on Mixinsoriginal ↗
27 May 2014