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?
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
@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.
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.
@scheminglunatic Out-of-order negates almost all of this advantage in modern CPUs. The trail of red dots in the bottom right corner of the graph is a mix of x86 and ARM chips.
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?
116 Followers 1K FollowingI work in both CPU & SoC design at @AmpereComputing. In addition to computers, I enjoy baseball, markets, and going up and down mountains
61 Followers 253 FollowingZurbanizowany człowiek lasu, pierwsze pokolenie XXI wieku.
186 głosów w wyborach samorządowych
Członek Towarzystwa Przyjaciół Grodźca -
Wolne Miasto Grodziec
2K Followers 5K Following@deepai
I like to subscribe to B2B SaaS products, come sell me stuff and become a vendor @deepai. Will sign any document put in my face without reading
151 Followers 2K FollowingAI & Systems Bro
Trying to make everything go brrrrrrrrr!!!!!!!!
CS Junior @UofIllinois
AI research intern at @vinylbarshibuya
2K Followers 979 Followingusing x as an interactive notebook to maximize syncronous touchpoints Ω @omegalabsai | prev founded @wombo ~first to mainstream ai | math physics @uwaterloo
552 Followers 4K Followingstudent forever: human values, coding, arts, music...
हर कण हर क्षण ... समर्पण! Tweets are personal. Retweets are not endorsements.
4K Followers 570 FollowingPhilosopher and Engineer.
Building the future of computing at @uscompco, memetic infrastructure at @aestheticsfound.
Algorithmic dark matter, other things