taher @nullhook

compiler nerd shit, math, metal/gpu complaints california Joined December 2010

Tweets

987
Followers

202
Following

243
Likes

1K

taher @nullhook

a month ago

more sparsity -> more compression

0 0 2 90 0

taher @nullhook

a month ago

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

0 0 0 83 0

taher @nullhook

3 months ago

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.

0 0 0 163 0

taher @nullhook

4 months ago

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

0 0 4 239 0

taher @nullhook

4 months ago

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

0 0 1 187 0

taher @nullhook

8 months ago

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

0 0 0 246 0

taher @nullhook

8 months ago

iverson brackets are like ternaries

1 0 1 244 0

taher @nullhook

8 months ago

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?

0 0 0 207 0

taher @nullhook

8 months ago

competitive programming is just applied set theory

0 0 0 189 0

taher @nullhook

9 months ago

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

0 0 0 148 0

taher @nullhook

9 months ago

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?

0 0 1 118 0

taher @nullhook

9 months ago

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

0 0 1 329 0

taher @nullhook

9 months ago

[Ø]

0 0 0 110 0

taher @nullhook

9 months ago

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

0 0 0 103 0

taher @nullhook

10 months ago

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

0 0 1 112 0

taher @nullhook

10 months ago

DAG is short for directed accidentally-cyclic graph

0 0 0 100 0

taher @nullhook

10 months ago

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

Fern @hi_tysam

10 months ago

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

1 0 1 236 0

Download Video

0 0 1 147 0

taher @nullhook

10 months ago

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…