nullhook's profile picture. compiler nerd shit, math, metal/gpu complaints

taher

@nullhook

compiler nerd shit, math, metal/gpu complaints

monadic typeshit


compile time becomes the new runtime


more sparsity -> more compression


real arithmetic is simpler than complex arithmetic, complex analysis is simpler than real analysis


everyone knew how to do systolic arrays for a long time. the bigger challenge is designing the memory system and all the stuff around it.


floating point number is really a struct containing 3 values: 1-bit sign, 8-bit exponent, and 23-bit mantissa


having a central compositor adds some latency, but it allows Apple to make a fashion statement with UIs


will there be a polynomial time algorithm for determining if a number is square-free?


iverson brackets are like ternaries


give set S, and a subset T ⊆ S, if the XOR of T is zero, the elements are linearly dependent. can we use this property for compression?


competitive programming is just applied set theory


noob: subsets are bijective with binary representations of naturals. however, this breaks if you restrict subsets to be contiguous only


to all the theory builders of math out there, how do you name new mathematical objects when you’re defining them for the first time? is there a scheme/spec for this?


your codebase is just a directed accidentally-cyclic graph of tech debt that somehow passes tests


the phenomenon of decimal expansion of 1/7 is fascinating: en.wikipedia.org/wiki/Cyclic_nu…


a good guide on ζ ↔ μ transforms on posets codeforces.com/blog/entry/119…


DAG is short for directed accidentally-cyclic graph


its like you boot up a copy of reality to play out strategies

Generate an image, give the image to the world model, tell the trained agent to interact in the world model ("open the blue door"):



for fixed workloads, using tail calls (jmp over call) can be more efficient. a neat example that's applied on protobuf parsers by @JoshHaberman: blog.reverberate.org/2021/04/21/mus…


United States Trends

Loading...

Something went wrong.


Something went wrong.