dpitt.me

This post contains a position that I can only tenuously defend, but it is something I find myself thinking a lot about lately.

If God is unknowable, and language is the limit of our knowledge, and art pushes the bounds of language, and true expression is dependent upon sincerity, then sincerity is the only avenue to spiritual seriousness.

In 2009, Mark Fisher published Capitalist Realism: Is There No Alternative?

A talk I gave which covers real world examples of vectorization by using AES-XTS as a… vector.

So first the tweak is encrypted and written to the stack.

When I converted this blog from the conventional reverse-chronological ordering to something you had to follow links to get around in, like it was a dark forest and you were wandering from tree to tree, it was heavily influenced by the many people who’d d…

IEEE 1619 Things to Remember, that I keep forgetting: A Data Unit can be many 128-bit blocks (the standard says up to \(2^{20}\) to be precise), but a single Data Unit has a single Tweak.

A few weeks ago, I finally got the massive RSA OpenSSL port merged into AWS-LC, after a months-long effort of documenting, refactoring, and justifying someone else’s decisionsYou may recall that this is code that was originally written by Intel upon the r…

Generally, what you find here is a mix of learning directly from the book and the results of conversations I had with ChatGPT.

I have never studied linear algebra at all, so we’re going back to the beginning.

As I understand it, as a person with nearly zero knowledge, transformers are the ML/AI architecture that got us to LLMs.

md5 replaces, you guessed it, md4—the series of which was created by Ronald Rivest, who is the R in RSA.

Fast modular squaring with AVX512IFMA seems to be the entrypoint here, I found it simply by googling the instruction VPMADD52LUQ.

This was published in Arithmetic of Finite Fields, but I’ve grabbed just this chapter here.

Montgomery multiplication is a faster way to do multiplication which prefers base 2 to base 10, and shines when used iteratively.

This is a talk I gave at work when tasked documenting the AVX-512 modular exponentiation implementation we ported from OpenSSL to Amazon’s libcrypto implementation. slides

The CRT states that, given a set of congruences (where all of the \(m\)s are coprime): \[ x \equiv a_1\ \text{mod}\ m_1 \\ x \equiv a_2\ \text{mod}\ m_2 \\ \vdots \\ x \equiv a_n\ \text{mod}\ m_n \\ \] We can solve for \(x\) with the equation: \[ x \equiv…

I’ve been asked to document the steps in an Almost Montgomery Multiplication implementation at work which is terrifying, because thus far, all I’ve really needed to know to port this patch from OpenSSL to BoringSSL is a little about AVX-512 instruction set

Boring and OpenSSL have a lot of “hardware” implementations.

This site uses the static site generator Hakyll and Edward Tufte’s Sidenote CSS by way of Pandoc Sidenote.

Hi, I’m dan [dsp-0029] I’m a curious exister living in Portland, OR.

I’m a curious exister living in Portland, OR.

I’ve been doing some serious excavating in my 1:1 therapy over the last few months.

TBCK: TBC1 Domain Containing Kinase This gene encodes a protein that contains a protein kinase domain, a Rhodanase-like domain and the Tre-2/Bub2/Cdc16 (TBC) domain.

Below are a few paragraphs I wrote in a personal journal in the fall of 2018.

I started reading Bart Jacob’s Categorical Logic and Type Theory book today after seeing it mentioned on the Category Theory Zulip because I’ve been seriously itching to get back into some mathy / formalish stuff—life in hardware/software land just hasn’t…

Lecture 1 13:30: “Proteins are built as machines that can transition between states” E coli changes its composition according to its environment, how does it compute when to make a protein?

(contact info available by downloading a pdf version of this document) Intel Corporation Technical Lead, Cryptography 08/2023 - Present Ported OpenSSL AVX-512 RSA Implementation to AWS-LC and BoringSSL Optimized AVX-512 XTS implementation to use on-stack…

Radical and terrifying.

He’d come to understand the tongues of beasts at the cost of his reason, while I was destroying human language to reveal the river of nonsense coursing just beneath its “good, sound rules.”

In THE FOUNTAIN, Thomas has found eternity, while in mother!

In This Life, philosopher Martin Hagglund makes the argument that the very fact that the time we have to be conscious here on Earth is limited is what gives life value, what gives it meaning.

This is lifted from McBride’s W-types: good news and bad news.

re: plans.

I’ve a long-running obsession with the meaning of equality, generally as it’s used in type theory, and about the divide between intensional equality and extensional equality.

HoTT book, 3.5 and Predicative Aspects of Order Theory in Univalent Foundations.

This is borne from a conversation on the CT Zulip about graphs, process calculi, and, eventually, Petri nets.

Origin HoTT Zulip: terminology discussion.

Introduction Semicategory :: All the category things mod identities (like a semigroup).

In the spring of 2013, Meg and I started attending a small, young church in our neighborhood in East Dallas.

In the summer of 2017 A friend sent me a job posting from The Orange Website and said that it looked like a thing I’d be interested in.

NOTE: If you come across this please know that it is a WIP.

I like to write.

Introducing bounded-registers.

Rust really hits a sweet spot with respect to programming languages on account of a) its usefulness when working at a low level, coupled with b) its style of type system.

A few years ago, as my first foray into philosophy as a Real Adult, I attempt to power my way through Deleuze and Guattari’s AntiOedipus: Capitalism and Schizophrenia.

After a week of listening pretty much exclusively to American Football’s LP3 I recalled seeing in a review of LP2 the mentioning of their musical kinship, or maybe better put, descendance, from Steve Reich.

The Curry-Howard Correspondence is the observation that there exists a correspondence between objects present in disparate formal systems.

A friend asks a harmless question and I ramble for 30 minutes.

Cf. https://www.newyorker.com/magazine/2018/02/12/the-strange-and-twisted-life-of-frankenstein Among the many moral and political ambiguities of Shelley’s novel is the question of whether Victor Frankenstein is to be blamed for creating the monster — usur…