Software developer

Australia
Joined January 2008
David A Roberts retweeted
for(float i,z,d,f;i++<1e2;o+=vec4(4,6,8.+z,0)/f-min(dFdx(z)*r.y+z,0.)/exp(d*d/.1)){vec3 p=z*(FC.rgb*2.-r.xyy)/r.y,c=p;p.z+=8.;c.z*=3.;for(f=1.;f++<9.;c+=sin(c.yzx*f+z+t*.5)/f);z+=min(f=.1+abs(.2*c.y+abs(p.y+.8)),d=max(length(p)-3.,.9-length(p-vec3(-1,1,3))))/7.;}o=tanh(o/2e3);
80
175
26
3,154
167,369
David A Roberts retweeted
Compute.toys finally got the Slang compiler integrated, which means its finally time to ditch WGSL 🎉🎉 I've ported my FFT to it, coding in it is much nicer. compute.toys/view/1922 Should try something with its autodiff next.
4
10
89
5,992
David A Roberts retweeted
Made a mixed radix FFT implementation in compute.toys compute.toys/view/1915 It is neat, but I still wonder how do you properly handle large prime factor size FFT's?
2
4
28
3,367
Open the pod bay doors, copilot!
4
323
David A Roberts retweeted
Optical illusions with diffusion models. There are so many good gifs on this page but honestly I would like several million more. dangeng.github.io/visual_ana…
15
75
13
460
144,963
David A Roberts retweeted
Ported my Origami shader to WGSL: compute.toys/view/747
1
17
164
11,295
Made a really weird fractal flame based on a mandelbulb, looks like a moving stardust cloud. (oh the codec aint gonna like this video...) compute.toys/view/728 Keeping the rng seed constant and varying the params makes the points move in interesting ways
2
19
157
12,918
This is much more fun than Browse with Bing
1
182
Likewise when people ask whether LLMs *have* a world model, they're fundamentally getting it inside out. An LLM *is* a world model. RLHF/SFT tries to collapse it down to a single character, but it's still a model of the world focused on that character, rather than vice versa.
Replying to @anthrupad
Yeah, the exclusive focus on a superposition of single agents/characters is another vestige of anthropomorphism
1
8
427
The disconcerting thing about LLMs is that the strange loop doesn't quite close in the same way as ours do, which makes identifying the world model with one of the characters *inside* of it rather more fraught.
1
161
Though perhaps it's informative to see exactly how the illusion of identity breaks when the loop doesn't close quite as cleanly as we're used to?
131
When you memorise the "seeing things like a human" test a little too much
8
244
This seems promising, porting code between languages is one of GPT-4's stronger skills (it's a kind of translation task after all) and they're able to formally verify its correctness to keep iterating until it gets it right.
In our latest blog, Galois Research Engineer Adam Karvonen writes about his experiment applying GPT-4 to the task of refolding macros into the Rust program. galois.com/blog/2023/09/usin…
1
234
TinyStories-33M is an interesting model, 3x smaller than GPT2-Small, with only 4 layers. It doesn't appear to have any induction heads, but it can solve the IOI task. The IOI circuit seems to be simpler than the one in GPT2, with 4 groups of heads over the 4 layers. 🧵
This Post is from an account that no longer exists. Learn more
2
9
1,710
The lack of induction heads is obvious from the fact that the model is unable to predict repeated sequences of random tokens. No heads cleanly display the characteristic induction attention pattern. However, L2H4 very weakly attends to the token following the previous duplicate.
1
1
188
L2H4 displays induction-like behaviour much more strongly on more natural repeated sequences, such as phrases and multi-token names. However, this only occurs sporadically and doesn't always follow the induction pattern exactly.
1
168