taher @nullhook

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

Tweets

981
Followers

193
Following

241
Likes

1K

taher @nullhook

a week ago

more sparsity -> more compression

0 0 0 29 0

taher @nullhook

a week ago

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

0 0 0 23 0

taher @nullhook

2 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 105 0

taher @nullhook

3 months ago

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

0 0 3 180 0

taher @nullhook

3 months ago

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

0 0 0 151 0

taher @nullhook

7 months ago

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

0 0 0 235 0

taher @nullhook

7 months ago

iverson brackets are like ternaries

0 0 0 226 0

taher @nullhook

7 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 196 0

taher @nullhook

8 months ago

competitive programming is just applied set theory

0 0 0 179 0

taher @nullhook

8 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 137 0

taher @nullhook

8 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 0 107 0

taher @nullhook

8 months ago

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

0 0 1 322 0

taher @nullhook

8 months ago

[Ø]

0 0 0 104 0

taher @nullhook

8 months ago

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

0 0 0 98 0

taher @nullhook

9 months ago

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

0 0 1 108 0

taher @nullhook

9 months ago

DAG is short for directed accidentally-cyclic graph

0 0 0 96 0

taher @nullhook

9 months ago

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

Fern @hi_tysam

9 months ago

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

1 0 1 229 0

Download Video

0 0 1 140 0

taher @nullhook

9 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…