468 karma · joined July 4, 2023
It only works if the "intellence-driven security" is being developed in good faith.
The author wants founders to stop projecting “an obsession with wealth and power” and instead “focus carefully on projecting an obsession with core nerd values”. And maybe it doesn't occur to them (as a fellow nerd) that _wealth and power were the whole point_. The author enjoyed being blind to the greed of it all, and now being unable to unsee they are begging the founders “please please just pretend a bit better”.
Because humans get around so much, and because we think interesting-looking people are hot, the diversity is spread pretty broadly across the whole population. The average european person and the average east asian person are a little bit different genetically, but way less different than any two real europeans or two east-asians are to one another.
In short, the distributions of individuals overlap so much that the trendlines are pretty close to useless. And historically speaking, the people who tried to make a hard distinction out of those trendlines had awful motives.
Still kind of WIP, but it isn't secret. People are welcome to check it out at https://gitlab.com/samsartor/hornpipe
Wasm is not now and will never be a magic "press here to replace JS with a new language" button. But it works really well for bringing systems software into a web environment.
Take the last flight as an example. The booster experienced what was (probably) a structural failure in the propellant fuel lines. Simulating stress in the structure under static conditions is quite straightforward. Simulating the stress as the rocket ascends vertically and the tanks empty is hard, but doable.
Simulating the dynamic loading as the rocket flips? The fuel sloshes around, the sloshing fuel changes the kenimatics of the rocket, the kenimatics of the rocket change how the fuel sloshes, the engines try to correct adding a new force, the thrust from the engines creates increased force on the fuel increasing the pressure to the pumps, the performance of the engines changes because of the new fuel flow, that alters the acceleration further causing fuel to slosh, gass bubbles are intrained in the fuel from all the sloshing thus altering its flow/sloshing behavior, valves open and close creating pressure waves in the fuel that travel up and down the fuel lines (the water-hammer effect alone being enough to burst the pipes if valve closing is not well-timed), and the rocket itself flexes as all this happens, testing every exact detail of the manufacturing which you have to go out to the factory and physically measure. No simulation software ever imagined can handle all that coupling of systems.
The usual solution is to make some conservative estimates (the center-of-mass of the fuel will move by at most some amount, bubbles will last at most some time, the engines will have so much control authority, etc). But that requires experience. And this is aerospace, so safety margins are tiny.
And I was impressed by the close fit to real CNNs/ResNets and even to UNets. But what that shows is that the real models are heavily overfit. The datasets they are using for evaluation here are _tiny_.
Edit: oh the talk is here btw, if anyone is curious https://youtu.be/c-eIa8QuB24
_And that's the actual reason they work._ Undefit models don't just approximate, they interpolate, extrapolate, generalize a bit, and ideally smooth out the occasional total garbage mixed in with your data. In fact, diffusion models work so well because they can correct their own garbage! If extra fingers start to show up in step 5, then steps 6 and 7 still have a chance to reinterpret that as noise and correct back into distribution.
And then there's all the stuff you can do with diffusion models. In my research I hack into the model and use it to decompose images into the surface material properties and lighting! That doesn't make much sense as averaging of memorized patches.
Given all that, it is a very useful interpretation. But I wouldn't take it too literally.
As I've gotten older I've realized that I have very little in common with Vinge philosophically. But he was a person who thought very deeply, and it shows.
What I'm saying is, tensorrent couldn't find a more excitable third-party developer if they grew one in a lab. And you know what? I can't make heads or tails out of all their various abstractions. I've tried! I've read the docs, I've read the examples, I've gone to meetups. I think OP is right that "one more abstraction bro" probably doesn't solve the problem.
At a guess, the problem isn't a technical one, it is an organizational one. They don't have anybody to stand in for me, or devs like me (eg dumb people). There is no product leadership on the API design. Just a lot of really brilliant engineers obsessively tuning for their own usecases, unwilling to ever trade-off a hit in performance or expressivity for readability or writeability.