.@Meta seems to need a lot of CPU cores for all those @Musecases.
Tapeout next year.
2
11
2,439
The American Compute Corporation retweeted
The next era of Personal Supercomputing is in the works at @uscompco
4
3
101
5,756
This is one of the things we're working on!
if it's obvious to everyone that verification is the bottleneck to AI accelerated software engineering,
why are so few people learning math? not linear algebra or analysis, but stuff directly related to verification, like proof, type, category, lattice theories?
1
13
2,192
The American Compute Corporation retweeted
I cant stand these millennial tech companies with these 'cute' nonsense names like "granola" or "clay." if I had a company youd see me calling that shit the American Computing Corporation. National Electron. United Tabulation. thats a name with some chest hair
542
4,691
74,213
2,195,866
The American Compute Corporation retweeted
@uscompco has some strategies for mitigating this for our hardware. Software badly needs a lot more visibility and analysis tools, there's SO much low-hanging fruit.
wirth's law. every consumer electronics company is guilty of this. bloated garbage operating systems that devours any new hardware resource, new chips don't even matter. phones, tvs, cars, all function like absolute bottom tier trash.
1
6
691
The American Compute Corporation retweeted
In the long term, @uscompco is the computronium company.
And true computronium is a full-stack problem - math, physics, manufacturing, chip architecture, software, and back to math.
1
1
9
591
If only you could build a general-purpose CPU with the performance/transistor of RISC CPUs from the 80s, but with modern transistor counts...
1
1
15
1,288
The American Compute Corporation retweeted
Sure P and NP are cool, but do you know about coNP? What about the 危 and 螤 towers?
Are you aware of the Polynomial Hierarchy?
Do you know the difference between PH and PSPACE?
Are you familiar with descriptive complexity? How these classes all map to First Order Logic with different numbers of quantifiers?
Have you glimpsed a fragment of God?
2
1
28
2,287