hmm is it omitting leading 0s

love topologically nontrivial buildings

it's at a friend's house! but he's out of town currently

I know of one in palo alto

how dare they

yeah it's a step higher in pitch but if it's faster it's so slight I couldn't tell without measuring

there's not much bass in the original, a lot of the rhythm is in the treble - hi-hat, guitar riffs - I'm curious if you tuned into those sounds whether that would make it feel more danceable

is it the metronome part on bass drum?

I don't understand, these are the same tempo and the time is obvious in both

what do you mean by "beat"?

proofs are a series of tubes
programs are proofs
the internet is programs
ergo

"exercise: go to the library and try to find a textbook that makes this point clear, good luck"

trusting a lecturer by what they express disgust for

equipping a weapon you don't know how to use yet

didn't expect to be nostalgic for this part but it feels nice to be memorizing axioms again